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.

A derived construction of eigenvarieties

Universal coefficients for overconvergent cohomology and the geometry of eigenvarieties

On the GL(2n) eigenvariety: branching laws, Shalika families and $p$-adic $L$-functions

Eigenvariety for partially classical Hilbert modular forms

Constructing abelian varieties from rank 2 Galois representations

On two modular geometric realizations of an affine Hecke algebra

A $p$-adic adjoint $L$-function and the ramification locus of the Hilbert modular eigenvariety

Locally analytic vectors and decompletion in mixed characteristic

Derived Categories of Derived Grassmannians

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

Non-commutative Iwasawa theory of abelian varieties over global function fields

Cohomology and geometry of Deligne--Lusztig varieties for ${\rm GL}_n$

On $p$-adic $L$-functions for $GL_{2n}$ in finite slope Shalika families

Moduli spaces of semiorthogonal decompositions in families

Derived hyperquot schemes

$p$-adic rigidity of eigenforms of infinite slope

Spherical varieties and non-ordinary families of cohomology classes

Partial Hasse Invariants on Splitting Models of Hilbert Modular Varieties

Realizing Galois representations in abelian varieties by specialization

Derived Satake morphisms for $p$-small weights in characteristic $p$