On the hit problem for the Steenrod algebra in the generic degree and its applications

DOI10.1007/S13398-022-01221-9zbMATH Open1491.55014arXiv2106.10630OpenAlexW4220819331WikidataQ122964060 ScholiaQ122964060MaRDI QIDQ2116798FDOQ2116798

Nguyễn Khác Tín

Publication date: 18 March 2022

Published in: Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A: Matemáticas. RACSAM (Search for Journal in Brave)

Abstract: Let $mathcal{P}_n:=H^{*}((mathbbR{P}^{infty}{)}^n)congmathbb{F}_2[x_1,x_2,ldots,x_n]$ be the polynomial algebra over the prime field of two elements, $mathbb{F}_2.$ We investigate the Peterson hit problem for the polynomial algebra $mathcal{P}_n,$ viewed as a graded left module over the mod-$2$ Steenrod algebra, $mathcalA.$ For $n>4,$ this problem is still unsolved, even in the case of $n=5$ with the help of computers. The purpose of this paper is to continue our study of the hit problem by developing a result in cite{ph31} for $mathcal{P}_n$ in the generic degree $r(2^s-1)+m.2^s$ where $r=n=5,m=13,$ and $s$ is an arbitrary non-negative integer. Note that for $s=0,$ and $s=1,$ this problem has been studied by Phuc cite{ph20ta}, and cite{ph31}, respectively. As an application of these results, we get the dimension result for the polynomial algebra in the generic degree $d=(n-1).(2^{n+u-1}-1)+ell.2^{n+u-1}$ where $u$ is an arbitrary non-negative integer, $ellin23,67,$ and $n=6.$ One of the major applications of hit problem is in surveying a homomorphism introduced by Singer, which is a homomorphism ${\displaystyle }$Tr_n : ext{Tor}^{mathcal A}_{n, n+d} (mathbb F_2,mathbb F_2) longrightarrow (mathbb{F}_{2}{otimes}_{mathcal{A}}mathcal P_{n})_d^{GL(n; mathbb F_2)}${\displaystyle }$ from the homology of the Steenrod algebra to the subspace of $(mathbb{F}_2{otimes}_{mathcalA}mathcal{P}_n{)}_d$ consisting of all the $GL(n;mathbb{F}_2)$-invariant classes. It is a useful tool in describing the homology groups of the Steenrod algebra, $ext{Tor}_{n,n+d}^{mathcalA}(mathbb{F}_2,mathbb{F}_2).$ The behavior of the fifth Singer algebraic transfer in degree $5(2^s-1)+13.2^s$ was also discussed at the end of this paper.

Full work available at URL: https://arxiv.org/abs/2106.10630

Recommendations

• \(\mathfrak{A}\)-generators for the polynomial algebra of five variables in degree \(5(2^t-1)+6\cdot 2^t\)
• scientific article; zbMATH DE number 7713928
• The admissible monomial basis for the polynomial algebra of five variables in degree \(2^{S+1} + 2^S - 5\)
• On the hit problem for the polynomial algebra
• A note on the Peterson hit problem for the Steenrod algebra
• On the generators of the polynomial algebra as a module over the Steenrod algebra
• On the motivic Peterson conjecture
• Admissible monomials and generating sets for the polynomial algebra as a module over the Steenrod algebra
• A note on the \(\mathcal{A}\)-generators of the polynomial algebra of six variables and applications
• The admissible monomial basis for the polynomial algebra in degree thirteen

zbMATH Keywords

Steenrod algebrapolynomial algebrahit problemgraded rings

Mathematics Subject Classification ID

Actions of groups on commutative rings; invariant theory (13A50) Primary cohomology operations in algebraic topology (55S05) Steenrod algebra (55S10) Adams spectral sequences (55T15) Transfer for fiber spaces and bundles in algebraic topology (55R12)

Cites Work

• The transfer in homological algebra
• On the Peterson hit problem
• \(Ext_A^{4,\ast}(\mathbb Z/2,\mathbb Z/2)\) and \(Ext_A^{5,\ast}(\mathbb Z/2,\mathbb Z/2)\)
• Steenrod squares of polynomials and the Peterson conjecture
• Kameko's homomorphism and the algebraic transfer
• Cohomology Operations (AM-50)
• Title not available (Why is that?)
• Determination of \(\mathrm{Ext}^{5,*}_{\mathcal A}(\mathbb Z/2,\mathbb Z/2)\)
• On the subalgebra of \(H_*(({\mathbb{R}}\text{P}^\infty)^n;F_2)\) annihilated by Steenrod operations
• Generic \(\mathcal A\)-generators for the polynomial algebra
• On Characterizing Summands in the Classifying Space of a Group, I
• The negative answer to Kameko's conjecture on the hit problem
• Generators of the cohomology of \(BV_3\)
• Rings of symmetric functions as modules over the Steenrod algebra
• Generating H*(BO(3), ${\bb F}_2$) as a module over the Steenrod algebra
• Hit Polynomials and the Canonical Antiautomorphism of the Steenrod Algebra
• The hit problem for symmetric polynomials over the Steenrod algebra
• On the behavior of the algebraic transfer
• On the action of the Steenrod squares on polynomial algebra
• A NOTE ON THE UNSTABILITY CONDITIONS OF THE STEENROD SQUARES ON THE POLYNOMIAL ALGEBRA
• A-Generators for the Dickson Algebra
• The iterated transfer analogue of the new doomsday conjecture
• Some results on the fifth Singer transfer
• Polynomials and the mod 2 Steenrod Algebra
• On Peterson's open problem and representations of the general linear groups
• The hit problem for the polynomial algebra in some weight vectors
• A note on the Peterson hit problem for the Steenrod algebra
• Hit problem for the polynomial algebra as a module over the Steenrod algebra in some degrees

Cited In (7)

• On the \(\mathcal{A}\)-generators of the polynomial algebra as a module over the Steenrod algebra. I
• The squaring operation and the hit problem for the polynomial algebra in a type of generic degree
• The ``hit problem of five variables in the generic degree and its application
• Hit polynomials and excess in the \(\bmod p\) Steenrod algebra
• Hit problem for the polynomial algebra as a module over the Steenrod algebra in some degrees
• The hit problem for symmetric polynomials over the Steenrod algebra
• The negative answer to Kameko's conjecture on the hit problem

This page was built for publication: On the hit problem for the Steenrod algebra in the generic degree and its applications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2116798)