Enumerative geometry of $K3$ surfaces

Ces notes exposent divers résultats d'enumerative géométrie concernant les surfaces K3, confirmant des conjectures de Yau-Zaslow, Göttsche et Katz-Klemm-Vafa, sans supposer une connaissance préalable de la théorie de Gromov-Witten.

L'essentiel

🌌 L'Enquête : Compter les Courbes sur des Surfaces Magiques

Imaginez que vous êtes un détective mathématique. Votre mission ? Compter des objets invisibles qui vivent sur des surfaces spéciales appelées surfaces K3.

Pour faire simple, imaginez une surface K3 comme une île magique et parfaite. Elle est lisse, sans trou, et possède une propriété géométrique très étrange : elle est "plate" d'une certaine manière (son "poids" géométrique est nul). Sur cette île, il y a des rivières (des courbes) qui peuvent couler.

Le problème ? Ces rivières sont souvent tordues, elles se croisent, elles ont des nœuds, et parfois, elles sont si complexes qu'on ne peut pas les voir directement. De plus, si vous essayez de les compter avec les règles habituelles de la géométrie, le compte tombe toujours à zéro ! C'est comme si l'île magique vous jouait des tours.

Ce texte, écrit par Thomas Dedieu, est un guide pour comprendre comment des mathématiciens (comme Yau, Zaslow, Bryan, Leung, etc.) ont réussi à déjouer les tours de l'île et à compter ces courbes, même les plus tordues.

---

🧩 Les Trois Grandes Énigmes du Texte

Le texte est divisé en plusieurs chapitres, que l'on peut résumer par trois grandes idées :

1. Le Comptage Simple (Les Courbes "Propres")

• L'histoire : Au début, on regarde les courbes les plus simples : des courbes qui ne se croisent pas elles-mêmes (sauf peut-être par un petit nœud simple).
• L'analogie : Imaginez que vous cherchez des sentiers sur l'île. Si le sentier est lisse, c'est facile. Mais s'il a un nœud, il faut compter ce nœud avec un "poids" spécial.
• La découverte : Les mathématiciens ont trouvé une formule magique (la formule de Yau-Zaslow) qui donne le nombre exact de ces sentiers.
  • Le secret : Chaque sentier n'est pas compté pour "1". S'il a un nœud, on le compte pour un nombre spécial (lié à la forme de son "Jardin intérieur", appelé Jacobian compactifié). C'est comme si chaque sentier avait une signature unique.
  • Le résultat : La formule ressemble à une recette de cuisine infinie qui produit des nombres gigantesques (24, 324, 3200...) pour chaque type de sentier.

2. Le Problème des "Copies" et des "Fantômes" (Les Courbes Multiples)

• L'histoire : Parfois, une courbe n'est pas unique. Elle peut être une "copie" d'une courbe plus petite qui passe plusieurs fois sur elle-même. C'est comme si vous regardiez un film en boucle : vous voyez le même personnage passer 3 fois.
• Le problème : Si vous comptez simplement, vous allez compter le même personnage 3 fois, alors que ce n'est qu'un seul personnage. De plus, sur une surface K3, les courbes peuvent se croiser et se mélanger de façons très bizarres (des courbes rouges qui traversent des courbes bleues).
• La solution (BPS) : Pour corriger cela, les physiciens et mathématiciens ont inventé une nouvelle façon de compter appelée états BPS.
  • L'analogie : Imaginez que vous essayez de compter les vrais arbres dans une forêt, mais il y a des reflets dans des miroirs (les copies multiples) et des buissons qui ressemblent à des arbres. La formule BPS agit comme un filtre spécial qui dit : "Ah, ce n'est pas un arbre, c'est un reflet ! Je ne le compte pas." Elle nettoie le compte pour ne garder que les "vrais" objets fondamentaux.
  • Le miracle : Même si la surface K3 change de forme (elle se déforme), le nombre de ces "vrais" objets fondamentaux reste le même ! C'est une loi universelle.

