🔢 mathematics

On Fano indices of weighted projective spaces

This paper proves that the Fano index of an $n$ -dimensional well-formed weighted projective space with canonical singularities is bounded above by $(s_n-1)(2s_n-3)$ , thereby confirming a conjecture by Chengxi Wang and exploring the distribution of these indices in dimension 4.

Original authors: Haidong Liu

Published 2026-08-05

📖 6 min read🧠 Deep dive

CC BY 4.0

Original authors: Haidong 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 you are an architect trying to build the most stable, beautiful structures possible, but you are restricted to a very strange, twisted grid where the rules of space are weighted differently in every direction. This is the world of algebraic geometry, a branch of mathematics that studies shapes defined by equations. In this world, there is a special family of shapes called "Fano varieties." Think of them as the universe's most energetic, positively curved buildings. They are fascinating because they often act as the "seeds" or building blocks for understanding more complex, mysterious shapes, including those that might describe the hidden dimensions of our own universe.

To understand these shapes, mathematicians use a measuring stick called the "Fano index." You can think of this index as a "stability score" or a "complexity rating." A higher score means the shape is built with heavier, more specific weights, pushing it toward the extreme limits of what is mathematically possible. For decades, researchers have been hunting for the absolute highest possible score a shape can have before it breaks the rules of geometry. They noticed that the shapes with the highest scores seem to be built using a very specific, quirky sequence of numbers known as the Sylvester sequence (2, 3, 7, 43, 1807...), where each number is one more than the product of all the previous ones. It's like finding that the tallest towers in the city are all built using a specific, rare type of brick that follows a secret recipe.

In this paper, mathematician Haidong Liu steps into this high-stakes game of geometric limits. He tackles a long-standing guess made by another researcher, Chengxi Wang, which suggested that there is a strict "ceiling" on how high this stability score can go for a specific type of shape called a "weighted projective space." Liu doesn't just guess; he proves it. He shows that for these shapes, the score can never exceed a specific formula involving that special Sylvester sequence. He also dives into the 4-dimensional version of these shapes, creating a detailed map of every possible score they can have, and finds that these scores are surprisingly rare, clustering around numbers related to a famous mathematical function called Euler's totient function.

The Story of the "Stability Ceiling"

Let's break down what Liu actually did. Imagine you have a bag of weighted blocks. You want to stack them to build a tower (a shape) that is perfectly balanced. In the world of weighted projective spaces, the "weight" of the tower is the sum of the numbers you chose for your blocks. The "Fano index" is simply that total sum. The question Liu answers is: "If I want my tower to be mathematically valid (having what are called 'canonical singularities,' which are like controlled, non-catastrophic cracks), how heavy can my total sum be?"

For a long time, people knew the answer was related to the Sylvester sequence. They had a rough idea of the limit, but they weren't sure if it was the exact limit or if there was a tiny bit of wiggle room. Liu's main achievement is proving that the limit is exactly $y_n(2y_n - 1)$ , where $y_n$ is a number derived from that special sequence (specifically, $y_n = s_n - 1$ ).

To put it in everyday terms: If the sequence of special bricks is 2, 3, 7, 43, 1807, then for a 4-dimensional shape, the "magic number" $y_4$ is 1806. Liu proves that the maximum possible score for a 4D shape is $1806 \times (2 \times 1806 - 1)$ , which equals 3,486. He didn't just say "it's probably this"; he used a rigorous logical argument involving "age functions" (a way of counting how "twisted" the shape is) and "majorization" (a fancy way of comparing how unevenly the weights are distributed) to show that if you try to go higher than 3,486, the shape simply collapses into mathematical nonsense.

The Map of 4D Scores

The paper doesn't stop at just finding the ceiling. Liu also asks, "What about all the scores below the ceiling? Are they all possible, or are there gaps?"

For 4-dimensional shapes, he created a complete list of every possible score. He found that the scores aren't scattered randomly. Instead, they fall into specific "zones" or clusters.

