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

EMIS 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