On two-dimensional holonomy
HTML articles powered by AMS MathViewer
- by João Faria Martins and Roger Picken PDF
- Trans. Amer. Math. Soc. 362 (2010), 5657-5695 Request permission
Abstract:
We define the thin fundamental categorical group ${\mathcal P}_2(M,*)$ of a based smooth manifold $(M,*)$ as the categorical group whose objects are rank-1 homotopy classes of based loops on $M$ and whose morphisms are rank-2 homotopy classes of homotopies between based loops on $M$. Here two maps are rank-$n$ homotopic, when the rank of the differential of the homotopy between them equals $n$. Let $\mathcal {C}(\mathcal {G})$ be a Lie categorical group coming from a Lie crossed module ${\mathcal {G}= (\partial \colon E \to G,\triangleright )}$. We construct categorical holonomies, defined to be smooth morphisms ${\mathcal P}_2(M,*) \to \mathcal {C}(\mathcal {G})$, by using a notion of categorical connections, being a pair $(\omega ,m)$, where $\omega$ is a connection 1-form on $P$, a principal $G$ bundle over $M$, and $m$ is a 2-form on $P$ with values in the Lie algebra of $E$, with the pair $(\omega ,m)$ satisfying suitable conditions. As a further result, we are able to define Wilson spheres in this context.References
- Baez J.C.: Higher Yang-Mills Theory, arXiv:hep-th/0206130.
- John C. Baez and Alissa S. Crans, Higher-dimensional algebra. VI. Lie 2-algebras, Theory Appl. Categ. 12 (2004), 492–538. MR 2068522
- John C. Baez and Aaron D. Lauda, Higher-dimensional algebra. V. 2-groups, Theory Appl. Categ. 12 (2004), 423–491. MR 2068521
- John C. Baez and Urs Schreiber, Higher gauge theory, Categories in algebra, geometry and mathematical physics, Contemp. Math., vol. 431, Amer. Math. Soc., Providence, RI, 2007, pp. 7–30. MR 2342821, DOI 10.1090/conm/431/08264
- Baez J.C.; Schreiber U.: Higher Gauge Theory: 2-Connections on 2-Bundles, arXiv:hep-th/0412325
- John W. Barrett and Marco Mackaay, Categorical representations of categorical groups, Theory Appl. Categ. 16 (2006), No. 20, 529–557. MR 2259262
- Raoul Bott and Loring W. Tu, Differential forms in algebraic topology, Graduate Texts in Mathematics, vol. 82, Springer-Verlag, New York-Berlin, 1982. MR 658304
- Lawrence Breen and William Messing, Differential geometry of gerbes, Adv. Math. 198 (2005), no. 2, 732–846. MR 2183393, DOI 10.1016/j.aim.2005.06.014
- Kenneth S. Brown, Cohomology of groups, Graduate Texts in Mathematics, vol. 87, Springer-Verlag, New York, 1994. Corrected reprint of the 1982 original. MR 1324339
- Ronald Brown, Keith A. Hardie, Klaus Heiner Kamps, and Timothy Porter, A homotopy double groupoid of a Hausdorff space, Theory Appl. Categ. 10 (2002), 71–93. MR 1883479
- Ronald Brown and Philip J. Higgins, On the connection between the second relative homotopy groups of some related spaces, Proc. London Math. Soc. (3) 36 (1978), no. 2, 193–212. MR 478150, DOI 10.1112/plms/s3-36.2.193
- Brown R., Higgins P.J., Sivera R.: Nonabelian algebraic topology, (in preparation). Part I downloadable.
- Ronald Brown and Ghafar H. Mosa, Double categories, $2$-categories, thin structures and connections, Theory Appl. Categ. 5 (1999), No. 7, 163–175. MR 1694653
- A. Caetano and R. F. Picken, An axiomatic definition of holonomy, Internat. J. Math. 5 (1994), no. 6, 835–848. MR 1298997, DOI 10.1142/S0129167X94000425
- Samuel Eilenberg and Saunders MacLane, Determination of the second homology and cohomology groups of a space by means of homotopy invariants, Proc. Nat. Acad. Sci. U.S.A. 32 (1946), 277–280. MR 19307, DOI 10.1073/pnas.32.11.277
- K. A. Hardie, K. H. Kamps, and R. W. Kieboom, A homotopy 2-groupoid of a Hausdorff space, Appl. Categ. Structures 8 (2000), no. 1-2, 209–234. Papers in honour of Bernhard Banaschewski (Cape Town, 1996). MR 1785844, DOI 10.1023/A:1008758412196
- Morris W. Hirsch, Differential topology, Graduate Texts in Mathematics, No. 33, Springer-Verlag, New York-Heidelberg, 1976. MR 0448362
- Anthony W. Knapp, Lie groups beyond an introduction, Progress in Mathematics, vol. 140, Birkhäuser Boston, Inc., Boston, MA, 1996. MR 1399083, DOI 10.1007/978-1-4757-2453-0
- Yu. S. Khokhlov, Stable distributions on the Heisenberg group, J. Soviet Math. 47 (1989), no. 5, 2796–2798. Stability problems for stochastic models. MR 1040113, DOI 10.1007/BF01095611
- Kobayashi S.; Nomizu K.: Foundations of Differential Geometry. Vol. I. Interscience Publishers, a division of John Wiley & Sons, New York-London 1961.
- Saunders Mac Lane, Categories for the working mathematician, 2nd ed., Graduate Texts in Mathematics, vol. 5, Springer-Verlag, New York, 1998. MR 1712872
- Marco Mackaay and Roger Picken, Holonomy and parallel transport for abelian gerbes, Adv. Math. 170 (2002), no. 2, 287–339. MR 1932333, DOI 10.1006/aima.2002.2085
- Marco Mackaay, A note on the holonomy of connections in twisted bundles, Cah. Topol. Géom. Différ. Catég. 44 (2003), no. 1, 39–62 (English, with French summary). MR 1961525
- Timothy Porter, Crossed modules in Cat and a Brown-Spencer theorem for $2$-categories, Cahiers Topologie Géom. Différentielle Catég. 26 (1985), no. 4, 381–388 (English, with French summary). MR 816647
- M. Postnikov, Leçons de géométrie, Traduit du Russe: Mathématiques. [Translations of Russian Works: Mathematics], Éditions Mir, Moscow, 1990 (French). Géométrie différentielle. [Differential geometry]; Translated from the Russian by Irina Petrova. MR 1145002
Additional Information
- João Faria Martins
- Affiliation: Edifício dos Departamentos de Matemática da FCUP, Centro de Matemática da Universidade do Porto, Rua do Campo Alegre, 687, 4169-007 Porto, Portugal
- Address at time of publication: Departamento de Matemática, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa, Quinta da Torre, 2829-516 Caparica, Portugal
- Email: jmartins@math.ist.utl.pt, jn.martins@fct.unl.pt
- Roger Picken
- Affiliation: Departamento de Matemática, Instituto Superior Técnico (Universidade Técnica de Lisboa), Av. Rovisco Pais, 1049-001 Lisboa, Portugal
- Email: rpicken@math.ist.utl.pt
- Received by editor(s): December 4, 2007
- Received by editor(s) in revised form: April 30, 2008
- Published electronically: June 9, 2010
- Additional Notes: The first author was financed by Fundação para a Ciência e Tecnologia (Portugal), post-doctoral grant number SFRH / BPD / 34138 / 2006. This work was supported by the Programa Operacional Ciência e Inovação 2010, financed by the Fundação para a Ciência e a Tecnologia (FCT) and cofinanced by the European Community fund FEDER, in part through the research project Quantum Topology POCI / MAT / 60352 / 2004
- © Copyright 2010
American Mathematical Society
The copyright for this article reverts to public domain 28 years after publication. - Journal: Trans. Amer. Math. Soc. 362 (2010), 5657-5695
- MSC (2010): Primary 53C29; Secondary 18D05
- DOI: https://doi.org/10.1090/S0002-9947-2010-04857-3
- MathSciNet review: 2661492