No Arabic abstract
Is the cohomology of the classifying space of a p-compact group, with Noetherian twisted coefficients, a Noetherian module? This note provides, over the ring of p-adic integers, such a generalization to p-compact groups of the Evens-Venkov Theorem. We consider the cohomology of a space with coefficients in a module, and we compare Noetherianity over the field with p elements, with Noetherianity over the p-adic integers, in the case when the fundamental group is a finite p-group.
Let $X$ be a topological space with Noetherian mod $p$ cohomology and let $C^*(X;mathbb{F}_p)$ be the commutative ring spectrum of $mathbb{F}_p$-valued cochains on $X$. The goal of this paper is to exhibit conditions under which the category of module spectra on $C^*(X;mathbb{F}_p)$ is stratified in the sense of Benson, Iyengar, Krause, providing a classification of all its localizing subcategories. We establish stratification in this sense for classifying spaces of a large class of topological groups including Kac--Moody groups as well as whenever $X$ admits an $H$-space structure. More generally, using Lannes theory we prove that stratification for $X$ is equivalent to a condition that generalizes Chouinards theorem for finite groups. In particular, this relates the generalized telescope conjecture in this setting to a question in unstable homotopy theory.
The class of loop spaces whose mod p cohomology is Noetherian is much larger than the class of p-compact groups (for which the mod p cohomology is required to be finite). It contains Eilenberg-Mac Lane spaces such as the infinite complex projective space and 3-connected covers of compact Lie groups. We study the cohomology of the classifying space BX of such an object and prove it is as small as expected, that is, comparable to that of BCP^infty. We also show that BX differs basically from the classifying space of a p-compact group in a single homotopy group. This applies in particular to 4-connected covers of classifying spaces of Lie groups and sheds new light on how the cohomology of such an object looks like.
We study rings which have Noetherian cohomology under the action of a ring of cohomology operators. The main result is a criterion for a complex of modules over such a ring to have finite injective dimension. This criterion generalizes, by removing finiteness conditions, and unifies several previous results. In particular we show that for a module over a ring with Noetherian cohomology, if all higher self-extensions of the module vanish then it must have finite injective dimension. Examples of rings with Noetherian cohomology include commutative complete intersection rings and finite dimensional cocommutative Hopf algebras over a field.
Building on work of Livernet and Richter, we prove that E_n-homology and E_n-cohomology of a commutative algebra with coefficients in a symmetric bimodule can be interpreted as functor homology and cohomology. Furthermore we show that the associated Yoneda algebra is trivial.
For n>2, we prove the mod 2 cohomology of the finite Chevalley group Spin_n(F_q) is isomorphic to that of the classifying space of the loop group of the spin group Spin(n).