REVIEW 2 major objections 4 minor 9 references
In the motivic hit problem, parity exactly classifies top-layer hits: the local image of hit elements is the even-parity hyperplane, so every odd-parity translate is non-hit.
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 →
Odd-parity sums of monotone translates of Kameko's monomial z_k are never hit by the motivic Steenrod algebra, yielding infinite Peterson-type counterexamples.
T0 review reviewed 2026-08-03 challenge →
load-bearing objection The local parity theorem is a real idea and the k=n-4 family is new, but the proof of the converse rests on an unsupported equivariance claim, and the abstract promises more than the body proves. the 2 major comments →
Local Parity and Systematic Peterson Counterexamples in the Motivic Hit Problem
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
Core claim
The paper's central claim is Theorem 3.7: for n≥2 and 1≤k<n, with d=k+2d_1 and d_1=(n−1)(2^k−1), there is a linear map ϑ sending the full degree-d piece N_n^{d,*} onto the M_1-summand V spanned by the images of the monotone translates σ(z_k), and a parity functional ε:V→F_2, such that ϑ(A^♯_+(N_n)∩N_n^{d,*})=ker(ε). In words, an element is locally hit exactly when its M_1-component has even parity. As a direct consequence, ε(ϑ(u))=1 implies u is not hit, so any sum of an odd number of distinct translates σ(z_k) is a nonzero class in the motivic hit quotient. Independently, a binary-digit calculation gives α(d+n)>n for n=2^r+1, k=n−4, r≥5, hence β(d)>n; combining the two produces infinitely m
What carries the argument
The key object is the local projection ϑ=p_{M_1}∘π∘pr_k: it first isolates the summand with exactly k exterior generators, then passes Y_n to the quotient Y_n/G_n that discards lower-weight monomials, then projects onto the M_1-basis block spanned by the π(σ(z_k)). The parity functional ε just sums the coefficients in this basis. The argument then shows the local image under the Bockstein Q_0 alone already fills the entire even-parity hyperplane: known structural input supplies one nonzero edge π(σ_1(z_k)+σ_2(z_k)) in the image, and equivariance under coordinate permutations moves that edge through the connected Johnson graph of k-subsets, producing every pairwise sum; over F_2, the span of
Load-bearing premise
The argument rests on a borrowed structural fact: in this degree, the Bockstein image contains at least one nonzero sum of two distinct M_1-basis vectors, and the projection to the M_1-summand is invariant under permuting the variables. If that fact failed, the local hit image could be strictly smaller than the even-parity hyperplane and odd parity would not by itself guarantee a non-hit class.
What would settle it
A direct check: fix n=4,k=2 and enumerate all monomials in N_n^{d−1,*} with ω_0=3; compute the local M_1-components of Q_0(z) and see whether they span the even-parity hyperplane of F_2^6 (all pairwise sums of basis vectors). The theorem predicts yes; any basis vector missing from the span would refute the parity criterion. A broader version: verify that the orbit under coordinate permutations of the known nonzero edge covers every edge of the Johnson graph J(n,k).
If this is right
- Every individual translate σ(z_k), and every sum of an odd number of distinct translates, represents a non-zero class in the motivic hit quotient.
- The local hit image in degree d=k+2(n−1)(2^k−1) is precisely a codimension-one hyperplane, so parity completely determines whether a top-layer element is hit.
- For n=2^r+1 and k=n−4 with r≥5, the degree d makes β(d)>n, yet the motivic quotient is non-zero; these form an infinite family of counterexamples to the motivic analogue of the classical triviality theorem.
- The new counterexample family sits at distance k=n−4, distinct from the previously known distance k=n−3 family, showing the phenomenon is not an isolated case.
- Base-change invariance means the same non-hit conclusions hold over any algebraically closed field of characteristic 0, and by naturality over every field of characteristic not 2.
Where Pith is reading between the lines
- The equality ϑ(hit)=ker(ε) suggests that in this distinguished degree the Bockstein alone accounts for all hit elements at the top layer, since every reduced-power word has vanishing local component; if a similar reduction occurs in adjacent degrees, parity or a generalized graph-theoretic invariant may control the hit image there too.
- The Johnson-graph mechanism is a template: whenever the local image contains all edges of a connected graph on the basis, the hit image is at least the cycle space of that graph. Testing other families of monomials under the same projection could produce parity obstructions in other degrees.
- The general arithmetic condition stated for all m≥3 (n=2^r+1, k=n−m, r≥m+α(m−3)) is asserted in the abstract; the body gives a full proof only for m=4 and relies on prior input for m=3. Proving the general inequality would extend the counterexample family to every fixed offset m.
- A testable extension is to check whether the parity criterion survives in positive characteristic p≠2, where the motivic Steenrod algebra has different relations; if it does, the obstruction is more fundamental than base-field independence.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. This paper studies the motivic hit problem for H^{*,*}(BV_n;F_2) over the mod-2 motivic Steenrod algebra. In the distinguished degree d=k+2d_1 with d_1=(n-1)(2^k-1), the author defines a local projection ϑ from N_n^{d,*} onto Kameko's M_1-summand V spanned by the monotone translates of z_k, together with a parity functional ε. The main structural theorem (Thm 3.7) asserts the exact equality ϑ(A^♯_+(N_n)∩N_n^{d,*}) = ker(ε), so that every element with odd local M_1-parity is non-hit. The paper then gives an arithmetic consequence: for n=2^r+1 and k=n-4 with r≥5, one has β(d)>n, producing a new infinite family of motivic Peterson-type counterexamples over algebraically closed fields of characteristic 0, with the parity criterion guaranteeing large families of odd-parity non-hit classes.
Significance. If the main theorem is correct, it is a substantial structural refinement of Kameko's top-layer analysis: it upgrades a containment statement for the Q_0-image to an exact parity characterization of the local hit image, and it produces many explicit non-hit odd-parity combinations rather than a single monomial. The parity functional and the Johnson-graph argument are elegant, and the binary computation for the k=n-4 family is sound as far as it goes. The paper is clearly written and makes a useful connection between the classical hit problem, Kameko's motivic construction, and explicit arithmetic families. The main risk is that the proof of the converse inclusion in Proposition 3.5, and hence of the exact equality in Theorem 3.7(1), rests on an insufficiently justified S_n-equivariance claim. The advertised scope in the abstract also exceeds what the body proves.
major comments (2)
- [Section 3.3, proof of Proposition 3.5] The converse inclusion in Prop. 3.5 is load-bearing: it is what upgrades the containment ϑ(hit)⊆ker(ε) to the exact equality in Thm 3.7(1). The proof needs every edge of the Johnson graph J(n,k) in the image, and it obtains this from the S_n-orbit of one explicit edge. The only justification for S_n-equivariance of p_{M1} is the statement that 'S_n preserves M_0, since the defining condition for membership in M_0 is that α_i(z)<k for some i.' But M_0 is never defined in the paper, and the stated condition cannot characterize Kameko's M_0: for n=4, k=3, applying the permutation (2 4 3) to z_3 gives a monomial with all α_i=3 and y-exponents (3,6,7,5), which is not a monotone translate σ(z_3) and hence not in M_1. If M_0 were characterized by the stated condition, this monomial would be in neither M_0 nor M_1, contradicting the basis property from Prop. 3.4(1). Thus the proof does not estab
- [Abstract vs. Section 4] The arXiv metadata abstract advertises a general arithmetic family: for every m≥3, set n=2^r+1 and k=n-m, and if r≥m+α(m-3), then β(d)>n, giving infinitely many counterexamples for each fixed m. It also states that the local parity theorem holds over every algebraically closed field of characteristic different from 2 and that its consequences carry to every field of characteristic different from 2. The body of the paper proves neither statement. Theorem 4.5 treats only k=n-4 (the case m=4) over algebraically closed fields of characteristic 0, and Proposition 4.3 covers only algebraically closed fields of characteristic 0. No proof is given for the general m family or for extension to arbitrary fields of characteristic ≠2. This is a substantive discrepancy between the advertised results and the theorems proved. The abstract should be narrowed, or the missing arguments supplied.
minor comments (4)
- [Section 2.3 / Definition 2.2] The notation QN^{d,*}_n is used before it is formally defined. Please add an explicit definition of QN^{d,*}_n alongside QM^{d,*}_n in Definition 2.2.
- [Section 2.4 / Section 3.1] The set M_0 is invoked throughout but never defined; only M_1 is explicitly given. Even if the definition is taken from Kameko's Proposition 4.1/5.1/5.3, the paper should state the defining condition of M_0 so that the S_n-stability claim in Prop. 3.5 can be checked.
- [Section 3.4, Lemma 3.6] The proof that a word containing a reduced power has zero image under ϑ is compressed. In particular, the sentence 'Q_0 acts only on the exterior factor and does not alter the Y_n–part' is imprecise, because Q_0(x_i)=y_i introduces a new y-variable. Since G_n is not shown to be an ideal, please explain why the final Y-factor lies in G_n after possible Q_0 substitutions. I expect this can be repaired, but the current argument is too terse.
- [Abstract (full text) vs. metadata abstract] The full-text abstract says the base-change statement is for algebraically closed fields of characteristic 0, while the metadata abstract says characteristic different from 2. These should be harmonized; the body only proves the characteristic-0 algebraically closed case.
Circularity Check
No significant circularity: the parity theorem is derived from Kameko's external structural results, a graph-connectedness argument, and an independent binary calculation; the sole self-citation is contextual.
full rationale
The paper's central equality ϑ(A♯+(Nn)∩N^{d,*})=ker(ε) is not an input or a rename. The construction of ϑ and ε depends on Kameko's basis description (Prop. 3.4(1)), but the equality is proved, not assumed. Lemma 3.6 reduces the full positive-degree Steenrod image to the Q0-image; Proposition 3.5 proves that ϑ(Q0(N^{d-1,*})) equals the span of pairwise basis sums. The converse inclusion uses an explicit edge from Kameko (Prop. 3.4(3)), S_n-equivariance, and connectedness of the Johnson graph, and Lemma 3.3 then identifies the span of pairwise sums with ker(ε). Nothing in these steps defines ε in terms of the hit image or fits a parameter to the target consequence. The arithmetic family in Theorem 4.5 is a separate calculation of α(d+n)>n and is not used to define z_k or V. The base-change argument transfers the statement by explicit presentation isomorphisms. Reference [4] (the author's own preprint) appears only in a contextual 'see, e.g.' sentence and is not used in any proof, so it is not load-bearing. The skeptic's concern about the unsupported characterization of M0 and S_n-stability of U0 is a potential gap or correctness issue in the written proof, not a circular dependency: even if that argument fails, the theorem would be unproved rather than reduced to its own conclusion. Therefore no circularity.
Axiom & Free-Parameter Ledger
axioms (4)
- domain assumption Kameko's structural propositions [3, Props 4.1, 5.1, 5.3]: π(M0∪M1) is a basis of Λ^k_n⊗(Y_n/G_n)_{2d1}; Q0-image on ω0=k+1 monomials is spanned by M0 and pairwise sums; an explicit z maps to one edge σ1(z_k)+σ2(z_k).
- domain assumption For algebraically closed fields K of characteristic 0, M_n(K) ≅ F2[τ,x_i,y_i]/(x_i^2+τ y_i) with the same Steenrod action formulas, giving an A^*-module isomorphism Φ_K:M_n(K)→M_n(C).
- standard math The mod 2 motivic Steenrod algebra actions on N_n: Q0(x_i)=y_i, Q0(y_i)=0, P^a(x_i)=0, P^1(y_i)=y_i^2, P^a(y_i)=0 for a≥2, with Cartan formulas; reduced powers leave the exterior factor unchanged.
- standard math Wood's criterion β(d)>n iff α(d+n)>n (Kameko Prop 2.1).
Cite this review
Pith. "Pith review of Local Parity and Systematic Peterson Counterexamples in the Motivic Hit Problem." pith.science (2026). https://pith.science/paper/GDC7SPP3
@misc{pith2026260200118,
author = {Pith},
title = {Pith review of: Local Parity and Systematic Peterson Counterexamples in the Motivic Hit Problem},
year = {2026},
howpublished = {\url{https://pith.science/paper/GDC7SPP3}},
note = {Machine review of arXiv:2602.00118}
}
abstract
The motivic hit problem asks for a minimal set of module generators of $H^{*,*}(BV_n;\mathbb F_2)$ over the mod~$2$ motivic Steenrod algebra. Kameko proved that the motivic Peterson-type analogue of Wood's theorem fails by constructing monomials $z_k$ which are not hit even when the corresponding topological degree may satisfy $\beta(d)>n$. His proof passes to $N_n=M_n/(\tau)$ and analyzes, in degree $d=k+2d_1$ with $d_1=(n-1)(2^k-1)$, a distinguished summand whose basis consists of the monotone translates of $z_k$. In this work, we isolate the local content of this summand before quotienting by hit elements. More precisely, we construct a linear projection \[ \vartheta:N_n^{d,*}\longrightarrow V, \] where $V$ is the $M_1$--summand spanned by the images of the monomials $\sigma(z_k)$, and define a parity functional $\epsilon:V\to\mathbb F_2$ by summing the coefficients of these basis vectors. We prove that the local image of the hit subspace is exactly the parity-zero hyperplane: \[ \vartheta\bigl(A^\sharp_+(N_n)\cap N_n^{d,*}\bigr)=\ker(\varepsilon). \] Consequently, every element whose local $M_1$--component has odd parity is non-hit, and every odd-parity linear combination of the monotone translates of $z_k$ determines a nonzero class in the motivic hit quotient. We also obtain a systematic arithmetic family. For every integer $m\ge 3$, set $n=2^r+1$ and $k=n-m$. If \[ r\ge m+\alpha(m-3), \] then the degree $d=(n-1)(2^{k+1}-2)+k$ satisfies $\beta(d)>n$. Hence, for every fixed $m\ge 3$, these classes give infinitely many motivic Peterson-type counterexamples with $k=n-m$. The local parity theorem holds over every algebraically closed field of characteristic different from $2$, and naturality under extension of the base field carries its non-hit consequences to every field of characteristic different from $2$.
Reference graph
Works this paper leans on
-
[1]
Ault,Bott periodicity in the hit problem, Math
S. Ault,Bott periodicity in the hit problem, Math. Proc. Cambridge Philos. Soc.156(2014), 545–554
2014
-
[2]
Dugger and D
D. Dugger and D. C. Isaksen,The motivic Adams spectral sequence, Geom. Topol.14(2010), 967– 1014
2010
-
[3]
Kameko,On the motivic Peterson conjecture, Homology Homotopy Appl.20(2018), 361–376
M. Kameko,On the motivic Peterson conjecture, Homology Homotopy Appl.20(2018), 361–376
2018
-
[4]
¯D.V. Ph´ uc,The Negation Of Singer’s Conjecture For The Sixth Algebraic Transfer, Preprint (2025), 23 pages, arXiv:2509.09455v6
Pith/arXiv arXiv 2025
-
[5]
W. M. Singer,The transfer in homological algebra, Math. Z.202(1989), 493–523
1989
-
[6]
Voevodsky,Reduced power operations in motivic cohomology, Publ
V. Voevodsky,Reduced power operations in motivic cohomology, Publ. Math. Inst. Hautes ´Etudes Sci.98(2003), 1–57
2003
-
[7]
Walker and R
G. Walker and R. M. W. Wood,Polynomials and the mod2Steenrod algebra. Vol. 1. The Peterson Hit Problem, London Math. Soc. Lecture Note Ser., vol. 441, Cambridge Univ. Press, 2018
2018
-
[8]
Walker and R
G. Walker and R. M. W. Wood,Polynomials and the mod2Steenrod algebra. Vol. 2. Representations ofGL(n,F 2), London Math. Soc. Lecture Note Ser., vol. 442, Cambridge Univ. Press, 2018
2018
-
[9]
R. M. W. Wood,Steenrod squares of polynomials and the Peterson conjecture, Math. Proc. Cam- bridge Philos. Soc.105(1989), 307–309. Department of Mathematics, FPT University, Quy Nhon AI Campus, An Phu Thinh New Urban Area, Vietnam Email address:dangphuc150488@gmail.com, phucdv14@fpt.edu.vn
1989
This paper was first reviewed by deepseek-v4-flash on August 3, 2026.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.