Smooth subvarieties of Jacobians

En utilisant la cobordisme complexe, cet article présente de nouveaux exemples de classes de cohomologie entière sur les jacobiennes de courbes très générales qui ne sont pas des combinaisons linéaires entières de classes de sous-variétés lisses, atteignant la dimension minimale possible de 6.

L'essentiel

🎨 Le Titre : "Peut-on tout construire avec des briques lisses ?"

Imaginez que vous êtes un architecte travaillant sur une ville complexe et magnifique (une variété algébrique). Cette ville est faite de différentes structures géométriques.

Dans ce monde mathématique, il existe deux façons de décrire une partie de la ville :

1. La description "brute" (Cohomologie) : C'est comme compter la quantité totale de matière ou d'énergie présente dans une zone. C'est une mesure globale.
2. La description "concrète" (Cycles algébriques) : C'est comme lister les bâtiments réels qui s'y trouvent (des maisons, des tours, des ponts).

La grande question (Question 1.1) :
Si vous prenez une mesure globale (une "classe de cohomologie"), est-il toujours possible de la construire en empilant uniquement des bâtiments parfaitement lisses et sans défauts (des sous-variétés lisses) ?

Autrement dit : Si je vous donne une quantité d'argent (la classe), pouvez-vous toujours la payer exactement avec des pièces de monnaie lisses, ou dois-je parfois utiliser des pièces cassées ou des pièces de monnaie irrégulières ?

🏛️ Le Contexte : Les Jacobiennes

Les auteurs, Olivier Benoist et Olivier Debarre, se concentrent sur un type de ville très spécial appelé Jacobian.