3. Le Lien avec les Mondes à 3 Dimensions (Les Miroirs)

• L'histoire : Le texte explique que compter ces courbes sur une surface 2D (l'île) est en fait lié à compter des choses dans un monde 3D (un volume).
• L'analogie : Pensez à une ombre. Si vous projetez un objet 3D sur un mur 2D, vous voyez une ombre. Ici, les mathématiciens disent que les courbes sur l'île K3 sont comme les "ombres" de structures plus grandes dans un univers 3D (appelé variété Calabi-Yau).
• La méthode : Pour résoudre l'énigme du comptage sur l'île, ils utilisent une technique appelée Noether-Lefschetz.
  • L'image : Imaginez que vous faites défiler un film (une famille de surfaces K3). À certains moments précis du film, des motifs spéciaux apparaissent sur l'écran. Le texte montre que le nombre de fois où ces motifs apparaissent suit une musique très précise (une forme modulaire).
  • En utilisant cette "musique" et en la comparant à ce que disent les physiciens sur les mondes 3D (via la symétrie miroir), ils peuvent prouver que leurs formules de comptage sont correctes.

---

🎭 Les Personnages Clés (Les Outils)

Pour comprendre le texte, voici les outils principaux présentés comme des personnages :

1. Les Courbes Stables (Stable Maps) : Ce ne sont pas de simples lignes dessinées. Ce sont des "cartes" qui disent comment une forme (une courbe) se pose sur la surface. C'est une façon intelligente de gérer les courbes qui se brisent ou se plient.
2. La Classe Virtuelle (Virtual Fundamental Class) : C'est un outil mathématique qui permet de dire "même si la courbe est tordue ou que l'espace est bizarre, on va faire comme si tout était parfait pour faire le calcul". C'est un peu comme un "filtre de réalité" qui permet de faire des maths là où ça devrait être impossible.
3. Les Formes Modulaires : Ce sont des formules mathématiques qui changent de façon très régulière et symétrique (comme une mélodie qui se répète). Le texte montre que les nombres de courbes suivent exactement ces mélodies. C'est la preuve que le monde des courbes K3 est ordonné et beau.

---

💡 En Résumé : Pourquoi c'est important ?

Ce texte est un voyage à travers l'histoire récente des mathématiques. Il raconte comment des gens ont réussi à :

1. Définir ce qu'est une "courbe" sur une surface magique.
2. Compter ces courbes malgré les illusions d'optique (les copies multiples).
3. Prouver que ce comptage suit des lois universelles (les formules modulaires) qui relient la géométrie (les formes) à la physique (les cordes et les particules).

L'image finale :
Imaginez que vous avez un puzzle infini et complexe. Au début, les pièces semblent éparpillées et sans sens. Ce texte explique comment les mathématiciens ont trouvé la boîte du puzzle (la formule de Yau-Zaslow), comment ils ont trié les pièces fausses (les corrections BPS), et comment ils ont découvert que le puzzle complet forme une image magnifique qui résonne avec les lois de l'univers physique.

C'est une aventure où la géométrie, l'algèbre et la physique se donnent la main pour révéler l'ordre caché derrière le chaos apparent des formes.

Résumé technique

Voici un résumé technique détaillé de l'article « Enumerative geometry of K3 surfaces » de Thomas Dedieu, structuré selon les problématiques, méthodologies, contributions clés, résultats et signification de l'ouvrage.

1. Problématique et Contexte

L'objectif principal de ces notes est d'expliquer divers résultats de géométrie énumérative concernant les surfaces K3, en tentant de les interpréter dans des termes classiques, sans supposer une familiarité préalable avec la théorie de Gromov-Witten (GW).

Le cœur du problème réside dans le comptage des courbes (rationnelles ou de genre $g$) sur une surface K3 algébrique $(S, L)$ dans une classe d'homologie donnée.

