Abstract
We formulate and prove a generalisation of Lie’s second theorem that integrates homomorphisms between formal group laws to homomorphisms between Lie groups. Firstly we generalise classical Lie theory by replacing groups with groupoids. Secondly we include groupoids whose underlying spaces are not smooth manifolds. The main intended application is when we replace the category of smooth manifolds with a well-adapted model of synthetic differential geometry. In addition we provide an axiomatic system that provides all the abstract structure that is required to prove Lie’s second theorem.
Similar content being viewed by others
References
Awodey, S.: Category Theory. Oxford Logic Guides, vol. 49. Oxford University Press, New York (2006)
Burke, M.: A synthetic version of lie’s second theorem (2016). arXiv:1605.06378
Burke, M.: Connected Lie groupoids are internally connected and integral complete in synthetic differential geometry. SIGMA Symmetry Integrability Geom. Methods Appl. 13, Paper No. 007, 25 (2017)
Cassidy, C., Hébert, M., Kelly, G.M.: Reflective subcategories, localizations and factorization systems. J. Aust. Math. Soc. Ser. A 38(3), 287–329 (1985)
Cattaneo, A.S., Dherin, B., Felder, G.: Formal symplectic groupoid. Commun. Math. Phys. 253(3), 645–674 (2005)
Crainic, M., Fernandes, R.L.: Integrability of Lie brackets. Ann. Math. (2) 157(2), 575–620 (2003)
Day, B.: On adjoint-functor factorisation. In: Category Seminar (Proceedings Seminar, Sydney, 1972/1973), pp. 1–19. Lecture Notes in Mathematics, vol. 420. Springer, Berlin (1974)
Grandis, M., Mauri, L.: Cubical sets and their site. Theory Appl. Categ. 11, 185–211 (2003)
Hazewinkel, M.: Formal Groups and Applications, volume 78 of Pure and Applied Mathematics. Academic Press, New York (1978)
Johnstone, P.T.: Topos Theory. London Mathematical Society Monographs, vol. 10. Academic Press, London (1977)
Johnstone, P.T.: Sketches of an Elephant: A Topos Theory Compendium, volume 3 of Oxford Logic Guides. Oxford University Press, Oxford (2014)
Kelly, G.M.: A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on. Bull. Aust. Math. Soc. 22(1), 1–83 (1980)
Kelly, G.M.: Basic concepts of enriched category theory. Repr. Theory Appl. Categ. 10, vi+137 (2005). Reprint of the 1982 original [Cambridge University Press, Cambridge; MR0651714]
Kock, A.: On the integration theorem for Lie groupoids. Czechoslov. Math. J. 39(3), 423–431 (1989)
Kock, A.: Synthetic Differential Geometry, volume 333 of London Mathematical Society Lecture Note Series, 2nd edn. Cambridge University Press, Cambridge (2006)
Lucyshyn-Wright, R.B.B.: Enriched factorisation systems. Theory Appl. Categ. 29(18), 475–495 (2014)
MacLane, S., Moerdijk, I.: Sheaves in Geometry and Logic. A First Introduction to Topos Theory. Universitext. Springer, New York (1994). Corrected reprint of the 1992 edition
Moerdijk, I., Reyes, G.E.: Models for Smooth Infinitesimal Analysis. Springer, New York (1991)
Riehl, E.: Categorical Homotopy Theory. New Mathematical Monographs, vol. 24. Cambridge University Press, Cambridge (2014)
Serre, J.-P.: Lie Algebras and Lie Groups, volume 1500 of Lecture Notes in Mathematics. Springer, Berlin (2006). 1964 lectures given at Harvard University, Corrected fifth printing of the second (1992) edition
van Quê, N.: Sur l’espace de prolongement différentiable. J. Differ. Geom. 2, 33–40 (1968)
Acknowledgements
The author is very grateful for the constructive comments offered by and the corrections indicated by the reviewer. The author would like to acknowledge the assistance of Richard Garner, my Ph.D. supervisor at Macquarie University Sydney, who provided valuable comments and insightful discussions in the genesis of this work. In addition the author is grateful for the support of an International Macquarie University Research Excellence Scholarship and a Postdoctoral Scholarship from the Department of Mathematics and Statistics at the University of Calgary.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Michel Van den Bergh.
The author acknowledges the support of an International Macquarie University Research Excellence Scholarship and a Postdoctoral Scholarship from the Department of Mathematics and Statistics at the University of Calgary.
Rights and permissions
About this article
Cite this article
Burke, M. A Synthetic Version of Lie’s Second Theorem. Appl Categor Struct 26, 767–798 (2018). https://doi.org/10.1007/s10485-018-9518-2
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10485-018-9518-2