Hostname: page-component-848d4c4894-x24gv Total loading time: 0 Render date: 2024-05-02T17:07:50.138Z Has data issue: false hasContentIssue false

Bott periodicity in the Hit Problem

Published online by Cambridge University Press:  20 February 2014

SHAUN AULT*
Affiliation:
Department of Mathematics and Computer Science, Valdosta State University, Valdosta, Georgia, 31698, U.S.A. e-mail: svault@valdosta.edu

Abstract

In this short paper, we use Robert Bruner's $\cal{A}$(1)-resolution of $P = {\mathbb{F}_2[t]$ to shed light on the Hit Problem. In particular, the reduced syzygies Pn of P occur as direct summands of $\widetilde{P}^{\otimes n}$, where $\widetilde{P}$ is the augmentation ideal of the map $P \to \mathbb{F}_2$. The complement of Pn in $\widetilde{P}^{\otimes n}$ is free, and the modules Pn exhibit a type of “Bott periodicity” of period 4: Pn+4 = Σ8Pn. These facts taken together allow one to analyse the module of indecomposables in $\widetilde{P}^{\otimes n}$, that is, to say something about the “$\cal{A}$(1)-hit Problem”. Our study is essentially in two parts: first, we expound on the approach to the Hit Problem begun by William Singer, in which we compare images of Steenrod squares to certain kernels of squares. Using this approach, the author discovered a nontrivial element in bidegree (5, 9) that is neither $\cal{A}$(1)-hit nor in kerSq1 + kerSq3. Such an element is extremely rare, but Bruner's result shows clearly why these elements exist and detects them in full generality; second, we describe the graded ${\mathbb{F}_2$-space of $\cal{A}$(1)-hit elements of $\widetilde{P}^{\otimes n}$ by determining its Hilbert series.

Type
Research Article
Copyright
Copyright © Cambridge Philosophical Society 2014 

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1]Anick, D. J.On the homogeneous invariants of a tensor algebra. Algebraic Topology. Proc. Int. Conf. (Evanston 1988), Contemp. Math. Amer. Math. Soc. vol. 96 (Providence, R.I.), (1989), 1517.CrossRefGoogle Scholar
[2]Ault, S. V. Relations among the kernels and images of Steenrod squares acting on right $\cal{A}$-modules. J. Pure Appl. Algebra, 216 (2012), 14281437.CrossRefGoogle Scholar
[3]Ault, S. V. and Singer, W. M.On the homology of elementary abelian groups as modules over the Steenrod algebra. J. Pure Appl. Algebra, 215 (2011), 28472852.CrossRefGoogle Scholar
[5]Bruner, R. R. Idempotents, localizations and Picard groups of A(1)-modules. Preprint, available electronically at: arXiv:1211.0213v2 [math.AT].Google Scholar
[6]Margolis, H. R.Spectra and the Steenrod Algebra, North-Holland Math. Library vol. 29 (North-Holland Publishing Co., Amsterdam, 1983).Google Scholar