[Paper Review] Gradings on symmetric composition algebras

Alberto Elduque|ArXiv.org|Sep 11, 2008

Advanced Topics in Algebra18 references3 citations

TL;DR

This paper classifies group gradings on symmetric composition algebras over arbitrary fields, revealing that fine gradings on the pseudo-octonion algebra (split Okubo algebra) are either ℤ²-grading from Cartan subalgebras or ℤ₃²-grading intrinsic to Okubo algebras. These gradings are then applied to construct fine gradings on exceptional Lie algebras, including a ℤ₂⁵-grading on E₈ via Dempwolff decomposition.

ABSTRACT

The group gradings on the symmetric composition algebras over arbitrary fields are classified. Applications of this result to gradings on the exceptional simple Lie algebras are considered too.

Motivation & Objective

• To classify all group gradings on symmetric composition algebras over arbitrary fields.
• To understand how gradings on symmetric composition algebras, particularly Okubo algebras, give rise to new gradings on exceptional Lie algebras.
• To construct and characterize fine gradings on exceptional simple Lie algebras using the structure of symmetric composition algebras.
• To establish connections between gradings on composition algebras and known gradings like the Dempwolff decomposition of E₈.

Proposed method

• Use the universal grading group construction to classify gradings up to equivalence, reducing to abelian group gradings.
• Apply the classification of gradings on octonion algebras from Elduque (1998) as a foundational tool.
• Distinguish symmetric composition algebras into para-Hurwitz and Okubo types, analyzing their distinct grading behaviors.
• Leverage the triality structure of the Lie algebra of derivations of symmetric composition algebras to construct gradings on exceptional Lie algebras.
• Construct gradings on E₈ using tensor products of ℤ₂³-graded composition algebras and define the grading via the action of adjoint maps on homogeneous components.
• Verify that the resulting ℤ₂⁵-grading on E₈ is a Dempwolff decomposition by showing that its homogeneous subspaces are toral and abelian.

Experimental results

Research questions

• RQ1 What are the complete group gradings on symmetric composition algebras over arbitrary fields, and how do they differ between para-Hurwitz and Okubo types?
• RQ2 How do the ℤ₃²-gradings of Okubo algebras contribute to the structure of exceptional Lie algebras?
• RQ3 Can fine gradings on exceptional Lie algebras like E₈ be constructed from gradings on symmetric composition algebras?
• RQ4 What is the role of the universal grading group in classifying equivalent gradings on these algebras?
• RQ5 How do the resulting gradings on E₈ relate to known structures such as the Dempwolff decomposition?

Key findings

• Over an algebraically closed field of characteristic ≠ 3, all fine gradings on the pseudo-octonion algebra are either ℤ²-grading from Cartan subalgebras or ℤ₃²-grading intrinsic to Okubo algebras.
• The split Okubo algebra admits a natural ℤ₃²-grading not present in para-Hurwitz algebras, arising from its non-unital structure.
• Fine gradings on E₈ can be constructed via tensor products of ℤ₂³-graded composition algebras, yielding a ℤ₂⁵-grading that is a Dempwolff decomposition.
• The ℤ₂⁵-grading on E₈ is shown to be a Dempwolff decomposition by proving that its homogeneous subspaces are abelian and toral.
• The adjoint action of homogeneous elements on the Lie algebra of derivations is semisimple, confirming the torality of the grading components.
• The construction provides a natural realization of the ℤ₂⁵-grading on E₈ as a coarsening of a ℤ₂⁸-grading, with the former being a fine grading.