Kameko Homomorphism in Algebraic Transfer

• Kameko Homomorphism is a degree-reducing map on the indecomposable quotient QP_q that isolates new phenomena by halving shifted exponents when all are odd.
• It is used algorithmically to compute GL(q)-invariants, employing weightwise decomposition and optimized Gaussian elimination over F2.
• The method provided a counterexample to Singer’s conjecture in bidegree (6,42), highlighting its significance in modular invariant theory and the hit problem.

Searching arXiv for the cited paper and closely related work on the Kameko homomorphism and Singer transfer. The Kameko homomorphism is a homomorphism on the indecomposable quotient of a polynomial algebra over the mod-2 Steenrod algebra that serves as a central tool in the analysis of the domain of the Singer algebraic transfer. In the setting where $\mathscr A$ is the Steenrod algebra over $\mathbb F_2$ and $P_q=\mathbb F_2[x_1,\ldots,x_q]$ carries the standard unstable $\mathscr A$-action, the Kameko homomorphism relates degrees $2n+q$ and $n$ inside $QP_q=P_q/\mathcal A^{>0}\!\cdot P_q$. Its principal significance lies in reducing questions about the structure of $(QP_q)_n$, especially its $GL(q)$-invariant subspace, to questions about a kernel that captures new indecomposable phenomena in higher degree. In recent work, this mechanism is used algorithmically to compute $GL(q)$-invariants in the kernel and to disprove Singer’s conjecture in bidegree $\mathbb F_2$0 (Phuc, 11 Sep 2025).

1. Algebraic setting and relation to the Singer transfer

Let $\mathbb F_2$1 denote the mod-2 Steenrod algebra, and let $\mathbb F_2$2 be the polynomial algebra on $\mathbb F_2$3 generators with the standard unstable action of $\mathbb F_2$4. The associated indecomposable quotient is

$\mathbb F_2$5

This quotient is the algebraic object underlying the hit problem, namely the determination of minimal generators of $\mathbb F_2$6 as an $\mathbb F_2$7-module (Phuc, 11 Sep 2025).

The broader topological context is the algebraic transfer introduced by W. Singer, which connects the hit problem to the mod-2 cohomology of the Steenrod algebra,

$\mathbb F_2$8

an input to the Adams spectral sequence for stable homotopy groups of spheres (Phuc, 11 Sep 2025). In the formulation quoted in the source, the transfer is

$\mathbb F_2$9

where $P_q=\mathbb F_2[x_1,\ldots,x_q]$0 denotes the subspace of strictly primitive elements in the homology of a rank-$P_q=\mathbb F_2[x_1,\ldots,x_q]$1 elementary abelian $P_q=\mathbb F_2[x_1,\ldots,x_q]$2-group $P_q=\mathbb F_2[x_1,\ldots,x_q]$3 (Phuc, 11 Sep 2025).

A central problem is to determine the dimension of the domain of the transfer. By duality, this reduces to understanding the $P_q=\mathbb F_2[x_1,\ldots,x_q]$4-invariant subspace

$P_q=\mathbb F_2[x_1,\ldots,x_q]$5

The Kameko homomorphism is introduced precisely as a device for controlling this structure degree-by-degree (Phuc, 11 Sep 2025).

2. Definition of the Kameko homomorphism

The Kameko homomorphism is defined on graded pieces of $P_q=\mathbb F_2[x_1,\ldots,x_q]$6 by

$P_q=\mathbb F_2[x_1,\ldots,x_q]$7

with monomial action

$P_q=\mathbb F_2[x_1,\ldots,x_q]$8

Thus the map detects monomials in which every exponent is odd and then halves the shifted exponents; all other classes are annihilated (Phuc, 11 Sep 2025).

In this form, the map is a degree-reduction operator adapted to the combinatorics of admissible monomials in the indecomposable quotient. Its usefulness comes from the fact that it passes from a higher degree $P_q=\mathbb F_2[x_1,\ldots,x_q]$9 to a lower degree $\mathscr A$0 while preserving information relevant to the $\mathscr A$1-invariant structure. The source emphasizes that the Kameko map is surjective, yielding the dimension formula

$\mathscr A$2

This identifies the kernel as the entire contribution of genuinely new indecomposables in degree $\mathscr A$3 not inherited from degree $\mathscr A$4 (Phuc, 11 Sep 2025).

A plausible implication is that the Kameko homomorphism is most effective not merely as a map between graded components, but as a structural decomposition principle: once $\mathscr A$5 is understood, the unresolved part of $\mathscr A$6 is concentrated in the kernel.

3. $\mathscr A$7-invariants and the domain of the transfer

The subspace of interest for the algebraic transfer is

$\mathscr A$8

which is dual to the transfer domain

$\mathscr A$9

(Phuc, 11 Sep 2025). The problem of determining the transfer domain is therefore an invariant-theoretic problem inside $2n+q$0.

According to the source, the $2n+q$1-invariant structure is tested using a collection of $2n+q$2-generators given by specific operations $2n+q$3 for $2n+q$4. One seeks classes $2n+q$5 such that, for all $2n+q$6,

$2n+q$7

where $2n+q$8 denotes equivalence modulo images of Steenrod operations and lower-weight monomials (Phuc, 11 Sep 2025). The invariant problem is therefore coupled to a weight filtration, and the weight decomposition becomes a computationally and conceptually decisive refinement.

In this framework, the Kameko homomorphism and invariant theory interact in a particularly direct way. Since the Kameko map is surjective, its kernel controls the part of the higher-degree indecomposable quotient that must still be examined for $2n+q$9-invariant classes. The source states this explicitly in the case of the transfer: the Kameko homomorphism is “one of the useful tools to study the dimension of the domain of the Singer transfer” (Phuc, 11 Sep 2025).

