---
title: Geometric Eisenstein Functors
url: https://www.emergentmind.com/topics/geometric-eisenstein-series-functors
type: topic
---

# Geometric Eisenstein Functors

Geometric Eisenstein series functors are sheaf-theoretic analogues of classical Eisenstein series and parabolic induction. For a reductive group \(G\), a parabolic subgroup \(P\subset G\) with Levi quotient \(M\), and the correspondence of moduli stacks of bundles
\[
\Bun_M \xleftarrow{\,q\,} \Bun_P \xrightarrow{\,p\,} \Bun_G,
\]
they are defined by pull–push operations between sheaf categories on \(\Bun_M\) and \(\Bun_G\). Depending on the context, one obtains \(!\)- and \(*\)-versions, compactified variants, and normalized forms adapted to D-modules, \(\ell\)-adic sheaves, genuine metaplectic categories, and sheaves on stacks of bundles over the Fargues–Fontaine curve. Their structure is controlled by kernels on \(\Bun_P\) or its compactifications, and their significance is tied to constant term functors, Hecke actions, Verdier duality, Whittaker functionals, and spectral Eisenstein functors in geometric Langlands [1311.2071] [2210.04420] [2409.07363] [1211.1596].

## 1. Basic correspondence and principal definitions

The foundational input is always the moduli-theoretic correspondence attached to a parabolic reduction. On a smooth projective curve over an algebraically closed field, Drinfeld–Gaitsgory formulate four basic D-module functors
\[
\begin{aligned}
Eis_!&:=p_!\,q^*,\\
Eis_*&:=p_*\,q^!,\\
CT_*&:=q_*\,p^!,\\
CT_!&:=q_!\,p^*,
\end{aligned}
\]
with the expected adjunctions \((Eis_!\dashv CT_*)\) and \((CT_!\dashv Eis_*)\) once the relevant domains of definition are established [1311.2071]. Taylor uses the same pull–push pattern on D-modules over a complex curve and writes the automorphic Eisenstein functor as
\[
\Eis_! = p_!\circ q^* : D\textup{-}\!\DMod(\Bun_M)\to D\textup{-}\!\DMod(\Bun_G),
\]
with the remark that one may normalize by twisting along \(\omega^{-\rho}\) and by cohomological shifts without changing the construction up to an explicit line bundle [2210.04420].

In metaplectic rank two, Lysenko replaces the untwisted kernel by a genuine perverse sheaf. For \(G=Mp_2\), with \(P=B\) and \(M\simeq GL_1\), the functor is the integral transform
\[
Eis_P^G(\mathcal F)=p_{G,!}\bigl(q_P^*(\mathcal F)\otimes IC_{P,W}\bigr)[-\dim \Bun_M],
\]
where \(IC_{P,W}\) is the perverse extension of a rank-one Artin–Schreier local system twisted by the genuine \(\mu_2\)-character; here “genuine” means odd for the central \(\mu_2\)-action [1211.1596].

On the Fargues–Fontaine curve, Hamann–Hansen–Scholze define normalized \(\ell\)-adic Eisenstein functors
\[
E_P^!(\mathcal F)=p_!\bigl(q^*\mathcal F\otimes IC_{\Bun_P}\bigr),
\qquad
E_P^*(\mathcal F)=p_*\bigl(q^*\mathcal F\otimes IC_{\Bun_P}\bigr),
\]
together with the corresponding constant term functors defined by the same kernel \(IC_{\Bun_P}\) [2409.07363]. In the Borel case over the Fargues–Fontaine curve, a further normalization gives the principal-series functor
\[
nEis(\mathscr F)=p_!\bigl(q^*\mathscr F\otimes IC_{\Bun_B}\bigr),
\qquad
IC_{\Bun_B}=q^*(\Delta_B^{1/2})[\dim \Bun_B],
\]
where \(\Delta_B\) is the character sheaf for \(2\hat\rho\circ|\cdot|\) [2209.08175].

