pith. sign in

arxiv: 2606.28768 · v1 · pith:DJD562POnew · submitted 2026-06-27 · 🧮 math.SG

Finiteness and boundedness of positive monotone Hamiltonian GKM₃ spaces

Panagiotis Konstantis , Silvia Sabatini , Leopold Zoller This is my paper

Pith reviewed 2026-06-30 08:49 UTC · model grok-4.3

classification 🧮 math.SG
keywords Hamiltonian GKM3 spacespositive monotonecomplex cobordismfiniteness theoremsChern numbersmoment map imagesymplectic volume
0
0 comments X

The pith

For fixed dimension and Euler characteristic, compact positive monotone Hamiltonian GKM3 spaces have only finitely many complex cobordism classes.

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

The paper establishes that when dimension and Euler characteristic are held fixed, compact positive monotone Hamiltonian GKM3 spaces fall into finitely many complex cobordism classes. It further shows that the image of the moment map can be embedded, after lattice transformations, into a box whose size is explicitly bounded, and that all Chern numbers obey quantitative upper bounds. These bounds in turn produce an upper bound on the symplectic volume. A reader would care because the results give concrete control over the possible geometries of this class of manifolds, generalizing known finiteness statements for toric varieties and Fano manifolds.

Core claim

For fixed dimension and Euler characteristic, there are only finitely many complex cobordism classes of compact positive monotone Hamiltonian GKM3 spaces; modulo lattice transformations the moment map image embeds into a box of explicitly bounded size; all Chern numbers satisfy quantitative bounds, yielding a bound on the volume.

What carries the argument

The positivity condition on the symplectic class relative to the first Chern class, used together with the combinatorial data of the Hamiltonian GKM3 action to restrict possible graphs and cobordism classes.

If this is right

  • Only finitely many complex cobordism classes exist in each fixed dimension and Euler characteristic.
  • The moment map image lies in a box of bounded size after lattice transformations.
  • Chern numbers admit explicit upper bounds.
  • The symplectic volume is bounded above.

Where Pith is reading between the lines

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

  • In low dimensions the finiteness may make exhaustive classification feasible by enumerating admissible graphs.
  • The same positivity-plus-GKM3 package could be tested on other Hamiltonian actions that are not fully toric.
  • Volume bounds obtained this way might be compared directly with those coming from algebraic geometry for the underlying varieties when they exist.

Load-bearing premise

The manifolds must admit a Hamiltonian GKM3 action that is positive monotone.

What would settle it

A sequence of such manifolds with fixed dimension and Euler characteristic whose complex cobordism classes are all distinct, or whose Chern numbers grow without bound.

Figures

Figures reproduced from arXiv: 2606.28768 by Leopold Zoller, Panagiotis Konstantis, Silvia Sabatini.

Figure 1
Figure 1. Figure 1: The cone Cp and the moment image P of K. which, by what we observed before, implies that (26) m(e) − m(∇e(f))ce(f) ≥ 0 . We obtain (27) ce(f) ≤ m(e) < C(n, b), where the first inequality follows from m(∇e(f)) ≥ 1 and (26), in case ce(f) ≥ 0, and from m(e) ≥ 1 in case ce(f) < 0, whereas the latter inequality is exactly (20). Having achieved this upper bound for all e ̸= f ∈ Ep we also get a lower bound. Ind… view at source ↗
read the original abstract

In this paper, we establish three finiteness and boundedness theorems for compact positive monotone symplectic manifolds endowed with special actions, called GKM$_3$, which generalize smooth toric varieties. Specifically, we prove that, for fixed dimension and Euler characteristic, there are only finitely many complex cobordism classes of such spaces. Moreover, modulo lattice transformations, the moment map image can be embedded into a box of explicitly bounded size, and all Chern numbers satisfy quantitative bounds. In particular, this yields a bound on the volume of the underlying symplectic manifold, analogous to the one obtained by Koll\'{a}r-Miyaoka-Mori for Fano varieties.

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

0 major / 2 minor

