Pith. sign in

REVIEW 2 major objections 5 minor 23 references

On the homology description of equivariant unoriented bordism groups

T0 review · 2 major / 5 minor · reviewed 2026-08-05 · deepseek-v4-flash

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

Pith's one-line read Equivariant bordism dimension formula proven for all n

desk verdict A clean chain-complex framework yields a closed dimension formula for the equivariant unoriented bordism group in the n+1 case, but the main theorem leans on an unproved detection criterion from an overlapping-author preprint. read the letter →

arxiv 2508.11841 v2 pith:SMI3S2NX submitted 2025-08-15 math.AT

Bo Chen , Zhi Lü This is my paper · ORCID
classification math.AT MSC 55N2255M3557R8557R9118G40
keywords equivariantbordismunorienteduniversalcomplexdoublespectralsequencefaithfulrepresentationisolatedfixedpoints$\mathbb{Z}_2^n$-actions
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper determines, for every $n$, the size of the group of unoriented bordism classes of $(n+1)$-dimensional closed manifolds with effective $\mathbb{Z}_2^n$-actions whose fixed points are isolated. It constructs a chain complex $\mathfrak{B}$ from the universal complex $X(\mathbb{Z}_2^n)$ and proves $\mathcal{Z}_{n+1}(\mathbb{Z}_2^n)\cong H_{n-2}(\mathfrak{B};\mathbb{Z}_2)$. The main result is an explicit closed formula for the dimension of this group over $\mathbb{Z}_2$, together with a differential condition that detects exactly which faithful representations occur as tangent representations at fixed points. If correct, this settles a case that had been open for $m\ge n\ge 3$ except for small values.

What carries the argument

The central object is the chain complex $\mathfrak{B}$, the total complex of a double complex whose basis elements are faithful tensors $[\sigma_p]\otimes\sigma_q$ built from an equivalence relation on simplices in $X(\mathbb{Z}_2^n)$ and the augmented simplicial chain complex of $X(\mathbb{Z}_2^n)$. The dual map $D$ assigns to each faithful $(n+1)$-dimensional representation $\tau=\rho_0\rho_1\cdots\rho_n$ an element $[\alpha_1,\ldots,\alpha_{p+1}]\otimes\{\alpha_{p+2},\ldots,\alpha_n\}$ in $\mathfrak{B}_{n-2}$; $D$ is an isomorphism. The boundary $\partial_{n-2}$ encodes the parity and character conditions of [14]: a polynomial lies in the image of $\phi$ iff its dual is a cycle. The spect

What would settle it

Compute the dimension of $\mathcal{Z}_{n+1}(\mathbb{Z}_2^n)$ by constructing an explicit basis of fixed-data polynomials for $n=3$ (the formula predicts 32) and $n=4$ (predicts 3,177) using the [14] criterion; a mismatch would refute the theorem. Alternatively, find a nonzero class in the $E_2$ page that survives to $E_3$ but does not contribute to homology, contradicting the claimed collapse.

Watch

Extended reading notes

Core claim

The central discovery is a dual description of the detection criterion of [14]: a polynomial $f$ in faithful $(n+1)$-dimensional representations belongs to the image of $\phi_{n+1}$ iff the boundary of its dual $D(f)$ vanishes. The dual map $D$ sends each faithful representation $\tau=\rho_0\rho_1\cdots\rho_n$ to a basis element $[\alpha_1,\ldots,\alpha_{p+1}]\otimes\{\alpha_{p+2},\ldots,\alpha_n\}$ of $\mathfrak{B}_{n-2}$, and $D$ is an isomorphism onto $\mathfrak{B}_{n-2}$. Since the image of $\phi_{n+1}$ is exactly the kernel of the boundary, the equivariant unoriented bordism group coincides with $H_{n-2}(\mathfrak{B};\mathbb{Z}_2)$. The double complex structure expresses $\mathfrak{B}$

Load-bearing premise

The paper relies on an imported detection criterion from another work by the same authors without proving it; if that criterion is wrong, the main results fail.

Editorial extensions

