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.

Recent Advances in the Langlands Program

Automorphic Forms and the Langlands Program

Langlands Program, Trace Formulas, and their Geometrization

Langlands correspondence and Bezrukavnikov's equivalence

Gauge Theory and Langlands Duality

A general framework for the analytic Langlands correspondence

Questions and Remarks to the Langlands Program

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

The Langlands-Weissman Program for Brylinski-Deligne extensions

All what I wanted to know about Langlands program and was afraid to ask

Quantum Hall Effect and Langlands Program

Geometric Langlands Program

Geometrization of the local Langlands correspondence: an overview

Topological aspects of matters and Langlands program

L-groups and the Langlands program for covering groups: a historical introduction

Local Langlands in families: The banal case

Shtukas for reductive groups and Langlands correspondence for function fields

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

Affine Hecke algebras for Langlands parameters

Derived structures in the Langlands Correspondence

Beijing notes on the categorical local Langlands conjecture