Comparison of Motivic Homotopy Theories

Cet article construit des foncteurs de comparaison entre les catégories duales des théories d'homotopie motivique (invariante et non invariante par $\mathbb{A}^1$) et les catégories de motifs localisants, démontrant que le foncteur invariante est pleinement fidèle sur les corps admettant une résolution des singularités, contrairement au cas non invariante.

L'essentiel

Voici une explication de la thèse de Tianjian Tan, imaginée comme une histoire de cartes, de miroirs et de transformations magiques.

Le Grand Projet : Relier deux mondes différents

Imaginez que vous avez deux royaumes magiques très différents :

1. Le Royaume de la Géométrie Motivée (SH et MS) : C'est un monde où l'on étudie les formes géométriques (comme des courbes, des surfaces) en utilisant des outils très puissants qui permettent de les déformer, de les étirer ou de les plier sans les casser. C'est le domaine des mathématiciens comme Morel, Voevodsky et Annala.
2. Le Royaume des Motifs Non-Commutatifs (Mot) : C'est un monde plus abstrait, créé par Blumberg, Gepner et Tabuada. Ici, on ne regarde pas les formes elles-mêmes, mais les "codes secrets" (les algèbres) qui les décrivent. C'est comme si on étudiait une maison non pas en la regardant, mais en lisant ses plans d'architecte.

Le but de l'auteur : Tianjian Tan veut construire un pont (un "foncteur de comparaison") entre ces deux royaumes. Il veut savoir : "Si je prends une forme géométrique dans le premier royaume, puis que je la traverse par le pont, est-ce que je retrouve exactement la même information dans le deuxième royaume ?"

L'astuce du Miroir (La Dualité)

Le problème, c'est que ces deux mondes parlent des langages un peu opposés. Pour faire le pont, l'auteur utilise une astuce de magicien : le miroir.

Au lieu de regarder le Royaume de la Géométrie directement, il le regarde dans un miroir. En mathématiques, cela s'appelle la dualité.

• Imaginez que votre main droite est le monde des formes géométriques.
• Le miroir montre votre main gauche. C'est le "monde dual".
• L'auteur construit son pont non pas entre la main droite et le Royaume des Codes, mais entre la main gauche (le miroir) et le Royaume des Codes.

C'est plus facile à construire ! Une fois le pont construit du côté du miroir, on peut espérer qu'il fonctionne aussi pour le monde réel.

Les Deux Types de Ponts

L'auteur construit en fait deux ponts, car il y a deux façons de voir la géométrie :

1. Le Pont "A1-Invariant" (Le Pont Magique) :

   • Dans ce monde, on accepte une règle magique : si vous avez une forme et que vous lui ajoutez une ligne droite (comme un segment de papier), cela ne change rien. C'est comme si la géométrie était faite de pâte à modeler qui ne se soucie pas de la longueur des lignes.
   • Résultat : Ce pont fonctionne parfaitement ! Quand on traverse, on ne perd aucune information. C'est un pont "plein et fidèle". Si vous envoyez un objet, il arrive intact de l'autre côté.

2. Le Pont "Non-A1-Invariant" (Le Pont Réaliste) :

   • Ici, on enlève la magie. Une ligne droite est une ligne droite, et si on l'ajoute à une forme, ça change quelque chose. C'est plus strict, plus "réaliste".
   • Résultat : Ce pont est défectueux. Il y a des trous ! Quand on traverse, on perd de l'information.
   • Pourquoi ? L'auteur montre que dans ce monde réaliste, il y a une différence fondamentale entre la quantité d'informations qu'on peut stocker. D'un côté, les "codes" sont infinis et complexes (comme un nombre infini de variations possibles). De l'autre, les formes géométriques sont trop limitées pour tout capturer. C'est comme essayer de verser l'océan dans un petit verre : ça déborde, et on perd de l'eau.

L'Analogie du Traducteur

Imaginez que vous voulez traduire un livre de français (Géométrie) en espéranto (Motifs).

• Le cas A1 (Magique) : Le traducteur (le pont) est un génie. Il utilise un dictionnaire parfait. Chaque mot français a un équivalent exact en espéranto. On peut relire le livre en espéranto et tout comprendre, mot pour mot. C'est ce que prouve l'auteur pour le cas "A1-invariant".
• Le cas Non-A1 (Réaliste) : Le traducteur essaie de faire la même chose, mais le dictionnaire est incomplet. Certains concepts géométriques très fins n'ont pas d'équivalent en espéranto. De plus, le traducteur se heurte à un problème de taille : le livre original contient des détails si fins (des nombres infinis) que le traducteur ne peut pas tous les écrire. Il doit en oublier certains. C'est là que le pont échoue.