| Setting | Eisenstein functor | Kernel or normalization |
|---|---|---|
| D-modules on \(\Bun_M,\Bun_G\) | \(Eis_!=p_!q^*\), \(Eis_*=p_*q^!\) | Pull–push along \(\Bun_M \leftarrow \Bun_P \rightarrow \Bun_G\) [1311.2071] |
| Genuine \(\ell\)-adic sheaves for \(Mp_2\) | \(Eis_P^G(\mathcal F)=p_{G,!}(q_P^*\mathcal F\otimes IC_{P,W})[-\dim\Bun_M]\) | Genuine kernel \(IC_{P,W}\) [1211.1596] |
| Fargues–Fontaine, general \(P\) | \(E_P^!, E_P^*\) | Self-dual \(IC_{\Bun_P}\) [2409.07363] |
| Fargues–Fontaine, Borel | \(nEis(\mathscr F)=p_!(q^*\mathscr F\otimes IC_{\Bun_B})\) | \(IC_{\Bun_B}=q^*(\Delta_B^{1/2})[\dim \Bun_B]\) [2209.08175] |

A recurring source of confusion is that “the” geometric Eisenstein functor is not a single canonical normalization. The literature distinguishes \(!\)- and \(*\)-versions, compactified and non-compactified kernels, and various twists by modulus or Whittaker normalizations. The common core is the parabolic pull–push geometry.

## 2. Kernels, compactifications, and normalization data

The kernel perspective is central. In Drinfeld–Gaitsgory, the noncompact map \(p:\Bun_P\to\Bun_G\) is not proper in general, so the existence of \(Eis_!\) is nontrivial. The key point is that \(p_!\) is nevertheless well-defined on the essential image of \(q^*\), which yields a continuous functor \(Eis_{!,\check\lambda}\) on each connected component of \(\Bun_M\) [1311.2071].

Compactification enters through Drinfeld’s compactified moduli of parabolic reductions. Færgeman–Hayash consider a relative compactification
\[
\widetilde p:\widetilde\Bun_P\to\Bun_G,\qquad \widetilde q:\widetilde\Bun_P\to\Bun_M,
\]
whose fibers are stratified by defect \(\theta\in \Lambda_{G,P}^{\neg}\), and define the compactified Eisenstein functor
\[
\Eis_P^{\overline!}(F)=\widetilde p_!\bigl(\IC_{\widetilde\Bun_P}\overset{!}\otimes \widetilde q^!F\bigr).
\]
This makes the compactification itself part of the kernel formalism rather than merely an auxiliary technical device [2507.13930].

In the metaplectic \(Mp_2\) setting, the kernel is already nonstandard on the open locus \(\Bun_p\subset \Bun_P\) where the \(P\)-reduction is a subbundle. Lysenko defines \(IC_{P,W}\) as the perverse extension of the rank-one Artin–Schreier local system \(W\) arising from the \(\mathbb G_a\)-torsor structure \(\Bun_p\to\Bun_P\), twisted by the genuine \(\mu_2\)-character. The theorem that \(IC_{P,W}\) is ULA with respect to \(q_P\) is then the structural input behind duality and exactness properties of \(Eis_P^G\) [1211.1596].

The Fargues–Fontaine formalism packages the normalization directly into the dualizing object. Hamann–Hansen–Scholze define
\[
IC_{\Bun_P}=q^*(\text{modulus-twist})[\dim\Bun_P]
\]
so that \(IC_{\Bun_P}\) is Verdier-self-dual, while Caraiani–Hansen–Jin–Le Bras–Scholze identify in the Borel case the dualizing object on \(\Bun_B\) with \(q^*(\Delta_B)[2\dim(\Bun_B)]\), producing the self-dual \(IC_{\Bun_B}\) used in \(nEis\) [2409.07363] [2209.08175].

These constructions show that the kernel is not merely a bookkeeping device. It encodes the normalizing twist, the compactification data, and the precise duality behavior of the functor.

## 3. Adjunctions, exactness, and functional equations

The first general structural result is the restoration of the four-functor pattern. Drinfeld–Gaitsgory prove that \(CT_{!,P}\) exists and is canonically isomorphic to the opposite-parabolic functor \(CT_{*,P^-}\). Equivalently, \((CT_{*,P^-},Eis_{!,P})\) is an adjoint pair, and Verdier duality intertwines \(Eis_{*,P}\) with \(Eis_{!,P^-}\) [1311.2071].

