Motives, cohomological invariants and Freudenthal magic square

This paper investigates cohomological and motivic invariants of semisimple algebraic groups within the Freudenthal magic square, establishing a new isotropy criterion for strongly inner groups of type $E_7$ based on the Rost invariant and constructing a degree 5 cohomological invariant that detects isotropy for certain groups of type $^2E_6$.

The Gist

Imagine you are an architect trying to understand the stability and hidden blueprints of a set of incredibly complex, magical buildings. These aren't made of brick and mortar, but of abstract mathematical structures called algebraic groups.

This paper is like a detective story where three mathematicians (Geldhauser, Henke, and Zhykhovich) investigate these buildings to find out two things:

1. Are they standing tall, or are they collapsing? (In math terms: Is the group "isotropic" or "anisotropic"?)
2. What are their secret fingerprints? (In math terms: What are their "cohomological invariants"?)

Here is the breakdown of their adventure, using everyday analogies.

1. The Magic Square: A Periodic Table for Magic Buildings

The story starts with a famous grid called the Freudenthal Magic Square. Think of this like the Periodic Table of Elements, but instead of elements like Gold or Oxygen, it lists different types of "magical" algebraic groups.

• The Grid: It's a 4x4 table. The rows and columns represent different types of mathematical ingredients (like scalars, quaternions, octonions, and Albert algebras).
• The Result: When you mix these ingredients in specific ways (using something called the "Tits construction"), you get the magnificent buildings in the grid.
• The Discovery: The authors found a new symmetry in this grid. They realized that certain buildings in the square share a hidden "genetic code" that determines their stability.

2. The Tools: Invariants and Motives

To study these buildings, the authors use two special tools:

• Cohomological Invariants (The "Fingerprints"):
  Imagine every building has a unique scent or a specific pattern of cracks that only appears under certain conditions. These "fingerprints" are mathematical formulas (invariants) that tell you something about the building without having to walk inside.

  • The Goal: The authors wanted to find a new fingerprint (specifically a "degree 5" one) for a specific type of building called $2E_6$. They found it! This new fingerprint acts like a light switch: if the switch is "off" (zero), the building is stable and has a rational point (a place where you can stand). If it's "on," the building is unstable.

• Motives and the J-Invariant (The "Blueprints"):
  Think of a "motive" as the fundamental DNA or the core blueprint of a building. The J-invariant is a specific code written on that blueprint.

  • The authors used this code to predict how the building behaves when you try to expand it or look at it from different angles (field extensions).
  • They discovered that if the J-invariant has a certain shape, the building is "rigid" and cannot be easily split open.

3. The Big Breakthrough: The "Two-Symbol" Rule

One of the most exciting parts of the paper involves a group called $E_7$.

• The Problem: Mathematicians had a rule about a specific "Rost invariant" (a very complex fingerprint) for these groups. They knew that if this fingerprint was a "sum of two symbols" (a specific mathematical combination), something interesting happened.
• The Discovery: The authors proved a new rule: If the fingerprint is a sum of two symbols, those two symbols must share a common "slot" (a shared ingredient).
• The Consequence: This is like saying, "If a cake is made of two specific flavors, those flavors must both use the same type of sugar."
• Why it matters: This rule allowed them to prove that if a building of type $E_7$ has this specific fingerprint, it is guaranteed to be stable (isotropic) if you extend the field by an odd number (like adding a 3rd or 5th layer).

4. Solving an Old Mystery: The Petrov-Rigby Result

The authors used their new "Two-Symbol" rule to solve a puzzle left by other mathematicians (Petrov and Rigby).

• The Puzzle: Can you build a massive $E_8$ building (the most complex one in the Magic Square) using the standard "Tits construction" such that its core (the anisotropic kernel) is an $E_7$ building?
• The Old Proof: The original proof was like trying to fix a watch by smashing it with a hammer—it involved heavy, complicated calculations of Lie algebras and symmetric spaces.
• The New Proof: The authors used their "fingerprint" logic. They showed that if such an $E_8$ existed, its $E_7$ core would have a fingerprint that violates their new "Two-Symbol" rule. Therefore, such a building cannot exist (at least over certain types of fields). It's a much cleaner, more elegant solution.

