#### Volume 1, issue 1 (2001)

 Recent Issues
Author Index
 The Journal About the Journal Editorial Board Subscriptions Editorial Interests Editorial Procedure Submission Guidelines Submission Page Ethics Statement ISSN (electronic): 1472-2739 ISSN (print): 1472-2747 To Appear Other MSP Journals
La filtration de Krull de la catégorie $\mathcal{U}$ et la cohomologie des espaces

### Lionel Schwartz

Algebraic & Geometric Topology 1 (2001) 519–548
 arXiv: math.AT/0110230
##### Abstract

This paper proves a particular case of a conjecture of N Kuhn. This conjecture is as follows. Consider the Gabriel–Krull filtration of the category $\mathsc{U}$ of unstable modules.

Let ${\mathsc{U}}_{n}$, for $n\ge 0$, be the $n$th step of this filtration. The category $\mathsc{U}$ is the smallest thick subcategory that contains all subcategories ${\mathsc{U}}_{n}$ and is stable under colimit [L Schwartz, Unstable modules over the Steenrod algebra and Sullivan’s fixed point set conjecture, Chicago Lectures in Mathematics Series (1994)]. The category ${\mathsc{U}}_{0}$ is the one of locally finite modules, that is, the modules that are direct limits of finite modules. The conjecture is as follows: Let $X$ be a space, then either ${H}^{\ast }X\in {\mathsc{U}}_{0}$, or ${H}^{\ast }X\notin {\mathsc{U}}_{n}$, for all $n$.

As an examples, the cohomology of a finite space, or of the loop space of a finite space are always locally finite. On the other side, the cohomology of the classifying space of a finite group whose order is divisible by 2 does belong to any subcategory ${\mathsc{U}}_{n}$. One proves this conjecture, modulo the additional hypothesis that all quotients of the nilpotent filtration are finitely generated. This condition is used when applying N Kuhn’s reduction of the problem. It is necessary to do it to be allowed to apply Lannes’ theorem on the cohomology of mapping spaces [N Kuhn, On topologically realizing modules over the Steenrod algebra, Ann. of Math. 141 (1995) 321-347].

##### Keywords
Steenrod operations, nilpotent modules, Eilenberg–Moore spectral sequence
Primary: 55S10
Secondary: 57S35