Nontrivial vector bundles with trivial Chern classes

Cet article construit, pour tout nombre premier $p$, des modules projectifs non triviaux de rang $p$ sur des algèbres affines lisses de dimension $p+2$ qui possèdent une classe de Chern totale triviale.

L'essentiel

Voici une explication de l'article de Satya Mandal, traduite en langage simple et illustrée par des métaphores pour rendre les concepts mathématiques abstraits plus concrets.

Le Titre : Des "Vêtements" Mathématiques qui semblent vides, mais qui ne le sont pas

Imaginez que vous êtes un tailleur dans un monde où les tissus sont des espaces géométriques (des formes, des surfaces, des volumes) et les vêtements sont des faisceaux vectoriels (des structures mathématiques qui "habillent" ces espaces).

L'objectif de cet article est de créer un vêtement spécial (un module projectif) sur un tissu spécial (une algèbre affine lisse) qui a une propriété très étrange :

1. Il a l'air parfaitement plat et vide (ses "mesures" de courbure, appelées classes de Chern, sont toutes nulles).
2. Pourtant, ce n'est pas un vêtement simple et standard (il n'est pas "libre" ou "trivial"). Il a une forme cachée, une torsion subtile qui le rend unique.

En termes mathématiques, l'auteur cherche à prouver l'existence de structures qui sont non triviales (elles ont une forme intéressante) mais dont toutes les classes de Chern (les outils habituels pour détecter leur forme) sont nulles. C'est comme si vous aviez un nœud dans une corde, mais que si vous mesuriez la longueur, la couleur et le poids, tout semblait indiquer qu'il n'y avait pas de nœud.

---

1. Le décor : Un terrain de jeu mathématique

Pour construire ce mystère, l'auteur commence par créer un terrain de jeu très spécifique.

• La graine (Seed Polynomial) : Imaginez une formule magique, un polynôme spécial (comme $X^p + a$), qui sert de "graine".
• La croissance : À partir de cette graine, il fait pousser des structures géométriques de plus en plus complexes (des dimensions $n$, $n+1$, etc.). C'est comme si vous plantiez une graine et qu'elle grandissait en un arbre dont les branches forment des formes géométriques précises.
• Le champ (Affine Scheme) : Le résultat final est un "champ" mathématique (appelé $B$) qui est lisse (sans trous ni coins pointus) et de dimension $p+2$ (où $p$ est un nombre premier, comme 2, 3, 5...).

2. Le problème : Comment voir l'invisible ?

Dans ce monde mathématique, les mathématiciens utilisent des "radars" appelés classes de Chern pour détecter si un vêtement (un module) est spécial ou banal.

• Si les classes de Chern sont nulles, le radar dit : "C'est un vêtement banal, tout est plat."
• Mais parfois, le vêtement est en fait tordu, et le radar ne le voit pas. C'est le cas des modules stablesment libres mais non libres. Ils sont "presque" banals, mais pas tout à fait.

L'auteur précédent, N. Mohan Kumar, avait déjà créé des exemples de tels vêtements, mais ils étaient très difficiles à comprendre et nécessitaient des calculs lourds.

3. La méthode de Mandal : L'art de la "localisation"

Mandal propose une nouvelle astuce, un peu comme si vous vouliez étudier un objet fragile sans le casser.

