Pith. sign in

REVIEW 3 major objections 4 minor 69 references

Numerically balanced metrics on Calabi–Yau manifolds carry the SYZ collapse in their coefficients: near the large complex structure limit, normalized entries decay as power laws whose large-degree limit is the Legendre dual of a real Monge–

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

T0 review · deepseek-v4-flash

2026-08-01 01:37 UTC pith:QVZNKG2R

load-bearing objection The ambient Donaldson lift is a solid, useful contribution; the SYZ interpretation is a well-labeled conjecture but the evidence doesn't yet support it—Prop. 7's derivation is circular. the 3 major comments →

arxiv 2607.25733 v1 pith:QVZNKG2R submitted 2026-07-28 hep-th math.AG

Balanced Metrics Know About SYZ

classification hep-th math.AG MSC 14J3232Q2553C55
keywords balanced metricsDonaldson algorithmCalabi–Yau manifoldsSYZ conjecturelarge complex structure limitMonge–Ampère equationLegendre dualityGromov–Hausdorff collapse
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

The paper tries to show that balanced metrics—finite algebraic approximations to Ricci-flat metrics—already contain the geometric data of the SYZ mirror-symmetry collapse, even before any limit is taken. The authors lift Donaldson's iteration to the ambient projective space using the Moore–Penrose pseudo-inverse, which preserves the canonical monomial basis and makes the balanced matrix interpretable at high degree. Near the large complex structure limit, the normalized entries of this matrix obey sharply defined power laws in the complex-structure parameter. The large-degree limit of the decay exponents defines a convex function whose Legendre transform is a tropical potential satisfying the real Monge–Ampère equation on the base of the SYZ fibration, reproducing the expected scaling of base and fiber diameters. If correct, this gives a direct numerical realization of the Legendre duality underlying mirror symmetry and turns balanced metrics into a tool for probing the collapse.

Core claim

For the Dwork family and other Calabi–Yau examples, the coefficients of the balanced metric in the canonical ambient monomial basis decay as |nψ|^{-f(α)} as the complex structure approaches the large complex structure limit. Monomials compatible with the limiting normal-crossings geometry ("allowed") decay slowly and survive in the tropical base description; other monomials ("forbidden") vanish faster. The paper argues that the large-k limit of these exponents defines a convex function F(ξ) on the base simplex, and that its Legendre transform K_trop = t F*(2u/t) is the Kähler potential of the semi-flat metric on the SYZ base. This construction yields the known Gromov–Hausdorff collapse scali

What carries the argument

The central object is the ambient Donaldson iteration: the usual T-map lifted from sections on the Calabi–Yau variety X to sections on the ambient projective space by replacing the matrix inverse with the Moore–Penrose pseudo-inverse. Its fixed point H^P = (R^+)† H^X R^+ is the canonical basis-independent lift of the balanced metric, and the map is conjugate to the standard Donaldson map when the restriction map on sections is surjective. The carry of the argument is then the large-degree exponent function F(ξ) = lim_{k→∞} f(kξ)/k extracted from power-law decays of H^P entries; its Legendre transform produces the tropical potential identified with the semi-flat metric.

Load-bearing premise

The whole SYZ conclusion rests on the extrapolation that decay exponents fit over one decade of ψ (roughly 10 to 100) and levels k up to 18 converge, as k grows, to a convex function whose Legendre transform satisfies the real Monge–Ampère equation on the base simplex.

What would settle it

Compute balanced metrics on the Dwork K3 at higher level (k = 16 or 18) and larger complex-structure parameter (ψ up to 10^4), extract the power-law exponents over a fresh decade, form F(ξ), and evaluate det Hess F at interior points of the simplex; if the determinant is not constant within numerical error, or if the logarithmic singularity structure departs from the 24-point locus, the claimed realization of the SYZ collapse fails.

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

  • A balanced metric computed at finite level k already contains a discrete approximation to the mirror dual Monge–Ampère potential: the decay exponents of its matrix entries assemble into F and its Legendre transform K_trop.
  • Near the large complex structure limit, the construction reproduces the SYZ collapse scaling D_fiber/D_base ~ 1/log|ψ| with fixed total volume, matching the known behavior of collapsing Ricci-flat metrics.
  • On the Dwork torus, the paper gives an explicit conjectural formula f(α_i, α_j) = ⌊(α_i − α_j)^2/4⌋/(α_i + α_j) for all finite-k decay exponents.
  • On the Dwork K3, a closed-form first approximation to the dual potential, incorporating logarithmic singularities from the 24 degeneration points, matches numerically computed exponents to within about 5×10^{-3} at level k = 12.
  • The power-law structure persists in the Cefalú quartics and a bicubic complete intersection threefold, indicating it is not an artifact of the Dwork hypersurface presentation.

