On the dimension of $H^{*}((\mathbb Z_2)^{\times t}, \mathbb Z_2)$ as a module over Steenrod ring
Abstract
We write $\mathbb P$ for the polynomial algebra in one variable over the finite field $\mathbb Z_2$ and $\mathbb P^{\otimes t} = \mathbb Z_2[x_1, \ldots, x_t]$ for its $t$-fold tensor product with itself. We grade $\mathbb P^{\otimes t}$ by assigning degree $1$ to each generator. We are interested in determining a minimal set of generators for the ring of invariants $(\mathbb P^{\otimes t})^{G_t}$ as a module over Steenrod ring, $\mathscr A_2.$ Here $G_t$ is a subgroup of the general linear group $GL(t, \mathbb Z_2).$ An equivalent problem is to find a monomial basis of the space of "unhit" elements, $\mathbb Z_2\otimes_{\mathscr A_2} (\mathbb P^{\otimes t})^{G_t}$ in each $t$ and degree $n\geq 0.$ The structure of this tensor product is proved surprisingly difficult and has been not yet known for $t\geq 5,$ even for the trivial subgroup $G_t = \{e\}.$ In the present paper, we consider the subgroup $G_t = \{e\}$ for $t \in \{5, 6\},$ and obtain some new results on $\mathscr A_2$-generators of $(\mathbb P^{\otimes t})^{G_t}$ in some degrees. At the same time, some of their applications have been proposed. We also provide an algorithm in MAGMA for verifying the results. This study can be understood as a continuation of our recent works in [23, 25].
- Publication:
-
arXiv e-prints
- Pub Date:
- December 2021
- DOI:
- 10.48550/arXiv.2112.03600
- arXiv:
- arXiv:2112.03600
- Bibcode:
- 2021arXiv211203600P
- Keywords:
-
- Mathematics - Rings and Algebras;
- Mathematics - Algebraic Topology;
- Mathematics - General Topology;
- Mathematics - Representation Theory;
- 13A50;
- 55S10;
- 55S05;
- 55T15;
- 55R12;
- 55Q45
- E-Print:
- 40 pages