Pith. Sign in

REVIEW

No Shortcuts to Infinity: Weil-Petersson Distance in Calabi-Yau Complex Structure Moduli Space

High Energy Physics - Theory · Submitted 30 Sep 2026 · 81 references

Pith's verdict: Genuinely new proof of the hard direction of Wang's conjecture for the full Weil-Petersson metric, with a single acknowledged technical hinge — the inverse-growth bound (3.37) — that needs to be derived rather than cited.

T0 · AI review

How this review was made: An AI referee (deepseek/deepseek-v4-flash) read the paper on October 3, 2026 and answered a fixed list of questions about it. T0 is the starting level every paper gets. The levels describe how deeply Pith has checked the paper, never the authors.

  1. T0 AI review An AI read the paper and answered a fixed list of questions.
  2. T1 Audit Automatic checks that the references and files the paper relies on exist and match.
  3. T2 Compute The paper's code or calculations re-run with the same results.
  4. T3 Formal statement The claims written out in a formal math language a computer can read.
  5. T4 Proof Those claims proved, and the proof checked by computer.

How Pith checks papers →

· 2 major objections · 4 minor · Ask about this paper · The compiled record · Read the full review →
Challenge this review Comment (0) Read on arXiv ↗
Cite ▾
arXiv ID2610.00470 (version 1)
Pith IDJQLS3WE3, Pith's permanent record of this paper and its review
CitationJeroen Monnee. "No Shortcuts to Infinity: Weil-Petersson Distance in Calabi-Yau Complex Structure Moduli Space." arXiv:2610.00470 (2026). https://pith.science/paper/JQLS3WE3
Cite this reviewBibTeX for Pith's review of this paper
Claim paper

Why Pith says this

Highlight any text to comment on it.

Referee report
The paper

The paper claims

A boundary point of Calabi-Yau complex-structure moduli space lies at infinite Weil-Petersson distance exactly when $N a_0 \neq 0$ — settling Wang's conjecture for full metric, arbitrary trajectories, and any boundary codimension.

The reading

The paper asks when a point on the boundary of the complex-structure moduli space of a Calabi-Yau manifold — the space of its shape deformations, equipped with the Weil-Petersson metric — lies at infinite distance, and answers with a complete criterion: infinite distance holds exactly when $N a_0 \neq 0$. The question matters for the Swampland program, which predicts a tower of light states at every infinite-distance limit, and it is genuinely subtle because several moduli can run to infinity at once: for a generic Kähler metric, finite-length 'shortcuts' into the intersection of two infinite-distance divisors do exist, as the paper demonstrates with an explicit example. The paper proves that such shortcuts are impossible in Calabi-Yau moduli space: the reverse direction of the criterion holds for the full Weil-Petersson metric, for every trajectory, including those with arbitrary hierarchies between the imaginary parts of the moduli (the saxions), unbounded winding of the angular directions (the axions), and any codimension of the boundary intersection. The mechanism is a single auxiliary charge vector whose associated mass vanishes at the boundary while its charge-to-mass ratio stays bounded, so that the logarithm of that mass bounds the length of every curve from below. If the result is right, Wang's conjecture on finite Weil-Petersson distance over higher-dimensional bases is proved, and intersections of infinite-distance boundary divisors are automatically at infinite distance.

What carries the argument