Summary. The paper establishes three finiteness and boundedness theorems for compact positive monotone Hamiltonian GKM₃ spaces (generalizing smooth toric varieties). For fixed dimension and Euler characteristic, there are finitely many complex cobordism classes; modulo lattice transformations the moment map image embeds into an explicitly bounded box; and all Chern numbers satisfy quantitative bounds, yielding a volume bound analogous to the Kollár–Miyaoka–Mori theorem.

Significance. If the results hold, they extend finiteness and boundedness theorems from algebraic geometry to a larger class of symplectic manifolds with Hamiltonian torus actions, using positivity, monotonicity, and the GKM₃ condition to obtain combinatorial control over labeled graphs and cobordism classes. The explicit box embedding and volume bound constitute a concrete advance with potential applications to classification problems in symplectic geometry.

minor comments (2)
  1. The notation for GKM₃ graphs and the precise definition of the positivity/monotonicity condition on the symplectic class relative to c₁ should be recalled or referenced in §1 for readers outside the immediate subfield.
  2. Figure captions for the moment polytope examples could explicitly state the lattice automorphism group used in the bounded-box statement.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive report and recommendation to accept the manuscript.

Circularity Check

0 steps flagged

No significant circularity; bounds derived from combinatorial constraints on GKM graphs

full rationale

The paper establishes finiteness of cobordism classes and explicit bounds on moment polytopes and Chern numbers for fixed dimension and Euler characteristic by enumerating admissible GKM3 graphs under the positive monotone condition. These constraints act as external combinatorial filters on the possible labeled graphs and weight assignments; the resulting bounds on embeddings, volumes, and Chern numbers follow directly from the enumeration without any fitted parameter being relabeled as a prediction or any load-bearing uniqueness claim resting solely on prior self-citation. The derivation is therefore self-contained against the stated assumptions.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review prevents enumeration of specific axioms or parameters; the results rest on standard facts from symplectic geometry, cobordism theory, and GKM graph combinatorics.

pith-pipeline@v0.9.1-grok · 5641 in / 1183 out tokens · 27260 ms · 2026-06-30T08:49:29.319791+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