If this is right

  • For every positive $n$, the dimension of $\mathcal{Z}_{n+1}(\mathbb{Z}_2^n)$ over $\mathbb{Z}_2$ is given by an explicit finite sum; the table yields 32 for $n=3$, 3,177 for $n=4$, and 719,164 for $n=5$.
  • Membership in the image of $\phi_{n+1}$ can be decided by the homology condition $\partial_{n-2}D(f)=0$, giving a computable algebraic answer to the tangent-representation problem in the case $m=n+1$.
  • Because $\mathfrak{B}$ has nontrivial homology only in degree $n-2$, the entire equivariant bordism group in this bidegree is encoded in links of the universal complex $X(\mathbb{Z}_2^n)$.
  • The spectral-sequence collapse at $E_3$ means the dimension formula is obtained by counting link sphere-wedges and two differential ranks, rather than by constructing manifolds.
  • Combined with the injectivity of $\phi_{n+1}$, the homology isomorphism determines the full $\mathbb{Z}_2$-vector space structure of $\mathcal{Z}_{n+1}(\mathbb{Z}_2^n)$.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • Extension: the same dualization for $m=n+2$ would require organizing all bases contained in $n+1$ of the $n+2$ factors of a faithful representation; the main obstacle is combinatorial, since the equivalence relations among such bases grow with $n$.
  • Extension: because the homology of $\mathfrak{B}$ is assembled from links of simplices of $X(\mathbb{Z}_2^n)$, the dimension formula may be re-derivable as an evaluation of the matroid's $h$-vector or Tutte polynomial, connecting the bordism count to enumerative matroid invariants.
  • Extension: the paper leaves problem (P3) open; a natural test is whether every class in $\ker\partial_{n-2}$ can be represented by a small cover or a generalized real Bott manifold for all $n$, as happens in the case $m=n$.
  • Extension: a direct check for $n=4$ with explicitly constructed geometric generators would provide independent confirmation of the dimension formula beyond the spectral-sequence computation.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 5 minor

Summary. The paper studies the equivariant unoriented bordism groups Z_{n+1}(Z_2^n) for smooth closed manifolds with effective Z_2^n-actions and isolated fixed points. It constructs a chain complex B as the total complex of a double complex built from the universal complex X(Z_2^n) and a quotient complex D of simplex classes. A duality map D from the span of faithful (n+1)-dimensional representations to B_{n-2} is defined and proved to be an isomorphism (Proposition 3.4). The main structural result, Theorem 1.1 (Theorem 4.10), asserts that a faithful polynomial f lies in Im phi_{n+1} iff ∂_{n-2}D(f)=0. This is derived from the LLS detection method imported from [14, Theorem A] (Theorem 4.1). It yields the isomorphism Z_{n+1}(Z_2^n) ≅ H_{n-2}(B;Z_2) (Theorem 1.2). A spectral sequence associated with the double complex is then used to compute the dimension of H_{n-2}(B;Z_2), giving the closed-form formula in Theorem 1.3. The paper reproduces the known value 32 for n=3.

Significance. If the main results are correct, they determine the previously open dimension of Z_{n+1}(Z_2^n) for every n and provide a computable chain-complex model for these bordism groups. The construction of B, the duality map, and the development of the spectral sequence are original and mostly carefully executed; Proposition 2.2, Proposition 3.4, and Lemma 5.1 are proved in detail, and the final formula matches the known n=3 value. The main caveat is that the central characterization of Im phi_{n+1} is not proved in this paper: it is imported from the overlapping-author preprint [14]. The homology description and dimension formula are therefore conditional on an external, not independently verified result. This dependency must be addressed before the results can be considered established.

major comments (2)
  1. [Section 4.1, Theorem 4.1] Theorem 4.1 is stated as [14, Theorem A] and no proof is supplied. This theorem is the essential input to Theorem 4.10, Corollary 4.11, and hence Theorems 1.2 and 1.3: if [14, Theorem A] has a gap, the main results of this paper collapse. Since [14] is an arXiv preprint with overlapping authorship, the dependency is not merely bibliographic. Please either include a proof of Theorem 4.1 or explicitly present the main theorems as conditional on [14, Theorem A] and provide a verification of that result.
  2. [Section 5.2, Proposition 5.2] The assertion that d2 is surjective and that the spectral sequence degenerates at E3 is stated as 'a direct consequence of Lemma 5.1' without the actual argument. To justify the claim, one must show that for each class [c] ∈ E^2_{-1,n-2} = coker d1, the element y produced by Lemma 5.1 has dv(y)=0 and dh(y)=dv(x), so that d2([y])=[c]; one must also check that all higher differentials vanish once E3 is reached. This is likely true, but the proof needs to be written out because Proposition 5.3 and Theorem 1.3 depend on this collapse.
