🔢 mathematics

The Mukai conjecture via Cox rings for special toric ambient embeddings

This paper proves the Mukai conjecture characterizing products of projective spaces among a specific class of locally factorial Fano varieties by leveraging their Cox ring descriptions and toric ambient embeddings within the framework of Mori dream spaces.

Original authors: Heath Pearson

Published 2026-04-29

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Heath Pearson

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 a detective trying to solve a mystery about the shapes of the universe. In the world of mathematics, specifically geometry, there is a famous rule called the Mukai Conjecture.

Think of this conjecture as a "rule of thumb" for identifying a very special family of shapes called Fano varieties. These are complex, multi-dimensional shapes that are "positively curved" (like the surface of a sphere, but in higher dimensions).

The rule says:

If you have one of these shapes, you can measure two things about it:

How many "holes" or independent loops it has (called the Picard number, $\rho$ ).

How "curved" or "tight" it is (called the Fano index, $i$ ).

The rule states that if you multiply the "tightness" minus one, by the number of "holes," the result can never be bigger than the total number of dimensions the shape lives in.

The Big Reveal: The only time this number hits the absolute maximum limit is if the shape is actually just a simple stack of projective spaces (which are like generalized versions of a sphere or a flat plane). If it's anything else, the number will be smaller.

For a long time, mathematicians have been trying to prove this rule for every possible shape. It's been proven for some specific types, but it remains a mystery for the general case.

The Author's New Approach: The "Cox Ring" Blueprint

In this paper, the author, Heath Pearson, doesn't try to solve the mystery for every shape. Instead, he focuses on a specific, interesting group of shapes that can be built using a special mathematical tool called a Cox Ring.

To understand the Cox Ring, imagine you are building a house.

The Standard Way: You might try to describe the house by walking around it and listing every wall, window, and door.
The Cox Ring Way: Instead, you have a master blueprint (the ring) that lists all the raw materials (variables) and the rules for how they fit together (relations). If you follow this blueprint, you can build the house.

Pearson looks at a specific class of Fano shapes that are built this way. These shapes have a special property: they can be "embedded" (or fitted perfectly) inside a Toric Variety.

The "Toric" Analogy: The Grid City

Think of a Toric Variety as a city built entirely on a perfect grid, where every street and building is aligned with the axes. These cities are very orderly and easy to understand mathematically.

Pearson's strategy is like this:

He takes a complex, mysterious shape ( $X$ ).
He shows that this shape fits perfectly inside a simple, orderly "Grid City" ( $Z$ ).
He uses the known rules of the Grid City to figure out the rules of the complex shape.

He essentially says, "If I can prove the rule works for the Grid City, and my shape is just a special room inside that city built with specific rules, then the rule must work for my shape too."

The "Special Rules" of the Construction

The paper defines a specific way to build these shapes (Construction 1.2). It's like a recipe:

Start with a smooth, orderly Grid City ( $Z$ ).
Add a specific "boundary" or "fence" ( $\Delta$ ) to the city.
Build your new shape ( $X$ ) by cutting out a specific section of the city using a set of equations (relations).
Crucial Condition: The equations used to cut out the shape must be "big enough." They can't be tiny, trivial cuts. They must be substantial enough to change the shape significantly, but not so chaotic that the blueprint breaks.

The Proof: How the Math Works

Pearson proves the conjecture for these specific shapes by doing a bit of mathematical accounting:

Counting the Ingredients: He looks at the "ingredients" (the divisors) that make up the shape. He proves that the sum of these ingredients is limited by the size of the shape ( $n + \rho$ ).
The Tightness Check: He uses the geometry of the "Grid City" to measure how tight the shape is. He shows that the "tightness" ( $i$ ) multiplied by the "holes" ( $\rho$ ) cannot exceed the total dimensions ( $n$ ).
The "Perfect Fit" Scenario: He then asks, "What happens if we hit the maximum limit?"
- If the math hits the maximum limit, it forces the "ingredients" to be perfectly uniform.
- This forces the "Grid City" to be nothing more than a stack of simple projective spaces (like a stack of spheres).
- Therefore, the shape $X$ must also be a stack of projective spaces.

The Conclusion

The paper concludes that for this specific class of shapes—those built from Cox rings that fit neatly inside a smooth toric variety—the Mukai Conjecture is true.

If the shape is "maximally tight" (hitting the limit of the rule), then it is definitely a product of projective spaces.
If it is anything else, it falls short of the limit.

Summary in a Nutshell

Think of the Mukai Conjecture as a test to see if a shape is "simple" or "complex."

Simple shapes (stacks of projective spaces) pass the test with flying colors, hitting the maximum score.
Complex shapes fail to hit the maximum score.

Heath Pearson proved that for a specific group of shapes built using a "Cox Ring blueprint" and fitted inside a "Toric Grid City," this test works perfectly. If the shape passes the test with a perfect score, it must be a simple stack of projective spaces. He didn't solve the mystery for the whole universe of shapes, but he solved it for a very important and well-defined neighborhood.

1. Problem Statement

The paper addresses the Mukai Conjecture, a central problem in the classification of Fano varieties. The conjecture proposes a numerical inequality relating the dimension ( $n$ ), the Picard number ( $\rho_X$ ), and the Fano index ( $i_X$ ) of a smooth Fano variety $X$ :
$(i_X - 1)\rho_X \leq n$
Furthermore, it asserts that equality holds if and only if $X$ is isomorphic to a product of projective spaces: $X \cong (\mathbb{P}^{i_X-1})^{\rho_X}$ .

