A synthetic version of Lie's second theorem (Q1656722): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(6 intermediate revisions by 5 users not shown) | |||
Property / author | |||
Property / author: Matthew J. Burke / rank | |||
Property / author | |||
Property / author: Matthew J. Burke / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2963529488 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1605.06378 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Category Theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A synthetic version of Lie's second theorem / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Connected Lie groupoids are internally connected and integral complete in synthetic differential geometry / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3691902 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Formal symplectic groupoid / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Integrability of Lie brackets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Enriched factorization systems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4707052 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3901604 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4145861 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3934579 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3488072 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5470454 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3997818 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Categorical Homotopy Theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Sur l'espace de prolongement différentiable / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 07:14, 16 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A synthetic version of Lie's second theorem |
scientific article |
Statements
A synthetic version of Lie's second theorem (English)
0 references
10 August 2018
0 references
The so-called Lie's second theorem states as follows. Let \(G\) and \(H\) be Lie groups with Lie algebras \(\mathfrak{g} = Lie(G)\) and \(\mathfrak{h} = Lie(H)\), with \(G\) is simply connected. If \(f:\mathfrak{g} \to \mathfrak{h}\) is a morphism of Lie algebras, then there is a unique morphism \(F: G \to H\) of Lie groups lifting \(f\), i.e. such that \(f = Lie(F)\). This well-known and classic theorem for Lie groups allows then to integrate Lie algebra morphisms in Lie group morphisms. Now, in more general situations, for example for Lie groupoids, there is as well-known version of this theorem. In the case of Lie groupoids, one has to replace simply connected by source simply connected, a proof of this theorem can be found for instance in [\textit{K. C. H. Mackenzie} and \textit{P. Xu}, Topology 39, No. 3, 445--467 (2000; Zbl 0961.58009)]. In the paper under review, the author gives a synthetic treatment of Lie theory and in particular of Lie's second theorem. In synthetic differential geometry, one replaces the category MAN of smooth manifolds by a well adapted Grothendieck topos \(\mathcal{E}\) explained for example in section 2 of the paper. Working in the context of synthetic differential geometry allows in particular the author to extend Lie theory study for Lie groupoids to at least two interesting types of groupoids in \(\mathcal{E}\), jet groupoids and integral complete groupoids, studied in Section 4 and 6 of the paper under review.
0 references
Lie theory
0 references
Lie groupoids
0 references
synthetic differential geometry
0 references
0 references