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.

Averaging algebras, Schröder numbers, rooted trees and operads

Averaging operators on groups, racks and Leibniz algebras

Remarks on the Sequential Effect Algebras

Averaging method in combinatorics of symmetric polynomials

2-term averaging L∞-algebras and non-abelian extensions of averaging Lie algebras

Averaging operators over homogeneous varieties over finite fields

Hom-associative algebras, Admissibility and Relative averaging operators

Averaging operators on $q$-deformed Witt and $q$-deformed $W(2,2)$ algebras

Averaging functors in Fargues' program for GL_n

Rota--Baxter and averaging operators on racks and rack algebras

Powers averaging for actions on $C(X)$-algebras

Commutative modified Rota-Baxter algebras, shuffle products and Hopf algebras

The Liouville Theorem for Discrete Symmetric Averaging Operators

How averaged is the projection?

Splitting of Operads and Rota-Baxter Operators on Operads

Variable metric algorithms driven by averaged operators

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

Arity shape of polyadic algebraic structures

Odd Dunkl Operators and nilHecke Algebras

Expansions of averaged truncations of basic hypergeometric series

Approximate algebraic structure