An obstruction to smoothing stable maps

Résumé Technique : Un obstacle à la lissage des cartes stables

Énoncé du Problème
L'article traite du problème de la détermination de la « lissabilité » d'une carte stable $f: C \to X$ issue d'une courbe préstable vers une variété projective lisse $X$. Une carte stable est dite lissable si elle appartient à l'adhérence de l'espace de modules des cartes dont les courbes de domaine sont non singulières. Les auteurs distinguent la « lissabilité » de la « lissabilité éventuelle », cette dernière permettant l'immersion de la variété cible $X$ dans une variété projective lisse plus grande $X'$. Bien que des travaux antérieurs aient établi des obstructions pour des cas spécifiques (par exemple, le genre 1, les surfaces ou des configurations d'intersections spécifiques), un obstacle général sensible à l'interaction entre les composantes « fantômes » (où la carte est constante) et les composantes « effectives » (où la carte est non constante) de la courbe de domaine faisait défaut.

Méthodologie
Les auteurs emploient des techniques de géométrie algébrique centrées sur la théorie de la déformation des cartes stables et la résolution des singularités dans les familles.

1. Configuration et Définitions : Les auteurs définissent la « sous-courbe fantôme » comme l'union des composantes irréductibles où la carte est constante et la « sous-courbe effective » comme la fermeture de son complémentaire. Le cœur de l'obstacle réside dans les points d'intersection $C \cap E$ entre une composante fantôme $C$ et la sous-courbe effective $E$.
2. Familles de Lissage : En supposant qu'une carte stable soit éventuellement lissable, les auteurs construisent une famille de cartes stables sur un disque $\Delta$ où la fibre centrale est la carte donnée et les fibres générales sont lisses.
3. Résolution des Singularités : Pour analyser le comportement au voisinage des nœuds où les composantes fantômes et effectives se rencontrent, les auteurs résolvent les singularités de l'espace total de la famille. Ils modélisent la géométrie locale des nœuds en utilisant des singularités de type $A_l$ ($xy = t^{m+1}$) et effectuent une séquence d'éclatements pour obtenir une surface non singulière $\tilde{S}$.
4. Construction de Fonctions Rationnelles : En développant le morphisme $F: \tilde{S} \to X$ en série entière dans le paramètre local $t$, les auteurs construisent une fonction rationnelle spécifique sur la composante fantôme. L'idée clé est que si un lissage existe, cette fonction rationnelle doit exister sur la courbe fantôme avec des pôles simples et des résidus prescrits déterminés par les dérivées de la carte sur les composantes effectives.
5. Obstruction Cohomologique : L'existence d'une telle fonction rationnelle est entravée par une classe de cohomologie dans $H^1(C, \mathcal{O}_C) \otimes T_{X,q}$. Les auteurs relient les résidus de cette fonction aux applications de connexion $\delta_{C,p}$ (issues de la suite exacte de cohomologie de la courbe) et aux dérivées $d(f|_E)_p$.

Contributions Clés et Résultats

• Théorème 1.7 (Obstacle Principal) : Les auteurs établissent une condition nécessaire pour la lissabilité éventuelle. Si une carte stable est éventuellement lissable, une application linéaire spécifique impliquant le produit tensoriel des espaces tangents aux points d'intersection doit avoir un noyau non trivial. Plus précisément, l'application :
  $$\bigoplus_{p \in C \cap E} \delta_{C,p} \otimes d(f|_E)_p : \bigoplus_{p \in C \cap E} T_{C,p} \otimes T_{E,p} \to H^1(C, \mathcal{O}_C) \otimes T_{X,q}$$
  doit ne pas être injective. Cet obstacle provient de la non-existence de fonctions rationnelles sur les composantes fantômes avec des pôles et des résidus prescrits.
• Corollaire 1.8 (Condition de Rang) : Une obstruction plus facilement calculable, bien que strictement plus faible, est dérivée. Elle stipule que pour toute composante fantôme, il existe un sous-ensemble de points d'intersection $D$ tel que la somme des rangs de l'application dérivée et de l'application d'évaluation sur le faisceau dual est inférieure ou égale à la cardinalité de $D$.
• Exemples de Cartes Non Lissables : L'article fournit des exemples concrets dans la Section 2 où le nouvel obstacle détecte la non-lissabilité dans des cas où les critères précédents échouent :
  • Genre 1 : Le résultat récupère les obstructions optimales connues (cohérent avec [10, 12]).
  • Genre Supérieur : Les auteurs construisent des exemples où une composante fantôme de genre $h \ge 2$ rencontre la sous-courbe effective en plusieurs points. Dans ces cas, l'application (1.1) est un isomorphisme (impliquant un noyau trivial), prouvant la non-lissabilité. Les arguments de comptage de dimension ou les résultats restreints au genre 1 ou 2 ne pouvaient pas détecter ces obstacles.
  • Courbes Hyperelliptiques : Des exemples impliquant des courbes hyperelliptiques et des permutations de composantes démontrent que les obstacles purement numériques (comme les invariants $\delta$) ne peuvent pas distinguer les cartes lissables des cartes non lissables partageant la même image et les mêmes nombres de composantes.

Signification et Revendications
L'article affirme fournir un obstacle général à la lissabilité éventuelle des cartes stables qui est « insensible à la géométrie globale de $X$ » mais sensible au comportement local près des composantes fantômes. Cela s'aligne sur le « critère local pour la lissabilité éventuelle » établi dans le travail précédent des auteurs [8].

Les auteurs déclarent explicitement que leur obstacle généralise les résultats connus, notamment pour le genre 1 et 2, ainsi que pour les cartes où les composantes fantômes rencontrent la courbe effective en au plus deux points. Crucialement, ils démontrent que leur théorème principal (Théorème 1.7) est strictement plus fort que leur Corollaire 1.8 et strictement plus fort que les obstacles dérivés du comptage de dimension ou de la littérature précédente (citant spécifiquement [10, 11, 12, 6, 2, 3]). Ce travail représente une étape vers la construction d'un compactification naturelle de l'espace des courbes lisses se propageant vers une variété, qui soit plus petite que l'espace de modules complet des cartes stables.

L'article ne propose pas de nouvelles applications ou de directions expérimentales futures, mais se concentre sur la caractérisation théorique de la frontière de l'espace de modules des cartes lisses. Les résultats sont présentés comme des conditions nécessaires ; l'échec de l'obstacle ne garantit pas la lissabilité, mais la satisfaction de l'obstacle (c'est-à-dire l'injectivité de l'application) exclut définitivement la lissabilité éventuelle.