The Chow motive of LSV hyper-Kälher manifolds

This paper establishes that the Chow motive of a specific smooth compactification of the Lagrangian fibration associated with a smooth cubic fourfold is a direct summand of the motive of the fifth power of the fourfold, thereby proving it is of abelian type for a general family of such cubics.

The Gist

Here is an explanation of the paper "The Chow Motive of LSV Hyper-Kähler Tenfolds" by Claudio Pedrini, translated into everyday language with creative analogies.

The Big Picture: Building a Perfectly Symmetrical Castle

Imagine you have a beautiful, complex 4-dimensional sculpture made of cubic curves (a Cubic Fourfold). Mathematicians call this shape $X$.

Now, imagine you want to build a massive, 10-dimensional "castle" (a Hyper-Kähler Manifold) that is perfectly symmetrical and smooth. This castle isn't just a random building; it is constructed by stacking up all the possible "slices" you can take of your original sculpture.

In the paper, this castle is called an LSV Tenfold (named after the mathematicians who first described it: Laza, Saccà, and Voisin). The author, Claudio Pedrini, wants to understand the "DNA" of this castle.

The Core Concept: What is a "Chow Motive"?

To understand the paper, you first need to understand what a Chow Motive is.

• The Analogy: Imagine you have a Lego castle. You can take it apart and look at the individual bricks.
  • Some bricks are standard red 2x4s (these are like simple shapes, like lines or planes).
  • Some bricks are unique, custom-molded pieces that only exist in this specific castle (these are the "transcendental" parts).
• The Motive: The Chow Motive is a mathematical blueprint that lists exactly which "bricks" make up the castle. It tells you if the castle is built entirely out of standard, predictable bricks (like those found in a simple house or a torus) or if it has mysterious, unique bricks that make it special.

If a shape's motive is of "Abelian Type," it means the castle is built entirely out of "standard bricks" that we already understand well (bricks that come from Abelian varieties, which are like multi-dimensional donuts or tori). If it's not of abelian type, it has some weird, unknown bricks that are much harder to study.

The Main Discovery: The Castle is Made of "Donut" Bricks

Pedrini's main goal was to prove that the LSV Tenfold (the 10D castle) is built using only "standard bricks."

The Problem:
We know the original sculpture ($X$) is made of standard bricks (in many cases). But when you stack slices of $X$ to build the 10D castle, does the castle gain any new weird bricks? Or is it just a fancy arrangement of the original bricks?

The Solution:
Pedrini proves that the 10D castle is not introducing any new, weird bricks.

• The Metaphor: Imagine you have a bag of Lego bricks from a specific set ($X$). You build a huge, complex tower ($J(X)$) using only those bricks, perhaps gluing five of them together in a specific way.
• The Proof: Pedrini shows that the blueprint (motive) of the tower is a direct "sum" of the blueprints of the original bag of bricks. Specifically, the tower's DNA is a piece of the DNA of five copies of the original sculpture put together ($X^5$).

Why this matters:
If the original sculpture ($X$) has a "nice" DNA (Abelian type), then the 10D castle ($J(X)$) must also have a "nice" DNA. This solves a major question for mathematicians: "Are these mysterious 10D shapes actually just fancy versions of things we already know?" The answer is Yes.

The Special Cases: When the Castle is Unique

The paper also looks at specific families of sculptures ($X$) where the construction of the castle is unique and smooth.

1. The "Special Divisors" (Hassett Divisors):
   Imagine there are special "zones" in the universe of cubic sculptures. If your sculpture falls into one of these zones, the 10D castle you build is not just made of the sculpture's bricks; it is actually built from the bricks of a K3 Surface (a specific type of 2D shape that is like a complex, doughnut-like sphere).

   • The Result: In these special zones, the 10D castle is even "simpler" in its DNA structure because it's directly linked to the K3 surface, which is a well-understood object.

