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.

Lie 2-groups from loop group extensions

Lie 2-groups from loop group extensions

Extending Structures for Lie 2-Algebras

A Lie algebra attached to a projective variety

Conjugacy and Element-Conjugacy of Homomorphisms of Compact Lie Groups

Open strings in Lie groups and associative products

Crossed Modules for Lie 2-Algebras

Explicit Non-Abelian Gerbes with Connections

$Q$-Conjugacy Classes in Loop Groups

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

Three-dimensional loops as sections in a four-dimensional solvable Lie group

Discrete subgroups of semisimple Lie groups, beyond lattices

A crossed module representation of a $2$-group constructed from the $3$-loop group $Ω^3 G$

Central Extensions of Loop Groups and Obstruction to Pre-Quantization

Loop Schrödinger-Virasoro Lie Conformal Algebra

The compact exceptional Lie algebra $\mathfrak g^c_2$ as a twisted ring group

How an action that stabilizes a bundle gerbe gives rise to a Lie group extension

An infinite-rank Lie algebra associated to SL$(2,\mathbb R)$ and SL$(2,\mathbb R)/U(1)$

Smooth Cartan triples and Lie twists over Hausdorff étale Lie groupoids

On fibrations of Lie groupoids

Central extensions of higher groups: Green-Schwarz mechanism and 2-connections