arxiv: 2605.00516 · v1 · submitted 2026-05-01 · 🧮 math.AG · math.CV· math.DG

Recognition: unknown

Valuative independence and metric SYZ conjecture

Authors on Pith no claims yet

Pith reviewed 2026-05-09 19:19 UTC · model grok-4.3

classification 🧮 math.AG math.CVmath.DG

keywords Calabi-Yau manifoldsSYZ conjecturemaximal degenerationvaluative independencepolarised degenerationsection ringmetric degeneration

0 comments

The pith

Assuming a canonical basis with valuative independence, the metric SYZ conjecture holds for polarised maximal degenerations of compact Calabi-Yau manifolds.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper proves the metric SYZ conjecture for a polarised maximal degeneration of compact Calabi-Yau manifolds whenever there exists a canonical basis of the section ring for the polarisation line bundle that satisfies the valuative independence condition. The conjecture concerns the structure of the limiting Calabi-Yau metric on the degeneration. A sympathetic reader would care because the result connects algebraic data in the section ring directly to the asymptotic metric geometry of the family.

Core claim

Given a polarised maximal degeneration of compact Calabi-Yau manifolds, if there exists a canonical basis of the section ring for the polarisation line bundle satisfying the valuative independence condition, then the metric SYZ conjecture holds.

What carries the argument

The valuative independence condition on the canonical basis of the section ring for the polarisation line bundle, which supplies the algebraic independence needed to control the degeneration of the metric.

If this is right

The limiting metric admits a special Lagrangian torus fibration.
The fibration is compatible with the given polarisation.
The metric degeneration is controlled by the algebraic properties of the section ring basis.
This settles the metric SYZ conjecture in all cases satisfying the stated algebraic hypothesis.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

If the valuative independence condition can be checked in additional explicit families, the result would cover more degenerations.
The same reduction from metric to algebraic data might adapt to related limiting problems for other special holonomy metrics.
Explicit constructions of such bases would yield concrete examples exhibiting the SYZ fibration in the limit.

Load-bearing premise

There exists a canonical basis of the section ring for the polarisation line bundle that satisfies the valuative independence condition.

What would settle it

A concrete polarised maximal degeneration of a compact Calabi-Yau manifold possessing such a canonical basis with valuative independence, yet whose limiting metric fails to admit the predicted special Lagrangian fibration.

read the original abstract

Given a polarised maximal degeneration of compact Calabi-Yau manifolds, assuming there exists a canonical basis of the section ring for the polarisation line bundle, satisfying the valuative independence condition, we will prove the metric SYZ conjecture.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

Li proves metric SYZ for polarized maximal CY degenerations assuming a canonical basis with valuative independence exists.

read the letter

The core result is a conditional proof: under the assumption that a polarized maximal degeneration of compact Calabi-Yau manifolds admits a canonical basis of the section ring satisfying valuative independence, the metric SYZ conjecture holds. The paper states this hypothesis clearly at the outset and derives the metric statement from it without apparent circularity or hidden steps in the argument structure. That framing is useful because it isolates exactly where the valuative input enters the degeneration picture. The work sits squarely in the line of SYZ and degeneration results, using valuative techniques to control the metric side of the limit. This connection is the main incremental step; it does not claim the basis exists in general, which keeps the claim honest. The soft spot is the assumption itself. Valuative independence for a canonical basis is a strong condition, and the paper does not provide evidence or examples showing it holds beyond the cases where it is posited. If that condition turns out to be rare or difficult to verify in practice, the theorem's reach stays narrow. No other load-bearing gaps appear in the logic as presented. The paper is aimed at researchers already working on mirror symmetry, Calabi-Yau moduli, and metric degenerations. Someone tracking progress on the SYZ conjecture or valuative methods in algebraic geometry will get direct value from the conditional link. It is worth sending to peer review because it supplies a clean reduction of an important open statement to a checkable algebraic hypothesis, even if that hypothesis needs further study.

Referee Report

0 major / 2 minor

Summary. The manuscript claims to prove the metric SYZ conjecture for polarised maximal degenerations of compact Calabi-Yau manifolds, conditional on the existence of a canonical basis of the section ring for the polarisation line bundle that satisfies the valuative independence condition.

Significance. If the stated assumption on the canonical basis and valuative independence can be established in general or for broad classes of examples, the result would constitute a meaningful advance toward the metric SYZ conjecture in the setting of degenerations, a central open question in Calabi-Yau geometry and mirror symmetry. The explicitly conditional framing is a strength, as it isolates the load-bearing hypothesis and permits targeted future verification.

minor comments (2)

The abstract is extremely terse and provides no outline of the proof strategy or key intermediate steps; expanding it to indicate how the valuative independence condition is used to obtain the metric SYZ statement would improve accessibility.
Notation for the section ring, polarisation line bundle, and valuative independence condition should be introduced with a brief reminder of their definitions in the introduction, even if standard in the literature, to aid readers from adjacent areas.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript and for recommending minor revision. We appreciate the recognition that the conditional nature of the result, relying on the valuative independence assumption for a canonical basis of the section ring, is a strength that isolates the key hypothesis for future work.

