A second counterexample to Singer's conjecture on the algebraic transfer

In this paper, we provide a second explicit counterexample to Singer's injectivity conjecture for the sixth algebraic transfer in bidegree $(6,46).$ This result corrects one of the main theorems in our recent preprint \\cite[Theorem 2.5]{Phuc}. Exact computation gives a two-dimensional transfer domain and a two-dimensional target, so a comparison of dimensions alone is inconclusive. We construct Steenrod-annihilated divided-power polynomials $U$ and $V$, identify the normalized dual coinvariant basis as $[U+V]$ and $[V]$, and exhibit a lambda-algebra element $B$ satisfying $\\psi_6(U+V)=\\delta B$. A nonzero invariant pairing proves that $[U+V]\\neq0$. The other basis element maps to $h_0h_3p_0$, and a complete boundary-space calculation excludes $h_5Ph_1$ from the image. Thus the transfer has one-dimensional kernel, image, and cokernel. We specify the finite matrices and verification procedures, and print every coefficient of the primitives, invariants, boundary, and separating functional in the appendices.

Authors

Institutions

Publication Details

Journal
Zenodo (CERN European Organization for Nuclear Research)
Published
2026-09-21
DOI
https://doi.org/10.5281/zenodo.22868640
Primary Topic
Polynomial and algebraic computation
Type
preprint
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
preprint

A second counterexample to Singer's conjecture on the algebraic transfer

Đặng Võ Phúc
Zenodo (CERN European Organization for Nuclear Research)
Polynomial and algebraic computation
preprint

A second counterexample to Singer's conjecture on the algebraic transfer

Đặng Võ Phúc
preprint en

Abstract

In this paper, we provide a second explicit counterexample to Singer's injectivity conjecture for the sixth algebraic transfer in bidegree $(6,46).$ This result corrects one of the main theorems in our recent preprint \cite[Theorem 2.5]{Phuc}. Exact computation gives a two-dimensional transfer domain and a two-dimensional target, so a comparison of dimensions alone is inconclusive. We construct Steenrod-annihilated divided-power polynomials $U$ and $V$, identify the normalized dual coinvariant basis as $[U+V]$ and $[V]$, and exhibit a lambda-algebra element $B$ satisfying $\psi_6(U+V)=\delta B$. A nonzero invariant pairing proves that $[U+V]\neq0$. The other basis element maps to $h_0h_3p_0$, and a complete boundary-space calculation excludes $h_5Ph_1$ from the image. Thus the transfer has one-dimensional kernel, image, and cokernel. We specify the finite matrices and verification procedures, and print every coefficient of the primitives, invariants, boundary, and separating functional in the appendices.

Zenodo (CERN European Organization for Nuclear Research)
FPT University (VN), Quy Nhon University (VN)
Polynomial and algebraic computation
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.

A second counterexample to Singer's conjecture on the algebraic transfer — Đặng Võ Phúc · Zenodo (CERN European Organization for Nuclear Research) (2026) | TGRS Research Map | TGRS