Pith. sign in

REVIEW 2 major objections 4 minor 32 references

In the degree family 27·2^d − 5, the paper determines the rank-five Steenrod cohit module exactly and proves the fifth Singer transfer is an isomorphism.

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 · deepseek-v4-flash

2026-08-01 14:14 UTC pith:3VJUODRA

load-bearing objection A serious, exact computation at the rank-five frontier; the main vulnerability is the absence of executable code for the large linear algebra, not the math itself. the 2 major comments →

arxiv 2607.20566 v1 pith:3VJUODRA submitted 2026-07-21 math.AT

The rank-five Peterson hit problem, the fifth Singer transfer, and a geometric generator in unoriented cobordism

Dang Vo Phuc This is my paper
classification math.AT MSC 55S1055T1557R7513A50
keywords Peterson hit problemSteenrod algebraKameko homomorphismSinger transfermodular invariantsunoriented cobordismMilnor hypersurfaceStiefel-Whitney number
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.

This paper solves the rank-five Peterson hit problem — identifying the redundant monomials in the five-variable polynomial algebra over the mod-2 Steenrod algebra — in the infinite family of degrees 27·2^d − 5. In degree 49, exact sparse elimination over F_2 yields a 2856-dimensional cohit quotient, with the weight-(3,3,2,2,1) summand, of dimension 1891, shown to be exactly the kernel of Kameko's squaring operation; this corrects earlier published numbers. The same family carries a one-dimensional GL(5,F_2)-invariant line whose dual maps isomorphically under the fifth Singer transfer to a known fifth-line Ext class. On the geometric side, the Milnor hypersurface H_{2,48} is proven to generate the degree-49 unoriented cobordism quotient, while the paper establishes that this geometric generator is not the functional dual of the algebraic invariant, since its tautological homology class is not annihilated by Steenrod squares.

Core claim

The core result is an exact computation of the rank-five cohit module in the degree family N_d = 27·2^d − 5. In degree 49, sparse elimination over F_2 gives a 2856-dimensional quotient whose six weight summands have dimensions 1891, 280, 25, 5, 480, and 175; the first summand, weight (3,3,2,2,1), is exactly the kernel of Kameko's squaring operation. Kameko periodicity propagates this to every d ≥ 1. The GL(5,F_2)-fixed line is one-dimensional, generated by a 283-term polynomial, and the fifth Singer transfer maps its dual to the fifth-line Ext class h_{d+4}f_{d−1}, an isomorphism. The paper also proves that the Milnor hypersurface H_{2,48} generates the degree-49 unoriented cobordism indecom

What carries the argument

The argument is carried by three mechanisms: exact sparse Gaussian elimination over F_2 on the 292,825 monomials of degree 49 in five variables (reducing 927,041 nonzero columns to hit rank 289,969); Kameko's squaring map, whose isomorphism range is governed by a numerical criterion on binary digit sums and which makes the weight-(3,3,2,2,1) summand the full kernel; and the invariant-line computation by intersecting the kernels of the five standard GL(5,F_2) generators on the weight summand. On the geometric side, the Milnor hypersurface H_{2,48} with its tangential Newton class s_{49}(TH_{2,48}) provides the characteristic-number detection of the cobordism indecomposable.

Load-bearing premise

The paper's conclusions rest on the correctness and completeness of a large computer calculation over the two-element field; a single error anywhere in that calculation would change the central dimension and isomorphism claims.

What would settle it

Re-run the elimination on the 292,825 degree-49 monomials with an independent implementation: if the hit rank is not exactly 289,969, or if the weight-(3,3,2,2,1) summand is not exactly the Kameko kernel of dimension 1891, the central claims collapse. Separately, recomputing the parity of the tangential Stiefel–Whitney number ⟨s_{49}(T H_{2,48}), [H_{2,48}]⟩ would settle the geometric generator claim.

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