minor comments (5)
  1. [Lemma 4.2] The statement says τ ∈ F_{n−1}, but τ has n+1 factors and should be in F_{n+1}. Please correct the subscript.
  2. [Theorem 1.3] The displayed formula includes 'A1 = 0, A0,1 = 0', but these quantities are not defined in the surrounding text and are not used in the formula. Please clarify or remove them.
  3. [Notation] The symbol D is used both for the chain complex D = {D_p, d^D_p} of Section 2 and for the duality map D: \bar F_{n+1} → B_{n-2} introduced in Section 3. This creates confusion in places such as Theorem 4.10; a different symbol for one of these objects would help.
  4. [Theorem 1.3 and Section 5.1(B)] The product terms such as '(2n − 2p+j+1)' are ambiguous; comparing with the surrounding formulas, they should be typeset as 2^n − 2^{p+j+1}. The same issue appears in the definition of A_{p,n} in Theorem 1.3.
  5. [Proposition 5.3] The proposition says the chain complex B has nontrivial homology only in degree n−2, but Example 2.4 for n=1 says the homology vanishes everywhere. Please phrase the exceptional degree carefully, or state the n=1 case separately.

Circularity Check

1 steps flagged · score 4.0 of 10

Load-bearing self-citation: the LLS detection criterion [14, Thm A] is imported unproved from an overlapping-author preprint; Theorem 1.1 is its dual restatement, making Theorems 1.2-1.3 conditional on it, though the homology and dimension computations are new.

  1. self citation load bearing [Section 4.1 (Theorem 4.1); Section 4.4 (proof of Theorem 4.10); Introduction (citation of [14])]
    "Theorem 4.1 ([14, Theorem A]). Let A ⊆ Fn+1 be nonempty. Then the following statements are equivalent. (1) P τ∈A τ ∈ Im ϕn+1. (2) ... |Aρ,i| ≡ 0 (mod 2), and if χρ(Aρ,i) = 2, then for any nontrivial element β ∈ Hom(Zn2, Z2), P τ∈Aρ,i χβ(τ) ≡ 0 (mod 2). ... Proof of Theorem 4.10: By Theorem 4.1, Propositions 4.8 and 4.9, the following statements are equivalent to each other."

    The paper's Theorem 1.1 (restated as Theorem 4.10) derives the membership criterion f ∈ Im φn+1 iff ∂n−2D(f) = 0 by importing Theorem 4.1 from the overlapping-author preprint [14] (Li–Lü–Shen). Theorem 4.1 is never reproved here; it is the sole link from algebra to equivariant bordism. Propositions 4.8–4.9 translate Theorem 4.1's parity and χβ conditions into the ∂D = 0 condition, so Theorem 4.10 is a dual restatement of the imported criterion. Since Theorem 1.2 and the exact sequence (4.4) follow formally from Theorem 4.10, any gap in [14] propagates to the central claims. The citation is load-bearing and not independent of the present authors.

full rationale

The paper constructs the double complex B and the duality D in Sections 2–3 with self-contained proofs (e.g., Proposition 3.4), and Section 5 contains independent computations: the spectral sequence collapse (Lemma 5.1, Proposition 5.2), the shellability input from the external reference [2], and a self-contained proof of the link-bouquet formula (B). These parts are internally consistent and do not reduce by construction to the paper's conclusions. The circularity concern is concentrated in the pivotal Theorem 4.10 (= Theorem 1.1): its only route to equivariant bordism is Theorem 4.1, which is cited as '[14, Theorem A]' from the overlapping-author preprint Li–Lü–Shen. Since Propositions 4.8–4.9 show the ∂D=0 condition is equivalent to Theorem 4.1's parity/χβ conditions, the paper's solution of (P1) is a dual reformulation of its coauthors' prior criterion. The stated limitation that the paper cannot determine generators of H_{n−2}(B) (end of Section 1) is not a circularity, and no fitted-parameter or definitional circularity appears. Because the homology description and the dimension formula rest on substantial independent spectral-sequence work, the self-citation is load-bearing but the central claim retains independent content.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The central claim rests on established theorems in equivariant bordism (Stong), the LLS detection criterion from an overlapping-author preprint, and standard facts about the universal complex X(Z_2^n). No numerical parameters are fitted to data. The chain complex B, the equivalence relation sim, and the dual map D are constructions defined in the paper, not externally postulated entities.