This suggests that, for transfer computations, the essential bottleneck is often not the whole space $n$0 but the $n$1-invariant part of $n$2.

4. Algorithmic computation of the Kameko kernel

The paper develops an algorithm, implemented in the computer algebra system OSCAR, for computing $n$3-invariants of the kernel of the Kameko homomorphism (Phuc, 11 Sep 2025). The computational pipeline described in the source has four components:

Step	Target	Tool/Map
1	Admissibles in $n$4	Streaming hit elimination
2	Kameko kernel	Kameko map $n$5
3	Invariants	Solution of $n$6
4	Comparison with Ext	Known literature

The first stage constructs admissible monomials in $n$7 using online hit-elimination by Steenrod squares, with block ordering by weight vector (Phuc, 11 Sep 2025). The second stage forms the Kameko matrix by mapping admissible monomials in high degree to lower degree through the exponent-halving rule, and computes its kernel as an explicit basis (Phuc, 11 Sep 2025). The third stage determines invariants inside that kernel by first imposing symmetry under the symmetric group $n$8, generated by adjacent transpositions, and then imposing invariance under the transvection that generates $n$9 together with $QP_q=P_q/\mathcal A^{>0}\!\cdot P_q$0 (Phuc, 11 Sep 2025).

The source identifies the decisive computational principle as weightwise decomposition: instead of solving one global linear system, the computation is partitioned into weight blocks, thereby reducing system sizes substantially (Phuc, 11 Sep 2025). It also notes the use of bit-packed, highly optimized Gaussian elimination over $QP_q=P_q/\mathcal A^{>0}\!\cdot P_q$1 in the kernel computation (Phuc, 11 Sep 2025).

A plausible implication is that the Kameko homomorphism is especially valuable in computational practice because its definition is sparse and combinatorial, allowing it to be translated directly into large-scale linear algebra over $QP_q=P_q/\mathcal A^{>0}\!\cdot P_q$2.

5. The bidegree $QP_q=P_q/\mathcal A^{>0}\!\cdot P_q$3 and the negation of Singer’s conjecture

The principal application described in the source is the case $QP_q=P_q/\mathcal A^{>0}\!\cdot P_q$4. The paper states that Singer conjectured the algebraic transfer is always a monomorphism, but that this remained open for all homology degrees $QP_q=P_q/\mathcal A^{>0}\!\cdot P_q$5 (Phuc, 11 Sep 2025). By the algorithm above, the authors compute the relevant invariant space in degree $QP_q=P_q/\mathcal A^{>0}\!\cdot P_q$6 and compare it to the corresponding Ext-group in bidegree $QP_q=P_q/\mathcal A^{>0}\!\cdot P_q$7.

The main quantitative statement is

$QP_q=P_q/\mathcal A^{>0}\!\cdot P_q$8

so the domain of the transfer in bidegree $QP_q=P_q/\mathcal A^{>0}\!\cdot P_q$9 is two-dimensional (Phuc, 11 Sep 2025). The same source states that, by known results of Bruner, Chen, and Lin, the corresponding Adams $(QP_q)_n$0-term

$(QP_q)_n$1

has dimension $(QP_q)_n$2 (Phuc, 11 Sep 2025). It follows that the transfer cannot be injective in bidegree $(QP_q)_n$3, and hence Singer’s conjecture fails there (Phuc, 11 Sep 2025).

The Kameko kernel is the precise locus of this failure. The source gives the invariant kernel decomposition

$(QP_q)_n$4

where $(QP_q)_n$5 and $(QP_q)_n$6 are explicit $(QP_q)_n$7-invariant sums of degree-$(QP_q)_n$8 monomials in $(QP_q)_n$9 (Phuc, 11 Sep 2025). The existence of two independent invariant classes in the transfer domain against a one-dimensional target is the mechanism by which the counterexample is produced.

The source describes this as the negation of Singer’s conjecture for the sixth algebraic transfer and as the lowest-degree case so far with a fully computer-verified counterexample (Phuc, 11 Sep 2025).

6. Mathematical significance and related problems

Within the algebraic topology of the Steenrod algebra, the Kameko homomorphism sits at the intersection of four themes explicitly emphasized in the source: the structure of polynomial algebras as $GL(q)$0-modules, the hit problem, invariant theory under $GL(q)$1, and the Adams spectral sequence (Phuc, 11 Sep 2025). Its role is not merely technical. By isolating the kernel contribution in higher degree, it provides a mechanism for detecting obstructions to transfer injectivity that would be difficult to isolate by direct enumeration alone.

The source presents the method as a robust, scalable algorithm “for attack on the hit problem and transfer injectivity far beyond ad hoc or entirely manual methods,” and notes its relevance to challenging cases such as $GL(q)$2 mentioned in the remarks (Phuc, 11 Sep 2025). It further states that the OSCAR implementation is a reliable tool for future work on modular invariant theory, the Steenrod algebra, and related instances of the hit problem (Phuc, 11 Sep 2025).

A common misconception is that the Kameko homomorphism is itself the transfer or that its kernel directly equals the transfer domain. The source does not support either identification. Rather, the transfer domain is dual to the $GL(q)$3-invariant part of $GL(q)$4, while the Kameko homomorphism is a map between graded pieces whose kernel isolates the new indecomposable contribution in higher degree (Phuc, 11 Sep 2025). In the successful computation for $GL(q)$5, the crucial object is specifically the $GL(q)$6-invariant subspace of that kernel.

A plausible implication is that future counterexamples or structural results for the algebraic transfer will continue to depend on this three-layer interaction: admissible monomial generation, Kameko-kernel extraction, and $GL(q)$7-invariant filtering.