[Paper Review] Invariants of Automorphic Lie Algebras

Vincent Knibbeler|arXiv (Cornell University)|Apr 14, 2015

Algebraic structures and combinatorial models28 references3 citations

TL;DR

This thesis introduces invariants for Automorphic Lie Algebras—Lie algebras over rational functions invariant under finite group actions—by leveraging classical invariant theory and the structure of binary polyhedral groups. It establishes that these algebras are free modules over a polynomial ring in one variable, with the number of generators equal to the dimension of the base Lie algebra, and derives a monomial formula for the determinant of invariant vectors, enabling a cohomology theory for root systems and explaining the observed isomorphism uniformity across non-isomorphic reduction groups.

ABSTRACT

Automorphic Lie Algebras arise in the context of reduction groups introduced in the late 1970s in the field of integrable systems. They are subalgebras of Lie algebras over a ring of rational functions, defined by invariance under the action of a finite group, the reduction group. Since their introduction in 2005 a classification is pursued. Past work shows remarkable uniformity between the Lie algebras associated to different reduction groups. That is, many Automorphic Lie Algebras with nonisomorphic reduction groups are isomorphic. In this thesis we set out to find the origin of these observations by searching for properties that are independent of the reduction group, called invariants of Automorphic Lie Algebras. Several invariants are obtained and used to set up a structure theory for Automorphic Lie Algebras. This naturally leads to a cohomology theory for root systems. A first exploration of this structure theory narrows down the search for Automorphic Lie Algebras significantly. Various particular cases are fully determined by their invariants, including most of the previously studied Automorphic Lie Algebras, thereby providing an explanation for their uniformity. In addition, the structure theory advances the classification project. For example, it clarifies the effect of a change in pole orbit resulting in various new Cartan-Weyl normal form generators for Automorphic Lie Algebras. From a more general perspective, the success of the structure theory and root cohomology in absence of a field promises interesting theoretical developments for Lie algebras over a graded ring.

Motivation & Objective

• To identify group-independent invariants in Automorphic Lie Algebras that explain their surprising isomorphism uniformity despite non-isomorphic reduction groups.
• To develop a structure theory for Automorphic Lie Algebras based on invariants derived from classical invariant theory and binary polyhedral group actions.
• To clarify the role of pole orbits and Cartan-Weyl normal form generators through invariant-based classification.
• To establish a cohomology theory for root systems over graded rings, motivated by the structure of Automorphic Lie Algebras.

Proposed method

• Utilizes classical invariant theory to analyze invariants of binary polyhedral groups acting on vector spaces, particularly focusing on ground forms and symmetric powers.
• Applies Fourier transforms and homogenization techniques to construct invariant vectors and define the determinant of invariant vectors as a monomial in ground forms.
• Establishes that Automorphic Lie Algebras are free modules over the polynomial ring in one variable, with rank equal to the dimension of the base Lie algebra.
• Introduces a cohomology theory for root systems by defining $ m $-chains, cocycles, and coboundaries on root systems, with values in $ \mathbb{N}_0^q $, and constructs Lie algebras from 2-cocycles.
• Uses the structure theory to classify particular cases, including dihedral and exceptional pole orbit algebras, by analyzing invariant data.
• Applies the theory to explain isomorphism phenomena in previously studied Automorphic Lie Algebras, showing that invariants fully determine their structure.

Experimental results

Research questions

• RQ1 What invariants of Automorphic Lie Algebras remain unchanged across non-isomorphic reduction groups, and what is their origin in group representation theory?
• RQ2 How can the determinant of invariant vectors be expressed in a closed, monomial form using ground forms?
• RQ3 To what extent do invariants fully determine the structure of Automorphic Lie Algebras, including their Cartan-Weyl normal form generators?
• RQ4 How does a change in the pole orbit affect the structure of Automorphic Lie Algebras, and can this be captured via invariants?
• RQ5 Can a cohomology theory for root systems be developed over graded rings, and how does it relate to the classification of Automorphic Lie Algebras?

Key findings

• Automorphic Lie Algebras are free modules over the polynomial ring in one variable, with the number of generators equal to the dimension of the base Lie algebra, which is an invariant.
• The determinant of invariant vectors is expressed as a monomial in ground forms, providing a simple, explicit invariant formula.
• The structure theory based on invariants fully determines most previously studied Automorphic Lie Algebras, including those with dihedral symmetry and exceptional pole orbits.
• The cohomology theory for root systems, defined via $ m $-chains and $ m $-cocycles, provides a framework to classify Automorphic Lie Algebras and understand their isomorphism classes.
• The theory explains the observed uniformity: non-isomorphic reduction groups can yield isomorphic Automorphic Lie Algebras because they share the same invariants.
• Changes in pole orbit structure are shown to affect the Cartan-Weyl normal form generators, and this effect is systematically captured by the invariant-based structure theory.