Abstract:We introduce a derived enhancement of local Galois deformation rings that we call the "spectral Hecke algebra", in analogy to a construction in the Geometric Langlands program. This is a Hecke algebra that acts on the spectral side of the Langlands correspondence, i.e. on moduli spaces of Galois representations. We verify the simplest form of derived local-global compatibility between the action of the spectral Hecke algebra on the derived Galois deformation ring of Galatius-Venkatesh, and the action of Venkatesh's derived Hecke algebra on the cohomology of arithmetic groups.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to introduce an object similar to the "spectral Hecke stack" in the Geometric Langlands Program, namely the "spectral Hecke algebra", in the Arithmetic Langlands Program, so as to fill a gap in the existing theory. Specifically, the author proposes a spectral Hecke algebra acting on local Galois deformation rings. This algebra can act on the moduli spaces of Galois representations, thereby playing a role on the spectral side of the Langlands correspondence.
### Main problems and goals:
1. **Define the spectral Hecke algebra**: One of the main goals of the paper is to define the spectral Hecke algebra and construct its co - action on the derived Galois deformation rings obtained from the work of Galatius - Venkatesh.
2. **Compare the relationship with the derived Hecke algebra**: Another main goal is to compare the co - action of the spectral Hecke algebra on the derived Galois deformation rings with the action of Venkatesh's derived Hecke algebra on the cohomology of arithmetic groups, and verify that these two actions are "compatible" in a certain sense. This compatibility is similar to the local - global compatibility in the Geometric Langlands Program.
### Specific content:
- **Motivation**: Venkatesh and his collaborators introduced objects such as local derived Hecke algebras, global derived Hecke algebras, and derived Galois deformation rings to study the algebraic structures in the cohomology of local symmetric spaces. However, it is suspected that there is a missing part among these objects, namely the spectral Hecke algebra.
- **Construction idea**: The name and construction of the spectral Hecke algebra are inspired by Geometric Langlands theory, in which the spectral Hecke stack acts on the moduli spaces of local systems. Similarly, the spectral Hecke algebra acts on the moduli spaces of Galois representations.
- **Main results**:
- Defined the spectral Hecke algebra and constructed its co - action on the derived Galois deformation rings.
- Compared the co - action of the spectral Hecke algebra with the action of the derived Hecke algebra on the cohomology of arithmetic groups, and verified their compatibility.
- This compatibility is similar to the strong Hecke compatibility in the Geometric Langlands Program.
### Mathematical formulas:
- **Homology group of local Galois deformation rings**:
\[
\pi_*(R_S)\sim\Lambda^*_{O}(\text{free }O\text{-module of rank }\delta)
\]
- **Homology group of spectral Hecke algebra**:
\[
\pi_*(SH^k_q\otimes_O\Lambda)^*\sim H_q(\Lambda)
\]
- **Derived local - global compatibility**:
\[
\begin{array}{ccc}
\pi_*(SH^k_q\otimes_O\Lambda)^*&\rightarrow&H_q(\Lambda)\\
\downarrow&&\downarrow\\
\pi_*(R_S\otimes_O\Lambda)^*&\rightarrow&\tilde{T}_m\otimes_O\Lambda
\end{array}
\]
Through these works, the paper fills an important theoretical gap in the Arithmetic Langlands Program and provides new tools and perspectives for further research.