$\mathscr A$-generators for the polynomial algebra of five variables in degree $5(2^t - 1) + 6.2^t$

2021 ◽  
Author(s):  
Đặng Võ Phúc
Keyword(s):  
Positive Integer ◽  
Vector Space ◽  
Polynomial Algebra ◽  
Minimal System ◽  
Steenrod Algebra ◽  
Arbitrary Positive Integer ◽  
Left Module ◽  
Minimal System Of Generators ◽  
Set Up ◽  
Hit Problem

Let $P_s:= \mathbb{F}_2[x_1,x_2,\ldots ,x_s] = \bigoplus_{n\geqslant 0}(P_s)_n$ be the polynomial algebra viewedas a graded left module over the mod 2 Steenrod algebra, $\mathscr A.$ The grading is by the degree of the homogeneous terms $(P_s)_n$ of degree $n$ in the variables $x_1, x_2, \ldots, x_s$ of grading $1.$ We are interested in the {\it hit problem}, set up by F.P. Peterson, of finding a minimal system of generators for $\mathscr A$-module $P_s.$ Equivalently, we want to find a basis for the $\mathbb F_2$-graded vector space $\mathbb F_2\otimes_{\mathscr A} P_s.$ In this paper, we study the hit problem in the case $s=5$ and the degree $n = 5(2^t-1) + 6.2^t$ with $t$ an arbitrary positive integer.

Hit problem for the polynomial algebra as a module over the Steenrod algebra in some degrees

2021 ◽  
pp. 2250007
Author(s):  
Nguyễn Khắc Tín
Keyword(s):  
Positive Integer ◽  
Linear Group ◽  
General Linear Group ◽  
Polynomial Algebra ◽  
Steenrod Algebra ◽  
Arbitrary Positive Integer ◽  
Minimal Set ◽  
Prime Field ◽  
Set Up ◽  
Hit Problem

Let [Formula: see text] be the polynomial algebra in [Formula: see text] variables with the degree of each [Formula: see text] being [Formula: see text] regarded as a module over the mod-[Formula: see text] Steenrod algebra [Formula: see text] and let [Formula: see text] be the general linear group over the prime field [Formula: see text] which acts naturally on [Formula: see text]. We study the hit problem, set up by Frank Peterson, of finding a minimal set of generators for the polynomial algebra [Formula: see text] as a module over the mod-2 Steenrod algebra, [Formula: see text]. These results are used to study the Singer algebraic transfer which is a homomorphism from the homology of the mod-[Formula: see text] Steenrod algebra, [Formula: see text] to the subspace of [Formula: see text] consisting of all the [Formula: see text]-invariant classes of degree [Formula: see text] In this paper, we explicitly compute the hit problem for [Formula: see text] and the degree [Formula: see text] with [Formula: see text] an arbitrary positive integer. Using this result, we show that Singer’s conjecture for the algebraic transfer is true in the case [Formula: see text] and the above degree.

The hit problem for symmetric polynomials over the Steenrod algebra

2002 ◽  
Vol 133 (2) ◽  
pp. 295-303 ◽  
Author(s):  
A. S. JANFADA ◽  
R. M. W. WOOD
Keyword(s):  
Positive Integer ◽  
Polynomial Algebra ◽  
Steenrod Algebra ◽  
Symmetric Polynomials ◽  
Homogeneous Polynomials ◽  
Left Module ◽  
Symmetric Version ◽  
The Right ◽  
Hit Problem ◽  
Prime 2

We cite [18] for references to work on the hit problem for the polynomial algebra P(n) = [ ]2[x1, ;…, xn] = [oplus ]d[ges ]0Pd(n), viewed as a graded left module over the Steenrod algebra [Ascr ] at the prime 2. The grading is by the homogeneous polynomials Pd(n) of degree d in the n variables x1, …, xn of grading 1. The present article investigates the hit problem for the [Ascr ]-submodule of symmetric polynomials B(n) = P(n)[sum ]n , where [sum ]n denotes the symmetric group on n letters acting on the right of P(n). Among the main results is the symmetric version of the well-known Peterson conjecture. For a positive integer d, let μ(d) denote the smallest value of k for which d = [sum ]ki=1(2λi−1), where λi [ges ] 0.

