No Arabic abstract
A Lie 2-group $G$ is a category internal to the category of Lie groups. Consequently it is a monoidal category and a Lie groupoid. The Lie groupoid structure on $G$ gives rise to the Lie 2-algebra $mathbb{X}(G)$ of multiplicative vector fields, see (Berwick-Evans -- Lerman). The monoidal structure on $G$ gives rise to a left action of the 2-group $G$ on the Lie groupoid $G$, hence to an action of $G$ on the Lie 2-algebra $mathbb{X}(G)$. As a result we get the Lie 2-algebra $mathbb{X}(G)^G$ of left-invariant multiplicative vector fields. On the other hand there is a well-known construction that associates a Lie 2-algebra $mathfrak{g}$ to a Lie 2-group $G$: apply the functor $mathsf{Lie}: mathsf{Lie Groups} to mathsf{Lie Algebras}$ to the structure maps of the category $G$. We show that the Lie 2-algebra $mathfrak{g}$ is isomorphic to the Lie 2-algebra $mathbb{X}(G)^G$ of left invariant multiplicative vector fields.
We show that the category of vector fields on a geometric stack has the structure of a Lie 2-algebra. This proves a conjecture of R.~Hepworth. The construction uses a Lie groupoid that presents the geometric stack. We show that the category of vector fields on the Lie groupoid is equivalent to the category of vector fields on the stack. The category of vector fields on the Lie groupoid has a Lie 2-algebra structure built from known (ordinary) Lie brackets on multiplicative vector fields of Mackenzie and Xu and the global sections of the Lie algebroid of the Lie groupoid. After giving a precise formulation of Morita invariance of the construction, we verify that the Lie 2-algebra structure defined in this way is well-defined on the underlying stack.
The systematic study of CR manifolds originated in two pioneering 1932 papers of Elie Cartan. In the first, Cartan classifies all homogeneous CR 3-manifolds, the most well-known case of which is a one-parameter family of left-invariant CR structures on $mathrm{SU}_2 = S^3$, deforming the standard `spherical structure. In this paper, mostly expository, we illustrate and clarify Cartans results and methods by providing detailed classification results in modern language for four 3-dimensional Lie groups. In particular, we find that $mathrm{SL}_2(mathbb{R})$ admits two one-parameter families of left-invariant CR structures, called the elliptic and hyperbolic families, characterized by the incidence of the contact distribution with the null cone of the Killing metric. Low dimensional complex representations of $mathrm{SL}_2(mathbb{R})$ provide CR embedding or immersions of these structures. The same methods apply to all other three-dimensional Lie groups and are illustrated by descriptions of the left-invariant CR structures for $mathrm{SU}_2$, the Heisenberg group, and the Euclidean group.
The Linearization Theorem for proper Lie groupoids organizes and generalizes several results for classic geometries. Despite the various approaches and recent works on the subject, the problem of understanding invariant linearization remains somehow open. We address it here, by first giving a counter-example to a previous conjecture, and then proving a sufficient criterion that uses compatible complete metrics and covers the case of proper group actions. We also show a partial converse that fixes and extends previous results in the literature.
We are interested in the class, in the Elie Cartan sense, of left invariant forms on a Lie group. We construct the class of Lie algebras provided with a contact form and classify the frobeniusian Lie algebras up to a contraction. We also study forms which are invariant by a subgroup. We show that the simple group SL(2n,R) which doesnt admit left invariant contact form, yet admits a contact form which is invariant by a maximal compact subgroup. We determine also Pfaffian forms on the Heisenberg $3$-dimensional group invariant by a subgroup and obtain the Transport Equation.
We prove how the universal enveloping algebra constructions for Lie-Rinehart algebras and anchored Lie algebras are naturally left adjoint functors. This provides a conceptual motivation for the universal properties these constructions satisfy. As a supplement, the categorical approach offers new insights into the definitions of Lie-Rinehart algebra morphisms, of modules over Lie-Rinehart algebras and of the infinitesimal gauge algebra of a module.