Pith. sign in

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 →

arxiv 2505.23218 v1 pith:3ADL2FZ2 submitted 2025-05-29 math.AT

classification math.AT MSC 55S1055S0555T15
keywords Steenrodsquarespolynomialalgebraalgebraictransferhitproblemmodularrepresentationgenerallineargroupadmissiblemonomialsweightvectors
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 tries to settle a piece of a long-standing conjecture about the algebraic transfer, a map from $GL_k$-invariant classes in a quotient of the polynomial algebra to the cohomology of the mod-2 Steenrod algebra. For four variables and the two infinite families of degrees $d_{s,t}=2^{s+t}+2^s-3$ and $n_{s,t}=2^{s+t}+2^s-2$, it proves explicit dimension formulas for the degree-$m$ invariant subspace of $QP_4$. Those dimensions exactly match the previously computed dimensions of the image of the transfer, so the transfer is a monomorphism at every degree in the two families. If correct, this gives the first verified infinite families for $k=4$, where the conjecture was previously open, and it corrects several published dimension claims for these same degrees.

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.

Watch

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 extensions of the paper, not claims the author makes directly.

  • 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.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

4 major / 4 minor

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)
  1. [§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.
  2. [§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. [§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. [§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)
  1. [§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).
  2. [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.
  3. [Theorem 4.1.3] The heading 'GL5' should read 'GL4'; the entire paper concerns the fourth transfer and the group GL_4.
  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

0 steps flagged · score 2.0 of 10

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 0 free parameters · 5 assumptions · 0 invented entities

The central claim rests on imported bases from the author's published hit-problem computations, the standard GL_4 generation fact, and published Ext computations. There are no free parameters, no fitted values, and no newly postulated mathematical objects. The invariant classes ξ, ζ, δ, χ, θ constructed in the paper are concrete sums of monomials in the existing polynomial algebra, not invented entities.

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.
    Cited as 'Following [28, 27]' at the start of Sections 3.1.1, 3.1.2, 3.1.3, 3.1.4, 3.2, 3.3, 4.1, 4.2 and 4.3. The bases are not reproved, and the author's own admission of errors in [29] shows that imported computations in this area can fail.
  • 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.
    Taken from [28]. Proposition 2.4 states an inequality rather than equality for GL-invariants of the summands, and the proofs in Sections 3 and 4 handle this by explicitly constructing the invariant elements and then filtering arbitrary invariants through Σ_4 and ρ_4.
  • 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]).
    This identification is what makes the dimension theorems 'equivalent' to the monomorphism claim at the target degrees. If any listed image dimension were wrong, the equivalence would fail, though the dimension computations themselves would stand.
  • 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.
    Used implicitly throughout, e.g., in the proofs of Propositions 3.1.1, 3.1.4, 3.1.9 and Theorems 3.2.1, 4.3.1, where invariance under ρ_j for 1 ≤ j ≤ 4 is imposed.
  • standard math Singer's criterion for hit monomials (Theorem 2.8) and Wood's theorem are correct as cited.
    The criterion is used to identify admissible monomials in the bases imported from [28]. These are established published results.

how reviews work

0 comments
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.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

34 extracted references · 34 canonical work pages

  1. [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

  2. [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

  3. [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

  4. [4]

    Bruner, L.M

    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

  5. [5]

    Chơn and L.M

    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

  6. [6]

    Chơn and L.M

    P.H. Chơn and L.M. Hà,On May spectral sequence and the algebraic transfer, Manuscripta Math. 138 (2012) 141-160, MR2898751

  7. [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

  8. [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

Show all 34 references
  1. [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

  2. [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

  3. [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

  4. [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

  5. [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

  6. [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

  7. [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

  8. [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

  9. [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

  10. [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

  11. [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

  12. [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

  13. [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

  14. [22]

    Singer, The transfer in homological algebra , Math

    W.M. Singer, The transfer in homological algebra , Math. Zeit. 202 (1989) 493-523, MR1022818

  15. [23]

    W. M. Singer,On the action of the Steenrod squares on polynomial algebras, Proc. Amer. Math. Soc. 111 (1991), 577-583, MR1045150

  16. [24]

    N. E. Steenrod and D.B.A. Epstein,Cohomology operations, Annals of Mathematics Studies 50, Princeton University Press, Princeton N.J (1962), MR0145525

  17. [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

  18. [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

  19. [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

  20. [28]

    Sum,On the Peterson hit problem, Adv

    N. Sum,On the Peterson hit problem, Adv. Math. 274 (2015) 432-489, MR3318156

  21. [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

  22. [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

  23. [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

  24. [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

  25. [33]

    M. C. Tangora,On the cohomology of the Steenrod algebra, Math. Zeit. 116 (1970), 18-64. MR0266205

  26. [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: ...

Pith tools

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