2-group actions and moduli spaces of higher gauge theory. (English) Zbl 1451.81326
Summary: A framework for higher gauge theory based on a 2-group is presented, by constructing a groupoid of connections on a manifold acted on by a 2-group of gauge transformations, following previous work by the authors where the general notion of the action of a 2-group on a category was defined. The connections are discretized, given by assignments of 2-group data to 1- and 2-cells coming from a given cell structure on the manifold, and likewise the gauge transformations are given by 2-group assignments to 0-cells. The 2-cells of the manifold are endowed with a bigon structure, matching the 2-dimensional algebra of squares which is used for calculating with 2-group data. Showing that the action of the 2-group of gauge transformations on the groupoid of connections is well-defined is the central result. The effect, on the groupoid of connections, of changing the discretization is studied, and partial results and conjectures are presented around this issue. The transformation double category that arises from the action of a 2-group on a category, as defined in previous work by the authors, is described for the case at hand, where it becomes a transformation double groupoid. Finally, examples of the construction are given for simple choices of manifold: the circle, the 2-sphere and the torus.
MSC:
| 81T13 | Yang-Mills and other gauge theories in quantum field theory |
| 18G45 | 2-groups, crossed modules, crossed complexes |
| 57R17 | Symplectic and contact topology in high or arbitrary dimension |
| 20D15 | Finite nilpotent groups, \(p\)-groups |
| 20L05 | Groupoids (i.e. small categories in which all morphisms are isomorphisms) |
References:
| [1] | Baez, J. C.; Huerta, J., An invitation to higher gauge theory, Gen. Relativity Gravitation, 43, 9, 2335-2392 (2011) · Zbl 1225.83001 |
| [2] | Baez, J.; Schreiber, U., Higher gauge theory: 2-connections on 2-bundles, (Davydov, A.; etal., Categories in Algebra, Geometry and Mathematical Physics. Categories in Algebra, Geometry and Mathematical Physics, Contemp. Math., vol. 431 (2007), AMS: AMS Providence, Rhode Island), 7-30 |
| [3] | Bartels, T., Higher Gauge Theory I: 2-Bundles (2004), University of California: University of California Riverside, arXiv:math/0410328 |
| [4] | Bragança, D.; Picken, R., Invariants and TQFT’s for cut cellular surfaces from finite groups, Bol. Soc. Port. Mat., 74, 17-44 (2016) · Zbl 1456.57026 |
| [5] | Bragança, D.; Picken, R., Invariants and TQFT’s for cut cellular surfaces from finite 2-groups, Bol. Soc. Port. Mat., 76, 159-176 (2018) · Zbl 1452.57025 |
| [6] | Brown, R.; Higgins, P. J.; Sivera, R., (Nonabelian Algebraic Topology, Filtered Spaces, Crossed Complexes, Cubical Homotopy Groupoids. Nonabelian Algebraic Topology, Filtered Spaces, Crossed Complexes, Cubical Homotopy Groupoids, EMS Tracts Math., vol. 15 (2010), European Mathematical Society) · Zbl 1237.55001 |
| [7] | Brown, R.; Mackenzie, K. C.H., Determination of a double Lie groupoid by its core diagram, J. Pure Appl. Algebra, 80, 3, 237-272 (1992) · Zbl 0766.22001 |
| [8] | Bullivant, A.; Calçada, M.; Kádár, Z.; Faria Martins, J.; Martin, P., Higher lattices, discrete two-dimensional holonomy and topological phases in (3+1)D with higher gauge symmetry, Rev. Math. Phys., 2050011 (2019), (published online 4th Nov. 2019) |
| [9] | Faria Martins, J.; Picken, R., On two-dimensional holonomy, Trans. Amer. Math. Soc., 362, 11, 5657-5695 (2010) · Zbl 1209.53038 |
| [10] | Faria Martins, J.; Picken, R., Surface holonomy for non-abelian 2-bundles via double groupoids, Adv. Math., 226, 4, 3309-3366 (2011) · Zbl 1214.53043 |
| [11] | Faria Martins, J.; Porter, T., On Yetter’s invariant and an extension of the Dijkgraaf-Witten invariant to categorical groups, Theory Appl. Categ., 18, 4, 118-150 (2007), http://www.tac.mta.ca/tac/volumes/18/4/18-04.pdf · Zbl 1119.18009 |
| [12] | Higgins, P. J.; Mackenzie, K., Algebraic constructions in the category of Lie algebroids, J. Algebra, 129, 1, 194-230 (1990) · Zbl 0696.22007 |
| [13] | Morton, J. C., Double bicategories and double cospans, J. Homotopy Relat. Struct., 4, 1, 389-428 (2009) · Zbl 1185.18006 |
| [14] | Morton, J. C., Cohomological twisting of 2-linearization and extended TQFT, J. Homotopy Relat. Struct., 10, 2, 127-187 (2015) · Zbl 1333.18012 |
| [15] | J.C. Morton, R. Picken, in preparation. |
| [16] | Morton, J. C.; Picken, R., Transformation double categories associated to 2-group actions, Theory Appl. Categ., 30, 1429-1468 (2015), Paper No. 43 · Zbl 1334.18003 |
| [17] | Nelson, J. E.; Picken, R. F., Quantum geometry from 2 + 1 AdS quantum gravity on the torus, Gen. Relativity Gravitation, 43, 777-795 (2011) · Zbl 1213.83104 |
| [18] | Schreiber, U.; Waldorf, K., Smooth functors vs. differential forms, Homology, Homotopy Appl., 13, 1, 143-203 (2011) · Zbl 1230.53025 |
| [19] | Soncini, E.; Zucchini, R., A new formulation of higher parallel transport in higher gauge theory, J. Geom. Phys., 95, 28-73 (2015) · Zbl 1322.81064 |
| [20] | Yetter, D., Topological quantum field theories associated to finite groups and crossed \(G\)-sets, J. Knot Theory Ramifications, 1, 1, 1-20 (1992) · Zbl 0770.57010 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
