The Witt ring of the real sphere

1. Problématique et Contexte

L'article s'attaque à un problème ouvert depuis les années 1970 concernant le calcul de l'anneau de Witt $W(S^n)$ des formes quadratiques sur la sphère réelle algébrique $S^n$.

• Définition : La sphère réelle est définie comme le schéma $S^n := \text{Spec } \mathbb{R}[x_0, \dots, x_n]/(\sum_{i=0}^n x_i^2 - 1)$.
• État de l'art : Bien que la structure de groupe de $W(S^n)$ ait été partiellement calculée pour $n=1,2$ (par Knus et Ojanguren) et que sa version localisée en 2, $W(S^n)[1/2]$, ait été déterminée (par Dell'Ambrigio et Fasel), la structure complète de l'anneau, et particulièrement l'information sur la torsion par 2, restait inconnue pour $n \ge 3$.
• Le défi : Il existe un isomorphisme connu après inversion de 2 entre l'anneau de Witt $W(X)$ et l'anneau de K-théorie réelle topologique $KO(X_\mathbb{R})$ (via la carte de Brumfiel). Cependant, il était généralement admis que cet isomorphisme ne se tenait pas au niveau entier (intégralement) en raison de la présence potentielle de fibrés vectoriels topologiques non réalisables comme formes quadratiques algébriques. L'objectif est de déterminer si ce phénomène de « torsion par 2 » se produit pour les sphères réelles.

2. Méthodologie

L'auteur utilise une approche purement géométrique et algébrique, évitant de s'appuyer directement sur la K-théorie topologique pour la preuve principale, bien que les résultats soient comparés. La stratégie repose sur plusieurs piliers :

• Séquences de localisation de Balmer : L'auteur exploite la théorie de Witt des schémas (développée par Balmer) et les séquences exactes de localisation à 12 termes. Il considère les schémas projectifs associés :
  • $P S^n = \text{Proj } \mathbb{R}[x_0, \dots, x_n, y]/(\sum x_i^2 - y^2)$ (la quadrique projective).
  • $P C^n = \text{Proj } \mathbb{R}[x_0, \dots, x_n]/(\sum x_i^2)$ (la quadrique projective singulière).
  • La sphère $S^n$ est vue comme un ouvert de $P S^n$.
• Calculs de groupes de Witt pour les quadriques : En s'appuyant sur ses travaux antérieurs ([20], [21]), l'auteur calcule les groupes de Witt $W^i(P S^n)$ et $W^i(P C^n)$ avec des coefficients dans les fibrés en droites triviaux et tordus ($\mathcal{O}$ et $\mathcal{O}(1)$).
• Algèbres de Clifford et Fibrés de Spin : Pour traiter le cas délicat où $n \equiv 0 \pmod 4$, l'auteur construit explicitement des générateurs non triviaux en utilisant des modules sur les algèbres de Clifford $C_{0, n+1}$. Il définit des modules projectifs $P_n$ via des idempotents et des formes de trace.
• Analyse de la carte de Brumfiel : L'étude de la carte $\gamma : W(S^n) \to KO(S^n_\mathbb{R})$ est centrale. L'auteur démontre que cette carte est surjective et, grâce à la comparaison des structures de groupes, qu'elle est un isomorphisme intégral.

3. Contributions Clés et Résultats Principaux

A. Structure du Groupe de Witt (Théorème 1.1)

L'auteur calcule explicitement le groupe sous-jacent de $W(S^n)$, qui suit un motif de périodicité de Bott de période 8. Le résultat est le suivant (où $\mathbb{Z}_2$ désigne $\mathbb{Z}/2\mathbb{Z}$) :

Ce résultat résout le problème de la torsion par 2 pour toutes les sphères réelles.

B. Isomorphisme Intégral (Théorème 1.2)

Le résultat le plus surprenant et le plus significatif est que la carte de Brumfiel $\gamma : W(S^n) \to KO(S^n_\mathbb{R})$ est un isomorphisme d'anneaux.

• Contrairement aux espaces projectifs $\mathbb{P}^n$ où la carte n'est pas un isomorphisme intégral, pour les sphères réelles, toutes les formes quadratiques (à équivalence hyperbolique près) proviennent de fibrés vectoriels réels topologiques stables.
• Cela établit une unification entre la théorie de Witt, la K-théorie réelle ($KO$) et la K-théorie algébrique ($K_0$) pour les sphères réelles :
  $$W(S^n) \cong KO(S^n_\mathbb{R}) \cong K_0(S^n)$$

C. Construction des Générateurs

Pour les cas où $n \equiv 1, 2, 4, 8 \pmod 8$, l'auteur fournit une construction explicite des générateurs non triviaux de $W(S^n)$ en utilisant des modules de Clifford.

• Il définit un opérateur idempotent $\Phi$ agissant sur $A_n \otimes C_{0, n+1}$.
• Le noyau de cet opérateur, noté $P_n$, porte une forme quadratique non dégénérée qui représente le générateur non trivial.
• Pour le cas $n \equiv 0 \pmod 4$, il utilise des fibrés de spinor pour montrer que la somme orthogonale de deux formes spécifiques est isométrique à une forme triviale de rang $2^{\delta(n+1)}$, ce qui permet de résoudre le problème d'extension dans la séquence exacte de localisation.

4. Signification et Implications

• Réponse à une question ouverte : L'article comble une lacune de près de 50 ans dans la théorie des formes quadratiques sur les variétés algébriques réelles élémentaires.
• Contre-exemple à l'intuition générale : Il démontre que, contrairement à ce qui est souvent observé (comme pour les espaces projectifs), la géométrie algébrique des sphères réelles est « bien comportée » vis-à-vis de la topologie. La torsion par 2 n'empêche pas l'isomorphisme entre les formes algébriques et les fibrés topologiques dans ce cas précis.
• Nouvelle Question (Question 1.3) : L'article ouvre la voie à une question fondamentale : pour quelles autres variétés algébriques réelles la carte de Brumfiel est-elle un isomorphisme intégral ? La sphère réelle fournit un exemple non trivial important de cette propriété.
• Méthodologie : L'approche combinant les séquences de localisation de Witt avec des calculs explicites d'algèbres de Clifford offre un modèle robuste pour le calcul des anneaux de Witt sur d'autres variétés algébriques réelles.

En résumé, cet article établit que l'anneau de Witt de la sphère réelle est isomorphe à son anneau de K-théorie réelle topologique, révélant une périodicité de Bott parfaite et une absence de « gap » entre la théorie algébrique et topologique pour ce cas spécifique.