### Current browse context:

math.RA

### Change to browse by:

### References & Citations

# Mathematics > Rings and Algebras

# Title: On Peterson's open problem and representations of the general linear groups

(Submitted on 20 Jul 2019 (v1), last revised 3 Dec 2021 (this version, v16))

Abstract: 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]$ 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 also a 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 of rank $5$ 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.

## Submission history

From: Dang Vo Phuc [view email]**[v1]**Sat, 20 Jul 2019 06:17:29 GMT (63kb)

**[v2]**Thu, 25 Jul 2019 16:48:48 GMT (63kb)

**[v3]**Tue, 23 Jul 2019 02:38:00 GMT (63kb)

**[v4]**Sun, 4 Aug 2019 15:14:15 GMT (66kb)

**[v5]**Sun, 11 Aug 2019 15:35:44 GMT (67kb)

**[v6]**Thu, 26 Sep 2019 14:06:36 GMT (66kb)

**[v7]**Mon, 7 Oct 2019 15:33:39 GMT (67kb)

**[v8]**Thu, 31 Oct 2019 13:53:10 GMT (66kb)

**[v9]**Fri, 1 Nov 2019 02:19:16 GMT (66kb)

**[v10]**Tue, 18 Aug 2020 16:24:38 GMT (69kb)

**[v11]**Wed, 23 Sep 2020 08:00:22 GMT (72kb)

**[v12]**Fri, 11 Dec 2020 02:19:44 GMT (74kb)

**[v13]**Thu, 22 Apr 2021 15:21:45 GMT (74kb)

**[v14]**Mon, 26 Jul 2021 03:22:29 GMT (75kb)

**[v15]**Sat, 7 Aug 2021 13:18:19 GMT (82kb)

**[v16]**Fri, 3 Dec 2021 04:04:45 GMT (75kb)

Link back to: arXiv, form interface, contact.