Multigraded Hurwitz forms

1. Problématique et Contexte

L'article s'inscrit dans la tradition de la théorie de l'élimination et de la géométrie algébrique. Il vise à généraliser la notion de forme de Hurwitz, un objet classique qui caractérise les sous-espaces linéaires de dimension complémentaire qui rencontrent une variété projective de manière non transverse (c'est-à-dire avec une intersection singulière ou tangente).

Jusqu'à présent, la théorie des formes de Hurwitz et des formes de Chow (qui décrivent les intersections non vides) était principalement développée pour les variétés dans un seul espace projectif $\mathbb{P}^n$. Les auteurs s'intéressent ici aux variétés $X$ situées dans un produit d'espaces projectifs $P = \mathbb{P}^{n_1} \times \mathbb{P}^{n_2} \times \dots \times \mathbb{P}^{n_\ell}$.

Le problème central est de définir et de calculer les formes de Hurwitz multigradées pour ces variétés. Ces formes sont des polynômes dans les coordonnées de Plücker de produits de grassmanniennes, dont le lieu des zéros correspond aux configurations de sous-variétés linéaires (produits de sous-espaces) qui intersectent $X$ de manière non transverse.

2. Méthodologie

Les auteurs développent une approche structurée combinant géométrie algébrique, théorie de l'élimination et combinatoire :

• Définitions Formelles : Ils définissent rigoureusement le lieu d'incidence de Hurwitz multigradé $\Phi_X^\alpha$. Ce lieu est l'adhérence de Zariski des paires $(p, L)$ où $L$ est un produit de sous-espaces linéaires de dimensions spécifiées par un vecteur $\alpha$, $p \in L \cap X_{reg}$, et l'intersection est non transverse en $p$. Une condition de transversalité est imposée sur les projections partielles pour assurer l'irréductibilité du lieu.
• Idéaux et Élimination : La forme de Hurwitz $Hu_X^\alpha$ est obtenue par élimination des variables de la variété $X$ à partir de l'idéal définissant $\Phi_X^\alpha$. Les auteurs proposent un algorithme basé sur les idéaux de Jacobian et les saturations pour calculer ces polynômes (Proposition 2.7).
• Formule de Degré : Le cœur théorique réside dans la dérivation d'une formule pour le degré de la forme de Hurwitz. Cette formule fait intervenir deux invariants géométriques clés :
  1. Le multidegré de la variété $X$ (sa classe dans l'anneau de Chow).
  2. Le genre multisectionnel $g(X)$, une généralisation du genre géométrique d'une courbe sectionnelle, défini comme un polynôme dont les coefficients sont les genres des courbes obtenues par intersection générique avec des produits de sous-espaces linéaires.
• Hypothèse de Polynodalité : Pour que la formule de degré soit exacte, les auteurs introduisent la notion de variété polynodale. Une variété est polynodale si ses sections courbes génériques et leurs projections sur tous les sous-produits d'espaces projectifs n'ont que des singularités nodales (et non des pointes ou d'autres singularités plus complexes).
• Implémentation Logicielle : Les auteurs ont développé un package Macaulay2 nommé MultiHurwitz.m2 pour calculer automatiquement les multidegrés, les genres multisectionnels et les degrés prédits des formes de Hurwitz.

3. Résultats Principaux

• Théorème 3.4 (Formule de Degré) : Pour une variété irréductible $X$ de codimension $c$, le degré $u_i$ de la forme de Hurwitz multigradée $Hu_X^\alpha$ dans la $i$-ème composante de l'espace des paramètres est borné par :
  $$u_i \leq 2(g_{\alpha+e_i} + \delta_\alpha - 1)$$
  où $\delta_\alpha$ est le coefficient du multidegré et $g_{\alpha+e_i}$ est le genre multisectionnel associé. L'égalité est atteinte si $X$ est polynodale.
• Intersections Complètes (Théorème 4.1) : Pour les intersections complètes génériques, les auteurs donnent une formule explicite pour le degré en fonction des degrés des équations définissant la variété. Cela permet de calculer les degrés sans avoir à déterminer explicitement la forme de Hurwitz.
• Variétés Toriques et Discriminants Mixtes (Section 5) : Ils relient les formes de Hurwitz aux discriminants mixtes (définis par Gelfand, Kapranov et Zelevinsky). Pour les variétés toriques, les degrés peuvent être déduits des polynômes de volume et des polytopes de Newton.
  • Application aux Jeux : Ils appliquent ces résultats à la théorie des jeux, en caractérisant les équilibres de Nash dégénérés (où deux équilibres coïncident) via les formes de Hurwitz multigradées. Le discriminant de Nash est identifié comme une forme de Hurwitz spécifique.
• Physique des Particules (Section 6) : L'article étudie les variétés d'incidence de lignes dans $\mathbb{P}^3$ (plongées dans des produits de grassmanniennes $G(1,3)$). Ces variétés sont liées aux discriminants LS (Leading Singularities) utilisés dans l'analyse de Landau pour les intégrales de Feynman. Les formes de Hurwitz multigradées fournissent les équations définissant ces singularités.

4. Exemples Concrets et Validation

• Exemple Introductif : Le papier commence par un système de 4 équations en 4 inconnues définissant une variété torique 4-dimensionnelle dans $\mathbb{P}^3 \times \mathbb{P}^3$. La forme de Hurwitz correspondante est un polynôme de bi-degré $(6,6)$ avec 45 termes, calculé explicitement.
• Cas des Courbes Planaires : Dans le cas $\ell=2, n_1=n_2=1$, les formes de Hurwitz se réduisent aux discriminants classiques par rapport à chaque variable.
• Écarts de Degré : L'article montre que lorsque la variété n'est pas polynodale (par exemple, si les projections ont des pointes au lieu de nœuds), le degré réel est strictement inférieur à la borne supérieure théorique, ce qui est illustré par l'exemple de la variété torique où le degré attendu $(8,8)$ est réduit à $(6,6)$.

5. Signification et Impact

Ce travail complète le « carré » des objets fondamentaux en théorie de l'élimination, reliant les formes de Chow (1937) et les formes de Hurwitz (2017) à leurs versions multigradées (2019 et présent).

• Outil d'Élimination : Il offre un nouvel outil puissant pour l'élimination dans les systèmes d'équations multigradés, fréquent en géométrie algébrique appliquée.
• Interdisciplinarité : L'article établit des ponts significatifs entre :
  • La théorie des jeux (équilibres de Nash dégénérés),
  • La physique théorique (intégrales de Feynman, analyse de Landau),
  • La géométrie combinatoire (polytopes, volumes mixtes).
• Logiciel Open Source : La mise à disposition du code MultiHurwitz.m2 permet à la communauté de calculer ces invariants complexes pour de nouvelles variétés, facilitant ainsi la recherche appliquée.

En résumé, cet article généralise profondément la théorie des formes de Hurwitz au contexte multigradé, fournit des formules de degré précises pour les intersections complètes et les variétés toriques, et démontre l'utilité cruciale de ces objets pour résoudre des problèmes concrets en théorie des jeux et en physique des hautes énergies.