Stable Module Categories and Stratification
- The paper demonstrates how stratification classifies tensor-ideal localizing subcategories via the spectrum of cohomology rings.
- It explains the structure of stable module categories by quotienting out projective modules and employing triangulated category techniques.
- The study leverages local-to-global principles, fibrewise detection, and duality methods to extend stratification to various algebraic settings.
Stable module categories provide a foundational framework for studying the representation theory of finite groups, group schemes, and related algebraic objects, especially in modular and integral settings. Stratification refers to the powerful classification of localizing tensor ideals (and more generally, localizing subcategories) in these triangulated categories via the spectrum of their cohomology rings. The interaction between stable module categories and stratification theory is central to modern tensor-triangular geometry, with deep applications across representation theory, algebraic geometry, and homotopy theory.
1. Stable Module Categories: Structure and Definitions
Let be a finite group, finite group scheme, or more generally a finite flat group scheme over a commutative ring . The group algebra (or Hopf algebra over ) plays a crucial role in constructing representation categories. The stable module category $\StMod(kG)$ is defined as the quotient
$\StMod(kG) = \Mod(kG)/\{\text{projective modules}\},$
where morphisms are taken modulo maps factoring through projectives. For group schemes and more general settings, one similarly forms $\StMod(G, R) = \Mod(G, R)/\{\text{projectives}\}$.
These categories are compactly generated triangulated categories, with the shift functor typically given by the syzygy or dual syzygy. When the base ring is a field, they are often symmetric monoidal via the module tensor product. The compact objects correspond to finitely generated modules (often “lattices” if is only Noetherian), and thick subcategories of compacts are module-theoretically meaningful.
For example, for group schemes, the structure is as follows:
| Object | Description |
|---|---|
| $\StMod(kG)$ | Triangulated category of all 0-modules modulo projectives |
| 1 | Subcategory of finite-dimensional 2-modules modulo projectives |
| Tensor/monoidal structure | Induced by 3 |
(Benson et al., 2015, Barthel et al., 2023, Mathew, 2015)
2. Cohomological Support, Local Cohomology, and Tensor Ideals
The cohomology algebra 4 or 5 is a finitely generated graded-commutative algebra [Friedlander–Suslin, van der Kallen]. The canonical action of 6 on 7 or 8 enables the construction of local cohomology and localization functors:
- For each homogeneous prime 9, one defines exact idempotent local cohomology functors 0 and localization functors 1.
- Support theory: The support of an object 2 is given by
3
- Tensor product formula:
4
These functors are used to define tensor-ideal localizing subcategories (full triangulated subcategories closed under set-indexed coproducts and tensoring with arbitrary objects). The minimality properties of the subcategories 5 are crucial for the stratification theorems.
(Benson et al., 2015, Benson et al., 2020, Barthel et al., 2023, Kendall, 2024)
3. Stratification Theorems and Classification Results
The central achievement in this area is the Benson–Iyengar–Krause (BIK) stratification theorem and its generalizations:
- For a finite group (or group scheme) 6 over a field or suitable ring 7, there is a bijective correspondence
8
This is achieved by sending a subcategory to the union of supports of its objects.
- For compacts, the thick tensor ideals correspond to the specialization-closed subsets of 9.
These results extend to:
- Unipotent finite supergroup schemes (Benson et al., 2020)
- Integral and mixed-characteristic settings (Barthel, 2021, Barthel et al., 2023), via descent and fibrewise stratification (Benson et al., 2022)
- Infinite groups of type 0, via colimits over finite subgroups (Kendall, 2024)
- Stable categories of Gorenstein-projective modules and related contexts (Benson et al., 2022)
| Setting | Subcategory Classification | Key Reference |
|---|---|---|
| Fin. group/group scheme | Subsets of 1 | (Benson et al., 2015) |
| Lattices (over 2) | Subsets of 3 | (Barthel et al., 2023) |
| Integral reps | Subsets of 4 | (Barthel, 2021) |
| Infinite groups | Subsets of 5 (via finite subgroups) | (Kendall, 2024) |
Minimality of the local pieces 6 is a crucial ingredient; it is verified by reduction to simple (elementary abelian) cases and duality techniques (Benson et al., 2020, Benson et al., 2015).
4. Galois Descent, Torus Actions, and Geometric Models
For abelian 7-groups of rank 8, a geometric model arises via torus actions:
- There is a natural action of the 9-torus 0 on 1 for 2.
- The cochain algebra presentation 3 is viewed as a faithful 4-Galois extension of 5, with descent to the Tate construction.
- Homotopy fixed points of this torus action recover 6, where 7 is an even-periodic sheaf on 8 (Mathew, 2015).
- This perspective yields geometric explanations for Dade’s classification of endotrivial modules (the Picard group is 9), and recovers the stratification in terms of points of $\StMod(kG)$0.
5. Extensions: Costratification, Duality, and Generalizations
Stratification is often accompanied by costratification, yielding a bijection for colocalizing hom-closed subcategories in terms of cosupport. Duality techniques (Tate duality, Grothendieck local duality) are employed to establish the minimality and completeness of the support–cosupport classification (Benson et al., 2020, Kendall, 2024).
Recent research extends these results to:
- Big stable categories over arbitrary Noetherian base rings, with fibrewise detection and descent (Barthel et al., 2023, Benson et al., 2022)
- Infinite group settings, e.g., groups with finite virtual cohomological dimension and appropriate cohomology finiteness properties (Kendall, 2024)
- Noncommutative and ∞-categorical frameworks, where stratification of presentable stable $\StMod(kG)$1-categories is reconstructed via spectra and geometric descent (Ayala et al., 2019, Benson et al., 2020, Benson et al., 2022, Ayala et al., 2019)
6. Methodologies: Local-to-Global Principles and Detection Techniques
The stratification framework is enabled by several key methodologies:
- Local-to-global principle: Any object or localizing (tensor) ideal is built from its local pieces $\StMod(kG)$2 over primes, with the global category assembled via gluing data.
- Fibrewise detection: Over general base rings, stratification is checked fibrewise (at each residue field), and the lattice of tensor ideals on the total category is compatible with the data from the fibres (Benson et al., 2022, Barthel et al., 2023).
- Detection of projectivity: Support and cosupport theories detect projectivity and vanish precisely on projectives, providing structural control via kernel-cokernel arguments and reduction to elementary substructures (Benson et al., 2015, Benson et al., 2020).
- Spectral comparison and descent: When the relevant cohomology rings satisfy base-change and finiteness (Noetherian) conditions, the spectra $\StMod(kG)$3 and their local stratifications glue to global stratifications.
(Benson et al., 2015, Mathew, 2015, Benson et al., 2022, Barthel et al., 2023)
7. Impact, Examples, and Broader Context
The stratification of stable module categories provides a universal classification theory for localizing and thick subcategories in modular, integral, and infinite group settings. Examples include:
- For $\StMod(kG)$4, the projective spectrum is $\StMod(kG)$5, with supports coinciding with classical rank-varieties.
- For finite group schemes, stratification at the level of Gorenstein-projective modules yields a direct connection to Hochschild cohomology actions and singularity categories.
- In the context of stratified noncommutative geometry, stable module categories exemplify symmetric monoidal stratification over the Balmer spectrum, with gluing data corresponding to local cohomology and Tate constructions (Ayala et al., 2019).
Stratification techniques unify representation theory, tensor-triangular geometry, and higher-categorical approaches to stable homotopy and derived categories.
(Mathew, 2015, Benson et al., 2020, Barthel et al., 2023, Ayala et al., 2019)