Three ingredients carry the argument. (1) Proposition 2.1, the physical criterion: writing the mass $M_q = |(q,\Omega)|/\|\Omega\|$ and physical charge $Q_q = \|q\|/\sqrt{2}$ of an auxiliary vector $q$ (no actual BPS state is needed), the Cauchy-Schwarz inequality gives $|d\log M_q/d\lambda| \leq (Q_q/M_q)\sqrt{2G_{i\bar j}\dot z^i \dot{\bar z}^{\bar j}}$, so if the charge-to-mass ratio is uniformly bounded and $M_q \to 0$, the length of any trajectory is bounded below by $C^{-1}|\log(M_q(p_2)/M_q(p_1))|$ and diverges; $\log M_q$ acts as a Lipschitz height function for the metric. (2) The auxiliary charge $q = N^d a_0$: Lemma 3.2, proved in Appendix A using Deligne splittings, the $δ$- and $ζ$-operators, and the several-variable $σ\mathfrak{sl}(2)$-orbit theorem, places $a_0$ in weight-filtration level $D + d^σ_k$ and $q$ in level $D - d^σ_k$ for every growth-sector ordering, and shows every $N_i$ annihilates $q$. (3) The Cattani-Kaplan-Schmid growth theorem: combined with Lemma 3.2 it yields $\|q\|^2 \leq C_σ (\min_i s_i)^{-d}$ together with the matching opposite bound $\|\Omega\|^2 \leq C'_σ H_σ^{-1}$ on the varying period, so the product $\|q\|\|\Omega\|$ is uniformly bounded; finitely many growth sectors cover the neighbourhood, and monodromy invariance extends the estimates to all axion values, closing the proof.

Extended reading notes

Core claim

The paper's central claim, Theorem 3.1 (specialized to Type IIB Calabi-Yau threefolds as Theorem 1.1), is a necessary and sufficient criterion: for an effective polarized variation of Hodge structure of Calabi-Yau D-fold type — a weight-$D$ polarized variation with $h^{D,0}=1$, typically coming from a family of Calabi-Yau manifolds — with unipotent local monodromies near a boundary point $p_\infty$, the point lies at infinite distance if and only if $N a_0 \neq 0$, where $N = \sum_i N_i$ is the sum of the log-monodromy operators and $a_0$ is the limiting period element. The forward direction had been established by reduction to one-parameter degenerations; the paper's new result is the reverse implication, and it holds without any restriction on how the trajectory reaches $p_\infty$, because the estimate is uniform in a neighbourhood of the boundary: arbitrary saxion hierarchies, unbounded axion winding, and any codimension of the intersection are all covered. The proof runs through the auxiliary charge $q = N^d a_0$ with $d = \max\{r : N^r a_0 \neq 0\}$, which is monodromy-invariant, has non-zero pairing $(q,a_0)$, satisfies $\|q\|^2 \leq C\,(\min_i s_i)^{-d}$, and obeys a uniformly bounded charge-to-mass ratio $\|q\|\|\Omega\|/|(q,\Omega)| < C''$; Proposition 2.1 then converts the vanishing mass $M_q \to 0$ into $L(\gamma) \geq C^{-1}|\log(M_q(p_2)/M_q(p_1))|$, so every trajectory has infinite length. In the Calabi-Yau threefold case ($D=3$) the criterion says precisely that type-II, III, and IV degenerations are at infinite distance, which in particular proves Wang's conjecture for degenerations over higher-dimensional bases.

Load-bearing premise

Everything rests on one estimate the author does not fully derive: the bound $\|\Omega\|^2 \leq C'_σ H_σ^{-1}$ (eq. 3.37) on the Hodge norm of the moduli-dependent period element $\Omega$, stated in Section 3.2.2 with the remark that it 'deserves some extra explanation' and imported from the cited literature, together with Lemma 3.2 pinning down the weight-filtration levels of $a_0$ and $q$; if either of these fails in some growth sector, no uniform charge-to-mass bound exists and the method cannot show any trajectory has infinite length.

Editorial extensions

