Table of Contents
Fetching ...

A chromatic approach to homological stability

Oscar Randal-Williams

Abstract

We propose a way to organise the subject of ``higher-order homological stability'', in the context of a graded $E_2$-algebra $\mathbf{R}$, along the same lines that the chromatic perspective organises stable homotopy theory. From this point of view proving a (higher-order) homological stability theorem corresponds to producing Smith--Toda complexes in the category of $\mathbf{R}$-modules: using this perspective we prove that whenever $\mathbf{R}$ is defined over a field of positive characteristic and satisfies some standard properties, there is a sequence of higher-order homological stability theorems whose slopes tend to 1. We propose that in a higher-order stable range the ``stable homology'' should be interpreted as certain Bousfield localisations in the category of $\mathbf{R}$-modules, leading to a chromatic tower and monochromatic layers. Given the existence of suitable Smith--Toda complexes we establish several properties of these localisations, in particular explaining how higher-order stabilisation maps yield periodic families in the monochromatic layers. We explain how to associate to such an $\mathbf{R}$ a Hopf algebra which completely governs the kinds of higher-order stability maps that it enjoys, in the sense that the cohomology of this Hopf algebra has precisely the same stability patterns as $\mathbf{R}$. When $\mathbf{R}$ comes from a sequence of groups, this Hopf algebra has a concrete description as the coinvariants of the $E_1$-Steinberg modules.

A chromatic approach to homological stability

Abstract

We propose a way to organise the subject of ``higher-order homological stability'', in the context of a graded -algebra , along the same lines that the chromatic perspective organises stable homotopy theory. From this point of view proving a (higher-order) homological stability theorem corresponds to producing Smith--Toda complexes in the category of -modules: using this perspective we prove that whenever is defined over a field of positive characteristic and satisfies some standard properties, there is a sequence of higher-order homological stability theorems whose slopes tend to 1. We propose that in a higher-order stable range the ``stable homology'' should be interpreted as certain Bousfield localisations in the category of -modules, leading to a chromatic tower and monochromatic layers. Given the existence of suitable Smith--Toda complexes we establish several properties of these localisations, in particular explaining how higher-order stabilisation maps yield periodic families in the monochromatic layers. We explain how to associate to such an a Hopf algebra which completely governs the kinds of higher-order stability maps that it enjoys, in the sense that the cohomology of this Hopf algebra has precisely the same stability patterns as . When comes from a sequence of groups, this Hopf algebra has a concrete description as the coinvariants of the -Steinberg modules.

Paper Structure

This paper contains 66 sections, 53 theorems, 268 equations, 1 figure.

Key Result

Theorem A

Let $\mathbbm{k}$ be a field of positive characteristic and $\bold{R} \in \mathsf{Alg}_{E_2}(\mathsf{D}(\mathbbm{k})^\mathbb{Z})$ satisfy (C), (SCE), and (F). Let $\lambda < 1$ be given. Then there is a sequence of $\bold{R}$-module endomorphisms with cofibres $\bold{R}/(\alpha_1, \ldots, \alpha_{i})$, such that:

Figures (1)

  • Figure :

Theorems & Definitions (133)

  • Theorem A
  • Remark 1.1
  • Theorem B
  • Remark 1.2
  • Example 1.3
  • Example 1.4
  • Example 1.5
  • Lemma 2.1
  • proof
  • Proposition 2.2
  • ...and 123 more