• Obstruction fondamentale : Les invariants de Gromov-Witten standards sur les surfaces K3 sont triviaux (tous nuls). Cela est dû au fait que les surfaces K3 algébriques se déforment en surfaces non-algébriques qui ne contiennent aucune courbe, et que les dimensions virtuelles et réelles des espaces de modules de applications stables ne coïncident pas (la dimension virtuelle est $g-1$ alors que la famille de courbes a une dimension $g$).
• Question centrale : Comment définir et calculer des nombres énumératifs significatifs (nombres de courbes rationnelles, courbes de genre $g$, etc.) qui soient invariants de déformation et qui reflètent la géométrie réelle de la surface ?

2. Méthodologie

L'auteur adopte une approche progressive, classant les résultats en trois catégories selon leur dépendance à la théorie GW :

1. Approche topologique et classique (Sans GW) :

   • Utilisation de la formule d'Euler pour compter les fibres singulières dans un fibré.
   • Étude du Jacobian compactifié $\bar{J}_C$ d'une courbe intégrale $C$.
   • Démonstration que le nombre de courbes rationnelles est donné par le nombre d'Euler topologique de l'espace total du Jacobian compactifié universel.

2. Théorie de Gromov-Witten Réduite (GW réduit) :

   • Introduction de la théorie GW « réduite » développée par Maulik et Pandharipande. Cette théorie contourne le problème de la dimension virtuelle en utilisant une théorie d'obstruction parfaite modifiée qui annule l'obstruction triviale liée à la déformation de la surface K3.
   • Cela permet de définir des invariants $N^p_g$ comptant les courbes de genre $g$ passant par $g$ points génériques.

3. Lien avec les variétés de dimension 3 et la symétrie miroir :

   • Utilisation de la dégénérescence vers des surfaces K3 elliptiques.
   • Connexion avec les invariants de Gromov-Witten de variétés Calabi-Yau de dimension 3 (fibrées en K3).
   • Application de la théorie de Noether-Lefschetz pour les familles de surfaces K3 polarisées par un réseau.
   • Utilisation de la symétrie miroir et des formes modulaires (théorème de Harvey-Moore) pour prouver des conjectures sur les classes non-primitives.

3. Contributions Clés et Résultats

A. Formule de Yau-Zaslow et Courbes Rationnelles (Section 2)

• Résultat : Pour une surface K3 primitive $(S, L)$ de genre $p$, le nombre $N_p$ de courbes rationnelles dans le système linéaire $|L|$ (comptées avec multiplicité) est donné par la formule :
  $$1 + \sum_{p=1}^{\infty} N_p q^p = \prod_{n=1}^{\infty} \frac{1}{(1-q^n)^{24}}$$
• Interprétation de la multiplicité : La multiplicité d'une courbe rationnelle intégrale $C$ est le nombre d'Euler topologique de son Jacobian compactifié $\bar{J}_C$.
  • Si $C$ est immergée (seuls des nœuds), la multiplicité est 1.
  • Si $C$ a des singularités plus complexes, la multiplicité dépend de la classe d'équisingularité (ex: 2 pour un point de rebroussement ordinaire).
• Preuve (Beauville) : Elle repose sur le fait que le nombre d'Euler de l'espace total du Jacobian compactifié universel est égal à la somme des nombres d'Euler des fibres. Seules les fibres rationnelles ont un nombre d'Euler non nul. Ce nombre total est ensuite relié aux nombres de Betti des schémas de Hilbert de points sur $S$, dont la série génératrice est connue (Göttsche).

B. Formule de Göttsche-Bryan-Leung (Section 3)

• Généralisation : Extension du résultat aux courbes de genre $g$ passant par $g$ points génériques.
• Résultat : La série génératrice $F_g(q)$ des invariants réduits $N^p_g$ est une forme quasi-modulaire :
  $$F_g(q) = \left( \sum_{n=1}^\infty n \sigma_1(n) q^n \right)^g \prod_{m=1}^\infty \frac{1}{(1-q^m)^{24}}$$
