Higher Period Integrals and Derivatives of L-functions

1. Problématique et Contexte

L'article s'inscrit dans le programme de Langlands géométrique et vise à établir un lien profond entre les intégrales de périodes d'automorphes et les dérivées centrales d'ordre supérieur des fonctions $L$.

• Contexte classique : La relation entre les périodes et les valeurs spéciales des fonctions $L$ (comme la formule de Waldspurger ou l'intégrale de Rankin-Selberg) est bien comprise. Cependant, l'information arithmétique plus profonde réside dans les dérivées de ces fonctions $L$ (théorème de Gross-Zagier, conjectures de Birch et Swinnerton-Dyer).
• Limites des approches existantes :
  • La formule de Gross-Zagier supérieure de Yun et Zhang [YZ17] relie les nombres d'intersection de cycles spéciaux (cycles de Heegner-Drinfeld) aux dérivées centrales, mais elle repose sur la compacité de ces cycles, une propriété spécifique aux périodes toriques qui ne se généralise pas facilement aux variétés sphériques de dimension supérieure.
  • L'approche de Yun-Zhang est intrinsèquement liée à la formule des traces relative, ce qui manque de mécanisme conceptuel pour les cas généraux où une telle formule n'est pas disponible.
• Objectif : Développer un cadre conceptuel et uniforme pour relier les intégrales de périodes géométriques aux dérivées d'ordre supérieur des fonctions $L$ dans le cas fortement tempéré (strongly tempered), en étendant le cadre de la dualité de Langlands relative [BZSV24] aux dérivées supérieures et aux groupes de rang supérieur.

2. Méthodologie

Les auteurs adoptent une approche purement géométrique et catégorielle, évitant la formule des traces relative classique. Leur stratégie repose sur quatre piliers principaux :

A. Intégrales de Périodes Géométriques et Observables $L$

Au lieu de l'intégrale de période numérique classique, les auteurs travaillent avec son analogue faisceautique :
$$\int_X L_\sigma := H^*_c(\text{Bun}_G^X, \pi^* L_\sigma)$$
où $L_\sigma$ est un faisceau propre de Hecke (Hecke eigensheaf) sur le champ de modules $\text{Bun}_G$ des $G$-faisceaux, associé à un système local $\sigma$ du groupe dual $\check{G}$.
L'idée centrale est que cette intégrale géométrique admet des endomorphismes naturels agissant sur elle, provenant des observables $L$ (éléments de l'algèbre de Plancherel).

B. Structure de Module de Clifford

Pour une variété $G$-affine lisse et fortement tempérée $X$, les auteurs construisent une action d'une algèbre de Clifford $Cl(M)$ sur l'intégrale de période géométrique.

• $M$ est un espace vectoriel symplectique (super-espace) associé à la représentation symplectique duale $\check{M}$ et au système local $\sigma$.
• Cette action est construite via des correspondances cohomologiques spéciales (special cohomological correspondences) définies localement et étendues globalement par une procédure "local-to-global".
• Les générateurs de l'algèbre de Clifford agissent via des classes fondamentales dérivées (derived fundamental classes) sur des espaces de modules de modifications de Hecke.

C. Relations de Commutateur Automorphes

Un résultat clé est la preuve (sous certaines hypothèses techniques, notamment pour les courbes de genre $g \neq 1$) d'une relation de commutateur automorphe :
$$c_{V \boxtimes W} - c_{W \boxtimes V} = \Delta_! c_{V \otimes W}$$
Cette relation, qui généralise les relations de Clifford, relie les correspondances cohomologiques associées à des représentations $V$ et $W$ à celle associée à leur produit tensoriel. Elle est prouvée en utilisant la théorie des faisceaux étales sur des empilements non-Artiniens et des arguments de base change pro-lisse.

D. Systèmes de Kolyvagin et Dérivées