There are scores from 1 to 1,743.
Then, there's a gap, and the next possible scores are even numbers between 1,744 and 2,324.
Then, scores that are multiples of 6 between 2,325 and 2,988.
Finally, scores that are multiples of 42 between 2,989 and 3,486.

This is like finding that in a giant lottery, you can win any amount up to a certain point, but once you pass a threshold, you can only win if your number is divisible by 2, then by 6, then by 42. The paper explicitly rules out the idea that any number below the limit is possible; there are strict "forbidden zones" where no valid shape can exist.

The Big Guess: Do These Shapes Match Other Mysteries?

Finally, Liu looks at a bigger picture. He notices something strange: the list of scores for these weighted projective spaces looks exactly like the list of scores for other mysterious shapes called "terminal Calabi–Yau varieties" (shapes that are central to string theory) and "log canonical singularities" (mathematical glitches in space).

In dimensions 2 and 3, we know for a fact that these lists are identical. Liu suggests that this coincidence isn't a fluke. He proposes a conjecture (a strong guess that hasn't been proven yet) that this pattern holds true for all dimensions. If this is true, it means that the rules governing these specific weighted spaces are the same rules governing the most complex, high-dimensional shapes in the universe. He even suggests that if this is true, the maximum "stability score" for a 4D Calabi–Yau shape is also capped at 3,486.

Why This Matters

This paper is a victory for precision. It takes a fuzzy, "it's probably around here" guess and turns it into a hard, mathematical fact. It tells us exactly where the edge of the map is for these shapes. While it doesn't immediately build a new engine or cure a disease, it tightens the screws on our understanding of the mathematical universe. It confirms that the universe of these shapes is not chaotic; it has a strict, predictable structure, and the "Sylvester sequence" is the key that unlocks the door to its highest peaks. For a curious teenager, it's a reminder that even in the most abstract corners of math, there are hidden patterns, strict rules, and a beautiful order waiting to be discovered.

Technical Summary: On Fano Indices of Weighted Projective Spaces

Problem Statement
The paper addresses the problem of bounding the Fano index, $q(X)$ , for $n$ -dimensional well-formed weighted projective spaces $X = \mathbb{P}(a_1, \dots, a_{n+1})$ with canonical singularities. The Fano index is defined as the largest integer $q$ such that $-K_X \sim_{\mathbb{Q}} qA$ for some Weil divisor $A$ . For weighted projective spaces, this index is simply the sum of the weights: $q = \sum a_i$ .

Previous work by Averkov, Krümpelmann, and Nill established an upper bound of $2y_n^2$ for these indices, where $y_n = s_n - 1$ and $s_n$ is the $n$ -th term of the Sylvester sequence ( $s_1=2, s_i = \prod_{j=1}^{i-1} s_j + 1$ ). However, this bound was not sharp. Chengxi Wang conjectured that the sharp upper bound should be $y_n(2y_n - 1)$ . This paper aims to prove this conjecture specifically for weighted projective spaces. By leveraging the relationship between weighted projective spaces and $Q$ -factorial toric Fano varieties with Picard number one, the paper subsequently derives the same bound for the latter class as a corollary. Additionally, the paper investigates the distribution of these indices in dimension 4 and explores their relationship with indices of terminal Calabi–Yau varieties.

Methodology
The author employs a combination of toric geometry, the theory of singularities, and combinatorial optimization techniques.

