Access the full text.

Sign up today, get DeepDyve free for 14 days.

Mathematical Physics
, Volume 2018 (1807) – Jul 25, 2018

/lp/arxiv-cornell-university/representations-of-the-loop-braid-group-and-aharonov-bohm-like-effects-nMo7lJq08g

References for this paper are not available at this time. We will be adding them shortly, thank you for your patience.

- ISSN
- 1095-0761
- eISSN
- ARCH-3337
- DOI
- 10.4310/ATMP.2019.v23.n7.a1
- Publisher site
- See Article on Publisher Site

Representations of the Loop Braid Group and Aharonov-Bohm like eﬀects in discrete (3+1)-dimensional higher gauge theory ∗ † ‡ Alex Bullivant; Jo˜ao Faria Martins, Paul Martin. School of Mathematics, University of Leeds, Leeds, LS2 9JT, United Kingdom December 20, 2018 We show that representations of the loop braid group arise from Aharonov-Bohm like eﬀects in ﬁnite 2-group (3+1)-dimensional topological higher gauge theory. For this we introduce a minimal categoriﬁcation of biracks, which we call W-bikoids (welded bikoids). Our main example of W-bikoids arises from ﬁnite 2-groups, realised as crossed modules of groups. Given a W-bikoid, and hence a groupoid of symmetries, we construct a family of unitary representations of the loop braid group derived from representations of the groupoid algebra. We thus give a candidate for higher Bais’ ﬂux metamorphosis, and hence also a version of a ‘higher quantum group’. Keywords: Loop braid group, virtual braid group, welded braid group, welded knot, mapping class groups, knotted surfaces, categoriﬁcation, higher gauge theory, ﬂux metamorphosis, topological phases of matter in 3+1D, loop excitations, topological quantum computing, weak Hopf algebras, biracks and biquandles 1 Introduction The motivation for this work is to describe the observable collective properties of loop-like quasiparticles [1, 2, 3, 4, 5, 6] arising in (3+1)-dimensional topological phases of matter with higher gauge symmetry [7, 8, 9, 10], thereby modelling corresponding higher Aharonov-Bohm eﬀects. Higher gauge theory is a version of gauge theory that features 2-dimensional holonomies along surfaces [11, 12], hence in particular along trajectories of loops moving in 3-dimensional space. In this paper we model Aharonov-Bohm phases that are conjecturaly related to the 2-dimensional holonomies along the surfaces traced by loop-particles as they move. In a topological system the observable collective properties of particles are, at most, their braidings. The braiding of (unknotted and unlinked) oriented circles is described by the n-loop braid group LB [13, 14]. So we study representations of LB . Technically this group can be realised as the mapping class group 3 3 3 MCG(D , C ) of self-mappings of the 3-disk D that are the identity on ∂D and ﬁx C , an unlinked union n n of unknotted oriented circles, setwise, in addition preserving the orientation on the circles. (We review the deﬁnitions in §3.4.) The group LB can also be described in terms of loop motions [13, 15]; see [14, §2]. Let us give a visualization of motions of loops in (3+1)-dimensions that would be expected to induce ‘Aharonov-Bohm like’ eﬀects [3, 4, 5, 6, 16]. It will be helpful (cf. [13, 14]) ﬁrst to work with two circular and parallel loops, and in a frame in which one of the loops is ﬁxed. Thus for example consider two loops that are initially coaxial (as on the left in (1) below), and work in a frame in which the upper loop is ﬁxed. We can then visualize a motion by showing the ‘Dirac sheet’, the surface swept out by the other loop in this E-mail address: a.l.bullivant@leeds.ac.uk E-mail address: j.fariamartins@leeds.ac.uk E-mail address: p.p.martin@leeds.ac.uk arXiv:1807.09551v2 [math-ph] 19 Dec 2018 frame. At times t = 0, 1, 2 we might then have: t=1 t=2 t=0 (1) This is analogous to tracking the world-line of a point-particle moving around another point in a plane. Indeed our particular motion is reproduced by rotating this plane into 3 dimensions about a suitable axis in the plane (which axis then becomes the coaxis of the two loops). Note that our motion up to t = 1 can be completed to a pure loop-braid in two topologically distinct ways, that are both distinct from the ‘un-motion’. Firstly the ‘moving’ loop can return to its original position ﬁrst as at t = 2, and from there in the obvious direct way, as shown in ﬁgure (2) below. (2) Secondly from t = 1 we can then break the axial symmetry and move to some position high on the left, say, then return to base in the obvious way from there; see ﬁgure (3) below. (3) These two topologically distint motions of a loop around another one play a key role in understanding Aharonov-Bohm like eﬀects for loop-particles; see §2.3. Let σ denote the motion class represented by t = 0 → 1 in (1); and ν the class represented by t = 1 → 3 in (3). (Keep in mind the moving frame — the loops are exchanged by σ and ν.) Extending to a stack of n loops, it turns out that these motions generate LB . Thus given (I) a corresponding n-loop-particle Hilbert space H, in some topological theory, and (II) transformations on H corresponding to these motions, we will have a representation of the loop braid group LB . So far there is no higher analogue of the solenoid/electron holography setup or experiments telling us how to obtain (I,II). But there are formal recipes coming from higher gauge theory – as we shall show in §2. Since these recipes are necessarily partly ad hoc, we then rely on combinatorial methods to verify the well-deﬁnedness Theorem for the representations of LB , which takes up the remainder of the paper. Writing σ for the σ motion exchanging loops i and i+1 it is easy to verify that the σ and ν generators obey braid relations: σ σ σ = σ σ σ , and certain mixed braid relations between them. These relations i i+1 i i+1 i i+1 give a homomorphism with a group deﬁned by generators and relations. For the combinatorial proof we will use the isomorphism [13, 14] of LB to the welded braid group WB [17, 18, 19]. This presentation arises n n in virtual knot theory. In virtual knot theory we have ‘virtual’ knot and braid diagrams [14, 18, 20, 19]; see 2 §3.3. These diagrams have positive, negative and virtual crossings between strands, as below: ❄ ❄ ❄ ⑧ ❄ ⑧ ❄ ⑧ ⑧ ❄ ⑧ ❄ ⑧ ⑧ ❄⑧ ❄⑧ ⑧ ❄ ⑧❄ ❄ ❄ ❄ ⑧ ⑧ positive crossing negative crossing ❄ ⑧ ❄ virtual crossing ❄ ⑧ ⑧ ❄ ⑧ ❄ ❄ . ⑧ , , ⑧ ⑧ ⑧ ⑧ [1.1] The n-strand virtual braid group VB (discussed in §3.3) is generated, as a monoid, by the elements + − S [n], S [n] and V [n], where a ∈ {1, . . ., n − 1}, subject to certain relations; see §3.3. These generators a a may be depicted as n-strand virtual braid diagrams, as below, with composition via vertical stacking. 1 a a+1 n 1 a a+1 n 1 a a+1 n (4) ✾ ✾ ✾ ✾ ✾ ✾ ✆ ✆ ✆ + − ... ... ... ✾ ... ... ✾ ... ✆ ✆ ✆ S [n] = S [n] = V [n] = ✾ ✾ ✆ a ✆ a a ✾ ✾ ✆ ✆ ✾ ✆ ✾ ✾ ✆ ✆ , , ✆ ✾ ✆ ✾ ✆ ✾ ✆ ✆ ✆ | {z } | {z } | {z } n strands n strands n strands The relations in VB between generators are derived from the usual classical, virtual and mixed Reidemeister moves between virtual braid diagrams [18, 19, 20, 21]; see equations (44)–(48), and the paragraph below. One passes from VB to WB by furthermore imposing the the so-called “Forbidden Move F ” [19, 21, 22], n n 1 here called the W-move [18]”, a short for welded move, displayed in Equation (49). On generators, the isomorphism WB → LB is given by the motion in Fig. 5. n n [1.2] We have categories VB and WB of virtual and welded braid groups. The set of objects of both is N, and hom(n, n) are VB and WB , respectively. (There are no morphisms n → m if n 6= m.) The n n composition ⊗ of diagrams through horizontal stacking gives that VB and WB are monoidal categories. + + + + Note that S [3] = 1 ⊗ S [2], S [3] = S [2] ⊗ 1 and so on. Here 1 is the identity morphism 1 → 1. 1 1 1 2 1 2 1 The Reidemeister III-move (46) in VB and WB, is a consequence of the monoidal category structure in + + + + + + VB and WB, and the particular case S [3] S [3] S [3] = S [3] S [3] S [3], which can be written as: 1 2 1 2 1 2 + + + + + + (S [2] ⊗ 1 ) (1 ⊗ S [2]) (S [2] ⊗ 1 ) = (1 ⊗ S [2]) (S [2] ⊗ 1 ) (1 ⊗ S [2]). (5) 1 1 1 1 1 1 1 1 1 1 1 1 And the welded-move in WB is a consequence of the monoidal structure and the particular case: + + + + (V [2] ⊗ 1 ) (1 ⊗ S [2]) (S [2] ⊗ 1 ) = (1 ⊗ S [2]) (S [2] ⊗ 1 ) (1 ⊗ V [2]). (6) 1 1 1 1 1 1 1 1 1 1 1 1 [1.3] One can show (a proof is in e.g. [23, Thm. 2]) that the category VB of virtual braid groups contains the braid category B (deﬁned in e.g. in [24, §XIII.2]) as a subcategory — it is the part monoidally generated in VB by the S [2]. Suppose we have a monoidal representation of B in a symmetric category; the main example to have in mind is the category of vector spaces. This lifts automatically [25] to a representation of VB by mapping V [2] to the transposition of tensor factors. However, for representations of the loop braid group we require the welded braid group, and in this the welded move (6) is also satisﬁed. The satisfaction of the welded move is one key outcome of our higher gauge construction. In order to formalise the representations of LB derived from ﬁnite 2-group higher gauge theory [11] in 3+1 dimensions, we develop a (lightly) categoriﬁed notion of biracks [22, 26, 27], which we call “W-bikoids”. The connection to loop-excitations in (3+1)-dimensional topological higher gauge theory is in §2.3. [1.4] A birack (X, /, \) is a set X with two operations X × X → X written (x, y) 7→ y/x and (x, y) 7→ x\y such that (x, y) 7→ (y/x, x\y) deﬁnes an invertible map S : X × X → X × X, satisfying the set-theoretical Yang-Baxter equation [28], S × id) ◦ (id × S) ◦ (S × id) = (id × S) ◦ (S × id) ◦ (id × S); and for any a ∈ X the maps x 7→ x/a and x 7→ x\a are invertible. Our conventions for biracks are spelled out in §4.3. As we now recall, a birack encodes the combinatorics of virtual braid diagrams (and more generally of virtual knot and link diagrams) [18, 19, 20, 29, 30] up to Reidemeister II and III moves between them. [1.5] Given a birack (X, /, \), a (X, /, \)-colouring [26, 31] of a virtual braid diagram (more generally of a virtual link diagram [17, 18, 19, 20]) is a map from the set of edges of the diagram to X, satisfying the relations below when four edges meet at a positive, negative or virtual crossing: x y y/x x\y x y (7) ① ❋ ❋ ❀ ① ✄ ❋ ① ① ❀ ① ✄ ① ❋ ✄ ❋ , ① ❋ ✄ ❀ ① and ||① "" ① ❋ ✄ ❀ ||① "" ✄ y/x x\y x y y x 3 (A crossing breaks an edge into two components, regardless of it being over, under or virtual crossing.) A biquandle is a birack also imposing Reidemeister I moves [26, 31] between virtual knot diagrams. The axioms of biquandles ensure that the number of (X, /, \)-colourings of a virtual link diagram is invariant under all classical Reidemeister moves. This implies that the number of (X, /, \)-colourings is also invariant under virtual and mixed Reidemeister moves between virtual link diagrams [20], hence deﬁning a virtual link invariant, called the colour counting invariant [31]. A welded birack [22] (called here a W-birack) makes the number of (X, /, \)-colourings of virtual braid diagrams in addition invariant under the welded move (6). In the biquandle case this leads to the deﬁnition of invariants of welded knots [17, 18, 20, 32, 33, 34]. [1.6] A birack (X, /, \) yields, for each n, a (in this paper right) action ⊳ of VB on X . The action on n + x = (x , x , ..., x ) ∈ X of S [n] and of V [n] is given by the bottom lines of the diagrams below: 1 2 n a x . . . x x x x . . . x x . . . x x x x . . . x 1 a−1 a a+1 a+2 n 1 a−1 a a+1 a+2 n ◆ ❍ ◆ ✈ ♣ ❍ ♣ ❍ ♣ ◆ ❍ ◆ ✈ ♣ ◆ and ❍ xx♣ && zz✈ $$ x . . . x x x x . . . x x . . . x x /x x \x x . . . x 1 a−1 a+1 a a+2 n 1 a−1 a+1 a a a+1 a+2 n This is to say that: (x , . . . , x , x , x , . . ., x ) ⊳ S [n] = (x , . . . , x , x /x , x \x , x , . . . , x ), 1 a−1 a a+1 n 1 a−1 a+1 a a a+1 a+2 n (x , . . ., x , x , x , . . ., x ) ⊳ V [n] = (x , . . . , x , x , x , x , . . ., x ). 1 a−1 a a+1 n a 1 a−1 a+1 a a+2 n n⊗ n Linearising, we have a right-representation of VB on (CX) C(X ). There are several ways to enrich biquandle colouring counting invariants of links and welded links. See for instance [35, 36, 37] for quandle cohomology classes, and [38, 39] for meridian-longitude reﬁnements. In this paper we give the ﬁrst representation theoretic steps in the development of a light categoriﬁcation-based enrichment. We will focus on the corresponding representations of the loop braid group. Invariants of welded and virtual knots will be addressed elsewhere [40]. The underlying notion is that of a bikoid (Γ, X ); see §4.4. Let us sketch their deﬁnition. First of all, given a groupoid [41] Γ, we write Γ for the set of objects, Γ for the set of morphisms (arrows), and 0 1 n ≀n σ, τ : Γ → Γ for the source and target maps. We write Γ for the n-fold product groupoid and Γ for the 1 0 wreath product §4.1— the semidirect product Γ ⋊ Σ with the symmetric group Σ acting by permutation n n ≀n of factors. We draw elements of Γ as top-to-bottom oriented permutation diagrams (like V [n] in (4) above) with edges decorated by elements of Γ . Multiplication is then by vertical stacking, followed by the composition of the groupoid arrows living in the same strand of a permutation diagram. A bikoid is a groupoid Γ and a birack (Γ , /, \), called the underlying birack of the bikoid, together with two maps Γ × Γ → Γ , of the form: 0 0 1 L(x,y) R(x,y) (x, y) 7→ (x −−−−→ x\y) and (x, y) 7→ (y −−−−→ y/x). ≀2 The L, R maps are combined as L ⊗R in Γ , and X = (L ⊗R)T , where T is the elementary transposition. A bikoid can be graphically represented as in Equation (8) below. The over-under eﬀect in the last version of X (x, y) carries no information. But this redundant information is useful for later tracking reasons, and in order to formulate bikoid colourings of braid diagrams, in a parallel way to birack colourings as in (7). x y x y (8) ❉ ❉ ❉ ❉ ❉ ❉ ❉ ③ ③ ❉ ③ ③ ③ ③ ③ ❉ ③ ③ ❉ ③ + L(x,y) •❉ • R(x,y) L(x,y) • • R(x,y) ❉ ③ ③ X ❉ ❉③ ③ ③ ③ Γ ❉ ③③ ❉ ③③ ❉ ❉ ❉ . ③ ③ ❉ ③ ③ ❉ ❉ (x, y) 7−→ = ❉ ❉ ❉ ❉ ③ ③ ③ ③ |||| """" |||| """" ③ ③ ③ ③ y/x x\y y/x x\y The axioms that X in Equation (8) should obey are in Def. 22. A graphical way to state them is in Equation (61), which, ‘component-wise’ (i.e. only looking at the L, R maps) is equivalent to Equation (62). As we will see, constructions for bikoids appear in ﬁnite (2-)group topological gauge theory. There, the L(x, y) and R(x, y) arrows encode Aharonov-Bohm phases [3, 42, 43, 44, 45] arising from ﬂat connection 4 holonomy and ﬂat 2-connection 2-holonomy obtained when point-particles move in 2-dimensional space and loop-particles move in 3-dimensional space; see §2.1 and §2.3. Hence, we call L and R “holonomy arrows”. One can formulate the notion of a bikoid colouring of a virtual braid diagram (and more generally of a virtual link diagram), which close to a positive crossing should follow the pattern indicated in (8). (At negative crossings we have the inverse of X , and at virtual crossings only identity holonomy arrows are inserted.) The axioms of bikoids precisely ensure that, ﬁxing colours of top and bottom strands, and given equivalent virtual braid diagrams B and B , there is a one-to-one correspondence between colourings of B and colourings of B , which moreover preserves the composition of holonomy arrows living in each strand. [1.7] A welded bikoid (abbrv. W-bikoid) is a bikoid that also obeys the welded relation (6). In concrete terms this means (63) and (64). This ensures that the one-to-one correspondence between bikoid colourings of the paragraph above also holds if B and B are related by moves between welded braid diagrams. [1.8] Given a bikoid (Γ, X ), then not only is Γ a birack, but also Γ is a birack. Thus, by [1.6] in particular 0 1 n n n we have a right-action of VB on Γ , hence a representation of VB on CΓ . Let us write γ ∈ Γ as: n n 1 1 1 x . . . x x x x . . . x 1 a−1 a a+1 a+2 n γ γ γ γ a−1 γ a+1 a+2 γ 1 a n γ = y . . . y y y y . . . y 1 a−1 a a+1 a+2 n Let ⋆ denote composition of arrows in Γ. Then this representation is given by: x . . . x x x x . . . x x . . . x x x x . . . x 1 a−1 a a+1 a+2 n 1 a−1 a+1 a a+2 n ∗ + γ ⋆R(y ,y ) a+1 a a+1 ⊳ S [n] = γ γ γ γ γ γ a 1 a−1 a a+1 a+2 n γ γ γ γ 1 a−1 a+2 n γ ⋆L(y ,y ) a a a+1 y . . . y y y y . . . y 1 a−1 a a+1 a+2 n y . . . y y /y y \y y . . . y 1 a−1 a+1 a a a+1 a+2 n x . . . x x x x . . . x . . . x x x x . . . x 1 a−1 a a+1 a+2 n 1 a−1 a+1 a a+2 n γ γ γ γ γ γ γ1 a−1 γa a+1 a+2 γn γ a−1 a+1 γa a+2 γn ⊳ V [n] = 1 y . . . y y y y . . . y y . . . y y y y . . . y 1 a−1 a a+1 a+2 n 1 a−1 a+1 a a+2 n W-bikoids yield representations of the welded braid group WB deﬁned in the same way. Bikoids have a level of structure which biracks do not have, which is their underlying groupoid Γ. This leads the primary reason to introduce them. In particular consider the following. [1.9] The groupoid algebra C(Γ) of a groupoid Γ [46, 47, 48] is the free vector space CΓ with product: ′ ′ γ γ γ⋆γ ′ ′ ′ ′ x − → y x −→ y = δ(y, x ) x −−−→ y . (9) (Given x, y ∈ Γ , we put δ(y, x) to be 1 if y = x and 0 otherwise.) If the set of objects of Γ is ﬁnite, then X X id C(Γ) is a unital algebra with unit: 1 = ι(x) = x −−→ x . We also have a *-structure [3.8]. C(Γ) x∈Γ x∈Γ 0 0 A bikoid (Γ, X ) gives rise to the following invertible element in C(Γ)⊗C(Γ): L(x,y) R(x,y) R + = R = (x −−−−→ x\y)⊗(y −−−−→ y/x) ∈ C(Γ)⊗C(Γ). (10) (Γ,X ) x,y∈Γ This R satisﬁes the relation below (cf. the relation satisﬁed by an R-matrix in a quasi-triangular bialgebra): R R R = R R R , in C(Γ)⊗C(Γ)⊗C(Γ); (11) 12 13 23 23 13 12 see e.g. [24, Thm. VIII.2.4]. Here L(x,y) R(x,y) R = (x −−−−→ x\y)⊗id ⊗(y −−−−→ y/x), R = R⊗id and R = id ⊗R. 13 C(Γ) 12 C(Γ) 23 C(Γ) x,y∈Γ 5 (N.B.: R is not in general an R-matrix [24], and C(Γ) is not, a priori, a quasi-triangular bialgebra.) Fur- thermore, a bikoid is welded if, and only if, in C(Γ)⊗C(Γ)⊗C(Γ), it holds that: R R = R R . (12) 13 23 23 13 A main result of this paper is that the representation in [1.8] of VB can be generalised to braid any n-tuple (V , . . . , V ) of representations of C(Γ) – see Thm. 38 and 41. In particular, (11) implies that, if V is a 1 n ∗ n⊗ representation of C(Γ), then there is a representation ⊳ of VB on V = V ⊗ . . .⊗V , such that: ∗ + (v ⊗. . . ⊗v ⊗v ⊗v ⊗v . . .⊗v )⊳ S (n) 1 a−1 a a+1 a+2 n R(x,y) L(x,y) = v ⊗ . . .⊗v ⊗v . y −−−−→ y/x ⊗v . x −−−−→ x\y ⊗v ⊗ . . .⊗v , (13) 1 a−1 a+1 a a+2 n x,y∈Γ (v ⊗. . . ⊗v ⊗v ⊗v ⊗v . . .⊗v )⊳ V (n) = v ⊗. . . ⊗v ⊗v ⊗v ⊗v ⊗. . . ⊗v . (14) 1 a−1 a a+1 a+2 n a 1 a−1 a+1 a a+2 n This is a unitary representation if V is a unitary representation of the groupoid algebra. This coincides with the representation in [1.8] if V = C(Γ). If (Γ, X ) is a welded bikoid, then this representation of VB in n⊗ V descends to a representation of WB . In particular the welded move (6) follows from Equation (12). If C(Γ) can be given a quasi-triangular bialgebra structure and R in (10) is its R-matrix then (13) yields exactly the braid group representation yielded by the quasi-triangular structure in C(Γ); see [24, VIII-3]. Of course the utility of all this abstract machinery depends on the ability to construct bikoids and W-bikoids. We address this core point now. Let G be a ﬁnite group. An example of unitary representation of the welded braid group that follows n⊗ from W-bikoids is the representation of WB on V , arising from the R-matrix in the quantum double D(G) = C(AUT(G)) of the group algebra of G [49], which is a quasi-triangular Hopf algebra. Here V is a representation of D(G). This represention of WB is normally only stated to be a representation of the braid group B [24, 49, 50, 51], by using (13). However (14) extends it trivially to a representation of VB . n n Since the R-matrix of D(G) satisﬁes (12), the representation in (13,14) descends to WB . [1.10] Let us now hence relate W-bikoids with the quantum-double D(G). For G a ﬁnite group, AUT(G) is deﬁned to be the action groupoid of the conjugation action of G on G. The objects of AUT(G) are −1 elements g ∈ G and arrows have the form (g − → aga ), where g, a ∈ G. Composition in AUT(G) is by group multiplication in reverse order. Hence in C(AUT(G)) the product on generators is: ′ ′ a a −1 aa −1 −1 ′ ′ ′ ′ −1 ′ ′ ′ −1 ′ ′ g − → aga ) g −→ a g a ) = δ(aga , g ) g −−→ aa ga a , where g, g , a, a ∈ G. (15) [1.11] The quantum double D(G) is the algebra C(AUT(G)) made [24] a quasi-triangular Hopf algebra by: g g g g −1 −1 −1 −1 Δ(x − → gxg ) = (y − → gyg )⊗(z − → gzg ), ǫ((x − → gxg )) = δ(x, 1 ), yz=x (16) −1 −1 g g h 1 −1 −1 −1 −1 −1 S(x − → gxg ) = (gx g −−→ x ), R = (g −−→ h gh)⊗(h −−→ h). g,h∈G [1.12] The bikoid X associated to AUT(G) is given, cf. Equation (8), by: g h (17) −1 ❉ h • ❉ ③ X • 1 ③ G ③ ❉ (g, h) 7−→ !! }}③ −1 h h gh Therefore R + obtained from Equation (10) coincides with R in Equation (16). Note that the underlying (Γ,X ) + −1 birack of X is the ‘conjugation quandle’ in G: h/g = h and g\h = h gh; see [35, 36, 37]. So we can see that even though X in (17) is apparently only a very simple spin-oﬀ of the conjugation quandle, the holonomy arrows in X add the information needed for generating the representations of the braid group derived from the R-matrix in the quantum double D(G). Hence X is considerably stronger 6 than the conjugation quandle of G alone. In particular, the invariants of knots derived from the R-matrix of D(G) take into account not only the knot group of a knot, as does the conjugation quandle of G, but also [40] the entire peripheral structure of a knot [38], which the conjugation quandle alone cannot uncover. As we will see below in §2.1, the holonomy arrows in X naturally arise from Aharonov-Bohm phases expected in ﬁnite group topological ﬁeld theory in the 2-disk; see [42, 43, 44, 45, 52, 53]. [1.13] For future reference, for X , the representation of VB on C(AUT(G))⊗C(AUT(G)) from [1.8] is: −1 a b b h a −1 −1 ∗ + −1 −1 −1 (a ga − → g)⊗(b hb − → h) ⊳ S [2] = (b hb − → h)⊗(a ga −−−→ h gh), (18) a b b a −1 −1 ∗ −1 −1 (a ga − → g)⊗(b hb − → h) ⊳ V [2] = (b hb − → h)⊗(a ga − → g). (19) [1.14] Our main example here (39) and (97) is a W-bikoid X in a certain groupoid TRANS T (G) R R motivated by discrete higher gauge theory in the 3-disk. Here G is a ﬁnite 2-group (represented by a crossed module). In this case, the underlying birack of X is a full ﬂedged W-birack and not simply a quandle. 2 + In this (TRANS T (G) , X ) case, no underpinning quasi-triangular Hopf algebra appears to be in R R hand for modelling the representations of the welded braid group thereby obtained. Groupoid algebras are examples of weak Hopf algebras [54, 55, 56]. However the representations of the welded braid group derived 2 2 from TRANS T (G) do not appear to arise from a bona ﬁde R-matrix inside C(TRANS T (G) ), at least as R R far as the deﬁnition of quasi-triangular weak Hopf algebras appearing in [55] is concerned. These diﬃculties in interpreting our representations of WB in terms of already know construction were our main reason to introduce bikoids, which in addition have the already mentioned advantage that they naturally incorporate Aharonov-Bohm phases featuring in topological ﬁeld theory in their very construction. [1.15] The W-bikoid X , motivated by higher gauge theory, can be derived from one of the form X , below. R gr Here we have an abelian gr-group, i.e. a group G left-acting, by automorphisms, in an additive abelian group A. Form the semidirect product G ⋉ A and deﬁne TRANS(G, A) = AUT(G ⋉ A) to be the action groupoid of the conjugation action of G ⋉ A on itself. Thus arrows of TRANS(G, A) are of the form: (w,k) −1 −1 −1 (g, a) −−−→ (w, k)(g, a)(w, k) = wgw , k + w⊲a − (wgw )⊲a) , where g, w ∈ G and a, k ∈ A. The corresponding W-bikoid X takes the form: gr (z, a) (w, b) ❙ ❙ ❙ ❦ ❦ ❙ ❦ −1 ❦ −1 ❙ ❦ (w ,0 ) • ❙ ❦• (1 ,−w ⊲a) A G ❙❙ ❦ ❙ ❙ ❦ ❦❦❙ ❙ + ❦ ❦ ❙ ❙ (20) X (z, a), (w, b) = ❦ ❙ ❙ ❦ ❙ ❙ ❦❦ gr ❦ ❙ ❙ ❦❦ ❙ ❙ uu❦uu❦ )))) −1 −1 −1 (w, a + b − w ⊲a) w zw, w ⊲a This W-bikoid is very diﬀerent from the X we would obtain from (17). G⋉A A topological explanation for the existence of the underlying W-birack of X , in terms of elementary gr algebraic topology – namely in terms of the action of π on π , is done in §4.5.1. (The pertinent space is the 1 2 3-disk D minus an unlinked union of unknotted circles.) The latter W-birack had appeared previously in [32], where it arised from Yetter TQFT [57, 58] of the complement of a knotted surface in S [59, 60]. In [32] it is proven that this W-birack can distinguish between diﬀerent welded knots with the same knot group. In a future publication [40], we will inspect invariants of virtual and welded links derived from bikoids. Structure of the paper In §2, we sketch the reason of why W-bikoids appear in the context of topological gauge theory in D and topological higher gauge theory in D . We start in §2.1 by giving an overview of Bais Flux metamorphosis [42, 43, 44, 45], and how it is related to quantum doubles and ﬁnite group W-bikoids. In §2.2 we give a brief overview of discrete higher gauge theory, and in particular of the 2-dimensional holonomy of a 2-connection and its behaviour under gauge transformations. In §2.3 we explain how our main example of W-bikoids is related to loop-particles moving in D . In §2.3 we also propose a version of Bais ﬂux metamorphosis in order to handle higher gauge ﬂuxes of unknotted and unlinked loop particles in topological higher gauge theory. Section 2 is roughly independent of the rest of the paper. However it motivates the main constructions. 7 In §3 we recap conventions for: groupoids, groupoid algebras, virtual and welded braid groups, and loop braid groups, and sketch the deﬁnition of the isomorphism WB → LB . In §4, we ﬁrstly §4.1 explain the n n ≀n wreath product Γ of a groupoid with the symmetric group Σ , and in §4.2 we give a graphical calculus for ≀n Γ , providing a visual framework to handle a lot of intricate calculations. Conventions for biracks are in §4.3. Bikoids and W-bikoids are deﬁned in §4.4. In §4.5 we explain the W-bikoids X derived from abelian gr gr-groups, and show how they arise from elementary algebraic topology. In §5 we show how W-bikoids give rise to representations of the loop braid group, when loops are coloured with representations of the groupoid algebra of the underlying groupoid of the W-bikoid. In §6 we show how ﬁnite 2-groups (described as crossed modules) yield W-bikoids, hence proving that the representations of LB announced in §2.3 exist. Acknowledgements. Alex Bullivant and Paul Martin thank EPSRC for funding under Grant EP/I038683/1. Jo˜ao Faria Martins and Paul Martin thank the Leverhulme trust for funding under the Research Project Grant RPG-2018-029. We all thank Zoltan Kadar, Marcos Cal¸cada and Celeste Damiani for discussions. 2 Insights from topological gauge theory and higher gauge theory 2.1 Finite group gauge theory in D , quantum doubles and braid groups This section contains a review of Bais ﬂux metamorphosis [42, 43, 44, 45, 52, 53], organised and reinterpreted with our lift to higher gauge theory in mind. (A connection between ﬁnite group topological gauge theory in D and topological phases in (2+1)-dimensions can be made via the Kitaev quantum double model [16, 61].) Let G be a ﬁnite group. We consider a topological gauge theory with gauge group G, with spatial 2 2 manifold the unit disk D = [0, 1] = {(x, y) | 0 ≤ x, y ≤ 1}. Here a gauge ﬁeld is interpreted as being a principal G-bundle. We suppose the restriction to the boundary S to be ‘static’ in time. Note that a principal G-bundle, where G is ﬁnite has a unique connection, which is automatically ﬂat. [2.1] Consider a set of n anyonic point-particles p , . . . , p moving in the interior of D . We model these by a 1 n ﬂat G-connection in D , which becomes singular at the location of each anyon. At that location a point-like magnetic vortex arises. The magnetic vortex at p is formally classiﬁed by its magnetic ﬂux. The latter is the gauge holonomy g ∈ G observed when travelling along a positively oriented small circle c , looping i i around the particle p . We let ∗ be the coinciding initial and end-point of c ; cf. Fig. 1. Both c and ∗ i c i i c i i will be co-moving with the particle p . A naive 1-particle Hilbert space is given by the group algebra CG. [2.2] Holonomies g ∈ G are not physical since the holonomy around a particle is deﬁned only up to con- jugation. The reason is twofold. Firstly, gauge transformations in the connection change holonomy along a closed path by conjugation by an element of G. Secondly, it is more realistic to consider the connection holonomy along of a loop cˆ, looping around p , however starting and ending at a base-point ∗ far away from i i p . Diﬀerent choices of cˆ lead also to conjugate values for the holonomy. (In anticipation, we note that in i i higher gauge theory, discussed in §2.3, the lifts of these two types of tranformation in the way we calculate magnetic ﬂux do not act exactly in the same way on the observed 2-dimensional holonomy; see [2.23].) Hence one could consider the Hilbert space CCC(G) spanned by the conjugacy classes of G to be the relevant one for describing ﬁnite group topological gauge theory particles in the plane. However in general there exists a further decomposition of the physical Hilbert space corresponding to internal charge degrees of freedom. These charge degrees of freedom are truncated when switching from CG to CCC(G); [62, Page 1196]. For instance, given a ﬂux g ∈ G, conjugation by the g-central subgroup Z(g) = {h ∈ G|gh = hg} ⊂ G is a symmetry of the ﬂux degree of freedom and as such the action can be further decomposed into representations of Z(g). The latter correspond to possibly non-trivial charges associated to anyons. [2.3] Finally, cf. [43, 44], a convenient formulation of the Hilbert space associated to a point-particle in ﬁnite group topological gauge theory in D is given by the underlying vector space of the groupoid algebra C(AUT(G)); see [1.10]. This C(AUT(G)) retains enough information to allow the treatment of multiple anyons and of charge. The Hilbert space for n-particles conﬁgurations is then C(AUT(G))⊗· · ·⊗C(AUT(G)). Cf. the discussion in [62, §2.1], the vector space C(AUT(G)) is a ‘resolved’ version of CCC(G), i.e. a derived quotient of CG under the conjugation action. Hence switching from CCC(G) to C(AUT(G)) can be motivated by the general principle that derived quotients retain more information and are as a rule well behaved in comparison to naive quotients, see e.g. [63, §2.1]. The latter point of view will be prevalent when discussing topological higher gauge theory in D ; see §2.3. 8 c c 3 p p 1 2 p c c 4 4 c 2 ∗ D Figure 1: A generic conﬁguration of four particles p , p , p , p in the disk D . 1 2 3 4 [2.4] In general, if X is a set of possible formal conﬁgurations of a particle and H is a group of symmetries acting on X, then we retain enough information in the Hilbert space of the particle if we take this space to have basis the morphisms of the action groupoid (Def. 2) of the action of H on X. A ‘resolved’ state of the system is thus a formal state x ∈ X together with a datum h ∈ H, which encodes how it was measured. An inner product in C(AUT(G)) which renders diﬀerent arrows orthogonal is: a a −1 −1 ′ ′ ′ ′ ′ ′ (g − → aga ), (g −→ a g a ) = δ(a, a )δ(g, g ). Note that the group G left-acts in C AUT(G) by h, i-unitary transformations as: a ha −1 −1 −1 h.(g − → aga ) = (g −→ haga h ), where g, h, a ∈ G. (21) The groupoid algebra C(AUT(G)) is additionally an example of a Hopf algebra (see [1.11]) describing the local symmetries of ﬁnite group topological gauge theory [43, 44, 45, 61] in the 2-disk. References justifying the latter fact by identifying the quantum-double algebra as the coarse graining algebra for topological gauge theory are [53, 64]. Particle types in ﬁnite-group topological gauge theory should thus be labelled by irreducible representation of C(AUT(G)). A Hilbert space on its own has very little information (Hilbert spaces of equal dimension are isomorphic). We must specify what the observables are and what they mean physically. Given a g ∈ G, the ﬂux operator F : C(AUT(G)) → C(AUT(G)) for a single particle is deﬁned as a a −1 −1 −1 F (x − → axa ) = δ(g, axa )(x − → axa ). Classically, particle ﬂuxes depend on the way we travel around a particle and also on the choice of gauge. Let us specify what the ﬂux observables mean by stating how the magnetic ﬂux (i.e. the connection holonomy around each particle) is calculated. [2.5] Let our base-point ∗ be (1/2, 0) ∈ ∂D . For simplicity, we will only consider gauge transformations on our discrete gauge ﬁelds which are the identity in ∂D . This is a very strong restriction, which we will also make when discussing topological higher gauge theory in §2.3; see [2.18]. Given that our gauge ﬁelds are stable in ∗, we can also choose and ﬁx a point in the ﬁbre of ∗. Hence the holonomy along a path starting and ending at ∗ will from now on be uniquely deﬁned. This will not make the deﬁnition of ﬂux around a particle p unique, as some freedom still exists in the actual choice of closed path looping around p . i i Let c be a counter-clockwise oriented path enclosing p and no other p for j 6= i, with initial point i i j ∗ , lying on the straight line connecting the base-point ∗ ∈ ∂D and p . We then choose a path γ , call c i i it a “connecting path”, connecting the base-point ∗ to the initial point ∗ . This leads to an unambiguous deﬁnition of magnetic ﬂux g ∈ G of a discrete gauge ﬁeld around p , to be the holonomy along the closed i i −1 path cˆ = γ c γ , connecting ∗ to ∗. Homotopically distinct choices of paths in the deﬁnition of γ generally i i i i yield conjugate values for g . However in the following, by allowing the motion of the particles p , . . . , p , i 1 n there is no way paths γ , i = 1, . . ., n connecting ∗ to ∗ can be chosen both once and for all, and in a way i c such that they depend continuously of time. For this reason we will consider particles in generic positions. [2.6] Let us say that the particles p , . . . , p are in generic positions if their x-coordinates are all diﬀerent 1 n (see Fig. 1). In particular straight lines γ connecting ∗ to ∗ do not intersect any particle. For generic i c conﬁgurations of particles, we will assume that the ﬂux of each particle corresponds to the one arising from −1 the holonomy along γ c γ , for γ a straight line connecting ∗ to ∗ . i i i c In the following we utilise the convention that the tensor components in the Hilbert space C(AUT(G))⊗ · · · ⊗ C(AUT(G) correspond to the particles ordered by increasing x value, here left to right. 9 [2.7] We now consider the transformations on the Hilbert space under motions of the particles. Moving particles adiabatically in a way such that the conﬁguration remains generic does not change the state of the system. Let the particles p , i = 1, . . ., n move, in between t = 0 and t = 1, in such a way that we momentarily pass (say at t = 1/2) through a non-generic conﬁguration. For each i, and at each t, let γ be the path, in D \ {p , . . ., p }, obtained from a straight line from ∗ to the position of ∗ , at time t. Note 1 n c that γ might be undeﬁned at t = 1/2, since the straight line from ∗ to ∗ may cross another particle. i i t 0 For each i, let also φ be the path obtained by concatenating γ with the trajectory of ∗ in between i i i 0 0 t t t time 0 and time t. Note that φ = γ and that φ is homotopic to γ , if 0 ≤ t < 1/2. However γ is in i i i i i general not homotopic to φ for t > 1/2. See Fig. 2, below, for a two particles conﬁguration. c c 1 2 c 2 c c 2 p 1 p p 2 2 1 t t γ =φ 2 2 t t γ =φ t t t 2 2 γ =φ γ 1 1 2 ∗ ∗ t = 1 t = 1/2 t = 0 t t Figure 2: A movement of particles passing non-generic conﬁgurations. Note γ is homotopic to φ , for all t. 2 2 When passing by non-generic conﬁgurations, ‘Aharonov-Bohm phases’ [42, 43, 44, 45, 65] A ∈ G must t t be inserted. They make up for the fact that γ and φ might not be homotopic when t = 1. A possible i i convention is that, for each i = 1, . . ., n, the group element A is given by the holonomy of the G-connection t t −1 along the path φ (γ ) , at time t = 1. i i These holonomies A can be determined [42, 43, 44, 45]. For instance in Fig 2, if the particle p carries i 1 t t −1 ﬂux g, and the particle p carries ﬂux h, then the holonomy along the path φ (γ ) is trivial, when t = 1, 2 2 i.e. A = 1 . This is because the path is homotopically trivial, hence the associated holonomy is the group 2 G t t −1 −1 t t −1 identity. On the other hand, the holonomy along φ (γ ) , at t = 1, is A = h . (Since at t = 1, φ (γ ) 1 1 1 1 t −1 t −1 is homotopic to γ c (γ ) .) Therefore, the movement of particles in Fig. 2 induces the following unitary 2 2 transformation in the Hilbert space C(AUT(G))⊗C(AUT(G)) (Bais calls this “ﬂux metamorphosis” [42]): a b b a −1 −1 −1 −1 (a ga − → g)⊗(b hb − → h) 7→ A .(b hb − → h) ⊗ A .(a ga − → g) 2 1 b a −1 −1 −1 (22) = (b hb − → h) ⊗ h .(a ga − → g) −1 b h a −1 −1 −1 = (b hb − → h) ⊗ (a ga −−−→ h gh). −1 Note that the operative part of this can be expressed as g⊗h 7→ h⊗h gh. [2.8] Remark: Equation (22) is exactly (18). Hence, the bikoid X in (17) is related to ﬁnite group topological gauge theory in D (just forget about the ‘elementary transposition’ component). Considering n⊗ n-particle conﬁgurations (22) yields representations of the braid group B in C(AUT(G)) [42, 43]. [2.9] Fix particle locations p , . . . , p ∈ D . Adiabatic exchanges of particles, are modelled by diﬀeomor- 1 n 2 2 2 2 phisms (D , {p , . . . , p }) → (D , {p , . . ., p }) (by deﬁnition these are diﬀeomorphisms D → D which 1 n 1 n 1 2 are the identity in the boundary S of D and send {p , . . . , p } to {p , . . . , p }). The braid group B is 1 n 1 n n 2 2 isomorphic to the group of isotopy classes of diﬀeomorphisms (D , {p , . . ., p }) → (D , {p , . . ., p }); see 1 n 1 n [66, 67]. In topological gauge theory, maps induced by adiabatic exchanges of particles on Hilbert spaces 2 2 should depend only on isotopy classes of diﬀeomorphisms (D , {p , . . ., p }) → (D , {p , . . ., p }). This is 1 n 1 n the case when maps on Hilbert spaces are, as outlined above, induced by holonomies (to encode Aharonov- Bohm phases) of ﬂat connections in D with magnetic vortices at particle locations. The same principle can be made to work in the loop braid group case and higher gauge theory in the 3-disk D , as we now explain. 2.2 Higher gauge theory with a ﬁnite 2-group: preliminaries Higher gauge theory is a generalisation of gauge theory which enables the deﬁnition of non-abelian holonomies 10 along surfaces embedded in a manifold M, when a principal 2-bundle with a 2-connection over M is given; see [11, 12, 68, 69, 70]. See [70] for a cubical approach [71] to the holonomy of a 2-connection. This is the point of view used here. In particular, a 2-bundle with a 2-connection over M, will be subordinated to an open cover of M, whose open sets are called coordinate neighbourhoods [70, §3.1]. In discrete higher gauge theory, for the gauge ﬁeld, instead of a principal bundle with a ﬁnite group G of structure, we have a principal 2-bundle (see [12, 72] and [70, §3.1]) with a structure ﬁnite 2-group. Note that a principal 2-bundle with a ﬁnite 2-group of structure has a unique 2-connection. [2.10] In the strict version of higher gauge theory used here, a 2-group is equivalent to a crossed module G = (∂ : E → G, ⊲) of groups, [71, 73, 74]. Here G and E are groups, ∂ : E → G is a group map, and ⊲ is a left action of G on E by automorphisms, such that the 1st and 2nd Peiﬀer relations are satisﬁed: −1 −1 ∂(g⊲e) = g∂(e)g and ∂(e)⊲f = efe , where g ∈ G and e, f ∈ E. We will suppose that E and G are ﬁnite. A square in G [70, §2.2.1] is, by deﬁnition, a diagram like: // ∗ ∗ (23) OO OO −1 −1 , where x, y, z, w ∈ G and e ∈ E satisfy ∂(e) = wyx z . z y // ∗ ∗ [2.11] Squares in G can be composed vertically and horizontally, if their sides match [70, §2.2.1]: ′ ′ x x xx x x // // // // // ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ (24) OO OO OO OO OO OO OO OO OO ′ ′ = ′ = ′ ′ ′ ′ ′ ′ . z y and z y e e y e e z ⊲e y y z y z z (w⊲e ) e // // // // ∗ ∗ ∗ // ∗ ∗ ∗ ∗ ∗ ∗ OO OO w ′ ′ w w ww z e // ∗ ∗ These compositions are associative, have vertical and horizontal identities, and satisfy the interchange law; see [70, 2.2.1], [71, §6.6] or [8] for explanation. Also, each square in G has a vertical and a horizontal inverse. In higher gauge theory, ﬁelds are 2-connections in a 2-bundle over a manifold M. A 2-connection is a cubical-G-2-bundle with a connection, as deﬁned in [70, Defs. 3.1 and 3.4]. There is an equivalence relation [70, Def. 4.18] on the set of 2-connections, by gauge transformations. It is derived from a 2-groupoid of 2- connections, gauge transformations and 2-gauge transformations between gauge transformations [68, 69, 70]. [2.12] If we have a 2-connection in M, then given a piecewise smooth map P : [0, 1]×[0, 1] → M, and a choice of coordinate neighbourhoods covering the image P([0, 1] ), we can deﬁne [70, Def. 5.1] the 2-dimensional holonomy 2hol(P) along P, which is a square in G [8, 70, 71], as in (23). This 2hol(P) depends only on the choice of coordinate neighbourhoods covering P(∂[0, 1] ); see [70, Cor. 5.5]. If γ : [0, 1] → M is a path, there is also a 1-dimensional holonomy hol(γ) ∈ G of γ; see [70, §5.1.3]. −1 Holonomy h = hol(γ) along a closed path is well deﬁned, up to transformations like h 7→ ∂(a)ghg , where g ∈ G and a ∈ E. The elements of G appearing in the edges of the square 2hol(P) in (23) are given by the 1-dimensional holonomies of the paths obtained by restricting P to the edges of the boundary of [0, 1] . [2.13] Piecewise smooth maps of form P : [0, 1] × [0, 1] → M can be composed horizontally, respectively vertically, when the restrictions to the appropriate side of [0, 1] × [0, 1] match, by rescaling [70, §2.3.1]. The 2-dimensional holonomy of a 2-connection preserves both horizontal and vertical compositions of 2 2 −H −V maps P : [0, 1] → M; see [70, Thm. 4.3]. Each map Γ: [0, 1] → M has horizontal Γ and vertical Γ inverses, given by (t, s) 7→ Γ(1 − t, s) and (t, s) 7→ Γ(t, 1 − s). The 2-dimensional holonomy of a 2-connection preserves horizontal and vertical inverses. Maps P : [0, 1] × [0, 1] → M such that the paths [0, 1] → M obtained by restricting P to {0} × [0, 1] and to {1} × [0, 1] coincide are called tubes in M, as they can be seen as maps P : S × [0, 1] → M. If P is a tube 11 in M, the 2-dimensional holonomy along P has the form: // ∗ ∗ (25) OO OO −1 −1 2hol(P) = , where x, h, w ∈ G and f ∈ E satisfy ∂(f) = whx h . h h // ∗ ∗ [2.14] We will also consider tori-maps in M, which by deﬁnition are tubes in M such that the paths [0, 1] → M obtained by restricting to [0, 1] × {0} and to [0, 1] × {1} coincide. If P is a torus-map in M, then the 2-dimensional holonomy of a 2-connection along P has the form below (cf. [70, Def. 5.16]): // ∗ ∗ (26) OO OO −1 −1 2hol(P) = , where x, h ∈ G and f ∈ E satisfy ∂(f) = xhx h = [x, h]. h f h // ∗ ∗ This 2hol(P), for P a torus-map, is independent of the choice of coordinate neighbourhoods along P(∂[0, 1] ), and the gauge equivalence class of the 2-connection, up to [70, Thm. 5.17] transformations of the form of a simultaneous horizontal and vertical conjugation in the ‘double-groupoid’ of squares in G, as in (27), below. (We note that the squares in the middle left and the middle right are horizontal inverses of each other, and similarly the squares in the middle top and the middle bottom are vertical inverses of each other.) 1G x G // // // ∗ ∗ ∗ ∗ (27) OO OO OO OO −1 −1 −1 −1 1 1 G 1 g g ⊲e g 1 G E E x x // // // // −1 // ∗ ∗ g ∗ ∗ ∗ ∗ ∗ g ∗ OO OO OO OO OO OO OO OO −1 −1 ′ ′ ′ ′ h f h f h h h a h f h g ⊲a h 7→ = // // −1 ∗ ∗ // // // ∗ ∗ g x ∗ ∗ ∗ g ∗ x ′ OO OO OO OO g g 1 1 e 1 1 G G E E // // // ∗ ∗ ∗ ∗ 1 1 G x G −1 ′ −1 −1 ′ −1 −1 −1 ′ ′ −1 Where: ∂(e) = x gx g , thus x = ∂(e)gxg , ∂(a) = ghg h , thus h = ∂(a)ghg , and: ′ −1 −1 −1 −1 ′ −1 −1 −1 f = e (gxg )⊲a g⊲f (ghg )⊲e a = x ⊲a e g⊲f (ghg )⊲e a . [2.15] A 2-connection is 2-ﬂat if its categorical curvature vanishes [70, Def. 2.16] in all coordinate neigh- bourhoods of M [68, Prop. 3.3.6]. 2-connections on 2-bundles with ﬁnite 2-groups are automatically 2-ﬂat. [2.16] Fix a ﬂat 2-connection in M. The 2-dimensional holonomy along P : [0, 1] → M depends only on the 2 2 homotopy class of the map P : [0, 1] → M, relative to the boundary of [0, 1] , and the choice of coordinate neighbourhoods covering P(∂[0, 1] ). This follows by [70, Thm. 4.5], by the same argument as in the proof of [70, Thm. 5.8], or by [68, Prop. 3.3.6]. For torus-maps P : [0, 1] → M, we consider homotopies of P relative to {0, 1} × I, which stay within the set of torus maps. If we ﬁx coordinate neighbourhoods covering P({0, 1}×[0, 1]), then 2hol(P) is homotopy invariant, up to transformations as in (27), with e = 1 , g = 1 . E G 2 2 2 2 [2.17] Let B = {z ∈ R : ||z|| ≤ 1} be based at ∗ = (−1, 0). Hence B and D are homeomorphic. Suppose that P : B → M is piecewise smooth. It is more convenient to consider the 2-dimensional holonomy along P yy −1 −1 to have the form: 2hol(P) = ∗ e , where e ∈ E and v = ∂(e); cf. (23), here we are putting v = wyx z . Note that v is the 1-dimensional holonomy of the path obtained by restricting P to the boundary S of 2 2 B , oriented counterclockwise. If B ⊂ M is diﬀeomorphic to B , and has a base point ∗ ∈ ∂B, then the 2-dimensional holonomy along an orientation and base-point preserving diﬀeomorphism B → B depends only on B, see [8, Thm. 67] or [70, Thm. 5.14]. It will be denoted 2hol(B). 12 2.3 Higher gauge theory with a ﬁnite 2-group and invariants of loop braids Consider a 2-ﬂat 2-connection [2.15] in the 3-disk D = {(x, y, z) | 0 ≤ x, y, z ≤ 1}. Let us also assume that 3 1 the 2-connection is ‘static’ in the boundary ∂D . We choose an oriented ‘base-loop’ O = S embedded in 2 3 3 D × {1} ⊂ ∂D . We let ∗ ∈ O be the base point of O. Hence O is the image of a path γ : [0, 1] → ∂D , starting and ending at ∗. Also O bounds a 2-dimensional ball B contained in ∂D ; see Fig. 3, below. [2.18] A parameter we will need is the 2-dimensional holonomy [2.17] along B which has the form: yy ∂(R) 2hol(B) = ∗ R . (28) Here R ∈ E. The 1-dimensional holonomy along O, with initial point ∗, is ∂(R) ∈ G. Cf. [2.5], as for gauge theory in D , we will only consider gauge transformations [70, §4.2.1] on 2-connections which are trivial in ∂(D ). We also ﬁx coordinate neighbourhoods along O. Hence we take R and ∂R to be constant in time. [2.19] Consider a set of small unknotted unlinked circles c , . . . , c (call them “loop particles”) in D . 1 n Outside these, the 2-connection is ﬂat. We allow for a 2-connection to be singular in the loop-particles c , . . . , c , which therefore may carry ‘higher gauge magnetic vortices’. 1 n [2.20] We suppose that loop-particles can move, but remain horizontal. In other words each loop-particle is 2 3 at each time t contained in a plane (whose height may vary with t) parallel to D × {0} ⊂ D . [2.21] Let c be loop-particle. A formal observable for c (here called magnetic primary 2-ﬂux) is the 2- 2 3 dimensional holonomy F = 2hol(P ) along a torus-map P : [0, 1] → D , starting and ending at the base- c c c loop O, and bounding the torus T obtained as the boundary of a local neighbourhood of c as in Fig. 3 below. Cf. the ﬁgure in Equation (2) for a visualisation of a tube-map homotopic to P . 3 2 Let us explain P . It is constructed as the vertical composition of three tubes in D . The torus T = 1 1 S ×S has a meridian m and a longitude l. Both m and l are assumed to be co-moving with c. The linking number of l and c should be zero. We consider a ‘connecting tube’ Γ connecting O to l. Then consider the 3 2 torus-map in D obtained by sweeping the torus T , in the obvious way, from l to l. And ﬁnally we go back −V −V to O by using the vertical inverse Γ of Γ . (Hence Γ (t, s) = Γ (t, 1 − s).) c c c c O ∗ ∗ connecting tube Γ γ γ longitude l m m = P meridian m T l c c −1 −1 γ γ loop-particle c 2 3 3 Figure 3: Construction of a torus-map P : [0, 1] → D in D , associated to a loop-particle c. The 2-dimensional holonomy 2hol(P ) has the form (26), and hence by [2.18] the form (29) below. Note −1 that h is the 1-dimensional holonomy along γmγ , and ∂(R) is the 1-dimensional holonomy along O. ∂(R) // ∗ ∗ (29) OO OO 2hol(P ) = c , where h ∈ G, f ∈ E and ∂(f) = [∂(R), h]. h f h // ∗ ∗ ∂(R) [2.22] An encoding of magnetic primary 2-ﬂux F is thus a triple F(c) = (h, ∂(R), f) ∈ G×G×E such that ∂(f) = [∂R, h]. The relation between F(c) = (h, ∂(R), f) and 2hol(P ) is as in (29). We let T (G) be the set of those triples, called 2-ﬂuxes. 13 An important property of 2-ﬂuxes is that they form a group (as do ﬂuxes g ∈ G of gauge theory) under ′ ′ ′ ′ the vertical composition of squares in G; see (24). Hence: (g, ∂(R), a)(g , ∂(R), a ) = (gg , ∂(R), a g⊲a ). [2.23] As for topological gauge theory ﬂux [2.2], F(c) = (h, ∂(R), f) is not physical. It changes if we perform gauge transformations in the 2-gauge ﬁeld [70, §4.2.1 and §5.1.7] or change the chosen coordinate neighbourhoods along P (∂[0, 1] ); see [70, Thm. 5.1.4]. Cf. [2.18], in order to simplify the construction, we ﬁx coordinate neighbourhoods along the base loop, and the disk B, and only consider gauge transformations which are trivial along ∂D . In particular, we are considering only a subset of gauge transformations which leave the holonomy of the base-loop invariant. This means that in (27) we take g = 1 and e = 1 . Hence G E F(c) will change as −1 −1 (h, ∂(R), f) → (∂(a)h, ∂(R), R a R f a , under gauge transformations; here e ∈ E. We are using the 2nd Peiﬀer relation here; see [2.10]. We can also modify the connecting tube Γ , connecting the base-loop O to the longitude l (see Fig. 3), to a new connecting tube Γ . This leads to transformations in the 2-ﬂux F(c) = (h, ∂(R), f) like below: −1 −1 −1 −1 (h, ∂(R), f) 7→ (g, ∂(R), e) (h, ∂(R), f) (g, ∂(R), e) = (ghg , ∂(R), e g⊲f (ghg )⊲e . Here (g, ∂(R), e) ∈ T (G). Note that (g, ∂(R), e) arises as the 2-dimensional holonomy of the torus-map obtained as the vertical concatenation of Γ and the vertical inverse of Γ . Putting the two types of transformations together, we can see that the appropriate group of transforma- tions on 2-ﬂuxes is given by the following semidirect product: T (G) ⋉ E = {(g, ∂(R), e, a) ∈ G × G × E × E : ∂(e) = [∂(R), g]}. with group operation ′ ′ ′ ′ ′ ′ (g, ∂(R), e, a) (g , ∂(R), e , a ) = (gg , ∂(R), e g⊲e , a g⊲a ). 2 2 The group T (G) ⋉ E acts on the set T (G) of 2-ﬂuxes as below (calculations are in §6.2.2): R R −1 −1 −1 −1 −1 (g, ∂(R), e, a) ⋗ (h, ∂(R), f) = (∂(a)ghg , ∂(R), R a R e g⊲f (ghg )⊲e a . This action also arises from (27), where we put x = ∂(R). (We are using the 2nd. Peiﬀer relation [2.10].) 2 2 2 [2.24] We deﬁne TRANS(T (G)) as the action groupoid of the action ⋗ of T (G)⋉ E on T (G). Objects of R R R 2 2 2 TRANS(T (G)) are given by 2-ﬂuxes F ∈ T (G). Morphisms are, where T = (g, ∂(R), e, a) ∈ T (G) ⋉ E: R R R (g,∂(R),e,a) (h, ∂(R), f) −−−−−−−−→ (g, ∂(R), e, a) ⋗ (h, ∂(R), f) = F −→ T ⋗ F . [2.25] In higher gauge theory, we not only have gauge transformations between 2-connections but also 2-gauge transformations between gauge transformations. Hence there is also a quotient groupoid TRANS(T (G)) of TRANS(T (G)), where gauge transformation connected by 2-gauge transformations are identiﬁed. Through- out most of the paper, we neglect the role of 2-gauge transformations. We will come back to this in [2.37]. [2.26] Finally, we note that a diﬀerent type of 2-ﬂux F(c) ∈ T (G), called thin 2-ﬂux, can be associated to c in Fig. 3. This F(c) is given by the 2-dimensional holonomy of a ‘degenerate’ (i.e 1-dimensional) tube ˆ ˆ P , from O to O. This P is obtained from contracting O to its base point ∗, along B, then concatenating c c −1 with a 1-dimensional tube tracing γmγ , and then using B to go back to O again. Cf. the ﬁgure in (3) for 2 2 a visualisation of a tube-map homotopic to P . We have a group morphism Θ : T (G) → T (G) given by c R R R −1 (g, ∂(R), e) 7→ (g, ∂(R), R g⊲R ). From the assumptions in [2.18], we can conclude that primary and thin 2-ﬂuxes of a loop-particle c are related as: F(c) = Θ F(c) . Cf. [2.3] and [2.4]. In analogy with C(AUT(G)) in topological gauge theory, for an unknotted loop- particle c, an approximation of the algebra of local symmetries of ﬁnite 2-group topological higher gauge 3 2 theory in D is the groupoid algebra C(TRANS T (G) ). Elementary loop-particles in our simpliﬁed model correspond to irreducible representations of C(TRANS T (G) ). The latter algebra is semisimple, as is any ﬁnite groupoid algebra over C. 2 2 Now recall the G-action on AUT(G) in (21). We have a left-action “.” of T (G)⋉E on TRANS T (G) , R R such that: T T T ′ ′ T .(F −→ T ⋗ F) = (F −−→ (T T ) ⋗ F), (30) 2 ′ 2 where F ∈ T (G) and T, T ∈ T (G) ⋉ E. (We more generally should have a 2-group action [75] of the R R underlying 2-group in TRANS T (G) . This will be developed in a forthcoming publication.) 2 2 2 Let proj: D × [0, 1] → D be (x, y, z) 7→ (x, y). Consider two loop-particles c , c ∈ D × [0, 1] in generic 1 2 1 2 position. This means that proj(c ∪c ) is the disjoint union of two circles, such that no circle is nested inside the other, and moreover the middle-points of the disks spanned by c and c have diﬀerent x coordinates. 1 2 [2.27] If c and c are in generic position, we can consider connecting tubes Γ and Γ , given by rectilinear 1 2 1 2 cylinders connecting the base-loop O to their their longitudes l and l , such that the line connecting the 1 2 base-point of O to the base-point of l is a straight line, as in Fig. 4. We call these connecting tubes rectilinear connecting tubes. Assuming that the conﬁguration is generic, these rectilinear connecting tubes Γ and Γ 1 2 do not intersect the regular neighbourhoods of the other loop-particle, if these regular neighbourhoods, with 2 2 boundary T and T , are chosen to be thin enough. c c 1 2 Γ 2 l 2 m m 1 2 2 2 T T c c 1 2 c c 1 2 Figure 4: A generic conﬁguration of loop-particles c and c . 1 2 2 2 [2.28] The Hilbert space C(TRANS(T (G))⊗C(TRANS(T (G)) describes the set of internal states for the R R pair of loop-particles, c and c , in generic position. We order circles from left to right. The primary and 1 2 thin 2-ﬂuxes F(c ) and F(c ) of the loop-particle c are calculated by using a rectilinear tube from O to l . i i i i We now wish to consider the transformations on the Hilbert space arising when the loop-particles c and c move. Note, cf. [2.9], that if there is an Aharonov–Bohm like eﬀect, then the pertinent mapping class group is now the loop braid group LB in two circles §3.4. [2.29] Fix a motion of our system, and in particular a motion of each loop c , and hence of each longitude (t ,t ) 0 1 l . Let Γ be the rectilinear tube [2.27] from O to the longitude l , at time t, where i = 1, 2. Let Traj i i i i 3 2 be the ‘tube’ in D made by the trajectory of the longitute l between t and t . Let A (t , t ) ∈ T (G) be i 0 1 i 0 1 t ,t t (t0,t1) t 0 1 0 1 −V the 2-dimensional holonomy of the torus T = Γ Traj (Γ ) , namely: i i i i t (t ,t ) t 0 0 1 1 −V A (t , t ) = 2hol(Γ Traj (Γ ) ), i 0 1 i i i t t 1 −V 1 where (Γ ) is the vertical inverse of Γ . i i Our model is that the Aharonov-Bohm phase applied to c for a motion from t to t is given by: i 0 1 A = (A (t , t ), 1 ) ∈ T (G) ⋉ E. Thus for example if the motion exchanges the loops we will have: i i 0 1 E T T A T A T 1 2 2 2 1 1 (−→) ⊗ (−→) 7→ (−−−→) ⊗ (−−−→). (31) [2.30] The 2-dimensional holonomy along a torus-map is not homotopy invariant as explained in [2.16], (t ,t ) 0 1 whereas in the motion group picture for loop braids groups, the trajectories Traj are only deﬁned up to 15 t ,t 0 1 isotopy [13]. Hence, when determining the 2-dimensional holonomy along T we must ﬁx a representative t ,t 0 1 for the homotopy class of T . Crucially for the construction in this paper, these representatives are chosen to derived from the torus- maps P and P with which we calculate the primary and thin 2-ﬂux of our loop particles c [2.28], so we c c t0,t1 always look to the ‘closest’ P and P to T . Additionally we will assume that homotopically trivial tubes c c give rise to trivial 2-holonomies. That such strong assumptions give rise to a loop-braid group representation is a mystery to the authors which will be investigated in future work. With such approximations a notion of Aharonov-Bohm phases can be determined from the primary F(c) and thin F(c) 2-ﬂuxes of our loop particles c. We now explain this. [2.31] Suppose that between t = 0 and t = 1 two loops c and c exchange places as indicated in (32), below: 1 2 c2 (32) c c c 2 2 c 1 1 1 c — these, and further such ﬁgures below, are views from O in the ceiling of D . As the 2-dimensional holonomies associated to the tubes traced by c and c in (32) are trivial, since the homotopy classes of 1 2 t ,t 0 1 T are trivial, for i = 1, 2, then by [2.30] the Aharonov-Bohm phases to insert in (31) are trivial. Thus this move is associated to the following map V on the Hilbert space: (−)⊳ V [2] T T 1 T T −1 1 −1 2 −1 2 −1 1 (T −→ F )⊗(T −→ F ) 7−−−−−−−→ (T −→ F )⊗(T −→ F ). (33) ⋗ F ⋗ F ⋗ F ⋗ F 1 1 2 2 2 2 1 1 1 2 2 1 (We just swap tensor components.) We will write V as (−)⊳ V [2] in anticipation of the role of LB . 1 2 [2.32] Now suppose that the loop-particles c and c swap positions in the way indicated in ﬁgure (34)-(35) 1 2 below. We need to determine Aharonov-Bohm phases A , A ∈ T (G) ⋉ E associated to the movement of 1 2 the loop-particles. We suppose that this movement of loop-particles happens in between t = 0 and t = 3. (34) c c 1 1 cc cc 1 c 11 22 1 c c 2 c 2 t=0 t=1 (35) c1 c c 1 1 c c c 2 2 2 t=3 [2.33] In order to determine A , A , ﬁrst recall [2.22] and [2.26] that a loop-particle c has two 2-ﬂuxes, 1 2 i ˆ ˆ primary and thin, associated to it, denoted F(c ) and F(c ). We let F(c , t) and F(c , t) be their value at i i i i time t. We assume that F(c , t) and F(c , t) are calculated by using the rectilinear tube from O to l . Hence i i i F(c , t) and F(c , t) are not deﬁned for all t. i i [2.34] We now calculate A (0, 3) = A (1, 3)A (0, 1) (recall [2.13] that the 2-dimensional holonomy of a 2- 1 1 1 1,3 connection preserves the vertical composition of tubes). Note that A (1, 3) is trivial (indeed T is homotopic to the constant tube at O). On the other hand, given our deﬁnition of thin and primary 2-ﬂux of a loop- −1 particle, we have that A (0, 1) = F(c , 0) , the inverse of the thin 2-ﬂux of c . Cf. [2.30], this is because 1 2 2 0,1 T is homotopic to the inverse of the tube P in [2.26], with which we calculate the thin 2-ﬂux of c . c 2 1 2 Hence, the primary 2-ﬂux of c for t ≥ 1 is −1 F(c , t) = F(c , 0) ⋗ F(c , 0). 1 2 1 Here ⋗ denotes the conjugation action of T (G) on itself. [2.35] Determining A (0, 3) is more complicated. Given our conventions, A (0, 1) is trivial. In order to 2 2 calculate A (1, 3), we substitute (35) by an isotopic movement of loops, as in (36) below; cf. [2.30]. Between t = 1 and t = 2, the loop-particles c and c , exchange ‘concentric position’, with c passing behind c , along 1 2 2 1 the back part of the torus T . Hence the 2-dimensional holonomy of the trajectory of c is related to the primary 2-ﬂux of c at time t = 1. 16 c c c2 c c 1 cc 1 c 1 2 22 c 1 1 (36) c c 1 c 1 t=2 t=3 t=1 Now A (1, 3) = A (2, 3)A (1, 2). Putting together [2.29] and [2.30], we see that A (1, 2) is given by the 2 2 2 2 1,2 inverse of the primary 2-ﬂux of c at time 1. This is because T is homotopic to the vertical inverse of the torus-map P at time t = 2. Hence −1 A (1, 2) = F(c , 1) . 2 1 ˆ ˆ Finally, A (2, 3) is given by the thin 2-ﬂux of c at time 2, hence A (2, 3) = F(c , 2) = F(c , 1). 2 1 2 1 1 Let us give explicit formulae. Recall [2.26], if F(c , 0) = (z, ∂(R), e) = F and F(c , 0) = (w, ∂(R), f) = F , 1 1 2 2 −1 −1 ˆ ˆ then F(c , 0) = (z, ∂(R), R z⊲R ) = Θ (F ) and F(c , 0) = (w, ∂(R), R w⊲R ) = Θ (F ). Hence: 1 R 1 2 R 2 −1 −1 −1 A (0, 3) = F(c , 0) = Θ (F(c , 0)) = Θ (F ) . 1 2 R 2 R 2 On the other hand: −1 −1 ˆ ˆ A (0, 3) = A (2, 3) A (1, 2) = F c , 2) F c , 1 = F c , 1 F c , 1 2 2 2 1 1 1 1 −1 = Θ F c , 1) F c , 1 R 1 1 −1 −1 −1 ˆ ˆ = Θ F(c , 0) ⋗ F(c , 0) F(c , 0) ⋗ F(c , 0) R 2 1 2 1 −1 −1 −1 = Θ Θ (F ) ⋗ F Θ (F ) ⋗ F . R R 2 R 2 1 [2.36] Putting the stages together, the move of loop-particles in (34) and (35) leads to the following trans- 2 2 formation in the Hilbert space C(TRANS T (G) )⊗C(TRANS T (G) ): R R T T A T A T 1 2 2 2 1 1 (−→) ⊗ (−→) 7→ (−−−→) ⊗ (−−−→). (37) In full: ∗ + (−)⊳ S [2] T T T T −1 1 −1 2 1 −1 2 −1 1 (T ⋗ F −→ F )⊗(T ⋗ F −→ F ) 7−−−−−−−→ A .(T ⋗ F −→ F ) ⊗ A .(T ⋗ F −→ F ) 1 1 2 2 2 2 2 1 1 1 1 2 2 1 (38) A T A T −1 2 2 −1 1 1 = (T ⋗ F −−−→ A ⋗ F ) ⊗ (T ⋗ F −−−→ A ⋗ F ), 2 2 2 1 1 1 2 1 where −1 −1 −1 −1 A = Θ (F ) , 1 ) and A = Θ Θ (F ) ⋗ F Θ (F ) ⋗ F , 1 . 1 R 2 E 2 R R 2 1 R 2 1 E ∗ ∗ Remark 1 (Higher gauge ﬂux metamorphosis). The unitary transformations (−)⊳ V [2] and (−)⊳ S [2] 2 2 in C(TRANS T (G) )⊗C(TRANS T (G) ), deﬁned in Equations (33) and (38), are our proposal for a R R simpliﬁed higher gauge analogue of ﬂux metamorphosis of topological gauge theory (22); see [3, 42, 43, 44, 45]. ∗ ∗ It turns out (e.g. by direct calculation) that the unitary transformations (−)⊳ V [2] and (−)⊳ S [2] yield 2 2 a representation of the 2-circle loop braid group LB in C(TRANS T (G) )⊗C(TRANS T (G) ), as the R R n⊗ physical setting would suggest. This can be extended to a representation of LB in C(TRANS T (G) ) . One way to prove this is to note that we have an underpinning W-bikoid in TRANS T (G) of the form: F F (39) 1 2 ▲ ▲ ▲ r r ( ▲ r A •▲ r• A −1 1 ▲ 2 ▲ ▲ r . rr A = (Θ (F ) , 1 ) 1 R 2 E X r R ▲ ▲ rr rr ▲ ▲ , for F , F 7−→ ▲ ▲ 1 2 rr −1 −1 −1 rr ▲ ▲ xxrxxr &&&& A = Θ Θ (F ) ⋗ F Θ (F ) ⋗ F , 1 2 R R 2 1 R 2 1 E A ⋗ F A ⋗ F 2 2 1 1 17 And then we can use use the general Theorems 38 and 41. This sets the relevance of the work in this paper for modelling Aharonov-Bohm like phenomena for loop-particles in topological higher gauge theory. It is proven in §6.2 that all groupoids TRANS T (G) ), where R ∈ E, are isomorphic, and all W-bikoids X become the same by using a canonical groupoid isomorphism. Hence, as far as representations of LB are concerned, it suﬃces to consider the case R = 1 . In this case T (G) G⋊ A, where A = ker(∂) ⊂ E; E ⊲ 2 2 note that ker ∂ is an abelian subgroup. The arrows of TRANS S (G) = TRANS T (G) take the form: (w,k,m) −1 −1 (g, a) −−−−−→ ∂(m)wgw , k + w⊲a − (wgw )⊲k , where g, w ∈ G, a, k ∈ ker(∂) and m ∈ E. (40) (Note that we switched to additive notation.) And the pertinent W-bikoid X ∗ takes the form: gr (z, a) (w, b) (41) ❙ ❙ + ❙❙ ❙ ❦ ❦ ( ❙ ❦ X ❦ ∗ ❙ ❦ gr ❙ ❦ w • ❙ ❙ •−w⊲a ❦ −1 ❙ ❙ ❦❦ (z, a), (w, b) 7−→ ❙ ❙ ❦❦ w = (w , 0 , 1 ) ❦❦ ker(∂) E ❦❦❙ ❙ ❦❦ ❙ ❙ ❦❦ ❙ ❙ , for ❦❦ ❙ ❙ ❦❦ ❙ ❙ −1 ❙ ❙ ❦ ❦ )))) . uu❦uu❦ −w⊲a = (1 , −w ⊲a, 1 ) G E −1 −1 −1 (w, a + b − w ⊲a) w zw, w ⊲a + + This X ∗ is a spin-oﬀ of the abelian gr-group W-bikoid of (20), but the underlying groupoid of X ∗ has gr gr an additional component, related to gauge transformations on 2-connections, which is however ‘decoupled’ from the rest of the structure. The additional level of structure present in X ∗ nevertheless becomes very gr visible when considering 2-gauge transformations between gauge transformations (see [2.37] below), and is essential when dealing with invariants of welded knots derived from X ∗, see [40]. gr [2.37] For simplicity we take R = 1 . As mentioned in [2.37], there is an important variant of the groupoid 2 2 TRANS T (G) TRANS S (G) , where gauge transformations related by 2-gauge transformations [69, 2 2 §2.3.3] [70, §4.3.1] are identiﬁed. This yields a quotient groupoid TRANS S (G) of TRANS S (G) , where: (w,k,m) −1 −1 (g, a) −−−−−→ (∂(m)wgw , k + w⊲a − (wgw )⊲k) −1 (w∂(e),k,m (wg)⊲e w⊲e ) −1 −1 = (g, a) −−−−−−−−−−−−−−−−−→ (∂(m)wgw , k + w⊲a − (wgw )⊲k) . Here g, w ∈ G, a, k ∈ ker(∂) and m, e ∈ E. The formulae in (41) give a bikoid structure in TRANS S (G) . Details on the construction of TRANS S (G) and its relation to higher gauge theory will appear in [40]. 3 Preliminaries [3.1] If C is a category, the class of objects of C is denoted by Obj(C) or by C . The class of morphisms of C is denoted by C or by Mor(C). If x, y ∈ C , the set of morphisms x → y is denoted hom (x, y) or hom(x, y). 1 0 C [3.2] Our default convention for compositions in categories and groupoids is reverse to that of function composition. Given objects x, y, z of C, composition is a map (f, g) ∈ hom(x, y) × hom(y, z) 7→ f ⋆ g ∈ hom(x, z). However the symbol ◦ will always denote the usual function composition. I.e., given set maps f : X → Y and g : Y → Z, then g ◦ f will denote the usual (g ◦ f)(x) = g(f(x)). [3.3] We put N = {0, 1, 2, . . .} and Z = {1, 2, . . .}. [3.4] The product we use in the symmetric group Σ , of bijections f : {1, . . ., n} → {1, . . ., n}, is f.g = g ◦f. 3.1 General conventions for groupoids Let Γ = (Γ , Γ , σ, τ, ι, ⋆) be a groupoid [76, 24, 41]. Here, Γ is the set of morphisms (arrows) of Γ, Γ is 1 0 1 0 the set of objects of Γ, and σ, τ : Γ → Γ denote source and target maps, respectively. Given x, y ∈ Γ , the 1 0 0 set of morphisms x → y hence is hom(x, y) = hom (x, y) = {γ ∈ Γ : σ(γ) = x and τ(γ) = y}. Γ 1 [3.5] An arrow γ of Γ will sometimes be denoted as (x − → y), thus x = σ(γ) and y = τ(γ). 18 3 The composition map in Γ provides, given any triple of objects (x, y, z) ∈ (Γ ) , a map of sets: hom(x, y) × hom(y, z) → hom(x, z) γ φ γ φ x − → y , y − → z 7−→ x − → y ⋆ y − → z . [3.6] The composition of arrows in Γ will be denoted in a variety of ways, as indicated below: γ φ γ φ γ⋆φ x − → y ⋆ y − → z = x − → y − → z = x −−→ z . [3.7] The inverse arrow to (x − → y) can, and will, be denoted in four diﬀerent ways: −1 γ γ γ −1 γ x − → y = y −−→ x = y − → x = (x − → y). id The identity map ι: Γ → Γ sends x ∈ Γ to the arrow (x −−→ x). 0 1 0 Deﬁnition 2 (Action groupoid). Let the group G have a left-action “.” on set X. The action groupoid Γ (X) has X as set of objects. The arrows have the form: (x − → g.x), where x ∈ X and g ∈ G. The g h hg composition is such that: (x − → g.x) ⋆ (g.x − → (hg).x) = (x −→ (hg).x). (Note the order of the product.) Of 1 . course, the identity map is such that ι(x) = (x −−→ x) = id , where 1 is the unit element of G. x G Example 3 (AUT(G)). Let G be a group. The action groupoid of the conjugation action of G on G is −1 denoted by AUT(G). Hence the set of objects of AUT(G) is G, and the arrows have the form x − → gxg , where g, x ∈ G. The composition in AUT(G) therefore is such that: g hg −1 −1 −1 −1 −1 −1 (x − → gxg ) ⋆ (gxg − → hgxg h ) = (x −→ hgxg h ). 3.2 Groupoid algebras and their representations Deﬁnition 4 (Groupoid algebra). Let Γ be a groupoid. Cf. [46, 47, 48]. The groupoid algebra C(Γ) of Γ is the free C vector space CΓ over the set Γ of morphisms of Γ. The product on generators is: 1 1 ′ ′ ′ ′ γ γ γ γ γ⋆γ γ γ ′ ′ ′ ′ ′ ′ ′ ′ x − → y ⋆ x −→ y = x − → y x −→ y = δ(y, x ) x −−−→ y , where (x − → y , x −→ y ∈ Γ . (42) (Here δ(y, x) = 1, if y = x, and 0 otherwise). If Γ is ﬁnite, then C(Γ) is a unital algebra with identity: X X id 1 = ι(x) = x −−→ x . C(Γ) x∈Γ x∈Γ 0 0 −1 γ γ γ [3.8] The groupoid algebra has a *-structure given by (a − → b) = (b −−→ a), for all (a − → b) ∈ Γ . Remark 5. If G a ﬁnite group, then C(AUT(G)) (see Example 3) is [47] the underlying algebra of the quasi- triangular Hopf algebra D(G) in (16), the quantum double of the group algebra of G; see [49, 77, 24, 50]. [3.9] In this paper a representation (or right-representation) of a unital algebra A will mean a right A- module V , with action denoted (v, a) ∈ V × A 7→ v.a ∈ A, such that v.1 = v, for each v ∈ V . Deﬁnition 6. Let (V, h, i) be an inner product space. A representation ρ: (v, k) ∈ V × C(Γ) 7→ x.k ∈ V of C(Γ) is called unitary if it is unitary with respect to the ∗-structure in [3.8]. This means that: D E D E −1 γ γ γ u.(x − → y), v = u, v.(y −−→ x) , for all u, v ∈ V , and all (x − → y) ∈ Γ . [3.10] Suppose that Γ is ﬁnite and ρ is a ﬁnite dimensional representation of C(Γ) on V . Standard techniques, as e.g. in [77, page 12], prove that we can ﬁnd an inner product in V with respect to which ρ is unitary. Standard tecniques, as in [77], also prove that C(Γ) is semisimple. This will be addressed elsewhere. 19 Example 7. The right regular representation of C(Γ) has C(Γ) as underlying vector space. The action is by right multiplication. This representation is unitary if we pick the inner product in C(Γ) that renders diﬀerent arrows orthonormal. Example 8 (Object regular representation). The object regular representation of C(Γ) has the free vector space CΓ on Γ as underlying vector space. The action is such that if x ∈ Γ and (a − → b) ∈ Γ , then: 0 0 0 1 x.(a − → b) = δ(a, x)b. This representation is unitary if we choose Γ to be an orthonormal basis of CΓ . 0 0 If x ∈ Γ , then Cπ (Γ, x) is a sub-representation of CΓ . Here Cπ (Γ, x) is the connected component of 0 0 0 0 Γ to each x belongs. As in the case of the quantum-double of a ﬁnite group algebra [77, Chapter IV], the latter representation can be modiﬁed in order to include a representation of the automorphism group of x. 3.3 The virtual braid group and the welded braid group Virtual knot theory is discussed e.g. in [18, 20, 30]. In this paper all manifolds, homeomorphisms, isotopies, immersions, embeddings, etc, are assumed to be piecewise linear [78, 79], unless otherwise speciﬁed. Let N be an oriented 1-dimensional manifold, possibly with boundary. An immersion Q of N in R×[0, 1] is the image Q = φ(N) of an immersion map φ: N → R×[0, 1]; i.e. φ is piecewise linear and locally injective. −1 The set of multiple points M(Q) of Q is M(Q) = {z ∈ Q: #φ (z) ≥ 2}, where # denotes set cardinality. −1 A double-point (also called a double intersection) is a multiple point such that #φ (z) = 2. The interval [0, 1] is oriented in the positive direction. We put p: R × [0, 1] → [0, 1] to be p(s, t) = t. Deﬁnition 9 (Virtual braid diagram). A virtual braid diagram, of degree n, is the image Q of an immersion map φ: ⊔ I → R × [0, 1], where I = [0, 1]. We put φ : I → R × [0, 1] to denote the restriction of φ to i i i i i=1 I . The component Q ⊂ Q of the immersion Q is by deﬁnition given by φ(I ), where i = 1, . . ., n. i i i We impose that: (1) multiple points of Q are all transversal [80, §5.2] double intersections between diﬀerent components of the immersion, (2) each double point of Q is assigned a label from ‘classical crossings’ (positive and negative) and ‘virtual crossings’, as below: ❄ ❄ ❄ ❄ ❄ ❄ ⑧ ⑧ ⑧ ❄ ⑧ ❄ ⑧ ⑧ ❄⑧ ❄ ⑧ ⑧ ❄ ❄ ⑧ ⑧ ❄ , ❄ , ❄ ⑧ ⑧ positive crossing ❄ negative crossing ⑧ virtual crossing ⑧ ❄ ⑧ ❄ ⑧ ❄ ⑧ ❄ ⑧ ❄ ⑧ ⑧ ⑧ (3) for each i ∈ {1, . . ., n}, the map p ◦ φ : [0, 1] → [0, 1] is an orientation reversion homeomorphism; (4) Q ∩ (R × {1}) = {1, . . ., n} × {1} and Q ∩ (R × {0}) = {1, . . ., n} × {0}, (5) for each i ∈ {1, . . ., n}, φ (1) = (i, 0); (6) the restriction of p: R × [0, 1] → [0, 1] to the set of double points is injective (i.e. double points occur at diﬀerent heights). We consider two virtual virtual braid diagrams Q and Q equivalent if they can be deformed one into the other via an ambient isotopy t 7→ f of R × [0, 1], ﬁxing the boundary, and such that f (Q) is a virtual braid t t diagram for each t ∈ [0, 1]. [3.11] A virtual braid diagram Q yields a bijection U : {1, . . ., n} → {1, . . ., n}. Our convention is that U Q Q sends j to the unique i such that φ (0) = j × {1}. (Note that φ (1) = (i, 0).) See also diagram (52), below. i i Deﬁnition 10 (The monoid MV[n] of virtual braid diagrams). Given a positive integer n, we have a monoid ′ ′ MV[n] of virtual braid diagrams in degree n. Given M and M in MV[n], the multiplication MM is the ′ ′ vertical juxtaposition of M and M , where M stays on top of M , followed by rescalling in the height direction. The identity of the monoid MV[n] is given by the equivalence class of the diagram I[n], below: 1 n ... I[n] = | {z } n strands (Here, and also below, we put (i, 1) = i, where i = 1, 2, . . ., n.) 20 The monoid MV[n] is freely generated [18] by the equivalence classes of the diagrams displayed below: 1 a a+1 n 1 a a+1 n 1 a a+1 n (43) ✾ ✾ ✾ ✾ ✾ ✾ ✆ ✆ ✆ + − ✾ ✾ ... ✆ ... ... ✆ ... ... ✆ ... , V [n] = S [n] = , S [n] = ✾ a ✾ a ✆ a ✆ . ✾ ✾ ✾ ✆ ✆ ✾ ✾ ✾ ✆ ✆ ✆ ✆ ✾ ✆ ✾ ✆ ✾ ✆ ✆ ✆ | {z } | {z } | {z } n strands n strands n strands Here a ∈ {1, 2, . . ., n−1}. From now on, we will frequently not display some of the vertical strands which do not interact with the rest of the diagram, when drawing compositions of generators of the monoid MV[n]. Also note that given our convention for the multiplication in MV[n], diagrams are read from top to bottom. Deﬁnition 11. The n-strand welded braid group WB [18, 19, 17] is the monoid (easily proven to be a group) obtained from the monoid MV[n] of virtual braid diagrams, by imposing the relations (44)–(49), below. Here a, b ∈ {1, . . ., n − 1} for (44) and (45), and a ∈ {1, . . ., n − 2} for (46)—(49). Some relations are written algebraically and also diagramatically, since there will be several diagrammatic calculations later on. Classical and virtual Reidemeister II moves (RII and VII): + − VII RII RII + − − + V [n] V [n] = I[n], S [n] S [n] = I[n] and S [n] S [n] = I[n]. (44) a a a a a a Locality, if |a − b| ≥ 2 then: + + − − V [n] V [n] = V [n] V [n], V [n] S [n] = S [n] V [n], V [n] S [n] = S [n] V [n], a b b a a a a a b b b b (45) − − − − + + + + − − + + S [n] S [n] = S [n] S [n], S [n] S [n] = S [n] S [n], S [n] S [n] = S [n] S [n]. a a a a a a b b b b b b RIII + + + + + + Reidemeister III move (RIII): S [n] S [n] S [n] = S [n] S [n] S [n]. (46) a a a (a+1) (a+1) (a+1) a a + 1 a + 2 a a + 1 a + 2 ❊ t ② ❏ ❊ t ② ❊ t ❏ ② yyt %% "" ||② a a + 1 a + 2 RIII a a + 1 a + 2 ❏ ❊ ❏ = Graphically: t ❊ ❏ ② . ❏ ② t ❊ t ❏ ❊ yyt %% "" ||② a a + 1 a + 2 a a + 1 a + 2 ❊ ❏ ② ❏ t ❊ t ❏ ② ❊ t ❏ "" yyt %% ||② a a + 1 a + 2 a a + 1 a + 2 VIII Virtual Reidemeister III move (VIII): V [n] V [n] V [n] = V [n] V [n] V [n]. (47) a a a (a+1) (a+1) (a+1) a a + 1 a + 2 a a + 1 a + 2 ❊ ❏ ❏ t ❊ ② ❊② ❏t ❊ ❏ ② ❊ t ❏ "" yyt %% ||② VIII a a + 1 a + 2 a a + 1 a + 2 Graphically: ❏ t ❊ ② . ❏ t ❊② ❏t t ❏ ② ❊ t ❏ yyt %% "" ||② a a + 1 a + 2 a a + 1 a + 2 ② t ❏ t ❊② ❏t ②❊ t ❏ ② ❊ t ❏ "" yyt %% ||② a a + 1 a + 2 a a + 1 a + 2 MIII Mixed Reidemeister III move (MIII): V [n] V [n] S [n] = S [n] V [n] V [n]. (48) a (a+1) a (a+1) (a+1) a a + 1 a + 2 a a + 1 a + 2 ② ❏ t ❊② ②❊ t ❏ ② ❊ ❏ ② "" yyt %% ||② MIII a a + 1 a + 2 a a + 1 a + 2 Graphically: ❏ t ② ❊ . ❏ t ❏t ②❊ t ❏ ② ❊ t ❏ yyt %% ② "" ||② a a + 1 a + 2 a a + 1 a + 2 ❊ ❏ ❊ ❏ t ❏t ❊ t ② ❊ t ❏ ② "" yyt %% ||② a a + 1 a + 2 a a + 1 a + 2 21 WIII + + + + Welded Reidemeister III move (WIII): V [n] S [n] S [n] = S [n] S [n] V [n]. (49) a (a+1) a a (a+1) (a+1) a a + 1 a + 2 a a + 1 a + 2 ❊ ❏ ❊ ② ❏ ❊② ❊ ❏ ② ❊ t ❏ "" yyt %% ||② WIII a a + 1 a + 2 a a + 1 a + 2 ❏ ❊ Graphically: ❊ ❏ t ② . t ❏ ❊ t ❏ ② ❊ yyt %% "" ||② a a + 1 a + 2 a a + 1 a + 2 ❊ ❏ ❊ ❏ ② t ❏ t ❊ t ❏ ② ❊ ❏ "" yyt %% ||② a a + 1 a + 2 a a + 1 a + 2 [3.12] It is easy to see that WB is isomorphic to the group formally generated by the symbols S [n] and V [n], where a = 1, . . ., n − 1, with relations (44) to (49), desconsidering all relations involving S [n], a a a = 1, . . ., n − 1. This is the point of view taken in [2, 13, 14, 17]. We will use the two perspectives (presentation of WB as a group, versus presentation of WB as a monoid) in this paper. n n Deﬁnition 12 (Virtual braid group). The group with the same generators as WB , and the same relations, except for the welded Reidemeister III (WIII) move (49), is called the virtual braid group VB . Deﬁnition 13 (Braid group). The group with generators S [n], a = 1, . . ., n − 1, and all relations in WB not involving the V [a], a = 1, . . ., n − 1, is called the braid group B in n-strands. n n Clearly, inclusion of generators provides an epimorphism VB → WB . n n [3.13] Consider Σ in [3.4], with the usual presentation with generators V [n], where a = 1, . . ., n − 1, and n a relations: (i) V [n]V [n] V [n] = V [n]V [n] V [n]; (ii) V [n] V [n] = V [n] V [n] if |a − b| ≥ 2; and a (a+1) a (a+1) a (a+1) a b b a (iii) V [n] = id. And then, concretely, V (n) = t ∈ Σ , the transposition exchanging a and a + 1. a a n a,a+1 [3.14] We have epimorphisms U : WB , VB → Σ sending both S [n] and V [n] to V [n]. Given B in WB n n n a a n or VB , then U(B), denoted U , is called the underlying permutation of B. Looking at elements of WB n B n and VB as equivalence classes [Q] of virtual braid diagrams Q, it holds that U = U in [3.11]. n [Q] Q Remark 14 (Tournant Dangereux). The welded Reidemeister III relation (49) is not equivalent to: + + + + S [n] S [n] V [n] = V [n] S [n] S [n]. (50) a (a+1) a a (a+1) (a+1) (We have just reversed the order of the factors in (49).) The relation in (50) is equivalent to the “Forbidden move F in [19]”. The group obtained from WB by imposing (50) is called the “unrestricted virtual braid 2 n group” [19, 21]. We note that virtual knot theory in the presence of the welded Reidemeister III move and its reverse (50) is trivial; see e.g. [81, 82]; however non-trivial linking phenomena may still occur [83]. Deﬁnition 15 (The monoidal categories WB and VB). We have strict monoidal categories WB and VB, the welded braid category and the virtual braid category. Objects in WB and VB are given by non-negative ′ ′ integers. The sets of morphism m → m are non-empty if, and only if, m = m . Also put hom (m, m) = WB ′ ′ WB and hom (m, m) = VB . On objects, the tensor product is n ⊗ n = n + n . Given morphisms m VB m ′ ′ ′ ′ ′ ′ B : n → n and B : n → n , in WB or VB, their tensor product (B ⊗ B ): (n + n ) → (n + n ) is derived ′ ′ from the horizontal juxtaposition Q Q of virtual braid diagrams Q and Q ′, for B and for B , moving B B B crossings up and down, if necessary, in order that all crossings appear at diﬀerent heights. By (45), the tensor product of morphisms is well deﬁned and we have monoidal categories WB and VB. [3.15] The monoidal categories WB and VB can be presented by generators and relations, as in [24, §XII]. The generators are S [2] and V [2]. For VB the only relations are the ones in (44), for n = 2, and (46)–(48), + + + + for n = 3, where S [3] = 1 ⊗ S [2], S [3] = S [2] ⊗ 1 and so on. (We note that the locality relation (45) 1 1 2 1 1 1 is automatically satisﬁed in a monoidal category.) In order to present WB, we must also add relation (49). 22 3.4 The loop braid group: isomorphism with the welded braid group Papers addressing the loop braid group, or close relatives, include [13, 14, 15, 67]. We essentially follow [14]. 3 2 + In this subsection, our convention for the 3-disk is: D = {z ∈ R : ||z|| ≤ 2} × [−1, 1]. Let n ∈ Z . 3 3 2 Let C ⊂ D be a disjoint union of unlinked circles in D ∩ (R × {0}), oriented counterclockwise. For 1 2 1 deﬁniteness put S = ({z ∈ R : ||z|| = 1/(3n)} + j/n) × {0} and C = S , which is therefore oriented. j j j=1 3 3 3 [3.16] Let Homeo(D , C ) be the group of orientation preserving homeomorphisms D → D , which restrict to an orientation preserving homeomorphism C → C , and which are the identity over ∂D . The group n n 3 3 operation in Homeo(D , C ) is composition. Two homeomorphisms f, g : Homeo(D , C ) are said to be n n 3 3 3 3 pair-isotopic, if there exists a map H : D × [0, 1] → D such that (z, t) ∈ D 7→ H(z, t, s) ∈ D is in Homeo(D , C ), for each s ∈ [0, 1]. 3 3 Deﬁnition 16. Let MCG(D , C ) (the “mapping class group of (D , C )”) be the group of homeomor- n n 3 3 phisms f ∈ Homeo(D , C ), considered up to pair isotopy. The group law in MCG(D , C ) is induced n n by the composition in Homeo(D , C ), which descends to the quotient under pair isotopy. In this paper, MCG(D , C ) is also denoted LB and called the “loop braid group (in n circles)”. n n As we shall illustrate shortly, MCG(D , C ) can be thought of as a group of braidings of loop world- sheets in (3+1)-dimensions, generalising the ordinary braid group regarded as a group of braidings of point world-lines in (2+1)-dimensions; see [13, 14]. Hence the term ‘loop braid group’ and the notation LB . For some manipulations, and for example representation theoretically, the given realisation of LB is diﬃcult to work with. Next we prepare a useful presentation. Theorem 17 (Baez et al [13], Damiani [14]). There exists an isomorphism: T : B ∈ WB 7−→ T ∈ MCG(D , C ) = LB . n B n n This isomorphism sends a group generator [3.12] g ∈ WB of the form S [n] or V [n], to the pair-isotopy n a g 3 3 g class of the homeomorphism f = φ : (D , C ) → (D , C ) at the end of the isotopies Φ = t ∈ [0, 1] 7→ n n t=1 3 3 φ ∈ Homeo(D , ∅) , of D , relative to its boundary, indicated in the Fig. 5, below (only a few virtual braid strands and circles are displayed, but the general picture should be clear). g g g = S [n] g = V [n] Φ Φ a a g 3 3 Figure 5: A generator g ∈ WB gives rise to an isotopy Φ = t ∈ [0, 1] 7→ φ ∈ Homeo(D , ∅) of D . We note that the convention for loop braiding in Fig. 5 is opposite to that in Equations (34)–(35) in §2. This theorem was stated in [13] for smooth motion groups. The interpretation of smooth motion groups in terms of topological mapping class groups appears in [14]. In order to connect the two points of view, we can use results in [15], to pass from mapping class groups to motion groups, and [84], to go from the continuous setting to the smooth setting. In [67] it is proven that WB has another topological realisation as the fundamental group of the conﬁguration space of rings in D . Several other groups are isomorphic to WB , e.g. the group of conjugating automorphisms of a free group [85] – we will go back to this in §4.5.1. For further discussion see [14]. 23 4 Bikoids and welded bikoids (W-bikoids) ≀n n 4.1 The wreath product groupoid Γ = Γ ⋊ Σ of a groupoid Γ + n Let Γ = (Γ , Γ , σ, τ, ι, ⋆) be a groupoid. For n ∈ Z , we write (x , . . . , x ) = x ∈ Γ and (γ , . . . , γ ) = γ ∈ 1 0 1 n 1 n n n n n n n Γ . The product groupoid Γ is Γ = (Γ , Γ , σ, τ, ι, ⋆), with product composition. Morphisms in Γ can 1 1 0 be represented in a variety of ways, as indicated below: (γ1,...,γn) γ γ 1 n γ : x → y = x − → y = (x , . . ., x ) −−−−−−→ (y , . . ., y ) = (x −→ y )⊗. . . ⊗(x −→ y ) . 1 n 1 n 1 1 n n [4.1] Cf. [3.4] for our convention on the symmetric group Σ . We have a left-action of Σ on Γ by groupoid n n functors, obtained by permuting components. Namely if f ∈ Σ and (γ : x → z) ∈ Γ , we put: (γ ,γ ,...,γ ) f⊲(γ ,γ ,...,γ ) 1 2 n 1 2 n f⊲ (x , x , . . .x ) −−−−−−−−→ (z , z , . . .z ) = f⊲(x , x , . . .x ) −−−−−−−−−−→ f⊲(z , z , . . . z ) 1 2 n 1 2 n 1 2 n 1 2 n (γ ,γ ,...,γ ) . f(1) f(2) f(n) = (x , x , . . . x ) −−−−−−−−−−−−−→ (z , z , . . . z ) . f(1) f(2) f(n) f(1) f(2) f(n) ≀n n Deﬁnition 18. The ‘wreath product groupoid’ Γ = Γ ⋊Σ , with respect to the action in [4.1], is deﬁned n n as follows. The set of objects is Γ and the set of morphisms is Γ × Σ . Arrows have the form: 0 1 (γ ,...,γ ),f 1 n (γ,f) −1 σ(γ ), . . . , σ(γ ) −−−−−−−−−→ τ(γ −1 ), . . . , τ(γ −1 ) = σ(γ) −−−→ f ⊲ τ(γ) . 1 n f (1) f (n) (φ,g) ≀n −1 −1 And given another arrow in Γ , namely σ(φ) −−−→ g ⊲τ(φ) , with σ(φ) = f ⊲τ(γ), the composition is: (γ,f) (φ,g) (γ ⋆ (f⊲φ),f.g) −1 −1 −1 −1 σ(γ) −−−→ f ⊲τ(γ) ⋆ f ⊲τ(γ) −−−→ g ⊲τ(φ) = σ(γ) −−−−−−−−−→ g ⊲τ(φ) . (51) (These apparently awkward conventions are justiﬁed by the graphical calculus in §4.2.) n ≀n 4.2 Graphical calculus for Γ ⋊ Σ = Γ Recall [3.11] and [3.14]. Any welded (or virtual) braid [Q], and any virtual braid diagram Q, gives rise to a permutation U . Hence permutations can be represented by virtual braids diagrams. Thus we can use a graphical calculus to represent morphisms in Γ ⋊ Σ , cf. [86]. We explain the graphical calculus for n = 3 (the other cases extend in the obvious way). This provides visual help for some calculations in this paper. Firstly note that bijections f : {1, 2, 3} → {1, 2, 3} can be represented by virtual braid diagrams as below: 1 2 3 1 2 3 1 3 (52) = = f = f(3)=1 f(1)=2 f(2)=3 f(3)=1 f(1)=2 f(2)=3 f(3)=1 f(1)=2 f(2)=3 Here only initial and end-points of strands matter. In this diagrammatic presentation, the product f.g of two permutations is given by the vertical juxtaposition where f stays on top of g. (In order for this to work, we must use convention [3.4] for the symmetric group.) The morphisms of Γ ⋊ Σ can be represented by diagrams as in Fig. 6. Only initial and end-points of strands matter, encoding permutation components of morphisms in Γ ⋊ Σ . Hence, we can switch positive crossings with negative or virtual crossings without changing the morphism in Γ ⋊Σ that we are describing. 24 ′′ σ(γ ) σ(γ) σ(γ ) ′′ ′ ′′ (γ,γ ,γ ),f ′ ′′ ′′ ′ = σ(γ), σ(γ ), σ(γ ) −−−−−−−−−→ τ(γ ), τ(γ), τ(γ ) ′′ ′ τ(γ) τ(γ ) τ(γ ) Figure 6: A morphism in Γ ⋊ Σ . Here f ∈ Σ is such that f(1) = 2, f(2) = 3 and f(3) = 1. 3 3 For γ = id we may omit this and the blob “•” entirely. 3 ′′ Assume that two morphisms in Γ ⋊ Σ are composable. (In the case below this means σ(φ) = τ(γ ), ′ ′ ′′ σ(φ ) = τ(γ ), and σ(φ ) = τ(γ).) Graphically their composition is via vertical juxtaposition, as below: ′ ′′ σ(γ) σ(γ ) σ(γ ) ′′ ′ ′′ σ(γ) σ(γ ) ′ σ(γ ) σ(γ) σ(γ ) ′ ′′ σ(γ ) γ γ γ ′′ γ ⋆φ ′′ ′′ ′ ′ ′′ ′ ′ γ ⋆φ γ⋆φ γ ⋆φ γ⋆φ γ ⋆φ ′ ′′ σ(γ) σ(γ ) σ(γ ) ′ ′′ σ(φ) σ(φ ) σ(φ ) ′ ′′ γ γ γ ′ ′′ φ φ ⋆ = = ′ ′′ φ φ ′′ ′ τ(γ ) τ(γ ) τ(γ) ′′ τ(φ ) τ(φ ) τ(φ) ′′ τ(φ ) τ(φ) τ(φ ) ′′ ′ ′′ ′ τ(φ ) τ(φ) τ(φ ) τ(φ ) τ(φ) τ(φ ) Figure 7: Graphical notation for composing morphisms in Γ ⋊ Σ . Hence, blobs in a diagram can be moved freely along a strand, including pass a crossing, as long as no other blob gets in the way. We can compose the arrows colouring any two contiguous blobs in the same strand. 4.3 Conventions and notation for biracks and welded biracks (W-biracks) References on quandles, biquandles and biracks include: [22, 26, 27, 29, 35, 36, 37, 87, 88]. Deﬁnition 19 (Birack, W-birack). A birack (X, /, \) is a set X with two maps X × X → X, denoted (x, y) 7→ x\y, called “x under y”, and (x, y) 7→ y/x called “y over x”. The conditions to be satisﬁed are: a a 1. Fixing a ∈ X, the maps f , f : X → X given by f : x 7→ x/a and f : x 7→ x\a each are invertible. a a 2. The map S : X × X → X × X given by (x, y) 7→ (y/x, x\y) (called [26] a “switch”) is invertible. 3. Putting S = S × id : X × X × X → X × X × X and S = id × S then S ◦ S ◦ S = S ◦ S ◦ S . 1 X 2 X 1 2 1 2 1 2 A birack is “welded”, or a W-birack, if for each x, y, z the following hold: (z/x)/y = (z/y)/x, y\z = y\(z/x)), x\z = x\(z/y). (53) The last equation is of course redundant. It is left since it facilitates some of the diagrammatic proofs later. −1 [4.2] Let G be a group. The operations h/g = h and g\h = h gh make G a W-birack (also a quandle [26]). 2 2 [4.3] For any birack X, we may visualize the maps S and t : X → X given by t : (x, y) 7→ (y, x) as 1,2 1,2 sending (x, y) ∈ X × X to the pairs appearing at the bottom of the diagrams: x y x y ❏ ❃ ❏ t t ❃ t ❃ t ❏❏ yyt %% . and y/x x\y y x 25 In particular S ◦ S ◦ S = S ◦ S ◦ S becomes identiﬁcation of the bottom rows here, for each x, y, z ∈ X: 1 2 1 2 1 2 ❚ ❚ x ❚ y z x y ❚ z (54) ❥ ❥ ❚ ❥ ❚ ❥ ❚ ❚ ❚ ❥ ❚ ❥ ❥ ❥ ❚ ❚ ❚ ❥ ❚ ❥ ❥ ❥ ❚ ❚ ❥ ❥ ❥ ❥ ❚ ❚ ❥ ❥ ❥ ❚ ❥ ❚ ❚ ❚ ❥ ❥ ❥ ❚ ❥ ❚ ❚ ❚ ❥ ❥ ❥ ❚ ❥ ❚ tt ** ❥ tt❥ ** y/x x\y z x P z/y y\z P ♥ P P ♥ ♥ P P ♥ ♥ P P . ♥ = ♥ P ♥ P ♥P ♥P ♥ P ♥ P ♥ P ♥ P vv♥ (( vv♥ (( y/x z/(x\y) (x\y)\z (z/y)/x x\(z/y) y\z ❚ ❚ ❥ ❚ ❥ ❥ ❥ ❚ ❥ ❚ ❚ ❚ ❥ ❚ ❥ ❥ ❥ ❥ ❥ ❚ ❚ ❥ ❚ ❥ ❚ ❥ ❚ ❥ ❚ ❥ ❚ ❥ ❚ uu❥ )) uu❥ )) (z/(x\y))/(y/x) (y/x)\(z/(x\y)) (x\y)\z (z/y)/x (y\z)/(x\(z/y)) (x\(z/y))\(y\z) The welded birack axiom (53) says that the bottom colours of the diagrams below coincide, if x, y, z ∈ X: x ◆ y z x y ◆ z (55) ◆ ♣ ◆ ♣ ◆ ♣ ◆ ♣ ◆ ♣ ♣ ◆♣ ♣ ♣◆ ♣ ◆ ♣ ◆ ♣ ◆ ♣ ◆ ♣ ◆ ww♣ '' ww♣ '' y x z x ▼ z/y y\z = ▼ ■ ✉ ■ q ✉ ▼ ✉ . ✉ q ■ ▼ ✉ ■ q ▼ xxq && zz✉ $$ y z/x x\z (z/y)/x x\(z/y) y\z ▲ ▼ q ▲ q ▼q q▼ r▲ q ▲ ▼ r ▲ q && yyr %% xxq (z/y)/x y\z x\(z/y) (z/x)/y y\(z/x) x\z Note that the bottom colours in (56) coincide identically, given any triple (x, y, z) ∈ X : x y z x y z (56) ❑ ❑ ❑ s ❑ s ❑ ❑ s ❑s s ❑ s s ❑ s ❑ s ❑ s ❑ yys %% yys %% y x z x z/y y\z ■ ❏ ■ ✉ ❏ ■ ✉ t ■✉ ❏t t❏ . ✉ ■ ■ t ❏ zzt ❏ zz✉ $$ $$ y z x ❏ z/y x y\z ❏ ❏ ❏ t t t t ❏t t❏ t ❏ zzt $$ t ❏ zzt ❏ $$ z/y y\z x z/y y\z x (See §3.3.) The following is standard [26, 27, 29, 22]. In this paper we will extend this to bikoids. Lemma 20. If (X, /, \) is a birack, then X = X × · · · × X has a right-action “⊳” of VB given by: (x , . . . , x , x , x , x , . . ., x ) ⊳ S [n] = (x , . . . , x , x /x , x \x , x , . . . x ), 1 a−1 a a+1 a+2 n 1 a−1 a+1 a a a+1 a+2 n (x , . . . , x , x , x , x , . . ., x ) ⊳ V [n] = (x , . . . , x , x , x , x , . . . x ). 1 a−1 a a+1 a+2 n a 1 a−1 a+1 a a+2 n This action descends to an action of the welded braid group WB if, and only if, (X, /, \) is welded. Proof. We follow the formulation in [3.12] for VB . Firstly (−)⊳S [n] is invertible by item 2 of Def. 19. Then note that x⊳S [n] and x⊳V [n], where x = (x , . . . , x , x , x , x , . . . , x ), are the bottom a 1 a−1 a a+1 a+2 n colours of the following diagrams: x . . . x x x x . . . x x . . . x x x x . . . x 1 a−1 a ◆ a+1 a+2 n 1 a−1 a a+1 a+2 n ◆ ❍ ◆ ❍ ❍ ✈ ♣ ❍ ♣ ◆ ◆ ❍ . ♣ ◆ and ✈ ❍ xx♣ && zz✈ $$ x . . . x x x x . . . x x . . . x x /x x \x x . . . x 1 a−1 a+1 a a+2 n 1 a−1 a+1 a a a+1 a+2 n The check of RIII (46) from Def. 11 boils down to (54); VRIII (48) boils down to (56). Equations (44), (45) and (47) are trivial. Equation (49) follows from (55), which happens if, and only if, (X, /, \) is welded. [4.4] By extending linearly, given a birack, we hence have a right representation ⊳ of VB on the vector n n⊗ space κ(X ) κ(X) . Here κ is a ﬁeld. This descends to a representation of WB if (X, /, \) is welded. We will be particularly interested in biracks for which the reverse form of the welded Reidemeister III move in (50) does not hold for the action ⊳ (Lem. 20) of WB on X . These are called essential biracks. 26 Deﬁnition 21. (We follow [22].) A W-birack (X, /, \) is called essential if it does not hold that: ∀x, y, z ∈ X : (x\y)\z = (x\z)\y, and y/x = y/(x\z), and z/(x\y) = z/x. [4.5] Essential W-biracks are the most interesting when it comes to applications to WB . This is because otherwise ⊳ in Lem. 20 will descend to a representation of the unrestricted virtual braid group; see Rem. 14. 4.4 Bikoids: deﬁnition Deﬁnition 22 (Bikoid). A bikoid (Γ, X ) is a groupoid Γ = (Γ , Γ , σ, τ, ι, ⋆), together with set maps 1 0 L, R: Γ × Γ → Γ , such that the following hold. Firstly, σ(L(x, y)) = x, σ(R(x, y)) = y. Secondly, L and 0 0 1 R deﬁne a birack (Γ , /, \), called the underlying birack of (Γ, X ), by x\y = τ(L(x, y)) and y/x = τ(R(x, y)). That is, the source and target of L(x, y) and R(x, y) are as indicated below: L(x,y) R(x,y) (x −−−−→ x\y) and (y −−−−→ y/x). 2 ≀2 Next deﬁne the following morphisms of the wreath product Γ ⋊ Σ = Γ (recall [3.13], §4.1 and §4.2): (L(x,y),R(x,y)),1 Y (x, y) = x⊗y −−−−−−−−−−−−−−→ x\y⊗y/x , (57) (id ,id ),t x\y y/x 1,2 + + X (x, y) = Y (x, y) ⋆ x\y⊗y/x −−−−−−−−−−−−→ y/x⊗x\y) (58) (L(x,y),R(x,y)),t 1,2 = x⊗y −−−−−−−−−−−−−−→ y/x⊗x\y . (59) + ≀2 Note σ(X (x, y)) = (x, y) = x⊗y. We use the notations (recall the diagrammatic calculus for Γ in §4.2): x y x y (60) ❉ ❉ ❉ ❉ ❉ ❉ ❉ ③ ③ ❉ ③ ③ ③ ③ ③ ❉ ③ ❉ ③ ③ L(x,y)• •R(x,y) L(x,y)•❉ •R(x,y) ③ ③ ❉ . ③③ ③ ③ ❉ ❉ ❉❉ X (x, y) = ③③ ③③ ❉ ❉ ❉❉ ③ ③ = ③③ ③ ③ ❉ ❉ ③ ③ ❉ ❉ ||③||③ """" ||③||③ """" y/x x\y y/x x\y 3 ≀3 We impose that for each x, y, z ∈ Γ the equation below holds in Γ ⋊ Σ = Γ : 0 3 x P P y z x y P P z (61) PP ♥ ♥ P ♥ ♥ P P P ♥♥ PP ♥♥ P ♥ ♥ P ♥ P ♥ P ♥ P ♥ P ♥ P ♥• R(y,z) P • R(x,y) P L(x,y) • ♥ L(y,z) • ♥ P P ♥♥ ♥♥ ♥ ♥♥ ♥P P ♥♥P P ♥ P P ♥♥ P P ♥ P P ♥♥ P P ♥ P P ♥♥ P P ♥ P P ♥ ♥♥ P P ♥♥ P P P P ♥♥ ♥♥ P P = ♥ P P vv♥vv♥ (((( vvvv (((( ♥ ♥ y/x x\y z x z/y y\z ▲ ▲ s s ▲ ❑ ❑ ▲ ❑❑ s ▲ r r s ▲ r ❑ rr ❑ s ▲ r • R(x\y,z) L(x,z/y) • ❑ s ▲ r L(x\y,z)• • R(x,z/y) ss r s r s ❑ ❑ ▲ ▲ s r ▲ ▲ ❑ ❑ r ss ❑ ❑ r ▲ ▲ s r s ❑ ❑ r ▲ ▲ ss ❑ ❑ rr ▲ ▲ yysyys %%%% yyryyr %%%% y/x z/(x\y) (x\y)\z (z/y)/x x\(z/y) y\z ❖ ❖ ❖❖ ♥ ♥ P P ❖❖ P ♥♥ ❖ ♦ ♦ P ❖ ♦ ♥ ♦ P ♥ ❖ ♦ P ♦ ♥ ❖ P L(x\(z/y),y\z) • ♥• R(x\(z/y),y\z) ❖ ♦ P L(y/x,z/(x\y)) • • R(y/x,z/(x\y)) ♥ ♥♥ ♦❖ ❖ ♥♥P P ♦ ❖ ❖ ♥♥ P P ♦ ♥ ♦ ❖ ❖ P P ♦♦ ❖ ❖ ♥♥ P P ♦♦ ❖ ❖ ♥♥ P P ♦♦ ❖ ❖ ♥♥ P P ww♦ww♦ '''' ww♥ww♥ '''' (z/(x\y))/(y/x) (y/x)\(z/(x\y)) (x\y)\z (z/y)/x (y\z)/(x\(z/y)) (x\(z/y))\(y\z) Recall that undecorated lines carry identities in Γ. Hence Equation (61) means that for each x, y, z ∈ Γ : L(x, y) ⋆ L(x\y, z) = L(x, z/y) ⋆ L(x\(z/y), y\z), R(x, y) ⋆ L(y/x, z/(x\y)) = L(y, z) ⋆ R(x\(z/y), y\z), (62) R(x\y, z) ⋆ R(y/x, z/(x\y)) = R(y, z) ⋆ R(x, z/y). Remark 23 (Holonomy arrows). The L(x, y) and R(x, y) arrows are called holonomy arrows. In the context of ﬁnite group and ﬁnite 2-group topological ﬁeld theory, they encode Aharonov-Bohm phases [3, 42, 43] arising from ﬂat connection holonomy and ﬂat 2-connection 2-dimensional holonomy obtained when point- particles move in 2-dimensional space and loop-particles move in 3-dimensional space – see §2.1 and §2.3. 27 + Remark 24. We can deﬁne a bikoid (Γ, X ) as being given by a birack structure on Γ , together with morphisms (L(x, y): x → x\y) and (R(x, y): y → y/x), in Γ, for each x, y ∈ Γ , satisfying Equation (62). The wreath groupoid approach chosen, and its graphical calculus, greatly facilitates the proofs to come. + + [4.6] Let (Γ, X ) be a bikoid. Consider the underlying birack (Γ , /, \) of (Γ, X ). In particular the map (x, y) ∈ Γ × Γ 7→ (y/x, x\y) ∈ Γ × Γ is bijective (Def. 19). We put (the inverse is taken in Γ ⋊ Σ ): 0 0 0 0 2 + − −1 X (x,y) X (y/x,x\y) − 2 X (y/x, x\y) = (x, y) −−−−−→ (y/x, x\y) = (y/x, x\y) −−−−−−−−→ (x, y) ∈ Mor(Γ ⋊ Σ ). We use the following diagrammatic notations for X (y/x, x\y): y/x x\y y/x x\y ❉ ❉ ❉ ③ ❉ ③ ❉ ③ ❉ ③ ❉ ❉ R(x,y) • ③•L(x,y) R(x,y) • •L(x,y) . − ❉ ③ ❉ ❉ ❉ ③③ X (y/x, x\y) = ❉ ❉❉ ❉ ③③ ③ ③ ❉ = ❉❉ ❉ ③③ ❉ ③ ③ ❉ ❉ ❉ ❉ ③③ ❉ ❉ ③ ③ ||③||③ """" ||③||③ """" x y x y [4.7] Thus L(x, y) ⋆ L(x, y) = id and L(x, y) ⋆ L(x, y) = id . And the same for R(x, y) and R(x, y). x\y x Deﬁnition 25 (Welded bikoid). (Recall Def. 19 and Equation (55).) A bikoid (Γ, X ) is called welded, or a W-bikoid, if (Γ , /, \) is a welded birack, and for each x, y, z ∈ Γ it holds that: 0 0 x y z x y z (63) ❏ ❏ ● ● ❏ ● ❏ t t ● ✇ ✇ ❏ t ● ✇ ❏ t ● •id ✇ id • ❏❏ L(y,z) •● ❏ t t ✇• R(y,z) ❏t t❏❏ ✇ t •id t ❏ •id ✇● ● t ❏ ✇ ✇ ● ● tt ❏❏ ✇ t ❏❏ ✇ ● ● t ✇ tt ❏ ❏ {{✇{{✇ #### yytyyt %%%% y x z x z/y y\z ❋ ❋ ❊ ❋ ②② ② ② ❋ L(x,z) • ❊ ① ① •②R(x,z) ❋ ① L(x,z/y) • ❋ ① ② . ② •①R(x,z/y) •id ② ❊ ❊ ① ② ❊ ❊ ② ① ❋ ❋ •id ②② ❊ ❊ ①① ❋ ❋ ||②||② """" ①① ❋ ❋ ||①||① """" y z/x x\z ❍ ❍ ❍ (z/y)/x x\(z/y) y\z ✈✈ ✈ ❍ ❋ L(y,z/x) •❍ ❋ ① ① ① •✈R(y,z/x) ✈ id •❋ ① ❋ ①• id ✈✈ ❋ ❍ ❍ •id ✈✈ ❋ ①❋① ❍ ❍ • id ✈✈ ❍ ❍ ①① ❋❋ ✈ ✈ ❍ ❍ ①① ❋❋ zz✈zz✈ $$$$ ❋ ❋ ①① ||①||① """" (z/x)/y y\(z/x) x\z (z/y)/x y\z x\(z/y) Since (Γ , /, \) is a W-birack, the equation above means that for each x, y, z ∈ Γ we have that: 0 0 L(x, z) = L(x, z/y), L(y, z) = L(y, z/x), R(x, z) ⋆ R(y, z/x) = R(y, z) ⋆ R(x, z/y). (64) Proposition 26 (Finite group W-bikoid). Let G be a group. We have a W-bikoid structure X in the groupoid AUT(G) of Example 3. The underlying birack (Γ , /, \) = (G, /, \) is given by y/x = y and −1 −1 x\y = y xy, cf. [4.2]. The holonomy morphisms are as follows (below we put y = y , where y ∈ G): x y (65) ❊ ② ❊ ② ❊ ② X (x, y) = y • • 1G ② . ② ❊ "" ||② −1 y y xy Proof. Recalling [4.2], (G, /, \) is a W-birack. Equation (61) – equivalently (62) – is true since: x y z x ❖ ❖ y z (66) ● ● ❖ ♦ ♦ ● ❖ ● ✇ ✇ ❖ ♦ ❖ ♦ ✇ ♦ ● ✇ ❖ ♦ ● ❖ ♦ y • ✇• 1 G z y • ♦• z ✇ ♦ ♦ ✇ ❖ ♦ ♦ ✇ •1 ❖❖ •1 ✇ ● ● G ♦ ♦ ❖ G ● ● ❖ ✇ ♦ ♦ ❖ ✇ ● ● ❖ ♦ ♦ ❖ ✇✇ #### ww♦ww♦ '''' {{✇{{✇ −1 −1 −1 −1 y y xy z z yz z y xyz z ♣♣ ♣ ◆ ♣ P ◆ ♣ P • 1 ♥ . ◆ G P ♣ ♥ z •◆◆ ◆ ♣ P ♣ ♥ ♣ P ♣ ♥ ♣ P •1 ♣♣◆ ◆ P G ♥ ♣ ◆ ◆ P ♣ ♥ ♣ ◆ ◆ P ♣ ◆ ◆ ♣ ♥ P &&&& ♥ (( ♣♣ ♣♣ xx♣xx♣ vv♥ −1 −1 −1 −1 −1 y z z y xyz z yz z z y xyz ❋ ❋ ❋❋ ① ① ◆ ♣ ❋ ◆ ♣ ❋ ♣ z • ①• 1 ◆ G ♣ ① ◆♣ ① •1 ♣ ①❋ ❋ G ◆ ①① ❋ ❋ ◆ ❋ ❋ ◆ ①① ♣ #### && ①① ♣ {{①{{① xx♣ −1 −1 −1 −1 −1 −1 z z yz z y xyz z z yz z y xyz 28 (Recall our convention for composition in AUT(G); see Example 3.) Whereas: x y z x y z (67) ◆ ◆ ▲ ▲ ◆ ▲ ◆ ♣ ♣ ♣ ▲ rr r ♣ ▲ r •♣ 1 r z • ◆◆ G ▲ • 1 ♣ z • ▲ r G ◆ ◆ ▲▲ ♣ −1 rr ♣ ▲ ♣ z yz z • rr . ♣ ▲ •1 ♣ ◆ ◆ rr ▲ G ♣ ▲ ◆ ◆ r ▲ ♣♣ r ◆ ◆ ▲ ▲ ♣♣ rr &&&& &&&& ♣ rr r r ♣♣ xx♣xx♣ xxrxxr −1 −1 −1 −1 x z z yz z y xyz z z yz ❉ ❉❉ = ❉ ❑ ③ ③ s ❉ ③ ❑ ③ s ❉ ❑ z • s •③1 G ❑ ③ ❑ ③ s ③❉ ❉ •1 s ❑ ③ G ③ ❉ ❉ ❑ ❉ ❉ ③③ s ❑ !!!! %% ③③ s }}③}}③ yys −1 −1 −1 −1 −1 z z xz z yz z z y xyz z yz ▼ ❑ ▼ q ❑ s −1 ▼ q ❑ s • 1 z yz •▼ q G ❑ s q ❑s •1 ▼ ▼ s❑ G qq ▼ ▼ s ❑ qq ▼ ▼ qq ▼ ▼ s ❑ xxqxxq &&&& yys %% −1 −1 −1 −1 −1 −1 z z yz z y xyz z z yz z y xyz −1 −1 −1 ≀3 −1 Since z yz z = z y zz = z y, the morphisms in Γ in the right-hand-sides of (66) and (67) coincide. That the bikoid X is welded is proved similarly; we will prove this in a more general context in §6.2.3. The W-bikoid (AUT(G), X ) is closely related to topological gauge theory in D ; see §2.1. The proof of the following result is an easy exercise: Proposition 27. Let (Γ, X ) be a bikoid. Then Γ , the set of morphisms of Γ, is a birack with: γ φ γ L(x,y) γ⋆L(x,y) ′ ′ ′ ′ x − → x)\(y − → y) = (x − → x) ⋆ (x −−−−→ x\y) = (x −−−−−−→ x\y), R(x,y) φ⋆R(x,y) φ γ φ ′ ′ ′ ′ y − → y)/(x − → x) = (y − → y) ⋆ (y −−−−→ y/x) = (y −−−−−−→ y/x). Furthermore (Γ, X ) is a welded bikoid if, and only if, (Γ , /, \) is a welded birack. [4.8] To (Γ , /, \) we call the upper birack of (Γ, X ). ∗ n n⊗ [4.9] By combining Prop. 27 with Lem. 20, we hence have a representation ⊳ of VB on CΓ = (CΓ ) , n 1 + ∗ derived from the upper birack of a bikoid (Γ, X ). Explicit formulae are in [1.8]. The representation ⊳ of + ∗ VB descends to a representation of WB when (Γ, X ) is welded. This ⊳ will be generalised in §5. n n (Recall [4.5]). We will be particularly interested in essential W-bikoids. These are the W-bikoids for which the representation ⊳ does not descend from WB to the unrestricted virtual braid group in Rem. 14. Deﬁnition 28. A W-bikoid is called essential if its upper birack is essential (as in Def. 21). Example 29. A quick calculation shows that if G is non-abelian then the W-bikoid X in Prop. 26 is an essential W-bikoid. The lower birack of X , displayed in [4.2], may be non-essential when G is non-abelian, −1 −1 if it happens that for all x, y, z ∈ G, it holds that (xy)z(xy) = (yx)z(yx) . 4.5 Bikoids from abelian gr-groups There will be heavy use of semidirect products in this document. Here are our conventions. [4.10] Let the group G left-act by automorphisms on the group E. Such action is denoted by: (g, e) ∈ G × E 7→ g⊲e ∈ E. Our convention for the semidirect product G ⋉ E = G ⋉ E is: (g, a)(h, b) = (gh, a g⊲b), for each g, h ∈ G and a, b ∈ E. −1 −1 −1 −1 Hence inverses in G ⋉ E are: (g, e) = (g , g ⊲e ). [4.11] Let g ∈ G and e ∈ E. We will frequently put g = (g, 1 ), where 1 is the identity of E, and E E −1 e = (1 , e). Hence (g, e) = e g = g (g ⊲e). Also recall that given left-actions ⋗ of G and of E on a set X, then (g, e) ⋗ x = e ⋗ (g ⋗ x) is an action of G ⋉ E on X if, and only if, for each g ∈ G, e ∈ E and x ∈ X: −1 e ⋗ (g ⋗ x) = g ⋗ (g ⊲e) ⋗ x . (68) 29 Deﬁnition 30 (Abelian gr-group). An abelian gr-group is given by pair (G, A), or more correctly a triple (G, A, ⊲), where G and A are groups, with A abelian, and ⊲ is a left-action of G on A by automorphisms. Morphisms φ: (G, A) → (H, B) of abelian gr-groups are deﬁned as pairs of group maps φ : G → H and φ : A → B preserving group actions, namely φ (g⊲a) = φ (g)⊲φ (a), for each g ∈ G and a ∈ A. The set of 2 2 1 2 morphisms of abelian gr-groups between (G, A) and (H, B) is denoted hom (G, A), (H, B) . gr Example 31. E.g., for p a prime and m ∈ Z , put G = GL(m,Z ), the group of invertible m × m matrices in the ﬁeld (Z , +, ×), and A = (Z , +). The action is by matrix multiplication. Let (G, A) be an abelian gr-group, and G ⋉ A = G ⋉ A. Cf. Def. 3, let TRANS(G, A) = AUT(G ⋉ A), the action groupoid (Def. 2) of the conjugation action of G⋉A on itself. Thus arrows of TRANS(G, A) are: (w,k) −1 −1 −1 (g, a) −−−→ (w, k)(g, a)(w, k) = wgw , k + w⊲a − (wgw )⊲a) , where g, w ∈ G and a, k ∈ A. Theorem 32 (Abelian gr-group bikoids). We have a W-bikoid (TRANS(G, A), X ), given by: gr (z, a) (w, b) ❙ ❙ ❙❙ ❦ ❦ ❙ ❦❦ ❙ ❦ −1 ❦ −1 ❙ ❦ (w ,0 ) • ❙ ❦• (1 ,−w ⊲a) A ❙ G ❦❦ ❙ ❙ + ❦❦ ❦❦ ❙ ❙ (69) X (z, a), (w, b) = ❦❦ ❙ ❙ ❦ ❦ ❙ ❙ gr ❙ ❙ ❦❦ ❦ ❦ ❙ ❙ uu❦uu❦ )))) −1 −1 −1 (w, a + b − w ⊲a) w zw, w ⊲a Hence the underlying birack of X is such that: gr −1 −1 −1 (z, a)\(w, b) = (w zw, w ⊲a) and (w, b)/(z, a) = (w, a + b − w ⊲a). (70) We omit the proof, as we will treat a more general case (bikoids derived from crossed modules) in Thm. 57. Proposition 33. (Cf. Def. 28.) The W-bikoid X in (69) is essential if, and only if, it does not hold that: gr −1 −1 −1 −1 −1 −1 ∀y, z ∈ G, ∀a ∈ A : yz = zy, y ⊲a = (y z )⊲a, and z ⊲a = (z y )⊲a. Hence if G is non-abelian, or if the action of G on A is non-trivial, then the W-bikoid X in (69) is essential. gr Proof. This follows by easy calculations. Example 34. It is possible that X in (69) is essential when G is abelian. E.g. take G = Z = ({1, −1}, ×) gr and A = Z = ({0, 1, −1}, +). Hence Z acts on Z as x⊲a = xa. The associated W-bikoid is essential. 3 2 3 4.5.1 Algebraic topological interpretation of abelian gr-group W-bikoids: ‘balloons and hoops’ We freely use §3.4 and Thm. 17. We use the same notation for B ∈ WB and its image T ∈ LB . n B n Recall [32, 89] that the underlying birack [4.2] of the ﬁnite group bikoid (AUT(G), X ) of Prop. 26 essentially computes the cardinality of the set of group maps from the knot group of a welded knot into G. + + + Let n ∈ Z . The underlying birack (70) of the abelian gr-group bikoid X = (TRANS(G, A), X ) of gr gr 3 3 Thm. 32 is strongly related to the action of π (D \ C , ∗) on π (D \ C , ∗). We now explain this. 1 n 2 n 3 3 3 3 Consider the base point ∗ = (0, 0, 1) ∈ ∂(D ) for D . Hence any homeomorphism f : (D , C ) → (D , C ) n n ﬁxes ∗. So do the isotopies we consider. Homotopically, (D \ C , ∗) is a wedge product of n circles and n 3 n k 2-spheres. The fundamental group π (D \ C , ∗) is the free product ∨ Z , where Z = {m } = (Z, +). 1 n i i k∈Z i=1 i 3 1 Here m ∈ π (D \ C , ∗) is associated with the oriented unknotted circle S , in the usual way; see Fig. 8. i 1 n 30 ∗ 1 1 S S i j S 3 3 1 1 1 Figure 8: Elements m , m ∈ π (D \ C , ∗), v ∈ π (D \ C , ∗) given by the unknotted circles S , S ,S . i j 1 n k 2 n i j k (This is the usual Wirtinger presentation of the fundamental group of a knot complement, see e.g. [90].) The group-algebra of π (D \ C , ∗), with coeﬃcients in Z, is thus isomorphic to the algebra of Laurent 1 n −1 −1 polynomials Z{m , m , . . ., m , m }, in the non-commuting variables m , . . . , m . 1 n 1 n 1 n The second homotopy group π (D \ C , ∗) is isomorphic to the second homology group of the univer- 2 n 3 1 sal cover of D \ C , which recall is homotopic to the wedge product of n 1-spheres S and n 2-spheres −1 2 3 −1 S . Therefore π (D \ C , ∗) is isomorphic to the free Z{m , m , . . . , m , m }–module on the variables 2 n 1 n 1 n v , . . . , v ; [91, Example 4.27] treats a particular case of this. Geometrically, each v ∈ π (D \ C , ∗) traces 1 n k 2 n a ‘balloon’ encircling the circle S ; see Fig. 8. (A similar ‘balloons and hoops’ picture appears in [92].) Given a path-connected pointed space (X, ∗), the abelian gr-group made out of π (X, ∗) acting on π (X, ∗), in the usual way, is denoted by π (X, ∗). The previous two paragraphs imply (given the freeness 2 1,2 3 3 3 of π (D \ C , ∗) and the freeness of π (D \ C , ∗) as a Z(π (D \ C , ∗))-module) the following: 1 n 2 n 1 n Lemma 35. Let (G, A) be an abelian gr-group. Abelian gr-group maps φ = (φ , φ ): π (D \ C , ∗) → 1 2 1,2 n (G, A) are in bijective correspondence with sequences of the form: (g , a ), . . . , (g , a ) , where g ∈ G and 1 1 n n i a ∈ A, for each i = 1, . . ., n. The bijection is deﬁned by g = φ (m ) and a = φ (v ), for i = 1, . . ., n. i i 1 i i 2 i The loop braid group LB in §3.4 has a natural left-action ⋗ in π (D \ C , ∗) by abelian gr-group n 1,2 n maps. In another language, we have a group map from LB to the automorphism group of the abelian gr-group π (D \C , ∗). This extends the embedding of the loop braid group into the automorphism group 1,2 n of a free group – the bit consisting of basis conjugating automorphisms – as explained in [14, §4] and [85]. 3 3 Let us give details. A homeomorphism f : (D , C ) → (D , C ), considered up to pair-isotopy, functori- n n 3 3 3 ally gives an isomorphism f : π (D \ C , ∗) → π (D \ C , ∗). And then given m ∈ π (D \ C , ∗) and ∗ 1,2 n 1,2 n 1 n 3 3 v ∈ π (D \ C , ∗), we put f ⋗ m = f (m) and f ⋗ v = f (v). Hence LB right-acts in hom π (D \ 2 n ∗ ∗ n gr 1,2 C , ∗), (G, A) , namely given f ∈ LB , we send φ ∈ hom π (D \ C , ∗), (G, A) to φ ◦ f = φ ⋖ f. n n gr 1,2 n ∗ Looking at Fig. 5 in Thm. 17, we can see that S [n], V [n] ∈ LB act in π (D \ C , ∗) as: i n 1,2 n V [n] ⋗ m = m , if j ∈/ i, i + 1, V [n] ⋗ m = m , V [n] ⋗ m = m , i j j i (i+1) i i i (i+1) V [n] ⋗ v = v , if j ∈/ i, i + 1, V [n] ⋗ v = v , V [n] ⋗ v = v , i j j i (i+1) i i i (i+1) + + + −1 S [n] ⋗ m = m , if j ∈/ i, i + 1, S [n] ⋗ m = m , S [n] ⋗ m = m m m , j j (i+1) i i i+1 i i i i i + + −1 S [n] ⋗ v = v , if j ∈/ i, i + 1, S [n] ⋗ v = m ⊲v . j j i (i+1) i i i The hardest action to address is S [n] ⋗ v . Cf. the left bit of Fig. 5, when the circle S goes inside (i+1) i i the circle S , it ‘drags’ the balloon v with it. Since the isotopy connecting the top and bottom of the (i+1) i+1 left part of Fig 5 can be made local, the sum v + v in π (D \ C , ∗), which can be visualised as a large i i+1 2 n 1 1 balloon encircling the circles S and S , remains stable during the isotopy, since the isotopy can be made i i+1 local enough so that it happens well inside the balloon v + v . In a more precise language, this means: i i+1 S [n] ⋗ (v + v ) = v + v . i i (i+1) (i+1) + + + + −1 Since S [n] ⋗ (v + v ) = S [n] ⋗ v + S [n] ⋗ v and S [n] ⋗ v = m ⊲v , it follows that: i (i+1) i (i+1) i (i+1) i i i i i + −1 S [n] ⋗ v = v + v − m ⊲v . (i+1) i (i+1) (i+1) i i Comparing with Equation (69), this implies, by noting that the V [n] and the S [n] generate LB , that: a n 31 Theorem 36 (Topological interpretation of abelian gr-group W-bikoids). Let (G, A) be an abelian gr-group. Consider the right-action ⊳ of the loop braid group LB WB on (G × A) derived (Lem. 20) from the n n + n underlying birack (70) of the welded bikoid X of (69). Looking at the elements in (G×A) as being abelian gr gr-group maps φ: π (D \C , ∗) → (G, A) – by Lem. 35 – then given a B ∈ LB it holds that φ⊳B = φ◦B , 1,2 n n ∗ 3 3 where B : π (D \ C , ∗) → π (D \ C , ∗) is the induced map on homotopy groups. ∗ 1,2 n 1,2 n 5 Virtual and welded braid group representations from bikoids Throughout this section we will ﬁx a groupoid Γ and a bikoid (Γ, X ); see Def. 22. 5.1 Representations of WB derived from bikoids Recall the groupoid algebra C(Γ) in Def. 4. We deﬁne the following element R ∈ C(Γ)⊗C(Γ): L(x,y) R(x,y) R = (x −−−−→ x\y)⊗(y −−−−→ y/x). (71) x,y∈Γ Lemma 37. The element R is invertible and its inverse is (recall the notation introduced in [3.7]): L(a,b) R(a,b) −1 R = (a\b −−−−→ a)⊗(b/a −−−−→ b). (72) a,b∈Γ Moreover R satisﬁes the relation below: R R R = R R R , in C(Γ)⊗C(Γ)⊗C(Γ). (73) 12 13 23 23 13 12 L(x,y) R(x,y) Here R = R⊗id , R = id ⊗R and R = (x −−−−→ x\y)⊗id ⊗(y −−−−→ y/x). 12 C(Γ) 23 C(Γ) 13 C(Γ) x,y∈Γ Furthermore, if the bikoid (Γ, X ) is welded, then in C(Γ)⊗C(Γ)⊗C(Γ): R R = R R . (74) 13 23 23 13 Note that Equation (73) is satisﬁed by R-matrices in quasi-triangular bialgebras; see e.g. [24, Thm.VIII.2.4]. Proof. We have: L(x,y) R(x,y) L(a,b) R(a,b) −1 RR = (x −−−−→ x\y)⊗(y −−−−→ y/x) (a\b −−−−→ a)⊗(b/a −−−−→ b) x,y,a,b∈Γ L(x,y) L(a,b) R(x,y) R(a,b) = (x −−−−→ x\y)(a\b −−−−→ a) ⊗ (y −−−−→ y/x)(b/a −−−−→ b) x,y,a,b∈Γ (#1) L(x,y) L(a,b) R(x,y) R(a,b) = (x −−−−→ x\y)(a\b −−−−→ a) ⊗ (y −−−−→ y/x)(b/a −−−−→ b) x,y,a,b∈Γ x\y=a\b ∧ y/x=b/a (#2) L(x,y) L(a,b) R(x,y) R(a,b) = (x −−−−→ x\y)(a\b −−−−→ a) ⊗ (y −−−−→ y/x)(b/a −−−−→ b) x,y,a,b∈Γ x=a ∧ y=b id (#3) id y = x −−→ x ⊗ y −−→ y = 1 ⊗1 . C(Γ) C(Γ) x,yΓ Here (#1) follows from the deﬁnition of the product (42) in C(Γ), and (#2) from the fact that (x, y) 7→ (y/x, x\y) is a bijection, by deﬁnition of biracks. Step (#3) follows from [4.7]. −1 That RR = 1 ⊗1 is proven analogously. C(Γ) C(Γ) 32 Now note: L(x,y) R(x,y) R R R = (x −−−−→ x\y)⊗(y −−−−→ y/x)⊗1 12 13 23 C(Γ) x,y,a,z,u,v∈Γ L(a,z) R(a,z) (a −−−−→ a\z)⊗1 ⊗(z −−−−→ z/a) C(Γ) L(u,v) R(u,v) 1 ⊗(u −−−−→ u\v)⊗(v −−−−→ v/u) C(Γ) L(x,y) L(a,z) R(x,y) L(u,v) = (x −−−−→ x\y)(a −−−−→ a\z) ⊗ (y −−−−→ y/x)(u −−−−→ u\v) x,y,a,z,u,v∈Γ R(a,z) R(u,v) ⊗ (z −−−−→ z/a)(v −−−−→ v/u) (#1) L(x,y) L(a,z) R(x,y) L(u,v) = (x −−−−→ x\y)(a −−−−→ a\z) ⊗ (y −−−−→ y/x)(u −−−−→ u\v) x,y,a,z,u,v∈Γ R(a,z) R(u,v) a=x\y ∧ u=y/x ∧ v=z/a ⊗ (z −−−−→ z/a)(v −−−−→ v/u) (#2) L(x,y)⋆L(x\y,z) R(x,y)⋆L(y/x,z/(x\y)) = x −−−−−−−−−−→ (x\y)\z ⊗ y −−−−−−−−−−−−−−−→ (y/x)\(z/(x\y)) x,y,z∈Γ R(x\y,z)⋆R(y/x,z/(x\y)) ⊗ z −−−−−−−−−−−−−−−−→ (z/(x\y))/(y/x) (#3) L(x,z/y)⋆L(x\(z/y),y\z) L(y,z)⋆R(x\(z/y),y\z) = x −−−−−−−−−−−−−−−−→ (x\(z/y))\(y\z) ⊗ y −−−−−−−−−−−−−−→ (y\z)/(x\(z/y)) x,y,z∈Γ R(y,z)⋆R(x,z/y) ⊗ z −−−−−−−−−−→ (z/y)/x =R R R . 23 13 12 Here (#1) and (#2) follow from (42). On the other hand (#3) follows from (54), (61) and (62). That R R = R R if the bikoid is welded follows analogously, by using (53), (55), (63) and (64). 13 23 23 13 We can hence can deﬁne representations of the virtual braid group VB derived from a bikoid (Γ, X ). The following is one of our main results. Theorem 38. Let (Γ, X ) be a bikoid. Let V be a right-representation of the groupoid algebra C(Γ); §3.2. + ∗ n⊗ Let n ∈ Z . We have a representation ⊳ of VB on V , which on the generators of VB has the form: n n (v ⊗. . . ⊗v ⊗v ⊗v ⊗v ⊗ . . .⊗v )⊳ V [n] = v ⊗. . . ⊗v ⊗v ⊗v ⊗v ⊗. . . ⊗v , (75) 1 a−1 a a+1 a+2 n a 1 a−1 a+1 a a+2 n ∗ + (v ⊗. . . ⊗v ⊗v ⊗v ⊗v ⊗. . . ⊗v )⊳ S [n] 1 a−1 a a+1 a+2 n R(x,y) L(x,y) = v ⊗ . . .⊗v ⊗v . y −−−−→ y/x ⊗v . x −−−−→ x\y ⊗v ⊗ . . .⊗v . (76) 1 a−1 a+1 a a+2 n x,y∈Γ ∗ n⊗ + Moreover, ⊳ descends to a representation of WB on V if (Γ, X ) is welded. These are unitary representations if V is a unitary representation of the groupoid algebra; see Def. 6. [5.1] If V is the object-regular representation (see Example 8) of C(Γ), then ⊳ coincides with ⊳ in [4.4]. ∗ ∗ [5.2] If V is the right-regular representation (see Example 7) of C(Γ), then ⊳ coincides with ⊳ in [4.9]. ∗ + ∗ Proof. (We are using the deﬁnition in [3.12] for WB ). First of all note that (−)⊳ S [n] and (−)⊳ V [n] n a n⊗ n⊗ ∗ each are invertible maps V → V . In order to prove ⊳ is a representation, we must check that the relations in Def. 11 for the virtual braid group, not involving the S [n], hold. The Reidemeister III move follows from (73), whereas Virtual and Mixed Reidemeister III moves, as well as Locality, follow trivially. If (Γ, X ) is welded, then (74) holds, from which it follows the Welded Reidemeister III move. Let us now prove that the representation of VB is unitary if V is unitary; see Def. 6. It suﬃces proving unitarity for S [n]. This follows easily from the following calculation, which encodes unitarity for n = 2. If 33 ′ ′ u, v, u , v ∈ V , we have: * + X X R(x,y) L(x,y) R(z,w) L(z,w) ′ ′ u . y −−−−→ y/x ⊗u. x −−−−→ x\y , v . w −−−−→ w/z ⊗v. z −−−−→ z\w x,y∈Γ z,w∈Γ 0 0 X X (#1) R(z,w) R(x,y) L(z,w) L(x,y) ′ ′ = u ⊗u, v . w −−−−→ w/z ⋆ (y/x −−−−→ y)⊗v.(z −−−−→ z\w) ⋆ (x\y −−−−→ x z,w∈Γ x,y∈Γ 0 0 (#2) ′ ′ = hu ⊗u, v ⊗vi. In (#1) we have used Def. 6 and the notation of [4.6] and [4.7]. Step (#2) follows from (in C(Γ)⊗C(Γ)): X X R(z,w) R(x,y) L(z,w) L(x,y) w −−−−→ w/z ⋆ (y/x −−−−→ y)⊗(z −−−−→ z\w) ⋆ (x\y −−−−→ x z,w∈Γ x,y∈Γ 0 0 X X (#1) R(z,w) R(x,y) L(z,w) L(x,y) = w −−−−→ w/z ⋆ (y/x −−−−→ y)⊗(z −−−−→ z\w) ⋆ (x\y −−−−→ x z,w∈Γ x,y∈Γ 0 0 w/z=y/x z\w=x\y (#2) R(z,w) R(z,w) L(z,w) L(z,w) = w −−−−→ w/z ⋆ (w/z −−−−→ w)⊗(z −−−−→ z\w) ⋆ (z\w −−−−→ z z,w∈Γ (#3) id id w z = (w −−→ w)⊗(z −−→ z) = 1 ⊗1 . C(Γ) C(Γ) z,wΓ Note that step (#1) follows from (42). Step (#2) follows from the fact that the map (z, w) 7→ (w/z, z\w) is bijective, by Def. 19. Step (#3) follows from the description in [4.6] and [4.7]. This ﬁnishes the proof. The representation in Thm. 38 generalises. Pick diﬀerent representations V , . . . , V of C(Γ), and consider 1 n ∗ + ∗ (−)⊳ S [n] and (−)⊳ V [n] in (75) and (76) to act on v ⊗. . . ⊗v ∈ V ⊗. . . ⊗V . In general, this does not a a 1 n 1 n ∗ + ∗ deﬁne a representation of VB , since (−)⊳ S [n] and (−)⊳ V [n] each send V ⊗ . . .⊗V ⊗V ⊗. . . ⊗V to n a 1 a a+1 n V ⊗. . . ⊗V ⊗V ⊗ . . .⊗V , but it still satisﬁes the VB relations. We give details in the next subsection. 1 a+1 a n n 5.2 Representations of the categories Γ-WB and UΓ-WB from bikoids n n The results in this section are stated for W-bikoids and representations of WB ; see Def. 11 and Def. 25. All results apply, mutatis mutandis, to bikoids and the virtual braid group VB . We work over C. Throughout the subsection, we ﬁx n ∈ Z . Given a pair of vector spaces U and V , we put L(U, V ) to denote the vector space of linear maps U → V . Given vector spaces U , . . . , U , V , . . . , V , linear maps 1 n 1 n g : U → V , . . ., g : U → V , and f ∈ Σ , we put: 1 1 1 n n n n g ⊗...⊗g g1⊗...⊗gn f(1) f(n) f⊲ U ⊗. . . ⊗U −−−−−−→ V ⊗. . . ⊗V = U ⊗. . . ⊗U −−−−−−−−−−→ V ⊗. . . ⊗V . (77) 1 n 1 n f(1) f(n) f(1) f(n) n n n n This yields a linear map f⊲(−), from L(⊗ U , ⊗ V ) to L(⊗ U , ⊗ V ). i i f(i) f(i) i=1 i=1 i=1 i=1 n n Deﬁnition 39 (Categories V and UV ). We deﬁne the following category V . Objects are given by sequences U = (U , . . ., U ) of vector spaces. Given objects U and V = (V , . . ., V ), the morphisms U → V 1 n 1 n n n are given by linear maps F : ⊗ U → ⊗ V . Given objects U, V , W, as well as morphisms F : U → V i i i=1 i=1 and G: V → W, their composition in V is given by the following composition of linear maps (see [3.2]): F G G◦F U −→ V −→ W = U −−−→ W . n n The category UV is deﬁned analogously. Objects of UV are given by sequences U = (U , . . . , U ) of vector 1 n n n spaces, provided with inner products, and the linear maps F : ⊗ U → ⊗ V are required to be unitary. i i i=1 i=1 n n The symmetric group Σ left-acts in the categories V and UV by functors, by means of Equation (77). 34 Deﬁnition 40 (Categories Γ-WB and UΓ-WB ). Let Γ be a groupoid. We have categories Γ-WB and n n n UΓ-WB . Objects of Γ-WB are given by sequences R = (R , . . . , R ) of representations of C(Γ); cf. §3.2. n n 1 n −1 Given objects R and S, morphisms R −→ S are given by welded braids B ∈ WB such that U ⊲R = S, where U is the underlying permutation of B; see [3.14]. The composition in Γ-WB has the form below: B n ′ ′ ′ B B BB BB −1 −1 −1 −1 −1 −1 R −→ U ⊲R −→ U ⊲U ⊲R = R −−−→ U ⊲U ⊲R = R −−−→ U ⊲R . ′ ′ ′ B B B B B BB The category UΓ-WB is similarly deﬁned, the only diﬀerence being that the R , . . ., R are required to n 1 n be unitary representations of C(Γ). We can see morphisms of Γ-WB as welded braids, whose strands are coloured with representation of C(Γ). + n Theorem 41. Let (Γ, X ) be a W-bikoid. We have a functor F : Γ-WB → V . The functor F sends an n-tuple of representations R = (R , . . . , R ) of C(Γ) to U(R) = (U(R ), . . ., U(R )), where U(R ) is the 1 n 1 n i underlying vector space of R . On morphisms, F is uniquely speciﬁed by its value on the morphisms of the −1 form R −→ U ⊲R, where B is a generator of the monoid WB , as in Equation (43). In these particular cases, F has the form in shown in Equations (78), (79) and (80), below: S [n] F (U , . . . , U , U , . . . , U ) −−−−→ (U , . . ., U , U , . . ., U ) (v ⊗. . . ⊗v ⊗v ⊗ . . .⊗v ) 1 a a+1 n 1 a+1 a n 1 a a+1 n R(x,y) L(x,y) = v ⊗ . . .⊗v ⊗v . y −−−−→ y/x ⊗v . x −−−−→ x\y ⊗v ⊗ . . .⊗v , (78) 1 a−1 a+1 a a+2 n x,y∈Γ S [n] F (U , . . . , U , U , . . . , U ) −−−−→ (U , . . ., U , U , . . . , U ) (v ⊗ . . .⊗v ⊗v ⊗. . . ⊗v ) 1 a a+1 n 1 a+1 a n 1 a a+1 n L(x,y) R(x,y) = v ⊗ . . .⊗v ⊗v . x\y −−−−→ x ⊗v . y/x −−−−→ y ⊗v ⊗ . . .⊗v , (79) 1 a−1 a+1 a a+2 n x,y∈Γ V [n] F (U , . . . , U , U , . . . , U ) −−−→ (U , . . . , U , U , . . . , U ) (v ⊗. . . ⊗v ⊗v ⊗. . . ⊗v ) 1 a a+1 n 1 a+1 a n 1 a a+1 n = v ⊗. . . ⊗v ⊗v ⊗v ⊗v ⊗ . . .⊗v . (80) 1 a−1 a+1 a a+2 n Equations (78)–(80) also gives a functor UF : UΓ-WB → UV , sending R = (R , . . ., R ) to U(R) = n 1 n (U(R ), . . ., U(R )), where U(R ) is the underlying inner-product space of the unitary representation R . 1 n i i Proof. Follows from the calculations in the proof of Thm. 38. We can also combine [3.15] and Lem. 37. 6 Bikoids from crossed modules We already have, from §5.1 and §5.2, machines for constructing representations of the welded braid group WB , hence §3.4 of the loop braid group LB , from W-bikoids. The task now is to manufacture W-bikoids n n from crossed modules. These will be our main examples of W-bikoids. They are related to Aharonov-Bohm like eﬀects [3, 5, 42] inherent to moving loop-particles in topological higher gauge theory in D , see §2.3. Let the group G have a left-action (g, e) ∈ G × E 7→ g⊲e ∈ E on the group E by automorphisms. In order to not surcharge our notation with brackets, let us convention that actions have priority over group multiplication, meaning for instance that we put g⊲a g⊲b c for (g⊲a) (g⊲b) c, where a, b, c ∈ E and g, h ∈ G. The following simple observation will be useful later on in §6.2.3. ′ ′ ′ ′ ′ ′ ′ [6.1] Let Γ = (Γ , Γ , σ, τ, ι, ⋆) and Γ = (Γ , Γ , σ , τ , ι , ⋆ ) be groupoids. Let us be given a groupoid 1 0 1 0 ′ ′ ′ inclusion g : Γ → Γ = (g : Γ → Γ , g : Γ → Γ ). Hence g and g are injective and preserve all structure 0 0 1 1 0 1 0 1 35 + ′ + maps in Γ and Γ . Suppose in addition that g is surjective. If we have a bikoid (or W-bikoid) X = X on + + Γ then X can be transported to a bikoid (or W-bikoid) X in Γ , in the obvious way. Explicitly we put: Γ Γ ′ ′ x ❙ ❙ y ❙ ❦ ❦ ❙❙ ❦❦ ❙ ❦❦ ❙ ❦ ❙ ❦ −1 ′ −1 ′ ❙ ❦ ❙ −1 ′ −1 ′ g L g (x ),g (y ) • ❙ ❦ 1 •g R g (x ),g (y ) + 0 0 ❙ ❦ 1 ′ ′ ❙ 0 0 X (x , y ) = ❦ ′ ❦❙ ❙ ❦ . Γ ❦❦ ❙ ❙ ❦ ❙ ❙ ❦ ❙ ❙ ❦❦ ❙ ❙ ❦❦ ❙ ❙ ❦ )))) ❦❦ uu❦uu❦ −1 −1 −1 −1 ′ ′ ′ ′ g (g (y )/g (x )) g g (x )\g (y ) 0 0 0 0 0 0 6.1 Crossed modules G Deﬁnition 42 (Crossed module). Let E and G be groups. A crossed module of groups G = (∂ : E → G, ⊲) (see [60, 71, 73, 74]) is a group map ∂ : E → G, and a left action of G on E by automorphisms, such that the relations below, called Peiﬀer relations hold for each g ∈ G and e, e ∈ E: −1 ′ ′ −1 1st Peiﬀer relation: ∂(g⊲e) = g∂(e)g , 2nd Peiﬀer relation: ∂(e)⊲e = ee e . (81) Lemma 43. Let G = (∂ : E → G, ⊲) be a crossed module. a) The group A = ker(∂) ⊂ E is central in E, and in particular A is abelian. b) The group A is closed under the action of G, meaning that if K ∈ A and g ∈ G, then g⊲K ∈ A. c) Given any g, h ∈ G, e ∈ E, and f ∈ A it holds that: (g∂(e)h)⊲f = (gh)⊲f. d) The action of G on A descends to an action of coker(∂) on A. Proof. Assertions a), c), d) follow from the 2nd Peiﬀer relation, and b) from the 1st Peiﬀer relation. [6.2] A crossed module G hence gives rise to two abelian gr-groups: (G, A) and (coker(∂), A); see Def. 30. a7→1 [6.3] Conversely, if (G, A, ⊲) is an abelian gr-group, then we have a crossed module (A −→ G, ⊲). Looking at the abelian gr-groups in Examples 31 and 34, this gives many examples of crossed modules of ﬁnite groups. [6.4] Let G be a group and Aut(G) be its group of automorphisms, acting on G in the obvious way. Let −1 g ∈ G 7→ Ad ∈ Aut(G) be such that Ad (x) = gxg . This deﬁnes a crossed module (Ad: G → Aut(G), ⊲). g g 2 2 6.2 Groupoids TRANS(T (G)) and TRANS(S (G)), and the associated W-bikoids Throughout this subsection, we ﬁx a crossed module G = (∂ : E → G, ⊲), and an element R ∈ E; see [2.18]. + + We will explicitly construct the W-bikoids X and X ∗ of Equations (39) in (41), appearing at the end of gr + + + the physics motivation section §2.3. We ﬁrstly construct X , and them obtain X by transporting X ∗ ∗ gr R gr along a groupoid isomorphism; see [6.1]. The ideas are simple, but require several algebraic preliminaries. + + + A slightly depleted version of the W-bikoids X and X is the W-bikoid X in Equation (69). gr gr R −1 −1 Our convention for commutators in a group G is [p, q] = pqp q , where p, q ∈ G. 2 2 6.2.1 The groups T (G) and S (G) Deﬁnition 44. Fix an R ∈ E. We let T (G) = (g, ∂(R), e) ∈ G × G × E ∂(e) = [∂(R), g] . Explicit calculations swiftly prove the following lemma. (Cf. [2.22] and the second equation of (24).) 2 ′ ′ ′ ′ Lemma 45. The set T (G) is a group with the operation (g, ∂(R), e)(g , ∂(R), e ) = (gg , ∂(R), e g⊲e ). 2 −1 −1 −1 −1 Hence inverses in T (G) take the form (g, ∂(R), e) = (g , ∂(R), g ⊲e ). The unit is (1 , ∂(R), 1 ). G E ′ ′ Proof. Associativity is immediate. The most important bit is to show that ∂(e g⊲e ) = [∂(R), gg ]. Note: −1 ′ −1 ′ ′ −1 ′ ∂(e g ⊲e ) = ∂(e) g ∂(e )g = [∂(R), g] g[∂(R), g ]g = [∂(R), gg ], where we have used the 1st Peiﬀer relation in Def. 42. Deﬁnition 46. (Recall the conventions in [4.10].) Let S (G) = G ⋉ A. Here A = ker(∂), which is closed under the action of G on E; see Lem. 43. Hence the product in S (G) is (g, K) (h, L) = (gh, K g⊲L). 2 2 [6.5] We have a group isomorphism φ : (g, J) ∈ S (G) 7→ (g, ∂(1 ), J) ∈ T (G). This generalises. 1 E E 1 36 2 2 Lemma 47. Let R ∈ E. We have a group isomorphism ψ : T (G) → S (G). It is deﬁned as: −1 (g, ∂(R), e) 7−→ (g, R e g⊲R). 2 2 −1 Its inverse is given by φ : S (G) → T (G), where φ (g, J) = (g, ∂(R), R J g⊲R ). R R 2 −1 Proof. Let (g, ∂(R), e) ∈ T (G). Then ∂(e) = [∂(R), g], from which it follows, by using ∂(g⊲R) = g ∂(R) g , −1 −1 2 that R e g⊲R ∈ A = ker(∂). Thence (g, R e g⊲R) ∈ S (G). Analogously, if J in ker(∂), it holds that −1 2 ∂(R J g⊲R ) = [∂(R), g]. (We have used the 1st Peiﬀer rule in (81).) Hence φ (g, J) ∈ T (G), if g ∈ G. ′ ′ 2 Given (g, ∂(R), e), (g , ∂(R), e ) ∈ T (G), we have: ′ ′ ′ ′ ′ −1 ′ ′ ψ (g, ∂(R), e)(g , ∂(R), e ) = ψ gg , ∂(R), e g⊲e ) = gg , R e g⊲e (gg )⊲R R R ′ −1 −1 ′ ′ −1 ′ −1 ′ ′ = (gg , R e g⊲R g⊲R g⊲e (gg )⊲R) = (g, R e g⊲R) (g , R e g ⊲R) ′ ′ = ψ g, ∂(R), e ψ (g , ∂(R), e ). R R To ﬁnalise, note that clearly ψ ◦ φ = id 2 and φ ◦ ψ = id 2 . R R S (G) R R T (G) 2 2 [6.6] We have a homomorphism Θ: S (G) → S (G) deﬁned as: (g, J) 7→ (g, 1 ). Note Θ ◦ Θ = Θ. By combining with the previous lemma, or by a direct calculation, it follows that: 2 2 Lemma 48. We have a group homomorphism Θ : T (G) → T (G), which has the explicit form: R R 2 −1 2 (g, ∂(R), e) ∈ T (G) 7−→ (g, ∂(R), R g⊲R ) ∈ T (G). (82) R R Furthermore Θ ◦ Θ = Θ and Θ = φ ◦ Θ ◦ ψ . R R R R R R 2 2 −1 [6.7] We will make strong use of the map of sets β : S (G) → S (G), deﬁned as (g, K) 7→ (1 , K ). Note −1 −1 2 that β(g, K) = (g, 1 )(g, K) , in other words: β(g, K) = Θ(g, K) (g, K) , for each (g, K) ∈ S (G). 2 2 Deﬁnition 49. Analogoulsy, if (g, ∂(R), e) ∈ T (G), we put β (g, ∂(R), e) ∈ T (G) to be: R R −1 β (g, ∂(R), e) = Θ (g, ∂(R), e) (g, ∂(R), e) R R (83) −1 −1 2 = (1 , ∂(R), R g⊲R e ) ∈ T (G). [6.8] By construction, or by a direct calculation, it follows that: β = φ ◦ β ◦ ψ . R R R 2 2 Lemma 50. We have left-actions ⋗ of E on T (G) and on S (G). They are such that: R R −1 −1 a ⋗ (g, ∂(R), e) = (∂(a)g, ∂(R), R a R e a ), (84) a ⋗ (g, K) = (∂(a)g, K). (85) 2 2 2 2 Here a ∈ E. Morever ψ : T (G) → S (G), hence also φ : S (G) → T (G), preserves E actions. R R R R (The action in Equation (84) was mentioned in [2.23]. It arises from the gauge transformation rule for the 2-dimensional holonomy of a 2-connection (27).) These actions are, in general, not actions by automorphisms. 2 −1 −1 Proof. Firstly, if (g, ∂(R), e) ∈ T (G), then an easy calculation shows that ∂(R a R e a ) = [∂(R), ∂(a)g]. Let a, b ∈ E. Clearly a ⋗ b ⋗ (−) = (ab) ⋗ (−), both for ⋗ in (84) and ⋗ in (85). Finally note that: −1 −1 −1 −1 −1 ψ a ⋗ (g, ∂(R), e) = ψ ∂(a)g, ∂(R), R a R e a = ∂(a)g, R R a R e a (∂(a)g)⊲R R R (#1) −1 −1 −1 −1 = ∂(a)g, R R a R e a a g⊲R a −1 −1 = ∂(a)g, a R e g⊲R a , where (#1) follows from the 2nd Peiﬀer rule (see Def. 42). On the other hand: −1 −1 a ⋗ ψ g, ∂(R), e = a ⋗ (g, R e g⊲R) = (∂(a)g, R e g⊲R) (#2) −1 −1 = (∂(a)g, a R e g⊲R a ). −1 Here step (#2) follows from the fact that ker(∂) = A is central in E (Lem. 43), since R e g⊲R ∈ A. 37 2 2 6.2.2 The action groupoids TRANS(S (G)) and TRANS(T (G)) ′ 2 2 [6.9] Consider the actions ⊲ of T (G) and of S (G) on E, by automorphisms, such that: ′ 2 (g, ∂(R), e)⊲ a = g⊲a, where a ∈ E and (g, ∂(R), e) ∈ T (G), ′ 2 (g, K)⊲ a = g⊲a, where a ∈ E and (g, K) ∈ S (G). ′ ′ 2 [6.10] Note that ψ (g, ∂(R), e)⊲ a = (g, ∂(R), e)⊲ a, where a ∈ E and (g, ∂(R), e) ∈ T (G). 2 2 [6.11] Let ⋗ denote the left-actions of T (G) and of S (G) on themselves by conjugation. 2 2 Lemma 51. We have a left-action ⋗ of the group T (G) ⋉ ′ E (cf. [4.10]) on T (G). It has the form: R R (g, ∂(R), e, a) ⋗ (h, ∂(R), f) = a ⋗ (g, ∂(R), e)⋗(h, ∂(R), f) (86) −1 −1 −1 −1 −1 = (∂(a)ghg , R a R e g⊲f (ghg )⊲e a . Proof. Cf. Lem. 50 and [4.11]. We solely need to prove that, given a ∈ E and (g, ∂(R), e) ∈ T (G), then: −1 a ⋗ (g, ∂(R), e)⋗(h, ∂(R), f) = (g, ∂(R), e)⋗ (g ⊲a) ⋗ (h, ∂(R), e) . We have: −1 −1 −1 a ⋗ (g, ∂(R), e)⋗(h, ∂(R), f) = a ⋗ (ghg , ∂(R), e g⊲f (ghg )⊲e ) −1 −1 −1 −1 −1 = (∂(a)ghg , ∂(R), R a R e g⊲f (ghg )⊲e a . On the other hand: −1 −1 −1 −1 −1 −1 (g, ∂(R), e)⋗ (g ⊲a) ⋗ (h, ∂(R), f) = (g, ∂(R), e)⋗(g ∂(a)gh, R g ⊲a R f g ⊲a ) −1 −1 −1 −1 −1 = ∂(a)ghg , e g⊲R a g⊲R g⊲f a (∂(a)ghg )⊲e (#1) −1 −1 −1 −1 −1 = ∂(a)ghg , e g⊲R a g⊲R g⊲f (ghg )⊲e a (#2) −1 −1 −1 −1 −1 = (∂(a)ghg , R a R e g⊲f (ghg )⊲e a . Here (#1) follows by the 2nd. Peiﬀer rule (81). Step (#2) also follows from the 2nd Peiﬀer rule, since: (#1) (#2) −1 −1 −1 −1 −1 e g⊲R a g⊲R = ∂(e)⊲ g⊲R a g⊲R e = ∂(R)g∂(R) g ⊲ g⊲R a g⊲R e (#3) −1 −1 −1 = (∂(R)g∂(R ))⊲ R g ⊲a R e (#4) −1 −1 −1 −1 −1 = R g⊲ R R g ⊲a R R R e = R a R e. −1 −1 In (#2) we used ∂(e) = ∂(R)g∂(R) g . The 2nd Peiﬀer rule was used in (#1) and (#4). Deﬁnition 52. Consider the group S (G) ⋉ E = G ⋉ (A × E), where ⊲ is the product action of G on ⊲ ⊲ ∗ 2 2 ′ ′ A × E. By [6.10] and Lem. 47, we can deﬁne a group isomorphism ψ : T (G) ⋉ E → S (G) ⋉ E, as: ⊲ ⊲ R R ∗ 2 ψ (g, ∂(R), e, a) = (ψ (g, ∂(R), e), a), where (g, ∂(R), e) ∈ T (G) and a ∈ E. R R ∗ 2 2 ∗ ∗ [6.12] The inverse φ : S (G) ⋉ ′ E → T (G) ⋉ ′ E of ψ is such that φ (g, K, a) = (φ (g, K), a). ⊲ ⊲ R R R R R 2 2 Lemma 53. We have a left-action ⋗ of S (G) ⋉ ′ E = G ⋉ (A × E), on S (G). It has the form: ⊲ ⊲ −1 −1 −1 (g, J, a) ⋗ (h, K) = a ⋗ (g, J)⋗(h, K) = (∂(a)ghg , J g⊲K (ghg) ⊲J . (87) 2 2 Moreover, given (g, J, a) ∈ S (G) ⋉ ′ E and (h, K) ∈ S (E), it holds that: φ (g, J, a) ⋗ (h, K) = φ (g, J, a) ⋗ φ h, K . R R Note that ⋗ is not, in general, an action by automorphisms. 38 Proof. That we have an action follows as in the proof of Lem. 51, or by using Lem. 51 in the particular case R = 1 , given [6.5]. The other bits follows from concatenation of previous formulae. Here is a proof: −1 −1 −1 φ (g, J, a) ⋗ (h, K) = φ ∂(a)ghg , J g⊲K (ghg) ⊲J R R −1 −1 −1 −1 −1 = (∂(a)ghg , ∂(R), R J g⊲K (ghg )⊲J (∂(a)ghg )⊲R −1 −1 −1 −1 −1 −1 = (∂(a)ghg , ∂(R), R J g⊲K (ghg )⊲J a (ghg )⊲R a . In the last step we used the 2nd Peiﬀer relation (see Def. 42). On the other hand: ∗ −1 −1 φ (g, J, a)⋗φ h, K = (g, ∂(R), R J g⊲R , a) ⋗ (h, ∂(R), R K h⊲R ) −1 −1 −1 −1 −1 −1 −1 −1 = (∂(a)ghg , ∂(R), R aR R J g⊲R g⊲(R K h⊲R ) (ghg )⊲(R J g⊲R ) a ) (#1) −1 −1 −1 −1 −1 −1 = (∂(a)ghg , ∂(R), R a J g⊲K (ghg )⊲J (ghg )⊲R a ) (#2) −1 −1 −1 −1 −1 −1 = (∂(a)ghg , ∂(R), R J g⊲K (ghg )⊲J a (ghg )⊲R a ). Here (#1) follows by cancelling pairs of a group element product with its inverse. And (#2) follows from the fact that A is central in E and J, K ∈ A; recall Lem. 43. 2 2 2 Deﬁnition 54. Cf. Def. 2; TRANS(S (G)) is the action groupoid of the action ⋗ of S (G)⋉ ′ E on S (G). 2 2 2 Deﬁnition 55. We let TRANS(T (G)) be the action groupoid of the action ⋗ of T (G) ⋉ ′ E on T (G). R R R 2 2 Arrows of TRANS(S (G)) and of TRANS(T (G)) hence have the form below; see (86) and (87): (g,∂(R),e,a) (g,J,a) (h, ∂(R), f) −−−−−−−−→ (g, ∂(R), e, a) ⋗ (h, ∂(R), f) and (h, K) −−−−→ (g, J, a) ⋗ (h, K) . Here g, h ∈ G; e, a, f ∈ E and J, K ∈ A. For an interpretation in terms of 2-ﬂuxes of loop-particles see §2.3. 2 2 Lemma 56. We have an isomorphism Φ : TRANS(S (G)) → TRANS(T (G)), of groupoids. On objects Φ is given by φ , see Lem. 47. On morphisms Φ takes the form (see [6.12]): R R R φ (g,J,a) (g,J,a) Φ (h, K) −−−−→ (g, J, a) ⋗ (h, K) = φ (h, K) −−−−−−→ φ (g, J, a) ⋗ φ (h, K) . R R R Proof. Follows by combining Lem. 47, Lem 53 and Def. 52. 6.2.3 A W-bikoid structure on TRANS(S (G)) −1 Let G = (∂ : E → G, ⊲) be a crossed module. We put g to denote g . Recall (87), [4.11] and Def. 54. Theorem 57. We have a W-bikoid structure X in the groupoid TRANS(S (G)), such that: gr (z, J) (w, K) (88) P P P ( w • P ♥ −1 P • w⊲J P P ♥ ♥ w = (w , 1 , 1 ) A E + ♥♥ . P P ♥♥ P X (z, J), (w, K) = ♥♥ P P , where ♥ ♥ P P gr ♥ ♥ P P −1 −1 P P ww♥ww♥ w⊲J = (1 , w ⊲J , 1 ) '''' G E (w⊲J) ⋗ (w, K) w ⋗ (z, J) −1 (Note that w⊲J = β Θ(w, K) ⋗ (z, J) , 1 ; see [6.7].) Equation (88) can be written as (recall [6.11]): (z, J) (w, K) (89) P P P P PP ♥ −1 −1 P • (Θ(w,K) ⋗(z,J) ,1 ) −1 ♥ E (Θ(w,K) ,1 ) • P ♥ E ♥♥ + PP PP ♥ . X (z, J), (w, K) = PP −1 ∗ ♥ PP gr ♥• Θ Θ(w,K) ⋗(z,J) ,1 P P E P P ♥♥ P P ♥♥ ♥♥ P P ♥♥ P P ♥♥ P P ♥♥ P P ♥♥ P P ♥♥ P P ♥ ♥ P P ♥ ♥ P P ♥♥ P P vv♥vv♥ (((( −1 −1 β Θ(w, K) ⋗ (z, J) ⋗ (w, K) Θ(w, K) ⋗ (z, J) 39 + Explicitly, the underlying W-birack of X is such that (where z, w ∈ G and K, L ∈ A = ker(∂)): gr −1 −1 −1 (z, J)\(w, K) = w ⋗ (z, J) = (w , 1 , 1 ) ⋗ (z, J) = w zw, w ⊲J , A E (90) −1 −1 −1 −1 (w, K)/(z, J) = (w⊲J) ⋗ (w, K) = (1 , w ⊲J , 1 ) ⋗ (w, K) = (w, w ⊲J K J). G E And, as the diagram in (88) indicates, the holonomy morphisms in the W-bikoid X in (88) are: gr −1 (w ,1 ,1 ) A E −1 L (z, J), (w, K)) = (z, J) −−−−−−−−→ (w , 1 , 1 ) ⋗ (z, J) , A E −1 −1 (1 ,w ⊲J ,1 ) G E −1 −1 R (z, J), (w, K)) = (w, K) −−−−−−−−−−−→ (1 , w ⊲J , 1 ) ⋗ (w, K) . G E + + Remark 58. The form (89) for the bikoid X is useful (see §6.2.4) for transporting [6.1] X in (88) to ∗ ∗ gr gr TRANS(T (G)). Equation (89) for X ∗ also makes the interpretation of the associated representations §5 R gr of the loop braid group as observables in topological higher gauge theory in D more transparent; see §2.3. Remark 59. A more compact formulation of X ∗ in (88), in additive notation, can be found in (41). gr Proof. That (88) and (89) coincide follows from [6.6] and [6.7]. Let us prove that X in (88) is a bikoid. We freely use Defs. 19 and 22. First of all note that the maps: gr (w,K) 2 −1 −1 −1 2 f : (z, J) ∈ S (G) 7−→ (z, J)\(w, K) = (w , 1 , 1 ) ⋗ (z, J) = w zw, w ⊲J ∈ S (G), A E 2 −1 −1 −1 −1 2 f : (w, K) ∈ S (G) 7−→ (w, K)/(z, J) = (1 , w ⊲J , 1 ) ⋗ (w, K) = (w, w ⊲J K J) ∈ S (G) G E (z,J) each are bijections. Inverses are given by: ′ ′ 2 ′ ′ ′ −1 ′ 2 (w,K) f : (z , J ) ∈ S (G) 7−→ (w, 1 , 1 ) ⋗ (z , J ) = (wz w , w⊲J ) ∈ S (G), A E −1 −1 ′ ′ 2 ′ ′ ′ ′ ′ ′ −1 2 f : (w , K ) ∈ S (G) 7−→ (1 , w ⊲J, 1 ) ⋗ (w , K ) = (w , w ⊲J K J ) ∈ S (G). (z,J) G E On the other hand, the map below is also invertible: 2 2 2 2 S : (z, J), (w, K) ∈ S (G) × S (G) 7→ (w, K)/(z, J), (z, J)\(w, K) ∈ S (G) × S (G), and its inverse is: −1 −1 ′ ′ ′ ′ ′ ′ ′ ′ ′ ′ ′ ′ ′ ′ ′ ′ ′ ′ ′ ′ (w , K ), (z , J ) 7→ (w , 1 , 1 )⋗(z , J ), (1 , J , 1 )⋗(w , K ) = (w z w , w ⊲J ), (w , J K w ⊲J ) . A E G E 2 2 2 2 That (z, J), (w, K) ∈ S (G) × S (G) 7→ (w, K)/(z, J), (z, J)\(w, K) ∈ S (G) × S (G) in Equation (90) is a birack, and that X ∗ in (88) is a bikoid, follows from comparing the diagrams (91) and (92) in gr 2 2 TRANS T (G) ⋊ Σ , where (z, J), (w, K) and (t, L) are general elements of S (G). −1 (z, J) (w, K) (t, L) w = (w , 1 , 1 ) (91) A E P P PP P ♥ ♥ P ♥ P ♥ w • P −1 −1 P P ♥• w⊲J ♥♥ w⊲J = (1 , w ⊲J , 1 ) ♥♥P P G E ♥♥ P P ♥♥ P P ♥♥ P P ♥♥ P P ww♥ww♥ P P '''' −1 t = (t , 1 , 1 ) A E (w⊲J) ⋗ (w, L) w ⋗ (z, J) (t, L) ▼ q q −1 −1 −1 ▼ q t •▼▼ q (t w)⊲J = (1 , (t w )⊲J , 1 ) G E ▼ ▼ q q• (tw)⊲J q ▼ ▼ q ▼ ▼ q ▼ ▼ qq ▼ ▼ −1 −1 qq ▼ ▼ xxqxxq t⊲J = (1 , t ⊲J , 1 ) &&&& G E (w⊲J) ⋗ (w, K) (tw)⊲J ⋗ (t, L) (tw) ⋗ (z, J) −1 −1 ❖ ❖ ❖ t⊲K = (1 , t ⊲K , 1 ) ❖ G E ❖ ♦♦ ♦ ❖ ♦ ❖ ♦ t • ❖ ❖ ❖ •♦ t⊲J t⊲K (tw)⊲J ♦♦ ❖ ❖ −1 −1 ♦♦ ❖ ❖ ♦♦ ❖ ❖ (t w)⊲J = (1 , (t w )⊲J, 1 ) ♦♦ G E ♦♦ ❖ ❖ ♦♦ ❖ ❖ ww♦ww♦ '''' (t⊲J t⊲K) ⋗ (t, L) (t (w⊲J)⊲(w, L) (tw) ⋗ (z, J) (Recall the convention in Def. 2 for the composition in TRANS T (G) . Note: −1 −1 −1 w ⋗ (z, J) = (w , 1 , 1 ) ⋗ (z, J) = (w zw, w ⊲J), A E −1 −1 −1 −1 (w⊲J) ⋗ (w, K) = (1 , w ⊲J , 1 ) ⋗ (w, K) = (w, w ⊲J K J) G E −1 −1 −1 −1 −1 −1 −1 −1 −1 −1 1 , t ⊲(w ⊲J K J) = (1 , t ⊲J t ⊲K (t w )⊲J = t⊲J t⊲K (t w)⊲J. G G And (for the other side of the Reidemeister III move): −1 (z, J) (w, K) (t, L) w = (w , 1 , 1 ) (92) A E ♦ ♦ ❖ ♦ ❖ ♦ t •❖❖ ♦ −1 ❖ ❖ • t⊲K t = (t , 1 , 1 ) ♦♦ A E ❖ ❖ ♦♦ ❖ ❖ ♦ ❖ ❖ ♦ ❖ ❖ ♦♦ ❖ ❖ ww♦ww♦ '''' t = (t, 1 , 1 ) A E (z, J) (t⊲K) ⋗ (t, L) t ⋗ (w, K) ◗ ◗ ◗◗ ◗ ♠ ♠ −1 −1 −1 ◗ ♠ ♠ (t w)⊲J = (1 , (t w )⊲J , 1 ) ◗ G E ♠ . t • ◗ ◗ ♠• t⊲J ◗ ◗ ♠♠ ♠◗ ◗ ♠♠ ◗ ◗ ♠ ◗ ◗ ♠♠ −1 −1 ◗ ◗ ♠♠ ◗ ◗ ♠♠ ◗ ◗ t⊲J = (1 , t ⊲J , 1 ) G E vv♠vv♠ (((( (t⊲J)(t⊲K) ⋗ (t, L) t ⋗ (z, J) t ⋗ (w, K) −1 −1 t⊲K = (1 , t ⊲K , 1 ) ◆ ◆◆ G E ◆ ♣ ◆ ♣ t w t •◆◆ • (tw)⊲J ◆ ◆ ♣ −1 −1 −1 ♣◆ ◆ ♣♣ ◆ ◆ (t w)⊲J = (1 , (t w )⊲J , 1 ) ♣♣ G E ◆ ◆ ♣ ◆ ◆ ♣ ◆ ◆ xx♣xx♣ '''' (t⊲J)(t⊲K) ⋗ (t, L) (tw)⊲J t ⋗ (w, K) (tw) ⋗ (z, a) Note: −1 −1 −1 −1 t ⋗ (w, K) = (t wt, t ⊲K), t ⋗ (z, J) = (t zt, t ⊲J). We can easily see that the group elements in S (G) ⋉ ′ E associated to each strand in the diagrams in (91) and (92) coincide. Namely in the ﬁrst strand we have t w = tw t t; in the second strand we have: −1 −1 −1 −1 −1 −1 −1 t (w⊲J) = (t , 1 , 1 ) (1 , w ⊲J , 1 ) = (1 , (t w )⊲J , 1 ) (t , 1 , 1 ) = (tw)⊲J) t. A E G E G E A E And in the third strand we have: (t⊲J t⊲K (t w)⊲J) (t w)⊲J) = t⊲J t⊲K. 2 2 Hence given any (z, J), (w, K), (t, L) ∈ S (G), then diagrams (91) and (92) in TRANS T (G) ⋊ Σ coincide. Hence, by construction, so do the bottom lines of (91) and (92), thus it follows that (S (G), /, \) in (90) is a birack. And then the equality of (91) and (92) mean exactly that X ∗ in (88) is a bikoid. gr That the bikoid is welded (Def. 25), follows in exactly the same way, by comparing the two diagrams 2 3 2 below (93) and (94) in TRANS(S (G)) ⋊ Σ , where (z, J), (w, K), (t, L) ∈ S (G): −1 (z, J) (w, K) (t, L) t = (t , 1 , 1 ) (93) A E P ♥ ♥ P ♥ ♥ P ♥ ♥ P ♥ ♥ −1 −1 ♥ ♥P ♥ ♥ P t⊲J = (1 , t ⊲J , 1 ) ♥ ♥ P G E ♥ ♥ P ♥ ♥ P vv♥vv♥ (( −1 −1 (w, K) z, J (t, L) t⊲K = (1 , t ⊲K , 1 ) G E ❑ s • t⊲J t • s ss s❑ ❑ ❑ ❑ ss ❑ ❑ ss ❑ ❑ yysyys %%%% (w, K) (t⊲J) ⋗ (t, L) t ⋗ (z, J) P ♥ ♥• t⊲K t • P ♥♥ ♥♥ ♥♥P P ♥♥ P P ♥♥ P P ♥ ♥ P P vv♥vv♥ (((( (t⊲K t⊲J) ⋗ (t, L) t ⋗ (w, K) t ⋗ (z, J) and: −1 (z, J) (w, K) (t, L) t = (t , 1 , 1 ) (94) A E ♦ ♦ ❖ ♦ t • ♦ • t⊲K −1 −1 ♦❖ ❖ ♦ t⊲J = (1 , t ⊲J , 1 ) ♦ ❖ ❖ ♦ G E ♦ ❖ ❖ ♦♦ ❖ ❖ ww♦ww♦ '''' −1 −1 (z, J) (t⊲K) ⋗ (t, L) t ⋗ (w, K) t⊲K = (1 , t ⊲K , 1 ) G E ❘ ❘ ❘ ❧ ❘ ❧ ❘ ❧ t • ❘❘ ❘ ❧ • t⊲J ❧ ❘ ❘ ❧ ❘ ❘ ❧ ❘ ❘ ❧❧ ❘ ❘ ❧❧ ❘ ❘ uu❧uu❧ )))) (t⊲J t⊲K) ⋗ (t, L) t ⋗ (z, J) t ⋗ (w, K) ❖ ❖ ❖❖ ♦ ❖❖ ♦ ❖❖ ♦ ❖♦ ♦❖ ♦ ❖ ♦ ❖❖ ♦ ❖ ❖ ww♦ '''' (t⊲J t⊲K) ⋗ (t, L) t ⋗ (w, K) t ⋗ (z, J), 41 2 3 2 Morphisms (93) and (94) in TRANS(S (G)) ⋊ Σ coincide, for each (z, J), (w, K), (t, L) ∈ S (G). This follows since t⊲J t⊲K = t⊲K t⊲J, as the group operation in A = ker(∂) is commutative; see Lem. 43. Remark 60. Let G = (∂ : E → G, ⊲) be a crossed module. We have an abelian gr-group (G, A = ker(∂)) [6.2]. Write A in multiplicative notation. The W-bikoid X is obtained from the W-bikoid X in (69), gr gr and vice versa. We have an inclusion morphism of groupoids Inc: TRANS(G, A) → TRANS(S (G)), with: (g,J) (g,J,1 ) −1 Inc (h, K) −−−→ (g, J)(h, K)(g, J) = (h, K) −−−−−→ (g, J, 1 ) ⋗ (h, K) . This inclusion is bijective on objects. And then X is obtained by transporting [6.1] X along Inc. gr gr In particular, §4.5.1 gives a topological interpretation for the existence of the W-bikoid X ∗. gr Remark 61. (Cf. [6.2] [6.3] and Rem. 60.) The representations of WB derived from X do not gr appear to encode more information that those derived from X . The extra degree of structure appearing gr in the underpinning groupoid TRANS(S (G)) of X ∗ is [2.23] related to gauge transformations betwen 2- gr + + connections. Hence X ∗ is likely more fundamental than X . From a strictly mathematical sense, this extra gr gr degree of freedom that TRANS(S (G)) has in comparison with TRANS(G, A) is essential when addressing invariants of welded knots derived from crossed modules, by using X ∗. This will be addressed in [40]. gr Remark 62. Let G = (∂ : E → G, ⊲) be a crossed module. The underlying W-birack (90) of X is studied gr in [32]. In the cases in Examples 31 and 34, this W-birack yields non-trivial invariants of welded knots that see beyond their knot groups; see also [60]. This indicates that the representations of WB derived from G = (∂ : E → G, ⊲) carry more topological information than those derived (see [1.11], [1.12]) from G alone. Example 63. Continuing Rem. 62. Consider the crossed module G(Z ,Z ) derived [6.3] from the abelian 2 3 gr group in Example 34. Let V be the right-regular representation of C TRANS(S (G(Z ,Z ))) ; Example 2 3 7. Let V be the object-regular representation of C TRANS(S (G(Z ,Z ))) ; see Example 8. Let also U OBJ 2 3 and U be the right-regular and object-regular representations of C(AUT(Z )); see Example 3. Consider OBJ 2 the representations of WB derived from the W-bikoid X in (88), on V ⊗V and on V ⊗V ; see 2 OBJ OBJ gr∗ Thm. 38 or Thm. 41. Consider the representations of WB on U⊗U and on U ⊗U , derived from the 2 OBJ OBJ + ∗ + + W-bikoid X in (65). The degree of (−)⊳ S [2] in (76), induced by the braid generator S [2] in (4) is: 1 1 2 for the action of WB on U ⊗U , 4 for the action of WB on U⊗U, (95) 2 OBJ OBJ 2 12 for the action of WB on V ⊗V , 12 for the action of WB on V ⊗V. (96) 2 OBJ OBJ 2 Hence Equation (95) tell us that the representations of WB derived from a W-bikoid may carry more information than those derived from its underlying W-birack [5.1]. Comparing (95) and (96) gives an example of a case when the representations of WB derived from a crossed module (∂ : G → E, ⊲) – in this case G(Z ,Z ) – are ﬁnner than those derived from the W-bikoid associated to G alone. 2 3 6.2.4 A W-bikoid structure in TRANS(T (G)) Let G = (∂ : E → G, ⊲) be a crossed module. Let R ∈ E. (The physical meaning of R is explained in [2.18].) + + We now describe the W-bikoid X mentioned in the end of §2.3. (Hence X is related to loop-particles in R R + + topological higher gauge theory.) This X is derived from and is isomorphic to X in Equation (88). gr 2 2 Cf. Defs. 54, 55, and Lem. 56. There is a groupoid isomorphism Φ : TRANS(S (G)) → TRANS(T (G)). + 2 + Theorem 64. We have a W-bikoid deﬁned in the groupoid X in TRANS(T (G)). This X is obtained by R R R 2 2 2 + transporting [6.1] (TRANS(S (G)), X ∗) in (88) to TRANS(T (G)) along Φ . The explicit form of X is gr R R 42 (recalling the notation of Defs. 48 and 49, and that we sometimes use (−) to denote inverses in a group): (z, ∂(R), e) (w, ∂(R), f) (97) ❖ ❖ ❖❖ ♦ ♦ ♦ ❖❖ ♦♦♦ ❖ ♦♦ ❖ ♦♦ ❖ ♦ ❖ ♦ (Θ (w,∂(R),f),1 ) • ♦ R E ❖ ♦ ❖ ♦ ❖❖ ♦• Θ (w,∂(R),f)⋗(z,∂(R),e),1 ) ♦ R E ❖❖ ♦ ❖❖ ♦♦ ❖❖ ♦♦♦ ❖❖ ♦♦♦ + ❖❖ ♦♦ ❖❖ ♦♦ X (z, ∂(R), e), (w, ∂(R), f) = ❖❖ ♦ . ❖ ❖ ♦• (Θ Θ (w,∂(R),f)⋗(z,∂(R),e) ,1 ) R ♦ R R E ♦♦ ♦♦❖ ❖ ♦♦ ❖ ❖ ♦♦ ❖ ❖ ♦♦ ❖ ❖ ♦♦ ❖ ❖ ♦♦ ❖ ❖ ♦♦♦ ❖ ❖ ♦♦♦ ❖ ❖ ♦♦♦ ❖ ❖ ♦♦♦ ❖ ❖ ♦♦♦ ❖ ❖ ♦♦♦ ❖ ❖ ♦♦♦ ❖ ❖ ♦♦ ♦ ❖ ❖ ❖ ❖ ♦♦♦ ❖ ❖ ww♦ww♦ww♦ '''' β Θ (w, ∂(R), f) ⋗ (z, ∂(R), e) ⋗ (w, ∂(R), f) Θ (w, ∂(R), f) ⋗ (z, ∂(R), e) R R R (Recall [6.11].) Or, in another form: (z, ∂(R), e) (w, ∂(R), f) (98) ◗ ◗ ◗◗ ♠ ♠ ♠ ◗◗ ♠ ♠♠ ◗ ♠ ♠♠ ◗ ♠ ♠ ◗ ♠ ♠ ◗ ♠♠ ♠ ◗ ♠ ♠ Θ (w,∂(R),f),1 ) • R E ◗ ♠ ♠ ◗ ♠ ♠ ◗ ♠ ♠ ◗ • β Θ (w,∂(R),f)⋗(z,∂(R),e) ,1 ◗ ♠ ♠ R R E ◗ ♠ ♠ ◗◗ ♠ ♠ ◗◗ ♠ ♠ ◗ ◗ ♠ ♠ ♠ ♠ . ♠ ♠◗ ◗ + ♠ ♠ ♠ ◗ ◗ ♠ ♠ ◗ ◗ X (z, ∂(R), e), (w, ∂(R), f) = ♠♠ ♠ ◗ ◗ ♠♠ ♠ ◗ ◗ ♠♠ ♠ ◗ ◗ ♠♠ ♠ ◗ ◗ ♠♠ ♠ ◗ ◗ ♠♠ ♠ ◗ ◗ ♠♠ ♠ ◗ ◗ ♠ ♠ ♠ ◗ ◗ ♠♠ ♠ ◗ ◗ ♠♠ ♠ ◗ ◗ ♠ ♠ ♠ ◗ ◗ vv♠vv♠vv♠ ◗ ◗ (((( Θ (w, ∂(R), f) ⋗ (z, ∂(R), e) ⋗ (w, ∂(R), f) Θ (w, ∂(R), f) ⋗ (z, ∂(R), e) R R R Explicitly, on the second strand of (97), we have the following element of T (G) (see (82) and (83)): Θ Θ (w, ∂(R), f) ⋗ (z, ∂(R), e) Θ (w, ∂(R), f) ⋗ (z, ∂(R), e) R R R = β Θ (w, ∂(R), f) ⋗ (z, ∂(R), e) R R (99) −1 −1 −1 −1 −1 −1 −1 = β w zw, ∂(R),R w ⊲R w ⊲e (w z)⊲R (w zw)⊲R −1 −1 −1 −1 −1 −1 = 1, ∂(R),R (w z)⊲R w ⊲e w ⊲R R . Hence the element of T (G) associated to the target of the second strand of the diagram in (97) is: β (Θ (w, ∂(R), f)⋗(z, ∂(R), e) , 1 ⋗ (w, ∂(R), f) R R E (100) −1 −1 −1 −1 −1 −1 −1 −1 = (w, ∂(R),R (w z)⊲R w ⊲e w ⊲R R f w⊲R R e z⊲R w⊲R ). And, on the ﬁrst strand of the diagram in (97), we have the following element of T (G): −1 −1 −1 Θ (w, ∂(R), f) = (w , ∂(R), R w ⊲R ). (101) Hence the element of T (G) associated to the target of the ﬁrst strand in (97) is: −1 −1 −1 −1 −1 −1 −1 Θ (w, ∂(R), f) ⋗ (z, ∂(R), e) = w zw, ∂(R), R w ⊲R w ⊲e (w z)⊲R (w zw)⊲R ). (102) Remark 65. A more compact formulation of X in Equations (98) and (99) is in Equation (39). Proof. By using (83), it follows that the formulations for X in (97) and (98) coincide, and it also follows (99). Equation (100) follows from (86). Analogously, (101) and (102) follow from Lem. 48 and (86). + + We prove that X in (98) is obtained by transporting the bikoid X in (88) along Φ : TRANS(S (G)) → R gr 2 2 TRANS(T (G)) in Lem. 56; recall [6.1]. We use the formulation in Equation (89) for X . Recall Defs. R gr + + 47 and 52. That X in (97) is obtained by transporting X ∗ in (89) along Φ follows swiftly from the gr 2 2 construction of Φ : TRANS(S (G)) → TRANS(T (G)) in Lem. 56, together with Lem. 48, 50 and [6.8]. 43 References [1] K. Walker and Z. Wang, “(3+ 1)-TQFTs and topological insulators,” Front. Phys., vol. 7, no. 2, pp. 150– 159, 2012. [2] Z. K´ad´ar, P. Martin, E. Rowell, and Z. Wang, “Local representations of the loop braid group,” Glasg. Math. J., vol. 59, no. 2, pp. 359–378, 2017. [3] C.-H. Lin and M. Levin, “Loop braiding statistics in exactly soluble three-dimensional lattice models,” Phys. Rev. B, vol. 92, p. 035115, Jul 2015. [4] C. Wang and M. Levin, “Braiding statistics of loop excitations in three dimensions,” Phys. Rev. Lett., vol. 113, p. 080403, Aug 2014. [5] D. V. Else and C. Nayak, “Cheshire charge in (3+1)-dimensional topological phases,” Phys. Rev. B, vol. 96, p. 045136, Jul 2017. [6] C. W. von Keyserlingk, F. J. Burnell, and S. H. Simon, “Three-dimensional topological lattice models with surface anyons,” Phys. Rev. B, vol. 87, p. 045107, Jan 2013. [7] A. Bullivant, M. Cal¸cada, Z. K´ad´ar, J. Faria Martins, and P. Martin, “Topological phases from higher gauge symmetry in 3 + 1 dimensions,” Phys. Rev. B, vol. 95, p. 155118, Apr 2017. [8] A. Bullivant, M. Calcada, Z. K´ad´ar, J. Faria Martins, and P. Martin, “Higher lattices, discrete two-dimensional holonomy and topological phases in (3+1) D with higher gauge symmetry,” ArXiv: 1702.00868, Feb. 2017. [9] A. Kapustin and R. Thorngren, “Higher symmetry and gapped phases of gauge theories,” ArXiv: 1309.4721, Sept. 2013. [10] D. J. Williamson and Z. Wang, “Hamiltonian models for topological phases of matter in three spatial dimensions,” Annals of Physics, vol. 377, pp. 311 – 344, 2017. [11] J. C. Baez and J. Huerta, “An invitation to higher gauge theory,” General Relativity and Gravitation, vol. 43, no. 9, pp. 2335–2392, 2011. [12] J. C. Baez and U. Schreiber, “Higher gauge theory,” in Categories in algebra, geometry and mathemat- ical physics. Conference and workshop in honor of Ross Street’s 60th birthday, Sydney and Canberra, Australia, July 11–16/July 18–21, 2005, pp. 7–30, Providence, RI: American Mathematical Society (AMS), 2007. [13] J. C. Baez, D. K. Wise, and A. S. Crans, “Exotic statistics for strings in 4D BF theory,” Adv. Theor. Math. Phys., vol. 11, no. 5, pp. 707–749, 2007. [14] C. Damiani, “A journey through loop braid groups,” Expositiones Mathematicae, vol. 35, no. 3, pp. 252 – 285, 2017. [15] D. L. Goldsmith, “The theory of motion groups,” Michigan Math. J., vol. 28, no. 1, pp. 3–17, 1981. [16] J. K. Pachos, Introduction to topological quantum computation. Cambridge University Press, 2012. [17] R. Fenn, R. Rim´anyi, and C. Rourke, “The braid-permutation group,” Topology, vol. 36, no. 1, pp. 123– 135, 1997. [18] S. Kamada, “Braid presentation of virtual knots and welded knots,” Osaka J. Math., vol. 44, no. 2, pp. 441–458, 2007. [19] L. H. Kauﬀman and S. Lambropolou, “Virtual braids and the L-move,” Journal of Knot Theory and Its Ramiﬁcations, vol. 15, no. 06, pp. 773–811, 2006. [20] L. H. Kauﬀman, “Virtual knot theory,” European J. Combin., vol. 20, no. 7, pp. 663–690, 1999. 44 [21] V. G. Bardakov, P. Bellingeri, and C. Damiani, “Unrestricted virtual braids, fused links and other quotients of virtual braid groups,” Journal of Knot Theory and Its Ramiﬁcations, vol. 24, no. 12, p. 1550063, 2015. [22] A. Bartholomew and R. Fenn, “Biquandles of small size and some invariants of virtual and welded knots,” J. Knot Theory Ramiﬁcations, vol. 20, no. 7, pp. 943–954, 2011. [23] V. O. Manturov, “Recognition of virtual braids,” Journal of Mathematical Sciences, vol. 131, pp. 5409– 5419, Nov 2005. [24] C. Kassel, Quantum groups. New York, NY: Springer-Verlag, 1995. [25] A. Brochier, “Virtual tangles and ﬁber functors,” ArXiv: 1602.03080, Feb. 2016. [26] R. Fenn, M. Jordan-Santana, and L. Kauﬀman, “Biquandles and virtual links,” Topology Appl., vol. 145, no. 1-3, pp. 157–175, 2004. [27] R. Bauernschmidt and S. Nelson, “Birack modules and their link invariants,” Commun. Contemp. Math., vol. 15, no. 3, pp. 1350006, 13, 2013. [28] M. S. J. Scott Carter, Mohamed Elhamdadi, “Homology theory for the set-theoretic Yang-Baxter equa- tion and knot invariants from generalizations of quandles,” Fundamenta Mathematicae, vol. 184, no. 1, pp. 31–54, 2004. [29] R. Fenn, D. P. Ilyutko, L. H. Kauﬀman, and V. O. Manturov, “Unsolved problems in virtual knot theory and combinatorial knot theory,” in Knots in Poland III. Part III, vol. 103 of Banach Center Publ., pp. 9–61, Polish Acad. Sci. Inst. Math., Warsaw, 2014. [30] V. Manturov, Knot theory. Chapman & Hall/CRC, Boca Raton, FL, 2004. [31] M. Elhamdadi and S. Nelson, Quandles: an Introduction to the Algebra of Knots. Student Mathematical Library, American Mathematical Society, 2015. [32] L. H. Kauﬀman and J. Faria Martins, “Invariants of welded virtual knots via crossed module invariants of knotted surfaces,” Compos. Math., vol. 144, no. 4, pp. 1046–1080, 2008. [33] B. Audoux, “On the welded tube map,” in Knot theory and its applications, vol. 670 of Contemp. Math., pp. 261–284, Amer. Math. Soc., Providence, RI, 2016. [34] V. G. Bardakov and P. Bellingeri, “Groups of virtual and welded links,” J. Knot Theory Ramiﬁcations, vol. 23, no. 3, pp. 1450014, 23, 2014. [35] J. S. Carter, “A survey of quandle ideas,” in Introductory lectures on knot theory, vol. 46 of Ser. Knots Everything, pp. 22–53, World Sci. Publ., Hackensack, NJ, 2012. [36] J. S. Carter, D. Jelsovsky, S. Kamada, and M. Saito, “Computations of quandle cocycle invariants of knotted curves and surfaces,” Adv. Math., vol. 157, no. 1, pp. 36–94, 2001. [37] J. S. Carter, D. Jelsovsky, S. Kamada, L. Langford, and M. Saito, “State-sum invariants of knotted curves and surfaces from quandle cohomology,” Electron. Res. Announc. Amer. Math. Soc., vol. 5, pp. 146–156, 1999. [38] M. Eisermann, “Knot colouring polynomials,” Pac. J. Math., vol. 231, no. 2, pp. 305–336, 2007. [39] B. Winter, “The classiﬁcation of spun torus knots,” J. Knot Theory Ramiﬁcations, vol. 18, no. 9, pp. 1287–1298, 2009. [40] J. Faria Martins et al, “Invariants of welded knots derived from ﬁnite crossed modules,” In preparation. [41] P. Higgins, “Categories and groupoids,” Repr. Theory Appl. Categ., vol. 2005, no. 7, pp. 1–195, 2005. [42] F. Bais, “Flux metamorphosis,” Nuclear Physics B, vol. 170, no. 1, pp. 32 – 43, 1980. 45 [43] F. A. Bais, P. van Driel, and M. de Wild Propitius, “Quantum symmetries in discrete gauge theories,” Physics Letters B, vol. 280, no. 1, pp. 63 – 70, 1992. [44] M. de Wild Propitius and F. A. Bais, Discrete Gauge Theories, pp. 353–439. New York, NY: Springer New York, 1999. [45] A. F. Bais, B. J. Schroers, and J. K. Slingerland, “Hopf symmetry breaking and conﬁnement in (2+1)- dimensional gauge theory,” Journal of High Energy Physics, vol. 2003, no. 05, p. 068, 2003. [46] M. Dokuchaev, R. Exel, and P. Piccione, “Partial representations and partial group algebras,” Journal of Algebra, vol. 226, no. 1, pp. 505 – 532, 2000. [47] S. Willerton, “The twisted drinfeld double of a ﬁnite group via gerbes and ﬁnite groupoids,” Algebraic & Geometric Topology, vol. 8, no. 3, pp. 1419–1457, 2008. [48] J. C. Morton, “Two-vector spaces and groupoids,” Applied Categorical Structures, vol. 19, pp. 659–707, Aug 2011. [49] D. Altschuler and A. Coste, “Quasi-quantum groups, knots, three-manifolds, and topological ﬁeld the- ory,” Communications in Mathematical Physics, vol. 150, pp. 83–107, Nov 1992. [50] V. G. Turaev, Quantum invariants of knots and 3-manifolds, vol. 18 of De Gruyter Studies in Mathe- matics. De Gruyter, Berlin, 2016. [51] N. Reshetikhin and V. Turaev, “Ribbon graphs and their invariants derived from quantum groups,” Commun. Math. Phys., vol. 127, no. 1, pp. 1–26, 1990. [52] C. Mochon, “Anyons from nonsolvable ﬁnite groups are suﬃcient for universal quantum computation,” Phys. Rev. A, vol. 67, p. 022315, Feb 2003. [53] C. Delcamp, B. Dittrich, and A. Riello, “Fusion basis for lattice gauge theory and loop quantum gravity,” Journal of High Energy Physics, vol. 2017, p. 61, Feb 2017. [54] G. B¨ohm, F. Nill, and K. Szlacha´nyi, “Weak Hopf algebras. I. Integral theory and C -structure,” J. Algebra, vol. 221, no. 2, pp. 385–438, 1999. [55] D. Nikshych, V. Turaev, and L. Vainerman, “Invariants of knots and 3-manifolds from quantum groupoids,” in Proceedings of the Paciﬁc Institute for the Mathematical Sciences Workshop “Invari- ants of Three-Manifolds” (Calgary, AB, 1999), vol. 127, pp. 91–123, 2003. [56] P. Etingof, D. Nikshych, and V. Ostrik, “On fusion categories,” Ann. of Math. (2), vol. 162, no. 2, pp. 581–642, 2005. [57] D. N. Yetter, “TQFTs from homotopy 2-types,” J. Knot Theory Ramiﬁcations, vol. 2, no. 1, pp. 113–123, [58] J. Faria Martins and T. Porter, “On Yetter’s invariant and an extension of the Dijkgraaf-Witten invari- ant to categorical groups,” Theory Appl. Categ., vol. 18, pp. No. 4, 118–150, 2007. [59] J. Faria Martins, “Categorical groups, knots and knotted surfaces,” J. Knot Theory Ramiﬁcations, vol. 16, no. 9, pp. 1181–1217, 2007. [60] J. Faria Martins, “The fundamental crossed module of the complement of a knotted surface,” Trans. Amer. Math. Soc., vol. 361, no. 9, pp. 4593–4630, 2009. [61] A. Y. Kitaev, “Fault-tolerant quantum computation by anyons,” Annals of Physics, vol. 303, no. 1, pp. 2–30, 2003. [62] M. Benini, A. Schenkel, and R. J. Szabo, “Homotopy colimits and global observables in abelian gauge theory,” Lett. Math. Phys., vol. 105, no. 9, pp. 1193–1222, 2015. 46 [63] K. Costello, Renormalization and eﬀective ﬁeld theory, vol. 170 of Mathematical Surveys and Mono- graphs. American Mathematical Society, Providence, RI, 2011. [64] T. Lan and X.-G. Wen, “Topological quasiparticles and the holographic bulk-edge relation in (2 + 1)- dimensional string-net models,” Phys. Rev. B, vol. 90, p. 115119, Sep 2014. [65] C. Nayak, S. H. Simon, A. Stern, M. Freedman, and S. Das Sarma, “Non-abelian anyons and topological quantum computation,” Rev. Mod. Phys., vol. 80, pp. 1083–1159, Sep 2008. [66] J. S. Birman, Braids, links, and mapping class groups. Princeton University Press, Princeton, N.J.; University of Tokyo Press, Tokyo, 1974. Annals of Mathematics Studies, No. 82. [67] T. E. Brendle and A. Hatcher, “Conﬁguration spaces of rings and wickets,” Comment. Math. Helv., vol. 88, no. 1, pp. 131–162, 2013. [68] U. Schreiber and K. Waldorf, “Connections on non-abelian gerbes and their holonomy,” Theory Appl. Categ., vol. 28, pp. 476–540, 2013. [69] U. Schreiber and K. Waldorf, “Smooth functors vs. diﬀerential forms,” Homology Homotopy Appl., vol. 13, no. 1, pp. 143–203, 2011. [70] J. Faria Martins and R. Picken, “Surface holonomy for non-Abelian 2-bundles via double groupoids,” Adv. Math., vol. 226, no. 4, pp. 3309–3366, 2011. [71] R. Brown, P. J. Higgins, and R. Sivera, Nonabelian algebraic topology. Filtered spaces, crossed complexes, cubical homotopy groupoids. With contributions by Christopher D. Wensley and Sergei V. Soloviev. Zu¨rich: European Mathematical Society (EMS), 2011. [72] C. Wockel, “Principal 2-bundles and their gauge 2-groups,” Forum Math., vol. 23, no. 3, pp. 565–610, [73] R. Brown, “Groupoids and crossed objects in algebraic topology,” Homology Homotopy Appl., vol. 1, pp. 1–78, 1999. [74] J. C. Baez and A. D. Lauda, “Higher-dimensional algebra. V: 2-Groups,” Theory Appl. Categ., vol. 12, pp. 423–491, 2004. [75] J. C. Morton and R. Picken, “Transformation double categories associated to 2-group actions,” Theory Appl. Categ., vol. 30, pp. 1429–1468, 2015. [76] S. Mac Lane, Categories for the working mathematician. Springer, second ed., 1998. [77] M. Gould, “Quantum double ﬁnite group algebras and their representations,” Bull. Aust. Math. Soc., vol. 48, no. 2, pp. 275–301, 1993. [78] G. Burde, H. Zieschang, and M. Heusener, Knots. 3rd fully revised and extented edition., vol. 5. Berlin: Walter de Gruyter, 3rd fully revised and extented edition ed., 2014. [79] A. Kawauchi, A survey of knot theory. Transl. from the Japan. by the author. Basel: Birkh¨auser, 1996. [80] C. Rourke and B. Sanderson, Introduction to piecewise-linear topology. Ergebnisse der Mathematik und ihrer Grenzgebiete, Springer-Verlag, 1972. [81] T. Kanenobu, “Forbidden moves unknot a virtual knot,” Journal of Knot Theory and Its Ramiﬁcations, vol. 10, no. 01, pp. 89–96, 2001. [82] S. Nelson, “Unknotting virtual knots with Gauss diagram forbidden moves,” J. Knot Theory Ramiﬁca- tions, vol. 10, no. 6, pp. 931–935, 2001. [83] T. Nasybullov, “Classiﬁcation of fused links,” J. Knot Theory Ramiﬁcations, vol. 25, no. 14, pp. 1650076, 21, 2016. 47 [84] J. Wilson, “Representation stability for the cohomology of the pure string motion groups,” Algebr. Geom. Topol., vol. 12, no. 2, pp. 909–931, 2012. [85] A. G. Savushkina, “On the group of conjugating automorphisms of a free group,” Mathematical Notes, vol. 60, no. 1, pp. 68–80, 1996. [86] P. P. Martin, D. Woodcock, and D. Levy, “A diagrammatic approach to Hecke algebras of the reﬂection equation,” Journal of Physics A: Mathematical and General, vol. 33, no. 6, p. 1265, 2000. [87] S. Nelson and J. L. Rische, “On bilinear biquandles,” Colloq. Math., vol. 112, no. 2, pp. 279–289, 2008. [88] D. Stanovsky´, “On axioms of biquandles,” J. Knot Theory Ramiﬁcations, vol. 15, no. 7, pp. 931–933, [89] S. Satoh, “Virtual knot presentation of ribbon torus-knots,” J. Knot Theory Ramiﬁcations, vol. 9, no. 4, pp. 531–542, 2000. [90] D. Rolfsen, Knots and links, vol. 7 of Mathematics Lecture Series. Publish or Perish, Inc., Houston, TX, 1990. Corrected reprint of the 1976 original. [91] A. Hatcher, Algebraic topology. Cambridge University Press, Cambridge. [92] D. Bar-Natan, “Balloons and hoops and their universal ﬁnite-type invariant, BF theory, and an ultimate Alexander invariant,” Acta Math. Vietnam., vol. 40, no. 2, pp. 271–329, 2015.

Mathematical Physics – arXiv (Cornell University)

**Published: ** Jul 25, 2018

Loading...

You can share this free article with as many people as you like with the url below! We hope you enjoy this feature!

Read and print from thousands of top scholarly journals.

System error. Please try again!

Already have an account? Log in

Bookmark this article. You can see your Bookmarks on your DeepDyve Library.

To save an article, **log in** first, or **sign up** for a DeepDyve account if you don’t already have one.

Copy and paste the desired citation format or use the link below to download a file formatted for EndNote

Access the full text.

Sign up today, get DeepDyve free for 14 days.

All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.