Une fois l'action de l'algèbre de Clifford établie, les auteurs utilisent un formalisme algébrique abstrait (inspiré des systèmes de Kolyvagin sur les corps de nombres) pour extraire les dérivées.

• En prenant la trace de Frobenius composée avec les endomorphismes de Clifford, ils définissent une suite d'éléments $\{z_r\}$ (système de Kolyvagin).
• Un théorème d'algèbre linéaire (Théorème 3.27) montre que le produit scalaire de ces éléments est directement proportionnel à la dérivée centrale d'ordre $r$ de la fonction $L$ associée.

3. Résultats Principaux

Théorème Géométrique (Théorème 1.2 / Corollaire 6.12)

Sous l'hypothèse de la conjecture de Plancherel de [BZSV24], l'intégrale de période géométrique $\int_X L_\sigma$ porte une structure naturelle de module sur l'algèbre de Clifford $Cl(M)$, où$M = H^1(C, K_\sigma)$ est un espace vectoriel symplectique dérivé du système local dual.

Théorème Arithmétique (Théorème 1.4 / Théorème 6.16)

Pour un système de Kolyvagin $\{z_{L_\sigma, r}\}$ associé à cette action, les auteurs établissent la formule suivante reliant les invariants géométriques aux dérivées de fonctions $L$ :
$$\omega_r(z_{L_\sigma, r}, z_{L_\sigma, r}) = \beta_{\sigma, X} (\log q)^{-r} \left( \frac{d}{ds} \right)^r \Big|_{s=0} \left( q^{(g-1)\dim(K)s} L(K_\sigma, s + 1/2) \right)$$
où :

• $\omega_r$ est la forme bilinéaire induite sur $(M^{\otimes r})^*$.
• $\beta_{\sigma, X}$ est une constante explicite dépendant de la variété $X$ et du système local $\sigma$.
• $L(K_\sigma, s)$ est la fonction $L$ attachée à la représentation symplectique duale.

Application : Cas Rankin-Selberg (Théorème 1.7 / Théorème 7.11)

Les auteurs appliquent ce cadre au cas $(GL_n \times GL_{n-1}, GL_{n-1})$.

• Ils explicitent complètement la structure de module de Clifford (qui est la représentation irréductible unique de $Cl(M)$).
• Ils calculent les constantes explicites (incluant les nombres de root $\epsilon$ et les caractères de Hecke).
• Ils obtiennent une formule pour les dérivées d'ordre $r$ de la fonction $L$ de Rankin-Selberg $L(\sigma_n \otimes \sigma_{n-1}, s)$.

4. Signification et Impact

• Généralisation Conceptuelle : Ce travail fournit une généralisation conceptuelle de la formule de Gross-Zagier supérieure [YZ17] aux variétés sphériques de dimension supérieure (au-delà du cas torique). Il explique pourquoi les dérivées supérieures apparaissent : elles sont la manifestation géométrique de l'action de l'algèbre de Clifford sur les périodes.
• Unification : Le cadre unifie la théorie des périodes, la dualité de Langlands relative et les systèmes de Kolyvagin dans un seul formalisme géométrique.
• Nouveaux Outils : La construction des correspondances cohomologiques spéciales et la preuve des relations de commutateur sur les empilements de Hecke ouvrent la voie à l'étude de cycles spéciaux et de leurs intersections dans des contextes où les méthodes classiques (trace formula) échouent.
• Fonction de Corps de Fonctions : En travaillant sur les corps de fonctions, les auteurs utilisent la richesse de la géométrie algébrique (moduli de Shtukas) pour donner un sens géométrique aux dérivées de fonctions $L$, un problème encore mystérieux sur les corps de nombres.

En résumé, Liu et Wang proposent un mécanisme géométrique robuste où les observables $L$ agissent comme des opérateurs de Clifford sur les périodes, transformant les propriétés algébriques de ces opérateurs en formules explicites pour les dérivées centrales des fonctions $L$.