Where Pith is reading between the lines

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

  • If the identification of F with the real Monge–Ampère potential is correct, then the canonical monomials of the ambient basis act as finite-level discrete theta functions, and varying k gradually refines the tropicalization of the degeneration.
  • The same ambient lift could be used to search for analogous power-law and Legendre structures near other degeneration loci, such as conifold points, where the paper observes cusps and phase behavior but does not formulate a tropical dual picture.
  • The allowed-versus-forbidden decomposition suggests a practical numerical split of the collapsing metric into base and fiber parts, potentially allowing direct computation of the base Monge–Ampère metric and the collapsing fiber metric separately in numerical experiments.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

3 major / 4 minor

Summary. The paper introduces an ambient version of Donaldson's balanced metric algorithm that acts on global sections of the ambient projective space rather than on the Calabi–Yau variety, using the Moore–Penrose pseudo-inverse to lift the iteration. The authors prove that this ambient T-map is conjugate to the standard Donaldson map when the restriction map on sections is surjective, and they verify the construction against known results such as the Fermat quintic sigma-measure scaling and an analytic zerofold solution. The main new observation is that, near the Large Complex Structure Limit, entries of the balanced matrices obey clean power laws in |ψ|. The authors package the large-k limits of the power-law exponents into a function F on the base simplex and claim that its Legendre transform gives a tropical/semi-flat Kähler potential, realizing the SYZ metric collapse with fiber/base diameter ratio ~1/log|ψ|. This is supported by numerical studies of the Dwork torus, K3, quintic, Cefalú quartics, and a CICY threefold.

Significance. If the central SYZ identification were established, this would be a valuable new way to extract the dual Monge–Ampère geometry directly from balanced metrics, and the ambient Donaldson construction itself is a useful technical contribution. The rigorous parts of the paper — Theorem 2 (conjugacy), Theorem 3 (vanishing for CICYs), Propositions 4–5 (equivariance), and the zerofold analytic check — are sound and clearly presented. The numerical observation of clean power laws is striking and well documented. However, the link between these power laws and the SYZ semi-flat metric is not yet demonstrated: the real Monge–Ampère equation for F is assumed rather than verified, and the numerical extrapolation is based on a single decade of ψ with pipeline errors explicitly excluded. The paper would be publishable in a revised form that supplies the missing verification and quantifies the extrapolation uncertainty.

major comments (3)
  1. [§4.2, Prop. 7] Proposition 7 is circular as written. The proof says 'Since F is univariate, the Monge–Ampère equation simplifies to F(ξ)=aξ²+bξ+c', but this assumes that F satisfies Eq. (4.6) in the first place. The data showing that the finite-k exponents lie on the predicted quadratic only test internal consistency of the ansatz; they do not independently verify that F solves the real Monge–Ampère equation. Since the identification K_trop = tF*(2u/t) as the semi-flat potential depends on this equation, an independent derivation or a direct numerical check of F''=const (with propagated errors) is needed before the torus claim can be accepted.
  2. [§4.3 (after Eq. 4.39)] The text states 'The precise identification requires checking the real Monge–Ampère Eq. (4.6), and we perform this numerically', but no numerical determinant test is reported anywhere in the K3 section. F_approx in Eq. (4.45) is compared to the fitted exponents in Fig. 13, but det Hess F_approx is never computed or plotted. Consequently, the central claim that F is the dual potential is not verified for K3. Please report det Hess F_approx on Σ2 (including the effects of the log terms) and compare it to a constant, with uncertainty inherited from the power-law fits.
  3. [Appendix B and §4.1] All power-law exponents are extracted from a single decade, ψ∈[10,100] (Appendix B: 34 points), with k≤18, and the stated δ=10^-3 convergence tolerance. Appendix B explicitly says the reported errors are '1σ errors of linear fits and do not include errors from the rest of the pipeline such as convergence to flat metrics or Monte Carlo integration errors.' Since the functions F and K_trop and the collapse rates in Eqs. (4.21)–(4.24) are built entirely from these exponents, the absence of propagated uncertainty is load-bearing. The paper should demonstrate stability of the exponents under changes of the fit range, provide evidence for the k→∞ limit of f(kξ)/k, and propagate errors into the MA test and the diameter ratio.