• Méthode de preuve : Dégénérescence vers une surface K3 elliptique. L'espace de modules se décompose en composantes correspondant à des recouvrements multiples de fibres elliptiques et de sections. Le calcul repose sur des formules de comptage combinatoire (partitions d'entiers) et des intégrales GW sur des plans éclatés.

C. États BPS et Classes Non-Primitives (Section 4)

• Problème : Pour les classes multiples $mL$ (non-primitives), les invariants GW standards incluent des contributions de recouvrements multiples et de courbes réductibles qui ne correspondent pas au nombre physique de courbes intégrales.
• Solution (Formule d'Aspinwall-Morrison) : Définition de nouveaux invariants, les nombres d'états BPS ($n^p_{0,m}$), qui corrigent les invariants GW en soustrayant les contributions des recouvrements multiples.
• Conjecture Yau-Zaslow généralisée (Théorème 4.14) : Les nombres BPS $n^p_{0,m}$ sont indépendants de l'indice de divisibilité $m$. Ils ne dépendent que du genre de la classe effective.
  $$n^p_{0,m} = n^{m^2 p - m^2 + 1}_{0,1}$$
  Cela signifie que le nombre de courbes rationnelles « physiques » dans une classe $mL$ est le même que celui dans une classe primitive de genre équivalent.

D. Relations avec les Invariants de Variétés de Dimension 3 et Noether-Lefschetz (Sections 5 & 6)

• Formule de Katz-Klemm-Vafa (Théorème 5.5) : Extension de la conjecture Yau-Zaslow aux invariants de genre $g$ (intégrales de Hodge). Les invariants BPS $r^p_{g,m}$ sont également indépendants de la divisibilité.
  $$\sum_{p,g} (-1)^g r^p_g (y^{1/2}-y^{-1/2})^{2g} q^p = \prod_{n \ge 1} \frac{1}{(1-q^n)^{20}(1-yq^n)^2(1-y^{-1}q^n)^2}$$
• Preuve par la théorie de Noether-Lefschetz :
  • Utilisation d'une famille de K3 polarisée par un réseau (modèle STU, une section anticanonique d'une variété torique).
  • Les invariants GW de la variété Calabi-Yau 3D totale sont reliés aux invariants des fibres K3 via les nombres de Noether-Lefschetz (qui comptent les fibres ayant des classes de Picard supplémentaires).
  • Grâce aux travaux de Borcherds et Kudla-Millson, ces nombres forment une forme modulaire vectorielle.
  • La preuve finale repose sur l'identité de Harvey-Moore, reliant les séries génératrices des invariants GW (via la symétrie miroir) aux nombres de Noether-Lefschetz.

4. Signification et Impact

• Unification : L'article démontre comment des problèmes purement énumératifs sur les surfaces (géométrie algébrique classique) sont intrinsèquement liés à la physique théorique (théorie des cordes, états BPS) et à la théorie des formes modulaires.
• Rigueur Mathématique : Il fournit des preuves rigoureuses de conjectures physiques (Yau-Zaslow, Katz-Klemm-Vafa) en utilisant des outils modernes de géométrie algébrique (théorie GW réduite, schémas de Hilbert, théorie de Noether-Lefschetz).
• Indépendance de la Divisibilité : Le résultat le plus frappant est que le nombre de courbes rationnelles (après correction BPS) ne dépend pas de la complexité arithmétique de la classe d'homologie (primitif ou multiple), mais uniquement de sa classe de genre.
• Outils Pédagogiques : L'article sert de pont entre la géométrie énumérative classique (comptage topologique) et la théorie de Gromov-Witten, rendant ces concepts complexes accessibles en les reliant à des interprétations géométriques concrètes (Jacobian, déformations de singularités).

En résumé, ce travail synthétise des décennies de recherche pour établir que la géométrie énumérative des surfaces K3 est gouvernée par des structures modulaires profondes, validant des prédictions physiques par des méthodes mathématiques rigoureuses.