🔢 mathematics

Valuative independence and metric SYZ conjecture

This paper proves the metric SYZ conjecture for polarised maximal degenerations of compact Calabi-Yau manifolds, provided that a canonical basis of the section ring exists and satisfies the valuative independence condition.

Original authors: Yang Li

Published 2026-05-04

📖 4 min read🧠 Deep dive

CC BY 4.0

Original authors: Yang Li

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 have a complex, multi-dimensional shape (a Calabi-Yau manifold) that is slowly collapsing or "degenerating" as a variable $t$ approaches zero. Think of this like a balloon slowly deflating until it becomes a flat, two-dimensional map.

Mathematicians have long suspected that as this shape collapses, it doesn't just flatten into chaos. Instead, it should organize itself into a very specific structure: a bundle of tiny, perfect loops (like a stack of donuts) that fit together to form the whole shape. This is the SYZ Conjecture. It's a bit like saying that if you squint at a complex 3D sculpture from far enough away, you'll see it's actually made of thousands of tiny, perfectly aligned rings.

The paper by Yang Li tackles a major hurdle in proving this conjecture. Here is the breakdown using simple analogies:

1. The Problem: A PDE Puzzle

The shape is governed by a very difficult equation (the Complex Monge-Ampère equation). Solving this directly is like trying to predict the weather by tracking every single air molecule. It's too messy.
The author's strategy is to switch perspectives. Instead of looking at the shape in the "real world" (complex geometry), they look at it through a "non-Archimedean" lens. Think of this as switching from a high-definition video to a pixelated, tropical map. On this map, the complex shape turns into a simpler geometric skeleton called the Essential Skeleton.

2. The Key Ingredient: The "Canonical Basis"

To make this switch work, the author needs a special list of building blocks (a basis) to describe the shape's sections.

The Analogy: Imagine you are trying to describe a complex song. You could list every possible sound wave, but that's messy. Instead, you want a "canonical basis"—a perfect set of musical notes where each note is distinct and doesn't overlap with the others in a confusing way.
Valuative Independence: The paper assumes we have a special set of notes (sections) where, if you mix them together, the "loudest" note (the one with the highest value) always wins, and there's no weird cancellation or interference. This is called valuative independence.
The Good News: The author cites recent work by Blum and Liu, which proves that such a perfect set of notes always exists for these shapes. This is the "magic key" that unlocks the door.

3. The Bridge: From Notes to Geometry

Once we have these special notes, the author shows they create a "cost function."

The Analogy: Think of the notes as a transportation network. The "cost" is how much "energy" it takes to move from one point on the skeleton to another.
Because the notes are so well-behaved (valuatively independent), this cost function behaves like a perfect, smooth map. It turns the messy problem of the collapsing shape into a clean Optimal Transport problem. This is like finding the most efficient way to move a pile of sand from one spot to another, where the sand represents the shape's volume.

4. The Result: The Map Reveals the Rings

The paper proves that if you have these special notes, the "map" (the potential function) behaves in a very specific way:

It factors through a "retraction map." Imagine the 3D shape is a stack of paper. The retraction map is like pressing the stack flat onto a table. The author proves that the mathematical function describing the shape's geometry depends only on where it lands on the table (the skeleton), not on the specific layer of paper it came from.
This "flattening" property is exactly what is needed to prove the Metric SYZ Conjecture. It confirms that on almost the entire shape (99.9% of it), the geometry is indeed a bundle of special loops (Lagrangian tori).

Summary of the Achievement

The paper doesn't just guess that the shape forms loops; it provides a rigorous proof that if you have a specific, well-behaved set of algebraic building blocks (which we now know always exist), then the shape must organize itself into the loop structure predicted by the SYZ conjecture as it collapses.

It connects three worlds:

Algebra: The existence of special building blocks (valuative independence).
Geometry: The shape collapsing into a skeleton.
Optimization: The shape arranging itself like a perfectly efficient transport network.

By proving that the algebraic building blocks force the geometry to behave like a transport network, the author bridges the gap between abstract algebra and the physical shape of the universe, confirming that the "donut bundle" structure is real.

1. Problem Statement

The paper addresses the Metric Strominger-Yau-Zaslow (SYZ) Conjecture in the context of Calabi-Yau (CY) geometry. Specifically, it concerns the limiting behavior of the Ricci-flat Kähler metric ( $\omega_{CY,t}$ ) on a family of compact CY manifolds $X_t$ as the parameter $t \to 0$ in a maximal degeneration scenario.

The Conjecture: For a polarised maximal degeneration, as $t \to 0$ , the manifold $X_t$ should admit a special Lagrangian $T^n$ -fibration on an open subset of $X_t$ carrying at least $1-\delta$ of the normalized CY volume measure.
Current Status: The conjecture is known for specific cases (Abelian varieties, certain K3 surfaces, hypersurfaces in toric Fano manifolds) but remains open in full generality.
The Gap: Previous approaches using non-Archimedean (NA) pluripotential theory (Boucksom-Favre-Jonsson) reduced the problem to the existence of a specific property of the NA Calabi-Yau potential ( $\phi_0$ ). This property, called the Weak Comparison Property, requires that $\phi_0$ factors through the retraction map to the dual complex (or essential skeleton) on a set of full measure. Proving this property algebraically has been the missing link.

2. Methodology

The author bridges complex geometry, non-Archimedean geometry, and convex analysis using the following framework:

A. Non-Archimedean Setup

