🔢 mathematics

Homogeneous Freudenthal algebras and the first Tits construction

This paper investigates the homogeneity of Freudenthal algebras by establishing necessary and sufficient conditions for their Jordan isotopes to be isomorphic, linking this property to the first Tits construction and analyzing its behavior over complete fields and in relation to rank-2 tori embeddings.

Original authors: Holger P. Petersson, Maneesh Thakur

Published 2026-03-19

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Holger P. Petersson, Maneesh Thakur

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine you are an architect designing buildings. In the world of mathematics, these "buildings" are called algebras. They are complex structures made of numbers and rules for how those numbers interact.

This paper, written by Holger Petersson and Maneesh Thakur, is like a detective story investigating a very specific type of building called a Freudenthal Algebra. The authors are trying to solve a mystery: When are these buildings "perfectly symmetrical" in a way that no matter how you rearrange their furniture, they still look and feel exactly the same?

Here is the breakdown of their investigation using simple analogies:

1. The Building Blocks: What is a Freudenthal Algebra?

Think of Composition Algebras (like the famous Octonions) as the "Legos" of this world. They come in specific sizes (1, 2, 4, or 8 dimensions).
Freudenthal Algebras are the next generation of these Legos. They are built to satisfy a "cubic" rule (involving cubes of numbers) rather than a quadratic one. They come in specific sizes too: 1, 3, 6, 9, 15, and 27 dimensions.

The Big One: The 27-dimensional version is called an Albert Algebra. It's the "Mega-Mansion" of this field.

2. The Mystery: What is "Homogeneity"?

Imagine you have a house. You can take a chair from the living room and move it to the kitchen. In a normal house, this changes the "vibe" of the rooms.
But in a Homogeneous house, every room is so perfectly designed that if you swap a chair from the living room to the kitchen, the kitchen becomes a perfect copy of the living room. The house looks exactly the same, just with the furniture rearranged.

In math terms:

An Isotope is a way of rearranging the algebra (like moving the furniture).
An algebra is Homogeneous if every possible rearrangement results in a structure that is identical to the original.
Why does this matter? Sometimes, a math problem is impossible to solve in the "original" house, but if you move the furniture (switch to an isotope), the solution suddenly appears. If the house is homogeneous, you know you can always find a version of the house where the solution works.

3. The Tool: The "First Tits Construction"

How do you build these massive 27-dimensional houses? The authors use a blueprint called the First Tits Construction.

The Analogy: Imagine you have a small, sturdy shed (a simpler algebra). The First Tits Construction is a magical machine that takes that shed and expands it into a massive mansion.
The Discovery: The authors found that if you build a mansion using this specific machine, it is always homogeneous. It's perfectly symmetrical by design.
The Twist: They also found that you can build a 9-dimensional house (a smaller version) using this machine that isn't homogeneous. It's like building a house with the right blueprints but using the wrong materials, so the symmetry breaks.

4. The Investigation: When is a House Homogeneous?

The authors spent the paper trying to answer: "If I have a Freudenthal algebra, how can I tell if it's homogeneous without trying every single rearrangement?"

They developed a set of "inspection checklists" (mathematical criteria):

The "Valuation" Check: They looked at these algebras over "complete fields" (think of these as fields with a very precise measuring tape, like the real numbers or p-adic numbers). They discovered that if a house is "ramified" (a technical term meaning it has a specific kind of twist or branch), it is almost always homogeneous.
The "Residue" Check: They realized that to understand a complex house, you can look at its "foundation" (the residue field). If the foundation is symmetrical, the whole house is likely symmetrical. This allowed them to classify these algebras by looking at simpler, smaller versions of them.

5. The Big Conclusion

The paper provides a complete "catalog" of these algebras. They found that Strictly Homogeneous algebras (those that stay symmetrical even if you change the laws of physics/field they live in) fall into three neat categories:

The Split Ones: The most basic, standard versions (like a generic grid).
The "D" Ones: Built from a specific type of 3x3 matrix algebra.
The First Tits Construction: The ones built using that magical expansion machine mentioned earlier.

