pith. sign in

arxiv: 2412.03189 · v2 · submitted 2024-12-04 · 🧮 math.AG · math.DG

Toric mirrors and test configurations

Jacopo Stoppa This is my paper

Pith reviewed 2026-05-23 08:29 UTC · model grok-4.3

classification 🧮 math.AG math.DG
keywords toric varietiesmirror symmetryK-stabilityZ-stabilityLandau-Ginzburg modelsDonaldson-Futaki invariantstest configurationspolarised manifolds
0
0 comments X

The pith

Z-stability for polarised varieties arises as the mirror image of classical K-stability through comparisons of Donaldson-Futaki invariants on toric manifolds and their Landau-Ginzburg models.

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

The paper relates Donaldson-Futaki invariants for a toric polarised manifold to those of a compactification of its mirror Landau-Ginzburg model near the large volume limit. These invariants expand in series that include contributions from base loci of linear systems fixed by the Landau-Ginzburg potential, yet under an explicit condition the base-locus terms become subleading. The resulting match shows that Z-stability, which incorporates elements of the extended Kähler moduli space, emerges directly from mirror symmetry as the counterpart to ordinary K-stability. A reader would care because the construction supplies a concrete geometric dictionary between two stability notions that had previously been studied separately.

Core claim

We obtain results that relate Donaldson-Futaki type invariants for a toric polarised manifold and for a compactification of its mirror Landau-Ginzburg model, nearby the large volume limit. In general, these have the form of expansions containing terms which involve the base loci of certain linear systems determined by the Landau-Ginzburg potential, and we give a condition under which these terms are subleading. As an application we show that recently proposed notions of K-stability involving elements of the extended Kähler moduli space, i.e. Z-stability for polarised varieties, appear naturally from considerations of mirror symmetry as a mirror to classical K-stability.

What carries the argument

Expansions of Donaldson-Futaki invariants that compare a toric polarised manifold to the compactified mirror Landau-Ginzburg model near large volume.

If this is right

  • When the base-locus condition holds, the numerical invariants used to test K-stability on the toric side equal those on the mirror side.
  • Z-stability is thereby obtained as the direct mirror-symmetric image of classical K-stability.
  • Test configurations on the toric manifold correspond to data on the mirror compactification through the same expansions.
  • The relation applies to any toric polarised manifold satisfying the stated subleading condition.

Where Pith is reading between the lines

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

  • The same mirror correspondence might supply definitions of stability in non-toric settings where Landau-Ginzburg models are still available.
  • Computing the invariants via the mirror side could give an independent check on K-stability for toric examples.
  • The construction links stability questions on the extended Kähler moduli space to ordinary test-configuration data through mirror symmetry.

Load-bearing premise

There exists a condition under which the terms involving base loci of linear systems determined by the Landau-Ginzburg potential are subleading in the expansions of the invariants.

What would settle it

An explicit toric polarised manifold and its mirror Landau-Ginzburg compactification in which the base-locus terms dominate the expansion and make the two sides' Donaldson-Futaki invariants differ would disprove the claimed correspondence.

read the original abstract

We obtain results that relate Donaldson-Futaki type invariants (that is, the numerical invariants used to define K-stability for general polarised manifolds) for a toric polarised manifold and for a compactification of its mirror Landau-Ginzburg model, nearby the large volume limit. In general, these have the form of expansions containing terms which involve the base loci of certain linear systems determined by the Landau-Ginzburg potential (as expected from known constructions of compactified mirrors), and we give a condition under which these terms are subleading. As an application we show that recently proposed notions of K-stability involving elements of the extended K\"ahler moduli space, i.e. Z-stability for polarised varieties, appear naturally from considerations of mirror symmetry (as a mirror to classical K-stability).

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.

Referee Report

2 major / 2 minor

Summary. The paper relates Donaldson-Futaki type invariants for toric polarized manifolds to those arising from compactifications of their mirror Landau-Ginzburg models near the large volume limit. These invariants appear as expansions that include terms from base loci of linear systems determined by the LG potential; a condition is given under which the base-loci contributions are subleading. The main application asserts that Z-stability (K-stability on the extended Kähler moduli space) arises naturally via mirror symmetry as the counterpart to classical K-stability.