• Imaginez une Jacobienne comme une ville construite à partir d'une courbe (une ligne courbe).
• Cette ville a une structure très rigide et symétrique (c'est une variété abélienne).
• Les mathématiciens savent depuis longtemps que pour les petites villes (dimensions 1 à 5), la réponse est OUI : on peut toujours tout reconstruire avec des bâtiments lisses.

Mais qu'en est-il pour les villes plus grandes ?

🚫 La Découverte : Le Mur de la Dimension 6

Les auteurs répondent NON pour certaines dimensions. Ils ont trouvé des exemples où l'on possède une "mesure globale" valide, mais qui ne peut absolument pas être décomposée en une somme de bâtiments lisses.

C'est comme si vous aviez un gâteau parfait (la classe mathématique), mais qu'il était impossible de le couper en parts qui soient toutes des formes géométriques parfaites. Vous seriez obligé d'utiliser des parts irrégulières ou de dire "ce gâteau n'est pas fait de parts lisses".

Leur résultat principal :
Ils montrent que pour une ville de dimension 6 (la plus petite taille possible où cela arrive), il existe des "gâteaux" mathématiques qui sont valides, mais qui ne sont pas des sommes de "bâtiments lisses".

🔍 Comment ont-ils trouvé cela ? (L'outil magique)

Pour prouver cela, ils n'ont pas utilisé les outils habituels (comme le théorème de Riemann-Roch), qui deviennent trop lourds et compliqués quand on monte en dimension.

Ils ont utilisé une arme secrète : la Cobordisme Complexe.

L'analogie du Cobordisme :
Imaginez que chaque bâtiment a une "signature" ou un "code-barres" unique qui résume sa forme, sa courbure et ses trous.

• Le Cobordisme est une théorie qui permet de comparer ces signatures.
• Les auteurs ont découvert que si un bâtiment est lisse, sa signature doit respecter certaines règles de divisibilité très strictes (comme être divisible par 2, par 4, etc.).
• Ils ont ensuite regardé le "gâteau" mathématique (la classe $\theta^c/c!$) et ont vu que sa signature ne respectait pas ces règles de divisibilité.

Conclusion de l'analogie :
Puisque la signature du gâteau ne correspond pas aux règles des bâtiments lisses, ce gâteau ne peut pas être fait de bâtiments lisses. Il doit être fait de quelque chose de plus "sale" ou de plus "singulier" (des bâtiments avec des coins pointus ou des défauts).

🧩 Les Détails Techniques (Simplifiés)

1. Le problème des nombres binaires : La condition étrange mentionnée dans le texte ($\alpha(c + \alpha(c)) > \alpha(c)$) concerne la façon dont les nombres sont écrits en binaire (avec des 0 et des 1). C'est une règle mathématique fine qui détermine quand les "signatures" des bâtiments lisses deviennent trop restrictives.
2. Dimension 6 : C'est le premier cas où cela échoue. En dessous de 6, tout fonctionne. À partir de 6, la géométrie devient assez complexe pour créer ce genre de "monstre" mathématique.
3. Dimension 4 : Ils ont aussi regardé des cas plus spécifiques (dimension 4) et ont montré que même là, si la ville est assez grande (dimension 12 ou 14), on ne peut pas tout construire avec des briques lisses.

🎁 Pourquoi c'est important ?

Cet article est une réponse à une question vieille de plusieurs décennies (posée par Borel et Haefliger dans les années 60).

• Cela nous dit que la géométrie algébrique est plus subtile qu'on ne le pensait.
• Cela montre que la notion de "lissage" (rendre une forme irrégulière lisse) a des limites fondamentales. Parfois, la nature d'un objet mathématique est intrinsèquement "rugueuse", et on ne peut pas la masquer en l'assemblant avec des objets lisses.

En résumé :
Les auteurs ont construit une ville mathématique de dimension 6 où l'on a prouvé qu'il existe des objets géométriques qui, bien qu'ils soient valides et bien définis, ne peuvent pas être construits uniquement à partir de pièces parfaitement lisses. Ils ont utilisé une technique de "signature" (le cobordisme) pour révéler cette imperfection cachée.

C'est une victoire pour la compréhension de la structure profonde de l'espace mathématique !

Résumé technique

Voici un résumé technique détaillé de l'article « Smooth subvarieties of Jacobians » d'Olivier Benoist et Olivier Debarre, rédigé en français.

1. Problématique et Contexte

L'article s'attaque à une question fondamentale en géométrie algébrique, remontant à Borel et Haefliger (1961) :
Question 1.1 : Le groupe des classes de cohomologie algébriques entières $H^{2c}(X, \mathbb{Z})_{\text{alg}}$ d'une variété projective complexe lisse $X$ de dimension $n$ est-il engendré par les classes de cycles de sous-variétés lisses de $X$ ?

• État de l'art : La réponse est positive pour $n \le 5$. Les premiers contre-exemples ont été construits par Hartshorne, Rees et Thomas ($c=2, d \ge 7$) et Debarre ($c=2, d \ge 5$).
• Objectif de l'article : Généraliser les résultats de Debarre (1995) sur les jacobiennes de courbes génériques pour couvrir un spectre plus large de dimensions et de codimensions, et notamment établir l'existence d'un contre-exemple en dimension 6 (la dimension minimale possible).

2. Méthodologie

Les auteurs dépassent les méthodes traditionnelles (théorème de Riemann-Roch-Hirzebruch et construction de Serre) qui deviennent ingérables en haute codimension ou ne s'appliquent pas au cas $n=6$. Ils adoptent une approche basée sur la cobordisme complexe ($MU$), une théorie initiée par Totaro pour les cycles algébriques.

La stratégie se décompose en trois axes principaux :

A. Propriétés de divisibilité des nombres de Chern (Section 2)

Les auteurs analysent la structure de l'anneau de cobordisme complexe $\pi_*(MU)$ et son morphisme d'Hurewicz vers la cohomologie entière.

• Ils utilisent les classes de Segre $s_i$ et établissent des congruences précises sur les nombres de Chern associés.
• Résultat clé (Proposition 2.5) : Ils déduisent des conditions de divisibilité par des puissances de 2 pour les nombres de Chern. Plus précisément, ils montrent que pour certains indices $i$, les valeurs des nombres de Chern associés aux classes de Segre sont contraintes modulo des puissances de 2, en fonction de la fonction $\alpha(m)$ (nombre de 1 dans le développement binaire de $m$).

B. Cobordisme des variétés abéliennes (Section 3)

Ils étudient la structure de $MU_*(X)$ pour une variété abélienne $X$ (en particulier une jacobienne très générale).

• En identifiant $X$ à un tore $(S^1)^{2n}$, ils utilisent une base de $MU_*(X)$ formée par les classes des sous-tores.
• Ils démontrent que pour une sous-variété lisse $Y \subset X$ de codimension $c$, la classe de cobordisme $[Y]$ peut être exprimée comme une combinaison linéaire de classes de cobordisme de la forme $x_i \cdot \tau_{d-i}$, où les $\tau_k$ sont liés aux puissances de la classe de polarisation $\theta$.
• Lien avec la géométrie : En combinant cela avec le théorème de type Barth-Lefschetz (Sommese), ils montrent que les classes de Segre de $Y$ sont des multiples entiers de restrictions de classes de Hodge de $X$.

C. Preuve par l'absurde via la parité (Section 3.3)

L'argument central repose sur une contradiction de parité :

1. On suppose que la classe $\lambda \frac{\theta^c}{c!}$ est une combinaison linéaire entière de classes de sous-variétés lisses.
2. Cela implique que la classe de cohomologie de toute sous-variété lisse $Y$ de codimension $c$ doit être un multiple entier de $\frac{\theta^c}{c!}$.
3. En utilisant les formules de Riemann-Roch et les propriétés de divisibilité des nombres de Chern (Section 2), les auteurs prouvent que si une telle sous-variété lisse existe, son coefficient $a_c$ (tel que $[Y] = a_c \frac{\theta^c}{c!}$) doit être pair sous certaines conditions arithmétiques sur $c$.
4. Cependant, la classe $\lambda \frac{\theta^c}{c!}$ avec $\lambda$ impair est algébrique (c'est la classe du cycle de la puissance symétrique de la courbe). Si elle était une combinaison de classes lisses, elle devrait être un multiple pair de $\frac{\theta^c}{c!}$, ce qui est impossible si $\lambda$ est impair.

3. Résultats Principaux

Théorème 1.2 (Théorème 3.7)

Soit $(X, \theta)$ une jacobienne complexe très générale de dimension $n$. Soit $c$ un entier tel que :

1. $\alpha(c + \alpha(c)) > \alpha(c)$ (condition arithmétique sur la représentation binaire).
2. $n \ge 4c - 2$.

Alors, les classes entières $\lambda \frac{\theta^c}{c!}$ avec $\lambda$ impair sont algébriques mais ne sont pas des combinaisons linéaires entières de classes de cycles de sous-variétés lisses de $X$.

• Valeurs de $c$ concernées : $\{2, 4, 5, 8, 9, 12, 16, 17, \dots\}$.
• Cas $c=3$ : La question reste ouverte.

Corollaire 1.3 (Dimension minimale)

En appliquant le théorème avec $c=2$ et $n=6$, les auteurs prouvent l'existence d'une variété projective complexe lisse de dimension 6 dont le groupe $H^4(X, \mathbb{Z})_{\text{alg}}$ n'est pas engendré par des classes de sous-variétés lisses.

• Signification : C'est la dimension minimale possible pour un tel contre-exemple, car la propriété est vraie pour toutes les variétés de dimension $\le 5$.

Théorème 1.4 (Améliorations en codimension 4)

En utilisant la K-théorie topologique complexe et le théorème de Grothendieck-Riemann-Roch (méthode différente de celle du cobordisme, plus efficace en basse codimension), ils obtiennent des résultats plus fins pour $c=4$ :

• Si $n \ge 12$, $\lambda \frac{\theta^4}{4!}$ (avec $\lambda$ impair) n'est pas une combinaison de classes lisses.
• Si $n \ge 14$, $\lambda \frac{\theta^4}{4!}$ (avec $\lambda$ non divisible par 4) n'est pas une combinaison de classes lisses.

4. Signification et Contributions

1. Résolution du cas de dimension 6 : L'article répond positivement à la question de l'existence de contre-exemples en dimension 6, fermant ainsi le chapitre sur la dimension minimale.
2. Nouvelles techniques : L'application systématique de la théorie du cobordisme complexe ($MU$) pour étudier les cycles algébriques sur les variétés abéliennes constitue une avancée méthodologique majeure. Elle permet de contourner les limitations des méthodes classiques (Riemann-Roch) en haute codimension.
3. Conditions arithmétiques fines : La découverte de la condition $\alpha(c + \alpha(c)) > \alpha(c)$ comme critère d'obstruction à la génération par des sous-variétés lisses révèle une connexion profonde entre la géométrie des jacobiennes et l'arithmétique binaire.
4. Généralisation : Les résultats étendent considérablement la portée des contre-exemples connus, passant d'un cas isolé ($c=2, n \ge 7$) à une famille infinie de cas $(c, n)$ satisfaisant des conditions précises.

En conclusion, cet article démontre que la structure des cycles algébriques entiers sur les variétés abéliennes est plus subtile que celle des cycles rationnels, et que l'obstruction à la régularité (lissité) des représentants de ces classes est gouvernée par des propriétés de divisibilité 2-adiques profondes.