[Paper Review] An overview of fine gradings on simple Lie algebras

Cristina Draper, Alberto Elduque|arXiv (Cornell University)|Mar 31, 2016

Advanced Topics in Algebra13 references4 citations

TL;DR

This paper provides a comprehensive survey of fine gradings on finite-dimensional simple Lie algebras over algebraically closed fields of characteristic zero, unifying results from multiple sources. It establishes that fine gradings correspond to maximal quasitori in the automorphism group, and classifies these gradings via group-theoretic and algebraic-geometric methods, extending results to modular Lie algebras with caveats in positive characteristic.

ABSTRACT

This paper presents a survey of the results and ideas behind the classification of the fine gradings, up to equivalence, on the simple finite dimensional Lie algebras over an algebraically closed field of characteristic zero. It provides an expanded version of the mini course delivered by the second author at the Conference "Advances in Group Theory and Applications AGTA-2015".

Motivation & Objective

• To unify and clarify the classification of fine gradings on finite-dimensional simple Lie algebras over algebraically closed fields of characteristic zero.
• To explain the structural connection between fine gradings and maximal quasitori in the automorphism group of a Lie algebra.
• To provide a coherent overview of known classification results across classical and exceptional Lie algebras, including types A, D, E, and the exceptional series.
• To extend the classification framework to positive characteristic, identifying where results from characteristic zero remain valid and where they fail.
• To highlight open problems, particularly the classification of fine gradings on E6, E7, and E8 in prime characteristic.

Proposed method

• Use of the correspondence between gradings by an abelian group G and homomorphisms from the Cartier dual G^D to the affine group scheme Aut(A).
• Application of the theory of quasitori and their maximality to classify fine gradings via conjugacy classes in Aut(A).
• Leveraging known results on maximal quasitori in Aut(L) for classical Lie algebras (e.g., sl_n, so_n, sp_n) and exceptional types (G2, F4, E6, E7, E8).
• Utilizing the Tits-Kantor-Koecher construction and octonionic structures to classify gradings on Albert algebras and related Lie algebras.
• Adapting the classification to positive characteristic by replacing group characters with Cartier duals and using affine group schemes instead of algebraic groups.
• Analyzing the behavior of automorphism group schemes in positive characteristic, especially for PSL_n and D4-type algebras, to determine when fine gradings persist.

Experimental results

Research questions

• RQ1 How are fine gradings on simple Lie algebras over algebraically closed fields of characteristic zero classified in terms of maximal quasitori?
• RQ2 What is the role of the Cartier dual and affine group schemes in extending the classification of fine gradings to positive characteristic?
• RQ3 Which fine gradings on exceptional Lie algebras (e.g., G2, F4, E6, E7, E8) are preserved or modified in prime characteristic?
• RQ4 Why do certain gradings, such as the Z3^3-grading on F4, fail to exist in characteristic 3?
• RQ5 What are the structural differences in the automorphism group schemes of PSL3(F) in characteristic 3 compared to characteristic 0, and how do they affect the classification of fine gradings?

Key findings

• Fine gradings on simple Lie algebras over algebraically closed fields of characteristic zero are in bijection with conjugacy classes of maximal quasitori in the automorphism group.
• The classification of fine gradings on classical Lie algebras (A, D, C) and exceptional types (G2, F4, E6) has been completed using maximal quasitori and structural results.
• For E7 and E8, the classification of fine gradings can be extracted from recent work by Jun Yu, though it is not explicitly detailed in this survey.
• In characteristic 3, the Z3^3-grading on the Lie algebra of type F4 does not exist due to the failure of the required algebraic structure.
• In characteristic 3, the automorphism group scheme of PSL3(F) is isomorphic to the automorphism group scheme of the octonions, not to that of M3(F), leading to only two fine gradings (Z^2 and Z2^3) instead of more.
• For D4-type Lie algebras in characteristic 3, all fine gradings arise as restrictions from the matrix algebra with transpose involution, resulting in 14 inequivalent fine gradings.