Tangent bundle of punctual Hilbert scheme and distinguishing products of varieties

Résumé Technique

1. Problématique et Contexte

L'article s'inscrit dans le domaine de la géométrie algébrique complexe, se concentrant sur deux questions fondamentales liées aux schémas de Hilbert ponctuels et aux produits de variétés :

1. Décomposition du fibré tangent : Pour une surface projective lisse $X$ et un entier $n \ge 2$, le schéma de Hilbert ponctuel $X^{[n]}$ (paramétrant les sous-schémas de longueur $n$ de $X$) est une variété projective lisse de dimension $2n$. L'objectif principal est de déterminer la structure du fibré tangent $T_{X^{[n]}}$, spécifiquement de décrire ses composantes indécomposables (c'est-à-dire les vecteurs qui ne peuvent pas être écrits comme une somme directe de deux fibrés non nuls).
2. Classification des produits : La question de savoir si un isomorphisme entre deux produits de variétés implique l'égalité des facteurs (à permutation près). Plus précisément, si $\prod X^{[a_i]} \cong \prod X^{[b_j]}$, peut-on conclure que les ensembles d'entiers $\{a_i\}$ et $\{b_j\}$ sont identiques ? Une conjecture récente dans la littérature [10] suggérait une réponse positive pour les schémas de Hilbert.

2. Méthodologie

L'auteur développe une approche combinant la théorie des fibrés vectoriels, la théorie des groupes d'automorphismes et l'analyse des actions de groupes symétriques. La stratégie se décompose en plusieurs étapes clés :

• Lifting vers le produit symétrique : L'idée centrale est d'utiliser la relation entre le schéma de Hilbert $X^{[n]}$ et le produit symétrique $X^{(n)} = X^n / S_n$. Le morphisme de Hilbert-Chow $f: X^{[n]} \to X^{(n)}$ et la projection quotient $q: X^n \to X^{(n)}$ permettent de relier les fibrés tangents.
• Analyse des sous-fibrés invariants : L'article étudie la décomposition du fibré tangent du produit $T_{X^n}$. Puisque $X^{[n]}$ est une résolution de singularités de $X^{(n)}$, toute décomposition de $T_{X^{[n]}}$ induirait une décomposition de $T_{X^n}$ en sous-fibrés invariants sous l'action du groupe symétrique $S_n$.
• Classification des surfaces à fibré tangent scindé : Un travail préliminaire crucial (Section 3) consiste à classifier les surfaces $X$ dont le fibré tangent $T_X$ admet un facteur direct trivial ou est scindé (somme de deux fibrés en droites). L'auteur démontre que cela ne se produit que pour les surfaces abéliennes, les surfaces bielliptiques, ou certaines fibrations en $\mathbb{P}^1$ sur une courbe elliptique (classe notée $\tilde{C}$).
• Obstruction par extension : La Section 5 constitue le cœur technique de la preuve. L'auteur démontre que certains sous-fibrés naturels de $T_{X^n}$ (notamment ceux construits à partir de facteurs directs de $T_X$) ne peuvent pas être étendus en sous-fibrés de $T_{X^{[n]}}$. Cela est prouvé par une analyse locale fine des fibres de la clôture de l'image de ces sous-fibrés dans l'espace total du fibré tangent de $X^{[n]}$, montrant une contradiction de dimension.

3. Résultats Principaux

Théorème A : Décomposition du fibré tangent de $X^{[n]}$
Soit $X$ une surface projective lisse et $n \ge 2$. La décomposition en composantes indécomposables de $T_{X^{[n]}}$ dépend de la nature de $X$ :

1. Cas Abélien : Si $X$ est une surface abélienne, alors $T_{X^{[n]}} \cong \mathcal{O}_{X^{[n]}}^{\oplus 2} \oplus E$, où $E$ est un fibré vectoriel indécomposable.
2. Cas Classe $\tilde{C}$ : Si $X$ est de classe $\tilde{C}$ (surfaces abéliennes, bielliptiques, ou fibrations en $\mathbb{P}^1$ sur une elliptique avec $T_X$ scindé), alors $T_{X^{[n]}} \cong \mathcal{O}_{X^{[n]}} \oplus E$, où $E$ est indécomposable.
3. Cas Général : Dans tous les autres cas, $T_{X^{[n]}}$ est indécomposable.

De plus, dans les cas (1) et (2), le fibré indécomposable $E$ est le noyau d'une application différentielle $d\pi$ associée à un morphisme lisse $\pi: X^{[n]} \to F'$ vers une variété abélienne $F'$.

Théorème B : Classification des produits de schémas de Hilbert
Soit $X$ une surface projective lisse. Si $\prod_{i=1}^r X^{[a_i]} \cong \prod_{j=1}^s X^{[b_j]}$, alors $r=s$ et les multisets $\{a_1, \dots, a_r\}$ et $\{b_1, \dots, b_s\}$ sont identiques.

• Preuve : L'auteur utilise le Théorème A pour définir des invariants numériques basés sur le nombre de facteurs de rang spécifique dans la décomposition du fibré tangent du produit. Ces invariants permettent de récupérer les entiers $a_i$ et $b_j$.

Théorème C : Classification des produits de puissances symétriques
Soit $X$ une variété lisse de dimension $\ge 2$. Si $\prod_{i=1}^r X^{(a_i)} \cong \prod_{j=1}^s X^{(b_j)}$, alors $r=s$ et les multisets sont identiques.

• Méthode : La preuve utilise une induction sur la dimension et l'analyse des singularités. L'auteur montre que les composantes irréductibles du lieu singulier de ces produits, ainsi que leurs normalisations, permettent de distinguer les facteurs $X^{(m)}$.

4. Contributions Clés

• Résolution de la conjecture [10] : L'article fournit une preuve définitive de la conjecture sur la classification des produits de schémas de Hilbert ponctuels de surfaces, étendant les résultats antérieurs connus pour les courbes [20].
• Structure fine du fibré tangent : La description précise de la décomposition de $T_{X^{[n]}}$ en fonction de la géométrie de la surface de base $X$ est un résultat nouveau et profond. Elle lie la décomposabilité du fibré tangent de la variété de Hilbert à la décomposabilité du fibré tangent de la surface de base.
• Technique d'obstruction : La démonstration de la non-extendabilité de certains sous-fibrés (Théorème 5.1) est une contribution méthodologique significative, offrant un outil puissant pour étudier la géométrie des résolutions de singularités.

5. Signification et Impact

Ce travail comble un vide important dans la compréhension des propriétés vectorielles des schémas de Hilbert, qui sont des objets centraux en géométrie algébrique et en théorie des représentations (notamment via les variétés de Calabi-Yau et les variétés hyperkähleriennes).

• Géométrie des variétés hyperkähleriennes : Pour les surfaces K3 et abéliennes, les schémas de Hilbert sont des exemples fondamentaux de variétés hyperkähleriennes. La compréhension de leur fibré tangent éclaire leur structure géométrique globale.
• Problème de cancellation : Les résultats du Théorème B et C apportent une réponse positive au problème de cancellation pour des classes importantes de variétés projectives, renforçant la rigueur de la classification des produits de variétés.
• Outils futurs : Les techniques développées, en particulier l'analyse des actions de groupes sur les fibrés tangents et l'étude des extensions de sous-fibrés, sont susceptibles d'être appliquées à d'autres problèmes de décomposition de fibrés sur des variétés quotients ou des résolutions.

En conclusion, l'article de Sarkar établit un lien robuste entre la géométrie locale (fibré tangent) et la géométrie globale (classification des produits) des schémas de Hilbert, en utilisant une analyse fine des structures algébriques sous-jacentes.