Base Change: The degeneration family $\pi: X \to D^*$ is base-changed to the formal punctured disc $\text{Spec}(K)$ where $K = \mathbb{C}((t))$ .
Berkovich Space: The family is associated with a Berkovich space $X^{\text{an}}_K$ . The Essential Skeleton $\text{Sk}(X)$ is a simplicial complex embedded in $X^{\text{an}}_K$ , representing the tropical limit of the degeneration.
NA Monge-Ampère Equation: The NA Calabi-Yau potential $\phi_0$ is the unique solution (up to constant) to the NA Monge-Ampère equation $\text{MA}(\phi_0) = (L^n)\mu_0$ , where $\mu_0$ is the Lebesgue measure on $\text{Sk}(X)$ .

B. The Key Algebraic Input: Valuative Independence

The core innovation is the assumption (and recent proof by Blum-Liu) that the section ring $\bigoplus_{l \ge 0} H^0(X_K, lL)$ admits a canonical basis $\{\theta^l_\alpha\}$ satisfying valuative independence.

Definition: For any point $x \in \text{Sk}(X)$ (viewed as a valuation), the valuation of a linear combination is the minimum of the valuations of the terms:
$\text{val}_x\left(\sum a_\alpha \theta^l_\alpha\right) = \min_{\alpha: a_\alpha \neq 0} (\text{val}(a_\alpha) + \text{val}_x(\theta^l_\alpha))$
Intuition: This basis behaves like monomials on an affinoid torus, effectively making the CY manifold resemble a toric variety in the limit.

C. Analytic Tools

Cost Functions and c-transform: The author constructs a cost function $c(x, p; y)$ derived from the asymptotic limits of $\frac{1}{l} \log |\theta^l_\alpha|$ . This allows for a c-transform (a generalization of the Legendre transform) between functions on the skeleton $\text{Sk}(X)$ and a parameter space $B_y$ .
Okounkov Bodies: Using the gradients of the tropical theta functions, the author constructs an Okounkov body $\Delta_y$ associated with the section ring. This convex body serves as the parameter space for the limiting tropical functions.
Orthogonality Property: The proof leverages the orthogonality property of psh envelopes (Proposition 2.7) to show that "bad" sets where the potential fails to factorize have measure zero.

3. Key Contributions and Results

Main Theorem (Theorem 1.8)

Assuming the existence of a valuative independent basis for the section ring, the Weak Comparison Property holds for the degeneration family.

Implication: There exists an open subset $U \subset \text{Sk}(X)$ with full Lebesgue measure such that the NA CY potential $\phi_0$ factors through the retraction map $r_X: X^{\text{an}}_K \to \Delta_X$ (i.e., $\phi_0 = \phi_0 \circ r_X$ on $r_X^{-1}(U)$ ).

Connection to Metric SYZ (Theorem 1.4 + 1.8)

Combining the main theorem with previous results (Theorem 1.4), the paper proves the Metric SYZ Conjecture for all polarised maximal degenerations of compact CY manifolds, provided the valuative independent basis exists.

Note: The paper cites an upcoming result by Blum and Liu (Theorem 1.6) which establishes the existence of such a basis (possibly after scaling the polarization by $m_0$ ) for any polarised degeneration. This effectively resolves the Metric SYZ conjecture in full generality.

Optimal Transport Interpretation (Section 4)

The author reformulates the NA Monge-Ampère equation as an Optimal Transport problem:

The solution $\phi$ minimizes a functional $F_\mu(\phi) = \int_{B} \phi^c d\nu + \int_{\text{Sk}(X)} \phi d\mu$ .
The equation is equivalent to a global real Monge-Ampère type condition: The map $\bar{\nabla}\phi$ (conjugate set map) is a measure-preserving map between the probability space $(\text{Sk}(X), \mu)$ and the auxiliary space $(B, \nu)$ .
Mirror Symmetry Connection: The space $(B, \nu)$ is conjectured to be the essential skeleton of the mirror family equipped with Lebesgue measure, offering a metric realization of Mirror Symmetry.

4. Technical Highlights

Factorization Criterion: The paper establishes a rigorous criterion (Proposition 3.27) for a semipositive potential to factor through the retraction map. This relies on showing that the gradient of the potential lies in the interior of the Okounkov body, which implies the potential is locally affine linear in the tropical coordinates.
Measure Zero of Bad Sets: Using the orthogonality of psh envelopes, the author proves that the sets where the gradient is not unique or lies on the boundary of the Okounkov body have measure zero with respect to the NA Monge-Ampère measure.
Tropical Theta Functions: The limiting functions $\lim_{l \to \infty} \frac{1}{l} \log |\theta^l_\alpha|$ are identified as elements of a class $P_c$ of convex functions on the skeleton, canonically linked to the geometry of the Okounkov body.

5. Significance

Resolution of a Major Conjecture: This work provides the final algebraic-geometric ingredient needed to prove the Metric SYZ conjecture for general maximal degenerations, unifying complex differential geometry with non-Archimedean algebraic geometry.
Algebraic-Geometric Bridge: It demonstrates that deep analytic properties of CY metrics (special Lagrangian fibrations) are controlled by the algebraic structure of the section ring (valuative independence of bases).
New Perspective on Mirror Symmetry: By interpreting the NA MA equation as an optimal transport problem between the skeleton of the original family and a dual space $(B, \nu)$ , the paper offers a concrete metric formulation of Mirror Symmetry, suggesting that the mirror skeleton is the natural target space for the transport map.
Methodological Advance: The introduction of the cost function and c-transform in the context of Berkovich spaces provides a powerful new toolkit for studying degenerations and Monge-Ampère equations in non-Archimedean settings.

In summary, Yang Li proves that the existence of a "good" basis for the section ring (valuative independence) forces the Calabi-Yau metric to degenerate into a special Lagrangian fibration structure, thereby confirming the Metric SYZ conjecture for maximal degenerations.