pith. sign in

arxiv: 2401.02910 · v2 · submitted 2024-01-05 · 🧮 math.DG · math.SG

K\"ahler metrics and toric Lagrangian fibrations

Rui Loja Fernandes , Maarten Mol This is my paper

Pith reviewed 2026-05-24 04:39 UTC · model grok-4.3

classification 🧮 math.DG math.SG
keywords Kähler metricsLagrangian fibrationselliptic singularitiesDelzant subspacesymplectic torus bundletoric actionsextremal metricsintegral affine manifold
0
0 comments X

The pith

Symplectic manifolds admitting toric actions by symplectic torus bundles are exactly those with Lagrangian fibrations having elliptic singularities.

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

The paper extends the theory of invariant Kähler metrics from compact toric symplectic manifolds to any symplectic manifold admitting a toric action of a symplectic torus bundle. It proves that these manifolds are precisely those admitting a Lagrangian fibration with elliptic singularities, with the base being a Delzant subspace that generalizes the Delzant polytope. For finite type Delzant subspaces, it gives a construction and a one-to-one correspondence between invariant Kähler metrics and pairs of an elliptic connection and a hybrid b-metric with specified residues. Extremal metrics are characterized by scalar curvature descending to an affine function on the base.

Core claim

We show that these are precisely the symplectic manifolds admitting a Lagrangian fibration with elliptic singularities. We establish a 1:1 correspondence between invariant Kähler metrics and a pair consisting of an elliptic connection on the total space of the fibration and a hybrid b-metric on the base Delzant subspace, both with specified residues over the facets. Finally, we characterize extremal invariant Kähler metrics as those whose scalar curvature descends to an affine function on the base integral affine manifold. We show that this provides a method for finding and constructing extremal Kähler metrics.

What carries the argument

The 1:1 correspondence between invariant Kähler metrics and pairs consisting of an elliptic connection and a hybrid b-metric on the Delzant subspace with specified residues over the facets.

If this is right

  • Delzant subspaces of finite type determine Lagrangian fibrations with elliptic singularities through a Delzant-type construction.
  • Invariant Kähler metrics correspond one-to-one with elliptic connections paired with hybrid b-metrics having specified residues over the facets.
  • Extremal invariant Kähler metrics are those whose scalar curvature descends to an affine function on the base integral affine manifold.
  • The characterization supplies a method for constructing extremal Kähler metrics.

Where Pith is reading between the lines

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

  • This approach may enable the construction of extremal Kähler metrics on non-compact manifolds.
  • Analogous results could hold for Lagrangian fibrations featuring different singularity types.
  • The use of hybrid b-metrics on spaces with corners might apply to other problems involving singular geometries.

Load-bearing premise

The toric action must be that of a symplectic torus bundle rather than a general torus action and the base Delzant subspace must be of finite type.

What would settle it

A symplectic manifold with a toric action of a symplectic torus bundle that admits no Lagrangian fibration with elliptic singularities would disprove the claimed equivalence.

read the original abstract

We extend the Abreu-Guillemin theory of invariant K\"ahler metrics from toric symplectic manifolds to any symplectic manifold admitting a toric action of a symplectic torus bundle. We show that these are precisely the symplectic manifolds admitting a Lagrangian fibration with elliptic singularities. The base of such a toric Lagrangian fibration is a codimension 0 submanifold with corners of an integral affine manifold, called a Delzant subspace. This concept generalizes the Delzant polytope associated with a compact symplectic toric manifold. Given a Delzant subspace of finite type, we provide a Delzant-type construction of a Lagrangian fibration with the moment image being the specified Delzant subspace. We establish a 1:1 correspondence between invariant K\"ahler metrics and a pair consisting of an elliptic connection on the total space of the fibration and a hybrid $b$-metric on the base Delzant subspace, both with specified residues over the facets. Finally, we characterize extremal invariant K\"ahler metrics as those whose scalar curvature descends to an affine function on the base integral affine manifold. We show that this provides a method for finding and constructing extremal K\"ahler metrics.

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 extends Abreu-Guillemin theory of invariant Kähler metrics from compact toric symplectic manifolds to symplectic manifolds admitting a toric action of a symplectic torus bundle. It identifies these manifolds precisely as those carrying Lagrangian fibrations with elliptic singularities, whose base is a codimension-0 submanifold with corners of an integral affine manifold (a Delzant subspace). For Delzant subspaces of finite type, the authors give a Delzant-type construction of the fibration, establish a 1:1 correspondence between invariant Kähler metrics and pairs consisting of an elliptic connection on the total space together with a hybrid b-metric on the base (both with prescribed residues on facets), and characterize extremal invariant Kähler metrics by the property that scalar curvature descends to an affine function on the base integral affine manifold.