41 extracted references · 1 canonical work pages

  1. [1]

    M. F. Atiyah and R. Bott,The moment map and equivariant cohomology, Topology23(1984), no. 1, 1–28. MR 721448

    1984

  2. [2]

    V. V. Batyrev,Dual polyhedra and mirror symmetry for Calabi-Yau hypersurfaces in toric varieties, J. Algebraic Geom.3(1994), no. 3, 493–535. MR 1269718

    1994

  3. [3]

    Berline and M

    N. Berline and M. Vergne,Classes caract´ eristiques ´ equivariantes. Formule de localisation en coho- mologie ´ equivariante, C. R. Acad. Sci. Paris S´ er. I Math.295(1982), no. 9, 539–541. MR 685019

    1982

  4. [4]

    Bombieri and J

    E. Bombieri and J. Vaaler,On Siegel’s lemma, Invent. Math.73(1983), no. 1, 11–32. MR 707346

    1983

  5. [5]

    Chang and T

    T. Chang and T. Skjelbred,The topological Schur lemma and related results, Ann. of Math. (2)100 (1974), 307–321. MR 375357

    1974

  6. [6]

    Charton and L

    I. Charton and L. Kessler,Monotone symplectic six-manifolds that admit a Hamiltonian GKM action are diffeomorphic to smooth Fano manifolds, Trans. Groups (2025),https://doi.org/10.1007/ s00031-025-09914-2

    2025

  7. [7]

    Charton, S

    I. Charton, S. Sabatini, and D. Sepe,Compact monotone tall complexity onet-spaces, 2025,https: //doi.org/10.1090/tran/9583

    work page doi:10.1090/tran/9583 2025

  8. [8]

    Entov and L

    M. Entov and L. Polterovich,Rigid subsets of symplectic manifolds, Compos. Math.145(2009), no. 3, 773–826. MR 2507748

    2009

  9. [9]

    Erd˝ os, J

    P. Erd˝ os, J. Pach, R. Pollack, and Z. Tuza,Radius, diameter, and minimum degree, J. Combin. Theory Ser. B47(1989), no. 1, 73–79. MR 1007715

    1989

  10. [10]

    Ewald,On the classification of toric fano varieties, Discrete & Computational Geometry3(1988), no

    G. Ewald,On the classification of toric fano varieties, Discrete & Computational Geometry3(1988), no. 1–2, 49–54

    1988

  11. [11]

    Fine and D

    J. Fine and D. Panov,Hyperbolic geometry and non-K¨ ahler manifolds with trivial canonical bundle, Geom. Topol.14(2010), no. 3, 1723–1763. MR 2679581

    2010

  12. [12]

    ,Circle-invariant fat bundles and symplectic Fano 6-manifolds, J. Lond. Math. Soc. (2)91 (2015), no. 3, 709–730. MR 3355122

    2015

  13. [13]

    Franz and V

    M. Franz and V. Puppe,Exact cohomology sequences with integral coefficients for torus actions, Transform. Groups12(2007), no. 1, 65–76. MR 2308029

    2007

  14. [14]

    Godinho, N

    L. Godinho, N. Lindsay, and S. Sabatini,On a symplectic generalization of a Hirzebruch problem, J. Fixed Point Theory Appl.27(2025), no. 3, Paper No. 75, 73. MR 4940256 FINITENESS AND BOUNDEDNESS OF POSITIVE MONOTONE HAMILTONIAN GKM 3 SPACES 39

    2025

  15. [15]

    Godinho and S

    L. Godinho and S. Sabatini,New tools for classifying Hamiltonian circle actions with isolated fixed points, Found. Comput. Math.14(2014), no. 4, 791–860. MR 3230015

    2014

  16. [16]

    Godinho, F

    L. Godinho, F. von Heymann, and S. Sabatini,12, 24 and beyond, Adv. Math.319(2017), 472–521. MR 3695881

    2017

  17. [17]

    Goertsches, P

    O. Goertsches, P. Konstantis, and L. Zoller,The GKM correspondence in dimension 6, (2022)

    2022

  18. [18]

    Goertsches and G

    O. Goertsches and G. Solomadin,Extensions of realizable hamiltonian and complexity one GKM 4 graphs, Journal of Algebraic Combinatorics63(2026), no. 4, 54

    2026

  19. [19]

    Goertsches and M

    O. Goertsches and M. Wiemeler,Positively curved GKM-manifolds, Int. Math. Res. Not. IMRN (2015), no. 22, 12015–12041. MR 3456711

    2015

  20. [20]

    Goresky, R

    M. Goresky, R. Kottwitz, and R. MacPherson,Equivariant cohomology, Koszul duality, and the localization theorem, Invent. Math.131(1998), no. 1, 25–83. MR 1489894

    1998

  21. [21]

    Guillemin, V

    V. Guillemin, V. Ginzburg, and Y. Karshon,Moment maps, cobordisms, and Hamiltonian group ac- tions, Mathematical Surveys and Monographs, vol. 98, American Mathematical Society, Providence, RI, 2002, Appendix J by Maxim Braverman. MR 1929136

    2002

  22. [22]

    Guillemin and C

    V. Guillemin and C. Zara,Equivariant de Rham theory and graphs, vol. 3, 1999, Sir Michael Atiyah: a great mathematician of the twentieth century, pp. 49–76. MR 1701922

    1999

  23. [23]

    J.107(2001), no

    ,1-skeleta, Betti numbers, and equivariant cohomology, Duke Math. J.107(2001), no. 2, 283–349. MR 1823050

    2001

  24. [24]

    V. W. Guillemin and S. Sternberg,Supersymmetry and equivariant de Rham theory, Mathematics Past and Present, Springer-Verlag, Berlin, 1999, With an appendix containing two reprints by Henri Cartan [MR0042426 (13,107e); MR0042427 (13,107f)]. MR 1689252

    1999

  25. [25]

    Haase and I

    C. Haase and I. V. Melnikov,The reflexive dimension of a lattice polytope, Annals of Combinatorics 10(2006), no. 2, 175–186

    2006

  26. [26]

    Hadamard,R` esolution d’une question relative aux d` eterminants, Bulletin des Sciences Math´ ematiques2(1893), no

    J. Hadamard,R` esolution d’une question relative aux d` eterminants, Bulletin des Sciences Math´ ematiques2(1893), no. 17, 240–246

  27. [27]

    Hattori,S 1-actions on unitary manifolds and quasi-ample line bundles, J

    A. Hattori,S 1-actions on unitary manifolds and quasi-ample line bundles, J. Fac. Sci. Univ. Tokyo Sect. IA Math.31(1985), no. 3, 433–486. MR 776689

    1985

  28. [28]

    R. A. Horn and C. R. Johnson,Matrix analysis, second ed., Cambridge University Press, Cambridge,

  29. [29]

    Koll´ ar, Y

    J. Koll´ ar, Y. Miyaoka, and S. Mori,Rational connectedness and boundedness of Fano manifolds, J. Differential Geom.36(1992), no. 3, 765–779. MR 1189503

    1992

  30. [30]

    Korkine and G

    A. Korkine and G. Zolotareff,Sur les formes quadratiques, Math. Ann.6(1873), no. 3, 366–389. MR 1509828

  31. [31]

    Kuroki,Upper bounds for the dimension of tori acting on GKM manifolds, J

    S. Kuroki,Upper bounds for the dimension of tori acting on GKM manifolds, J. Math. Soc. Japan 71(2019), no. 2, 483–513. MR 3943448

    2019

  32. [32]

    Kuroki and G

    S. Kuroki and G. Solomadin,Independence of homogeneous GKM manifolds and symmetric spaces, 2026

    2026

  33. [33]

    J. C. Lagarias, H. W. Lenstra, Jr., and C.-P. Schnorr,Korkin-Zolotarev bases and successive minima of a lattice and its reciprocal lattice, Combinatorica10(1990), no. 4, 333–348. MR 1099248

    1990

  34. [34]

    J. C. Lagarias and G. M. Ziegler,Bounds for lattice polytopes containing a fixed number of interior points in a sublattice, Canad. J. Math.43(1991), no. 5, 1022–1035. MR 1138580

    1991

  35. [35]

    A. S. Libgober and J. W. Wood,Uniqueness of the complex structure on K¨ ahler manifolds of certain homotopy types, J. Differential Geom.32(1990), no. 1, 139–154. MR 1064869

    1990

  36. [36]

    McDuff,Displacing Lagrangian toric fibers via probes, Low-dimensional and symplectic topol- ogy, Proc

    D. McDuff,Displacing Lagrangian toric fibers via probes, Low-dimensional and symplectic topol- ogy, Proc. Sympos. Pure Math., vol. 82, Amer. Math. Soc., Providence, RI, 2011, pp. 131–160. MR 2768658

    2011

  37. [37]

    McDuff and D

    D. McDuff and D. Salamon,Introduction to symplectic topology, third ed., Oxford Graduate Texts in Mathematics, Oxford University Press, Oxford, 2017. MR 3674984

    2017

  38. [38]

    Milnor,On the cobordism ringΩ ∗ and a complex analogue

    J. Milnor,On the cobordism ringΩ ∗ and a complex analogue. I, Amer. J. Math.82(1960), 505–521. MR 119209

    1960

  39. [39]

    Minkowski,Geometrie der Zahlen, Bibliotheca Mathematica Teubneriana, Band 40, Johnson Reprint Corp., New York-London, 1968

    H. Minkowski,Geometrie der Zahlen, Bibliotheca Mathematica Teubneriana, Band 40, Johnson Reprint Corp., New York-London, 1968. MR 249269 40 P. KONSTANTIS, S. SABATINI, AND L. ZOLLER

    1968

  40. [40]

    B. L. van der Waerden,Die Reduktionstheorie der positiven quadratischen Formen, Acta Math.96 (1956), 265–309. MR 82513

    1956

  41. [41]

    Zoller,On integral Chang-Skjelbred computations with disconnected isotropy groups, Transforma- tion Groups (2025)

    L. Zoller,On integral Chang-Skjelbred computations with disconnected isotropy groups, Transforma- tion Groups (2025). Fachbereich Mathematik und Informatik, Philipps Universit¨at Marburg, Hans-Meerwein- Str. 6, 35043 Marburg, Germany Email address:pako@mathematik.uni-marburg.de Department Mathematik/Informatik, Universit¨at zu K¨oln, Weyertal 86-90, 50931...

    2025