# Vanishing near the virtual cohomological dimension of $\mathrm{SL}_n(\mathbb Z)$

Preprint · Taiwang Deng

- Archive id: arxiv:2610.39960
- Published: 2026-10-29
- arXiv: https://arxiv.org/abs/2610.39960
- Source URL: https://arxiv.org/abs/2610.39960
- PDF: https://arxiv.org/pdf/2610.39960
- Provenance: arxiv

## Abstract

We prove the Church--Farb--Putman conjecture that \\\[ H^{N\_n-i}(\\mathrm{SL}\_n(\\mathbb Z);\\mathbb Q)=0, \\qquad N\_n=\\binom n2,\\quad n\\ge2,\\quad 0\\le i\<n-1. \\\] The proof relies on Franke's filtration of the weighted automorphic cochain complex, developed in his proof of Borel's conjecture. We treat trivial and nontrivial cuspidal support separately. For nontrivial support, we combine a degree calculation with the Chenevier--Lannes lower bound of $11$ for the motivic weight of level-one regular algebraic cuspidal representations of rank at least two. This reduces the contributing inducing data to a trivial factor and a Speh factor attached to such a representation. We construct primitives for closed lifts of cohomology classes in the filtration quotients by combining an Eisenstein residue identity with a cochain homotopy and finite distributions in the spectral parameters. A finite-filtration lifting argument then yields vanishing for nontrivial cuspidal support. The trivial-support case is treated using Franke's topological model.

_Abstract reproduced under CC0-1.0 (arXiv descriptive metadata)._

Topics: [Landmark Results in Pure Mathematics](https://space-kitty.com/topics/landmark-math-results)

---
Space Kitty Archive · https://space-kitty.com · API: https://space-kitty.com/api/v1 · MCP: https://space-kitty.com/mcp · Premium: $0.20/request via x402 (Base Sepolia (testnet)). Metadata: arXiv (CC0), OpenAlex (CC0), Europe PMC (CC BY/CC0 works), ClinicalTrials.gov.