minor comments (4)
  1. [Table 3 (K3, k=5)] Several rows have very large fit uncertainties, e.g. |zj|^2 z_i^4 z_k^4: α=0.044±0.752, β=2.153±0.190. These rows should either be excluded, down-weighted, or discussed; as printed they give no meaningful constraint and can mislead a reader scanning the tables for uniform power-law behaviour.
  2. [Notation, §2.4] The matrix H^P is written as both H_P and H^P, and entries are denoted H[z^α z^β] without consistently defining the multi-index pairing. Please unify notation and state explicitly that the normalization max_ij |H_ij|=1 is used in all power-law fits.
  3. [Figure 14 and §4.3] The 'transparent regions in the middle of the 2-simplex' are attributed to sampling artefacts, but the interpolation scheme used to produce the surface is not described. Since this figure is the visual evidence for the dual potential, please specify the interpolation and the mask used.
  4. [Eq. (4.45)] Λ is fixed by setting F_approx(C)=0, but this is a normalization choice, not a geometric constraint. The paper should clarify that F_approx is a first-order interpolation, not a solution of the MA equation; otherwise readers may over-interpret the excellent agreement in Fig. 13 as evidence for the MA equation.

Circularity Check

2 steps flagged

Power-law exponents fitted from balanced-metric data are repackaged as F, whose Legendre transform is then declared semi-flat by assuming the Monge–Ampère equation; the SYZ/collapse link is partly circular.

specific steps
  1. other [Section 4.2, Proposition 7 (Eq. 4.25)]
    "Since F is univariate we have HessF = F ′′. Therefore, the Monge–Amp` ere Eq. (4.6) simplifies to F(ξ)=aξ 2 +bξ+c for some a,b,c."

    The proof derives the quadratic form of the fitted exponent function F by assuming that F satisfies the real Monge–Ampère equation (4.6). But satisfying (4.6) is exactly the property needed to identify K_trop = tF*(2u/t) with the semi-flat potential. The later 'checks' (Prop. 9 and Prop. 10) use the same quadratic form obtained from this assumption, so they test internal consistency of the ansatz, not the Monge–Ampère equation independently.

  2. self definitional [Section 4.1, Eqs. (4.19) and (4.21)–(4.24)]
    "Ktrop := lim k→∞ Kallowed = max allowedξ P ξi=1 (2u·ξ−tF(ξ)) = tF ∗(2u/t). ... (HessK trop)(u) = 4 t (HessF ∗)(2u/t) ... Dfiber Dbase ∼ 1 log|ψ| ."

    The collapse rate 1/log|ψ| follows purely from the definition K_trop = tF*(2u/t) and the homogeneity of the Legendre transform; it does not depend on the fitted form of F. Presenting this scaling as an output of the construction ('yields the expected scaling of the base and fiber diameters') is a definitional consequence of the tropical/ Legendre ansatz, not an independent prediction that the data could confirm or falsify.

full rationale

The ambient Donaldson algorithm itself is carefully benchmarked (analytic zerofold, Fermat quintic σ-measure, recovery of H^P = (R^+)†H^X R^+) and does not depend on circular reasoning. The empirical power-law discovery in Tables 2–4 is also legitimate numerical evidence. The circularity enters when these fitted exponents are promoted to the SYZ conclusion: the exponent function F is fit from data, K_trop is defined as its Legendre transform, and then the paper claims K_trop is the semi-flat metric potential. The only proposed verification is Prop. 7, which assumes the real Monge–Ampère equation to fix F's quadratic form, and the scaling relations (Eqs. 4.21–4.24) are built into the Legendre-transform definition. Thus the most interpretive step of the paper is not independently derived, although the underlying numerics remain valid. No self-citation is load-bearing: the SYZ references are external and the algorithm is validated against external and analytic benchmarks. Score 6 reflects partial circularity in the central SYZ-interpretation claim.

