A phenomenon of reciprocity in the universal Steenrod algebra
HTML articles powered by AMS MathViewer
- by Luciano Lomonaco PDF
- Trans. Amer. Math. Soc. 330 (1992), 813-821 Request permission
Abstract:
In this paper we compute the cohomology algebra of certain subalgebras ${L_r}$ and certain quotients ${K_s}$ of the $\bmod 2$ universal Steenrod algebra $Q$, the algebra of cohomology operations for ${H_\infty }$-ring spectra (see $[\text {M}]$). We prove that \[ \operatorname {Ext}_{{L_r}}({F_2},{F_2}) \cong {K_{ - k + 1}}, \qquad \operatorname {Ext}_{{K_s}}({F_2},{F_2}) \cong {L_{ - s + 1}}\] with $r$, $s$ integers and $r \leq 1$, $s \geq 0$. We also observe that some of the algebras ${L_r}$, ${K_s}$ are well known objects in stable homotopy theory and in fact our computation generalizes the fact that ${H^{\ast } }({A_L}) \cong \Lambda ^{{\text {opp}}}$ and ${H^{\ast } }({\Lambda ^{{\text {opp}}}}) \cong {A_L}$ (see, for instance, $[\text {P}]$). Here ${A_L}$ is the Steenrod algebra for simplicial restricted Lie algebras and $\Lambda$ is the ${E_1}$-term of the Adams spectral sequence discovered in $[\text {B-S}]$.References
- A. K. Bousfield, E. B. Curtis, D. M. Kan, D. G. Quillen, D. L. Rector, and J. W. Schlesinger, The $\textrm {mod}-p$ lower central series and the Adams spectral sequence, Topology 5 (1966), 331β342. MR 199862, DOI 10.1016/0040-9383(66)90024-3
- Edgar H. Brown Jr. and Samuel Gitler, A spectrum whose cohomology is a certain cyclic module over the Steenrod algebra, Topology 12 (1973), 283β295. MR 391071, DOI 10.1016/0040-9383(73)90014-1
- Luciano Lomonaco, Dickson invariants and the universal Steenrod algebra, Rend. Circ. Mat. Palermo (2) Suppl. 24 (1990), 429β443 (English, with Italian summary). Fourth Conference on Topology (Italian) (Sorrento, 1988). MR 1108226
- J. Peter May, A general algebraic approach to Steenrod operations, The Steenrod Algebra and its Applications (Proc. Conf. to Celebrate N. E. Steenrodβs Sixtieth Birthday, Battelle Memorial Inst., Columbus, Ohio, 1970) Lecture Notes in Mathematics, Vol. 168, Springer, Berlin, 1970, pp.Β 153β231. MR 0281196
- Stewart B. Priddy, Koszul resolutions, Trans. Amer. Math. Soc. 152 (1970), 39β60. MR 265437, DOI 10.1090/S0002-9947-1970-0265437-8
- William M. Singer, Invariant theory and the lambda algebra, Trans. Amer. Math. Soc. 280 (1983), no.Β 2, 673β693. MR 716844, DOI 10.1090/S0002-9947-1983-0716844-7
Additional Information
- © Copyright 1992 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 330 (1992), 813-821
- MSC: Primary 55S99; Secondary 18G10, 18G15, 55U99
- DOI: https://doi.org/10.1090/S0002-9947-1992-1044963-2
- MathSciNet review: 1044963