Abstract

We investigate the topological nilpotence degree, in the sense of Henn–Lannes–Schwartz, of a connected Noetherian unstable algebra R. When R is the mod p cohomology ring of a compact Lie group, Kuhn showed how this invariant is controlled by centralizers of elementary abelian p-subgroups. By replacing centralizers of elementary abelian p-subgroups with components of Lannes’ T-functor, and utilizing the techniques of unstable algebras over the Steenrod algebra, we are able to generalize Kuhn’s result to a large class of connected Noetherian unstable algebras. We show how this generalizes Kuhn’s result to more general classes of groups, such as groups of finite virtual cohomological dimension, profinite groups, and Kac–Moody groups. In fact, our results apply much more generally, for example, we establish results for p-local compact groups in the sense of Broto–Levi–Oliver, for connected H-spaces with Noetherian mod p cohomology, and for the Borel equivariant cohomology of a compact Lie group acting on a manifold. Along the way we establish several results of independent interest. For example, we formulate and prove a version of Carlson’s depth conjecture in the case of a Noetherian unstable algebra of minimal depth.

Highlights

  • 1.1 Motivation and overviewWhen G is a compact Lie group, or even just a finite group, the mod p cohomology ring HG∗ :=H ∗(BG; Fp) can be extremely complicated

  • [34] Henn, Lannes, and Schwartz gave a rough upper bound for d0(HG∗ (X )), the mod p Borel-equivariant cohomology of a compact Lie group G acting on a manifold

  • The proof of Theorem B follows the same strategy as Kuhn; we show in Proposition 5.17 that for any connected Noetherian unstable algebra R with center (C, g) we have d0 ( R )

Read more

Summary

Motivation and overview

When G is a compact Lie group, or even just a finite group, the mod p cohomology ring HG∗ :=H ∗(BG; Fp) can be extremely complicated. Quillen introduced the category AG of elementary abelian psubgroups of G, with morphisms those group homomorphisms induced by conjugation in G He proved that the restriction maps induced a morphism q1 : HG∗. In [34] Henn, Lannes, and Schwartz gave a rough upper bound for d0(HG∗ (X )), the mod p Borel-equivariant cohomology of a compact Lie group G acting on a manifold. The product is taken over those elementary abelian p-subgroups E of G for which C(G) is strictly contained in E, and the map is the map induced by the inclusions CG (E) ≤ G He shows that d0(HG∗ ) = max{d0(CEss(CG (E))) | E < G}.

17 Page 4 of 56
Unstable algebras and the topological nilpotence degree
The central essential ideal of a Noetherian unstable algebra
17 Page 6 of 56
The topological nilpotence degree for the mod p cohomology of groups
17 Page 8 of 56
17 Page 10 of 56
Lannes’ T-functor
17 Page 14 of 56
The nilpotent filtration of an unstable algebra
17 Page 16 of 56
The center of a Noetherian unstable algebra
Central objects of a Noetherian unstable algebra
17 Page 18 of 56
The poset of central objects
17 Page 20 of 56
17 Page 22 of 56
17 Page 24 of 56
17 Page 26 of 56
Central elements and the nilpotence degree
17 Page 28 of 56
The topological nilpotence degree of the central essential ideal
The central essential ideal
17 Page 30 of 56
Primitives and indecomposables
17 Page 34 of 56
17 Page 36 of 56
17 Page 38 of 56
17 Page 40 of 56
17 Page 42 of 56
The topological nilpotence degree of an unstable algebra
17 Page 44 of 56
Group theory
17 Page 46 of 56
Homotopical groups
17 Page 50 of 56
17 Page 54 of 56
17 Page 56 of 56
Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call