Pith. sign in

REVIEW 3 minor 40 references

A single polynomial of equivariant Chern classes determines equivariant bordism for unitary T^k-manifolds with isolated fixed points.

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 →

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

T0 review · grok-4.3

2026-07-03 02:19 UTC pith:6OBT3F5C

load-bearing objection The paper reduces equivariant bordism detection to a single polynomial in Chern classes for T^k-manifolds with isolated fixed points and gives inequalities that partially address Kosniowski's conjecture.

arxiv 2607.01889 v1 pith:6OBT3F5C submitted 2026-07-02 math.AT

Reduced characteristic number criteria for equivariant bordism of T^k- and (mathbb{Z}₂)^k-manifolds with isolated fixed points

Runze Chen , Zhi L\"u , Leqi Yang This is my paper
classification math.AT
keywords equivariant bordismT^k-manifolds(Z_2)^k-manifoldsisolated fixed pointsequivariant Chern classesStiefel-Whitney classesKosniowski's conjectureEuler characteristic
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 develops reduced criteria that detect whether unitary T^k-manifolds and closed smooth (Z_2)^k-manifolds with isolated fixed points bound equivariantly, replacing the classical requirement of computing every equivariant characteristic number with far simpler data. For the T^k case the bordism class is captured by one polynomial in the equivariant Chern classes, and a minimal distinguishing degree supplies inequalities that relate manifold dimension to Euler characteristic. These inequalities establish the existence of a linear lower bound on the Euler characteristic inside the Kosniowski conjecture framework and supply an alternative proof of the toric case when dimension equals twice the torus rank. For (Z_2)^k-manifolds the criterion collapses further to powers of the top equivariant Stiefel-Whitney class. The resulting simplifications cut the computational cost of equivariant bordism checks substantially.

Core claim

For any unitary T^k-manifold M with isolated fixed points, an equivariant unitary bordism criterion is built entirely from a single polynomial of equivariant Chern classes. The minimal distinguishing degree produces two inequalities relating dim M and χ(M) that settle the existence of a linear lower bound for χ(M) in Kosniowski's conjecture and give an alternative proof of the toric generalization when dim M = 2k. For a closed smooth (Z_2)^k-manifold with isolated fixed points the equivariant bordism criterion relies solely on the powers of the top equivariant Stiefel-Whitney class.

What carries the argument

The single polynomial of equivariant Chern classes that encodes the reduced bordism criterion, together with the minimal distinguishing degree that governs the dimension-Euler characteristic relation.

Load-bearing premise

The manifolds have isolated fixed points and satisfy the natural admissible assumptions of the Kosniowski conjecture framework.

What would settle it

A unitary T^k-manifold with isolated fixed points in which the single Chern-class polynomial vanishes yet the manifold fails to bound equivariantly, or in which the derived inequalities relating dimension and Euler characteristic are violated.

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

If this is right

  • The full collection of equivariant characteristic numbers is unnecessary to decide equivariant bordism.
  • A linear lower bound on the Euler characteristic exists for these manifolds inside the Kosniowski framework.
  • The toric generalization of Kosniowski's conjecture holds when manifold dimension equals twice the torus rank.
  • Checking whether a (Z_2)^k-manifold bounds requires only powers of its top equivariant Stiefel-Whitney class.
  • Computational effort for equivariant bordism detection is substantially reduced.

Where Pith is reading between the lines

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

  • The reduced criteria could make explicit computation of higher-rank equivariant bordism groups feasible.
  • Similar polynomial reductions might be sought for actions whose fixed sets are not isolated.
  • The minimal distinguishing degree may supply new invariants in other equivariant cohomology theories.
  • Concrete examples such as toric varieties could now be checked algorithmically against the new criteria.

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

0 major / 3 minor

Summary. The manuscript claims to establish reduced equivariant bordism criteria for two classes of manifolds with isolated fixed points: for unitary T^k-manifolds, a single polynomial in the equivariant Chern classes determines whether the manifold bounds equivariantly; for closed smooth (Z_2)^k-manifolds, the criterion reduces to powers of the top equivariant Stiefel-Whitney class. The paper further defines a minimal distinguishing degree, derives two inequalities relating dim M and χ(M), and uses these to address Kosniowski's conjecture (including an alternative proof of its toric generalization when dim M = 2k) under stated admissible assumptions.