Significance. If the stated correspondence and characterization hold, the work supplies a systematic extension of the classical toric Kähler theory to a non-compact setting, together with an explicit construction method for extremal metrics. The introduction of Delzant subspaces and hybrid b-metrics provides new geometric objects that could be useful for studying Lagrangian fibrations beyond the compact case.

major comments (2)
  1. [Correspondence and extremal characterization (abstract and § on the 1:1 correspondence)] The central 1:1 correspondence (between invariant Kähler metrics and pairs of elliptic connections plus hybrid b-metrics) and the subsequent characterization of extremal metrics both rest on the assertion that finite type of the Delzant subspace is sufficient to guarantee a globally defined Kähler form whose scalar curvature descends to an affine function. The manuscript does not appear to supply explicit decay or completeness estimates at the non-compact ends or higher-codimension strata that would replace the compactness argument of the original Abreu-Guillemin theory; without such control the global Kähler condition and the descent property remain unverified.
  2. [Delzant-type construction] The Delzant-type construction is stated for any finite-type Delzant subspace, yet the definition of “finite type” is not shown to imply the necessary properness or asymptotic conditions on the hybrid b-metric that would ensure the resulting symplectic form is non-degenerate and complete away from the elliptic singularities.
minor comments (2)
  1. [Definitions] Notation for the hybrid b-metric and the residues on facets should be introduced with a single consolidated definition rather than piecemeal across the correspondence statement.
  2. [Introduction] The abstract claims the manifolds “are precisely” those admitting Lagrangian fibrations with elliptic singularities; the precise statement of this equivalence (including any topological or completeness hypotheses) should be restated verbatim in the introduction for clarity.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading and insightful comments, which help clarify the requirements for extending the theory to the non-compact setting. We address the major comments point by point below.

read point-by-point responses

  1. Referee: [Correspondence and extremal characterization (abstract and § on the 1:1 correspondence)] The central 1:1 correspondence (between invariant Kähler metrics and pairs of elliptic connections plus hybrid b-metrics) and the subsequent characterization of extremal metrics both rest on the assertion that finite type of the Delzant subspace is sufficient to guarantee a globally defined Kähler form whose scalar curvature descends to an affine function. The manuscript does not appear to supply explicit decay or completeness estimates at the non-compact ends or higher-codimension strata that would replace the compactness argument of the original Abreu-Guillemin theory; without such control the global Kähler condition and the descent property remain unverified.

    Authors: We agree that the non-compact setting requires explicit verification beyond the compactness arguments of Abreu-Guillemin. The finite-type condition on Delzant subspaces is formulated precisely to encode the necessary asymptotic control on the hybrid b-metric and elliptic connection. In the revised manuscript we will add a new subsection (in the section on the 1:1 correspondence) that derives the required decay estimates at the non-compact ends and higher-codimension strata, thereby confirming that the constructed Kähler form is globally defined and complete and that scalar curvature descends to an affine function on the base. revision: yes

  2. Referee: [Delzant-type construction] The Delzant-type construction is stated for any finite-type Delzant subspace, yet the definition of “finite type” is not shown to imply the necessary properness or asymptotic conditions on the hybrid b-metric that would ensure the resulting symplectic form is non-degenerate and complete away from the elliptic singularities.

    Authors: The definition of finite type already incorporates the properness and asymptotic conditions needed for the hybrid b-metric. To make this implication fully explicit, the revised version will expand the Delzant-type construction section with a lemma that derives non-degeneracy and completeness of the symplectic form directly from the finite-type hypothesis, including the required estimates away from the elliptic singularities. revision: yes

