Exceptional Tannaka groups only arise from cubic threefolds

This paper proves that, under mild assumptions, the Fano surfaces of lines on smooth cubic threefolds are the unique smooth subvarieties of abelian varieties whose Tannaka group for the convolution of perverse sheaves is an exceptional simple group, thereby significantly strengthening previous results on the Shafarevich conjecture.

The Gist

Imagine you are a detective trying to solve a mystery about the shapes of the universe. Specifically, you are looking at a special kind of shape called an Abelian Variety. Think of these as giant, multi-dimensional donuts (or toruses) that are perfectly smooth and have a very specific, rigid geometry.

Inside these giant donuts, there are smaller shapes called subvarieties. The paper asks a simple question: If you find a small, smooth shape hidden inside one of these giant donuts, what kind of "fingerprint" does it leave behind?

The Fingerprint: The Tannaka Group

In this mathematical world, every shape leaves behind a "fingerprint" called a Tannaka Group. You can think of this group as the shape's DNA or its secret identity card.

• Most shapes have "boring" DNA. Their identity cards look like standard, classical patterns (like the symmetries of a square or a circle).
• However, some very rare, special shapes have "Exceptional" DNA. These are like finding a unicorn or a dragon in a forest of horses. In mathematics, these are called Exceptional Groups (specifically $E_6$ and $E_7$).

For a long time, mathematicians knew that one specific shape had this "dragon DNA" ($E_6$): The Fano Surface of a Cubic Threefold.

• What is that? Imagine a 3D object in 4D space defined by a specific cubic equation (like $x^3 + y^3 + z^3 + w^3 = 0$). If you look at all the straight lines that can fit perfectly inside this 3D object, they form a 2D surface. That surface is the "Fano Surface."
• The authors knew this surface had the $E_6$ fingerprint.

The Big Question

The authors wanted to know: Is this the only shape that has this dragon DNA? Or are there other hidden shapes with the same rare fingerprint?

If there were other shapes, it would break many other mathematical theories that assume these "dragon" shapes don't exist (or only exist in this one specific case).

The Investigation: How They Solved It

The authors used a clever new tool to solve this. They upgraded their detective kit from "perverse sheaves" (a standard tool) to something more powerful called Hodge Modules.

The Analogy of the "Hodge Cocharacter":
Imagine the shape's DNA (the Tannaka Group) is a complex machine. The authors found a specific "dial" or "co-rotating gear" inside this machine, which they call the Hodge Cocharacter.

• This dial controls how the shape's internal colors (called Hodge numbers) are arranged.
• The authors realized that if the DNA is a "dragon" ($E_6$ or $E_7$), this dial has very strict rules about how it can spin. It's like trying to fit a square peg into a round hole; the math simply doesn't work unless the shape is exactly the right kind.

The Results: The "Dragon" Hunt

Here is what they found, broken down simply:

1. The $E_6$ Case (The Dragon)

They proved that if a shape has the $E_6$ fingerprint, it must be the Fano surface of lines on a smooth cubic threefold (the shape we mentioned earlier).

• The Verdict: There are no other dragons. If you see this specific DNA, you are looking at a line on a cubic threefold.
• The Catch: The shape must be "non-degenerate," meaning it's not squashed or flattened in a weird way. If it's a "good" shape, it's definitely a cubic threefold line-surface.

2. The $E_7$ Case (The Mythical Beast)

They also looked for the next rare dragon, $E_7$.

• The Verdict: It doesn't exist.
• They proved that no smooth shape inside these giant donuts can ever have the $E_7$ fingerprint. The math simply forbids it. It's like looking for a square circle; the rules of the universe (in this case, the rules of algebraic geometry) say it's impossible.

Why Does This Matter?

You might ask, "Who cares about these abstract shapes?"

This paper is a strengthening of a safety net for many other mathematicians.

• Many other researchers use the assumption that "Exceptional groups don't exist" to prove big theorems about numbers and equations (like the Shafarevich Conjecture).
• Before this paper, those researchers had to be careful and say, "This works unless there's some weird exception we haven't found yet."
• Now, the authors have said, "We checked. The only exception is the cubic threefold, and we've ruled out the other weird ones ($E_7$) completely."

