A Lie group corresponding to the free Lie algebra and its universality

Yury A. Neretin
2024-11-18
Abstract:Consider the real free Lie algebra $\mathfrak{fr}_n$ with generators $\omega_1$, \dots, $\omega_n$. Since it is positively graded, it has acompletion $\overline{\mathfrak{fr}}_n$ consisting of formal series. By the Campbell-Hausdorff formula, we have a corresponding Lie group $\overline{\mathrm{Fr}}_n$. It is the set $\exp\bigl(\overline{\mathfrak{fr}}_n\bigr)$ in the completed universal enveloping algebra of $\mathfrak{fr}_n$. Also, the group $\overline{\mathrm{Fr}}_n$ is a 'submanifold' in the algebra of formal associative noncommutative series in $\omega_1$, \dots, $\omega_n$, the 'submanifold' is determined by a certain system of quadratic equations. In this note, we consider a certain dense subgroup $\mathrm{Fr}_n^\infty\subset \overline{\mathrm{Fr}}_n$ with a stronger topology and show that any surjective homomorphism from $\mathfrak{fr}_n$ to a real finite-dimensional Lie algebra $\mathfrak{g}$ lifts to a surjective homomorphism from $\mathrm{Fr}_n^\infty$ to the corresponding simply connected Lie group $G$. Note that Pestov (1993) constructed a separable Banach-Lie group such that any separable Banach-Lie group is its quotient.
Group Theory,Rings and Algebras,Representation Theory
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to construct a Lie group \( \mathrm{Fr}_n \) corresponding to the free Lie algebra \( \mathfrak{fr}_n \) and explore its properties under different topologies. Specifically, the author focuses on the following points: 1. **Definition and properties of the Lie group \( \mathrm{Fr}_n \)**: - Through the Campbell - Hausdorff formula, the Lie group \( \mathrm{Fr}_n \) is defined as the image of the exponential mapping of formal series in the completed free Lie algebra \( \mathfrak{fr}_n \). - The \( \mathrm{Fr}_n \) is explored as a "sub - manifold" in the algebra of formal non - commutative series, and this "sub - manifold" is determined by a set of quadratic equations. 2. **Introduction of the dense subgroup \( \mathrm{Fr}_n^\infty \)**: - A dense subgroup \( \mathrm{Fr}_n^\infty \subset \mathrm{Fr}_n \) with a stronger topology is introduced. - It is proved that any surjective homomorphism from \( \mathfrak{fr}_n \) to a real finite - dimensional Lie algebra \( \mathfrak{g} \) can be lifted to a surjective homomorphism from \( \mathrm{Fr}_n^\infty \) to the corresponding simply - connected Lie group \( G \). 3. **Discussion of the universal property**: - The universal property of \( \mathrm{Fr}_n^\infty \) is discussed, that is, any surjective homomorphism from \( \mathfrak{fr}_n \) to a real finite - dimensional Lie algebra \( \mathfrak{g} \) can be uniquely lifted to a surjective homomorphism from \( \mathrm{Fr}_n^\infty \) to the corresponding simply - connected Lie group \( G \). - The properties of \( \mathrm{Fr}_n^\infty \) as a Banach - Lie group are further discussed, and it is proved that it is a Polish group and contractible. 4. **Properties of the ordered exponential function**: - The properties of the differential of paths and the ordered exponential function are explored, especially in \( \mathrm{Fr}_n \) and \( \mathrm{Fr}_n^\infty \). - The continuity and convergence of the ordered exponential function in \( \mathrm{Fr}_n^\xi \) and \( \mathrm{Fr}_n^\infty \) are proved. Through these studies, the author aims to provide a deeper understanding of the free Lie algebra and its corresponding Lie group, and explore their properties and applications under different topologies.