Axiom & Free-Parameter Ledger

4 free parameters · 8 axioms · 0 invented entities

The core algorithm rests on standard algebraic geometry and Donaldson's contraction theorem; those are external. The SYZ interpretation imports several domain assumptions (metric collapse, skeleton, Monge-Ampère equation) and depends on free parameters fit to numerical data. The invented objects are mathematical only—there are no new physical entities.

free parameters (4)
  • power-law amplitudes a_{αβ} = Tables 2–4 (e.g., torus k=3 |z_i|^4|z_j|^2: a=1; |z_i|^6: a=0.972±0.007)
    All H entries are normalized by max |H|=1; amplitudes are free linear-regression constants. The normalization choice affects the power-law extraction.
  • power-law exponents b_{αβ} = Tables 2–4 (e.g., |z_i|^6 torus k=3: b=0.658±0.002; quintic z^5_i z_j^5 k=5: b=1.858±0.005)
    These fitted exponents define the decay function f(α), and through the large-k limit the convex function F(ξ). The SYZ interpretation is built on them, and they are fit over a single decade.
  • K3 boundary coefficients c0,c1,c2 in Eq. (4.39) = 0.129±0.001, 0.631±0.017, 0.170±0.020
    Least-squares fit to data on ∂Σ₂; then compared with 1/8, 2/3, 1/6.
  • Λ in F_approx Eq. (4.45) = Λ = −(S(C)+R_Σ(C))/27
    Chosen to make F_approx(C)=0; not a data fit but a normalization tied to the fitted boundary coefficients.
axioms (8)
  • standard math Yau's theorem: existence and uniqueness of Ricci-flat Kähler metric in each Kähler class (Calabi conjecture).
    The Ricci-flat metric that balanced metrics approximate is guaranteed by [1,2].
  • domain assumption Donaldson's T-map contraction and convergence to the balanced metric for the relevant measures.
    The paper relies on [19,20] for convergence of iteration; the T^+ extension inherits this in Corollary 1.
  • domain assumption Tian-Yau-Zelditch-Lu expansion: balanced metrics at level k converge to the CY metric as k→∞.
    Used to justify the k→+∞ extrapolation of exponent laws to F(ξ) in Sec. 4.1.
  • domain assumption SYZ metric collapse / Gross-Siebert skeleton: near LCSL the Ricci-flat metric collapses onto a real affine base carrying a real Monge-Ampère metric.
    The interpretation of K_trop as the semi-flat potential and the diameter scalings depend on this framework [38,39,40,54].
  • ad hoc to paper The real Monge-Ampère equation for F: det Hess F = const, and Legendre duality between F and K_trop.
    Invoked in Prop. 7, Cor. 6, and the K3 boundary construction; this is the conjectural link, not an independent theorem.
  • standard math Jörgens-Calabi-Pogorelov and Alexandrov comparison principles for Monge-Ampère equations.
    Used to argue that a quadratic boundary condition with a smooth interior is inconsistent, Sec. 4.3.
  • domain assumption Amoeba tropicalization: Trop(X_ψ) approximates X_ψ and is the skeleton of the degeneration.
    The Log-map/amoeba picture underlies the allowed/forbidden monomial classification, Sec. 4.1.
  • domain assumption Monomial basis elements are leading-order Gross-Siebert theta functions.
    Cited [68] to motivate why the ambient monomial basis is canonical; not used in the numerical validation.

pith-pipeline@v1.3.0-alltime-deepseek · 32754 in / 17479 out tokens · 174476 ms · 2026-08-01T01:37:39.382206+00:00 · methodology

0 comments
read the original abstract

Numerical Ricci-flat metrics on Calabi-Yau manifolds are becoming increasingly accurate. However, they often lack the interpretability required to extract theoretical insights. In this paper, we introduce a novel variant of Donaldson's algorithm based on the Moore-Penrose pseudo-inverse that operates on the global sections of the ambient space rather than the manifold itself. This approach allows us to use the canonical monomial basis to compute interpretable balanced metrics even at large degrees $k$. Applying our ambient algorithm to multiple families, including the Dwork family and complete intersection Calabi-Yau manifolds, we discover that the metric parameters obey novel power laws near the Large Complex Structure Limit (LCSL). We connect these to the Gromov-Hausdorff metric collapse predicted by the SYZ conjecture.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

