REVIEW 1 major objections 3 minor 7 references
Fixed points and semifree bordism
T0 review · 1 major / 3 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read Fixed-point data alone fixes the semifree S1 bordism ring to Z[S2]
desk verdict Short, genuinely elementary proof of a known theorem, with a new realization theorem that justifies the read; the only real issue is an under-argued injectivity step at the end. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing identity is the ABBV localization formula specialized to isolated fixed points: for an $n$-dimensional manifold, the equivariant Chern number integral vanishes for $i < n$, and after pushing forward to a point it becomes a sum over fixed points $p$ of $\sigma_p (-1)^{q(p)} C_i(q(p))$, where $\sigma_p$ is the orientation sign, $q(p)$ is the number of $\bar{t}$ summands in the tangent representation, and $C_i(j)$ is the $i$-th elementary symmetric polynomial in $n-j$ ones and $j$ minus-ones. Rewriting $C_i(j)$ as a polynomial in $j$ converts these constraints into moment equations on the signed multiplicities $m_j$. Their coefficient matrix is a Vandermonde matrix, whose invertibility is what rigidly fixes $m_j = \binom{n}{j} m_0$; that rigidity is the mechanism that forces the whole bordism ring to be generated by one class, $[S^2]$.
What would settle it
Look for a compact, oriented, stably complex, semifree $S^1$-manifold with isolated fixed points whose signed fixed-point multiplicities are not $m_j = \binom{n}{j} m_0$, or for two non-bordant such manifolds with identical isotropy data. The first would contradict the Vandermonde argument directly; the second would violate the injectivity assumption the proof relies on.
Extended reading notes
Core claim
The central claim, stated as Theorem 14, is that semifree abstract isotropy data—a finite set of signs and $n$-dimensional $S^1$-representations $V_p$ of the form $V_j = t^{\oplus(n-j)} \oplus \bar{t}^{\oplus j}$—is realizable by a compact, oriented, stably complex, semifree $S^1$-manifold with isolated fixed points exactly when it satisfies the ABBV identities (6). The proof shows the identities are equivalent to the system $\sum_j (-1)^j m_j j^i = 0$ for $0 \le i \le n-1$, where $m_j$ is the signed count of fixed points whose tangent representation is $V_j$. Because the coefficient matrix is, up to sign, a Vandermonde matrix, the unique solution is $m_j = \binom{n}{j} m_0$, and $m_0$ disjoint copies of $(S^2)^n$ together with nullbordant spheres $S(V_j \oplus \mathbb{R})$ realize any prescribed signs and multiplicities. Injectivity of the geometric bordism ring into the ring of abstract isotropy data then identifies the coefficient ring with the image $\mathbb{Z}[t + \bar{t}] = \mathbb{Z}[S^2]$, which is Theorem 1.
Load-bearing premise
The load-bearing premise is that fixed-point data are a complete invariant up to bordism: if two manifolds could carry identical isotropy data without being bordant, then realizing the data would not pin down the bordism class, and the coefficient ring could be strictly larger than $\mathbb{Z}[S^2]$.
Editorial extensions
If this is right
- Every class in the semifree $S^1$-equivariant complex bordism ring with isolated fixed points is a polynomial in $[S^2]$, so the ring is $\mathbb{Z}[S^2]$.
- The ABBV identities are sufficient as well as necessary for semifree abstract isotropy data with isolated fixed points: every such data set occurs as the fixed-point data of an explicit disjoint union of sphere powers and nullbordant representation spheres.
- The proof also computes the semiring of isotropy data, not just the bordism ring: it is generated by $(t, \pm 1)$ and $(\bar{t}, \pm 1)$, and its Grothendieck ring is $\mathbb{Z}[t, \bar{t}]$.
- The signed fixed-point multiplicities of any such manifold are forced to be $m_j = \binom{n}{j} m_0$; no distribution of fixed-point types other than the binomial one is compatible with the vanishing Chern-number identities.
Reading between the lines
- The same linear-system strategy should apply to torus actions with a finite (but not necessarily isolated) fixed-point set, where the localization formula still holds and the fixed-point data would again satisfy a system of linear equations indexed by the characters of the isotropy representations.
- Because the computation never uses the multiplicative structure of equivariant cohomology beyond Chern classes, the method suggests that coefficient rings for other isotropy types will be controlled by the rank of an analogous Vandermonde-type matrix, not by infinite power-series data.
- A testable extension is to drop the isolated-point assumption: for semifree actions with positive-dimensional fixed submanifolds, the same pushforward formula should yield ABBV-type constraints on the restriction of the normal bundle to each fixed component, and one could ask whether those constraints are again sufficient.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies compact, oriented, stably complex, semifree S1-manifolds with isolated fixed points. For such a manifold one records, at each fixed point, the isotropy representation V_p (necessarily one of V_j = t^{⊕(n-j)} ⊕ \bar t^{⊕j}) and an orientation sign σ_p. These data form an abstract semiring, whose Grothendieck K-ring is Z[t, \bar t]. Using the Atiyah–Bott/Berline–Vergne localization formula, the author derives the ABBV identities (6), shows via a Vandermonde argument that they force the signed multiplicities m_j = \binom{n}{j} m_0, and then explicitly realizes any abstract datum satisfying these identities as the fixed-point data of a disjoint union of copies of (S^2)^n and of the nullbordant spheres S(V_j ⊕ R) (Theorem 14). The final paragraph invokes injectivity of the geometric equivariant complex bordism ring into Z[t, \bar t], citing [HO72], to conclude that the bordism ring is the polynomial ring Z[S^2], thereby recovering Sinha's theorem.
Significance. If the injectivity step is justified, this is a genuinely elegant proof-of-concept: it replaces a substantial part of Sinha's computation with an elementary Vandermonde calculation plus the standard ABBV localization formula. The derivation of (10) and the solution m_j = \binom{n}{j} m_0 is explicit, checkable, and parameter-free; Theorem 14 gives a concrete geometric realization rather than an existence statement. The paper is honest about its debts and about the cited gap in Sinha's earlier proof. The main value is methodological, as advertised: a template for computing equivariant complex cobordism rings from fixed-point data. The result itself is not new (it is Sinha's theorem), but the route is short and transparent enough to be worth publishing if the one external bridge discussed below is supplied.
major comments (1)
- [Final paragraph, after Theorem 14] The concluding isomorphism between the geometric bordism ring and Z[S^2] requires that the fixed-point-data homomorphism from the geometric bordism ring to the K-ring Z[t, \bar t] be injective. The citation [HO72, p.173] supports injectivity of the geometric bordism ring into the larger ring Ω^{U:G}_*(A,P) of equivariant bundles over G-trivial spaces, not injectivity into the quotient K-ring Z[t, \bar t] obtained by imposing the disk-bundle relations (V,+) + (V,-) = 0. The paper needs an explicit bridge: one must show that the subgroup of Ω^{U:G}_*(A,P) generated by isolated-point data injects into Z[t, \bar t], i.e. that the only relations among such data are the disk-bundle relations. Without this, a nonzero bordism class with empty or otherwise zero abstract isotropy data (for instance a non-nullbordant free stably complex S1-manifold) would make the coefficient ring strictly larger than Z[S^2]. This is a load-bearing step and should be proved or replaced by a precise citation that states exactly this quotient injectivity.
minor comments (3)
- [Derivation of (6), page 3] The sentence 'Evidently we can multiply each identity through by u^{n-i}' should read 'divide each identity by u^{n-i}' or 'read off the coefficient of u^{n-i}', since the displayed equality already contains the factor u^{n-i}.
- [Page 5, line after (13)] There is a typo: 'satisfying' is misspelled as 'satifsying' in 'any semifree abstract isotropy data satifsying (6)'.
- [Footnote 3] The note that Sinha's proof has a gap is useful, but it would be helpful to indicate whether the gap concerns Theorem 1 itself or an intermediate claim, so that the reader can assess the independence of the present proof.
Circularity Check
No significant circularity: the semifree bordism computation is self-contained apart from an external injectivity citation, which is not an input of the conclusion.
full rationale
The paper's derivation chain does not reduce to its own inputs. The ABBV identities (6) are derived from the standard Atiyah–Bott/Berline–Vergne localization formula, and the paper then solves the resulting algebraic system to obtain the signed multiplicities m_j = binom(n,j) m0. Theorem 14 realizes every abstract datum satisfying those identities by explicit manifolds: copies of (S^2)^n and the nullbordant spheres Sp(V_j ⊕ R). This part is constructive and does not presuppose Sinha's theorem. The final paragraph invokes injectivity of the geometric bordism ring into Z[t, bar t], citing [HO72, p. 173]. That is an external result, not a self-citation, and it is not derived from the conclusion being proved. A possible concern is that the cited injectivity is stated for the map into the larger regular-neighborhood ring Ω^{U:G}_*(A,P), and the paper does not spell out the bridge from that statement to injectivity into the quotient ring Z[t, bar t]; if such a bridge is missing, that is an incompleteness or correctness risk, not a circularity. No fitted parameters are renamed as predictions, no ansatz is smuggled in through self-citation, and the known result of Sinha is used only as a benchmark to be recovered. The proof's central content is therefore self-contained, and the score reflects an honest non-finding of circularity.
Assumptions & free parameters
assumptions (3)
- domain assumption The ABBV localization formula expresses equivariant Chern numbers as sums over fixed points weighted by inverse Euler class.
- domain assumption The geometric equivariant complex bordism ring injects into the ring of abstract isotropy data for compact abelian G.
- standard math The Vandermonde determinant of the moment matrix in (11) is nonzero, so the linear system is invertible.
Cite this review
Pith. "Pith review of Fixed points and semifree bordism." pith.science (2026). https://pith.science/paper/WGNMXBSU
@misc{pith2026190806906,
author = {Pith},
title = {Pith review of: Fixed points and semifree bordism},
year = {2026},
howpublished = {\url{https://pith.science/paper/WGNMXBSU}},
note = {Machine review of arXiv:1908.06906}
}
read the original abstract
We apply fixed-point techniques to compute the coefficient ring of semifree geometric circle-equivariant complex cobordism with isolated fixed points, recovering a 2004 result of Sinha through 19th-century methods.
Reference graph
Works this paper leans on
-
[1]
Michael F. Atiyah and Raoul Bott. The moment map and equivariant cohomology . Topology , 23(1):1--28, 1984. http://dx.doi.org/10.1016/0040-9383(84)90021-1 doi:10.1016/0040-9383(84)90021-1
-
[2]
Carlson, Elisheva Adina Gamse, and Yael Karshon
Jeffrey D. Carlson, Elisheva Adina Gamse, and Yael Karshon. Realization of abstract GKM isotropy data. 2018. URL: http://www.math.toronto.edu/jcarlson/realization.pdf
work page 2018
-
[3]
U -actions of a circle and fixed points
Sabir Medzhidovich Gusein-Zade. U -actions of a circle and fixed points. Izv. Math. , 5(5):1127--1143, 1971. English transl. of Izv. Ross. Akad. Nauk Ser. Mat., 35(5):1120--1136, 1971 (Russian). http://dx.doi.org/10.1070/IM1971v005n05ABEH001209 doi:10.1070/IM1971v005n05ABEH001209
-
[4]
Unitary bordism of monogenic groups and isometries
Gary Hamrick and Erich Ossa. Unitary bordism of monogenic groups and isometries. In Proceedings of the Second Conference on Compact Transformation Groups , pages 172--182. Springer, 1972. http://dx.doi.org/10.1007/BFb0070041 doi:10.1007/BFb0070041
-
[5]
Oleg Rustamovich Musin. Generators of S^1 -bordism. Math. USSR Sbornik , 44(3):325, 1983. URL: https://iopscience.iop.org/article/10.1070/SM1983v044n03ABEH000970
- [6]
-
[7]
Dev P. Sinha. Bordism of semi-free S^1 -actions. Math. Z. , 249(2):439--454, 2005. http://arxiv.org/abs/math/0303100 arXiv:math/0303100 , http://dx.doi.org/10.1007/s00209-004-0707-3 doi:10.1007/s00209-004-0707-3
work page Pith review arXiv 2005
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.