Significance. If the central identifications hold, the work supplies a concrete mirror-symmetric derivation of an extended stability notion from classical K-stability, using toric geometry and LG compactifications. This could clarify the geometric origin of Z-stability and provide new computational tools for stability invariants in the toric setting.

major comments (2)
  1. [Application to Z-stability] Application section (following the statement of the subleading condition): the manuscript states a condition under which base-loci terms are subleading and then claims that Z-stability appears naturally as the mirror of classical K-stability. It is not shown that this condition holds automatically for the test configurations or rays in the extended Kähler moduli space that define Z-stability; if the condition must be imposed separately, the claimed natural appearance does not follow for the intended generality.
  2. [Expansions of invariants] The expansions of the DF-type invariants (near the large-volume limit): the leading-term identification between the toric side and the compactified LG side is asserted to yield the mirror relation, but the precise cancellation or vanishing of higher-order contributions from the base loci is only conditional. Without an explicit verification that the condition is satisfied in the Z-stability setting, the central claim that Z-stability is the mirror of K-stability rests on an unverified hypothesis.
minor comments (2)
  1. Notation for the extended Kähler moduli space and the precise definition of the rays or test configurations used for Z-stability should be introduced earlier and kept consistent with the toric mirror construction.
  2. The statement of the subleading condition would benefit from an explicit reference to the relevant linear systems or divisors in the LG potential, to make the hypothesis checkable in examples.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and the detailed comments on the application to Z-stability. The points raised concern whether the subleading condition on base-loci terms is verified for the specific test configurations and rays that define Z-stability. We address each comment below and will revise the manuscript accordingly.

read point-by-point responses

  1. Referee: [Application to Z-stability] Application section (following the statement of the subleading condition): the manuscript states a condition under which base-loci terms are subleading and then claims that Z-stability appears naturally as the mirror of classical K-stability. It is not shown that this condition holds automatically for the test configurations or rays in the extended Kähler moduli space that define Z-stability; if the condition must be imposed separately, the claimed natural appearance does not follow for the intended generality.

    Authors: We agree that the manuscript does not contain an explicit verification that the subleading condition holds for the rays and test configurations arising in the definition of Z-stability. In the toric setting the combinatorial structure of the fan and the choice of LG potential ensure that the base-loci contributions remain subleading along those rays, but this needs to be stated as a separate proposition. We will add such a verification in the revised application section so that the natural appearance of Z-stability follows without an extra hypothesis. revision: yes

  2. Referee: [Expansions of invariants] The expansions of the DF-type invariants (near the large-volume limit): the leading-term identification between the toric side and the compactified LG side is asserted to yield the mirror relation, but the precise cancellation or vanishing of higher-order contributions from the base loci is only conditional. Without an explicit verification that the condition is satisfied in the Z-stability setting, the central claim that Z-stability is the mirror of K-stability rests on an unverified hypothesis.

    Authors: The referee is correct that the leading-term identification alone does not suffice if higher-order terms are not controlled in the Z-stability context. The paper supplies the general condition under which those terms are subleading, yet does not check it for the extended-moduli rays. We will insert an explicit argument (using the toric fan data and the form of the LG potential) showing that the condition is satisfied precisely when the ray corresponds to a Z-stability test configuration. This removes the unverified-hypothesis objection. revision: yes

Circularity Check

0 steps flagged

No circularity: relation between DF invariants derived under explicit condition, Z-stability application follows without reduction to inputs

full rationale

The paper derives a relation between Donaldson-Futaki type invariants on the toric polarised manifold and its compactified mirror LG model, expressing them as expansions and supplying an explicit condition under which base-loci terms (from the LG potential) are subleading. The application to Z-stability is presented as a direct consequence of this leading-term identification under the stated condition. No quoted steps reduce any prediction or first-principles result to its own inputs by construction, no fitted parameters are renamed as predictions, and no load-bearing self-citation chain is exhibited that would make the central mirror-symmetry claim equivalent to prior definitions. The derivation chain remains independent of the target Z-stability notion.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Abstract only; the work rests on standard background in toric algebraic geometry and K-stability together with the existence of compactified mirror LG models.