scholarly journals The "hit" problem of five variables in the generic degree and its application

2021 ◽  
Author(s):  
Đặng Võ Phúc
Keyword(s):  
Efficient Method ◽  
Polynomial Algebra ◽  
Steenrod Algebra ◽  
Minimal Set ◽  
Left Module ◽  
Prime Field ◽  
Hit Problem

Let $P_s:= \mathbb F_2[x_1,x_2,\ldots ,x_s]$ be the graded polynomial algebra over the prime field of two elements, $\mathbb F_2$, in $s$ variables $x_1, x_2, \ldots , x_s$, each of degree $1$. We are interested in the {\it Peterson "hit" problem} of finding a minimal set of generators for $P_s$ as a graded left module over the mod-2 Steenrod algebra, $\mathscr {A}$. For $s\geqslant 5,$ it is still open.In this paper, we study the hit problem of five variables in a generic degree. By using this result, we survey Singer's conjecture for the fifth algebraic transfer in the respective degrees. This gives an efficient method to study the algebraic transfer and it is different from the ones of Singer

scholarly journals On the dimension of the "cohits" space $\mathbb Z_2\otimes_{\mathcal A_2} H^{*}((\mathbb RP(\infty))^{\times t}, \mathbb Z_2)$ and some applications

2021 ◽  
Author(s):  
Đặng Võ Phúc
Keyword(s):  
Vector Space ◽  
Homotopy Theory ◽  
Polynomial Algebra ◽  
Steenrod Algebra ◽  
Negative Integer ◽  
Central Problem ◽  
Minimal Set ◽  
Prime Field ◽  
Monomial Basis ◽  
Hit Problem

We denote by $\mathbb Z_2$ the prime field of two elements and by $P_t = \mathbb Z_2[x_1, \ldots, x_t]$ the polynomial algebra of $t$ generators $x_1, \ldots, x_t$ with the degree of each $x_i$ being one. Let $\mathcal A_2$ be the Steenrod algebra over $\mathbb Z_2.$ A central problem of homotopy theory is to determine a minimal set of generators for the $\mathbb Z_2$-graded vector space $\mathbb Z_2\otimes_{\mathcal A_2} P_t.$ This problem, which is called the "hit" problem for Steenrod algebra, has been systematically studied for $t\leq 4.$ The present paper is devoted to the investigation of the structure of the "cohits" space $\mathbb Z_2\otimes_{\mathcal A_2} P_t$ in some certain "generic" degrees. More specifically, we explicitly determine a monomial basis of $\mathbb Z_2\otimes_{\mathcal A_2} P_5$ in degree \mbox{$n_s=5(2^{s}-1) + 42.2^{s}$} for every non-negative integer $s.$ As a result, it confirms Sum's conjecture \cite{N.S2} for a relation between the minimal sets of $\mathcal A_2$-generators of the algebras $P_{t-1}$ and $P_{t}$ in the case $t=5$ and degree $n_s$. Based on Kameko's map \cite{M.K} and a previous result by Sum \cite{N.S1}, we obtain a inductive formula for the dimension of $\mathbb Z_2\otimes_{\mathcal A_2} P_t$ in a generic degree given. As an application, we obtain the dimension of $\mathbb Z_2\otimes_{\mathcal A_2} P_6$ in the generic degree $5(2^{s+5}-1) + n_0.2^{s+5}$ for all $s\geq 0,$ and show that the Singer's cohomological transfer \cite{W.S1} is an isomorphism in bidegree $(5, 5+n_s)$.

A criterion for a monomial in P(3) to be hit

2008 ◽  
Vol 145 (3) ◽  
pp. 587-599 ◽  
Author(s):  
A. S. JANFADA
Keyword(s):  
Projective Space ◽  
Polynomial Algebra ◽  
Homogeneous Element ◽  
Steenrod Algebra ◽  
Homogeneous Polynomials ◽  
Real Projective Space ◽  
Left Module ◽  
Finite Sum ◽  
Hit Problem ◽  
Prime 2