Summary in a Nutshell

• The Mystery: Are there any shapes inside complex geometric donuts that have a rare, "exceptional" mathematical fingerprint?
• The Discovery:
  • Yes, but only one type: The surface formed by lines on a cubic threefold (Fingerprint $E_6$).
  • No, for the next rare type (Fingerprint $E_7$); it is mathematically impossible.
• The Method: They used a new "Hodge dial" to see that the math simply doesn't add up for any other shape.
• The Impact: This clears the path for other mathematicians to prove their theories without worrying about hidden, mysterious exceptions.

In short, the authors have mapped the entire landscape of these "dragon" shapes and confirmed that the only one that exists is the one we already knew about. The rest are just myths.

Technical Summary

Here is a detailed technical summary of the paper "Exceptional Tannaka Groups Only Arise from Cubic Threefolds" by Thomas Krämer, Christian Lehn, and Marco Maculan.

1. Problem Statement

The paper addresses the classification of smooth subvarieties $X$ inside an abelian variety $A$ whose associated Tannaka group (arising from the convolution of perverse sheaves) is an exceptional simple group (specifically $E_6$ or $E_7$).

• Context: In the study of abelian varieties, the Tannaka formalism associates a reductive algebraic group $G_{X,\omega}$ to a subvariety $X$. The derived group $G^*_{X,\omega}$ is often simple.
• Known Examples: It was previously known that the Fano surface of lines on a smooth cubic threefold yields a Tannaka group isomorphic to $E_6$.
• The Gap: It was unclear whether other examples existed, particularly those yielding $E_7$ or $E_6$ in dimensions or geometric configurations other than the Fano surface of a cubic threefold.
• Motivation: Excluding exceptional Tannaka groups is a prerequisite for applying "Big Monodromy" criteria to arithmetic finiteness results (e.g., the Shafarevich conjecture) and big monodromy theorems.

2. Methodology

The authors employ a multi-faceted approach combining representation theory, Hodge theory, and algebraic geometry:

A. Upgrade to Hodge Modules

The core methodological innovation is upgrading the Tannaka formalism from perverse sheaves to complex Hodge modules (in the sense of Sabbah-Schnell).

• They establish a comparison theorem showing that the derived Tannaka groups for Hodge modules and perverse sheaves are identical ($G^*_\omega(M) = G^*_\omega(P)$).
• This allows them to utilize the Hodge decomposition on cohomology. They prove that the Hodge decomposition is induced by a cocharacter $\lambda: \mathbb{G}_m^2 \to G_\omega(M)$ (the "Hodge cocharacter").
• This imposes strict constraints on the possible Hodge numbers of the subvariety $X$ based on the representation theory of the Tannaka group.

B. Representation Theory and Hodge Number Estimates

• Constraints: They utilize the fact that for smooth subvarieties with ample normal bundles, the Tannaka group acts via a minuscule representation.
• Filtering: By combining the existence of the Hodge cocharacter with improved Hodge number estimates (extending work by Lazarsfeld-Popa and Lombardi), they restrict the possible dimensions and Hodge numbers of $X$ if $G^*_{X,\omega}$ is exceptional.
• Computer Search: They perform exhaustive computer searches on the weight spaces of cocharacters for $E_6$ and $E_7$ to determine which Hodge decompositions are compatible with the geometric constraints of subvarieties in abelian varieties.

C. Geometric Reconstruction

• For $E_6$: They analyze the difference morphism $d: X \times X \to X-X$ and the sum morphism. Using the representation theory of $E_6$, they show that the degree of the difference morphism must be at least 6. They then reconstruct the ambient cubic threefold as the tangent cone of the difference variety $X-X$ at the origin.
• For $E_7$: They rule out $E_7$ using a different strategy involving the decomposition of the tensor square $\delta_X * \delta_X$. They use Kashiwara's estimate for characteristic varieties and Larsen's alternative to show that if the alternating square is simple, the group must be symplectic, contradicting the existence of an $E_7$ structure.

