Prosummability in Kac--Moody groups

TL;DR

This paper explores the structure of pro-unipotent groups associated with symmetrizable Kac--Moody algebras, demonstrating their construction via pro-summable series and providing explicit descriptions of root subalgebras and groups.

Contribution

It introduces a framework for constructing and analyzing pro-unipotent groups in Kac--Moody settings using standard graded modules and pro-summable series, including imaginary roots.

Findings

Pro-unipotent groups are formed from pro-summable series.

Explicit construction of root subalgebras for all roots, including imaginary.

Complete root groups for imaginary roots are isomorphic to power series groups.

Abstract

Let $\mathfrak{g}$ be a symmetrizable Kac--Moody algebra. We describe {standard graded} $\mathfrak{g}$-modules $V$, which we use to construct a completion $\widehat{V}$ and pro-unipotent group $\widehat{U}$ in $\GL(\widehat{V})$. These standard graded modules include the adjoint module, all integrable modules, Category~$\mathcal{O}$ modules, and opposite Category~$\mathcal{O}$ modules. We prove that the elements of $\widehat{U}$ are pro-summable series, that is, they are projective limits of summable series on quotients $\widehat{V}/\prod_{j=k}^\infty{V}_j$, for each $k>0$. We give an explicit construction of root subalgebras and their completions, corresponding to every root including the imaginary roots. We also construct complete root groups for imaginary roots, whose elements are also pro-summable series acting on $\widehat{V}$. We show that these groups are isomorphic to groups of power series in variables corresponding to basis elements for the imaginary root space.