  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.