1. Le grand laboratoire ($A_n$) : Il commence par construire un grand laboratoire mathématique ($A_n$) où il crée un vêtement $P$ qui est "presque" banal. Dans ce grand laboratoire, il sait que le vêtement a une forme cachée (il n'est pas libre), mais ses mesures (classes de Chern) sont nulles.
2. Le problème de la taille : Ce laboratoire est un peu trop grand et contient des variables "a" qui sont un peu trop abstraites.
3. La technique du dénominateur commun (Common Denominators) : C'est ici que la magie opère. Mandal prend ce grand laboratoire et le "réduit" en un sous-ensemble plus petit et plus propre, qu'il appelle $B$.
   • Imaginez que vous avez une recette de gâteau avec des ingrédients en quantités infinies. Vous prenez une cuillère précise de chaque ingrédient pour faire une version plus petite, plus gérable, mais qui garde exactement le même goût.
   • Il prend le vêtement $P$ du grand laboratoire et le "transplante" dans le petit laboratoire $B$. Il obtient un nouveau vêtement $Q$.

4. Le résultat final : Le vêtement mystérieux

Grâce à cette transplantation, Mandal obtient un vêtement $Q$ sur le tissu $B$ avec des propriétés incroyables :

• Dimension : Le tissu $B$ a une dimension $p+2$.
• Taille du vêtement : Le vêtement $Q$ a une taille (rang) de $p$.
• Le radar est aveugle : Si vous mesurez toutes les classes de Chern de $Q$ (de 1 à la dimension totale), vous obtenez Zéro. Le radar crie : "C'est un vêtement banal !"
• La réalité : Pourtant, le vêtement n'est pas banal. Il porte une étiquette mathématique (dans le groupe $K_0$) qui dit : "Je suis différent de zéro". Il a une forme cachée que les mesures classiques ne peuvent pas voir.

5. L'astuce finale : Le théorème de décomposition

L'auteur utilise un théorème récent ([ABH26]) qui dit : "Si un vêtement est assez grand et que sa dernière mesure de courbure est nulle, alors il se décompose en un vêtement plus petit plus un morceau de tissu standard."

En appliquant cela, il montre que son vêtement $Q$ (de taille $p$) peut être vu comme un vêtement encore plus petit $Q_0$ (de taille $p-1$) plus un morceau de tissu standard.

• Le résultat clé : Le petit vêtement $Q_0$ a une taille de $p$, mais vit sur un tissu de dimension $p+2$.
• Le paradoxe résolu : $Q_0$ a toutes ses classes de Chern nulles (il semble parfaitement plat), mais il n'est pas un vêtement simple (il n'est pas libre).

En résumé

Cet article est comme une démonstration d'illusionnisme mathématique.
L'auteur construit un objet mathématique complexe (un "vêtement" sur un "tissu") qui trompe tous les détecteurs standards (les classes de Chern). Pour l'œil non averti (ou les outils classiques), l'objet semble vide et banal. Mais pour l'œil expert (la théorie K), l'objet possède une structure profonde et unique.

C'est une preuve que parfois, l'absence de courbure visible ne signifie pas l'absence de forme. Il existe des structures "invisibles" qui défient notre intuition habituelle de la géométrie.

Résumé technique

Voici un résumé technique détaillé de l'article « Nontrivial vector bundles with trivial Chern classes » de Satya Mandal, rédigé en français.

Titre : Fibrés vectoriels non triviaux à classes de Chern triviales

1. Problématique