AbstractLet P(n) = [x1, . . ., xn] = ⊕d≥0Pd(n) be the polynomial algebra viewed as a graded left module over the Steenrod algebra at the prime 2. The grading is by the degree of the homogeneous polynomials Pd(n) of degree d in the n variables x1, . . ., xn. The algebra P(n) realizes the cohomology of the product of n copies of infinite real projective space. We recall that a homogeneous element f of grading d in a graded left -module M is hit if there is a finite sum f = ΣiSqi(hi), called a hit equation, where the pre-images hi ∈ M have grading strictly less than d and the Sqi, called the Steenrod squares, generate . One of the important parts of the hit problem is to check whether a given polynomial in M is hit or not. In this article we study this problem in the 3-variable case.

scholarly journals The hit problem of five variables in the generic degree $5(2^{s}-1) + 42.2^{s}$ and its application

2021 ◽  
Author(s):  
Đặng Võ Phúc
Keyword(s):  
Vector Space ◽  
Homotopy Theory ◽  
Polynomial Algebra ◽  
Steenrod Algebra ◽  
Central Problem ◽  
Minimal Set ◽  
Prime Field ◽  
Efficient Approach ◽  
Transfer Homomorphism ◽  
Hit Problem

We denote by $\mathbb Z_2$ the prime field of two elements and by $P_t = \mathbb Z_2[x_1, \ldots, x_t]$ the polynomial algebra of $t$ generators $x_1, \ldots, x_t$ with $\deg(x_j) = 1.$ Let $\mathcal A_2$ be the Steenrod algebra over $\mathbb Z_2.$ A central problem of homotopy theory is to determine a minimal set of generators for the $\mathbb Z_2$-graded vector space $\{(\mathbb Z_2\otimes_{\mathcal A_2} P_t)_n\}_{n\geq 0}.$ It is called \textit{the "hit" problem} for Steenrod algebra and has been completely solved for $t\leq 4.$ In this article, we explicitly solve the hit problem of five variables in the "generic" degree $n=5(2^{s}-1) + 42.2^{s}$ for every non-negative integer $s.$ The result confirms Sum's conjecture [15] for the relation between the minimal sets of $\mathcal A_2$-generators of the algebras $P_{t-1}$ and $P_{t}$ in the case $t=5$ and degree $n$ above. An efficient approach for surveying the hit problem of five variables has been presented. As an application, we obtain the dimension of $(\mathbb Z_2\otimes_{\mathcal A_2} P_t)_n$ for $t = 6$ and degree $5(2^{s+5}-1) + 42.2^{s+5}$ for all $s\geq 0.$ At the same time, we show that the Singer transfer homomorphism is an isomorphism in bidegree $(5, 5+n)$.

scholarly journals The hit problem of five variables in the generic degree $5(2^{s}-1) + 42.2^{s}$ and its application

2021 ◽  
Author(s):  
Đặng Võ Phúc
Keyword(s):  
Vector Space ◽  
Homotopy Theory ◽  
Polynomial Algebra ◽  
Steenrod Algebra ◽  
Central Problem ◽  
Minimal Set ◽  
Prime Field ◽  
Efficient Approach ◽  
Minimal Sets ◽  
Hit Problem

We denote by $\mathbb Z_2$ the prime field of two elements and by $P_t = \mathbb Z_2[x_1, \ldots, x_t]$ the polynomial algebra of $t$ generators $x_1, \ldots, x_t$ with $\deg(x_j) = 1.$ Let $\mathcal A_2$ be the Steenrod algebra over $\mathbb Z_2.$ A central problem of homotopy theory is to determine a minimal set of generators for the $\mathbb Z_2$-graded vector space $\{(\mathbb Z_2\otimes_{\mathcal A_2} P_t)_n\}_{n\geq 0}.$ It is called \textit{the "hit" problem} for Steenrod algebra and has been completely solved for $t\leq 4.$ In this article, we explicitly solve the hit problem of five variables in the generic degree $5(2^{s}-1) + 42.2^{s}$ for any $s\geq 0.$ The result confirms Sum's conjecture \cite{N.S2} for the relation between the minimal sets of $\mathcal A_2$-generators of the algebras $P_{t-1}$ and $P_{t}$ in the case $t=5$ and the above generic degree. An efficient approach to surveying the hit problem of five variables has been presented. As an application, we obtain the dimension of $(\mathbb Z_2\otimes_{\mathcal A_2} P_t)_n$ for $t = 6$ and the generic degree $n = 5(2^{s+5}-1) + 42.2^{s+5}$ for all $s\geq 0.$ At the same time, we show that the fifth Singer algebraic transfer is an isomorphism in bidegree $(5, 47.2^{s})$ with $s\geq 0.$