If this is right

  • Intersections of infinite-distance boundary divisors are themselves at infinite distance: enhancement rules forbid the singularity type from dropping, and the bound is uniform in a neighbourhood, so no finite-length 'shortcut to infinity' survives at any codimension — this answers the question posed in the introduction.
  • Wang's conjecture is proved for degenerations over higher-dimensional bases: the one-parameter criterion (finite distance iff the degeneration has trivial-monodromy type) now holds at boundary strata of any codimension for the full Weil-Petersson metric.
  • The criterion is purely Hodge-theoretic: it holds for every effective polarized variation of Hodge structure of Calabi-Yau type with $h^{D,0}=1$, without requiring a geometric Calabi-Yau realization, and the auxiliary charge can be chosen real and even integral when the variation is integral.
  • The derivation yields a concrete distance scale and a directional bound: $\|q\|^2 \leq C(\min_i s_i)^{-d}$ means the length to the boundary is governed by the slowest saxion, and a would-be state's mass cannot decay faster than $e^{-CL(\gamma)}$ along any trajectory — opposite in direction to the Swampland Distance Conjecture's exponential decay, which the paper explains applies along geodesics.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • Editorial extension: if recent one-parameter results without quasi-unipotency, which the author points to as the vital open question, can be lifted to several variables, the same no-shortcuts criterion would hold for complex variations of Hodge structure beyond the algebraic setting, where the existence of light towers is far less constrained.
  • Editorial extension: the transferable insight is the template 'find a scalar with a log-Lipschitz gradient that vanishes or diverges at the boundary'; a natural testbed is four-dimensional $\mathcal{N}=1$ field spaces, where EFT-string tensions might play the role of $M_q$, even though the paper's Kähler counterexample shows the template needs physical input beyond mere Kählerity.
  • Editorial extension: because $q$ can be taken integral for geometric families, the single vanishing-mass charge is a concrete candidate for the first rung of the light tower the Swampland Distance Conjecture requires; the paper proves integrality, not existence, so actually finding such a state as a wrapped-brane charge would connect the distance criterion to the tower statement.
Original abstract

Infinite-distance limits play a central role in the Swampland program, but understanding their behaviour at intersections of boundary divisors is subtle, as it requires control over simultaneous limits of several moduli. To address this, we establish a necessary and sufficient criterion for a boundary stratum of arbitrary codimension in the complex-structure moduli space of Calabi-Yau manifolds to lie at infinite Weil-Petersson distance. In particular, intersections of infinite-distance boundary divisors necessarily remain at infinite distance. The result holds for the full Weil-Petersson metric and arbitrary trajectories, including those with unrestricted hierarchies in the saxions and axion winding. In compactifications of Type IIB string theory on Calabi-Yau threefolds, our proof is based on an inequality relating the Weil-Petersson length of a trajectory to the BPS mass associated with an auxiliary charge vector. If this mass tends to zero while the charge-to-mass ratio remains uniformly bounded, every trajectory approaching the limit has infinite length. Using asymptotic Hodge theory, we construct an auxiliary charge vector satisfying these conditions and derive the criterion directly from the limiting mixed Hodge structure associated with the degeneration. More generally, our result applies to polarized variations of Hodge structure of Calabi-Yau type. In particular, we prove Wang's conjecture on finite Weil-Petersson distance for degenerations over higher-dimensional bases.

The compiled record

The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.

Compiled by classifier-1.13.0 via TypeSafe API, question bank abstract-p1-20260923, 2026-10-02: 1 request, 7,000 input tokens.

What the abstract itself states, as probabilities: claims first 0.06 · states limitation 0.17 · human participants 0.01 · controlled comparison 0.02 · randomized assignment 0.01 · states quantitative result 0.18 · compares with prior results 0.32 · mentions code or data availability 0.02.

The abstract, sentence by sentence

arXiv listing abstract v1. Results and the main claim are underlined; .

Infinite-distance limits play a central role in the Swampland program, but understanding their behaviour at intersections of boundary divisors is subtle, as it requires control over simultaneous limits of several moduli. To address this, we establish a necessary and sufficient criterion for a boundary stratum of arbitrary codimension in the complex-structure moduli space of Calabi-Yau manifolds to lie at infinite Weil-Petersson distance. In particular, intersections of infinite-distance boundary divisors necessarily remain at infinite distance. The result holds for the full Weil-Petersson metric and arbitrary trajectories, including those with unrestricted hierarchies in the saxions and axion winding. In compactifications of Type IIB string theory on Calabi-Yau threefolds, our proof is based on an inequality relating the Weil-Petersson length of a trajectory to the BPS mass associated with an auxiliary charge vector. If this mass tends to zero while the charge-to-mass ratio remains uniformly bounded, every trajectory approaching the limit has infinite length. Using asymptotic Hodge theory, we construct an auxiliary charge vector satisfying these conditions and derive the criterion directly from the limiting mixed Hodge structure associated with the degeneration. More generally, our result applies to polarized variations of Hodge structure of Calabi-Yau type. In particular, we prove Wang's conjecture on finite Weil-Petersson distance for degenerations over higher-dimensional bases.

