🔢 mathematics

Stability conditions and moduli spaces on the Kuznetsov component of cubic fivefolds

This paper constructs Serre-invariant Bridgeland stability conditions on the Kuznetsov component of cubic fivefolds to prove the non-emptiness of associated moduli spaces and establish Lagrangian immersions into hyper-Kähler varieties, thereby extending previous results on cubic threefolds and recovering the Illiev-Manivel geometric construction.

Original authors: Peize Liu

Published 2026-07-21

📖 4 min read🧠 Deep dive

CC BY 4.0

Original authors: Peize Liu

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 the universe of mathematics not as a collection of static formulas, but as a vast, shifting landscape of shapes and spaces. In this world, mathematicians study "varieties," which are like multi-dimensional surfaces that can twist and turn in ways our eyes can't see. To understand these shapes, they use a powerful tool called a "derived category." Think of this as a super-advanced library where every book isn't just a story, but a complex recipe for building a shape. Sometimes, a library is so huge and messy that it's impossible to read every book. So, mathematicians look for a special "Kuznetsov component"—a secret, curated section of the library that holds the most interesting and essential recipes, stripping away the noise to reveal the core geometric soul of the shape.

But here's the tricky part: just finding the right section of the library isn't enough. To really understand the objects inside, you need a way to sort them, like organizing books by genre or author. In this mathematical world, that sorting system is called a "stability condition." It's a set of rules that tells you which objects are "stable" (well-behaved and solid) and which are "unstable" (wobbly and prone to falling apart). For simple shapes like curves or surfaces, mathematicians have figured out how to write these rules. But for higher-dimensional, more complex shapes, the rules have been a mystery, like trying to sort a library where the books keep changing their titles. This paper dives into one of the most complex shapes of all: a "cubic fivefold," a five-dimensional object defined by a specific type of equation, and asks, "Can we finally write the sorting rules for its secret library?"

The paper by Peize Liu tackles this challenge head-on. The author successfully constructs a new family of "stability conditions" for the Kuznetsov component of a smooth cubic fivefold. To do this, Liu uses a clever geometric trick: imagine projecting the five-dimensional shape onto a simpler space, like casting a shadow. This projection reveals a "quadric surface fibration," which is essentially a bundle of 3D shapes (like spheres or donuts) stacked on top of a 3D base. By studying the mathematics of these bundles, Liu builds a bridge that connects the complex fivefold to a slightly simpler, non-commutative version of 3D space. On this bridge, the author proves that a specific type of mathematical inequality (a "Bogomolov–Gieseker-type inequality") holds true, which acts as the foundation for the new sorting rules.

Once these rules are established, the paper proves something remarkable: for almost any "numerical class" (a specific category of objects) you can imagine within this system, there is at least one stable object that fits the description. In other words, the library is never empty; there is always a book on the shelf for every category. The author then focuses on a specific, beautiful example: the "Fano surface of planes." This is a collection of all the flat 2D planes that can fit inside the five-dimensional shape. The paper shows that this collection of planes forms a smooth, stable part of the moduli space (the "catalog" of all stable objects).

Perhaps the most exciting discovery is what happens when you slice this five-dimensional shape with a hyperplane to create a four-dimensional "cubic fourfold." The paper demonstrates that the collection of planes from the fivefold doesn't just disappear; it maps onto the collection of lines in the fourfold in a very special way. This mapping is a "Lagrangian immersion," a fancy way of saying it fits perfectly into a "hyper-Kähler variety" (a type of space with a very special, symmetrical geometry) without overlapping itself, preserving a delicate balance of area and shape. This result extends previous work done on three-dimensional shapes, pushing the boundaries of our understanding into higher dimensions.

The paper also uncovers a deep symmetry in these rules. It proves that the sorting system is "Serre-invariant," meaning that if you apply a specific mathematical transformation (the Serre functor) to the objects, they remain stable under the same rules, just shifted slightly in their "phase" or position. This confirms a long-standing conjecture about "Gepner-type" stability conditions for this specific type of shape, showing that the mathematical universe has a hidden, rhythmic order even in its most complex corners. Ultimately, the paper doesn't just find one stable object; it builds a complete, working framework that proves these complex, high-dimensional spaces can be tamed, sorted, and understood, opening the door to discovering new geometric structures and connections in the vast landscape of algebraic geometry.

Technical Summary: Stability Conditions and Moduli Spaces on the Kuznetsov Component of Cubic Fivefolds

Problem Statement
The paper addresses the construction of Bridgeland stability conditions on the Kuznetsov component $\text{Ku}(Y)$ of a smooth cubic fivefold $Y \subset \mathbb{P}^6$ . While stability conditions have been established for curves, surfaces, and various Fano threefolds, their existence on higher-dimensional varieties remains largely open. Specifically, the Kuznetsov component of a cubic fivefold is a fractional Calabi–Yau category of dimension $7/3$ , a setting where standard uniqueness criteria for Serre-invariant stability conditions (which typically apply to dimensions $\leq 2$ ) do not directly hold. The paper aims to construct a continuous family of Serre-invariant stability conditions on $\text{Ku}(Y)$ , analyze their associated moduli spaces, and explore the geometric implications of restricting these moduli spaces to hyperplane sections (cubic fourfolds).

Methodology
The approach relies on a geometric reduction from the cubic fivefold to a non-commutative projective space via a quadric surface fibration.

