No label defined (Q3975321)

[For the entire collection see Zbl 0728.00010.] Let \(A\) be a symmetrizable generalized Cartan matrix and \({\mathfrak g}(A)\) be the corresponding Kac-Moody algebra. Consider a completion \(\overline {{\mathfrak g}}(A)\) of \({\mathfrak g}(A)\) characterized by \(\{M_ \alpha\} \in \overline {{\mathfrak g}} (A)\) if and only if given any \(t > 0\) there exists a constant \(K_ t\) such that \(\| \sum_{\alpha, ht\alpha = n} M_ \alpha \| \leq K_ t e^{-t | n|}\), where \(\| \cdot\|\) is the norm with respect to the positive definite inner product on \({\mathfrak g}(A)\). Let \(C^ \infty (I, \overline {\mathfrak g}(A))\) be the space of \(C^ \infty\) functions from the unit interval \(I\) into \(\overline {{\mathfrak g}}(A)\). The main result of the paper is the construction of a Lie group structure on the space \(C^ \infty (I, \overline {{\mathfrak g}} (A))\). Set \(\Omega = \{\varphi \in C^ \infty (I, \overline {{\mathfrak g}} (A)) : \int^ 1_ 0 \varphi (\sigma) d\sigma = 0\}\). The exact sequence \(0 \to \Omega \to C^ \infty (I, \overline {{\mathfrak g}}(A)) \to \overline {{\mathfrak g}} (A) \to 0\) of topological Lie algebras is exhibited.