🔢 mathematics

Open problems in K-stability of Fano varieties

This note discusses a number of open problems in the theory of K-stability for Fano varieties.

Original authors: Chenyang Xu, Ziquan Zhuang

Published 2026-06-02

📖 6 min read🧠 Deep dive

Original authors: Chenyang Xu, Ziquan Zhuang

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

The Big Picture: Finding the "Perfect Shape"

Imagine you are an architect trying to build the most stable, beautiful, and "optimal" structure possible. In the world of mathematics, specifically geometry, this structure is called a manifold (a shape that can exist in many dimensions).

For a long time, mathematicians have been trying to find a specific type of "perfect skin" or metric to wrap around these shapes, called a Kähler-Einstein metric. Think of this like finding the perfect tension on a drumhead or the perfect curvature of a soap bubble. If you can find this perfect metric, the shape is considered "stable."

The paper focuses on a specific family of shapes called Fano varieties. You can think of these as shapes that naturally want to curve inward (like a sphere or a bowl) rather than outward. The big question is: Which of these shapes can hold that perfect metric?

The authors explain that the answer lies in a concept called K-stability. It's like a stress test. If a shape passes the test, it has the perfect metric. If it fails, it doesn't.

The Toolkit: How Do We Test Stability?

The paper discusses various ways to measure if a shape is "K-stable." Instead of just guessing, mathematicians have developed a "stability threshold" (a score).

The Score: Imagine a scale where 1 is the passing mark.
- If the score is greater than 1, the shape is perfectly stable (K-stable).
- If the score is exactly 1, it's on the edge (K-semistable).
- If it's less than 1, it's unstable and will collapse.

The authors are listing the "Open Problems"—the questions that even the smartest mathematicians haven't solved yet. They are essentially saying, "We know how to build the testing lab, but we haven't tested every single shape in the universe yet."

The Main Challenges (The Open Problems)

The paper is organized into several sections, each tackling a different puzzle:

1. The "Catalog" Problem (K-Moduli)

Imagine you have a library of all possible stable shapes. Mathematicians have recently built a "map" (called a K-moduli space) that organizes these shapes.

The Problem: We know the map exists, but we don't know exactly what it looks like for specific types of shapes, like hypersurfaces (shapes defined by a single equation, like a complex 3D curve).
The Analogy: It's like knowing a library exists, but not knowing the exact layout of the "Cubic Equation" section. The authors are asking: "Can we map out the entire library for these specific shapes?"

2. The "Vector Bundle" Problem

Sometimes, the shapes we are studying are actually spaces that hold other mathematical objects (like bundles of strings).

The Problem: We need to prove that these "bundles" are also stable.
The Analogy: If the building is stable, are the elevators inside it also stable? The paper asks us to prove that if the main shape is good, the internal structures are good too, using only algebra (math rules) rather than physics (calculus).

3. The "Local" Problem (Zooming In)

So far, we've looked at the whole shape. But what happens if you zoom in on a tiny, jagged corner (a singularity)?

The Concept: The authors introduce Normalized Volume. Imagine a jagged rock. You want to know how "dense" or "heavy" the jaggedness is.
The Discovery: They found that every jagged corner has a "best possible version" it can degenerate into (a smoother, stable cone).
The Problem: They suspect that if the original shape is a Symplectic Singularity (a very special, rigid type of corner), this "best version" is also symplectic. It's like asking: "If I melt a jagged ice sculpture into a perfect cone, will it still be made of the same special ice?"

4. The "Symmetry" Problem

Many of these shapes have symmetries (you can rotate them and they look the same).

The Problem: The authors are looking at shapes related to Contact Fano varieties (shapes with a specific twisting structure). They want to know if the "bases" of these shapes (the ground they stand on) are stable.
The Analogy: Think of a spinning top. The authors want to know if the floor the top spins on is perfectly flat and stable. They have some examples that work, but they need a general rule.

5. The "Different World" Problem (Positive Characteristics)

Most of this math is done in a world where numbers behave normally (like 0, 1, 2...). But there is a different mathematical world where numbers wrap around (like a clock, where 12 + 1 = 1). This is called "positive characteristic."