La Conclusion de l'Histoire

Tianjian Tan nous dit :

"J'ai réussi à construire un pont magnifique et parfait entre le monde miroir de la géométrie (avec la règle magique A1) et le monde des codes. Mais si on enlève la règle magique, le pont commence à s'effondrer : on ne peut plus tout traduire parfaitement."

C'est une découverte importante car elle nous dit où et quand on peut utiliser ces outils mathématiques puissants pour comparer des mondes différents, et où il faut faire attention car l'information risque de se perdre.

En résumé : La magie (A1-invariance) rend la traduction parfaite. La réalité (sans A1) rend la traduction imparfaite.

Résumé technique

Voici un résumé technique détaillé de la thèse de Tianjian Tan, intitulée « Comparison of Motivic Homotopy Theories », rédigé en français.

1. Problématique et Contexte

L'objectif principal de ce travail est d'établir et d'analyser des foncteurs de comparaison entre deux mondes mathématiques distincts mais profondément liés :

1. Les théories d'homotopie motivique :
   • La catégorie d'homotopie motivique stable $SH$ (Morel-Voevodsky), qui impose l'invariance par $\mathbb{A}^1$.
   • La catégorie d'homotopie motivique stable non-invariante par $\mathbb{A}^1$, notée $MS$ (Annala-Iwasa-Hoyois).
2. Les motifs non-commutatifs :
   • La catégorie des motifs localisants $Mot_{loc}$ (Blumberg-Gepner-Tabuada).
   • Sa version invariante par $\mathbb{A}^1$, notée $Mot_{loc}^{\mathbb{A}^1}$.

Le problème central est de construire des foncteurs de comparaison entre les catégories duales de l'homotopie motivique ($SH^\vee$ et $MS^\vee$) et les catégories de motifs ($Mot_{loc}^{\mathbb{A}^1}$ et $Mot_{loc}$). L'auteur s'interroge sur la nature de ces foncteurs : sont-ils pleinement fidèles ? Dans quelles conditions ?

2. Méthodologie

L'approche de l'auteur repose sur plusieurs piliers techniques avancés de la théorie des catégories supérieures ($\infty$-catégories) et de la théorie des motifs :

• Dualité dans les catégories stables présentables : L'auteur travaille dans la catégorie $\mathbf{Pr}^L_{st}$ des catégories stables présentables. Il utilise la notion de dualité d'objets ($C^\vee = \text{Fun}^L(C, \text{Sp})$) pour définir les catégories duales $SH^\vee$ et $MS^\vee$.
• Inversion formelle d'objets : Une partie cruciale de la méthodologie consiste à décrire les catégories duales $SH^\vee$ et $MS^\vee$ comme des inversions formelles d'objets dans des catégories de préfaisceaux (ou de cosheaves). L'auteur démontre que l'opération de dualité commute avec l'inversion formelle d'un objet compact (Proposition 2.14).
• Propriétés universelles via la localisation de Bousfield : L'auteur caractérise les foncteurs sortant de $SH^\vee$ et $MS^\vee$ en utilisant des propriétés universelles issues de la localisation. Il montre que $SH^\vee$ (resp. $MS^\vee$) est équivalente à une catégorie de cosheaves satisfaisant des conditions de descente (Nisnevich, $\mathbb{A}^1$ ou éclatements élémentaires) et où le dual de $\mathbb{P}^1$ est inversible.
• Facteurisation via les modules (Argument de Barr-Beck) : Les foncteurs de comparaison sont factorisés à travers des catégories de modules sur un objet spécifique (le dual du spectre de K-théorie $KGL$). L'auteur applique le théorème de Barr-Beck pour étudier la pleine fidélité de ces foncteurs factorisés.
• Génération rigide : L'analyse de la pleine fidélité globale repose sur la notion de « génération rigide » (existence d'un ensemble de générateurs compacts et dualisables).

3. Contributions Clés et Résultats

A. Construction des Foncteurs de Comparaison

L'auteur construit deux foncteurs principaux :

1. $\Phi : SH^\vee \to Mot_{loc}^{\mathbb{A}^1}$ : Un foncteur symétrique monoidal à adjoint à gauche.
2. $\Psi : MS^\vee \to Mot_{loc}$ : L'analogue non-invariant par $\mathbb{A}^1$.

