EMIS/ELibM Electronic Journals

Outdated Archival Version

These pages are not updated anymore. For the current production of this journal, please refer to http://www.jstor.org/journals/0003486x.html.

Annals of Mathematics, II. Series, Vol. 149, No. 2, pp. 421-449, 1999
EMIS ELibM Electronic Journals Annals of Mathematics, II. Series
Vol. 149, No. 2, pp. 421-449 (1999)

Previous Article

Next Article

Contents of this Issue

Other Issues

ELibM Journals

ELibM Home



Quillen stratification for the Steenrod algebra

John H. Palmieri

Review from Zentralblatt MATH:

Let $A$ be the mod 2 Steenrod algebra and let ${\cal Q}_A$ be the category whose objects are elementary sub-Hopf algebras of $A$ and whose morphisms are inclusions. The author considers the ``Quillen map'' $q_A$: $H^*(A;\bbfF_2)\to\varprojlim_{{\cal Q}_A}H^*(E;\bbfF_2)$ induced by the restriction maps $H^*(A;\bbfF_2)\to H^*(E;\bbfF_2)$. He proves the following results:

(i) There is an action of $A$ on the inverse limit $\varprojlim_{{\cal Q}_A}H^*(E;\bbfF_2)$ and, the map $q_A$ factors through the invariants $(\varprojlim_{{\cal Q}_A}H^*(E;\bbfF_2))^A$.

(ii) The ``Quillen map'' $q_A$: $H^*(A;\bbfF_2)\to(\varprojlim_{{\cal Q}_A}H^*(E;\bbfF_2))^A$ is an $F$-isomorphism $(\ker(q_A)$ and $\text {coker}(q_A)$ are nilpotent).

The author computes also the inverse limit $\varprojlim_{{\cal Q}_A}H^*(E;\bbfF_2)$, gives explicitely the action of $A$ on it and describes the algebra of invariants. This gives the mod 2 cohomology of $A$, $H^*(A;\bbfF_2)= \text {Ext}^{*,*}_A(\bbfF_2, \bbfF_2)$, modulo nilpotent elements.

Reviewed by Sad Zarati

Keywords: Hopf algebra; $F$-isomorphism

Classification (MSC2000): 55S10 55Q45 55T15

Full text of the article:

Electronic fulltext finalized on: 8 Sep 2001. This page was last modified: 21 Jan 2002.

© 2001 Johns Hopkins University Press
© 2001--2002 ELibM for the EMIS Electronic Edition
Metadata extracted from Zentralblatt MATH with kind permission