Virtual invariants from the non-associative Hilbert scheme

Résumé Technique : Invariants Virtuels à partir du Schéma de Hilbert Non-Associatif

Énoncé du Problème
La géométrie des schémas de Hilbert de points, particulièrement dans les dimensions $n \geq 3$, est notoirement subtile. Si le schéma de Hilbert de points sur une surface lisse est lisse et bien compris, le schéma de Hilbert de points sur une variété de dimension trois ou supérieure est typiquement singulier. En géométrie énumérative, particulièrement pour les variétés de Calabi-Yau de dimension trois et quatre, on s'appuie sur des classes fondamentales virtuelles pour définir des invariants (tels que les invariants de Donaldson-Thomas). Ces classes sont traditionnellement construites via des théories d'obstruction parfaites, souvent réalisées comme des lieux critiques de fonctions sur des espaces de modules de matrices non commutatives (le « modèle matriciel non commutatif »).

Cependant, les modèles existants font face à des limitations :

1. Les modèles non commutatifs remplacent l'anneau de coordonnées commutatif par une algèbre associative libre, réalisant le schéma de Hilbert comme un lieu critique d'un potentiel imposant des relations de commutativité.
2. Les schémas de Hilbert emboîtés (chaînes de sous-schémas) sont généralement singuliers avec des structures de composantes mal comprises, pourtant ils sont essentiels pour les théories de comptage de faisceaux (par exemple, la théorie de Vafa-Witten ou de Seiberg-Witten).
3. Il existe un besoin pour une construction unifiée et élémentaire de classes fondamentales virtuelles pour les schémas de Hilbert emboîtés dans des dimensions arbitraires, qui produise des classes virtuelles de dimension positive lorsque la dimension ambiante $n$ est grande par rapport au nombre de points $d$.

Méthodologie
Les auteurs introduisent un modèle non associatif pour le schéma de Hilbert de points. Au lieu de relâcher la commutativité (comme dans les modèles non commutatifs), ils relâchent l'associativité tout en maintenant la commutativité.

1. Construction de l'Espace Ambiant Non-Associatif :
   Les auteurs définissent le schéma de Hilbert emboîté non associé, noté $na\text{NHilb}^{\mathbf{d}}(A^n)$, comme le lieu de modules de chaînes d'idéaux $I_{r+1} \subset \dots \subset I_1 \subset I_0 = \mathbb{C}\{x_1, \dots, x_n\}^c$, où $\mathbb{C}\{x_1, \dots, x_n\}^c$ est l'algèbre unitaire, commutative mais non associative sur $n$ générateurs.

• Ils prouvent que $na\text{NHilb}^{\mathbf{d}}(A^n)$ est une variété lisse.
• La construction utilise une description par empilement quotient $[M_{n,d}/P_d]$, où $M_{n,d}$ est un sous-schéma localement fermé lisse d'un espace vectoriel paramétrant des structures d'algèbres, et $P_d$ est un groupe parabolique agissant librement.

2. Réalisation du Schéma Classique :
   Le schéma emboîté classique $NHilb^{\mathbf{d}}(A^n)$ (où les algèbres sont associatives) est plongé dans l'espace ambiant non associé en tant que lieu d'associativité.

• Ce lieu est défini par l'annulation d'une section globale $s_{ass}$ d'un fibré vectoriel $E_{ass}$ (le fibré d'associativité) sur l'espace ambiant lisse.
• Par conséquent, $NHilb^{\mathbf{d}}(A^n)$ hérite d'une théorie d'obstruction parfaite canonique et d'une classe fondamentale virtuelle $[NHilb^{\mathbf{d}}(A^n)]^{vir}$.

3. Localisation Virtuelle :
   Les auteurs utilisent l'action de tore $T = (\mathbb{C}^*)^n$ sur $A^n$, qui se lève au schéma de Hilbert non associé. Ils appliquent la formule de localisation virtuelle de Graber-Pandharipande pour calculer la classe virtuelle.

• Les points fixes correspondent à des chaînes d'idéaux monomiaux, qui sont en bijection avec des partitions emboîtées.
• Les auteurs dérivent des formules explicites pour l'espace tangent et le fibré d'obstruction en ces points fixes, exprimées en termes des poids du tore.

