On torsion in the cohomology of locally symmetric varieties

TL;DR

This paper establishes the existence of Galois representations linked to the mod p cohomology of locally symmetric spaces for GL_n over certain fields, advancing understanding of torsion phenomena and p-adic geometry of Shimura varieties.

Contribution

It proves the existence of Galois representations for mod p cohomology of locally symmetric spaces and introduces a new p-adic geometric framework involving perfectoid Shimura varieties and the Hodge-Tate period map.

Findings

Galois representations associated with mod p cohomology are constructed.

Shimura varieties become perfectoid in the inverse limit over all p-levels.

The Hodge-Tate period map is established with key properties.

Abstract

The main result of this paper is the existence of Galois representations associated with the mod $p$ (or mod $p^m$) cohomology of the locally symmetric spaces for $\GL_n$ over a totally real or CM field, proving conjectures of Ash and others. Following an old suggestion of Clozel, recently realized by Harris-Lan-Taylor-Thorne for characteristic 0 cohomology classes, one realizes the cohomology of the locally symmetric spaces for $\GL_n$ as a boundary contribution of the cohomology of symplectic or unitary Shimura varieties, so that the key problem is to understand torsion in the cohomology of Shimura varieties. Thus, we prove new results on the $p$-adic geometry of Shimura varieties (of Hodge type). Namely, the Shimura varieties become perfectoid when passing to the inverse limit over all levels at $p$, and a new period map towards the flag variety exists on them, called the Hodge-Tate period map. It is roughly analogous to the embedding of the hermitian symmetric domain (which is roughly the inverse limit over all levels of the complex points of the Shimura variety) into its compact dual. The Hodge-Tate period map has several favorable properties, the most important being that it commutes with the Hecke operators away from $p$ (for the trivial action of these Hecke operators on the flag variety), and that automorphic vector bundles come via pullback from the flag variety.