Circularity Check

0 steps flagged

Minor self-citation; central claims rest on independent geometric constructions

full rationale

The derivation extends Abreu-Guillemin theory via a Delzant-type construction for Lagrangian fibrations over finite-type Delzant subspaces, followed by an explicit 1:1 correspondence between invariant Kähler metrics and pairs (elliptic connection, hybrid b-metric) with prescribed residues. These steps are defined directly from the symplectic geometry of the torus bundle action and the integral affine structure on the base; they do not reduce to quantities defined in terms of the target objects, nor do they rely on fitted parameters renamed as predictions. The finite-type hypothesis supplies the necessary control for the correspondence without invoking compactness. Any self-citations present are peripheral and do not carry the load-bearing steps, which remain self-contained against external benchmarks such as the original Abreu-Guillemin framework.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Based on abstract only; no specific free parameters, axioms, or invented entities can be identified without the full text. The Delzant subspace is presented as a generalization but its precise axiomatic status is unknown.

pith-pipeline@v0.9.0 · 5742 in / 1319 out tokens · 32814 ms · 2026-05-24T04:39:53.963149+00:00 · methodology

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

38 extracted references · 38 canonical work pages

  1. [1]

    Abreu, K¨ ahler geometry of toric varieties and extremal metrics, Internat

    M. Abreu, K¨ ahler geometry of toric varieties and extremal metrics, Internat. J. Math. 9 (1998), 641–651

    work page 1998

  2. [2]

    Apostolov, D

    V. Apostolov, D. Calderbank, P. Gauduchon, C. Tønnesen- Friedman, Hamiltonian 2-forms in K¨ ahler geometry, III extremal metrics and stability, Invent. Math. 173 (2008), 547–601

    work page 2008

  3. [3]

    Arias Abad and M

    C. Arias Abad and M. Crainic, Representations up to homot opy and Bott’s spectral sequence for Lie groupoids, Adv. Math. 248 (2013), 416–452

    work page 2013

  4. [4]

    Auslander and L

    L. Auslander and L. Markus, Holonomy of flat affinely connec ted manifolds, Annals of Math- ematics 62 (1955), no. 1, 139-151

    work page 1955

  5. [5]

    Aspinwall, T

    P.S. Aspinwall, T. Bridgeland, A.Craw, M.R. Douglas, M. Gross, A. Kapustin, G.W. Moore, G. Segal, B. Szendr¨ oi and P.M.H. Wilson, Dirichlet branes a nd mirror symmetry, American Mathematical Society, Providence, RI; Clay Mathematics In stitute, Cambridge, MA 4 (2009)

    work page 2009

  6. [6]

    Boucetta, G´ eometrie globale des syst` emes hamilton iens compl` etement int´ egrables et vari- ables action-angle avec singularit´ es

    M. Boucetta, G´ eometrie globale des syst` emes hamilton iens compl` etement int´ egrables et vari- ables action-angle avec singularit´ es. Symplectic geometry, groupoids, and integrable systems (Berkeley, CA, 1989), 13–22. Math. Sci. Res. Inst. Publ., 20 , Springer-Verlag, New York, 1991

    work page 1989

  7. [7]

    Calabi, Extremal K¨ ahler metrics

    E. Calabi, Extremal K¨ ahler metrics. Seminar on Differen tial Geometry, Ann. of Math. Stud. , No. 102, pp. 259–290. Princeton University Press, Princeto n, NJ, 1982

    work page 1982

  8. [8]

    A. S. Cattaneo, B. Dherin and A. W einstein, Integration o f Lie algebroid comorphisms, Port. Math. 70 (2013), no. 2, 113–144

    work page 2013

  9. [9]

    G. R. Cavalcanti and M. Gualtieri, Stable generalized co mplex structures, Proc. Lond. Math. Soc. (3) 116 (2018), no. 5, 1075–1111

    work page 2018

  10. [10]

    Cavalcanti, R.L

    G.R. Cavalcanti, R.L. Klaasse and A. Witte, Self-cross ing stable generalized complex struc- tures, J. Symplectic Geom. 20 (2022), no.4, 761–811

    work page 2022

  11. [11]

    Cavalcanti, R.L

    G.R. Cavalcanti, R.L. Klaasse and A. Witte, Fibrations in semitoric and generalized complex geometry, Canad. J. Math. 75 (2023) no. 2,pp. 645–685

    work page 2023

  12. [12]

    Cavalcanti and A

    , G.R. Cavalcanti and A. Witte, Non-principal T-dualit y, generalized complex geometry and blow-ups, Preprint arXiv:2211.17173

    work page arXiv

  13. [13]

    Crainic, R

    M. Crainic, R. L. Fernandes and I. M˘ arcut,, Lectures on Poisson geometry , Graduate Studies in Mathematics, 217. American Mathematical Society, Provi dence, RI, 2021, 479 pp

    work page 2021

  14. [14]

    Crainic, R

    M. Crainic, R. L. Fernandes and D. Mart ´ ınez Torres, Reg ular Poisson manifolds of compact types, Ast´ erisque413 (2019)

    work page 2019

  15. [15]

    Delzant, Hamiltoniens p´ eriodiques et images conve xes de l’application moment, Bulletin de la Soci´ et´ e Math´ ematique de France116 (1988), no

    T. Delzant, Hamiltoniens p´ eriodiques et images conve xes de l’application moment, Bulletin de la Soci´ et´ e Math´ ematique de France116 (1988), no. 3, 315–339

    work page 1988

  16. [16]

    Donaldson, Scalar curvature and stability of tori c varieties, J

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

    work page 2002

  17. [17]

    Douady and L

    A. Douady and L. H´ erault, Arrondissement des vari´ et´es ` a coins. Appendix to the article by A. Borel and J.-P. Serre, Corners and arithmetic groups, Comment. Math. Helv. 48 (1973), 436–491. 58 RUI LOJA FERNANDES AND MAARTEN MOL

    work page 1973

  18. [18]

    Dufour and P

    J.-P. Dufour and P. Molino, Compactification d’action d e Rn et variables action-angle avec singularit´ es,Symplectic geometry, groupoids, and integrable systems (Berkeley, CA, 1989), 151–167. Math. Sci. Res. Inst. Publ., 20, Springer-Verlag, New York, 1991

    work page 1989

  19. [19]

    Duistermaat, On global action-angle coordinates , Comm

    J.J. Duistermaat, On global action-angle coordinates , Comm. Pure Appl. Math. 33 (1980), no. 6, 687–706

    work page 1980

  20. [20]

    J. D. Evans, Lectures on Lagrangian torus fibrations , Cambridge University Press, 2022

    work page 2022

  21. [21]

    R. L. Fernandes and I. M˘ arcut ,, Multiplicative Ehresmann connections. Adv. Math. 427 (2023), Paper No. 109124, 84 pp

    work page 2023

  22. [22]

    R. L. Fernandes and I. M˘ arcut ,, Poisson geometry around Poisson submanifolds. To appear in J. Eur. Math. Soc. . Preprint arXiv:2205.11457

    work page arXiv

  23. [23]

    Goldman and M.W

    W. Goldman and M.W. Hirsch, The radiance obstruction an d parallel forms on affine mani- folds, Transactions of the American Mathematical Society , 286 (1984), 629-649

    work page 1984

  24. [24]

    Guillemin, Kaehler structures on toric varieties, J

    V. Guillemin, Kaehler structures on toric varieties, J. Differential Geom. 40 (1994), no. 2, 285–309

    work page 1994

  25. [25]

    Guillemin, E

    V. Guillemin, E. Miranda, A. R. Pires, Symplectic and Po isson geometry on b-manifolds, Adv. Math. 264 (2014), 864–896

    work page 2014

  26. [26]

    Karshon, E

    Y. Karshon, E. Lerman, Non-compact symplectic toric ma nifolds, SIGMA Symmetry Inte- grability Geom. Methods Appl. 11 (2015)

    work page 2015

  27. [27]

    Li and L

    A.-M. Li and L. Sheng, Extremal K¨ ahler Metrics of Toric Manifolds, Chinese Ann. Math. Ser. B 44 (2023), no.6, 827–836

    work page 2023

  28. [28]

    Mol, On the classification of multiplicity-free Hami ltonian actions by regular proper sym- plectic groupoids, arXiv:2401.00570, 2024

    M. Mol, On the classification of multiplicity-free Hami ltonian actions by regular proper sym- plectic groupoids, arXiv:2401.00570, 2024

    work page arXiv 2024

  29. [29]

    Melrose, The Atiyah-Patodi-Singer index theorem

    R. Melrose, The Atiyah-Patodi-Singer index theorem . Research Notes in Mathematics, 4, A K Peters, Ltd., W ellesley, MA, 1993

    work page 1993

  30. [30]

    Michor, Manifolds of differentiable mappings , Shiva Math

    P.W. Michor, Manifolds of differentiable mappings , Shiva Math. Ser., 3, Shiva Publishing Ltd., Nantwich, 1980

    work page 1980

  31. [31]

    Pflaum, H

    M. Pflaum, H. Posthuma and X. Tang, Geometry of orbit spac es of proper Lie groupoids, Journal f¨ ur die reine und angewandte Mathematik (Crelles J ournal), 694 (2014), 49–84

    work page 2014

  32. [32]

    Sepe and S

    D. Sepe and S. V˜ u Ngoc, Integrable systems, symmetries , and quantization, Lett. Math. Phys. 108(2018), no.3, 499–571

    work page 2018

  33. [33]

    Shima, The geometry of Hessian structures , W orld Scientific Publishing Co

    H. Shima, The geometry of Hessian structures , W orld Scientific Publishing Co. Pte. Ltd., Hackensack, NJ, 2007

    work page 2007

  34. [34]

    Sz´ ekelyhidi,An introduction to extremal K¨ ahler metrics, Graduate Studies in Mathemat- ics, 152

    G. Sz´ ekelyhidi,An introduction to extremal K¨ ahler metrics, Graduate Studies in Mathemat- ics, 152. American Mathematical Society, Providence, RI, 2 014

    work page

  35. [35]

    Whitney and F

    H. Whitney and F. Bruhat, Quelques propri´ et´ es fondam entales des ensembles analytiques- r´ eels,Comment. Math. Helv. 33 (1959), 132–160

    work page 1959

  36. [36]

    Yoshida, Local torus actions modeled on the standard representation, Adv

    T. Yoshida, Local torus actions modeled on the standard representation, Adv. Math. 227 (2011), no.5, 1914–1955

    work page 2011

  37. [37]

    Zung, Symplectic topology of integrable Hamilton ian systems, I : Arnold-Liouville with singularities

    N.T. Zung, Symplectic topology of integrable Hamilton ian systems, I : Arnold-Liouville with singularities. Compositio Mathematica 101 (1996) no. 2, 179–215

    work page 1996

  38. [38]

    Symplectic topology of integrable Hamiltonian system s. II. Topological classifica- tion.Compositio Mathematica 138 (2003), no.2, 125–156. Department of Mathematics, University of Illinois at Urbana- Champaign, 1409 W. Green Street, Urbana, IL 61801 USA Email address : ruiloja@illinois.edu Max Planck Institute for Mathematics, 53111 Bonn, Germany Email add...

    work page 2003