assumptions (5)
  • domain assumption Stong's theorem: phi_* : Z_*(Z_2^n) to R_*(Z_2^n) is a monomorphism (Stong [23]).
    Used implicitly to identify Z_{n+1}(Z_2^n) with Im phi_{n+1} (Section 1 and Corollary 4.11).
  • domain assumption LLS detection method: Theorem 4.1 from [14] characterizes Im phi_{n+1} by parity conditions on sim_rho equivalence classes.
    Imported in Section 4.1 and used to prove Theorem 4.10, the dual formulation.
  • domain assumption Universal complex X(Z_2^n) is shellable and links of simplices have homology wedges of spheres of counts A_{p,n} ([2], [3]).
    Used in Section 5.1 to compute E^1_{p,q}; a proof sketch for the link formula is included.
  • domain assumption Representation algebra R_*(Z_2^n) is isomorphic to Z_2[Hom(Z_2^n, Z_2)] ([16], [18]).
    Background used in Section 3 to identify faithful representations as monomials.
  • standard math Standard convergence of the spectral sequence of a bounded double complex over Z_2.
    Invoked in Proposition 5.3; standard homological algebra (Rotman [20]).

how reviews work

0 comments
Cite this review

Pith. "Pith review of On the homology description of equivariant unoriented bordism groups." pith.science (2026). https://pith.science/paper/SMI3S2NX

@misc{pith2026250811841,
  author       = {Pith},
  title        = {Pith review of: On the homology description of equivariant unoriented bordism groups},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/SMI3S2NX}},
  note         = {Machine review of arXiv:2508.11841}
}
abstract

We construct a chain complex $\mathfrak{B}$ based on a double complex derived from the universal complex $X(\mathbb{Z}_2^n)$. It is shown that $\mathfrak{B}$ has a nontrivial homology only in degree $n-2$, which is isomorphic to the equivariant unoriented bordism group $\mathcal{Z}_{n+1}(\mathbb{Z}_2^n)$ of all $(n+1)$-dimensional smooth closed $\mathbb{Z}_2^n$-manifolds with isolated fixed points. By analyzing the spectral sequence of $\mathfrak{B}$, we derive a dimension formula for $\mathcal{Z}_{n+1}(\mathbb{Z}_2^n)$ as a $\mathbb{Z}_2$-vector space, which agrees with a recent result for $n=3$.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

23 extracted references · 23 canonical work pages

  1. [14]

    H. Li, Z. L¨ u and Q.F. Shen, Equivariant geometric bordism, representations and labelled graphs. arXiv:2501.06565

    work page Pith review arXiv

  2. [2]

    Barali´ c, A

    D. Barali´ c, A. Vavpetiˇ c and A. Vuˇ ci´ c,Universal Complexes in Toric Topology, Results Math. 78 (2023), no. 6, Paper No. 218, 30 pp

    work page 2023

  3. [1]

    S. Basu, G. Mukherjee and S. Sarkar, Some computations in equivariant cobordism in relation to Milnor manifolds , Topology Appl. 172 (2014), 1–9

    work page 2014

  4. [3]

    Bj¨ orner,Shellable and Cohen-Macaulay partially ordered sets , Trans

    A. Bj¨ orner,Shellable and Cohen-Macaulay partially ordered sets , Trans. Amer. Math. Soc. 260 (1980), 159–183

    work page 1980

  5. [4]

    Bj¨ orner, Homology and shellability of matroids and geometric lattices , Matroid appli- cations, Encyclopedia Math

    A. Bj¨ orner, Homology and shellability of matroids and geometric lattices , Matroid appli- cations, Encyclopedia Math. Appl., vol 40, Cambridge University Press, Cambridge, 1992, 226–283

    work page 1992

  6. [5]

    B. Chen, Z. L¨ u and Q. B. Tan, Equivariant geometric bordisms and universal complexes . Proc. Am. Math. Soc. 153 (2025), 2687–2699

    work page 2025

  7. [6]

    P. E. Conner, Differentiable periodic maps, volume 738 of Lecture Notes in Math. Springer- Verlag, Berlin-Heidelberg, second edition, 1979

    work page 1979

  8. [7]

    P. E. Conner and E. E. Floyd, Differentiable periodic maps, Ergebnisse Math. Grenzgebiete, N. F., Bd. 33, Springer-Verlag, Berlin, 1964

    work page 1964