Circularity Check

0 steps flagged

No significant circularity; conditional result on external assumption

full rationale

The paper states its main theorem as a conditional implication: given a polarised maximal degeneration and assuming the existence of a canonical basis of the section ring satisfying the valuative independence condition, the metric SYZ conjecture follows. This assumption is introduced explicitly as an external hypothesis rather than derived or fitted inside the paper. No equations, self-citations, or steps in the provided abstract reduce the conclusion to the inputs by construction; the derivation chain therefore remains non-circular and self-contained against the stated premise.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests entirely on the external assumption of a canonical basis satisfying valuative independence; no free parameters, invented entities, or additional axioms are stated in the abstract.

axioms (1)

domain assumption Existence of a canonical basis of the section ring for the polarisation line bundle satisfying the valuative independence condition
Explicitly stated as the hypothesis needed to prove the metric SYZ conjecture.

pith-pipeline@v0.9.0 · 5311 in / 1191 out tokens · 31273 ms · 2026-05-09T19:19:53.504979+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

33 extracted references · 7 canonical work pages · 1 internal anchor

[1]

Solvability of Monge-Amp` ere equations and tropical affine structures on reflexive polytopes

Rolf Andreasson, Jakob Hultgren. Solvability of Monge-Amp` ere equations and tropical affine structures on reflexive polytopes. arXiv:2303.05276. 39

work page arXiv
[2]

Valuative independence for Calabi--Yau varieties

Blum, Harold; Liu, Yuchen. Valuative independence for Calabi–Yau vari- eties. https://arxiv.org/abs/2604.27890

work page internal anchor Pith review Pith/arXiv arXiv
[3]

Singular semipositive metrics in non- Archimedean geometry

Boucksom, S.; Favre, C.; Jonsson, M. Singular semipositive metrics in non- Archimedean geometry. J. Algebraic Geom. 25 (2016), no. 1, 77–139

2016
[4]

Tropical and non-Archimedean limits of degen- erating families of volume forms

Boucksom, S.; Jonsson, M. Tropical and non-Archimedean limits of degen- erating families of volume forms. J. ´Ec. polytech. Math. 4 (2017), 87–139

2017
[5]

Solution to a non-Archimedean Monge-Amp` ere equation

Boucksom, S.; Favre, C.; Jonsson, M. Solution to a non-Archimedean Monge-Amp` ere equation. J. Amer. Math. Soc. 28 (2015), no. 3, 617–667

2015
[6]

The non-Archimedean Monge-Amp` ere equation

Boucksom, S.; Favre, C.; Jonsson, M. The non-Archimedean Monge-Amp` ere equation. Nonarchimedean and tropical geometry, 31–49, Simons Symp., Springer, [Cham], 2016

2016
[7]

Spaces of norms, determinant of cohomology and Fekete points in non-Archimedean geometry

Boucksom, S.; Eriksson, D. Spaces of norms, determinant of cohomology and Fekete points in non-Archimedean geometry. Adv. Math. 378 (2021), Paper No. 107501, 124 pp

2021
[8]

Corps d’Okounkov (d’apr` es Okounkov, Lazarsfeld- Mustat ¸ˇ a et Kaveh-Khovanskii)

Boucksom, S´ ebastien. Corps d’Okounkov (d’apr` es Okounkov, Lazarsfeld- Mustat ¸ˇ a et Kaveh-Khovanskii). (French) [[Okounkov bodies (following Ok- ounkov, Lazarsfeld-Mustat ¸ˇ a and Kaveh-Khovanski˘ ı)]] Ast´ erisque No. 361, (2014), Exp. No. 1059, vii, 1–41

2014
[9]

Formes diff´ erentielles r´ eelles et courants sur les espaces de Berkovich

Chambert-Loir, A.; Ducros, A. Formes diff´ erentielles r´ eelles et courants sur les espaces de Berkovich. arXiv:1204.6277

work page arXiv
[10]

Analytic methods in algebraic geometry

Demailly, Jean-Pierre. Analytic methods in algebraic geometry. Surveys of Modern Mathematics, 1. International Press, Somerville, MA; Higher Education Press, Beijing, 2012. viii+231 pp. ISBN: 978-1-57146-234-3

2012
[11]

Valuative independence and cluster theta reciprocity

M-W. Cheung, T. Magee, T. Mandel, G. Muller. Valuative independence and cluster theta reciprocity. https://arxiv.org/abs/2505.09585

work page arXiv
[12]

Singular K¨ ahler-Einstein metrics

Eyssidieux, P.; Guedj, V.; Zeriahi, A. Singular K¨ ahler-Einstein metrics. J. Amer. Math. Soc. 22 (2009), no. 3, 607–639

2009
[13]

Degeneration of endomorphisms of the complex projective space in the hybrid space

Favre, C. Degeneration of endomorphisms of the complex projective space in the hybrid space. (English summary) J. Inst. Math. Jussieu 19 (2020), no. 4, 1141–1183

2020
[14]

