Realizability and nonrealizability of Dickson algebras as cohomology rings
HTML articles powered by AMS MathViewer
- by Larry Smith and R. M. Switzer PDF
- Proc. Amer. Math. Soc. 89 (1983), 303-313 Request permission
Abstract:
Fix a prime $p$ and let $V$ be an $n$-dimensional vector space over ${\mathbf {Z}}/p$. The general linear group ${\text {GL(}}V{\text {)}}$ of $V$ acts on the polynomial ring $P(V)$ on $V$. The ring of invariants $P{(V)^{{\text {GL}}(V)}}$ has been computed by Dickson, and we denote it by ${D^*}(n)$. If we grade $P(V)$ by assigning the elements of $V$ the degree 2, then ${D^*}(n)$ becomes a graded polynomial algebra on generators ${Y_1}, \ldots ,{Y_n}$ of degrees $2{p^n} - 2{p^{n - 1}}, \ldots ,2{p^n} - 2$. The $\mod p$ Steenrod algebra acts on $P(V)$ in a unique way compatible with the unstability condition and the Cartan formula. The ${\text {GL}}(V)$ action commutes with the Steenrod algebra action, and so ${D^*}(n)$ inherits the structure of an unstable polynomial algebra over the Steenrod algebra. In this note we determine explicit formulas for the action of the Steenrod algebra on the polynomial generators of ${D^*}(n)$. As a consequence we are able to decide exactly which Dickson algebras can be ${\mathbf {Z}}/p$ cohomology rings.References
- J. F. Adams, On the non-existence of elements of Hopf invariant one, Ann. of Math. (2) 72 (1960), 20–104. MR 141119, DOI 10.2307/1970147
- J. F. Adams and C. W. Wilkerson, Finite $H$-spaces and algebras over the Steenrod algebra, Ann. of Math. (2) 111 (1980), no. 1, 95–143. MR 558398, DOI 10.2307/1971218
- Allan Clark and John Ewing, The realization of polynomial algebras as cohomology rings, Pacific J. Math. 50 (1974), 425–434. MR 367979
- Leonard Eugene Dickson, A fundamental system of invariants of the general modular linear group with a solution of the form problem, Trans. Amer. Math. Soc. 12 (1911), no. 1, 75–98. MR 1500882, DOI 10.1090/S0002-9947-1911-1500882-4
- John Ewing, Sphere bundles over spheres as loop spaces $\textrm {mod}\ p$, Duke Math. J. 40 (1973), 157–162. MR 324690
- Eric M. Friedlander, Exceptional isogenies and the classifying spaces of simple Lie groups, Ann. of Math. (2) 101 (1975), 510–520. MR 391078, DOI 10.2307/1970938
- J. R. Hubbuck, Generalized cohomology operations and $H$-spaces of low rank, Trans. Amer. Math. Soc. 141 (1969), 335–360. MR 248809, DOI 10.1090/S0002-9947-1969-0248809-9
- R. Holzsager, $H$-spaces of category $\leq 2$, Topology 9 (1970), 211–216. MR 261598, DOI 10.1016/0040-9383(70)90010-8
- Serge Lang, Algebra, Addison-Wesley Publishing Co., Inc., Reading, Mass., 1965. MR 0197234
- Arunas Liulevicius, The factorization of cyclic reduced powers by secondary cohomology operations, Mem. Amer. Math. Soc. 42 (1962), 112. MR 182001
- John Milnor, The Steenrod algebra and its dual, Ann. of Math. (2) 67 (1958), 150–171. MR 99653, DOI 10.2307/1969932
- John W. Milnor and John C. Moore, On the structure of Hopf algebras, Ann. of Math. (2) 81 (1965), 211–264. MR 174052, DOI 10.2307/1970615
- Ryosuke Nakagawa and Sh\B{o}ji Ochiai, On the dimension of generators of a polynomial algebra over the $\textrm {mod}\ p$ Steenrod algebra, Proc. Japan Acad. 43 (1967), 932–936. MR 231372
- Larry Smith, On the type of an associative $H$-space of rank two, Tohoku Math. J. (2) 20 (1968), 511–515. MR 243523, DOI 10.2748/tmj/1178243075 L. Smith and R. M. Switzer, Variations on a theme of Adams and Wilkerson (to appear).
- N. E. Steenrod, Cohomology operations, Annals of Mathematics Studies, No. 50, Princeton University Press, Princeton, N.J., 1962. Lectures by N. E. Steenrod written and revised by D. B. A. Epstein. MR 0145525
- Dennis Sullivan, Genetics of homotopy theory and the Adams conjecture, Ann. of Math. (2) 100 (1974), 1–79. MR 442930, DOI 10.2307/1970841 A. Zabrodsky, On the realization of invariant subgroups of ${\pi _*}(X)$, revised preprint.
- Oscar Zariski and Pierre Samuel, Commutative algebra. Vol. II, The University Series in Higher Mathematics, D. Van Nostrand Co., Inc., Princeton, N.J.-Toronto-London-New York, 1960. MR 0120249
Additional Information
- © Copyright 1983 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 89 (1983), 303-313
- MSC: Primary 55R40; Secondary 55R35
- DOI: https://doi.org/10.1090/S0002-9939-1983-0712642-4
- MathSciNet review: 712642