The Problem: We have a way to measure stability in the "normal" world. We have a different way to measure it in the "clock" world.
The Question: If we take a shape from the normal world and translate it to the clock world, do the stability scores match up? The authors suspect they might not match perfectly, but they want to know exactly how they relate.

Why Does This Matter?

The authors aren't just listing problems for fun. They have built a massive framework (the K-moduli space) that organizes these shapes. Now, they want to fill in the blanks.

For Geometry: Solving these problems helps us understand the fundamental building blocks of the universe's shape.
For Physics: The "perfect metrics" they are looking for are related to Einstein's equations (gravity). Understanding which shapes are stable helps physicists understand how space-time might be structured.
For Math: It connects different branches of math (algebra, geometry, and analysis) together.

Summary

This paper is a "To-Do List" for the world's top geometers.

We have the rules: We know how to test if a shape is stable.
We have the map: We know how to organize these shapes into a library.
The missing pieces: We don't know the specific details for many famous shapes, we don't fully understand the "jagged corners" of these shapes, and we aren't sure how these rules apply in different mathematical "universes."

The authors are inviting the mathematical community to solve these specific puzzles to complete the picture of K-stability.

Technical Summary: Open Problems in K-Stability of Fano Varieties

1. Problem Statement and Context

The paper addresses the current state of K-stability theory for Fano varieties, a field that has matured significantly following the proof of the Yau-Tian-Donaldson conjecture (equating K-polystability with the existence of Kähler-Einstein metrics). While foundational existence theorems and the construction of K-moduli spaces have been established, the authors identify a wide array of open problems that remain unresolved. These problems span:

Explicit verification of stability for specific classes of Fano varieties (e.g., hypersurfaces, complete intersections, moduli of vector bundles).
Local stability theory, focusing on the relationship between K-stability and the geometry of klt singularities via normalized volumes.
Structural questions regarding the algebraic nature of stability, including the stability of tangent bundles and the behavior of valuations.
Extensions of the theory to positive characteristic and arithmetic settings.

The paper serves as a roadmap for future research, aiming to deepen connections between K-stability and other areas of higher-dimensional geometry, such as the Minimal Model Program (MMP) and symplectic geometry.

2. Methodology and Theoretical Framework

The authors synthesize results from differential geometry, algebraic geometry, and valuation theory. The methodology relies on several key theoretical pillars established in recent literature:

Stability Thresholds: The use of the invariant $\delta(X, \Delta)$ , defined as the infimum of the ratio of log discrepancy to the expected vanishing order, to characterize K-semistability ( $\delta \ge 1$ ) and K-stability ( $\delta > 1$ ).
Stable Degeneration: The application of the Stable Degeneration Theorem, which states that any klt singularity admits a canonical degeneration to a K-semistable log Fano cone via the minimizer of the normalized volume function.
Abban-Zhuang Method: Utilizing specific techniques involving flags and intersection numbers on blow-ups to estimate stability thresholds for explicit varieties.
Local-to-Global Principles: Leveraging inequalities relating local invariants (like normalized volume) to global properties of the variety or the MMP sequence.
Analogy with Positive Characteristic: Comparing characteristic 0 invariants (log canonical thresholds, normalized volumes) with their characteristic $p$ counterparts (F-pure thresholds, Frobenius volumes).

3. Key Contributions and Results

3.1. K-Moduli and Explicit Varieties

The paper reviews the construction of K-moduli spaces (Theorem 4), which parametrize K-semistable log Fano pairs with fixed numerical invariants. It highlights that these spaces are proper Artin stacks admitting separated good moduli spaces.

Explicit Hypersurfaces: The authors discuss Problem 6, asking for a proof that all smooth degree $d$ hypersurfaces in $\mathbb{P}^{n+1}$ (for $3 \le d \le n+1$ ) are K-stable. While proven for specific cases (e.g., $d=n+1$ , or via the Abban-Zhuang method for high degrees), the general case remains open.
Moduli of Vector Bundles: Problem 9 proposes investigating the K-stability of the moduli space of polystable vector bundles on a curve, conjecturing a birational map to the GIT moduli of curves.
Low Dimensions: The paper notes that while smooth Fano threefolds are largely classified regarding stability, specific families (e.g., No. 1.9 and 1.10 in the classification) require further attention, particularly regarding strict K-semistability.