Age Function and Singularity Criteria: The paper utilizes the "age function," defined as $\text{age}(k) = \sum_{i=1}^{n+1} \{ \frac{a_i k}{q} \}$ , to encode singularity conditions. A key criterion (Kasprzyk's criterion) states that a weighted projective space has at worst canonical singularities if and only if $\text{age}(k) \neq n$ for any $2 \le k \le q-2$ .
Integral Simplex and Barycentric Coordinates: The problem is translated into the geometry of an integral simplex $S$ with a unique interior lattice point. The weights $a_i$ correspond to the volumes of facets, and the normalized barycentric coordinates are $\beta_i = a_i/q$ .
Inequalities and Majorization: The proof relies heavily on product-sum inequalities (Theorem 2.7) and generalized product-sum inequalities (Lemma 2.11). A significant methodological contribution is the application of majorization theory (specifically Karamata's inequality for the concave function $\log x$ ) to compare the distribution of barycentric coordinates against the Sylvester sequence terms. This allows the author to derive strict lower bounds for products of coordinates, leading to contradictions when assuming the Fano index exceeds the conjectured bound.
Computational Enumeration: For the distribution analysis in dimension 4, the author employs a computer search. By establishing sharper bounds for the weights $a_i$ using the age criterion, the search space for possible Fano indices $q$ is reduced, allowing for the enumeration of all valid tuples $(a_1, \dots, a_5)$ up to the theoretical maximum.

Key Contributions and Results

Proof of the Upper Bound (Theorem 1.2): The paper proves that the Fano index of an $n$ $n$ -dimensional well-formed weighted projective space with canonical singularities is at most $y_n(2y_n - 1)$ $y_{n} (2 y_{n} - 1)$ .
- The proof proceeds by contradiction: assuming $q > y_n(2y_n - 1)$ , the author derives that specific weights $a_n$ and $a_{n+1}$ must equal $y_n$ . Using majorization and product-sum inequalities, it is shown that the product of the first $n-1$ barycentric coordinates would exceed a bound derived from the age criterion, leading to a contradiction where $\text{age}(2y_n - 1) = n$ , violating the canonical singularity condition.
Extension to Toric Varieties (Corollary 1.3): Since any $Q$ -factorial toric Fano variety with Picard number one admits a finite Galois étale morphism from a well-formed weighted projective space, the same upper bound $y_n(2y_n - 1)$ applies to these varieties as a direct consequence of the main theorem.
Distribution in Dimension 4 (Theorem 4.4): The paper provides an explicit description of the set of Fano indices for 4-dimensional weighted projective spaces. The indices lie within a union of four disjoint sets defined by divisibility conditions related to the Sylvester sequence terms ( $s_1=2, s_2=3, s_3=7, s_4=43$ ). Specifically, the indices are contained in $\{m \in \mathbb{Z}_{>0} \mid \phi(m) \le 984\}$ , where $\phi$ is Euler's totient function.
Conjectures on Distribution (Conjecture 1.5 & 4.2): The author observes that the set of Fano indices for weighted projective spaces coincides with the set of indices for $n$ -dimensional terminal Calabi–Yau varieties and log canonical singularities for $n \le 3$ . The paper conjectures that this coincidence persists for all dimensions $n \ge 2$ .
Gap Conjecture (Conjecture 4.8): Based on the dimension 4 results, the paper conjectures that for large Fano indices $q$ , there are divisibility constraints (e.g., if $q$ is sufficiently large, $s_i$ must divide $q$ ), implying a gap of size $y_n$ between consecutive possible indices.

Significance and Claims
The paper claims to provide an affirmative answer to Wang's conjecture regarding the sharp upper bound of Fano indices for weighted projective spaces. By confirming the bound $y_n(2y_n - 1)$ for this class, the work refines the understanding of extremal cases in the classification of Fano varieties. The result for $Q$ -factorial toric Fano varieties with Picard number one is established as a direct corollary via the existence of a finite Galois étale morphism from a well-formed weighted projective space.

Furthermore, the paper highlights a deep connection between the arithmetic properties of weighted projective spaces (governed by the Sylvester sequence) and the geometry of Calabi–Yau varieties. The explicit enumeration in dimension 4 and the subsequent conjectures suggest a unified structure governing the indices of these distinct geometric objects across all dimensions. The author notes that while the conjectures regarding the coincidence of index sets and the gap structure are supported by evidence in low dimensions, they remain open for higher dimensions. The paper also acknowledges that the runtime for the dimension 4 enumeration was significantly reduced by using AI-assisted code optimization, though the mathematical proofs remain rigorous and independent of AI generation.

The Story of the "Stability Ceiling"

The Map of 4D Scores

The Big Guess: Do These Shapes Match Other Mysteries?

Why This Matters

More like this