Measures of association between algebraic varieties, II: self-correspondences

En suivant la suggestion de Jordan Ellenberg, cet article étudie les mesures de complexité des auto-correspondances de certaines classes de variétés et répond à une question de Rhyd concernant les courbes contenues dans le carré d'une courbe hyperelliptique très générale.

L'essentiel

Le Grand Jeu des Miroirs : Comment les formes mathématiques se regardent-elles ?

Imaginez que vous êtes un architecte travaillant sur des formes géométriques complexes (des courbes, des surfaces) dans un monde imaginaire appelé "l'espace projectif". Ces formes sont comme des sculptures abstraites.

Les auteurs de cet article, Robert Lazarsfeld et Olivier Martin, se posent une question fascinante : Comment mesurer la "distance" entre deux sculptures identiques ?

Plus précisément, ils ne s'intéressent pas à la distance physique, mais à la difficulté de créer un "pont" ou un "miroir" qui relie une sculpture à elle-même sans être un simple reflet parfait (la diagonale). C'est ce qu'ils appellent une auto-correspondance.

1. Le Concept de Base : Le "Pont" entre deux copies de la même forme

Prenons une forme $X$ (par exemple, une courbe tordue).

• Si vous prenez deux copies de $X$ et que vous les mettez côte à côte, vous pouvez tracer des lignes qui relient un point de la première copie à un point de la seconde.
• Le "diagonal" est la ligne la plus simple : elle relie chaque point à son propre reflet (A est relié à A). C'est ennuyeux !
• Les auteurs cherchent des ponts intéressants : des lignes qui relient A à B, B à C, etc., de manière complexe.

Le but est de trouver le pont le plus simple possible (le moins coûteux en termes de "degré" ou de complexité) qui n'est pas juste le reflet de soi-même. Ils appellent cette complexité minimale le degré d'auto-correspondance.

L'analogie du miroir brisé :
Imaginez que votre forme $X$ est un visage. Le miroir normal (la diagonale) vous montre votre visage tel quel. L'auto-correspondance, c'est comme essayer de trouver un autre miroir magique qui vous montre votre visage, mais en le déformant légèrement ou en le reliant à une autre version de vous-même. Les auteurs veulent savoir : Quelle est la déformation la plus simple possible que l'on puisse faire ?

2. Les Résultats Clés : Quand la complexité est maximale

Les auteurs ont découvert que pour certaines formes "génériques" (c'est-à-dire des formes typiques, sans propriétés spéciales cachées), la réponse est surprenante et très précise.

Cas A : Les Courbes (Les "Rubans")
Pour une courbe typique (comme un ruban tordu avec plusieurs trous), la complexité minimale du pont dépend d'une mesure appelée le gonalité.

• Le Gonalité : C'est le nombre minimal de fois où vous devez "plier" la courbe pour la rendre plate (comme un ruban que l'on pose à plat).
• La découverte : La complexité du pont le plus simple est exactement égale à $(gonalité - 1)^2$.
• Ce que cela signifie : Si votre courbe est très tordue (générale), le seul moyen de créer un pont intéressant est de l'utiliser comme base pour un "carré de fibres" (une structure géométrique très spécifique). Il n'y a pas de raccourci magique.