While the conjecture has been proven for specific classes (e.g., toric varieties by Casagrande, and log Fano pairs by Fujita), it remains open in the general case. Pearson aims to extend these results beyond the class of toric varieties to a broader class of locally factorial Fano varieties that admit a specific type of embedding into a smooth projective toric variety.

2. Methodology

The author employs the theory of Cox rings and Mori dream spaces to construct a bridge between general Fano varieties and toric geometry. The methodology relies on the following steps:

Cox Ring Construction: The paper focuses on varieties $X$ defined by a Cox ring $R = \text{Cox}(Z)/\langle g_1, \dots, g_r \rangle$ , where $Z$ is a smooth projective toric variety. The ring $R$ is a factorial complete intersection.
Toric Ambient Embedding: Using the "bunched ring" theory of Mori dream spaces, the author constructs a canonical closed embedding $X \hookrightarrow Z$ . In this construction, the class group is preserved ( $\text{Cl}(X) \cong \text{Cl}(Z)$ ), and the anticanonical class of $X$ corresponds to a log-anticanonical class on $Z$ (specifically $[-K_X] = [- (K_Z + \Delta)]$ ).
Discrete Approximation: The proof strategy involves inheriting the Mukai conjecture from a "log version" of the conjecture on the ambient toric variety $Z$ . The author defines a discrete approximation of the log pseudo-index, denoted $i(Z, \Delta)$ , which coincides with the Fano index $i_X$ under the specific construction conditions.
Convex Geometry and Gale Duality: The proof utilizes the convex geometry of moment polytopes associated with the toric variety $Z$ . By analyzing the Gale duals of the ray generators and the linear relations within the Cox ring, the author derives bounds on the Fano index.

3. Key Contributions and Definitions

Construction 1.2 (The Class of Varieties)

The paper defines a specific class of Fano varieties $X$ constructed via two steps:

Start with a smooth toric variety $Z$ and a torus-invariant Weil divisor $\Delta$ such that $-(K_Z + \Delta)$ is ample.
Define $X$ $X$ via a Cox ring $R$ $R$ which is a quotient of $\text{Cox}(Z)$ $Cox (Z)$ by a homogeneous complete intersection ideal $\langle g_1, \dots, g_r \rangle$ $⟨ g_{1}, \dots, g_{r} ⟩$ .
- Crucial Constraint: The degrees of the relations $g_j$ must not be "relatively small." Specifically, $\deg(g_j)$ must lie outside the convex hull of the origin and the degrees of the generators, excluding the convex hull of the generators themselves. This ensures the resulting variety is Fano and locally factorial.

Theoretical Tools

Bunched Rings: The paper utilizes the correspondence between Mori dream spaces and bunched rings to establish the canonical embedding $X \hookrightarrow Z$ .
Moment Polytopes: The proof analyzes the vertices ( $C_\sigma$ ) of the moment polytope of the polarized toric variety $(Z, -(K_Z+\Delta))$ to bound the Fano index.

4. Main Results

Theorem 1.3 (Main Theorem)

The Mukai conjecture holds for any Fano variety $X$ constructed via Construction 1.2.

Inequality: $(i_X - 1)\rho_X \leq n$ .
Equality Case: $(i_X - 1)\rho_X = n$ if and only if $X \cong (\mathbb{P}^{i_X-1})^{\rho_X}$ .

Supporting Propositions

The proof is broken down into four key propositions:

Proposition 3.1 (Coefficient Bound): Establishes the existence of an anticanonical representative $-K_X \sim_{\mathbb{Q}} \sum a_i D_i$ where $0 < a_i \leq 1$ and the sum of coefficients satisfies $\sum a_i \leq n + \rho_X$ . This relies on the "non-small degree" assumption of the relations in the Cox ring.
Proposition 3.2 (Index Bound via Geometry): Uses the geometry of the moment polytope and Gale duality to show that for any ray $v$ not in a maximal cone $\sigma$ , $i_X \leq \langle v, C_\sigma \rangle + a_v$ . This links the Fano index to the combinatorial data of the toric embedding.
Proposition 3.3 (Deriving the Inequality): Combines the results of 3.1 and 3.2 to prove $(i_X - 1)\rho_X \leq n$ . This involves summing linear relations over the fan of $Z$ and utilizing the dimension formula $n + \rho_X = m - r$ (where $m$ is the number of Cox ring generators and $r$ is the number of relations).
Proposition 3.4 (Characterization of Equality): Proves that if equality holds, the fan $\Sigma$ of the ambient toric variety $Z$ must decompose into a product of fans corresponding to projective spaces. Consequently, the Cox ring of $X$ becomes a polynomial ring (no relations), implying $X$ is a product of projective spaces.

5. Significance

Extension of Toric Results: This work successfully extends the known validity of the Mukai conjecture from purely toric varieties to a significant non-toric class (locally factorial Fano varieties with specific Cox ring structures).
Unification of Approaches: It demonstrates how the "log" version of the Mukai conjecture on toric varieties can be leveraged to prove the standard conjecture for embedded varieties, providing a new pathway for attacking the general conjecture.
Complexity Measure: The paper introduces and utilizes a "complexity" quantity $\gamma(X, -K_X)$ , which measures the deviation of a log pair from being toric. The results suggest that this complexity is non-negative and vanishes precisely when the variety is a product of projective spaces, offering a potential geometric invariant for future classification efforts.
Concrete Examples: The paper provides examples including complexity-one $T$ -varieties and specific complete intersections in products of projective spaces, showing the applicability of the construction.

In summary, Pearson provides a rigorous proof of the Mukai conjecture for a class of Fano varieties defined by their Cox rings, utilizing the interplay between the combinatorial geometry of toric ambient spaces and the algebraic structure of complete intersection rings.