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.

Proof of the geometric Langlands conjecture II: Kac-Moody localization and the FLE

Proof of the geometric Langlands conjecture IV: ambidexterity

Proof of the geometric Langlands conjecture I: construction of the functor

Proof of the geometric Langlands conjecture V: the multiplicity one theorem

Proof of the geometric Langlands conjecture III: compatibility with parabolic induction

Outline of the proof of the geometric Langlands conjecture for GL(2)

Motivic realization of rigid G-local systems on curves and tamely ramified geometric Langlands

Modular functoriality in the Local Langlands Correspondence

Local Langlands in families: The banal case

Local converse theorems and Langlands parameters

$\infty$-Categorical Generalized Langlands Correspondence II: Langlands Program Formalism

Affine Beilinson-Bernstein localization at the critical level

Relative Dolbeault Geometric Langlands via the Regular Quotient

Converse theorems and the local Langlands correspondence in families

Coherent Springer theory and the categorical Deligne-Langlands correspondence

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

Gauge Theory and Langlands Duality

Geometrization of the local Langlands correspondence: an overview

A Langlands dual realization of coherent sheaves on the nilpotent cone

K-motives, Springer Theory and the Local Langlands Correspondence

$\infty$-Categorical Generalized Langlands Program I: Mixed-Parity Modules and Sheaves