On the hit problem for the unstable $\mathscr A$-module $\mathcal P_5 = H^*((K(\mathbb F_2, 1))^{\times 5}, \mathbb F_2)$ and application

2021 ◽  
Author(s):  
Đặng Võ Phúc
Keyword(s):  
Algebraic Topology ◽  
Homotopy Theory ◽  
Polynomial Algebra ◽  
Steenrod Algebra ◽  
Minimal Set ◽  
Open Problems ◽  
Polynomial Algebras ◽  
Prime Field ◽  
Trivial Element ◽  
Hit Problem

Let us consider the prime field of two elements, $\mathbb F_2.$ One of the open problems in Algebraic topology is the hit problem for a module over the mod 2 Steenrod algebra $\mathscr A$. More specifically, this problem asks a minimal set of generators for the polynomial algebra $\mathcal P_m:=\mathbb F_2[x_1, x_2, \ldots, x_m]$ regarded as a connected unstable $\mathscr A$-module on $m$ variables $x_1, \ldots, x_m,$ each of degree one. The algebra $\mathcal P_m$ is the cohomology with $\mathbb F_2$-coefficients of the product of $m$ copies of the Eilenberg-MacLan space of type $(\mathbb F_2, 1).$ The hit problem has been thoroughly studied for 35 years in a variety of contexts by many authors and completely solved for $m\leq 4.$ Furthermore, it has been closely related to some classical problems in the homotopy theory and applied in studying the $m$-th Singer algebraic transfer $Tr^{\mathscr A}_m$ \cite{W.S1}. This transfer is one of the useful tools for studying the Adams $E^{2}$-term, ${\rm Ext}_{\mathscr A}^{*, *}(\mathbb F_2, \mathbb F_2) = H^{*, *}(\mathscr A, \mathbb F_2).$The aim of this work is to continue our study of the hit problem of five variables. At the same time, this result will be applied to the investigation of the fifth transfer of Singer and the modular representation of the general linear group of rank 5 over $\mathbb F_2.$ More precisely, we grew out of a previous result of us in \cite{D.P3} on the hit problem for $\mathscr A$-module $\mathcal P_5$ in the generic degree $5(2^t-1) + 18.2^t$ with $t$ an arbitrary non-negative integer. The result confirms Sum's conjecture \cite{N.S2} on the relation between the minimal set of $\mathscr A$-generators for the polynomial algebras $\mathcal P_{m-1}$ and $\mathcal P_{m}$ in the case $m=5$ and the above generic degree. Moreover, by using our result \cite{D.P3} and a presentation in the $\lambda$-algebra of $Tr_5^{\mathscr A}$, we show that the non-trivial element $h_1e_0 = h_0f_0\in {\rm Ext}_{\mathscr A}^{5, 5+(5(2^0-1) + 18.2^0)}(\mathbb F_2, \mathbb F_2)$ is in the image of the fifth transfer and that $Tr^{\mathscr A}_5$ is an isomorphism in the bidegree $(5, 5+(5(2^0-1) + 18.2^0)).$ In addition, the behavior of $Tr^{\mathscr A}_5$ in the bidegree $(5, 5+(5(2^t-1) + 18.2^t))$ when $t\geq 1$ was also discussed. This method is different from that of Singer in studying the image of the algebraic transfer.

scholarly journals On generators of the unstable $\mathscr A$-module $H^{*}((K(\mathbb F_2, 1))^{\times 5})$ in a generic degree and applications

2021 ◽  
Author(s):  
Đặng Võ Phúc
Keyword(s):  
Algebraic Topology ◽  
Polynomial Algebra ◽  
Steenrod Algebra ◽  
Modular Representations ◽  
Minimal Set ◽  
Polynomial Algebras ◽  
Prime Field ◽  
Important Open Problem ◽  
Hit Problem ◽  
The Relationship

