[Paper Review] Real forms and finite order automorphisms of affine Kac-Moody algebras - an outline of a new approach

Ernst Heintze|ArXiv.org|Dec 14, 2007

Algebraic structures and combinatorial models3 citations

TL;DR

This paper presents a simplified, elementary approach to classifying real forms and finite-order automorphisms of affine Kac-Moody algebras, applicable to both smooth and algebraic loop algebras. By focusing on standard isomorphisms and leveraging results from Levstein and Hermann actions, it establishes that all finite-order automorphisms are quasiconjugate to standard forms, enabling a unified classification across smooth and algebraic settings with bijective invariants.

ABSTRACT

We outline a new approach to classify real forms and automorphisms of finite order of affine Kac-Moody algebras.

Motivation & Objective

• To develop a simpler, more elementary approach to classifying real forms and finite-order automorphisms of affine Kac-Moody algebras.
• To unify the classification across smooth and algebraic loop algebras, showing equivalence in results despite different analytic and algebraic frameworks.
• To establish that all finite-order automorphisms are quasiconjugate to standard forms, simplifying the classification problem.
• To prove bijectivity of invariants mapping quasiconjugacy classes of automorphisms to structural data in the Lie algebra.
• To extend results on Cartan decompositions and real forms from the smooth to the algebraic setting using compact real forms and group actions.

Proposed method

• Uses isomorphisms between affine Kac-Moody algebras that preserve the loop algebra structure and are induced by automorphisms of the underlying simple Lie algebra.
• Defines smooth and algebraic loop algebras $L(rak{g}, ho)$ and $L_{ ext{alg}}(rak{g}, ho)$ via twisted periodicity conditions with automorphisms $ ho$ of finite or infinite order.
• Constructs the affine Kac-Moody algebra $ ilde{L}(rak{g}, ho)$ as a two-dimensional extension of the loop algebra with central element $c$ and derivation $d$, using the Killing form and derivative in the bracket.
• Applies the concept of quasiconjugacy to reduce any finite-order automorphism to a standard form $ ilde{ ho}d = ho d$, $ ilde{ ho}u(t) = ho_0(u( ho t + t_0))$, simplifying classification.
• Uses the Hermann action and $ ho$-action on compact Lie groups to prove hyperpolarity and orthogonality of orbits, which supports injectivity of the invariant map.
• Applies Levstein’s theorem on existence of $ ilde{ ho}$-invariant Cartan subalgebras to reduce automorphisms to standard form, enabling classification via invariants in $rak{J}^q_\epsilon(\frak{g})$.

Experimental results

Research questions

• RQ1 Can the classification of finite-order automorphisms of affine Kac-Moody algebras be simplified beyond existing 100-page treatments?
• RQ2 Do the same classification results hold for both smooth and algebraic loop algebras, despite differing analytic and algebraic structures?
• RQ3 Are all finite-order automorphisms of affine Kac-Moody algebras quasiconjugate to standard forms of the type $u(t) o ho_0(u( ho t + t_0))$?
• RQ4 Can the invariant map $I^q_\epsilon$ from quasiconjugacy classes to structural data in $rak{J}^q_\epsilon(\frak{g})$ be proven bijective using elementary methods?
• RQ5 How do compact real forms and group actions like Hermann’s contribute to proving injectivity of the classification map in the algebraic case?

Key findings

• All finite-order automorphisms of affine Kac-Moody algebras are quasiconjugate to standard forms of the type $ ilde{ ho}u(t) = ho_0(u( ho t + t_0))$, simplifying classification.
• The classification of real forms and finite-order automorphisms is equivalent in both the smooth and algebraic categories, despite different foundational frameworks.
• The invariant map $I^q_\epsilon$ from quasiconjugacy classes of automorphisms to $rak{J}^q_\epsilon(\frak{g})$ is bijective, with surjectivity derived from the smooth case and injectivity established via group actions.
• The existence of a $ ho$-invariant compact real form in $rak{g}$ allows reduction of automorphisms to standard form, even when $ ho$ is not of finite order initially.
• Levstein’s result on invariant Cartan subalgebras enables the reduction of any finite-order automorphism to a standard form, which is essential for proving injectivity of $I^q_\epsilon$.
• The Hermann action and hyperpolarity of the $ ho$-action on compact Lie groups ensure that maximal tori meet orbits orthogonally, which underpins the injectivity proof in the algebraic setting.