L'article s'attaque à un problème fondamental en géométrie algébrique et en $K$-théorie algébrique : la construction de modules projectifs (fibrés vectoriels) sur des schémas affines qui sont non triviaux (c'est-à-dire non libres, et même non stablesment libres) tout en possédant des classes de Chern totales triviales.

Le défi réside dans le fait que, pour de nombreux anneaux, la trivialité des classes de Chern est souvent associée à la trivialité du module (ou à sa stabilité). L'auteur cherche à construire des contre-exemples explicites où la classe de Chern totale $C(Q) = 1$, mais où la classe de K-théorie $[Q] \neq [B^r]$ dans $K_0(B)$, indiquant que le module n'est pas libre.

2. Méthodologie

L'auteur utilise une approche constructive combinant la théorie des groupes de Chow, la $K$-théorie et des techniques de localisation d'anneaux.

• Polynôme « Graine » (Seed Polynomial) : La construction repose sur un polynôme $f(X) = X^p + a$ défini sur un corps $F_0(a)$, où $p \ge 2$ est un nombre premier et $a$ est une variable polynomiale.
• Construction itérative de variétés : À partir de $f(X)$, l'auteur définit inductivement des polynômes homogènes irréductibles $F_n(X_0, \dots, X_n)$ de degré $p^n$. Ces polynômes définissent des sous-ensembles ouverts affines $X_n = \text{Spec}(A_n)$, où $A_n$ est une localisation d'un anneau polynomial.
• Analyse de la $K$-théorie : L'auteur exploite la filtration de $K_0(X_n)$ par la codimension du support. Il démontre que le groupe $F^n K_0(X_n)$ est non nul en utilisant la suite exacte de localisation et les groupes de Chow $CH_n(X_n)$.
• Technique de dénominateurs communs : Pour passer d'un anneau de fractions $A_n$ (sur $F_0(a)$) à un anneau affine lisse $B$ défini sur $F_0$, l'auteur utilise la méthode des dénominateurs communs. Il choisit un élément $t$ pour localiser l'anneau de base, obtenant ainsi un sous-anneau $B \subset A_n$ tel que $B = F_0[a]_t[X_0, \dots, X_n]/(F_n)$.
• Lifting des modules : Les modules projectifs sur $X_n$ sont relevés (lifted) en modules projectifs sur $B$ en ajustant les dénominateurs communs, tout en préservant les propriétés de classes de Chern.
• Théorème de décomposition : L'article s'appuie sur un résultat récent ([ABH26]) stipulant que pour un module projectif $P$ de rang $r = \dim(B) - 1$, si la classe de Chern topologique $C_r(P)$ s'annule, alors $P$ se décompose comme $P \cong Q \oplus B$.

3. Contributions Clés et Résultats

L'article établit les résultats suivants pour un corps algébriquement clos $F_0$ de caractéristique 0 et un nombre premier $p \ge 2$ :

1. Construction d'anneaux et de modules :

   • Construction d'une algèbre affine lisse $B$ sur $F_0$ de dimension $\dim(B) = p + 2$.
   • Construction d'un module projectif $Q$ sur $B$ de rang $\text{rank}(Q) = p = \dim(B) - 2$.

2. Propriétés du module $Q$ :

   • Non-trivialité : La classe $x = [Q] - [B^p]$ est non nulle dans $K_0(B)$. Le module $Q$ n'est pas librement stablement libre (stably free).
   • Trivialité des classes de Chern : La classe de Chern totale est triviale : $C(Q) = 1 + \sum C_k(Q) = 1$. Plus précisément, $C_k(Q) = 0$ pour tout $1 \le k \le \dim(B)$.

3. Rôle de la dimension et de la décomposition :

   • L'auteur commence par construire un module $P$ de rang $n = p+1$ sur une variété de dimension $n+1$ (soit $p+2$) dont la classe de Chern topologique $C_n(P)$ est nulle.
   • En appliquant le théorème de décomposition ([ABH26]), il montre que $P \cong Q \oplus B$.
   • Cela permet de réduire le rang du module non trivial de $n$ à $n-1$ (soit $p$), tout en augmentant la dimension de l'anneau de base pour maintenir la condition de rang critique ($\text{rank} = \dim - 2$).

4. Distinction par rapport aux travaux antérieurs (N. Mohan Kumar) :

   • Les exemples précédents de Mohan Kumar ([MK85]) concernaient des modules stablesment libres non libres de rang critique $\dim - 1$.
   • La méthode de l'auteur produit des modules qui ne sont pas stablesment libres (contrairement aux exemples de Mohan Kumar), mais qui ont des classes de Chern triviales. Cela comble un vide dans la classification des fibrés vectoriels non triviaux.

4. Signification et Impact

• Contre-exemples aux conjectures implicites : Ce travail démontre que la trivialité des classes de Chern (un invariant topologique/algébrique fort) n'implique pas nécessairement la trivialité du fibré vectoriel (la liberté du module), même sur des variétés affines lisses.
• Optimisation dimensionnelle : L'article réussit à construire de tels exemples en dimension $p+2$ avec un rang $p$, ce qui est proche de la limite théorique où les obstructions de Chern deviennent pertinentes.
• Nouvelle méthode de construction : L'utilisation combinée de la localisation, de la théorie des groupes de Chow et du théorème de décomposition récent offre une nouvelle voie pour générer des modules projectifs pathologiques, indépendamment des calculs lourds de groupes de Chow utilisés dans les travaux antérieurs.
• Implications pour la $K$-théorie : Le résultat confirme que le noyau de l'application de Chern (de $K_0$ vers les groupes de Chow) contient des éléments non triviaux qui ne sont pas détectés par les classes de Chern classiques, soulignant la nécessité d'invariants plus fins pour classifier les fibrés vectoriels sur les schémas affines.

En résumé, Satya Mandal fournit une construction explicite et rigoureuse de fibrés vectoriels « invisibles » aux classes de Chern mais structurellement non triviaux, enrichissant significativement la compréhension de la géométrie des schémas affines en caractéristique zéro.