Let us consider the prime field of two elements, $\mathbb F_2.$ It is well-known that the classical "hit problem" for a module over the mod 2 Steenrod algebra $\mathscr A$ is an interesting and important open problem of Algebraic topology, which asks a minimal set of generators for the polynomial algebra $\mathcal P_m:=\mathbb F_2[x_1, x_2, \ldots, x_m]$, regarded as a connected unstable $\mathscr A$-module on $m$ variables $x_1, \ldots, x_m,$ each of degree 1. The algebra $\mathcal P_m$ is the $\mathbb F_2$-cohomology of the product of $m$ copies of the Eilenberg-MacLan complex $K(\mathbb F_2, 1).$ Although the hit problem has been thoroughly studied for more than 3 decades, solving it remains a mystery for $m\geq 5.$ The aim of this work is of studying the hit problem of five variables. More precisely, we develop our previous work \cite{D.P3} on the hit problem for $\mathscr A$-module $\mathcal P_5$ in a degree of the generic form $n_t:=5(2^t-1) + 18.2^t,$ for any non-negative integer $t.$ An efficient approach to solve this problem had been presented. Moreover, we provide an algorithm in MAGMA for verifying the results and studying the hit problem in general. As an consequence, the calculations confirmed Sum's conjecture \cite{N.S2} for the relationship between the minimal sets of $\mathscr A$-generators of the polynomial algebras $\mathcal P_{m-1}$ and $\mathcal P_{m}$ in the case $m=5$ and degree $n_t.$ Two applications of this study are to determine the dimension of $\mathcal P_6$ in the generic degree $5(2^{t+4}-1) + n_1.2^{t+4}$ for all $t > 0$ and describe the modular representations of the general linear group of rank 5 over $\mathbb F_2.$ As a corollary, the cohomological "transfer", defined by W. Singer \cite{W.S1}, is an isomorphism at the bidegree $(5, 5+n_0).$ Singer's transfer is one of the relatively efficient tools to approach the structure of mod-2 cohomology of the Steenrod algebra.

scholarly journals Products of Admissible Monomials in the Polynomial Algebra as a Module over the Steenrod Algebra

2016 ◽  
Vol 8 (3) ◽  
pp. 112
Author(s):  
Mbakiso Fix Mothebe
Keyword(s):  
Vector Space ◽  
Algebraic Topology ◽  
Related Problem ◽  
Polynomial Algebra ◽  
Steenrod Algebra ◽  
Homogeneous Polynomials ◽  
Sigma 1

Let ${\P}(n) ={\F}[x_1,\ldots,x_n]$ be the polynomial algebra in $n$ variables $x_i$, of degree one, over the field $\F$ of two elements. The mod-2 Steenrod algebra $\A$ acts on ${\P }(n)$ according to well known rules.  A major problem in algebraic topology is that of determining $\A^+{\P}(n)$, the image of the action of the positively graded part of $\A$. We are interested in the related problem of determining a basis for the quotient vector space ${\Q}(n) = {\P}(n)/\A^{+}\P(n)$.  Both ${\P }(n) =\bigoplus_{d \geq 0} {\P}^{d}(n)$ and ${\Q}(n)$ are graded, where ${\P}^{d}(n)$ denotes the set of homogeneous polynomials of degree $d$. ${\Q}(n)$ has been explicitly calculated for $n=1,2,3,4$ but problems remain for $n \geq 5.$ In this note we show that if  $u = x_{1}^{m_1} \cdots x_{k}^{m_{k}} \in {\P}^{d}(k)$  and $v = x_{1}^{e_1} \cdots x_{r}^{e_{r}} \in {\P}^{d'}(r)$ are an admissible  monomials, (that is,  $u$ and $v$ meet a criterion to be in a certain basis for ${\Q}(k)$ and ${\Q}(r)$ respectively), then for each permutation $\sigma \in S_{k+r}$ for which $\sigma(i)<\sigma(j),$ $i<j\leq k$ and $\sigma(s)<\sigma(t),$ $k<s<t\leq k+r,$ the monomial $x_{\sigma(1)}^{m_1} \cdots x_{\sigma(k)}^{m_{k}} x_{\sigma(k+1)}^{e_1} \cdots x_{\sigma(k+r)}^{e_r} \in {\P}^{d+d'}(k+r)$ is admissible.  As an application we consider a few cases when $n=5.$

Sign in / Sign up

Export Citation Format

Share Document