3.2. Local K-Stability and Symplectic Singularities

A major focus is the interplay between local singularity theory and global stability.

Normalized Volume: The paper reiterates that the normalized volume $\widehat{\text{vol}}(x, X, \Delta)$ is minimized by a quasi-monomial valuation, leading to a K-semistable cone degeneration (Theorem 17).
Symplectic Singularities: The authors propose Problem 20, conjecturing that the stable degeneration of a symplectic singularity remains symplectic. This is supported by analytic evidence in the hyperkähler case but lacks a general algebraic proof.
Contact Fano Varieties: The paper links symplectic singularities to contact Fano varieties. Problem 23 asks whether projective bases of nilpotent orbit closures or Slodowy slices are K-polystable.
Explicit Calculation: The authors provide a detailed calculation (Problem 24, based on [Fuj26]) showing that a specific family of non-Gorenstein hypersurfaces $X_k$ (projective bases of Slodowy slices) are K-polystable, utilizing the $SL_2(\mathbb{C})$ -action and the Abban-Zhuang method.
Conjectural Structure: Problem 25 posits that the minimizer of the normalized volume for a symplectic singularity is a Kollár component that forms a contact Fano variety, suggesting a "hidden hyperkähler cone" structure.

3.3. Stability of Tangent Bundles and Algebraic Proofs

The paper addresses Problem 12, seeking purely algebraic proofs for the stability of the tangent sheaf $T_X$ when $X$ is K-semistable. While the analytic Donaldson-Uhlenbeck-Yau theorem implies this, an algebraic proof for Fano varieties (and specifically for the canonical extension in Problem 13) remains elusive.

3.4. Higher Rank Valuations and Finite Generation

The authors explore valuations beyond the divisorial case.

Special Valuations: Theorem 39 confirms that "special valuations" (a class including minimizers of normalized volume) have finitely generated associated graded rings.
Open Questions: Problem 41 and Problem 43 ask for a structural description of the set of valuations computing log canonical thresholds for graded sequences of ideals, specifically whether they are all quasi-monomial and if their associated graded rings are finitely generated.

3.5. Positive Characteristic and Arithmetic

The paper investigates the extension of K-stability concepts to positive characteristic ( $p > 0$ ).

Frobenius Volume: New invariants like the Frobenius volume ( $\text{Fvol}$ ) are defined using F-pure thresholds.
Convergence: Problem 46 asks if the normalized volume in characteristic 0 is the limit of the Frobenius volume as $p \to \infty$ . The authors express caution, noting that while a lower bound is expected, equality is not guaranteed.
Finite Degree Formula: Problem 49 conjectures that Frobenius volumes satisfy a finite degree formula analogous to the normalized volume under étale-in-codimension-one morphisms.

4. Significance and Claims

The paper claims that the construction of K-moduli spaces and the proof of the stable degeneration theorem have provided a robust framework, but the field is now at a stage where specific structural questions and explicit computations are the primary drivers of progress.

Bridging Fields: The authors emphasize that resolving these problems will establish deeper connections between K-stability and symplectic geometry (via symplectic singularities), the MMP (via local volume bounds controlling singularities), and arithmetic geometry.
Modesty on Claims: The authors are explicit about the speculative nature of several conjectures. For instance, regarding the convergence of Frobenius volumes (Problem 46), they state it "might be too optimistic to expect (9) holds." Similarly, the conjecture that all conical symplectic singularities admit a canonical weight 1 or 2 action (Problem 25) is described as potentially "too optimistic," though no counterexamples are known.
Future Direction: The paper does not claim to solve these problems but rather to categorize and motivate them. It suggests that understanding the "local-to-global" correspondence and the behavior of valuations in higher ranks is essential for the next generation of results in higher-dimensional geometry.

In summary, the paper acts as a comprehensive survey of the "frontier" of K-stability, moving from existence theorems to the intricate details of singularities, explicit examples, and the algebraic foundations of stability invariants.