69 extracted references · 2 canonical work pages · 1 internal anchor

  1. [1]

    Yau,Calabi’s conjecture and some new results in algebraic geometry,Proc

    S.-T. Yau,Calabi’s conjecture and some new results in algebraic geometry,Proc. Nat. Acad. Sci.74(1977) 1798–1799

  2. [2]

    Yau,On the Ricci curvature of a compact K¨ ahler manifold and the complex Monge–Amp´ ere equation, I,Commun

    S.-T. Yau,On the Ricci curvature of a compact K¨ ahler manifold and the complex Monge–Amp´ ere equation, I,Commun. Pure Appl. Math.31(1978) 339–411

  3. [3]

    Kachru, A

    S. Kachru, A. Tripathy and M. Zimet,K3 metrics,2006.02435

  4. [4]

    Candelas, G

    P. Candelas, G. T. Horowitz, A. Strominger and E. Witten,Vacuum configurations for superstrings,Nucl. Phys. B258(1985) 46–74

  5. [5]

    Kreuzer and H

    M. Kreuzer and H. Skarke,Complete classification of reflexive polyhedra in four dimensions,Advances in Theoretical and Mathematical Physics4(Mar., 2000) 1209–1230

  6. [6]

    MacFadden and E

    N. MacFadden and E. Sheridan,Calabi–Yau threefolds from vex triangulations, 2512.14817

  7. [7]

    Lerche, D

    W. Lerche, D. Lust and A. N. Schellekens,Chiral four-dimensional heterotic strings from selfdual lattices,Nucl. Phys. B287(1987) 477

  8. [8]

    M. R. Douglas,The statistics of string/M-theory vacua,JHEP05(2003) 046, [hep-th/0303194]

  9. [9]

    Bousso and J

    R. Bousso and J. Polchinski,Quantization of four form fluxes and dynamical neutralization of the cosmological constant,JHEP06(2000) 006, [hep-th/0004134]

  10. [10]

    Denef and M

    F. Denef and M. R. Douglas,Distributions of flux vacua,Journal of High Energy Physics2004(May, 2004) 072–072

  11. [11]

    Blumenhagen, F

    R. Blumenhagen, F. Gmeiner, G. Honecker, D. Lust and T. Weigand,The statistics of supersymmetric D-brane models,Nucl. Phys. B713(2005) 83–135, [hep-th/0411173]

  12. [12]

    Gmeiner, R

    F. Gmeiner, R. Blumenhagen, G. Honecker, D. Lust and T. Weigand,One in a billion: MSSM-like D-brane statistics,JHEP01(2006) 004, [hep-th/0510170]

  13. [13]

    Constantin, Y.-H

    A. Constantin, Y.-H. He and A. Lukas,Counting string theory standard models,Phys. Lett. B792(2019) 258–262, [1810.00444]

  14. [14]

    Berglund, G

    P. Berglund, G. Butbaia, T. H¨ ubsch, V. Jejjala, D. Mayorga Pe˜ na, C. Mishra and J. Tan,Precision string phenomenology,Physical Review D111(Apr., 2025) 086007, [2407.13836]. – 55 –

  15. [15]

    Constantin, C

    A. Constantin, C. S. Fraser-Taliente, T. R. Harvey, A. Lukas and B. Ovrut, Computation of quark masses from string theory,Nucl. Phys. B1010(2025) 116778, [2402.01615]

  16. [16]

    C. S. Fraser-Taliente, T. R. Harvey and M. Kim,Not so flat metrics,2411.00962

  17. [17]

    Berglund, T

    P. Berglund, T. H¨ ubsch and V. Jejjala,What to do with a Ricci-flat Calabi–Yau metric?, inRecent Progress in Computational String Geometry, (accepted, 2026). 2605.23900

  18. [18]

    Headrick and T

    M. Headrick and T. Wiseman,Numerical Ricci-flat metrics on K3,Class. Quant. Grav.22(2005) 4931–4960, [hep-th/0506129]

  19. [19]

    S. K. Donaldson,Scalar curvature and projective embeddings, I,Journal of Differential Geometry59(Nov., 2001) 479–522

  20. [20]

    S. K. Donaldson,Some numerical results in complex differential geometry,Pure and Applied Mathematics Quarterly5(2005) 571–618

  21. [21]

    M. R. Douglas, R. L. Karp, S. Lukic and R. Reinbacher,Numerical Calabi–Yau metrics,Journal of Mathematical Physics49(Mar., 2008) 032302, [hep-th/0612075]

  22. [22]

    Headrick and A

    M. Headrick and A. Nassar,Energy functionals for Calabi–Yau metrics,J. Phys. Conf. Ser.462(2013) 012019

  23. [23]

    Ashmore, Y.-H

    A. Ashmore, Y.-H. He and B. Ovrut,Machine learning Calabi–Yau metrics, Fortschritte der Physik68(Sept., 2020) 2000068, [1910.08605]

  24. [24]

    L. B. Anderson, M. Gerdes, J. Gray, S. Krippendorf, N. Raghuram and F. Ruehle, Moduli-dependent Calabi–Yau andSU(3)-structure metrics from machine learning, JHEP05(2021) 013, [2012.04656]

  25. [25]

    M. R. Douglas, S. Lakshminarasimhan and Y. Qi,Numerical Calabi–Yau metrics from holomorphic networks, May, 2021. 10.48550/arXiv.2012.04797

  26. [26]

    Jejjala, D

    V. Jejjala, D. K. M. Pe˜ na and C. Mishra,Neural network approximations for Calabi–Yau metrics,Journal of High Energy Physics2022(Aug., 2022) 105

  27. [27]

    Larfors, A

    M. Larfors, A. Lukas, F. Ruehle and R. Schneider,Learning size and shape of Calabi–Yau spaces, Nov., 2021. 10.48550/arXiv.2111.01436

  28. [28]

    Berglund, G

    P. Berglund, G. Butbaia, T. H¨ ubsch, V. Jejjala, D. Mayorga Pe˜ na, C. Mishra and J. Tan,Machine-learned Calabi–Yau metrics and curvature,Adv. Theor. Math. Phys. 27(2023) 1107–1158, [2211.09801]

  29. [29]

    Rahman,GlobalCY I: A JAX framework for globally defined and symmetry-aware neural K¨ ahler potentials, Apr., 2026

    A. Rahman,GlobalCY I: A JAX framework for globally defined and symmetry-aware neural K¨ ahler potentials, Apr., 2026. 10.48550/arXiv.2604.11404. – 56 –

  30. [30]

    Hirst, T

    E. Hirst, T. S. Gherardini and A. G. Stapleton,AInstein: numerical Einstein metrics via machine learning,AI for Science1(Oct., 2025) 025001

  31. [31]

    Mirjani´ c and C

    V. Mirjani´ c and C. Mishra,Symbolic approximations to Ricci-flat metrics via extrinsic symmetries of Calabi—Yau hypersurfaces,Machine Learning: Science and Technology 6(Aug., 2025) 035029

  32. [32]

    Lee and A

    S.-J. Lee and A. Lukas,Approximate Ricci-flat metrics for Calabi–Yau manifolds, June, 2025. 10.48550/arXiv.2506.15766

  33. [33]

    Constantin, A

    A. Constantin, A. Lukas and L. A. Nutricati,Calabi–Yau metrics with K¨ a”hler moduli dependence, Mar., 2026. 10.48550/arXiv.2603.12384

  34. [34]

    Sano,Numerical algorithm for finding balanced metrics,Osaka Journal of Mathematics43(Sept., 2006) 679–688

    Y. Sano,Numerical algorithm for finding balanced metrics,Osaka Journal of Mathematics43(Sept., 2006) 679–688

  35. [35]

    Gerdes and S

    M. Gerdes and S. Krippendorf,CYJAX: A package for Calabi-Yau metrics with JAX, Machine Learning: Science and Technology4(June, 2023) 025031

  36. [36]

    Strominger, S.-T

    A. Strominger, S.-T. Yau and E. Zaslow,Mirror symmetry is T-duality,Nuclear Physics B479(Nov., 1996) 243–259

  37. [37]

    Gross and P

    M. Gross and P. Wilson,Mirror symmetry via 3-tori for a class of Calabi–Yau threefolds,Math. Ann.309(1997) 505–531

  38. [38]

    Gross and P

    M. Gross and P. M. H. Wilson,Large complex structure limits of K3 surfaces,Journal of Differential Geometry55(July, 2000) 475–546

  39. [39]

    Kontsevich and Y

    M. Kontsevich and Y. Soibelman,Homological mirror symmetry and torus fibrations, inSymplectic Geometry and Mirror Symmetry, pp. 203–263. WORLD SCIENTIFIC, Nov., 2001. DOI

  40. [40]

    Li,Strominger—Yau—Zaslow conjecture for Calabi—Yau hypersurfaces in the Fermat family,Acta Mathematica229(Sept., 2022) 1–53

    Y. Li,Strominger—Yau—Zaslow conjecture for Calabi—Yau hypersurfaces in the Fermat family,Acta Mathematica229(Sept., 2022) 1–53

  41. [41]

    Li,A gluing construction of collapsing Calabi–Yau metrics on K3-fibred threefolds, Geom

    Y. Li,A gluing construction of collapsing Calabi–Yau metrics on K3-fibred threefolds, Geom. Funct. Anal.29(2019) 1002–1060

  42. [42]

    Li,Metric SYZ conjecture for certain toric Fano hypersurfaces,Cambridge Journal of Mathematics12(Jan., 2024) 223–252

    Y. Li,Metric SYZ conjecture for certain toric Fano hypersurfaces,Cambridge Journal of Mathematics12(Jan., 2024) 223–252

  43. [43]

    Li,Intermediate complex structure limit for Calabi–Yau metrics,Inventiones mathematicae240(May, 2025) 459–496

    Y. Li,Intermediate complex structure limit for Calabi–Yau metrics,Inventiones mathematicae240(May, 2025) 459–496

  44. [44]

    Berglund, G

    P. Berglund, G. Butbaia, T. H¨ ubsch, V. Jejjala, C. Mishra, D. M. Pe˜ na and J. Tan, cymyc: Calabi–Yau metrics, Yukawas, and curvature, Oct., 2024. 10.48550/arXiv.2410.19728. – 57 –

  45. [45]

    Berglund, T

    P. Berglund, T. H¨ ubsch, V. Jejjala, M. Viktor and C. Mishra,Balanced Metrics Mirror Symmetry Dataset for ”Balanced Metrics Know About SYZ” Paper, July, 2026. 10.5281/zenodo.21602473

  46. [46]

    Hubsch,Calabi–Yau Manifolds: A Bestiary For Physicists (2nd Edition)

    T. Hubsch,Calabi–Yau Manifolds: A Bestiary For Physicists (2nd Edition). World Scientific, Dec., 2024

  47. [47]

    Kempf,General cohomology, inAlgebraic Varieties, London Mathematical Society Lecture Note Series, pp

    G. Kempf,General cohomology, inAlgebraic Varieties, London Mathematical Society Lecture Note Series, pp. 113–123. Cambridge University Press, Cambridge, 1993. DOI

  48. [48]

    Hartshorne,Algebraic Geometry, vol

    R. Hartshorne,Algebraic Geometry, vol. 52 ofGraduate Texts in Mathematics. Springer, New York, NY, 1977, 10.1007/978-1-4757-3849-0

  49. [49]

    Lu,On the lower order terms of the asymptotic expansion of Tian–Yau–Zelditch, American Journal of Mathematics122(2000) 235–273

    Z. Lu,On the lower order terms of the asymptotic expansion of Tian–Yau–Zelditch, American Journal of Mathematics122(2000) 235–273

  50. [50]

    Zelditch,Szeg˝ o kernels and a theorem of Tian,International Mathematics Research Notices1998(Jan., 1998) 317–331

    S. Zelditch,Szeg˝ o kernels and a theorem of Tian,International Mathematics Research Notices1998(Jan., 1998) 317–331

  51. [51]

    Matsumura and P

    H. Matsumura and P. Monsky,On the automorphisms of hypersurfaces,Journal of Mathematics of Kyoto University3(Jan., 1963) 347–361

  52. [52]

    The Sharp Edges of Calabi-Yau Manifolds: Designing Symmetric Models for Ricci-flat Metrics

    V. Mirjani´ c and C. Mishra,The sharp edges of Calabi–Yau manifolds: Designing symmetric models for Ricci-flat metrics, June, 2026. 10.48550/arXiv.2606.26892

  53. [53]

    Braun, T

    V. Braun, T. Brelidze, M. R. Douglas and B. A. Ovrut,Calabi–Yau metrics for quotients and complete intersections,Journal of High Energy Physics2008(May,

  54. [54]

    Gross and B

    M. Gross and B. Siebert,From real affine geometry to complex geometry,Annals of Mathematics174(Nov., 2011) 1301–1428

  55. [55]

    N. J. Hitchin,The moduli space of special lagrangian submanifolds,Annali della Scuola Normale Superiore di Pisa, Classe di Scienze 4 e s´ erie25(1997) 503–515

  56. [56]

    Ooguri and C

    H. Ooguri and C. Vafa,Summing up dirichlet instantons,Physical Review Letters77 (Oct., 1996) 3296–3298

  57. [57]

    Figalli,The Monge–Amp` ere Equation and Its Applications

    A. Figalli,The Monge–Amp` ere Equation and Its Applications. European Mathematical Society Publishing House, 2017

  58. [58]

    Kontsevich and Y

    M. Kontsevich and Y. Soibelman,Affine structures and non-Archimedean analytic spaces, inThe Unity of Mathematics: In Honor of the Ninetieth Birthday of I.M. Gelfand(P. Etingof, V. Retakh and I. M. Singer, eds.), pp. 321–385. Birkh¨ auser, Boston, MA, 2006. DOI. – 58 –

  59. [59]

    Catanese,Kummer quartic surfaces, strict self-duality, and more, inThe Art of Doing Algebraic Geometry(T

    F. Catanese,Kummer quartic surfaces, strict self-duality, and more, inThe Art of Doing Algebraic Geometry(T. Dedieu, F. Flamini, C. Fontanari, C. Galati and R. Pardini, eds.), pp. 55–92. Springer International Publishing, Cham, 2023. DOI

  60. [60]

    Hendi, M

    Y. Hendi, M. Larfors and M. Walden,Learning group invariant Calabi–Yau metrics by fundamental domain projections, July, 2024

  61. [61]

    C. H. Ek, O. Kim and C. Mishra,Calabi–Yau metrics through Grassmannian learning and Donaldson ’s algorithm, Oct., 2024

  62. [62]

    Gross, V

    M. Gross, V. Tosatti and Y. Zhang,Collapsing of abelian fibered Calabi–Yau manifolds,Duke Mathematical Journal162(Feb., 2013) 517–551

  63. [63]

    Boucksom and M

    S. Boucksom and M. Jonsson,Tropical and non-Archimedean limits of degenerating families of volume forms,Journal de l’ ´Ecole polytechnique — Math´ ematiques4(Jan.,

  64. [64]

    Gross and B

    M. Gross and B. Siebert,Affine manifolds, log structures, and mirror symmetry, Turkish J. Math.27(2003) 33–60

  65. [65]

    Gross and B

    M. Gross and B. Siebert,Mirror symmetry via logarithmic degeneration data I,J. Differential Geom.72(2006) 169–338

  66. [66]

    I. M. Gelfand, M. M. Kapranov and A. V. Zelevinsky,Discriminants, Resultants, and Multidimensional Determinants. Birkh¨ auser, Boston, MA, 1994, 10.1007/978-0-8176-4771-1

  67. [67]

    Maeda and T

    T. Maeda and T. Nakatsu,Amoebas and instantons,International Journal of Modern Physics A22(Feb., 2007) 937–983

  68. [68]

    Gross and B

    M. Gross and B. Siebert,Theta functions and mirror symmetry,Surv. Differ. Geom. 21(2016) 95–138

  69. [69]

    Shiffman and S

    B. Shiffman and S. Zelditch,Distribution of zeros of random and quantum chaotic sections of positive line bundles,Communications in Mathematical Physics200(Feb.,