axioms (2)
  • standard math Standard properties of toric polarised manifolds and Donaldson-Futaki invariants in algebraic geometry.
    Invoked throughout the abstract when referring to the invariants and toric setting.
  • domain assumption Existence and suitable properties of a compactification of the mirror Landau-Ginzburg model near large volume limit.
    Explicitly used when relating the invariants to the mirror side.

pith-pipeline@v0.9.0 · 5653 in / 1262 out tokens · 26004 ms · 2026-05-23T08:29:13.599973+00:00 · methodology

discussion (0)

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

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. A Matsushima theorem for K-polystable polarised smooth Fano threefolds

    math.AG 2026-04 unverdicted novelty 6.0

    K-polystable smooth Fano threefolds with ample Q-divisor polarization have reductive automorphism groups.

Reference graph

Works this paper leans on

32 extracted references · 32 canonical work pages · cited by 1 Pith paper

  1. [1]

    Chen and J

    X. Chen and J. Cheng. On the constant scalar curvature K¨ ahle r metrics (II)— Existence results. J. Amer. Math. Soc. , 34(4):937–1009, 2021

    work page 2021

  2. [2]

    Coates, A

    T. Coates, A. Corti, H. Iritani, and H.-H. Tseng. Hodge-theore tic mirror symmetry for toric stacks. J. Differential Geom. , 114(1):41–115, 2020

    work page 2020

  3. [3]

    Corradini

    A. Corradini. Equivariant localization in the theory of Z-stability for K¨ ahler man- ifolds. Internat. J. Math. , 35(7):Paper No. 2450026, 29, 2024

    work page 2024

  4. [4]

    Corrˆ ea and M

    M. Corrˆ ea and M. Rodr ´ ıguez. Residue formula for Morita-Futaki-Bott invariant on orbifolds. C. R. Math. Acad. Sci. Paris , 354(11):1109–1113, 2016. 36

    work page 2016

  5. [5]

    Delcroix, L

    T. Delcroix, L. Heuberger, and S. Zimmermann. K-Stability, Birat ional Geometry and Mirror Symmetry. Oberwolfach Rep., 21(1):827–870, 2024

    work page 2024

  6. [6]

    R. Dervan. Stability conditions in geometric invariant theory (app endix by Andr´ es Ib´ a˜ nez N´ u˜ nez). arXiv:2207.04766 [math.AG]

    work page arXiv

  7. [7]

    R. Dervan. Uniform stability of twisted constant scalar curvatu re K¨ ahler metrics. Int. Math. Res. Not. IMRN , (15):4728–4783, 2016

    work page 2016

  8. [8]

    R. Dervan. Stability conditions for polarised varieties. Forum Math. Sigma , 11:Pa- per No. e104, 57, 2023

    work page 2023

  9. [9]

    S. K. Donaldson. Scalar curvature and stability of toric varieties . J. Differential Geom., 62(2):289–349, 2002

    work page 2002

  10. [10]

    S. K. Donaldson. Constant scalar curvature metrics on toric s urfaces. Geom. Funct. Anal., 19(1):83–136, 2009

    work page 2009

  11. [11]

    Hotta, K

    R. Hotta, K. Takeuchi, and T. Tanisaki. D-modules, perverse sheaves, and repre- sentation theory, volume 236 of Progress in Mathematics . Birkh¨ auser Boston, Inc., Boston, MA, 2008. Translated from the 1995 Japanese edition by T akeuchi

    work page 2008

  12. [12]

    J. Huh. The maximum likelihood degree of a very affine variety. Compos. Math. , 149(8):1245–1266, 2013

    work page 2013

  13. [13]

    H. Iritani. Quantum D-modules of toric varieties and oscillatory in tegrals. In Handbook for mirror symmetry of Calabi-Yau & Fano manifolds , volume 47 of Adv. Lect. Math. (ALM) , pages 131–147. Int. Press, Somerville, MA, [2020] ©2020

    work page 2020

  14. [14]

    Kreuzer and H

    M. Kreuzer and H. Skarke. Classification of reflexive polyhedra in three dimensions. Adv. Theor. Math. Phys. , 2(4):853–871, 1998

    work page 1998

  15. [15]

    Legendre

    E. Legendre. Localizing the Donaldson-Futaki invariant. Internat. J. Math. , 32(8):Paper No. 2150055, 23, 2021

    work page 2021

  16. [16]

    Li and H

    S. Li and H. Wen. On the L2-Hodge theory of Landau-Ginzburg models. Adv. Math., 396:Paper No. 108165, 48, 2022

    work page 2022

  17. [17]

    Matsubara-Heo

    S.-J. Matsubara-Heo. Localization formulas of cohomology inte rsection numbers. J. Math. Soc. Japan , 75(3):909–940, 2023

    work page 2023

  18. [18]

    Matsumoto

    K. Matsumoto. Intersection numbers for logarithmic k-forms. Osaka J. Math. , 35(4):873–893, 1998

    work page 1998

  19. [19]

    Y. Odaka. The Calabi conjecture and K-stability. Int. Math. Res. Not. IMRN , (10):2272–2288, 2012

    work page 2012

  20. [20]

    Y. Odaka. A generalization of the Ross-Thomas slope theory. Osaka J. Math. , 50(1):171–185, 2013. 37

    work page 2013

  21. [21]

    Przyjalkowski

    V. Przyjalkowski. Calabi-Yau compactifications of toric Landau -Ginzburg models for smooth Fano threefolds. Sb. Math. , 7(208):992–1013, 2017

    work page 2017

  22. [22]

    Ross and R

    J. Ross and R. Thomas. An obstruction to the existence of con stant scalar curvature K¨ ahler metrics.Journal of Differential Geometry , 72(3):429–466, 03 2006

    work page 2006

  23. [23]

    C. Sabbah. Duality for Landau-Ginzburg models. arXiv:2212.077 45 [math.AG]

    work page

  24. [24]

    Y. Sano. A polar dual to the momentum of toric Fano manifolds. Complex Mani- folds, 8(1):230–246, 2021

    work page 2021

  25. [25]

    Scarpa and J

    C. Scarpa and J. Stoppa. Special representatives of complex ified K¨ ahler classes. Selecta Math. (N.S.) , 30(4):Paper No. 64, 45, 2024

    work page 2024

  26. [26]

    J. Stoppa. K-stability and large complex structure limits. arXiv:2309.05291 [math.AG]

    work page arXiv

  27. [27]

    J. Stoppa. Twisted constant scalar curvature K¨ ahler metric s and K¨ ahler slope stability. J. Differential Geom. , 83(3):663–691, 2009

    work page 2009

  28. [28]

    J. Stoppa. Unstable blowups. J. Algebraic Geom. , 19(1):1–17, 2010

    work page 2010

  29. [29]

    Sz´ ekelyhidi.An introduction to extremal K¨ ahler metrics, volume 152 of Graduate Studies in Mathematics

    G. Sz´ ekelyhidi.An introduction to extremal K¨ ahler metrics, volume 152 of Graduate Studies in Mathematics . American Mathematical Society, Providence, RI, 2014

    work page 2014

  30. [30]

    G. Tian. Canonical metrics in K¨ ahler geometry. Birkh¨ auser, 2012

    work page 2012

  31. [31]

    X. Wang. Height and GIT weight. Math. Res. Lett. , 19(4):909–926, 2012

    work page 2012

  32. [32]

    Wang and X

    X.-J. Wang and X. Zhu. K¨ ahler-Ricci solitons on toric manifolds w ith positive first Chern class. Adv. Math. , 188(1):87–103, 2004. SISSA, via Bonomea 265, 34136 Trieste, Italy Institute for Geometry and Physics (IGAP), via Beirut 2, 34151 Tr ieste, Italy jstoppa@sissa.it 38

    work page 2004