(Non-)Vanishing of high-dimensional group cohomology

Basic Information

• Paper ID: 2404.15026
• Title: (Non-)Vanishing of high-dimensional group cohomology
• Author: Benjamin Brück
• Classification: math.GR math.AT math.NT
• Publication Date: arXiv:2404.15026v4 math.GR 10 Oct 2025
• Paper Link: https://arxiv.org/abs/2404.15026

Abstract

Church-Farb-Putman formulated stability and vanishing conjectures for the high-dimensional cohomology of $\operatorname{SL}_n(\mathbb{Z})$, surface mapping class groups and automorphism groups of free groups. This is a survey on the current status of these conjectures and their generalisations.

Research Background and Motivation

Problem Background

The core problem addressed in this paper concerns understanding the rational cohomological properties of groups "similar to $\operatorname{SL}_n(\mathbb{Z})$," particularly their cohomological behavior in high dimensions. These groups include:

1. Special linear groups $\operatorname{SL}_n(\mathbb{Z})$
2. Surface mapping class groups $\operatorname{MCG}(\Sigma_g)$
3. Automorphism groups of free groups $\operatorname{Aut}(F_n)$

Research Significance

The importance of this problem is manifested in several aspects:

1. Finite virtual cohomological dimension: These groups all possess finite virtual cohomological dimension $\operatorname{vcd}(\Gamma) \in \mathbb{N}$, meaning their rational cohomology is nontrivial only in finitely many degrees
2. Stability theory: Homological stability results provide a good framework for understanding low-dimensional cohomology, but understanding of high-dimensional cohomology remains limited
3. Duality structures: These groups are virtually Bieri-Eckmann duality groups, satisfying properties analogous to Poincaré duality

Limitations of Existing Methods

• Homological stability results primarily apply to low-dimensional cases ($k \ll \operatorname{vcd}(\Gamma)$)
• Understanding of high-dimensional cohomology ($k \approx \operatorname{vcd}(\Gamma)$) is far less complete than the low-dimensional case
• Lack of a unified theoretical framework for handling different types of arithmetic groups

Research Motivation

Church-Farb-Putman proposed conjectures on stability and vanishing of high-dimensional cohomology of these groups in 2014. This paper aims to:

1. Survey the current status of these conjectures
2. Introduce developments in related technical methods
3. Demonstrate generalizations of these conjectures to other classes of groups

Core Contributions

As a survey paper, the main contributions include:

1. Systematic survey: Comprehensive review of recent progress on Church-Farb-Putman conjectures and their generalizations
2. Technical methods summary: Detailed introduction of key techniques for proving vanishing properties of high-dimensional cohomology, particularly partial resolutions of the Steinberg module
3. Results classification: Systematic categorization of vanishing/non-vanishing results for various groups in different codimensions
4. Generalization directions: Demonstration of extensions of the original conjectures to broader classes of groups such as Chevalley groups and symplectic groups
5. Open problems guidance: Provides clear directions and open problems for future research in the field

Detailed Methods

Core Technical Framework

Borel-Serre Duality

For the ring of integers $R$ of a number field $K$ and a Chevalley-Demazure group scheme $G$, arithmetic subgroups $\Gamma = G(R)$ satisfy the duality: $H^{\operatorname{vcd}(\Gamma)-i}(\Gamma;\mathbb{Q}) \cong H_i(\Gamma; \operatorname{St}(\Gamma) \otimes \mathbb{Q})$

where $\operatorname{St}(\Gamma)$ is the Steinberg module, namely the top-dimensional homology of the associated Tits building.

Partial Resolution Method for Steinberg Modules

The core strategy constructs partial flat resolutions of the Steinberg module: $Q_k \to Q_{k-1} \to \cdots \to Q_1 \to Q_0 \to \operatorname{St}(\Gamma) \to 0$

where each $Q_i$ is a flat $\Gamma$-module. By analyzing the homology of the chain complex $Q_k \otimes_\Gamma \mathbb{Q} \to \cdots \to Q_0 \otimes_\Gamma \mathbb{Q} \to 0$ one determines $H_*(\Gamma; \operatorname{St}(\Gamma) \otimes \mathbb{Q})$.

Concrete Implementation Strategies

For $\operatorname{SL}_n(\mathbb{Z})$

1. Apartment class generation: Using integral apartment classes $[v_1,\ldots,v_n]$ (where $\vec{v}_1,\ldots,\vec{v}_n$ form a basis of $\mathbb{Z}^n$)
2. Geometric methods: Proving generation properties through studying connectivity of simplicial complexes $B_n$
3. Recursive decomposition: Progressively extending to longer partial resolutions

For $\operatorname{Sp}_{2n}(\mathbb{Z})$

1. Symplectic apartments: Using symplectic bases $\vec{v}_1,\vec{v}_1^*,\ldots,\vec{v}_n,\vec{v}_n^*$ to determine apartment classes
2. Relation analysis: Establishing presentations and relations analogous to the $\operatorname{SL}_n$ case
3. Complex methods: Analyzing connectivity properties of the complex $IAA_n$

Experimental Setup

Computational Verification

The paper mentions computational verification in several low-rank cases:

• $\operatorname{SL}_n(\mathbb{Z})$: Complete cohomology computed for $n \leq 7$, partial results up to $n \leq 10$
• $\operatorname{Sp}_{2n}(\mathbb{Z})$: Computed up to $n \leq 4$
• Groups over various Euclidean number fields: Verification for small values of $n$

Data Sources

Computational results come from multiple research teams' work, including:

• Voronoi complex methods by Dutour Sikirić et al.
• Modular forms methods by Elbaz-Vincent et al.
• Various specialized homological computation software packages

Experimental Results

Main Results for $\operatorname{SL}_n(\mathbb{Z})$

Proven Vanishing Results

1. Codimension 0 (Lee-Szczarba): $H^{\binom{n}{2}}(\operatorname{SL}_n(\mathbb{Z});\mathbb{Q}) = 0$, $n \geq 2$
2. Codimension 1 (Church-Putman): $H^{\binom{n}{2}-1}(\operatorname{SL}_n(\mathbb{Z});\mathbb{Q}) = 0$, $n \geq 3$
3. Codimension 2 (Brück-Miller-Patzt-Sroka-Wilson): $H^{\binom{n}{2}-2}(\operatorname{SL}_n(\mathbb{Z});\mathbb{Q}) = 0$, $n \geq 3$

Restrictions on Non-vanishing Results

• Brown-Chan-Galatius-Payne proved that $\dim_\mathbb{Q} H^{\binom{n}{2}-(n-1)-k}(\operatorname{SL}_n(\mathbb{Z});\mathbb{Q})$ grows at least exponentially for all but finitely many $k$
• Results by Ash and Brown show that the highest-degree nontrivial classes appear in codimension $(n-1)$ or $n$

Results for Surface Mapping Class Groups

• Top-dimensional vanishing: $H^{4g-5}(\operatorname{MCG}(\Sigma_g);\mathbb{Q}) = 0$, $g \geq 2$
• High-dimensional non-vanishing: Chan-Galatius-Payne and Payne-Willwacher discovered abundant high-dimensional nontrivial classes
• The original conjecture was proven false

Automorphism Groups of Free Groups

• Bartholdi computed $H^{11}(\operatorname{Out}(F_7);\mathbb{Q}) \cong \mathbb{Q}$, refuting Morita's top-dimensional vanishing conjecture
• Church-Farb-Putman's stability conjecture remains open, though prospects appear dim

Related Work

Historical Development

1. Borel-Serre theory: Established the foundation of duality theory for arithmetic groups
2. Lee-Szczarba work: First proved top-dimensional vanishing for special linear groups over Euclidean rings
3. Church-Farb-Putman conjectures: Systematically proposed the high-dimensional stability framework

Evolution of Technical Methods

1. Algebraic methods: Early work primarily relied on algebraic K-theory and modular symbols
2. Geometric methods: Church-Putman introduced geometric arguments based on simplicial complex connectivity
3. Computational methods: Modern computational techniques enable complete calculations for low-rank cases

Conclusions and Discussion

Main Conclusions

1. Partial success: The Church-Farb-Putman conjecture for $\operatorname{SL}_n(\mathbb{Z})$ is verified in low codimension cases
2. Conjecture failures: Corresponding conjectures for surface mapping class groups and automorphism groups of free groups have been refuted
3. Generalization potential: Similar vanishing phenomena may exist for more general Chevalley groups

Limitations

1. Technical constraints: Current methods primarily apply to cases of small codimension
2. Computational complexity: Calculations in high dimensions become extremely complex
3. Theoretical understanding: Lack of deep theoretical understanding of why certain groups satisfy vanishing properties while others do not

Future Directions

1. Generalize Conjecture 2: Verify high-dimensional vanishing conjectures for more general Chevalley groups
2. New technique development: Seek new methods for handling higher codimensions
3. Non-Euclidean cases: Study cases over non-Euclidean principal ideal domains

In-Depth Evaluation

Strengths

1. Comprehensiveness: As a survey paper, systematically covers major developments in the field
2. Technical depth: Detailed introduction of key proof techniques, particularly Steinberg module decomposition methods
3. Clear structure: Organization by different classes of groups facilitates reader understanding
4. Forward-looking perspective: Not only summarizes existing results but also points out future research directions

Weaknesses

1. Proof details: As a survey, cannot provide complete proof processes
2. Computational verification: Descriptions of computational results are relatively brief
3. Open problems: While open problems are mentioned, concrete strategies for addressing them are lacking

Impact

1. Field guidance: Provides important reference and direction for researchers in the field
2. Technique dissemination: Steinberg module decomposition techniques may apply to other related problems
3. Theoretical development: Advances the development of high-dimensional group cohomology theory

Applicable Scenarios

1. Research introduction: Suitable as an introductory survey for the field
2. Technical reference: Provides technical method references for related research
3. Problem-oriented: Offers directions for scholars seeking new research problems

References

The paper cites 65 important references, among which key ones include:

• 23 Church, Farb, Putman: Original conjecture formulation
• 6 Borel-Serre: Foundation of duality theory
• 24,25 Church-Farb-Putman, Church-Putman: Development of geometric methods
• 14 Brück et al.: Recent progress on codimension 2 cases
• 20 Chan-Galatius-Payne: Counterexamples for surface mapping class groups

This survey paper provides valuable summary and guidance for the active research field of high-dimensional group cohomology, and holds important value for understanding the intersection of modern algebraic topology and arithmetic geometry.