3. Key Contributions and Results

Main Theorems

1. Theorem A (Classification of $E_6$):
   Let $X \subset A$ be a smooth irreducible subvariety with ample normal bundle and $\dim X < g/2$. The Tannaka group $G^*_{X,\omega} \cong E_6$ if and only if:

   • $X$ is isomorphic to the Fano surface of lines on a smooth cubic threefold $Y \subset \mathbb{P}^4$.
   • The canonical morphism $\text{Alb}(X) \to A$ is an isogeny.
   • Note: This holds even if the normal bundle is not ample, provided $X$ is "nondegenerate" (a weaker positivity condition).

2. Theorem B (Numerical Characterization):
   For smooth surfaces $X \subset A$ ($g \ge 5$), the condition $G^*_{X,\omega} \cong E_6$ is equivalent to a specific set of numerical invariants:

   • $\chi(X, \mathcal{O}_X) = 6$, $c_2(X) = 27$.
   • The difference morphism has generic degree $\ge 6$.
   • The sum morphism $X \times X \times X \to A$ has an irreducible fiber of dimension $\ge 3$.
   • These numerical conditions uniquely characterize the Fano surface of a cubic threefold.

3. Theorem E (Non-existence of $E_7$):
   For any smooth irreducible subvariety $X \subset A$ with ample normal bundle and $\dim X < g/2$, the Tannaka group cannot be $E_7$.

   • Reasoning: While $E_7$ has a 56-dimensional minuscule representation, the parity of the dimension of $X$ required for the Hodge decomposition (odd) conflicts with the geometric structure of potential candidates (like the Fano variety of lines on a quartic double solid, which is a surface, not a threefold).

4. Theorem C (Hodge Cocharacter):
   Establishes that the Hodge decomposition on the cohomology of Hodge modules is defined by a cocharacter of the Tannaka group. This is a general result applicable beyond exceptional groups, providing a powerful tool for future arithmetic applications.

Technical Details

• Hodge Numbers: The paper provides a complete table of possible Hodge numbers for subvarieties with exceptional Tannaka groups, showing that only specific dimensions ($d=2,4,6$ for $E_6$; $d=3,5,\dots,15$ for $E_7$) are theoretically possible, and then eliminating all but the $d=2$ case for $E_6$ and all cases for $E_7$.
• Non-normal Cubics: The authors provide a classification of non-normal cubic hypersurfaces to handle singular cases in the geometric reconstruction step, proving that the "twisted plane" and cones over non-normal surfaces do not yield the required Fano varieties.

4. Significance

• Strengthening Arithmetic Results: The primary application is a significant strengthening of the Big Monodromy Criterion (previously in [JKLM25]). By proving that $E_7$ never occurs and $E_6$ only occurs for cubic threefolds, the authors can remove restrictive assumptions on the Euler characteristic and dimension in finiteness theorems for varieties over number fields.
• Uniqueness of Cubic Threefolds: The paper provides a profound geometric characterization: the Fano surface of lines on a cubic threefold is the unique smooth subvariety of an abelian variety (in the relevant dimension range) that exhibits exceptional Tannaka symmetry.
• Methodological Advancement: The integration of Hodge modules into the Tannaka formalism for perverse sheaves is a major technical contribution. It bridges the gap between the topological nature of perverse sheaves and the analytic/Hodge-theoretic nature of the underlying geometry, allowing for the use of Hodge cocharacters as a rigid constraint.
• Resolution of Open Questions: It definitively settles the question of whether $E_7$ can arise from such geometric constructions in the specified range, closing a potential gap in the classification of Tannaka groups for abelian subvarieties.

In summary, the paper demonstrates that the exceptional symmetry of the Fano surface of a cubic threefold is a unique phenomenon in the landscape of abelian varieties, ruling out all other potential candidates for exceptional Tannaka groups through a rigorous synthesis of representation theory, Hodge theory, and algebraic geometry.