If this is right

  • Every degree in the family N_d = 27·2^d − 5 has rank-five cohit dimension 2856, not 3053, and the Kameko kernel in degree 49 has dimension 1891, not 1178.
  • The fifth Singer cohomological transfer is an isomorphism from the one-dimensional invariant line in degree N_d to Ext^{5,5+N_d}_A(F_2,F_2), identifying the dual generator with h_{d+4}f_{d−1}.
  • The Milnor hypersurface H_{2,48} is an explicit geometric generator of the degree-49 unoriented cobordism indecomposables, and the same calculation shows H_{16,34} and H_{18,32} also represent the class.
  • The geometric generator and the Steenrod-theoretic invariant line are distinct: the tautological fundamental class of H_{2,48} is not annihilated by Sq^2_*.
  • The corrected cohit dimension changes the rank-raising dimension formula to (2^6 − 1) · 2856 = 179,928 in the relevant range.

Where Pith is reading between the lines

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

  • If the same sparse-elimination method is applied to the next generic families of degrees, the pattern 'Kameko kernel equals one weight summand' may generalize, giving a route to higher-rank hit problems beyond degree 49.
  • The paper's obstruction — the tautological class of H_{2,48} failing to be A-annihilated — suggests that any geometric realization of Singer's transfer will require additional bundle data beyond the two defining line bundles; the Sq^2_* computation gives a concrete test for such constructions.
  • Because the transfer maps the invariant line to the fifth-line Adams class h_{d+4}f_{d−1}, the exact values here can be cross-checked against independently computed Ext-groups, offering a way to validate the certificate without re-running the full elimination.
  • The distinctness of the cobordism generator and the algebraic invariant line, despite both being one-dimensional in degree 49, underscores that the Peterson hit problem and unoriented cobordism, though linked by Steenrod operations, do not coincide at the level of explicit generators.

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

2 major / 4 minor

Summary. The paper studies the rank-five Peterson hit problem in the family N_d = 27·2^d−5. It reports an exact computation in degree 49: among 292,825 monomials, sparse elimination gives hit rank 289,969 and cohit dimension 2,856, with weight-block dimensions 1891, 280, 25, 5, 480, 175. It proves (assuming the computation) that the weight-(3,3,2,2,1) block is exactly the kernel of Kameko's map, corrects dimension claims in [28], and identifies a unique GL(5,F_2)-fixed line generated by a 283-term polynomial ζ. Using this, it proves that the fifth Singer cohomological transfer is an isomorphism in the family. On the geometric side, it computes dim N_49 = 5692, proves that the Milnor hypersurface H_{2,48} represents the nonzero indecomposable class via ⟨s_49(T H_{2,48}), [H_{2,48}]⟩=1, and shows that the tautological map to BV_5 sends the fundamental class to a homology class with nonzero Sq^2_*, so the geometric generator is not the functional dual of ζ.

Significance. If the computational results are correct, the paper settles the rank-five hit problem in an infinite family, gives the first exact Kameko-kernel and invariant data at this degree, and connects the hit problem to unoriented cobordism through an explicit geometric generator. The hand-checkable parts are sound: the binomial arithmetic, the Kameko weight argument, the characteristic-number computation, the Sq^2_* computation, and the Hilbert–Poincaré recursion all check out. The paper also ships substantial data: complete basis lists for all six weight blocks, the 283-term ζ, and Zenodo logs. These are real strengths. However, the central rank and fixed-space computations are only certified by logs and appendix tables, not by re-runnable code, so the main numerical claims rest on a verification gap rather than an independent certificate.