5. The "Magic" of the Square

Finally, the paper ties everything together in Section 7. They created a master chart (Table 5 and 6) that acts like a user manual for the Freudenthal Magic Square.

• It tells you: "If you want to build a stable $2E_6$ tower, you need a scalar that divides a specific Albert algebra."
• It tells you: "If you build an $E_8$ tower, its stability depends on whether its Rost invariant is zero."

Summary

In simple terms, this paper is about decoding the DNA of mathematical shapes.

1. The authors found a new security code (degree 5 invariant) for a specific shape ($2E_6$) that tells you if it's stable.
2. They proved a rule about combinations (the "two-symbol" rule) for another shape ($E_7$).
3. They used these rules to prove a negative: You cannot build a specific type of giant tower ($E_8$) with a specific type of core ($E_7$) using the standard recipe.

They didn't just build the buildings; they wrote the instruction manual that explains exactly which ingredients make them stand tall and which ones make them collapse.

Technical Summary

Here is a detailed technical summary of the paper "Motives, Cohomological Invariants and Freudenthal Magic Square" by Nikita Geldhauser, Alexander Henke, and Maksim Zhykhovich.

1. Problem Statement and Context

The paper investigates the interplay between cohomological invariants (specifically the Rost invariant) and motivic invariants (specifically the $J$-invariant) for semisimple algebraic groups arising from the Freudenthal magic square. The Freudenthal magic square is a construction yielding exceptional Lie algebras and algebraic groups (types $F_4, E_6, E_7, E_8$) via the Tits construction, utilizing composition algebras (quaternions, octonions, Albert algebras).

The central problems addressed are:

1. Classification of Isotropy: Determining precise conditions under which groups of types $2E_6$and$E_7$ become isotropic (split) over field extensions, particularly odd-degree extensions.
2. Construction of New Invariants: Constructing a degree 5 cohomological invariant for specific groups of type $2E_6$ that detects their isotropy.
3. Symmetry in the Magic Square: Revealing a new symmetry within the Freudenthal magic square related to these invariants and the structure of their motives.
4. Resolution of Open Questions: Providing alternative proofs for results regarding the non-existence of certain anisotropic kernels in Tits constructions over specific fields (e.g., 2-special fields).

2. Methodology

The authors employ a sophisticated blend of motivic techniques and cohomological algebra:

• Motivic Decomposition: The core tool is the Chow motive of twisted flag varieties. The authors analyze the decomposition of the motive of a variety $X$ (specifically varieties of parabolic subgroups) into indecomposable summands.
• The $J$-Invariant: They utilize the $J$-invariant (introduced by Vishik, Karpenko, Merkurjev, and others), which encodes the structure of the Chow motive of the variety of Borel subgroups. The $J$-invariant is a tuple of integers $(j_1, \dots, j_r)$ describing the "cyclotomic-like" factors of the Poincaré polynomial of the upper motive.
• Upper Motives and Corestrictions: The analysis relies heavily on upper motives ($U(X)$) and corestrictions ($\text{cor}_{K/F}$) of motives, particularly for groups of outer type (like $2E_6$).
• Cohomological Invariants: The authors study invariants in Galois cohomology groups $H^n(F, \mu_2)$. Key among these is the Rost invariant ($r(G) \in H^3(F, \mu_2)$) and the construction of new invariants of degree 5.
• Tits Constructions and Algebraic Inputs: The groups are analyzed based on their construction inputs (e.g., scalar fields, quaternion algebras, Albert algebras, octonion algebras) as defined by the Tits and Allison–Faulkner constructions.
• Double Coset Analysis: For isotropic cases, the authors use the Chernousov–Gille–Merkurjev–Brosnan method, analyzing double cosets of Weyl groups to compute motivic decompositions.

3. Key Contributions and Results

A. Construction of a Degree 5 Invariant for Type $2E_6$