Significance. If the derivations hold, the results would meaningfully lower the computational burden in equivariant bordism by replacing the full set of characteristic numbers with a single polynomial or a short sequence of powers. The inequalities provide concrete progress on Kosniowski-type bounds and the alternative toric proof adds an independent verification route. These contributions are proportionate to the scope of the isolated-fixed-point setting and could be useful for explicit computations in low-dimensional cases.

minor comments (3)
  1. [Introduction] The abstract refers to 'natural admissible assumptions' for Kosniowski's conjecture; these should be stated explicitly (with references) in the introduction or in the section where the inequalities are proved so that the scope of the partial verification is immediately clear.
  2. [Main results] Notation for the single polynomial (e.g., its precise definition in terms of the equivariant Chern classes) and for the minimal distinguishing degree should be introduced with a numbered display equation at first use to facilitate later citations.
  3. [Examples] The manuscript would benefit from a short table or explicit low-dimensional example (e.g., dim M = 4 or 6) showing the reduction from the classical set of characteristic numbers to the new single-polynomial test.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful summary of our work on reduced equivariant bordism criteria for T^k- and (Z_2)^k-manifolds with isolated fixed points, the positive assessment of its significance in lowering computational demands, and the recommendation for minor revision. The referee's description accurately reflects the main results, including the single-polynomial criteria, the minimal distinguishing degree, the inequalities relating dimension and Euler characteristic, and the partial verification of Kosniowski's conjecture.

Circularity Check

0 steps flagged

No significant circularity; derivation rests on external classical bordism theory

full rationale

The paper's central claims establish reduced bordism criteria for manifolds with isolated fixed points using polynomials in equivariant Chern classes or powers of the top Stiefel-Whitney class. These are presented as consequences of classical equivariant bordism theory and the isolated-fixed-point hypothesis, without any visible self-definition of quantities, fitted inputs renamed as predictions, or load-bearing self-citations that reduce the result to its own inputs. The Kosniowski inequalities and toric generalizations are derived conditionally on stated assumptions and external results, keeping the derivation self-contained against external benchmarks. No equations or constructions in the provided abstract or claim structure exhibit the enumerated circularity patterns.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review supplies no explicit free parameters, axioms, or invented entities; the work is framed as a derivation within existing equivariant bordism theory.

pith-pipeline@v0.9.1-grok · 5781 in / 1091 out tokens · 33191 ms · 2026-07-03T02:19:11.775775+00:00 · methodology

0 comments
read the original abstract

Classical equivariant bordism theories require computing the full collection of equivariant characteristic numbers to detect whether an equivariant manifold bounds equivariantly or not. This paper establishes simplified equivariant bordism characterizations for two families of equivariant manifolds with isolated fixed points: unitary $T^k$-manifolds and closed smooth $(\mathbb{Z}_2)^k$-manifolds. For any unitary $T^k$-manifold $M$ with isolated fixed points, we establish an equivariant unitary bordism criterion built entirely from a single polynomial of equivariant Chern classes. We further introduce the minimal distinguishing degree and obtain two key inequalities that capture the interplay between $\dim M$ and the Euler characteristic $\chi(M)$ through this minimal distinguishing degree. These inequalities settle the existence problem of a linear lower bound for $\chi(M)$ within the framework of Kosniowski's conjecture and partially verify the conjecture under natural admissible assumptions. We also provide an alternative proof settling the toric generalization of Kosniowski's conjecture when $\dim M=2k$. By contrast, for a closed smooth $(\mathbb{Z}_2)^k$-manifold with isolated fixed points, we derive a more concise equivariant bordism criterion relying solely on the powers of the top equivariant Stiefel-Whitney class. Our new criteria substantially reduce computational demands.

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

