Abstract:In the geometric Langlands program over function fields, Braverman-Gaitsgory and Laumon constructed geometric Eisenstein functors which geometrize the classical construction of Eisenstein series. Fargues and Scholze very recently constructed a general candidate for the local Langlands correspondence, via a geometric Langlands correspondence occurring over the Fargues-Fontaine curve. We carry some of the theory of geometric Eisenstein series over to the Fargues-Fontaine setting. Namely, given a quasi-split connected reductive group $G/\mathbb{Q}_{p}$ with simply connected derived group and maximal torus $T$, we construct an Eisenstein functor $\mathrm{nEis}(-)$, which takes sheaves on $Bun_{T}$ to sheaves on $Bun_{G}$. We show that, given a sufficiently nice $L$-parameter $\phi_{T}: W_{\mathbb{Q}_{p}} \rightarrow \phantom{}^{L}T$, there is a Hecke eigensheaf on $Bun_{G}$ with eigenvalue $\phi$, given by applying $\mathrm{nEis}(-)$ to the Hecke eigensheaf $\mathcal{S}_{\phi_{T}}$ on $Bun_{T}$ attached to $\phi_{T}$ by Fargues and Zou. We show that $\mathrm{nEis}(\mathcal{S}_{\phi_{T}})$ interacts well with Verdier duality, and, assuming compatibility of the Fargues-Scholze correspondence with a suitably nice form of the local Langlands correspondence, provide an explicit formula for the stalks of the eigensheaf in terms of parabolic inductions of the character $\chi$ attached to $\phi_{T}$. This has several surprising consequences. First, it recovers special cases of an averaging formula of Shin for the cohomology of local Shimura varieties with rational coefficients, and generalizes it to the non-minuscule case. Second, it refines the averaging formula in the cases where the parameter $\phi$ is sufficiently nice, giving an explicit formula for the degrees of cohomology that certain parabolic inductions sit in, and this refined formula holds even with torsion coefficients.

On the Eisenstein Cohomology of Arithmetic Groups

On the Cuspidal Cohomology of Arithmetic Groups

Eisenstein series on arithmetic quotients of rank 2 Kac--Moody groups over finite fields, with an appendix by Paul Garrett

Cohomology with Sym^g coefficients for congruence subgroups of SL_4(Z) and Galois representations

$S$-arithmetic (co)homology and $p$-adic automorphic forms

Locally algebraic representations and integral structures on the cohomology of arithmetic groups

On the top-dimensional cohomology of arithmetic Chevalley groups

Two results on Eisenstein part of homology and cohomology groups of Bianchi modular groups

Cuspidal Part of an Eisenstein Series Restricted to an Index 2 Subfield

Asymptotics of rational representations for algebraic groups

Eisenstein Series on Loop Groups

On the rational cohomology of spin hyperelliptic mapping class groups

Relative Lie algebra cohomology of SU(2,1) and Eisenstein classes on Picard surfaces

Entirety of Certain Cuspidal Eisenstein Series on Kac–Moody Groups

Eichler-Shimura theory for general congruence subgroups

A note on the spaces of Eisenstein series on general congruence subgroups

Geometric Eisenstein Series, Intertwining Operators, and Shin's Averaging Formula

Eisenstein cocycles in motivic cohomology

Actions of Cusp Forms on Holomorphic Discrete Series and Von Neumann Algebras

Graded Lie Algebras, Compactified Jacobians and Arithmetic Statistics