Geometric realisation of hypergeometric local systems

1. Problématique et Contexte

L'article s'intéresse à la réalisation géométrique des systèmes locaux hypergéométriques irréductibles définis sur les nombres rationnels ($\mathbb{Q}$).

• Objet d'étude : Soit $H$ un système local hypergéométrique associé à deux multisets de nombres rationnels $\alpha = (\alpha_1, \dots, \alpha_n)$ et $\beta = (\beta_1, \dots, \beta_n)$. Ce système est défini par l'opérateur différentiel hypergéométrique $H(\alpha, \beta)$ sur $\mathbb{P}^1 \setminus \{0, 1, \infty\}$.
• Question centrale : Ces systèmes locaux, qui sont motiviques (selon les travaux d'André et Katz), peuvent-ils être réalisés explicitement comme des sous-quotients de la variation de cohomologie d'une famille d'variétés algébriques ?
• L'approche proposée : Les auteurs considèrent une famille spécifique de variétés affines dans un tore algébrique, notée $(Z, \pi)$, associée à un vecteur gamma $\gamma$. L'objectif est de prouver l'isomorphisme entre le système local $H$ et la partie primitive de la cohomologie à support compact de la famille $(Z, \pi)$, plus précisément :
  $$H \simeq_{gr W} \text{gr}^W_\kappa \text{PR}^\kappa \pi_{U!} \mathbb{C}$$
  où $\kappa$ est la dimension des fibres.

2. Méthodologie

La preuve ne repose pas sur la construction explicite d'une période (ce qui est difficile pour des vecteurs gamma généraux), mais sur une analyse fine de la monodromie locale et de la structure des opérateurs différentiels.

A. Construction de la famille géométrique

Pour un vecteur gamma $\gamma = (\gamma_1, \dots, \gamma_l)$ (entiers non nuls, somme nulle, premiers entre eux), les auteurs définissent une famille de variétés affines $Z_t \subset (\mathbb{C}^\times)^{l-1}$ par les équations :
$$\sum_{j=1}^l z_j = 0 \quad \text{et} \quad \prod_{j=1}^l z_j^{\gamma_j} = \Gamma t$$
où $\Gamma = \prod \gamma_j^{\gamma_j}$. Cette famille est une spécialisation des circuits de Gelfand-Kapranov-Zelevinsky (GKZ).

B. Stratégie de preuve

La démonstration se divise en deux théorèmes principaux :

1. Réduction à la monodromie (Théorème 1.1) :
   Les auteurs montrent que si le système local de cohomologie $R^\kappa \pi_{U!} \mathbb{Q}$ possède une monodromie locale non triviale au point singulier $t=1$, alors l'isomorphisme recherché est vrai.

   • Technique : Ils utilisent la théorie des systèmes différentiels GKZ pour montrer que les périodes de formes relatives monomiales sont annulées par des opérateurs hypergéométriques réductibles.
   • Analyse de poids : En étudiant la filtration de poids de la cohomologie, ils démontrent qu'il existe une forme relative de poids minimal dont l'opérateur différentiel minimal possède une singularité "réelle" (non triviale) en $t=1$.
   • Comparaison : En comparant les rangs (via les nombres de Hodge) et les monodromies locales, ils concluent que l'opérateur minimal coïncide avec l'opérateur hypergéométrique irréductible $H$.

2. Vérification de la condition de monodromie (Théorème 1.2) :
   L'étape cruciale consiste à prouver que la monodromie est bien non triviale pour certaines familles. Les auteurs utilisent le formalisme des cycles proches et cycles évanescents (nearby and vanishing cycles).

   • Ils analysent la fibre singulière $Z_1$, qui possède un unique point singulier de type point double ordinaire (ODP).
   • Ils établissent une suite exacte de cohomologie à support compact reliant $Z_1$, $Z_t$ et la fibre de Milnor $F_x$.
   • Ils prouvent que l'application de spécialisation est un isomorphisme (impliquant une monodromie non triviale) dans deux cas :
     • Lorsque les fibres sont des courbes (dimension 1).
     • Lorsque les fibres sont de dimension paire.

3. Résultats Principaux

• Théorème 1.1 (Condition suffisante) : Si le système local $R^\kappa \pi_{U!} \mathbb{Q}$ a une monodromie non triviale en $t=1$, alors l'isomorphisme $H \simeq \text{gr}^W_\kappa \text{PR}^\kappa \pi_{U!} \mathbb{C}$ est établi.
• Théorème 1.2 (Cas vérifiés) : La condition de monodromie non triviale est satisfaite si :
  1. La famille $(Z, \pi)$ est une famille de courbes.
  2. La famille $(Z, \pi)$ est une famille de variétés de dimension paire.
• Cas des dimensions impaires > 1 : Pour les familles de dimension impaire supérieure à 1, la question de la monodromie non triviale reste ouverte et nécessite de nouvelles idées.
• Cas particuliers (Vecteur gamma à une entrée négative) : Dans la Section 4, les auteurs fournissent une preuve directe (via la construction explicite d'une période) pour les vecteurs gamma ayant une seule entrée négative, confirmant ainsi des résultats antérieurs de Corti et Golyshev.

4. Contributions Techniques Clés

1. Nouvelle approche par la monodromie : Au lieu de chercher à identifier directement les périodes (ce qui échoue pour les vecteurs gamma généraux), les auteurs utilisent l'égalité des rangs et la structure des singularités des opérateurs différentiels pour établir l'isomorphisme.
2. Analyse de la singularité ODP : L'utilisation précise de la fibre de Milnor d'un point double ordinaire pour contrôler la monodromie dans le contexte de la cohomologie à support compact est un outil technique puissant.
3. Généralisation des modèles toriques : L'article généralise les constructions de variétés associées aux vecteurs gamma au-delà des cas où le polytope de Newton est un simplexe, en introduisant des modèles toriques flexibles et en étudiant leur régularité quasi-$\Delta$.
4. Lien avec la symétrie miroir : L'article renforce le lien entre les motifs hypergéométriques et les modèles de Landau-Ginzburg associés aux variétés de Fano pondérées, offrant une réalisation géométrique de la variation de structure de Hodge (VHS) rationnelle.

5. Signification et Impact

Ce travail est significatif pour plusieurs raisons :

• Unification : Il fournit un cadre unifié pour la réalisation géométrique d'une large classe de systèmes locaux hypergéométriques définis sur $\mathbb{Q}$, reliant la théorie des nombres, la géométrie algébrique et la théorie des représentations.
• Résolution de conjectures : Il confirme la conjecture de Corti et Golyshev pour une classe étendue de cas (dimensions paires et courbes), en fournissant une preuve inconditionnelle dans ces cas.
• Outils pour la symétrie miroir : En reliant explicitement les opérateurs quantiques des variétés de Fano aux opérateurs hypergéométriques via des familles de variétés affines, l'article offre des outils concrets pour l'étude de la symétrie miroir en géométrie algébrique.
• Limites et perspectives : L'article identifie clairement la difficulté restante pour les dimensions impaires supérieures à 1, ouvrant la voie à de futures recherches sur la monodromie des variétés de dimension impaire.

En résumé, Abdelraouf et Gugliatti réussissent à réaliser géométriquement des systèmes hypergéométriques complexes en exploitant la structure fine de la monodromie locale et la géométrie des singularités, dépassant les limitations des approches précédentes basées uniquement sur le calcul de périodes.