6. The Side Quest: Clifford Algebras

In the final chapter, they briefly looked at a different type of building called Jordan Algebras of Clifford Type (related to quadratic forms). They proved a simple rule: If the underlying shape (the quadratic form) is "round" (meaning it looks the same from every angle and has no weird distortions), then the resulting algebra is perfectly homogeneous.

Summary

This paper is a masterclass in classification. The authors took a confusing, abstract world of high-dimensional number systems and said:

"Don't worry about the chaos. If you build your algebra using the First Tits Construction, it's perfect. If you have a ramified division algebra over a complete field, it's perfect. And here is exactly how to tell the difference between the perfect ones and the imperfect ones."

They essentially gave mathematicians a map to navigate the landscape of these complex algebraic structures, ensuring that whenever they need a "symmetrical" algebra for a proof, they know exactly where to find one.

1. Problem Statement and Context

The paper investigates the interplay between three fundamental algebraic concepts: Freudenthal algebras, homogeneous Jordan algebras, and the first Tits construction.

Freudenthal Algebras: These are cubic Jordan algebras that remain simple under all base field extensions. They serve as the degree-3 analogue to composition algebras. Their dimensions are restricted to 1, 3, 6, 9, 15, and 27. The 27-dimensional case corresponds to Albert algebras.
Homogeneity: A Jordan algebra $J$ is called homogeneous if all its isotopes $J(p)$ (algebras obtained by twisting the structure via an invertible element $p$ ) are isomorphic to $J$ . This property is crucial because many structural properties of Jordan algebras hold only up to isotopy.
The Core Question: The authors address the question: Under what conditions is a Freudenthal algebra homogeneous? Specifically, they seek to determine if every homogeneous Albert division algebra arises from the first Tits construction, and to characterize homogeneous Freudenthal algebras of lower dimensions (9, 15).

While it was known that Albert division algebras arising from the first Tits construction are homogeneous, the converse was an open problem. The authors found that the converse does not hold for dimension 9, necessitating a systematic investigation of the general case.

2. Methodology

The authors employ a combination of structural algebra, cohomological invariants, and valuation theory.

