A Synthetic Version of Lie’s Second Theorem
- 25 Downloads
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.
KeywordsLie theory Lie groupoid Lie algebroid Category theory Factorisation system Synthetic differential geometry Intuitionistic logic
Unable to display preview. Download preview PDF.
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.
- 2.Burke, M.: A synthetic version of lie’s second theorem (2016). arXiv:1605.06378
- 3.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)Google Scholar
- 7.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)Google Scholar
- 9.Hazewinkel, M.: Formal Groups and Applications, volume 78 of Pure and Applied Mathematics. Academic Press, New York (1978)Google Scholar
- 11.Johnstone, P.T.: Sketches of an Elephant: A Topos Theory Compendium, volume 3 of Oxford Logic Guides. Oxford University Press, Oxford (2014)Google Scholar
- 13.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]Google Scholar
- 17.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 editionGoogle Scholar
- 20.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) editionGoogle Scholar