Geometric constant term functor(s)
When studying the space of automorphic functions on an adéle group \(G\), one defines a pair of adjoint functors, suggestively called the ``Eisenstein series \(\text{Eis}\) and the ``constant term \(\text{CT}\), which connect it to similar spaces on \(G\)'s Levi subgroups. The paper introduces analogs of these functors in algebraic geometry. Consider a smooth connected projective curve \(X\) and the moduli stack \(\text{Bun}_G\) of principal \(G\)-bundles over \(X\) for a reductive \(G\). The space of automorphic functions corresponds to the DG category of (not necessarily holonomic) \(D\)-modules on \(\text{Bun}_G\). If \(P\) is a parabolic subgroup of \(G\), and \(M\) is the Levi quotient of \(G\) by \(P\), then we have a diagram of stacks \(\text{Bun}_M\overleftarrow{q}\text{Bun}_G \overrightarrow{p}\text{Bun}_P\), which restricts to each connected component of \(\text{Bun}_M\), these are labeled by \(\mu\in\pi_1(M)\). This defines a pair of functors \(\text{Eis}_*^\mu:=p_*\circ q^!\) and \(\text{CT}_*^\mu:= q_*\circ p^!\). It is not obvious that their left adjoints, \(\text{Eis}_!^\mu\) and \(\text{CT}_!^\mu\), respectively, are well-defined because \(p\), while quasi-compact and representable, is neither smooth nor proper, and \(q\), while smooth and safe, is not representable. The authors first show that \(p_!\) is well-defined on the essential image of \(q^*\), so \(\text{Eis}_!^\mu:= p_!\circ q^*\) is well-defined (it turns out to be closely related to the geometric Langlands conjecture). However, the same does not hold for \(p^*\), and one can not define \(\text{CT}_!^\mu\) analogously. The main result of the paper is that nonetheless the naïve composition can be made sense of, and moreover \(\text{CT}_!^\mu\) is isomorphic to \(\text{CT}_*^{\mu,-}\), where the \(-\) indicates taking the \(\text{CT}_*^\mu\) as above, but for the opposite parabolic subgroup \(P^-\). The result can be interpreted as deriving a non-standard functional equation. The authors give two proofs of the main result. The first one imitates the authors' earlier reproof of Braden's theorem on hyperbolic restrictions, and directly establishes the \(\text{CT}_*^{\mu,-}\), \(\text{Eis}_*^\mu\) adjunction by specifying the unit and the counit morphisms. The second proof deduces the isomorphism from the Braden's theorem by using schemes acted on by \(\mathbb{G}_m\). The result is similar to the Second Adjointness theorem in the theory of \(\mathfrak{p}\)-adic groups, and to a theorem of Lusztig on restrictions of character sheaves. The latter and the main result of the paper are particular cases of a general statement, which replaces \(\text{Bun}_G\) by the moduli stack of \(G\)-bundles with level structure at a finite collection of points on \(X\) (the Lusztig's theorem corresponds to \(X=\mathbb{P}^1\) with level \(1\) structure at \((0,\infty)\)).
- Geometric Eisenstein series
- Outline of the proof of the geometric Langlands conjecture for \(\mathrm{GL}(2)\)
- A "strange" functional equation for Eisenstein series and miraculous duality on the moduli stack of bundles
- Geometric Langlands correspondence for \({\mathcal D}\)-modules in prime characteristic: the \(\mathrm{GL}(n)\) case
- Geometrization of trace formulas
- A "strange" functional equation for Eisenstein series and miraculous duality on the moduli stack of bundles
- A vanishing theorem for group compactifications
- Algebraic monoids and group embeddings
- Algebraic monoids with affine unit group are affine.
- Algebraic spaces
- Compact generation of the category of D-modules on the stack of \(G\)-bundles on a curve
- DG indschemes
- Dimension of affine Springer fibers for groups
- Fourier transform of algebraic measures
- Frobenius splitting methods in geometry and representation theory
- Geometric Eisenstein series
- Geometry of second adjointness for p-adic groups. (With an appendix by Yakov Varshavsky, Roman Bezrukavnikov and David Kazhdan).
- scientific article; zbMATH DE number 3929184 (Why is no real title available?)
- scientific article; zbMATH DE number 193439 (Why is no real title available?)
- scientific article; zbMATH DE number 480585 (Why is no real title available?)
- scientific article; zbMATH DE number 826086 (Why is no real title available?)
- scientific article; zbMATH DE number 1391023 (Why is no real title available?)
- Hyperbolic localization of intersection cohomology
- Large Schubert varieties
- On a theorem of Braden
- On some finiteness questions for algebraic stacks
- Principal bundles over the projective line
- Singular support of coherent sheaves and the geometric Langlands conjecture
- Geometric Eisenstein series
- On an invariant bilinear form on the space of automorphic forms via asymptotics
- Picard-Lefschetz oscillators for the Drinfeld-Lafforgue-Vinberg degeneration for \(\mathrm{SL}_2\)
- Deligne-Lusztig duality on the stack of local systems
- Steinberg slices and group-valued moment maps
- Wonderful asymptotics of matrix coefficient D-modules
- On a theorem of Braden
- On the Deligne-Lusztig involution for character sheaves
- A formula for the geometric Jacquet functor and its character sheaf analogue
- Singular support of coherent sheaves and the geometric Langlands conjecture
- Eisenstein series and quantum groups
- A "strange" functional equation for Eisenstein series and miraculous duality on the moduli stack of bundles
- On the reductive monoid associated to a parabolic subgroup
- The wonderful compactification for quantum groups
- Cuspidal cohomology of stacks of shtukas
- Nearby cycles on Drinfeld-Gaitsgory-Vinberg interpolation Grassmannian and long intertwining functor
- Deligne–Lusztig duality on the moduli stack of bundles
- Constant term functors with \(\mathbb{F}_p\)-coefficients
- The Whittaker functional is a shifted microstalk
- Second adjointness and cuspidal supports at the categorical level
- Non-vanishing of geometric Whittaker coefficients for reductive groups
- Geometrization of the Satake transform for mod p Hecke algebras
- On a strange invariant bilinear form on the space of automorphic forms
- Geometric Eisenstein series. I: Finiteness theorems
This page was built for publication: Geometric constant term functor(s)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q730318)
