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.

Whittaker coefficients of geometric Eisenstein series

Whittaker coefficients of geometric Eisenstein series

On the Eisenstein Cohomology of Arithmetic Groups

Whittaker functions for Steinberg representations of $GL(n)$ over a $p$-adic field

Tate cohomology of Whittaker lattices and base change of generic representations of ${\rm GL}_n$

Eisenstein Series on Metaplectic Covers and Multiple Dirichlet Series

The Whittaker Functional Is a Shifted Microstalk

A local twisted trace formula for Whittaker induction of coregular symmetric pairs: the geometric side

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

The Functional Equations of Langlands Eisenstein Series for $SL(n,\mathbb Z)$

On Rankin-Selberg integral structures and Euler systems for $\mathrm{GL}_2\times \mathrm{GL}_2$

Whittaker-Shintani functions for Fourier-Jacobi models on unitary groups

Generalized Laguerre functions and Whittaker vectors for holomorphic discrete series

Hypergeometric integrals, hook formulas and Whittaker vectors

The Taylor-Wiles method for coherent cohomology, II

Existence of Whittaker models related to four dimensional symplectic Galois representations

Geometric Langlands duality for periods

Whittaker modules and hyperbolic Toda lattices

Eichler-Shimura theory for general congruence subgroups

Equivariant Chern Weil Forms and The Families Index Theorem

On the arithmetic Siegel--Weil formula for GSpin Shimura varieties