Geometric Setup and Embedding:
- The author utilizes the fact that every smooth cubic fivefold contains a plane $\Pi_0$ . Blowing up $\Pi_0$ yields a quadric surface fibration $\pi: \widetilde{Y} \to \mathbb{P}^3$ .
- By comparing the semi-orthogonal decompositions (SOD) of $D^b(\widetilde{Y})$ derived from Orlov's blow-up formula and Kuznetsov's quadric fibration formula, the paper establishes an equivalence $\text{Ku}(Y) \simeq \text{Ku}(\mathbb{P}^3, \mathcal{C}_0)$ , where $\text{Ku}(\mathbb{P}^3, \mathcal{C}_0)$ is the Kuznetsov component of the derived category of modules over the even Clifford algebra $\mathcal{C}_0$ on $\mathbb{P}^3$ .
- This embedding allows the problem to be transferred to the more tractable setting of $D^b(\mathbb{P}^3, \mathcal{C}_0)$ .
Construction of Stability Conditions:
- Tilt Stability: The author constructs a family of tilt-stability conditions on $D^b(\mathbb{P}^3, \mathcal{C}_0)$ by proving a Bogomolov–Gieseker-type inequality for $\mu_h$ -semistable sheaves on the non-commutative $\mathbb{P}^3$ . This involves a careful induction argument on the dimension of the base and the rank of the Clifford modules, with a specific focus on the surface case ( $m=2$ ) where rank constraints differ from the threefold case.
- Restriction: Using the restriction criterion from [BLMS23], these stability conditions are restricted to the orthogonal complement of the exceptional objects $\mathcal{C}_1$ and $\mathcal{C}_2$ , yielding a family of stability conditions $\sigma'_{\beta, \alpha}$ on $\text{Ku}(Y)$ .
Serre Invariance and Gepner-Type Conditions:
- The paper proves that the constructed stability conditions are Serre-invariant. This is achieved by analyzing the action of the rotation functor (related to tensoring with $\mathcal{C}_1$ ) on the tilted hearts.
- A specific stability condition $\sigma_Y$ is identified within the $\widetilde{\text{GL}}^+_2(\mathbb{R})$ -orbit such that the Serre functor acts as a phase shift of $7/3$ . This confirms the existence of a Gepner-type stability condition for the pair $(\mathcal{O}, 2/3)$ , verifying a case of [Tod16, Conjecture 1.1].
Moduli Spaces and Lagrangian Immersions:
- Non-emptiness: Using an extension lemma and lattice-theoretic arguments (inspired by [LLPZ26]), the paper proves that for every non-zero numerical class $v$ , the Bridgeland moduli space $M_{\sigma_Y}(\text{Ku}(Y), v)$ is non-empty.
- Smoothness and Restriction: For primitive classes, a smooth open locus is identified. The author demonstrates that for a general cubic fivefold $Y$ and a very general hyperplane section $X$ (a cubic fourfold), the restriction map induces a rational map from the moduli space on $Y$ to the moduli space on $X$ .
- Lagrangian Geometry: The image of this restriction map is shown to be a Lagrangian subvariety in the hyper-Kähler variety associated with the cubic fourfold.

Key Contributions and Results

Theorem 1.1: Establishes the existence of a continuous family of Serre-invariant Bridgeland stability conditions on $\text{Ku}(Y)$ for a smooth cubic fivefold. These conditions form a single $\widetilde{\text{GL}}^+_2(\mathbb{R})$ -orbit containing a Gepner-type condition where the Serre functor shifts the phase by $7/3$ .
Theorem 1.3: Identifies the Fano surface of planes $F_2(Y)$ as a connected component of the moduli space $M_{\sigma_Y}(\text{Ku}(Y), \kappa_1)$ . It further proves that the restriction to a general cubic fourfold $X$ yields a Lagrangian immersion $F_2(Y) \hookrightarrow F_1(X)$ , recovering the geometric construction of Illiev–Manivel from a categorical perspective.
Theorem 1.4: Generalizes the result to higher-dimensional moduli spaces. For any non-zero numerical class $v$ , the moduli space is non-empty. For primitive $v$ , there exists a smooth locus where restriction to a general cubic fourfold preserves stability, inducing a Lagrangian immersion into the corresponding hyper-Kähler variety on $X$ .
Numerical Lattice: The paper computes the numerical Grothendieck group of $\text{Ku}(Y)$ , showing it has rank 2 with a specific Euler pairing matrix, and describes the action of the Serre and rotation functors on this lattice.

Significance
The paper extends the theory of stability conditions and moduli spaces from cubic threefolds and fourfolds to cubic fivefolds. Its primary significance lies in:

Existence: Providing the first construction of stability conditions on the Kuznetsov component of a cubic fivefold, a higher-dimensional Fano variety.
Gepner-Type Conditions: Confirming the existence of Gepner-type stability conditions for a fractional Calabi–Yau category of dimension $7/3$ , which lies beyond the scope of previous uniqueness criteria.
Geometric Realization: Offering a new categorical framework for understanding the geometry of the Fano surface of planes on a cubic fivefold and its relation to the Fano variety of lines on a cubic fourfold.
Lagrangian Subvarieties: Generating a new class of Lagrangian subvarieties in K3 $[n]$ -type hyper-Kähler varieties, extending previous work on cubic fourfolds and Gushel–Mukai varieties.

The work relies heavily on the interplay between the geometry of quadric fibrations, the representation theory of Clifford algebras, and the deformation theory of stability conditions, bridging classical algebraic geometry with modern derived category techniques.

More like this