background contribution method result interpretation main claim

What the classifier reports for each sentence. The number is the probability it gave the label.
#sentencerolethe authors' own workstates the main conclusionstrength
s0 Infinite-distance limits play a central role in the Swampland program, but understanding their behaviour at intersections of boundary divisors is subtle, as it requires control over simultaneous limits of several moduli. background 0.91 0.05 0.03 asserted 1.00
s1 To address this, we establish a necessary and sufficient criterion for a boundary stratum of arbitrary codimension in the complex-structure moduli space of Calabi-Yau manifolds to lie at infinite Weil-Petersson distance. contribution 0.85 0.96 0.75 asserted 1.00
s2 In particular, intersections of infinite-distance boundary divisors necessarily remain at infinite distance. result 0.84 0.79 0.35 asserted 1.00
s3 The result holds for the full Weil-Petersson metric and arbitrary trajectories, including those with unrestricted hierarchies in the saxions and axion winding. result 0.82 0.81 0.13 asserted 1.00
s4 In compactifications of Type IIB string theory on Calabi-Yau threefolds, our proof is based on an inequality relating the Weil-Petersson length of a trajectory to the BPS mass associated with an auxiliary charge vector. method 0.97 0.92 0.06 asserted 1.00
s5 If this mass tends to zero while the charge-to-mass ratio remains uniformly bounded, every trajectory approaching the limit has infinite length. method 0.50 0.52 0.14 asserted 1.00
s6 Using asymptotic Hodge theory, we construct an auxiliary charge vector satisfying these conditions and derive the criterion directly from the limiting mixed Hodge structure associated with the degeneration. method 0.99 0.96 0.05 asserted 1.00
s7 More generally, our result applies to polarized variations of Hodge structure of Calabi-Yau type. result 0.39 0.73 0.06 asserted 1.00
s8 In particular, we prove Wang's conjecture on finite Weil-Petersson distance for degenerations over higher-dimensional bases. result 0.92 0.91 0.10 asserted 1.00

What kind of paper the classifier reports this is: theoretical result 1.00 · evidence from proof or derivation 1.00.

What was examined, and what was not

sources read
  • arXiv listing abstract v1
not examined
  • full text
  • figures and tables
  • references and citing sentences
  • relations to other papers
levels run
  • P abstract
not run
  • S sections
  • T body sentences
  • C citations
  • R cross-paper relations

Every quoted sentence on this record is the authors'. Every label is from Pith's closed vocabulary, with the probability shown beside it. Every number in the measurements table is the authors', checked by code. Record as JSON

Figures
Figure 1. Two infinite-distance limits ∆1 and ∆2, and their intersection ∆12. We are interested in understanding whether the intersection is always at infinite distance, or whether there could exist some exotic trajectory along which the distance to ∆12 is finite. 3
Figure 2. A local depiction near the intersection ∆12 of two boundary divisors ∆1 and ∆2, restricted to the saxionic directions. The trajectories (a) and (b) stay within the growth sectors s 1 ≥ s 2 and s 2 ≥ s 1 , respectively, while the trajectory (c) oscillates between them. The proof of Theorem 3.1 constructs an auxiliary charge q for which the boundedness results (3.30) and (3.40) hold uniformly in a neighbourhood (depicted in grey) of the boundary point p∞ ∈ ∆12. Since trajectory (c) eventually enters this neighbourhood, the proof applies equally well to it. Axion winding To fully clo

Figures reproduced from arXiv:2610.00470 by the authors.

References

Discussion

Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.