Ces foncteurs sont définis en étendant le foncteur naturel $X \mapsto U(\text{perf}_X)$ (où $U$ est l'invariant localisant universel) depuis la catégorie des schémas lisses de présentation finie vers les catégories duales. La construction repose sur une caractérisation universelle (Propositions 3.12 et 3.19) : un foncteur sortant de $SH^\vee$ est entièrement déterminé par son comportement sur les schémas lisses, en préservant les carrés de Nisnevich, l'invariance $\mathbb{A}^1$, et en envoyant le fibré de $F(\mathbb{P}^1) \to F(\infty)$ sur un objet inversible.

B. Caractérisation des Catégories Duales

Un résultat technique majeur est la description explicite de $SH^\vee$ et $MS^\vee$ comme des catégories de cosheaves :

• $SH^\vee$ est équivalente à l'inversion formelle du dual de $\mathbb{P}^1$ dans la catégorie des cosheaves Nisnevich-$\mathbb{A}^1$.
• $MS^\vee$ est l'analogue pour les conditions d'éclatement élémentaire (elementary blowup excision) sans invariance $\mathbb{A}^1$.

C. Pleine Fidélité : Le Cas Invariant par $\mathbb{A}^1$

Résultat Positif : Sur un corps $k$ admettant une résolution des singularités, et après inversion de la caractéristique exponentielle $e$, le foncteur factorisé
$$e\Phi : \text{Mod}_{\Phi^*(1)}(SH(k)[1/e]^\vee) \to Mot(k)_{loc}^{\mathbb{A}^1}[1/e]$$
est pleinement fidèle au niveau des spectres d'applications (Proposition 4.2).

• Raison : La catégorie $SH(k)$ est « rigidement générée » (les objets compacts sont dualisables). Cela permet d'étendre la pleine fidélité locale (sur les générateurs) à la catégorie entière. Le foncteur $\Phi^*(1)$ est identifié à un dual de $KGL^{\mathbb{A}^1}$.

D. Pleine Fidélité : Le Cas Non-Invariant par $\mathbb{A}^1$

Résultat Négatif : Dans le cas non-invariant par $\mathbb{A}^1$, le foncteur
$$e\Psi : \text{Mod}_{\Psi^*(1)}(MS(k)[1/e]^\vee) \to Mot(k)_{loc}[1/e]$$
n'est pas pleinement fidèle en général (Proposition 4.3).

• Contre-exemple : Sur un corps dénombrable $k$, l'auteur démontre que l'ensemble des composantes connexes ($\pi_0$) des spectres d'applications entre objets compacts dans $MS(k)^\vee$ est dénombrable. En revanche, dans la catégorie des motifs $Mot_{loc}$, les spectres d'applications entre certains objets (liés aux anneaux de Witt) sont indénombrables.
• Cause : La catégorie $MS(k)$ n'est pas rigidement générée, ce qui empêche l'extension de la pleine fidélité locale à globale.

4. Signification et Impact

Ce travail apporte une compréhension profonde des relations entre l'homotopie motivique classique (invariante par $\mathbb{A}^1$) et la théorie des motifs non-commutatifs :

1. Unification Théorique : Il établit un pont rigoureux entre les catégories d'homotopie motivique (généralement définies par des localisations de préfaisceaux) et les catégories de motifs (définies par des invariants universels sur les catégories de complexes parfaits), en passant par la dualité.
2. Distinction Fondamentale : Il met en lumière une différence structurelle cruciale entre les théories invariantes et non-invariantes par $\mathbb{A}^1$. La propriété de génération rigide, essentielle pour la pleine fidélité, est présente dans le cadre de Morel-Voevodsky ($SH$) mais absente dans le cadre d'Annala-Iwasa-Hoyois ($MS$).
3. Limites de la Théorie des Motifs : Le résultat négatif pour le cas non-invariant suggère que la catégorie des motifs localisants $Mot_{loc}$ contient « trop d'information » (ou une information de nature différente, liée à la théorie de Witt) qui ne peut pas être capturée par la dualité de l'homotopie motivique non-invariante sur des corps dénombrables.
4. Outils Techniques : La démonstration de la commutativité entre la dualité et l'inversion formelle d'objets, ainsi que l'utilisation de modèles de c-spectres, constituent des avancées méthodologiques applicables à d'autres problèmes en géométrie algébrique stable.

En résumé, cette thèse confirme que l'homotopie motivique $\mathbb{A}^1$-invariante s'incarne fidèlement dans le monde des motifs non-commutatifs, tandis que la version non-invariante échoue à le faire en raison de contraintes de cardinalité et de structure de génération.