major comments (2)
  1. [§3.2, Proposition 3.3 and §4.1, Theorem 4.1] The exact values rank(A^+P_5)_49 = 289969, the six weight dimensions, and the unique GL(5,F_2)-fixed line are load-bearing for Theorem 3.4, Corollary 3.5, and Theorem 4.3. The manuscript provides basis lists in Appendix A and output logs at Zenodo, but no executable code with a fixed version/commit. A single pivot error, transcription error in a basis vector, or bug in the simultaneous-kernel intersection would change the cohit dimensions, the Kameko kernel, the invariant line, and the transfer theorem. This is not an identified error, but it is a reproducibility gap in the central claim. Please supply the scripts or a small verifier that checks that the listed basis vectors are a complete set of survivors and that ρ_i(ζ)+ζ ∈ A^+P_5.
  2. [§4.3, Theorem 4.3] The proof of nonvanishing of the fifth transfer relies on the assertion that the rank-one transfer detects h_{d+4}, the fourth transfer detects f_{d−1}, and that multiplicativity of the total Singer transfer gives h_{d+4}f_{d−1} in rank five. This is cited to [23] and [14], but the precise multiplicative property and how it applies to the functional dual of [ζ_d] are not stated. Since the value of φ^A_5(ζ_d^∨) is essential to the isomorphism claim, please give the exact theorem/formula being invoked (with page or theorem number) and spell out the degree check.
minor comments (4)
  1. [§3.2] The source counts for Sq^1 and Sq^16 are 270725 and 66045, while the nonzero columns are 250250 and 66020. The deficits 20475 and 25 are zero images; a one-sentence explanation would help.
  2. [Appendix A.1] The section is titled 'Data and code availability' but only logs are described. Please clarify whether the executable SageMath/OSCAR scripts are available, and if so, where and with what version/commit.
  3. [§5.2, Theorem 5.2] The phrase 'after choosing ξ_49 so that its indecomposable class is represented by H_{2,48}' is informal; since (QN_*)_49 is one-dimensional, it would be cleaner to say that [H_{2,48}] generates the quotient.
  4. [§2.1] The use of Singer's criterion to restrict admissible weights to ω_1 ∈ {3,5} is correct but very brief; the parity observation that ω_1 ≡ degree (mod 2) could be stated explicitly.

Circularity Check

0 steps flagged

No significant circularity: the main computations are independent certificates, and the only self-citation supplies an external degree-22 datum rather than a fitted prediction.

full rationale

Proposition 3.3 is an exact sparse-elimination certificate with explicit monomial counts, six weight-summand dimensions, and archived logs/basis lists; it is not derived from the claims it supports. Theorem 3.4 identifies the Kameko kernel by the weight interpretation of Kameko's map and by surjectivity plus rank-nullity. The one imported value, dim(QP5)_22 = 965, is taken from the same author's separate prior degree-22 computation [17]; it is an external published datum for a different degree, not a fit or a definitional identity, and the degree-49 cohit space is computed independently. Theorem 4.1 computes the GL(5,F2)-fixed line by an explicit simultaneous-kernel intersection on the already constructed basis. Theorem 4.3 compares the resulting one-dimensional source with the independently computed Lin/Chen fifth-line Ext target and uses established transfer detection and multiplicativity; no target value is fed back into the source computation. The geometric results in Section 5 compute the Stiefel-Whitney number from Newton classes and Lucas parity and compute Sq^2_* from first principles. No prediction is a renamed parameter, and no uniqueness theorem from the authors' prior work is used to force a choice. The absence of executable code with a commit hash is a reproducibility/verifiability concern, not circularity.

Axiom & Free-Parameter Ledger

0 free parameters · 6 axioms · 0 invented entities

The central claims rest on standard theorems (Kameko, Singer, Thom/Milnor, external Ext computations) and on the correctness of the paper's own computer algebra outputs. No new free parameters or invented entities are introduced; the family N_d is a chosen domain, not a fitted parameter.

axioms (6)
  • domain assumption Kameko's isomorphism theorem: (fSq^0_*) is an isomorphism in degree 2m+s when µ(2m+s)=s
    Used in Section 2.2 and Lemma 3.1/Corollary 3.2 to reduce the family to degree 49; standard theorem from the literature.
  • domain assumption Singer's criterion: if z is the minimal spike of degree n, then any monomial of smaller weight is hit
    Used in Section 2.1 to restrict admissible weights in degree 49 to the six listed blocks.
  • domain assumption dim(QP_5)_22 = 965 (from Phuc [17])
    Used in Theorem 3.4 rank-nullity argument to show the Kameko kernel is exactly the weight-(3,3,2,2,1) block; this is an external computation from the author's prior work.
  • domain assumption Lin [9] and Chen [5]: Ext^{5,5+N_d}_A = F_2{h_{d+4} f_{d-1}} for d≥1 and 0 for d=0
    Used in Theorem 4.3 to identify the target of the fifth transfer as one-dimensional; external Ext calculations.
  • domain assumption Singer's transfer is multiplicative and detects h_j and fourth-line f_j classes
    Used in Theorem 4.3 to conclude φ_5 is nonzero; cited to Singer [23] and Nam [14].
  • standard math Thom/Milnor theorem: N_* ≅ F_2[ξ_n | n≠2^r−1]
    Used in Proposition 5.1 for the Hilbert-Poincaré series of unoriented cobordism.