4. Formules de Résidus Itérés :
   Pour le lieu ponctuel (spécifiquement le lieu à filtrage nilpotent $NHilb^{\mathbf{d}}_{nil\text{-}fil}(A^n)$), les auteurs construisent une résolution partielle fibrée sur une variété de drapeaux. En utilisant la localisation d'Atiyah-Bott sur cette résolution, ils transforment les intégrales virtuelles en formules de résidus itérés.

• Un résultat technique clé est que pour le lieu à filtrage nilpotent, tous les résidus s'annulent sauf une contribution unique provenant de la partition « Porteous » (contenant uniquement des vecteurs unitaires dans l'ordre naturel).

Contributions Clés et Résultats

• Théorème 1.1 (Formule de Localisation Virtuelle) : Les auteurs fournissent une formule explicite pour la classe fondamentale virtuelle équivariante $[NHilb^{\mathbf{d}}(A^n)]^{vir}$ comme une somme sur des partitions emboîtées admissibles. Les poids sont donnés par des fonctions rationnelles des poids du tore $s_i$.

  • Condition d'Admissibilité : Une partition est admissible si elle ne contient pas de vecteurs avec 3 coordonnées ou plus non nulles, et si sa projection sur n'importe quel plan 2D se situe dans des bornes spécifiques (liées à la condition « Porteous »).
  • Cette formule permet le calcul des invariants virtuels pour tous les couples $(n, d)$.

• Théorème 1.2 (Formule de Résidus Itérés) : Pour le lieu à filtrage nilpotent avec un vecteur de dimension $\mathbf{d} = (1, d_1, \dots, d_r)$, les auteurs dérivent une formule de résidu itéré multivariée unique pour les intégrales virtuelles de classes tautologiques.

  • La formule est valide même lorsque la longueur totale $d$ dépasse la dimension ambiante $n$, grâce à l'immersion du problème dans un espace de dimension supérieure $A^N$ ($N \gg n$) et la comparaison des structures virtuelles.
  • La formule généralise les techniques antérieures de Bérczi et Szenes utilisées en théorie des singularités et dans le calcul des polynômes de Thom.

• Classes Virtuelles de Dimension Positive : Contrairement à de nombreuses constructions précédentes où les classes virtuelles sont de dimension zéro (par exemple, sur les variétés de Calabi-Yau de dimension trois), cette construction produit des classes virtuelles de dimension positive dès lors que la dimension ambiante $n$ est suffisamment grande par rapport au nombre de points.

• Relation avec les Modèles Non Commutatifs : Le papier établit une application rationnelle du schéma de Hilbert non associé vers le schéma de Hilbert emboîté non commutatif. Cette application est bien définie sur le domaine contenant le schéma de Hilbert de points et se restreint à l'identité sur le lieu d'associativité. Cela suggère un pont entre les approches non associatives (commutatives mais non associatives) et non commutatives des invariants DT.

Signification et Revendications
Les auteurs affirment que ce travail fournit une construction élémentaire et concrète de classes fondamentales virtuelles pour les schémas de Hilbert emboîtés dans toutes les dimensions.

• Unification : Elle unifie l'étude des nombres d'intersection tautologiques (étudiés précédemment sur la composante curviligne) avec la théorie d'intersection virtuelle sur le schéma de Hilbert complet.
• Contrôle Combinatoire : La théorie démontre que les nombres d'intersection universels sur les schémas de Hilbert de points sont régis par des formules de résidus multivariées explicites sur les données combinatoires des idéaux monomiaux et des partitions, reflétant la structure des théories tautologiques.
• Extension aux Dimensions Supérieures : La construction est censée étendre le modèle matriciel non commutatif et les constructions de classes virtuelles sur les variétés de Calabi-Yau de dimension trois vers des dimensions plus élevées et des contextes emboîtés.
• Travaux Futurs : Les auteurs notent que ce cadre sera utilisé dans des travaux à venir pour reconstruire les invariants de Donaldson-Thomas des variétés de Calabi-Yau de dimension trois à partir du modèle non associé, révélant un pont direct entre les théories tautologiques et virtuelles.

Le papier ne prétend pas résoudre l'existence générale des invariants DT pour tous les espaces de modules de faisceaux, mais fournit plutôt une machinerie spécifique et robuste pour calculer les invariants virtuels sur les schémas de Hilbert emboîtés de points en utilisant un nouveau modèle géométrique non associatif.