Cas B : Les Hypersurfaces (Les "Murs" dans l'espace)
Pour des formes plus complexes dans des espaces à plusieurs dimensions (comme des murs lisses dans un espace 4D ou plus), si le degré (la complexité de l'équation qui les définit) est assez élevé, la règle est la même.

• La complexité minimale est $(d - 2)^2$, où $d$ est le degré de la forme.
• Encore une fois, le seul moyen d'atteindre ce minimum est d'utiliser une projection géométrique très standard (comme projeter la forme depuis un point spécifique).

L'analogie du labyrinthe :
Imaginez que vous essayez de traverser un labyrinthe (votre forme mathématique) pour revenir à votre point de départ en passant par un autre chemin. Les auteurs disent que pour les labyrinthes "normaux" (génériques), le chemin le plus court possible pour faire ce tour est toujours le même : il suit les règles géométriques les plus basiques. Vous ne pouvez pas trouver de "tunnel secret" plus court.

3. Le Cas Spécial : Les Courbes Hyperelliptiques (Les "Miroirs Parfaits")

Il existe une exception fascinante : les courbes hyperelliptiques. Ce sont des courbes qui ont une symétrie particulière, comme un miroir qui divise la courbe en deux parties identiques.

• Pour ces courbes spéciales, on peut facilement trouver des ponts très simples (de degré 1) grâce à leur symétrie (l'involutions hyperelliptique).
• La question de David Rhyd : Existe-t-il d'autres courbes "cachées" à l'intérieur de l'espace produit $X \times X$ qui seraient aussi hyperelliptiques, mais qu'on ne s'attendait pas à trouver ?
• La réponse de l'article (Théorème C) : Non.
  Pour une courbe hyperelliptique "très générale", les seules courbes hyperelliptiques que l'on peut trouver dans son espace produit sont :
  1. Les lignes de projection (triviales).
  2. La diagonale (le reflet de soi-même).
  3. Le graphique de la symétrie (le miroir).

L'analogie de la famille :
Imaginez une famille très stricte (les courbes hyperelliptiques). L'article dit que si vous regardez dans la "maison" de cette famille ($X \times X$), vous ne trouverez que les membres de la famille immédiate (les parents, les enfants, le jumeau). Il n'y a pas de cousins éloignés ou d'intrus cachés qui ressembleraient à la famille. Tout ce qui ressemble à la famille est soit un membre direct, soit une copie exacte.

4. Pourquoi est-ce important ?

Cet article est dédié à Claire Voisin, une mathématicienne célèbre, pour son 60ème anniversaire. Il s'inscrit dans une tradition de recherche qui vise à comprendre à quel point deux formes mathématiques peuvent être différentes ou similaires.

En résumé, les auteurs nous disent :

1. Pour les formes "normales", la complexité de se relier à soi-même est prévisible et maximale (pas de raccourcis).
2. Pour les formes "spéciales" (hyperelliptiques), la structure est si rigide qu'il est impossible de cacher des surprises à l'intérieur de leur propre produit.

C'est comme si l'univers mathématique disait : "Si vous êtes une forme ordinaire, vous êtes limité par vos règles géométriques. Si vous êtes une forme spéciale, vous êtes si unique que rien d'autre ne peut se cacher dans votre ombre."

Résumé technique

Voici un résumé technique détaillé de l'article « Measures of association between algebraic varieties, II: Self-correspondences » de Robert Lazarsfeld et Olivier Martin, rédigé en français.

1. Problématique et Contexte

Cet article poursuit les travaux des auteurs sur les mesures d'association entre variétés algébriques, introduites dans leur publication précédente [LM23]. L'objectif est de quantifier à quel point deux variétés de même dimension sont éloignées d'être isomorphes birationnellement.

Dans cette note, l'attention se porte spécifiquement sur les auto-correspondances (ou correspondances de self) d'une variété $X$. Soit $X$ une variété projective complexe lisse de dimension $n$. Une auto-correspondance est définie par une variété lisse $Z$ de dimension $n$ et deux morphismes dominants $a, b : Z \to X$. Le degré d'auto-correspondance, noté $\text{autocorr}(X)$, est défini comme le minimum du produit $\deg(a) \cdot \deg(b)$ sur toutes les correspondances $Z$ qui ne se projettent pas sur la diagonale de $X \times X$.

La question centrale est de déterminer la valeur de ce invariant pour des variétés « très générales » (very general) et de classifier les correspondances minimales qui réalisent ce minimum. L'intuition des auteurs est que l'égalité $\text{autocorr}(X) = (\text{irr}(X) - 1)^2$ (où $\text{irr}(X)$ est le degré d'irrationalité) indique que la variété est « aussi loin que possible » d'avoir des auto-correspondances de bas degré non triviales.

2. Méthodologie

Les auteurs utilisent une combinaison d'outils géométriques et cohomologiques :

• Théorie de Hodge et Cohomologie : L'action d'une correspondance sur la structure de Hodge $H^n(X)$ (et plus spécifiquement sur l'espace des formes holomorphes $H^{n,0}(X)$) joue un rôle central. Les endomorphismes induits $Z_*$ et $Z^*$ sont étudiés.
• Condition de Cayley-Bacharach : En exploitant le fait que les correspondances minimales agissent comme des multiples de l'identité sur les formes holomorphes, les auteurs utilisent des arguments de type Cayley-Bacharach pour contraindre la géométrie des fibres des applications $a$ et $b$.
• Géométrie des Variétés Très Générales : L'hypothèse de « très généralité » permet d'utiliser des propriétés génériques fortes, telles que la trivialité du groupe d'automorphismes du groupe de Picard ou la structure du groupe d'endomorphismes de la cohomologie primitive (théorème de monodromie algébrique).
• Analyse des Fibres et Intersections : Pour les hypersurfaces, l'analyse repose sur l'étude des droites sécantes et des intersections avec les fibres de projections, en utilisant des résultats antérieurs sur les correspondances entre hypersurfaces ([BCDP14], [BDP+17]).
• Rigidité des Courbes Hyperelliptiques : Pour le cas des courbes hyperelliptiques, l'approche combine la théorie de Jacobienne, l'application d'Abel-Jacobi et des résultats de rigidité des courbes sur les variétés abéliennes (notamment les travaux de Pirola).

3. Résultats Principaux

L'article établit trois résultats majeurs (Proposition A, Théorèmes B et C) :

A. Courbes de Genre $g \ge 3$ (Proposition A)

Pour une courbe $X$ très générale de genre $g \ge 3$ :
$$\text{autocorr}(X) = (\text{gon}(X) - 1)^2$$
où $\text{gon}(X)$ est le gonality (le degré minimal d'un revêtement rationnel vers $\mathbb{P}^1$).

• Classification : Les correspondances minimales sont birationnellement équivalentes au carré fibré d'une application de gonality (un pinceau de diviseurs).
• Preuve : On montre que les degrés des projections $a$ et $b$ sont minorés par $\text{gon}(X)-1$. L'analyse des fibrés en droites et des conditions d'indépendance linéaire sur $H^{1,0}(X)$ force la correspondance à provenir d'un pinceau.

B. Hypersurfaces Très Générales (Théorème B)

Soit $X \subseteq \mathbb{P}^{n+1}$ une hypersurface très générale de degré $d \ge 2n + 2$. Alors :
$$\text{autocorr}(X) = (d - 2)^2 = (\text{irr}(X) - 1)^2$$

• Classification : Les correspondances minimales sont birationnelles au carré fibré d'une projection depuis un point de $X$.
• Affinement (Théorème 4) : Les auteurs classifient toutes les auto-correspondances dans une plage numérique légèrement plus large. Si le degré est proche du minimum, la correspondance provient soit de la projection depuis un point, soit d'un produit fibré de deux applications rationnelles, soit d'une structure liée à une variété intermédiaire $Y$.

C. Courbes Hyperelliptiques (Théorème C)

Soit $X$ une courbe hyperelliptique très générale de genre $g \ge 2$. Le théorème répond à une question de David Rhyd concernant l'existence de courbes hyperelliptiques « inattendues » dans $X \times X$.

• Résultat : Les seules courbes hyperelliptiques irréductibles dans $X \times X$ sont :
  1. Les fibres des projections ($X \times \{pt\}$ ou $\{pt\} \times X$).
  2. La diagonale $\Delta$.
  3. Le graphe de l'involution hyperelliptique.
• Conséquence Géométrique : L'image de n'importe quelle courbe hyperelliptique dans $X \times X$ par l'application d'Abel-Jacobi est géométriquement dégénérée dans $J(X) \times J(X)$ (elle engendre un sous-tore propre).
• Rigidité : Cela implique une rigidité forte des morphismes dominants entre jacobiennes de courbes hyperelliptiques : pour $X$ très générale, $\text{Hom}(J(C), J(X)) \cong \mathbb{Z}$ si $J(C)$ domine $J(X)$.

4. Contributions et Signification

• Complétude de la théorie des mesures d'association : Cet article complète la première partie [LM23] en traitant le cas des correspondances de self, confirmant que l'invariant $\text{autocorr}(X)$ est souvent déterminé par la structure de revêtement rationnel de base de la variété (gonality ou degré de projection).
• Classification précise : Au-delà du calcul de l'invariant, les auteurs fournissent une classification géométrique des correspondances minimales, montrant qu'elles sont presque toujours construites à partir de structures géométriques élémentaires (fibres de projections, pinceaux).
• Résolution de questions ouvertes : Le Théorème C répond négativement à la question de l'existence de courbes hyperelliptiques « cachées » dans le produit d'une courbe hyperelliptique très générale, renforçant la compréhension de la géométrie des produits de courbes.
• Lien avec la rigidité des Jacobienes : Le résultat sur les courbes hyperelliptiques apporte un complément important aux travaux récents de Naranjo et Pirola sur les morphismes entre Jacobienes, établissant une rigidité forte dans le cas hyperelliptique très général.

En résumé, cet article démontre que pour des variétés très générales (courbes, hypersurfaces), la complexité birationnelle des auto-correspondances est strictement contrôlée par les invariants classiques (gonality, degré), et que toute déviation de cette structure standard est impossible dans le cas générique.