Group Contractions via Infinite-Dimensional Lie Theory

Abstract

Contractions are a procedure to construct a new Lie algebra out of a given one via a singular limit. Specifically, the İnönü--Wigner construction starts with a Lie algebra $\mathfrak{g}$ with Lie subalgebra $\mathfrak{h}\subseteq \mathfrak{g}$ and complement $\mathfrak{n}$. Then, the vectors in $\mathfrak{n}$ are rescaled by a formal parameter $\epsilon \in {\mathbb{R}}_{+}$, which effectively turns the Lie bracket $[\cdot ,\cdot ]$ into an $\epsilon$-dependent family $[\cdot ,\cdot {]}_{\epsilon }$. Notably, the limit $\epsilon \to 0$ trivializes certain relations, such that the complement $\mathfrak{n}$ becomes an abelian ideal. In the present article, we are not only interested in the limiting Lie algebras and groups, but also in the corresponding power series expansions in $\epsilon$ to understand their limiting behavior. Particularly, we are interested in the integration of the `power-series-expanded' Lie algebras to their corresponding Lie groups. To this end, we reformulate the above procedure using infinite-dimensional Lie algebras of analytic germs and then apply their integration theory. Our main results are a construction of the corresponding `Lie group expansions' in terms of quotients of groups of analytic germs and an explicit description of these groups in elementary terms. Applications of this procedure include the geometric Newtonian limit of General Relativity to Newton--Cartan gravity, where the Poincaré group is contracted to the Galilei group.

22 pages, article; minor revisions; version to appear in Journal of Geometry and Physics

References in corpus (10)

• Lie theory for nilpotent L-infinity algebras
• Action Principle for Newtonian Gravity
• Non-Relativistic Gravity and its Coupling to Matter
• Review on Non-Relativistic Gravity
• (In)finite extensions of algebras from their Inonu-Wigner contractions
• An introduction to infinite-dimensional differential geometry
• Lie Theory for Asymptotic Symmetries in General Relativity: The BMS Group
• The Lie group of real analytic diffeomorphisms is not real analytic
• Lie Theory for Asymptotic Symmetries in General Relativity: The NU Group
• On the singularities of the exponential function of a semidirect product