Normalization conjecture for the Kac–Moody unipotent automorphism group

Let g^\widehat{\mathfrak g} be the completed Kac–Moody algebra, with graded pieces gk\mathfrak g_k, and let

U^=U^1={φAut(g^)φ(y)y+g^k+1 whenever ygk}.\widehat{{U}}=\widehat{{U}}_1=\left\{\varphi\in\operatorname{Aut}(\widehat{\mathfrak g})\mid \varphi(y)\in y+\widehat{\mathfrak g}_{k+1}\text{ whenever }y\in\mathfrak g_k\right\}.

Define

H={φAut(g^)φ(y)gk whenever ygk}.\mathcal H=\left\{\varphi\in\operatorname{Aut}(\widehat{\mathfrak g})\mid \varphi(y)\in\mathfrak g_k\text{ whenever }y\in\mathfrak g_k\right\}.

Normalization conjecture. The group H\mathcal H normalizes U^\widehat{{U}}. This is one of the conjectures proposed for extensions of Scott's definition in the Kac–Moody setting; its resolution concerns the interaction between grading-preserving automorphisms and the unipotent automorphism group.

Sources & referencesView supporting material

Primary source

Abid Ali, Lisa Carbone, Elizabeth Jurisich and Scott H. Murray, “Prosummability in Kac–Moody groups”, arXiv:2601.00971 (2026).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.