Geometric theta-lifting for the dual pair ${\mathrm{𝕊𝕆}}_{2m},𝕊{\mathrm{p}}_{2n}$

Lysenko, Sergey

Annales scientifiques de l'École Normale Supérieure, Série 4, Tome 44 (2011) no. 3, pp. 427-493.

Soit $X$ une courbe projective lisse sur un corps algébriquement clos de caractéristique $>2$. On considère la paire duale $H={\mathrm{SO}}_{2m}$, $G={\mathrm{Sp}}_{2n}$ sur $X$ où $H$ est déployé. Notons ${\mathrm{Bun}}_G$ et ${\mathrm{Bun}}_H$ les champs de modules des $G$-torseurs et des $H$-torseurs sur $X$. Le faisceau thêta ${\mathrm{Aut}}_{G,H}$ sur ${\mathrm{Bun}}_G\times {\mathrm{Bun}}_H$ donne lieu aux foncteurs de thêta-lifting $F_G:\mathrm{D}\left({\mathrm{Bun}}_H\right)\to \mathrm{D}\left({\mathrm{Bun}}_G\right)$ et $F_H:\mathrm{D}\left({\mathrm{Bun}}_G\right)\to \mathrm{D}\left({\mathrm{Bun}}_H\right)$ entre les catégories dérivées correspondantes. On décrit la relation entre ces foncteurs et les opérateurs de Hecke. Dans deux cas particuliers cela devient la fonctorialité de Langlands géométrique pour cette paire (cas partout non ramifié). À savoir, on montre que pour $n=m$ le foncteur $F_G:\mathrm{D}\left({\mathrm{Bun}}_H\right)\to \mathrm{D}\left({\mathrm{Bun}}_G\right)$ commute avec les opérateurs de Hecke par rapport à l’inclusion des groupes duaux de Langlands $\check{H}\tilde{\to }{\mathrm{SO}}_{2n}\stackrel{}{\hookrightarrow }{\mathrm{SO}}_{2n+1}\tilde{\to }\check{G}$. Pour $m=n+1$ on montre que le foncteur $F_H:\mathrm{D}\left({\mathrm{Bun}}_G\right)\to \mathrm{D}\left({\mathrm{Bun}}_H\right)$ commute avec les opérateurs de Hecke par rapport à l’inclusion des groupes duaux de Langlands $\check{G}\tilde{\to }{\mathrm{SO}}_{2n+1}\stackrel{}{\hookrightarrow }{\mathrm{SO}}_{2n+2}\tilde{\to }\check{H}$. Dans d’autres cas la relation est plus complexe et fait intervenir le ${\mathrm{SL}}_2$ d’Arthur. Comme une étape de la preuve, on établit le thêta-lifting géométrique pour la paire duale ${\mathrm{GL}}_m,{\mathrm{GL}}_n$. Nos résultats globaux sont déduits de résultats locaux correspondants, qui géométrisent un théorème de Rallis.

Let $X$ be a smooth projective curve over an algebraically closed field of characteristic $>2$. Consider the dual pair $H={\mathrm{SO}}_{2m},G={\mathrm{Sp}}_{2n}$ over $X$ with $H$ split. Write ${\mathrm{Bun}}_G$ and ${\mathrm{Bun}}_H$ for the stacks of $G$-torsors and $H$-torsors on $X$. The theta-kernel ${\mathrm{Aut}}_{G,H}$ on ${\mathrm{Bun}}_G\times {\mathrm{Bun}}_H$ yields theta-lifting functors $F_G:\mathrm{D}\left({\mathrm{Bun}}_H\right)\to \mathrm{D}\left({\mathrm{Bun}}_G\right)$ and $F_H:\mathrm{D}\left({\mathrm{Bun}}_G\right)\to \mathrm{D}\left({\mathrm{Bun}}_H\right)$ between the corresponding derived categories. We describe the relation of these functors with Hecke operators. In two particular cases these functors realize the geometric Langlands functoriality for the above pair (in the non ramified case). Namely, we show that for $n=m$ the functor $F_G:\mathrm{D}\left({\mathrm{Bun}}_H\right)\to \mathrm{D}\left({\mathrm{Bun}}_G\right)$ commutes with Hecke operators with respect to the inclusion of the Langlands dual groups $\check{H}\tilde{\to }{\mathrm{SO}}_{2n}\stackrel{}{\hookrightarrow }{\mathrm{SO}}_{2n+1}\tilde{\to }\check{G}$. For $m=n+1$ we show that the functor $F_H:\mathrm{D}\left({\mathrm{Bun}}_G\right)\to \mathrm{D}\left({\mathrm{Bun}}_H\right)$ commutes with Hecke operators with respect to the inclusion of the Langlands dual groups $\check{G}\tilde{\to }{\mathrm{SO}}_{2n+1}\stackrel{}{\hookrightarrow }{\mathrm{SO}}_{2n+2}\tilde{\to }\check{H}$. In other cases the relation is more complicated and involves the ${\mathrm{SL}}_2$ of Arthur. As a step of the proof, we establish the geometric theta-lifting for the dual pair ${\mathrm{GL}}_m,{\mathrm{GL}}_n$. Our global results are derived from the corresponding local ones, which provide a geometric analog of a theorem of Rallis.

