Pith. sign in

REVIEW 1 cited by

A counter-example to Singer's conjecture for the algebraic transfer

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2408.06669 v2 pith:WJVKVVJO submitted 2024-08-13 math.AT

A counter-example to Singer's conjecture for the algebraic transfer

classification math.AT
keywords mathbbmathcalconjectureotimessingeralgebradegreetransfer
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved
0 comments
Share X Bluesky LinkedIn Reddit HN
abstract

Write $P_k:= \mathbb F_2[x_1,x_2,\ldots ,x_k]$ for the polynomial algebra over the prime field $\mathbb F_2$ with two elements, in $k$ generators $x_1, x_2, \ldots , x_k$, each of degree 1. The polynomial algebra $P_k$ is considered as a module over the mod-2 Steenrod algebra, $\mathcal A$. Let $GL_k$ be the general linear group over the field $\mathbb F_2$. This group acts naturally on $P_k$ by matrix substitution. Since the two actions of $\mathcal A$ and $GL_k$ upon $P_k$ commute with each other, there is an inherit action of $GL_k$ on $\mathbb F_2{\otimes}_{\mathcal A}P_k$. Denote by $(\mathbb F_2{\otimes}_{\mathcal A}P_k)_n^{GL_k}$ the subspace of $\mathbb F_2{\otimes}_{\mathcal A}P_k$ consisting of all the $GL_k$-invariant classes of degree $n$. In 1989, Singer [24] defined the homological algebraic transfer $$\varphi_k :\mbox{Tor}^{\mathcal A}_{k,k+n}(\mathbb F_2,\mathbb F_2) \longrightarrow (\mathbb F_2{\otimes}_{\mathcal A}P_k)_n^{GL_k},$$ where $\mbox{Tor}^{\mathcal{A}}_{k, k+n}(\mathbb{F}_2, \mathbb{F}_2)$ is the dual of Ext$_{\mathcal{A}}^{k,k+n}(\mathbb F_2,\mathbb F_2)$, the $E_2$ term of the Adams spectral sequence of spheres. 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 a technique of the Peterson hit problem we prove that Singer's conjecture is not true for $k=5$ and the internal degree $n = 108$. This result also refutes a one of Ph\'uc in [19].

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Geometric realization via unoriented bordism and a counterexample to Singer's conjecture for the sixth algebraic transfer

    math.AT 2025-09 conditional novelty 6.0

    At rank 6 and degree 36 the source of Singer's algebraic transfer is 2-dimensional while the target is 1-dimensional, so the transfer cannot be injective and Singer's conjecture is false.