SMF

Thêta-lifting géométrique pour la paire duale $\mathbb {SO}_{2m}, \mathbb {S}\mathrm {p}_{2n}$

Geometric theta-lifting for the dual pair $\mathbb {SO}_{2m}, \mathbb {S}\mathrm {p}_{2n}$

Sergey Lysenko
Thêta-lifting géométrique pour la paire duale $\mathbb {SO}_{2m}, \mathbb {S}\mathrm {p}_{2n}$
  • Consulter un extrait
  • Année : 2011
  • Tome : 44
  • Format : Électronique
  • Langue de l'ouvrage :
    Anglais
  • Class. Math. : 11R39; 14H60
  • Pages : 427-493
  • DOI : 10.24033/asens.2147
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}(\mathrm {Bun}_H)\to \mathrm {D}(\mathrm {Bun}_G)$ et $F_H: \mathrm {D}(\mathrm {Bun}_G)\to \mathrm {D}(\mathrm {Bun}_H)$ 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}(\mathrm {Bun}_H)\to \mathrm {D}(\mathrm {Bun}_G)$ commute avec les opérateurs de Hecke par rapport à l'inclusion des groupes duaux de Langlands $\check {H}\,\widetilde {\to }\, \mathrm {SO}_{2n}\stackrel {}{\hookrightarrow } \mathrm {SO}_{2n+1}\,\widetilde {\to }\,\check {G}$. Pour $m=n+1$ on montre que le foncteur $F_H: \mathrm {D}(\mathrm {Bun}_G)\to \mathrm {D}(\mathrm {Bun}_H)$ commute avec les opérateurs de Hecke par rapport à l'inclusion des groupes duaux de Langlands $\check {G}\,\widetilde {\to }\, \mathrm {SO}_{2n+1}\stackrel {}{\hookrightarrow }\mathrm {SO}_{2n+2}\,\widetilde {\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}(\mathrm {Bun}_H)\to \mathrm {D}(\mathrm {Bun}_G)$ and $F_H: \mathrm {D}(\mathrm {Bun}_G)\to \mathrm {D}(\mathrm {Bun}_H)$ 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}(\mathrm {Bun}_H)\to \mathrm {D}(\mathrm {Bun}_G)$ commutes with Hecke operators with respect to the inclusion of the Langlands dual groups $\check {H}\,\widetilde {\to }\, \mathrm {SO}_{2n}\stackrel {}{\hookrightarrow } \mathrm {SO}_{2n+1}\,\widetilde {\to }\,\check {G}$. For $m=n+1$ we show that the functor $F_H: \mathrm {D}(\mathrm {Bun}_G)\to \mathrm {D}(\mathrm {Bun}_H)$ commutes with Hecke operators with respect to the inclusion of the Langlands dual groups $\check {G}\,\widetilde {\to }\, \mathrm {SO}_{2n+1}\stackrel {}{\hookrightarrow }\mathrm {SO}_{2n+2}\,\widetilde {\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.
Thêta-lifting, Langlands géométrique, fonctorialité de Langlands, faisceau thêta
Theta-lifting, geometric Langlands, Langlands functoriality, theta-sheaf
Accès libre
Consulter