A NOTE ON A-ANNIHILATED GENERATORS OF H*QX

2019 ◽  
Vol 62 (2) ◽  
pp. 281-295
Author(s):  
HADI ZARE

AbstractFor a path connected space X, the homology algebra $H_*(QX; \mathbb{Z}/2)$ is a polynomial algebra over certain generators QIx. We reinterpret a technical observation, of Curtis and Wellington, on the action of the Steenrod algebra A on the Λ algebra in our terms. We then introduce a partial order on each grading of H*QX which allows us to separate terms in a useful way when computing the action of dual Steenrod operations $Sq^i_*$ on $H_*(QX; \mathbb{Z}/2)$. We use these to completely characterise the A-annihilated generators of this polynomial algebra. We then propose a construction for sequences I so that QIx is A-annihilated. As an application, we offer some results on the form of potential spherical classes in H*QX upon some stability condition under homology suspension. Our computations provide new numerical conditions in the context of hit problem.

2021 ◽  
Author(s):  
Đặng Võ Phúc

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.


2021 ◽  
Author(s):  
Đặng Võ Phúc

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


2021 ◽  
Author(s):  
Đặng Võ Phúc

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)$.


2021 ◽  
Author(s):  
Đặng Võ Phúc

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.


2001 ◽  
Vol 44 (3) ◽  
pp. 597-611 ◽  
Author(s):  
Larry Smith

AbstractLet $\rho:G\hookrightarrow\GL(n,\F)$ be a representation of a finite group $G$ over a finite field $\F$ and $f_1,\dots,f_n\in\F[V]^G$ such that the ring of invariants is a polynomial algebra $\F[f_1,\dots,f_n]$. It is known that in this case the algebra of coinvariants $\F[V]_G$ is a Poincaré duality algebra, and if, moreover, the order of $G$ is invertible in $\F$, that a fundamental class is represented by the Jacobian determinant $\mathchoice{\det\biggl[\frac{\partial f_i}{\partial z_j}\biggr]}{\det[\partial f_i/\partial z_j]}{\det[\partial f_i/\partial z_j]} {\det[\partial f_i/\partial z_j]}$, and is therefore a $\det^{-1}$-relative invariant. In this note we deduce what happens in the modular case. As a bonus we obtain a new criterion for an unstable algebra over the Steenrod algebra to be a ring of invariants.AMS 2000 Mathematics subject classification: Primary 13A50; 55S10


2021 ◽  
Author(s):  
Đặng Võ Phúc

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 one. This algebra is considered as a graded module over the mod-2 Steenrod algebra, $\mathscr {A}$. We are interested in the "hit" problem of finding a minimal set of generators for $\mathscr A$-module $P_s.$ This problem is unresolved for every $s\geqslant 5.$ In this paper, we study the hit problem of five variables in a generic degree, from which we investigate Singer's conjecture [Math. Z. 202 (1989), 493-523] for the transfer homomorphism of rank $5$ in degrees given. This gives an efficient method to study the algebraic transfer and it is different from the ones of Singer.


2021 ◽  
Author(s):  
Đặng Võ Phúc

Fix $\mathbb Z/2$ is the prime field of two elements and write $\mathcal A_2$ for the mod $2$ Steenrod algebra. Denote by $GL_d:= GL(d, \mathbb Z/2)$ the general linear group of rank $d$ over $\mathbb Z/2$ and by $\mathscr P_d$ the polynomial algebra $\mathbb Z/2[x_1, x_2, \ldots, x_d],$ which is viewed as a connected unstable $\mathcal A_2$-module on $d$ generators of degree one. We study the Peterson "hit problem" of finding the minimal set of $\mathcal A_2$-generators for $\mathscr P_d.$ It is equivalent to determining a $\mathbb Z/2$-basis for the space of "cohits"$$Q\mathscr P_d := \mathbb Z/2\otimes_{\mathcal A_2} \mathscr P_d \cong \mathscr P_d/\mathcal A_2^+\mathscr P_d.$$ This $Q\mathscr P_d$ is considered as a form modular representation of $GL_d$ over $\mathbb Z/2.$ The problem for $d= 5$ is not yet completely solved, and unknown in general. In this work, we give an explicit solution to the hit problem of five variables in the generic degree $n = r(2^t -1) + 2^ts$ with $r = d = 5,\ s =8$ and $t$ an arbitrary non-negative integer. An application of this study to the cases $t = 0$ and $t = 1$ shows that the Singer algebraic transfer is an isomorphism in the bidegrees $(5, 5+(13.2^{0} - 5))$ and $(5, 5+(13.2^{1} - 5)).$ Moreover, the result when $t\geq 2$ was also discussed. Here, the Singer transfer of rank $d$ is a $\mathbb Z/2$-algebra homomorphism from $GL_d$-coinvariants of certain subspaces of $Q\mathscr P_d$ to the cohomology groups of the Steenrod algebra, ${\rm Ext}_{\mathcal A_2}^{d, d+*}(\mathbb Z/2, \mathbb Z/2).$ It is one of the useful tools for studying mysterious Ext groups and the Kervaire invariant one problem.


2002 ◽  
Vol 133 (2) ◽  
pp. 295-303 ◽  
Author(s):  
A. S. JANFADA ◽  
R. M. W. WOOD

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.


2009 ◽  
Vol 147 (1) ◽  
pp. 143-171 ◽  
Author(s):  
G. WALKER ◽  
R. M. W. WOOD

AbstractThe ‘hit problem’ of F. P. Peterson in algebraic topology asks for a minimal generating set for the polynomial algebraP(n) =2[x1,. . .,xn] as a module over the Steenrod algebra2. An equivalent problem is to find an2-basis for the subringK(n) of elementsfin the dual Hopf algebraD(n), a divided power algebra, such thatSqk(f)=0 for allk> 0. The Steenrod kernelK(n) is a2GL(n,2)-module dual to the quotientQ(n) ofP(n) by the hit elements+2P(n). A submoduleS(n) ofK(n) is obtained as the image of a family of maps from the permutation moduleFl(n) ofGL(n,2) on complete flags in ann-dimensional vector spaceVover2. We use the Schubert cell decomposition of the flags to calculateS(n) in degrees$d =\sum_{i=1}^n (2^{\lambda_i}-1)$, where λ1> λ2> ⋅⋅⋅ > λn≥ 0. When λn= 0, we define a2GL(n,2)-module map δ:Qd(n) →Q2d+n−1(n) analogous to the well-known isomorphismQd(n) →Q2d+n(n) of M. Kameko. When λn−1≥ 2, we show that δ is surjective and δ*:S2d+n−1(n)→Sd(n) is an isomorphism.


2008 ◽  
Vol 145 (3) ◽  
pp. 587-599 ◽  
Author(s):  
A. S. JANFADA

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.


Sign in / Sign up

Export Citation Format

Share Document