pith-pipeline@v1.3.0-alltime-deepseek · 60469 in / 26529 out tokens · 208989 ms · 2026-08-01T14:14:17.231960+00:00 · methodology

0 comments
read the original abstract

The Peterson hit problem seeks a minimal set of generators for the polynomial algebra $P_s = \mathbb{F}_2[x_1,\dots,x_s]$ as an unstable module over the mod-2 Steenrod algebra $\mathcal{A}$. For rank five, general admissible bases fail, and the interplay between Kameko periodicity and modular invariants becomes computationally complex. In this paper, we study the rank-five cohit module in the generic family $N_d = 27\cdot 2^d - 5$. Exact sparse elimination in degree $49$ processes $292825$ monomials, yielding a hit rank of $289969$ and a cohit dimension of $2856$. We determine the exact weight summands and prove that the weight-$(3,3,2,2,1)$ summand is exactly the kernel of Kameko's operation, with dimension $1891$. These exact values systematically correct the corresponding rank-five kernel and dimension assertions in Nguyen Khac Tin's previous paper. An exact invariant calculation shows that the general linear group invariants in degree $49$ form a one-dimensional space generated by a $283$-term polynomial, and we prove that the fifth Singer cohomological transfer is an isomorphism in this family. Geometrically, the Hilbert-Poincare series of the unoriented cobordism ring gives the dimension of the degree-$49$ cobordism group as $5692$. We prove that the Milnor hypersurface $H_{2,48} \subset \mathbb{R}P^2 \times \mathbb{R}P^{48}$ represents the unique nonzero indecomposable class by computing a tangential Stiefel-Whitney number, providing an explicit geometric generator. However, the evident map from $H_{2,48}$ to the classifying space $B(\mathbb{Z}/2)^5$ sends its fundamental class to a homology class with nonzero $Sq^2_*$. Consequently, this geometric generator cannot be identified with the functional dual of the algebraic invariant, establishing a precise boundary between the Steenrod-theoretic invariant line and the geometric cobordism generator.

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