2. The "Automorphism" (The Rotating Castle):
   The author also looks at what happens if your original sculpture has a built-in symmetry (like a spinning top). If you spin the sculpture, does the 10D castle spin too?

   • Usually, spinning a complex shape might break the smoothness of the castle.
   • The Discovery: Pedrini finds a specific family of sculptures with a "triple-spin" symmetry (order 3). For these specific sculptures, the spinning action works perfectly on the 10D castle without breaking it. The castle remains smooth, and its "DNA" remains of the "Abelian Type."

Summary for the General Audience

Think of the paper as a master architect proving that a very complex, 10-story building (the LSV Tenfold) is actually just a clever rearrangement of the materials from a 4-story building (the Cubic Fourfold).

• Before this paper: Mathematicians were worried that building the 10-story tower might require "magic bricks" that no one understood.
• After this paper: We know the tower is built entirely from the "standard bricks" of the 4-story building (and sometimes even simpler bricks from a K3 surface).
• The Takeaway: These mysterious, high-dimensional shapes are not as alien as we thought. They are deeply connected to shapes we already know and love, meaning we can use our existing tools to study them.

In one sentence: Claudio Pedrini proved that the complex 10-dimensional "LSV" shapes are mathematically built from the same "ingredients" as simpler, well-understood shapes, confirming they are part of a familiar family of geometric objects.

Technical Summary

Here is a detailed technical summary of the paper "The Chow Motive of LSV Hyper-Kähler Tenfolds" by Claudio Pedrini.

1. Problem Statement and Context

The Object of Study:
The paper investigates the Chow motives of LSV tenfolds. These are specific hyper-Kähler (HK) manifolds of dimension 10, constructed as smooth compactifications of the intermediate Jacobian fibration associated with a smooth cubic fourfold $X \subset \mathbb{P}^5$.

• Let $U \subset (\mathbb{P}^5)^*$ be the open set of hyperplanes $H$ such that the hyperplane section $Y_H = X \cap H$ is a smooth cubic threefold.
• The fibration $\pi: J_U \to U$ has fibers $J(Y_H)$, the intermediate Jacobians of these cubic threefolds.
• LSV tenfolds (denoted $\bar{J}$ or $J(X)$) are projective HK manifolds of OG10 type (O'Grady's 10-dimensional exceptional deformation type) that compactify this fibration.

The Core Question:
While it is known that the motives of HK manifolds are "of abelian type" in the category of André motives (conditional on the Standard Conjecture $B$), the status of their Chow motives (rational equivalence) remains a major open problem.

• Conjecture 1.1 (Pedrini): The Chow motive of any HK manifold is of abelian type (i.e., lies in the pseudo-abelian tensor subcategory generated by abelian varieties).
• Specific Problem: Does the Chow motive $h(J(X))$ of an LSV tenfold belong to the subcategory generated by the motive of the underlying cubic fourfold $X$? If $h(X)$ is of abelian type, is $h(J(X))$ also of abelian type?

2. Methodology

Pedrini employs a geometric construction involving correspondences and motivic decompositions to relate the motive of the compactified fibration to the motive of the base cubic fourfold.

Key Technical Tools:

1. Voisin's Rational Self-Map: Utilizing the rational self-map $\phi: F(X) \dashrightarrow F(X)$ on the Fano variety of lines $F(X)$ of the cubic fourfold.
2. Universal Families: Constructing a specific subvariety $Z \subset J(X)$ which is the image of a divisor $D$ in the Fano variety under a universal map $\Psi$.
3. Relative Motives: Working in the category of Chow motives over the base $B = (\mathbb{P}^5)^*$, denoted $\mathcal{M}_{rat}(B)$.
4. Correspondence Construction:
   • Defining a multivalued map between the surface of lines $F(Y_H)$ and the curve $D_H$.
   • Constructing correspondences $\Gamma$ and $T$ between $Z$ and the universal family of hyperplane sections $Y$.
   • Proving that these correspondences induce an isomorphism (up to a direct summand) between the relative motive of $Z$ and the relative motive of $Y$.
5. Birational Invariance: Leveraging the fact that birational HK manifolds have isomorphic Chow motives to handle different compactifications.

3. Key Contributions and Results

A. Main Theorem: Motive of General LSV Tenfolds (Section 2)

