REVIEW 4 major objections 4 minor 34 references
An application of the hit problem to the algebraic transfer
T0 review · 4 major / 4 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read For four variables, the algebraic transfer is injective at every degree of the form $2^{s+t}+2^s-3$ or $2^{s+t}+2^s-2$.
desk verdict Strong computational claims about Singer's conjecture for the fourth transfer, but the proof relies on unverified inputs and contains a concrete index error; needs independent recomputation before the formulas can be trusted. 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 carrying machinery is the hit problem for the four-variable polynomial algebra. Each monomial has a weight vector recording the binary digits of its exponents, and the quotient $QP_4$ splits, as a vector space, into pieces $QP_4(\omega)$ indexed by weight vectors. The paper uses explicit admissible-monomial bases for every piece relevant to $d_{s,t}$ and $n_{s,t}$, and tests $GL_4$-invariance by first solving the easier $\Sigma_4$-symmetry equations $\rho_j(f)+f\equiv 0$ and then imposing the remaining generator $\rho_4$ in that basis. The squaring operation is used to pass from the $n$-family to the $d$-family, so the bulk of the proof is computing invariant classes in the two weight pieces for the $d$-family.
What would settle it
At degree $d_{3,1}=21$, Theorem 1.2 predicts $\dim(QP_4)^{GL_4}_{21}=0$, while a previously published claim asserted dimension $1$; an independent computer calculation over $\mathbb F_2$ of the $GL_4$-invariant subspace in that degree would settle which value is correct.
Extended reading notes
Core claim
The paper's central claim is Theorems 1.2 and 1.4: for all positive integers $s,t$, the space $(QP_4)^{GL_4}_{d_{s,t}}$ has dimension $0$, $1$, or $2$ according to the cases listed in (1.2), and $(QP_4)^{GL_4}_{n_{s,t}}$ has dimension $0$, $1$, $2$, or $3$ according to (1.3). These numbers coincide with the known dimensions of the image of the fourth cohomological algebraic transfer, assembled from earlier computations in (1.1), so equality of dimensions forces the transfer to be injective at these degrees. The paper further asserts that many previously published dimension formulas for these degrees are seriously wrong, and it gives explicit corrected values, such as $\dim(QP_4)^{GL_4}_{d_{3,1}}=0$ rather than $1$.
Load-bearing premise
The argument stands on the completeness and correctness of the imported admissible-monomial bases for the four-variable hit problem and on the exactness of hundreds of stated congruences; if any one is wrong, the dimension formulas can change.
Editorial extensions
If this is right
- For every positive $s,t$, the fourth algebraic transfer is injective at internal degrees $d_{s,t}$ and $n_{s,t}$, making the dimensions in (1.2) and (1.3) exact.
- The proof produces explicit spanning sums for the invariant spaces, so future computations at adjacent degrees have concrete candidate generators.
- Several published dimension claims at these degrees are replaced by the corrected values, for instance $d_{3,1}$ has dimension $0$ rather than $1$, and $n_{s,4}$ has dimension $3$ rather than $2$ for $s\ge 5$.
- Within the two families, the known failure of surjectivity for $k\ge 4$ does not obstruct injectivity, because the invariant space and the transfer image have the same finite dimension at these degrees.
Reading between the lines
- Editorial extension: the same explicit weight-vector strategy could be applied to the remaining generic degree shapes (1.4) and (1.5), which the paper identifies as the last families needed for the full $k=4$ conjecture.
- The dimension jumps in the formulas, such as moving from $1$ to $2$ when $s$ reaches $4$, likely reflect binary-carry regions of the weight-vector decomposition; testing adjacent degrees would show whether the pattern is governed by the binary lengths of $s$ and $t$.
- The explicit invariant sums found here could serve as machine-checkable certificates: independently verifying the listed congruences would certify the theorem without redoing the entire case analysis.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the mod-2 Singer algebraic transfer for k=4 at the generic internal degrees d_{s,t}=2^{s+t}+2^s-3 and n_{s,t}=2^{s+t}+2^s-2. Working in the polynomial algebra P_4=F_2[x_1,x_2,x_3,x_4] with the standard action of the Steenrod algebra, the author computes, for every positive s,t, the dimensions of the GL_4-invariant subspaces of QP_4 in these degrees. The main results, Theorems 1.2 and 1.4, assert explicit dimension formulas (1.2) and (1.3); together with previously known descriptions of the image of the cohomological transfer assembled in (1.1), these imply Corollary 1.6: Singer's conjecture holds for the fourth transfer in these two families of degrees. The proofs proceed by choosing weight-vector pieces of QP_4, importing admissible-monomial bases from the author's earlier work [27,28], then solving the congruences rho_i(f)+f=0 in those pieces. The paper also states that several earlier results of Phúc are false and gives explicit counterexamples.
Significance. If the computation is correct, the paper is a substantial advance: Singer's conjecture for k=4 has been open, and the paper would establish injectivity of the fourth transfer in two infinite families of internal degrees. The dimension formulas are explicit, the candidate invariant classes are exhibited, and the comparison with known Ext dimensions in (1.1) provides a nontrivial external check that is not used as an input. The paper also performs a useful service by identifying errors in the published work of Phúc. Its main weakness is that the central content is a massive hand computation: the bases are imported from the author's own 240-page preprint, hundreds of coefficient lists are asserted without machine verification, and no code or certificate is supplied. Given the internal inconsistency found in Theorem 4.1.3, independent verification of the computation is needed before the claims can be accepted.
major comments (4)
- [§4.1, Theorem 4.1.3] The statement of Theorem 4.1.3 is not consistent with its proof. For t>=5 the theorem prints zeta_{t,1}=psi_{1,t}(xi_{t,0})+b_{t,30}+b_{t,40}+b_{t,41}, but the proof ends with f equiv lambda_0(psi_{1,t}(xi_{t,0})+q_{t,4}), and Lemma 4.1.6 defines q_{t,4}=b_{t,39}+b_{t,40}+b_{t,41}. Thus the statement uses b_{t,30} where the proof uses b_{t,39}. The theorem heading also says GL5 instead of GL4. Since this subcase feeds into Theorem 1.4 for s=1, the proof text as written is not internally consistent, and the same kind of index error in any of the hundreds of displayed congruences would be invisible to a reader.
- [§3.1, beginning of each subsection] The admissible-monomial bases of QP_4(omega) are imported wholesale from the author's papers [27,28] (for example, the lists a_{s,j} in §3.1.4, the lists ~a_{s,j} in §3.3, and the lists b_{s,j} in §4.3). The dimension formulas (1.2) and (1.3), and therefore Corollary 1.6, depend on every displayed monomial in every one of these lists being correct. No re-derivation, no certificate, and no machine-checkable verification is supplied, and the single error in Theorem 4.1.3 shows that manual inspection is not sufficient to catch mistakes in this material.
- [§3.2–§4.3, proofs of Propositions 3.1.9, 3.2.1, 3.3.1 and Theorem 4.3.1] Many load-bearing steps are asserted as 'by computing rho_4(f)+f' with only the final coefficient list displayed. These congruences are not machine-checked, and a single missing or extra monomial can change the dimension of the GL_4-invariant subspace. Since the paper's main claim is precisely a dimension formula, the reader needs a reproducible way to check these computations; at present the only check is the author's hand computation, which the b_{t,30}/b_{t,39} inconsistency shows cannot be taken at face value.
- [§4.3.4, proof of Theorem 4.3.9] The conclusion that dim(QP_4)^{GL_4}_{n_{s,t}}=3 for s>=5, t>=4 rests on the assertion that the three explicit classes [zeta_{t,s}], [delta_{t,s}], [chi_{t,s}] are linearly independent. No proof of this linear independence is given, and it is not evident from the displayed long sums of monomials. In light of the index error in Theorem 4.1.3, an unproved assertion of this kind cannot be accepted without a concrete verification.
minor comments (4)
- [§3.2, proof of Theorem 3.2.1] In the cases s=2,3,4 the phrase 'by Proposition 3.1.4' should presumably be 'by Proposition 3.1.1'; Proposition 3.1.4 concerns QP_4((3)|s|(2)), not QP_4((3)|s).
- [Lemma 3.3.5] In the sentence 'we need only to prove M^{Sigma_4}_{t,s}=<[~p_{s,u}] : 7 <= t <= 13>', the index t is already used as a global parameter; the range should be over u, not t.
- [Theorem 4.1.3] The heading 'GL5' should read 'GL4'; the entire paper concerns the fourth transfer and the group GL_4.
- [§3.1.4 and §4.3] The paper would benefit from precise pointers into [27,28] for each imported basis list; at present the reader must locate the relevant statements inside a 240-page preprint without section or theorem references.
Circularity Check
No circular derivation: the GL4-invariant dimensions are computed explicitly from weight-vector bases and compared with independent Ext computations; self-citations supply background hit-problem bases, not the conjecture being tested.
full rationale
The paper's central claims are the dimension formulas (1.2) and (1.3) for the GL4-invariant subspace of QP4 at degrees d_{s,t} and n_{s,t}. These are proved by decomposing QP4 into weight-vector pieces QP4(omega), importing admissible-monomial bases from the author's earlier Peterson hit problem papers [27, 28], and then solving the explicit linear systems rho_i(f)+f ≡_omega 0 that characterize GL4-invariance. The imported bases are parameter-free published results about the hit problem in four variables; they do not assume Singer's conjecture or the dimension formulas being proved, so under the evaluation rules they count as independent support rather than circular input. The Ext-side dimensions in (1.1) are assembled from Singer, Chon-Ha, Ha, Hung-Quynh, Nam, Adem, Tangora and Lin, again independent of the present computation. No quantity is fitted to the target dimensions, and no step uses the conjecture or Corollary 1.6 as an assumption: Remarks 3.1.13 and 3.3.2 only observe that some statements in Phuc's papers would be predictions under the conjecture, and Remark 1.5's equivalence is not used to derive Theorems 1.2 and 1.4. There is a visible internal inconsistency in Theorem 4.1.3 (the statement writes b_{t,30} while the proof via Lemma 4.1.6 gives b_{t,39}+b_{t,40}+b_{t,41}, and the heading says GL5 instead of GL4). This is a serious correctness and verification concern, but it is not circularity: it does not make the output equal to an input by construction. Overall, the derivation chain is self-contained relative to prior published hit-problem computations and independent Ext calculations, with no circular step identified.
Assumptions & free parameters
assumptions (5)
- domain assumption Complete correctness of the admissible-monomial bases for QP_4(ω) imported from [27, 28] for all weight-vector pieces used in Sections 3 and 4.
- domain assumption The direct-sum decomposition of (QP_4)_m into weight-vector pieces, e.g., (QP_4)_{d_{s,t}} ≅ QP_4((3)|s|(2)|t-1) ⊕ QP_4((3)|s-1|(1)|t+1), with the GL-action handled via Proposition 2.4's inequality.
- domain assumption The identification of Im((φ*_4)_m) in equation (1.1) from the cited literature (Singer [22], Chơn and Hà [7], Hà [8], Hưng and Quỳnh [10], Nam [14], Adem [2], Tangora [33], Lin [12]).
- standard math GL_4 is generated by the symmetric group Σ_4 and the single transvection ρ_4, so GL-invariance is checked by Σ_4-invariance plus ρ_4-invariance.
- standard math Singer's criterion for hit monomials (Theorem 2.8) and Wood's theorem are correct as cited.
Cite this review
Pith. "Pith review of An application of the hit problem to the algebraic transfer." pith.science (2026). https://pith.science/paper/3ADL2FZ2
@misc{pith2026250523218,
author = {Pith},
title = {Pith review of: An application of the hit problem to the algebraic transfer},
year = {2026},
howpublished = {\url{https://pith.science/paper/3ADL2FZ2}},
note = {Machine review of arXiv:2505.23218}
}
abstract
Let $P_k$ be the polynomial algebra $\mathbb F_2[x_1,x_2,\ldots ,x_k]$ over the field $\mathbb F_2$ with two elements, in $k$ variables $x_1, x_2, \ldots , x_k$, each variable of degree 1. Denote by $GL_k$ the general linear group over $\mathbb F_2$ which regularly acts on $P_k$. The algebra $P_k$ is a module over the mod-2 Steenrod algebra $\mathcal A$. In 1989, Singer [22] defined the $k$-th homological algebraic transfer, which is a homomorphism $$\varphi_k=(\varphi_k)_m :{\rm Tor}^{\mathcal A}_{k,k+m} (\mathbb F_2,\mathbb F_2) \to (\mathbb F_2\otimes_{\mathcal A}P_k)_m^{GL_k}$$ from the homological group of the mod-2 Steenrod algebra $\mbox{Tor}^{\mathcal A}_{k,k+m} (\mathbb F_2,\mathbb F_2)$ to the subspace $(\mathbb F_2\otimes_{\mathcal A}P_k)_m^{GL_k}$ of $\mathbb F_2{\otimes}_{\mathcal A}P_k$ consisting of all the $GL_k$-invariant classes of degree $m$. In general, the transfer $\varphi_k$ is not a monomorphism and Singer made a conjecture that $\varphi_k$ is an epimorphism for any $k \geqslant 0$. The conjecture is studied by many authors. It is true for $k \leqslant 3$ but unknown for $k \geqslant 4$. In this paper, by using the results of the Peterson hit problem for the polynomial algebra in four variables, we prove that Singer's conjecture for the fourth algebraic transfer is true in the families of generic degrees $d_{s,t} = 2^{s+t}+2^s-3$ and $n_{s,t}=2^{s+t}+2^s-2$ with $s,\, t$ positive integers. Our results also show that many of the results in Ph\'uc [16,17,18] are seriously false. The proofs of the results in Ph\'uc's works are only provided for a few special cases but they are false and incomplete.
Reference graph
Works this paper leans on
-
[1]
Adams, On the non-existence of elements of Hopf invariant one, Ann
J.F. Adams, On the non-existence of elements of Hopf invariant one, Ann. of Math. 72 (1960), 20-104, MR0141119
work page 1960
-
[2]
Adem,The iteration of the Steenrod squares in algebraic topology, Proc
J. Adem,The iteration of the Steenrod squares in algebraic topology, Proc. Nat. Acad. Sci. U.S.A. 38 (1952), 720-726, MR0050278
work page 1952
-
[3]
Boardman,Modular representations on the homology of power of real projective space, in: M
J.M. Boardman,Modular representations on the homology of power of real projective space, in: M. C. Tangora (Ed.), Algebraic Topology, Oaxtepec, 1991, in: Contemp. Math., vol. 146, 1993, pp. 49-70, MR1224907
work page 1991
-
[4]
R.R. Bruner, L.M. Hà and N.H.V. Hưng,On behavior of the algebraic transfer, Trans. Amer. Math. Soc. 357 (2005), 473-487, MR2095619
work page 2005
-
[5]
P.H. Chơn and L.M. Hà,Lambda algebra and the Singer transfer, C. R. Math. Acad. Sci. Paris 349 (2011) 21-23, MR2755689
work page 2011
-
[6]
P.H. Chơn and L.M. Hà,On May spectral sequence and the algebraic transfer, Manuscripta Math. 138 (2012) 141-160, MR2898751
work page 2012
-
[7]
P. H. Chơn and L. M. Hà, On the May spectral sequence and the algebraic transfer II, Topology Appl. 178 (2014) 372-383, MR3276753
work page 2014
-
[8]
Proceedings of the International School and Conference in Algebraic Topology, Hà Nội 2004
L.M. Hà,Sub-Hopf algebras of the Steenrod algebra and the Singer transfer, “Proceedings of the International School and Conference in Algebraic Topology, Hà Nội 2004”, Geom. Topol. Monogr., Geom. Topol. Publ., Coventry, vol. 11 (2007), 81-105, MR2402802
work page 2007
Show all 34 references
-
[9]
Hưng, The cohomology of the Steenrod algebra and representations of the general linear groups, Trans
N.H.V. Hưng, The cohomology of the Steenrod algebra and representations of the general linear groups, Trans. Amer. Math. Soc. 357 (2005), 4065-4089, MR2159700
2005
-
[10]
Hưng and V
N.H.V. Hưng and V. T. N. Quỳnh,The image of Singer’s fourth transfer,C. R. Math. Acad. Sci. Paris 347 (2009) 1415-1418, MR2588792
2009
-
[11]
Thesis, The Johns Hop- kins University, ProQuest LLC, Ann Arbor, MI, 1990
M.Kameko, Products of projective spaces as Steenrod modules, PhD. Thesis, The Johns Hop- kins University, ProQuest LLC, Ann Arbor, MI, 1990. 29 pp. MR2638633
1990
-
[12]
Lin, Ext 4,∗ A (Z/2, Z/2) and Ext5,∗ A (Z/2, Z/2), Topology Appl., 155 (2008) 459-496, MR2380930
W.H. Lin, Ext 4,∗ A (Z/2, Z/2) and Ext5,∗ A (Z/2, Z/2), Topology Appl., 155 (2008) 459-496, MR2380930
2008
-
[13]
Minami, The iterated transfer analogue of the new doomsday conjecture, Trans
N. Minami, The iterated transfer analogue of the new doomsday conjecture, Trans. Amer. Math. Soc. 351 (1999) 2325-2351, MR1443884
1999
-
[14]
T.N.Nam, Transfert algébrique et action du groupe linéaire sur les puissances divisées modulo 2, Ann. Inst. Fourier (Grenoble) 58 (2008) 1785-1837, MR2445834
2008
-
[15]
Peterson, Generators of H∗(RP∞× RP∞) as a module over the Steenrod algebra, Abstracts Amer
F.P. Peterson, Generators of H∗(RP∞× RP∞) as a module over the Steenrod algebra, Abstracts Amer. Math. Soc. No. 833 (1987) 55-89
1987
-
[16]
Phúc,The affirmative answer to Singer’s conjecture on the algebraic transfer of rank four, Proc
Đ.V. Phúc,The affirmative answer to Singer’s conjecture on the algebraic transfer of rank four, Proc. R. Soc. Edinb., Sect. A 153 (2023) 1529–1542, MR4638620
2023
-
[17]
Phúc,On Singer’s conjecture for the fourth algebraic transfer in certain generic degrees, Journal of Homotopy and Related Structures (2024) 19:431–473
Đ.V. Phúc,On Singer’s conjecture for the fourth algebraic transfer in certain generic degrees, Journal of Homotopy and Related Structures (2024) 19:431–473
2024
-
[18]
Phúc, On the algebraic transfers of ranks 4 and 6 at generic degrees, Rendiconti del Circolo Matematico di Palermo Series 2 (2025) 74:38
Đ.V. Phúc, On the algebraic transfers of ranks 4 and 6 at generic degrees, Rendiconti del Circolo Matematico di Palermo Series 2 (2025) 74:38
2025
-
[19]
Phúc, On the fifth Singer algebraic transfer in a generic family of internal degree characterized byµ(n) = 4, J
Đ.V. Phúc, On the fifth Singer algebraic transfer in a generic family of internal degree characterized byµ(n) = 4, J. Pure Appl. Algebra 228 (2024) 107658
2024
-
[20]
On the fifth Singer algebraic transfer in a generic family of internal degree characterized byµ(n) = 4
Đ.V. Phúc,Retraction notice to “On the fifth Singer algebraic transfer in a generic family of internal degree characterized byµ(n) = 4”, J. Pure Appl. Algebra 229 (2025) 107873
2025
-
[21]
Proceedings of the International School and Conference in Algebraic Topology, Hà Nˆ ọi 2004
V. T. N. Quỳnh,On behavior of the fifth algebraic transfer, “Proceedings of the International School and Conference in Algebraic Topology, Hà Nˆ ọi 2004”, Geom. Topol. Monogr., Geom. Topol. Publ., Coventry, vol. 11 (2007), 309-326, MR2402811
2007
-
[22]
Singer, The transfer in homological algebra , Math
W.M. Singer, The transfer in homological algebra , Math. Zeit. 202 (1989) 493-523, MR1022818
1989
-
[23]
W. M. Singer,On the action of the Steenrod squares on polynomial algebras, Proc. Amer. Math. Soc. 111 (1991), 577-583, MR1045150
1991
-
[24]
N. E. Steenrod and D.B.A. Epstein,Cohomology operations, Annals of Mathematics Studies 50, Princeton University Press, Princeton N.J (1962), MR0145525
1962
-
[25]
Sum, The negative answer to Kameko’s conjecture on the hit problem, Adv
N. Sum, The negative answer to Kameko’s conjecture on the hit problem, Adv. Math. 225 (2010), 2365-2390, MR2680169
2010
-
[26]
Sum,On the Peterson hit problem of five variables and its applications to the fifth Singer transfer, East-West J
N. Sum,On the Peterson hit problem of five variables and its applications to the fifth Singer transfer, East-West J. of Mathematics, 16 (2014) 47-62, MR3409252. AN APPLICATION OF THE HIT PROBLEM 83
2014
-
[27]
Sum,The hit problem for the polynomial algebra of four variables, Preprint, 2014, 240 pp., available online at https://arxiv.org/abs/1412.1709
N. Sum,The hit problem for the polynomial algebra of four variables, Preprint, 2014, 240 pp., available online at https://arxiv.org/abs/1412.1709
2014 arXiv
-
[28]
Sum,On the Peterson hit problem, Adv
N. Sum,On the Peterson hit problem, Adv. Math. 274 (2015) 432-489, MR3318156
2015
-
[29]
Sum,On the determination of the Singer transfer, Vietnam Journal of Science, Technology and Engineering, 60 (2018), no
N. Sum,On the determination of the Singer transfer, Vietnam Journal of Science, Technology and Engineering, 60 (2018), no. 1, 3-16. Correction: https://arxiv.org/abs/1710.07895v2
2018 arXiv
-
[30]
Sum, The squaring operation and the Singer algebraic transfer, Vietnam J
N. Sum, The squaring operation and the Singer algebraic transfer, Vietnam J. Math. 49 (2021) 1079-1096, MR4319539
2021
-
[31]
Sum,Determination of the fifth Singer algebraic transfer in some degrees, East-West J
N. Sum,Determination of the fifth Singer algebraic transfer in some degrees, East-West J. Math., 25 (2024), no. 2, pp. 84-120, MR4858429
2024
-
[32]
Sum,A counter-example to Singer’s conjecture for the algebraic transfer
N. Sum,A counter-example to Singer’s conjecture for the algebraic transfer. Preprint 2024, available online at: http://arxiv.org/abs/2408.06669
2024 arXiv
-
[33]
M. C. Tangora,On the cohomology of the Steenrod algebra, Math. Zeit. 116 (1970), 18-64. MR0266205
1970
-
[34]
Wood, Steenrod squares of polynomials and the Peterson conjecture, Math
R.M.W. Wood, Steenrod squares of polynomials and the Peterson conjecture, Math. Proc. Cambriges Phil. Soc. 105 (1989), 307-309, MR0974986. Department of Mathematics and Applications, Sài Gòn University, 273 An Dương Vương, District 5, Hồ Chí Minh city, Viet Nam Email address: ...
1989
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.