Let be the mod-2 Steenrod algebra acting in the usual way on , and let . Singer’s algebraic transfer sends the dual of to ; Singer conjectured that is always injective. We disprove this nearly forty-year-old conjecture at rank , degree . Verifying this requires computing exactly; to handle the resulting combinatorial complexity, we build a new Julia package , coupling modular invariant theory with bit-level linear algebra over via Steenrod-hit reductions and Kameko homomorphisms. We prove this source space is two-dimensional, strictly exceeding the known one-dimensional target , so is not injective. We also interpret the transfer kernel geometrically via unoriented bordism: factors through bordism classes over whose Thom images are primitive, characterized by the vanishing of all mixed Wu numbers. Thom’s representability theorem guarantees closed -manifolds realizing the homological duals of the source generators, yet we show standard models – the indecomposable Milnor hypersurface , projective products, and Dold manifolds – cannot represent them. We further interpret the inverse Kameko map via Thom spaces of universal real line bundles. Validated by recovering classical Dickson invariant dimensions, this work delivers both a counterexample to Singer’s conjecture and a scalable methodology for the Peterson hit problem.

生成讲解博客的中文版本

生成AI智能校验的中文版本