Theorem 2.1: For a general smooth cubic fourfold $X$, the Chow motive $h(J(X))$ of the LSV tenfold constructed in [LSV] is a direct summand of the (twisted) motive of the fifth power of $X$, specifically:
$$h(J(X)) \hookrightarrow \bigoplus_{1 \le i \le 5} h(X^5)(l_i)$$
where $0 \le l_i \le 20$.

Implication:

• If the motive $h(X)$ is of abelian type, then $h(J(X))$ is also of abelian type.
• This provides a positive answer to a question posed in [ACLS] regarding the inclusion of the motive of $J(X)$ in the category generated by powers of $X$.

Proof Sketch:

1. The author constructs a dominant, generically finite morphism $\mu: Z^5 \to J(X)$, where $Z$ is a specific curve bundle over the base.
2. This implies $h(J(X))$ is a direct summand of $h(Z^5)$.
3. Using geometric correspondences derived from the intersection of lines on the cubic threefold, it is shown that $h(Z)$ is a direct summand of the universal family of hyperplane sections $Y$.
4. Since $Y$ is a $\mathbb{P}^4$-bundle over $X$, $h(Y)$ is a direct sum of twisted motives of $X$.
5. Consequently, $h(J(X))$ is built from $h(X)$.

B. Special Cases and K3 Surfaces (Section 3)

The paper analyzes cubic fourfolds $X$ belonging to Hassett divisors $C_d$ (special cubic fourfolds with specific Hodge-theoretic properties).

• Result: If $X \in C_d$ with $d \equiv 2 \pmod 6$, the untwisted compactification $\bar{J}$ and the twisted compactification $\bar{J}^t$ are birational.
• Consequence: Their motives coincide and belong to the subcategory generated by a K3 surface $S$ associated with $X$ via the Kuznetsov component equivalence $A_X \simeq D^b(S, \alpha)$.
• Since motives of K3 surfaces are known to be of abelian type in many cases (e.g., high Picard rank), this confirms the abelian type conjecture for these specific LSV tenfolds.

C. Automorphisms and Regularity (Section 4)

The paper investigates when automorphisms of the cubic fourfold $X$ extend to regular automorphisms of the compactification $\bar{J}$.

• Symplectic vs. Non-symplectic:
  • Symplectic automorphisms of $X$ generally do not extend to regular automorphisms of $\bar{J}$ (they act trivially on cohomology).
  • Non-symplectic automorphisms of prime order (specifically order 3) do extend to regular automorphisms if the fibers are irreducible.
• Example 4.3: The author describes a 10-dimensional family $\mathcal{V}$ of cubic fourfolds invariant under a non-symplectic automorphism of order 3.
  • For $X \in \mathcal{V}$, the compactification is unique and smooth with irreducible fibers.
  • The induced birational map is a regular automorphism.
  • Since $X$ has an abelian type motive (proven in [Lat]), the motive $h(\bar{J})$ is of abelian type.

4. Significance

1. Advancement of the Abelian Type Conjecture: This paper provides strong evidence for Conjecture 1.1 (that HK motives are of abelian type) by proving it for a large class of OG10 manifolds (LSV tenfolds) under the assumption that the underlying cubic fourfold has an abelian type motive.
2. Geometric Reduction: It establishes a concrete geometric link between the complex 10-dimensional HK manifold and the simpler 4-dimensional cubic fourfold, reducing the study of the former's motive to the latter.
3. Resolution of Open Questions: It answers the specific inquiry from [ACLS] regarding the relationship between the motive of $J(X)$ and powers of $X$.
4. Family of Examples: It explicitly constructs a family of LSV tenfolds with unique smooth compactifications and regular automorphisms, providing a testing ground for further motivic and cohomological studies.
5. Methodological Innovation: The use of relative motives over the base of the fibration and the construction of specific correspondences involving the Fano variety of lines offers a new toolkit for analyzing motives of fibered varieties.

In summary, Pedrini proves that the Chow motive of a general LSV tenfold is "controlled" by the motive of the defining cubic fourfold. This bridges the gap between the geometry of cubic fourfolds and the classification of hyper-Kähler motives, reinforcing the hypothesis that all HK motives are of abelian type.