[1] J. Adams, $L$-functoriality for dual pairs, Astérisque 171-172 (1989), 85-129. | Numdam | Zbl

[2] A. A. Beilinson, J. Bernstein & P. Deligne, Faisceaux pervers, Astérisque 100 (1982), 5-171. | MR | Zbl

[3] A. A. Beilinson & V. Drinfeld, Quantization of Hitchin's integrable system and Hecke eigen-sheaves, preprint http://www.math.uchicago.edu/~mitya/langlands.html. | MR

[4] T. Braden, Hyperbolic localization of intersection cohomology, Transform. Groups 8 (2003), 209-216. | MR | Zbl

[5] A. Braverman & D. Gaitsgory, Geometric Eisenstein series, Invent. Math. 150 (2002), 287-384. | MR | Zbl

[6] E. Frenkel, D. Gaitsgory & K. Vilonen, Whittaker patterns in the geometry of moduli spaces of bundles on curves, Ann. of Math. 153 (2001), 699-748. | MR | Zbl

[7] E. Frenkel, D. Gaitsgory & K. Vilonen, On the geometric Langlands conjecture, J. Amer. Math. Soc. 15 (2002), 367-417. | MR | Zbl

[8] D. Gaitsgory, Construction of central elements in the affine Hecke algebra via nearby cycles, Invent. Math. 144 (2001), 253-280. | Zbl

[9] D. Gaitsgory, On a vanishing conjecture appearing in the geometric Langlands correspondence, Ann. of Math. 160 (2004), 617-682. | MR | Zbl

[10] D. Gaitsgory, On de Jong's conjecture, Israel J. Math. 157 (2007), 155-191. | MR | Zbl

[11] D. Gaitsgory & D. Nadler, Spherical varieties and Langlands duality, Mosc. Math. J. 10 (2010), 65-137. | MR | Zbl

[12] R. Howe, Another look at the local $\theta$-correspondence for an unramified dual pair, in Festschrift in honor of I. I. Piatetski-Shapiro on the occasion of his sixtieth birthday, Part I (Ramat Aviv, 1989), Israel Math. Conf. Proc. 2, Weizmann, 1990, 93-124. | MR | Zbl

[13] M. Kapranov & E. Vasserot, Vertex algebras and the formal loop space, Publ. Math. I.H.É.S. 100 (2004), 209-269. | Numdam | MR | Zbl

[14] S. S. Kudla, On the local theta-correspondence, Invent. Math. 83 (1986), 229-255. | MR | Zbl

[15] S. S. Kudla, Notes on the local theta correspondence, lecture notes http://www.math.toronto.edu/~skudla/castle.pdf, 1996. | Zbl

[16] V. Lafforgue & S. Lysenko, Geometric Weil representation: local field case, Compos. Math. 145 (2009), 56-88. | Zbl

[17] Y. Laszlo & M. Olsson, The six operations for sheaves on Artin stacks. II. Adic coefficients, Publ. Math. I.H.É.S. 107 (2008), 169-210. | Numdam | Zbl

[18] G. Laumon, Transformation de Fourier, constantes d'équations fonctionnelles et conjecture de Weil, Publ. Math. I.H.É.S. 65 (1987), 131-210. | Numdam | Zbl

[19] S. Lysenko, Moduli of metaplectic bundles on curves and theta-sheaves, Ann. Sci. École Norm. Sup. 39 (2006), 415-466. | Numdam | Zbl

[20] S. Lysenko, Geometric Waldspurger periods, Compos. Math. 144 (2008), 377-438. | Zbl

[21] I. Mirković & K. Vilonen, Geometric Langlands duality and representations of algebraic groups over commutative rings, Ann. of Math. 166 (2007), 95-143. | Zbl

[22] C. Mœglin, M.-F. Vignéras & J.-L. Waldspurger, Correspondances de Howe sur un corps $p$-adique, Lecture Notes in Math. 1291, Springer, 1987. | Zbl

[23] S. Rallis, Langlands' functoriality and the Weil representation, Amer. J. Math. 104 (1982), 469-515. | Zbl