40 extracted references · 40 canonical work pages

  1. [1]

    M. F. Atiyah and R. Bott. The moment map and equivariant cohomology. Topology , 1(2):1--28, 1984

    work page 1984

  2. [2]

    Allday and V

    C. Allday and V. Puppe. Cohomological Methods in Transformation Groups , volume 32 of Cambridge Studies in Advanced Mathematics . Cambridge: Cambridge University Press, 1993

    work page 1993

  3. [3]

    Berline, E

    N. Berline, E. Getzler, and M. Vergne. Heat Kernels and Dirac Operators , volume 298 of Grundlehren Math. Wiss. Springer, Berlin, 1991

    work page 1991

  4. [4]

    V. M. Buchstaber and T. E. Panov. Toric Topology , volume 204 of Mathematical Surveys and Monographs . American Mathematical Society, Providence, RI, 2015

    work page 2015

  5. [5]

    G. E. Bredon. Introduction to compact transformation groups , volume 46 of Pure Appl. Math. Academic Press, New York-London, 1972

    work page 1972

  6. [6]

    Bix and T

    M. Bix and T. tom Dieck. Characteristic numbers of G -manifolds and multiplicative induction. Trans. Amer. Math. Soc. , 235(1):331--343, 1978

    work page 1978

  7. [7]

    Berline and M

    N. Berline and M. Vergne. Classes caractéristiques équivariantes. formule de localisation en cohomologie équivariante. C. R. Acad. Sci. Paris Sér. I Math. , 295(9):539--541, 1982

    work page 1982

  8. [8]

    Berline and M

    N. Berline and M. Vergne. Zéros d’un champ de vecteurs et classes caractéristiques équivariantes. Duke Math. J. , 50(3):539--549, 1983

    work page 1983

  9. [9]

    P. E. Conner and E. E. Floyd. Differiable periodic maps. Bull. Amer. Math. Soc. , 68:76–--86, 1962

    work page 1962

  10. [10]

    P. E. Conner and E. E. Floyd. Differentiable periodic maps , volume 33 of Ergeb. Math. Grenzgeb., (N.F.) . Springer-Verlag, Berlin-Göttingen-Heidelberg; Academic Press, Inc., Publishers, New York, 1964

    work page 1964

  11. [11]

    P. E. Conner and E. E. Floyd. Periodic maps which preserve a complex structure. Bull. Amer. Math. Soc. , 79(1):574--579, 1964

    work page 1964

  12. [12]

    H. W. Cho, J. H. Kim, and H. C. Park. On the conjecture of kosniowski. Asian J Math. , 16(2):271--278, 2012

    work page 2012

  13. [13]

    B. Chen, Z. L\"u, and Q. Tan. Equivariant geometric bordisms and universal complexes. Proc. Amer. Math. Soc. , 153(6):2687--2699, 2025

    work page 2025

  14. [14]

    V. I. Danilov. The geometry of toric varieties. Russian Math. Surveys , 33:97--154, 1973

    work page 1973

  15. [15]

    M. W. Davis and T. Januszkiewicz. Convex polytopes, C oxeter orbifolds and torus actions. Duke Math. J. , 62(2):417--451, 1991

    work page 1991

  16. [16]

    W. Fulton. Toric Varieties , volume 131 of Ann. Math. Stud. Princeton Univ. Press, 1993

    work page 1993

  17. [17]

    Guillemin, V

    V. Guillemin, V. Ginzburg, and Y. Karshon. Moment maps, cobordisms, and Hamiltonian group actions. Appendix J by Maxim Braverman , volume 98 of Mathematical Surveys and Monographs . American Mathematical Society, Providence, RI, 2002

    work page 2002

  18. [18]

    Goresky, R

    M. Goresky, R. Kottwitz, and R. MacPherson. Equivariant cohomology, koszul duality, and the localization theorem. Invent. Math. , 131:25--83, 1998

    work page 1998

  19. [19]

    B. Hanke. Geometric versus homotopy theoretic equivariant bordism. Math. Ann. , 332:677--696, 2005

    work page 2005

  20. [20]

    G. H. Hardy and E. M. Wright. An Introduction to the Theory of Numbers . 6th edition. Oxford University Press, 2008

    work page 2008

  21. [21]

    D. Jang. Circle actions on almost complex manifolds with isolated fixed points. Journal of Geometry and Physics , 119:187--192, 2017

    work page 2017

  22. [22]

    Kosniowski

    C. Kosniowski. Holomorphic vector fields with simple isolated zeros. Math. Ann. , 208:171--173, 1974

    work page 1974

  23. [23]

    Kosniowski

    C. Kosniowski. Some formulae and conjectures associated with circle actions. In Topology Symposium, Siegen 1979 (Proc. Sympos., Univ. Siegen, Siegen, 1979) , volume 788 of Lecture Notes in Math. , pages 331--339. Springer, Berlin, 1980

    work page 1979

  24. [24]

    Kosniowski and R

    C. Kosniowski and R. E. Stong. ( Z _2)^k -actions and characteristic numbers. Indiana Univ. Math. J. , 28:723--743, 1979

    work page 1979

  25. [25]

    Z. L\"u. A proof of kosniowski conjecture, arxiv:2108.08699, 2021

    work page arXiv 2021

  26. [26]

    Li and K

    P. Li and K. F. Liu. Some remarks on circle action on manifolds. Math. Res. Lett. , 18:437--446, 2011

    work page 2011

  27. [27]

    L\"u and Q

    Z. L\"u and Q. R. Musin. Rigidity of powers and kosniowski’s conjecture. Sib. Élektron. Mat. Izv. , 15:1227--1236, 2018

    work page 2018

  28. [28]

    L\"u and Q

    Z. L\"u and Q. B. Tan. Equivariant chern numbers and the number of fixed points for unitary torus manifolds. Math. Res. Lett. , (24):1319--1325, 2011

    work page 2011

  29. [29]

    L\"u and Q

    Z. L\"u and Q. B. Tan. Small covers and the equivariant bordism classification of 2-torus manifolds. Int. Math. Res. Not. IMRN , (24):6756--6797, 2014

    work page 2014

  30. [30]

    L\"u and W

    Z. L\"u and W. Wang. Equivariant cohomology chern numbers determine equivariant unitary bordism for torus groups. Algebr. Geom. Topol. , 18:4143–4160, 2018

    work page 2018

  31. [31]

    J. W. Milnor and J. Stasheff. Characteristic Classes , volume 76 of Ann. of Math. Studies . Princeton Univ. Press, 1974

    work page 1974

  32. [32]

    Pelayo and S

    A. Pelayo and S. Tolman. Fixed points of symplectic periodic flows. Ergodic Theory and Dynamical Systems , 31:1237--1247, 2011

    work page 2011

  33. [33]

    Dev. P. Sinha. Computations of complex equivariant bordism rings. Amer. J. Math. , 123(4):577--605, 2001

    work page 2001

  34. [34]

    R. E. Stong. Equivariant bordism and ( Z _2)^k actions. Duke Math. J. , 37(4):779--785, 1970

    work page 1970

  35. [35]

    tom Dieck

    T. tom Dieck. Bordism of G -manifolds and integrality theorems. Topology , 9:345--358, 1970

    work page 1970

  36. [36]

    tom Dieck

    T. tom Dieck. Characteristic numbers of G -manifolds. I . Invent. Math. , 13:213--224, 1971

    work page 1971

  37. [37]

    tom Dieck

    T. tom Dieck. Characteristic numbers of G -manifolds. II . J. Pure Appl. Algebra , 4:31--39, 1974

    work page 1974

  38. [38]

    Loring W. Tu. Introductory Lectures on Equivariant Cohomology , volume 204 of Ann. of Math. Studies . Princeton Univ. Press, 2020

    work page 2020

  39. [39]

    Wiemeler

    M. Wiemeler. On circle actions with exactly three fixed points. J. Fixed Point Theory Appl. , 27(3):Paper No. 79, 12 pp., 2025

    work page 2025

  40. [40]

    S. Y. Wen and J. Ma. Number of fixed points for unitary T^ n-1 -manifold. Front. Math. China , 14(4):819--831, 2019

    work page 2019