• Theorem 3.1: The authors construct a functorial cohomological invariant $u \in H^5(F, \mu_2)$ for simply connected groups of type $2E_6$that split over a quadratic extension$K/F$and satisfy specific conditions on their Rost invariant ($6r(G)=0$and$3r(G)$ is a pure symbol).
• Significance: This invariant $u$ detects isotropy: the variety of parabolic subgroups $X_{1,6}$ has a rational point over an extension $L$ if and only if $u_L = 0$.
• Mechanism: The proof involves showing that the upper motives of $X_{1,6}$ and a specific 15-dimensional norm quadric (associated with the Albert algebra input) are isomorphic. The invariant is essentially the degree 5 invariant of the underlying Albert algebra.

B. Isotropy Criteria for Type $E_7$ and $2E_6$

• Theorem 4.1: If the Rost invariant of a group $G$ of type $2E_6$or$E_7$satisfies$6r(G)=0$and$3r(G)$is a sum of two symbols, then$3r(G)$ is a sum of two symbols with a common slot.
• Corollary 4.2: A group $G$ of type $E_7$ (with trivial Tits algebras) is isotropic over an odd degree field extension if and only if $6r(G)=0$and$3r(G)$ is a sum of at most two symbols.
• Methodology: This is proven by relating the $J$-invariant of $G$ to the $J$-invariant of a quadratic form of dimension 14. If the Rost invariant is a sum of two symbols, the $J$-invariant forces the group to be isotropic with a specific anisotropic kernel (type $D_6$ or smaller).

C. Alternative Proof of the Petrov–Rigby Result

• Corollary 4.3: Over 2-special fields (fields with no non-trivial odd degree extensions), the Tits construction cannot produce a group of type $E_8$ with a semisimple anisotropic kernel of type $E_7$.
• Significance: The original proof by Petrov and Rigby relied on explicit computations with Lie algebras and Cartan symmetric spaces. This paper provides a purely motivic and cohomological proof, demonstrating the power of the $J$-invariant approach.

D. Classification of $J$-Invariants

• Proposition 6.1 & 6.6: The authors demonstrate the existence of anisotropic groups with specific $J$-invariants that were previously unverified or unknown:
  • Groups of type $2E_6$with$J$-invariant$(1, 1, 0)$.
  • Groups of type $E_7$ with $J$-invariant $(1, 1, 0, 0)$.
• These results clarify the landscape of possible motivic behaviors for exceptional groups, showing that the "generic" maximal $J$-invariants are not the only possibilities for anisotropic groups.

E. The Freudenthal Magic Square and Invariants

• Tables 4, 5, and 6: The paper synthesizes the results into a comprehensive table linking the Freudenthal magic square to cohomological invariants.
• It establishes a correspondence between the Tits construction inputs (e.g., scalars, quaternions, octonions, Albert algebras) and the existence of cohomological invariants of degrees 2, 3, 4, and 5.
• It reveals a symmetry: the conditions for the existence of these invariants (often related to the splitting of the input algebras over function fields) mirror the structure of the magic square itself.

4. Significance

1. Unification of Tools: The paper successfully unifies the theory of motives (specifically the $J$-invariant) with cohomological invariants (Rost invariant, symbol lengths) to solve classification problems for exceptional groups.
2. New Invariants: The construction of the degree 5 invariant for $2E_6$fills a gap in the classification of invariants for exceptional groups, analogous to known results for$E_7$and$E_8$.
3. Simplification of Proofs: By replacing heavy Lie algebra computations with motivic arguments (upper motives and $J$-invariants), the authors provide more conceptual and potentially generalizable proofs for deep structural results (e.g., the Petrov–Rigby theorem).
4. Clarification of Anisotropy: The results provide a complete picture of when groups of type $2E_6$and$E_7$ become isotropic over odd-degree extensions, linking this behavior directly to the "symbol length" of their Rost invariants.
5. Structural Insight: The analysis of the Freudenthal magic square through the lens of these invariants reveals a deeper symmetry in how exceptional groups are constructed from composition algebras, suggesting that the "magic" of the square is reflected in the cohomological properties of the resulting groups.

In summary, this paper advances the understanding of exceptional algebraic groups by demonstrating that their geometric properties (isotropy, rational points) are governed by precise arithmetic conditions on their cohomological invariants, which can be effectively decoded using the machinery of Chow motives and the $J$-invariant.