32 extracted references · 16 canonical work pages · 3 internal anchors

  1. [1]

    Agarwal, J

    S. Agarwal, J. Grbi´ c, M. Intermont, M. Jovanovi´ c, E. Lagoda, and S. Whitehouse,Steenrod operations on polyhedral products, Topology and its Applications376(2025), article 109446. doi:10.1016/j.topol.2025.109446

    arXiv 2025

  2. [2]

    M. F. Atiyah,Bordism and cobordism, Mathematical Proceedings of the Cambridge Philosophical Society57 (1961), no. 2, 200–208. doi:10.1017/S0305004100035064

    doi:10.1017/s0305004100035064 1961

  3. [3]

    R. R. Bruner and J. Rognes,The cohomology of the mod2Steenrod algebra, arXiv:2109.13117v2 [math.AT] (2022). doi:10.48550/arXiv.2109.13117

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.2109.13117 2022

  4. [4]

    Equivariant Milnor map

    M. Campillo, Y. Guan, Z. L¨ u, and B. Uribe,Equivariant Milnor map, arXiv:2606.12697v1 [math.AT] (2026), 27 pp. doi:10.48550/arXiv.2606.12697

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.2606.12697 2026

  5. [5]

    T. W. Chen,Determination ofExt 5,∗ A (Z/2,Z/2), Topology and its Applications158(2011), no. 5, 660–689. doi:10.1016/j.topol.2011.01.002

    work page doi:10.1016/j.topol.2011.01.002 2011

  6. [6]

    Dold,Erzeugende der Thomschen AlgebraN, Mathematische Zeitschrift65(1956), 25–35

    A. Dold,Erzeugende der Thomschen AlgebraN, Mathematische Zeitschrift65(1956), 25–35. doi:10.1007/BF01473868

    work page doi:10.1007/bf01473868 1956

  7. [7]

    N. H. V. Hung and L. X. Truong,The Singer transfer for infinite real projective space, Forum Mathematicum 34(2022), no. 6, 1433–1462. doi:10.1515/forum-2021-0245

    work page doi:10.1515/forum-2021-0245 2022

  8. [8]

    Kameko,Products of projective spaces as Steenrod modules, Ph.D

    M. Kameko,Products of projective spaces as Steenrod modules, Ph.D. thesis, Johns Hopkins University, Balti- more, 1990, 29 pp.; MR2638633

    1990

  9. [9]

    W. H. Lin, Ext 4,∗ A (Z/2,Z/2)andExt 5,∗ A (Z/2,Z/2), Topology and its Applications155(2008), no. 5, 459–496. doi:10.1016/j.topol.2007.11.003

    work page doi:10.1016/j.topol.2007.11.003 2008

  10. [10]

    Lin,Noncommutative Gr¨ obner bases andExtgroups, Peking Mathematical Journal8(2025), no

    W. Lin,Noncommutative Gr¨ obner bases andExtgroups, Peking Mathematical Journal8(2025), no. 3, 481–501. doi:10.1007/s42543-023-00080-6

    work page doi:10.1007/s42543-023-00080-6 2025

  11. [11]

    Luecke,A conceptual derivation of the dual Steenrod algebra, Journal of Homotopy and Related Structures 21(2026), no

    K. Luecke,A conceptual derivation of the dual Steenrod algebra, Journal of Homotopy and Related Structures 21(2026), no. 1, 107–116. doi:10.1007/s40062-025-00391-8

    work page doi:10.1007/s40062-025-00391-8 2026

  12. [12]

    J. W. Milnor,On the cobordism ringΩ ∗ and a complex analogue, Part I, American Journal of Mathematics 82(1960), no. 3, 505–521. doi:10.2307/2372970

    doi:10.2307/2372970 1960

  13. [13]

    J. W. Milnor,On the Stiefel–Whitney numbers of complex manifolds and of spin manifolds, Topology3(1965), 223–230. doi:10.1016/0040-9383(65)90055-8

    work page doi:10.1016/0040-9383(65)90055-8 1965

  14. [14]

    T. N. Nam,A-g´ en´ erateurs g´ en´ eriques pour l’alg` ebre polynomiale, Advances in Mathematics186(2004), no. 2, 334–362. doi:10.1016/j.aim.2003.08.004

    doi:10.1016/j.aim.2003.08.004 2004

  15. [15]

    F. P. Peterson,A-generators for certain polynomial algebras, Mathematical Proceedings of the Cambridge Philosophical Society105(1989), no. 2, 311–312. doi:10.1017/S0305004100067803

    doi:10.1017/s0305004100067803 1989

  16. [16]

    D. V. Phuc,The “hit” problem of five variables in the generic degree and its application, Topology and its Applications282(2020), article 107321. doi:10.1016/j.topol.2020.107321

    arXiv 2020

  17. [17]

    D. V. Phuc,On Peterson ’s open problem and representations of the general linear groups, Journal of the Korean Mathematical Society58(2021), no. 3, 643–702. doi:10.4134/JKMS.j200219. THE RANK-FIVE PETERSON HIT PROBLEM 29

    work page doi:10.4134/jkms.j200219 2021

  18. [18]

    D. V. Phuc,On the mod-2 cohomology of the product of the infinite lens space and the space of invariants in a generic degree, arXiv:2408.07485v7 [math.AT] (2024), 36 pp. doi:10.48550/arXiv.2408.07485

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.2408.07485 2024

  19. [19]

    D. V. Phuc,Computational data for the hit problem of five variables and the fifth cohomological transfer in degree 22, Zenodo dataset, v1.0 (2025). doi:10.5281/zenodo.17597277

    work page doi:10.5281/zenodo.17597277 2025

  20. [20]

    D. V. Phuc,Computational data for the hit problem of five variables and the fifth cohomological transfer in degree 49, Zenodo dataset, v1.0 (2025). doi:10.5281/zenodo.17597839

    work page doi:10.5281/zenodo.17597839 2025

  21. [21]

    D. V. Phuc and N. Sum,On the generators of the polynomial algebra as a module over the Steenrod algebra, Comptes Rendus Math´ ematique353(2015), no. 11, 1035–1040. doi:10.1016/j.crma.2015.09.002

    doi:10.1016/j.crma.2015.09.002 2015

  22. [22]

    Sum,On the Peterson hit problem, Advances in Mathematics274(2015), 432–489

    N. Sum,On the Peterson hit problem, Advances in Mathematics274(2015), 432–489. doi:10.1016/j.aim.2015.01.010

    work page doi:10.1016/j.aim.2015.01.010 2015

  23. [23]

    W. M. Singer,The transfer in homological algebra, Mathematische Zeitschrift202(1989), no. 4, 493–523. doi:10.1007/BF01221587

    doi:10.1007/bf01221587 1989

  24. [24]

    W. M. Singer,On the action of the Steenrod squares on polynomial algebras, Proceedings of the American Mathematical Society111(1991), no. 2, 577–583. doi:10.2307/2048351

    work page doi:10.2307/2048351 1991

  25. [25]

    R. E. Stong,Notes on Cobordism Theory, Mathematical Notes, Princeton University Press, Princeton, NJ,

  26. [26]

    Thom,Espaces fibr´ es en sph` eres et carr´ es de Steenrod, Annales scientifiques de l’´Ecole Normale Sup´ erieure, s´ erie 3,69(1952), 109–182

    R. Thom,Espaces fibr´ es en sph` eres et carr´ es de Steenrod, Annales scientifiques de l’´Ecole Normale Sup´ erieure, s´ erie 3,69(1952), 109–182. doi:10.24033/asens.998

    doi:10.24033/asens.998 1952

  27. [27]

    Thom,Quelques propri´ et´ es globales des vari´ et´ es diff´ erentiables, Commentarii Mathematici Helvetici28 (1954), 17–86

    R. Thom,Quelques propri´ et´ es globales des vari´ et´ es diff´ erentiables, Commentarii Mathematici Helvetici28 (1954), 17–86. doi:10.1007/BF02566923

    doi:10.1007/bf02566923 1954

  28. [28]

    N. K. Tin,On the hit problem for the Steenrod algebra in the generic degree and its applications, Revista de la Real Academia de Ciencias Exactas, F ´ ısicas y Naturales. Serie A. Matem´ aticas116(2022), no. 2, article 81. doi:10.1007/s13398-022-01221-9

    work page doi:10.1007/s13398-022-01221-9 2022

  29. [29]

    Walker and R

    G. Walker and R. M. W. Wood,Polynomials and the mod 2 Steenrod Algebra, Volume 1: The Peterson Hit Problem, London Mathematical Society Lecture Note Series 441, Cambridge University Press, Cambridge,

  30. [30]

    R. M. W. Wood,Steenrod squares of polynomials and the Peterson conjecture, Mathematical Proceedings of the Cambridge Philosophical Society105(1989), no. 2, 307–309. doi:10.1017/S0305004100067797. Department of Mathematics, FPT University, An Phu Thinh New Urban Area, Quy Nhon, Viet- nam Email address:dangphuc150488@gmail.com

    doi:10.1017/s0305004100067797 1989

  31. [1968]

    doi:10.1515/9781400879977

    doi:10.1515/9781400879977

  32. [2018]

    doi:10.1017/9781108304092

    doi:10.1017/9781108304092