Gaitsgory’s later analysis shows that on the non-quasi-compact stack \(\Bun_G\), ordinary Verdier duality is replaced by the pseudo-identity or “miraculous duality” functor
\[
\Ps\!-\!\Id_{Bun_G,!}:D\hbox{–mod}(Bun_G)_{\mathrm{co}}\to D\hbox{–mod}(Bun_G),
\]
which is an equivalence. Relative to this duality, Eisenstein and constant term satisfy a “strange” functional equation, for example
\[
Eis_!\circ \Ps\!-\!\Id_{Bun_M,!}\simeq \Ps\!-\!\Id_{Bun_G,!}\circ Eiso,*,
\]
where \(Eiso,*=(CT_{P^-})^\vee\) [1404.6780]. This identifies the functional equation for Eisenstein series with a categorical statement about duality on \(\Bun_G\).

In the metaplectic case, Lysenko proves a parallel package of properties. Since \(IC_{P,W}\) is ULA over \(q_P\), the functor \(Eis_P^G\) commutes with Verdier duality, preserves purity of weights, and is perverse \(t\)-exact up to the shift \([-\dim \Bun_M]\). The same section also establishes factorization-type compatibility and transitivity with respect to parabolic induction, such as
\[
Eis_{P_1}^G\circ Eis_{P_2}^{M_1}\simeq Eis_{P_2}^G
\]
for appropriate nested Levi data [1211.1596].

Over the Fargues–Fontaine curve, Hamann–Hansen–Scholze prove finiteness results analogous to classical properties of parabolic induction and Jacquet modules. In particular, \(E_P^!\) preserves compact objects, \(CT_P^*\) preserves ULA objects, there is a canonical isomorphism \(CT_P^!\to CT_P^*\), and geometric Bernstein second adjointness gives
\[
CT_P^*\xrightarrow{\sim}CT_{P^-}^!.
\]
Equivalently, \(E_P^!\dashv CT_{P^-}^!\) and \(CT_P^*\dashv E_P^*\) [2409.07363].

Taken together, these results show that geometric Eisenstein functors are not isolated pull–push constructions. They sit inside a rigid system of adjunctions and dualities, and much of the subtlety comes from making these structures survive nonproperness and non-quasi-compactness.

## 4. Whittaker models and Fourier coefficients