Invariants and Classification: The paper relies heavily on cohomological invariants (mod 2 and mod 3) to classify Freudenthal algebras.
- Mod 2 Invariants ( $f_r, f_{r+2}$ ): Derived from the norm of the underlying composition algebra and the coordinate structure.
- Mod 3 Invariants ( $g_2, g_3$ ): Related to the Brauer group and the division property of the algebra.
- The authors analyze how these invariants behave under isotopy to define quasi-homogeneous algebras (where invariants remain unchanged under isotopy).
The Tits Constructions:
- First Tits Construction: $J(A, \mu)$ , built from a cubic alternative algebra $A$ and a scalar $\mu$ .
- Second Tits Construction: Built from an associative involutorial system.
- The authors use the relationship between these constructions and the automorphism groups of the algebras to derive criteria for homogeneity.
Local-Global Principles and Valuations:
- A significant portion of the work involves studying Freudenthal division algebras over complete fields with discrete valuations.
- The authors extend the theory of valuations to Jordan division rings (building on Petersson's earlier work) to analyze ramification indices ( $e_{J/F}$ ) and residue algebras ( $\bar{J}$ ).
- They establish a reduction principle: properties of algebras over a complete field $F$ can often be deduced from their residue algebras over the residue field $\bar{F}$ .
Tori and Embeddings: The paper investigates the embeddability of rank-2 tori (specifically norm-1 elements of cubic subfields) into the automorphism group scheme $\text{Aut}(A)$ . This is linked to the discriminant of the subfield and the octonion algebra associated with the Albert algebra.

3. Key Contributions and Results

A. Homogeneity Criteria and Counterexamples

Dimension 9 Counterexample: The authors prove that the analogue of the Albert division algebra theorem fails for dimension 9. They construct examples of 9-dimensional Freudenthal division algebras that are first Tits constructions but not homogeneous.
Quasi-Homogeneity: They introduce the concept of quasi-homogeneity (invariants are isotopy-invariant). They show that for reduced algebras or those of dimension $<27$ , quasi-homogeneity is equivalent to homogeneity.
Main Theorem (Thm 5.4):
- If all 15-dimensional Freudenthal algebras are homogeneous, then all Albert algebras are quasi-homogeneous.
- If all reduced 9-dimensional Freudenthal algebras are homogeneous, then all Freudenthal algebras of dimension $\ge 9$ are homogeneous.
- If the split algebra of symmetric $3\times3$ matrices ( $\text{Her}_3(k)$ ) is homogeneous, then all Freudenthal algebras over $k$ are homogeneous.

B. Strict Homogeneity

An algebra is strictly homogeneous if it remains homogeneous under all base field extensions.
Classification (Cor 6.5): A proper Freudenthal algebra is strictly homogeneous if and only if it is:
1. Split of dimension $\ge 9$ .
2. Isomorphic to $D^{(+)}$ for a central associative division algebra $D$ of degree 3 (dimension 9).
3. An Albert division algebra arising from the first Tits construction.
This provides a complete classification of strictly homogeneous proper Freudenthal algebras.

C. Valuation Theory and Ramification

Ramification Analysis: The authors classify Freudenthal division algebras over a complete discrete valued field $F$ based on their ramification index ( $e=1$ unramified, $e=3$ ramified).
Ramified Algebras (Cor 8.6): They prove that all ramified Freudenthal division algebras are homogeneous. Furthermore, any ramified Freudenthal division algebra is a first Tits construction of the form $J(A, \pi)$ , where $A$ is an unramified cubic associative division algebra and $\pi$ is a prime element.
Unramified Algebras (Cor 8.10): For unramified algebras of dimension 9, homogeneity is determined entirely by the residue algebra: $J$ is homogeneous if and only if its residue algebra $\bar{J}$ is homogeneous.

D. Local-Global Principles

Theorem 4.1: An Albert division algebra is a first Tits construction if and only if it is a first Tits construction at every separable cubic subfield.
Torus Embedding (Thm 4.6): The authors link the property of being a first Tits construction at a subfield $L$ to the isogenic embedding of the rank-2 torus $L^{(1)}$ (norm-1 elements) into the automorphism group $\text{Aut}(A)$ . This embedding exists if and only if the discriminant of $L$ is a subalgebra of the octonion algebra $\text{Oct}(A)$ .

E. Clifford Type Algebras

In the epilogue, the authors characterize homogeneous Jordan algebras of Clifford type (associated with pointed quadratic forms). They prove that such an algebra is homogeneous if and only if the underlying quadratic form is round (the set of represented values equals the group of similitudes). Consequently, Jordan algebras of pointed Pfister forms are strictly homogeneous.

4. Significance

Resolution of Open Questions: The paper clarifies the relationship between homogeneity and the Tits constructions, showing that while the first Tits construction guarantees homogeneity for Albert algebras, the converse is not true for lower dimensions (specifically dimension 9).
Unified Classification: It provides a unified framework for classifying Freudenthal algebras over complete fields, extending previous results on Albert algebras to all dimensions (9, 15, 27).
Structural Insight: By connecting homogeneity to the behavior of invariants under isotopy and the structure of automorphism groups (specifically torus embeddings), the paper deepens the understanding of the geometric and arithmetic properties of exceptional algebraic groups (types $F_4, E_6, E_7, E_8$ ).
Methodological Advancement: The rigorous treatment of valuations on Jordan algebras and the derivation of local-global principles for Tits constructions offer new tools for the study of non-associative algebras over local and global fields.

In summary, the paper establishes that homogeneity is a robust property closely tied to the first Tits construction and ramification, providing a complete classification for strictly homogeneous algebras and revealing subtle distinctions in the 9-dimensional case that were previously unresolved.