Show all 23 references
  1. [8]

    Davis and Tadeusz Januszkiewicz, Convex polytopes, Coxeter orbifolds and torus actions, Duke Math

    Michael W. Davis and Tadeusz Januszkiewicz, Convex polytopes, Coxeter orbifolds and torus actions, Duke Math. J. 62(1991), no. 2, 219–242

    1991

  2. [9]

    tom Dieck, Characteristic numbers of G-manifolds I , Invent

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

    1971

  3. [10]

    Goresky, R

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

    1998

  4. [11]

    Y. X. Guan and Z. L¨ u,Equivariant bordism classification of five-dimensional (Z2)3-manifolds with isolated fixed points . Math. Z. 311 (2025), no. 2, Paper No. 28

    2025

  5. [12]

    Wilberd van der Kallen, Homology stability for linear groups , Invent. Math. 60 (1980), no. 3, 269–295

    1980

  6. [13]

    Kosniowski and R

    C. Kosniowski and R. E. Stong, ( Z2)k-actions and characteristic numbers , Indiana Univ. Math. J. 28 (1979), 723–743

    1979

  7. [15]

    L¨ u,2-torus manifolds, cobordism and small covers , Pacific J

    Z. L¨ u,2-torus manifolds, cobordism and small covers , Pacific J. Math. 241 (2009), 285–308

    2009

  8. [16]

    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. Notices, 2014 (2014), no. 24, 6756–6797

    2014

  9. [17]

    Mukherjee, Equivariant cobordism of Grassmann and flag manifolds

    G. Mukherjee, Equivariant cobordism of Grassmann and flag manifolds . Proc. Indian Acad. Sci. (Math. Sci.), 105 (1995), no. 4, 381–391

    1995

  10. [18]

    Mukherjee and P

    G. Mukherjee and P. Sankaran, Elementary abelian 2-group actions on flag manifolds and applications. Proc. Am. Math. Soc. 126 (1998), no. 2, 595–606

    1998

  11. [19]

    Quillen, Homotopy properties of the poset of non-trivial p-subgroups of a group

    D. Quillen, Homotopy properties of the poset of non-trivial p-subgroups of a group . Advances in Math. 28 (1978), 101-128

    1978

  12. [20]

    Rotman, An Introduction to Homological Algebra , 2nd edition, Universitex, Springer, New York, 2009

    Joseph J. Rotman, An Introduction to Homological Algebra , 2nd edition, Universitex, Springer, New York, 2009

    2009

  13. [21]

    Sankaran and K

    P. Sankaran and K. Varadarajan, Group actions on flag manifolds and cobordism , Canad. J. Math. 45 (1993), no. 3, 650–661. 26 BO CHEN AND ZHI L ¨U

    1993

  14. [22]

    Stanley, Decompositions of rational convex polytopes , Ann

    Richard P. Stanley, Decompositions of rational convex polytopes , Ann. Discrete Math. 6 (1980), 333–342

    1980

  15. [23]

    R. E. Stong, Equivariant bordism and Zk 2 -actions, Duke Math. J. 37 (1970), 779–785. School of Mathematics and Statistics, Huazhong University of Science and Tech- nology, Wuhan, China Email address : bobchen@hust.edu.cn School of Mathematical Science, Fudan University, Shang...

    1970

Pith tools

Reviewed August 5, 2026 · model on record in the stance chip above.