Whittaker theory provides one of the sharpest probes of geometric Eisenstein series. In the metaplectic \(Mp_2\) case, Lysenko introduces the stack \(\Bun_R\) of extensions
\[
0\to \ell\cdot \omega^{-1}\to M\to \ell^{-1}\to 0,
\]
the evaluation map \(ev:\Bun_R\to \mathbb A^1\), the Artin–Schreier sheaf \(C=ev^*\mathcal L_\psi\), and the map \(v_B:\Bun_R\to \Bun_G\). The most non-degenerate Whittaker coefficient of a genuine automorphic sheaf \(\mathcal K\) is then
\[
Four_\psi(\mathcal K)=v_{B,!}\bigl(v_B^*\mathcal K\otimes C\bigr)[\dim\Bun_R-\dim\Bun_G].
\]
For a rank-one local system \(E\) with automorphic sheaf \(AE\), the Whittaker coefficient of \(Eis_P^G(AE[\dim\Bun_1])\) is computed on each \(RCov_d\) by a direct sum involving
\[
R\Gamma\!\bigl(X^{(d')},(E^*)^{(d')}\otimes \mathcal E_0\bigr)[0]\otimes \det H^1(X,E\otimes \mathcal E_0)^{[-d']},
\]
recovering the classical Maas–Waldspurger formula in geometric guise. In particular, the nonzero coefficients occur only in the correct even degrees [1211.1596].

The same paper develops a family version of the Whittaker category for \(Mp_2\). Auxiliary stacks \(Q_1\), \(Q_2\), and \(Q_{2,ex}\) encode generic sections and generic Hecke \(\kappa\)-equivariance along the unipotent radical. A key theorem constructs an exact equivalence
\[
W_{ex}:D(Q_1)\xrightarrow{\sim} D^{Wh}(Q_{2,ex}),
\]
and identifies standard perverse sheaves \(B^\lambda\) with the Whittaker kernel \(IC_{P,W}\) on the relevant strata. The paper emphasizes that these calculations lead to a conjectural characterization of the Whittaker sheaf for \(Mp_2\), though its existence is not clear [1211.1596].

Taylor proves a general Whittaker-coefficient formula for geometric Eisenstein series in the D-module setting. For a \(\check T\)-local system \(\sigma\) on \(X\) and a Hecke eigensheaf \(K\in \DMod(\Bun_T)\) with eigenvalue \(\sigma\),
\[
W(\Eis_!K)=\Hom(\Whit,\Eis_!K)\simeq \mathcal O(\LocSys_{\check N}^\sigma)[d_G].
\]
The proof passes through Zastava spaces, factorization homology on the Ran space, the chiral enveloping algebra \(C_\bullet(\check n_\sigma)\), and the Beilinson–Drinfeld formula
\[
\Gamma(\Ran,A)\simeq C_\bullet(\Gamma(X,\check n_\sigma)),
\]
which yields Lie-algebra homology as functions on the moduli of \(\check N\)-local systems [2210.04420].

A plausible implication is that Whittaker coefficients organize the discrepancy between the automorphic pull–push definition and the spectral geometry of \(\LocSys_{\check N}\). In the cited works this is not merely heuristic: it becomes an explicit identification.

## 5. Hecke structures, parabolic functoriality, and spectral compatibilities

Hecke-equivariance is a decisive refinement of the basic functoriality. In the metaplectic \(Mp_2\) construction, the ULA property of \(IC_{P,W}\) is obtained by building twisted Hecke correspondences over \(X^m\) and proving Braverman–Gaitsgory equivariance for all Hecke moves at finitely many points. The same framework yields factorization and transitivity for Eisenstein functors as parabolic data vary [1211.1596].

Færgeman–Hayash generalize the principal-parabolic Hecke compatibility of Braverman–Gaitsgory to arbitrary parabolics. Their key result is that the compactified kernel
\[
IC_{\widetilde\Bun_P}\in D(\widetilde\Bun_P)
\]
admits a canonical lift to a \(\Rep(\check M)\otimes \Rep(\check G)\)-Hecke module, expressed by compatible isomorphisms
\[
\Res^{\check G}_{\check M}(V)\star IC \simeq IC\star V
\qquad (V\in \Rep(\check G)).
\]
On the open locus \(\Bun_P\subset \widetilde\Bun_P\), the kernel \(j_!(\omega_{\Bun_P})\) carries an enhanced Drinfeld–Plücker structure
\[
C^\bullet(\check{\mathfrak n}_P,V)\star j_!(\omega)\simeq j_!(\omega)\star V,
\]
compatible with the algebra structure on the Chevalley complex \(C^\bullet(\check{\mathfrak n}_P)\). As a consequence, both \(\Eis_P^!\) and \(\Eis_P^{\overline!}\) are \(\Rep(\check G)\)-linear [2507.13930].

The same work relates compactified and non-compactified kernels through semi-infinite geometry and Koszul duality. The semi-infinite IC-sheaf \(IC^{\tfrac\infty2}_{P,Ran}\) carries a coaction of \((\check N_P)_{Ran}\), and taking invariants recovers \(j_!(\omega)\). Globalizing this comparison yields a Koszul-duality relation between the kernels
\[
IC_{\widetilde\Bun_P}\longleftrightarrow j_!(\omega_{\Bun_P}),
\]
hence between the corresponding functors:
\[
\Eis_P^!\simeq \D_{\mathrm{Koszul}}\!\bigl(\Eis_P^{\overline!}\bigr).
\]
This identifies the open and compactified Eisenstein constructions as dual manifestations of the same parabolic data [2507.13930].

On the spectral side, Taylor defines
\[
\SpecEis=\check p_*^{\IndCoh}\circ \check q^*:\IndCoh(\LocSys_{\check M})\to \IndCoh(\LocSys_{\check G}),
\]
while Færgeman–Hayash formulate compatibilities with the automorphic-to-spectral geometric Langlands functor
\[
\BL_G:D(\Bun_G)\to \IndCoh_{\Nilp}(\LocSys_{\check G}),
\]
namely
\[
\BL_G\circ \Eis_P^!\simeq \Eis_P^{\spec}\circ \BL_M,
\qquad
CT_P^!\circ \BL_G\simeq \BL_M\circ CT_P^{\spec}.
\]
In their presentation, this compatibility is deduced by passing through Whittaker models and the geometric Casselman–Shalika equivalence [2210.04420] [2507.13930].

## 6. Fargues–Fontaine theory, local Langlands applications, and categorical decomposition

The Fargues–Fontaine curve supplies a local analogue of the global theory. Caraiani–Hansen–Jin–Le Bras–Scholze construct the normalized Borel Eisenstein functor \(nEis\) on \(D(\Bun_T)\to D(\Bun_G)\) for a quasi-split connected reductive group \(G/\mathbb Q_p\) with simply connected derived subgroup. They prove a filtered Hecke-eigenproperty: for \(V\in \Rep({}^LG^I)\), the complex \(T_V(nEis(\mathscr F))\) carries a \(W_{\mathbb Q_p^I}\)-equivariant filtration indexed by weight tuples \((\nu_i)\), and its graded pieces are
\[
nEis(T_{(\nu_i)}(\mathscr F))\otimes \boxtimes_i\,V_i(\nu_i)
\]
up to the stated shift and Tate twist. For a toral parameter \(\phi_T\), this implies that \(nEis(\mathscr S_{\phi_T})\) behaves as a Hecke eigensheaf with eigenvalue determined by the weight decomposition of \(r_V\circ \phi\) [2209.08175].

They also compute stalks on Harder–Narasimhan strata. Under mild genericity and compatibility assumptions, for unramified \(b\in B(G)\),
\[
nEis(\mathscr S_{\phi_T})|_{\Bun_G^b}
\simeq
\bigoplus_{w\in W_b}
j_{b!}\, i_{B_b}^{J_b}\bigl(\chi^w\otimes \delta_{P_b}^{-1/2}\bigr)
[-\langle 2\hat\rho,\nu_b\rangle],
\]
and the sheaf vanishes on non-unramified strata. From the top-stratum description one obtains canonical intertwining isomorphisms
\[
i_B^G(\chi)\simeq i_B^G(\chi^w)\qquad \forall\, w\in W_G.
\]
The same package recovers special cases of Shin’s averaging formula and refines it to non-minuscule situations, including explicit cohomological degrees and Tate twists [2209.08175].

Hamann–Hansen–Scholze develop a broader Fargues–Fontaine theory of geometric Eisenstein and constant term functors. They prove preservation of compactness and ULA, geometric second adjointness, and a cuspidal–Eisenstein decomposition of \(D(\Bun_G)\). The Eisenstein subcategory is generated under colimits by the essential images of \(E_P^!\) for proper parabolics, while the cuspidal subcategory is the joint kernel of all \(CT_P^*\). Their theorem gives a semiorthogonal decomposition
\[
D(\Bun_G)=\langle D(\Bun_G)_{\mathrm{Eis}},\,D(\Bun_G)_{\mathrm{cusp}}\rangle,
\]
and for \(A=\mathbb Q_\ell\) an orthogonal decomposition
\[
D(\Bun_G)=D(\Bun_G)_{\mathrm{Eis}}\oplus D(\Bun_G)_{\mathrm{cusp}}.
\]
In the example \(G=GL_2\), they identify \(E_B^!\) with compactly supported parabolic induction on the trivial stratum and \(CT_B^*\) with the normalized Jacquet module on generic strata [2409.07363].

This local theory shows that geometric Eisenstein functors are not confined to the global setting of algebraic curves over algebraically closed fields. In the Fargues–Fontaine context they become tools for local Langlands, for the geometry of Harder–Narasimhan strata, and for categorical decompositions that parallel the Bernstein theory of smooth \(p\)-adic representations.

Source: https://www.emergentmind.com/topics/geometric-eisenstein-series-functors