Special Lagrangian fibrations, Berkovich retrac- tion, and crystallographic groups

Keita Goto, Yuji Odaka. Special Lagrangian fibrations, Berkovich retrac- tion, and crystallographic groups. arXiv:2206.14474

work page arXiv
[15]

Mirror symmetry and the Strominger-Yau-Zaslow conjecture

Gross, M. Mirror symmetry and the Strominger-Yau-Zaslow conjecture. Current developments in mathematics 2012, 133–191, Int. Press, Somerville, MA, 2013

2012
[16]

Theta functions and mirror symmetry

Gross, Mark; Siebert, Bernd. Theta functions and mirror symmetry. Sur- veys in differential geometry 2016. Advances in geometry and mathematical physics, 95–138, Surv. Differ. Geom., 21, Int. Press, Somerville, MA, 2016

2016
[17]

Theta functions on varieties with effective anti-canonical class

Gross, Mark; Hacking, Paul; Siebert, Bernd. Theta functions on varieties with effective anti-canonical class. Mem. Amer. Math. Soc. 278 (2022), no. 1367, xii+103 pp. ISBN: 978-1-4704-5297-1; 978-1-4704-7167-5 40

2022
[18]

The canonical wall structure and intrinsic mirror symmetry

Gross, Mark; Siebert, Bernd. The canonical wall structure and intrinsic mirror symmetry. Invent. Math. 229 (2022), no. 3, 1101–1202

2022
[19]

Gross, M.; Wilson, P. M. H. Large complex structure limits ofK3 surfaces. J. Differential Geom. 55 (2000), no. 3, 475–546

2000
[20]

Tropical and non-Archimedean Monge-Amp` ere equations for a class of Calabi-Yau hypersurfaces

Hultgren, Jakob; Jonsson, Mattias; Mazzon, Enrica; McCleerey, Nicholas. Tropical and non-Archimedean Monge-Amp` ere equations for a class of Calabi-Yau hypersurfaces. Adv. Math. 439 (2024), Paper No. 109494, 42 pp

2024
[21]

Hultgren, M.S

J. Hultgren, M.S. Khalid, in preparation
[22]

Strominger-Yau-Zaslow conjecture for Calabi-Yau hypersurfaces in the Fermat family

Li, Y. Strominger-Yau-Zaslow conjecture for Calabi-Yau hypersurfaces in the Fermat family. Acta Math. 229 (2022), no. 1, 1–53

2022
[23]

Metric SYZ conjecture and non-Archimedean geometry

Li, Y. Metric SYZ conjecture and non-Archimedean geometry. Duke Math. J. 172 (2023), no. 17, 3227–3255

2023
[24]

Metric SYZ conjecture for certain toric Fano hypersurfaces

Li, Y. Metric SYZ conjecture for certain toric Fano hypersurfaces. Camb. J. Math. 12 (2024), no. 1, 223–252

2024
[25]

Intermediate complex structure limit for Calabi-Yau metrics

Li, Y. Intermediate complex structure limit for Calabi-Yau metrics. Invent. Math. 240 (2025), no. 2, 459–496

2025
[26]

Survey on the metric SYZ conjecture and non-Archimedean geome- try

Li, Y. Survey on the metric SYZ conjecture and non-Archimedean geome- try. Internat. J. Modern Phys. A 37 (2022), no. 17, Paper No. 2230009, 44 pp

2022
[27]

Degeneration of Calabi-Yau metrics and canonical basis

Li, Y. Degeneration of Calabi-Yau metrics and canonical basis. https://arxiv.org/abs/2505.11087

work page arXiv
[28]

The essential skeleton of a degeneration of algebraic varieties

Nicaise, J.; Xu, C. The essential skeleton of a degeneration of algebraic varieties. Amer. J. Math. 138 (2016), no. 6, 1645–1667

2016
[29]

Hybrid toric varieties and the non-archimedean SYZ fibration on Calabi-Yau hypersurfaces

Pille-Schneider, L. Hybrid toric varieties and the non-archimedean SYZ fibration on Calabi-Yau hypersurfaces. arXiv:2210.05578

work page arXiv
[30]

Global pluripotential theory on hybrid spaces

Pille-Schneider, L´ eonard. Global pluripotential theory on hybrid spaces. J. ´Ec. polytech. Math. 10 (2023), 601–658

2023
[31]

Mirror symmetry isT-duality

Strominger, A.; Yau, S-T.; Zaslow, E. Mirror symmetry isT-duality. Nucl.Phys.B479:243-259,1996

1996
[32]

A comparison of the real and non-archimedean Monge-Amp` ere operator

Vilsmeier, Christian. A comparison of the real and non-archimedean Monge-Amp` ere operator. Math. Z. 297 (2021), no. 1-2, 633–668

2021
[33]

Transforming metrics on a line bundle to the Ok- ounkov body

Witt Nystr¨ om, David. Transforming metrics on a line bundle to the Ok- ounkov body. Ann. Sci. ´Ec. Norm. Sup´ er. (4) 47 (2014), no. 6, 1111–1161. 41

2014