A note on the hit problem for the polynomial algebra of six variables and the sixth algebraic transfer
type: Item
instance of: scholarly article
title: A note on the hit problem for the polynomial algebra of six variables and the sixth algebraic transfer
author: Đặng Võ Phúc
published in: Journal of Algebra
publication date: 2022-10-18T00:00:00Z
review text: Let \({ P}^{\otimes h}: = {\mathbb F}_{2}[t_{1},t_{2},\ldots,t_{h}]\) denote the graded polynomial algebra over the prime field of two elements, \({\mathbb F}_2,\) in \(h\) variables \(t_i\) each of degree \(1.\) \({ P}^{\otimes h}\) is isomorphic to the mod \(2\) cohomology algebra of the product of \(h\) copies of the infinite dimensional real projective space \({\mathbb R}P^{\infty},\) and, as such, has a natural module structure over the mod \(2\) Steenrod algebra \(\mathcal{A}.\) Let \(GL_h\) denote the general linear group of rank \(h\) over \({\mathbb F}_2.\) In [Math. Z. 202, No. 4, 493--523 (1989; Zbl 0687.55014)] \textit{W. M. Singer} defined the algebraic transfer, which is a homomorphism \[ Tr_h^{\mathcal A} : ({\mathbb F}_2 \otimes_{GL_h} \mathrm{Ann}_{\overline{\mathcal A}}[{ P}^{\otimes h}]^*)_n \rightarrow \mathrm{Ext}_{\mathcal A}^{h,h+n}({\mathbb F}_2, {\mathbb F}_2) \] and he conjectured that it is a monomorphism for all \(h \geq 1\) and \(n \geq 0.\) The conjecture is known to be true for \(h = 1, 2, 3 \) and \(4\) but remains open for \(h \geq 5.\) The paper is concerned with the Peterson hit problem of finding a minimal set of generators for \({ P}^{\otimes h}\) as a module over \(\mathcal{A}\) or, equivalently, of finding an additive vector space basis for \({\mathbb F}_2 \otimes_{\mathcal A} { P}^{\otimes h}\) in each degree \(n \geq 0.\) The author considers the case \(h=6\) and explicitly computes the dimension of \({\mathbb F}_2 \otimes_{\mathcal A} { P}^{\otimes h}\) in degree \(n_s = 6(2^s-1) + 10 \cdot 2^s \) for all integers \(s \geq 0.\) As a consequence, he proves Singer's conjecture for the case \(h = 6\) and degree \(n_s.\)
reviewed by: Mbakiso Fix Mothebe
Mathematics Subject Classification ID: 55T15
Mathematics Subject Classification ID: 55S10
Mathematics Subject Classification ID: 55S05
Mathematics Subject Classification ID: 55R12
zbMATH DE Number: 7603200
zbMATH Keywords: hit problem
zbMATH Keywords: Steenrod algebra
zbMATH Keywords: primary cohomology operations
zbMATH Keywords: algebraic transfer
describes a project that uses: Magma
MaRDI profile type: Publication
full work available at URL: j.jalgebra.2022.08.028
OpenAlex ID: W4295681178
cites work: On the non-existence of elements of Hopf invariant one
cites work: Q4278105
cites work: The Magma algebra system. I: The user language
cites work: Determination of \(\mathrm{Ext}^{5,*}_{\mathcal A}(\mathbb Z/2,\mathbb Z/2)\)
cites work: Q4870923
cites work: The cohomology of the Steenrod algebra and representations of the general linear groups
cites work: The iterated transfer analogue of the new doomsday conjecture
cites work: The Adams Spectral Sequence and the Triple Transfer
cites work: Some relations between admissible monomials for the polynomial algebra
cites work: Q4604184
cites work: Polynomial Modules Over the Steenrod Algebra and Conjugation in the Milnor Basis
cites work: A-generators for certain polynomial algebras
cites work: On the generators of the polynomial algebra as a module over the Steenrod algebra
cites work: The ``hit'' problem of five variables in the generic degree and its application
cites work: On Peterson's open problem and representations of the general linear groups
cites work: On the dimension of \(H^\ast( ( \mathbb{Z}_2 )^{\times t}, \mathbb{Z}_2)\) as a module over Steenrod ring
cites work: On Characterizing Summands in the Classifying Space of a Group, I
cites work: On the subalgebra of \(H_*(({\mathbb{R}}\text{P}^\infty)^n;F_2)\) annihilated by Steenrod operations
cites work: The transfer in homological algebra
cites work: On the Action of Steenrod Squares on Polynomial Algebras
cites work: Rings of symmetric functions as modules over the Steenrod algebra
cites work: Conjugation and Excess in the Steenrod Algebra
cites work: On the Peterson hit problem
cites work: On a construction for the generators of the polynomial algebra as a module over the Steenrod algebra
cites work: The squaring operation and the Singer algebraic transfer
cites work: On the cohomology of the Steenrod algebra
cites work: Polynomials and the mod 2 Steenrod Algebra
cites work: Steenrod squares of polynomials and the Peterson conjecture
DOI: 10.1016/J.JALGEBRA.2022.08.028
description: scientific article; zbMATH DE number 7603200