Trace formalism for motivic cohomology

Cet article construit des applications de trace pour le formalisme des six foncteurs de la cohomologie motivique, ainsi qu'une amélioration en $\infty$-catégorie de ce formalisme, en réinterprétant les traces via les groupes de cycles relatifs de Suslin-Voevodsky.

L'essentiel

Voici une explication de l'article de Tomoyuki Abe, traduite en langage simple et imagé pour un public non spécialiste.

Le Grand Voyage des "Chiffres Magiques" : Comprendre la Cohomologie Motique

Imaginez que vous êtes un architecte qui doit construire des ponts entre deux mondes très différents :

1. Le monde des formes géométriques (les schémas, les courbes, les surfaces).
2. Le monde des nombres et des équations (la cohomologie, qui permet de compter et de mesurer ces formes).

Dans ce monde mathématique, il existe une règle d'or appelée le "formalisme des six foncteurs". C'est comme une boîte à outils universelle qui permet de transformer des objets d'un monde vers l'autre, de les étirer, de les plier, ou de les projeter.

L'article de Tomoyuki Abe traite d'un outil spécifique de cette boîte à outils : la trace.

1. La Trace : Le "Téléporteur" de l'Information

Dans la vie de tous les jours, si vous avez un objet (disons, une pomme) et que vous le déplacez d'une table à une autre, vous savez qu'il est toujours là. Mais en mathématiques, quand on déplace une forme géométrique complexe d'un endroit à un autre, il arrive qu'elle perde de son "information" ou qu'elle se transforme de manière obscure.

La trace est un mécanisme magique qui permet de dire : "Attends, même si on a déplacé cette forme, on peut encore récupérer une information précise sur elle à l'arrivée."

Dans les années 1970, les mathématiciens avaient déjà inventé ce téléporteur pour un monde appelé la cohomologie étale (un monde très proche de la géométrie classique). Mais il manquait un téléporteur pour un monde plus moderne et plus complexe appelé la cohomologie motivique (inventé par Voevodsky et d'autres). C'est le but principal de cet article : construire ce téléporteur manquant.

2. Le Problème : Quand les Formes sont "Sales" (Non-Réduites)

Le problème est que les formes géométriques dans ce monde moderne peuvent être "sales" ou "déformées" (elles contiennent des informations cachées, comme des couches de peinture superposées).

L'auteur remarque quelque chose d'intéressant : la cohomologie est un peu comme un détective qui ne voit que les contours grossiers. Elle ne voit pas les détails fins des "couches de peinture" (les nilpotents).

• L'analogie : Imaginez que vous avez un dessin fait avec un feutre qui coule un peu. La cohomologie ne voit que la forme globale du dessin, pas les bavures.
• La découverte d'Abe : Puisque la cohomologie ne voit pas les bavures, la "trace" ne devrait pas dépendre de la forme exacte du dessin, mais plutôt de l'empreinte que le dessin laisse sur le sol. Cette empreinte, ce sont les cycles (des lignes, des surfaces, des volumes).

Au lieu de dire "Trace de la forme X", Abe dit : "Trace du cycle (l'empreinte) de X". C'est comme passer de la géométrie pure à la théorie des nombres qui compte les objets.

3. La Solution : Les "Groupes de Cycles Relatifs"

Pour construire ce téléporteur, Abe utilise une invention de Suslin et Voevodsky : les groupes de cycles relatifs.

• L'image : Imaginez que vous avez un tas de briques (vos formes géométriques). Au lieu de regarder chaque brique individuellement, vous les regroupez en "piles" selon leur taille et leur forme. Ces piles sont les "cycles".
• Abe montre qu'on peut associer à chaque pile de briques un nombre magique (la trace) qui fonctionne parfaitement, même si les briques sont un peu cassées ou déformées.

4. Le Tour de Force : L'Amélioration "Infinity" (∞)

La partie la plus avancée de l'article (la section 6) parle d'une "∞-amélioration".

• L'analogie : Imaginez que vous avez une photo 2D d'un objet. C'est bien, mais c'est plat. Maintenant, imaginez que vous créez un hologramme 3D interactif de cet objet, où vous pouvez tourner autour, zoomer, et voir les relations entre les parties en temps réel.
• En mathématiques, passer du monde classique (1-catégorie) au monde "∞" (∞-catégorie), c'est comme passer de la photo 2D à l'hologramme 3D. Cela permet de gérer des relations beaucoup plus complexes et fluides.
• Abe ne se contente pas de construire le téléporteur (la trace) ; il le construit sous forme d'hologramme. Cela signifie que la trace fonctionne non seulement pour un objet, mais pour tout un système d'objets qui bougent et interagissent entre eux de manière infiniment complexe.

5. Pourquoi est-ce important ?

Cet article est crucial car il fournit le pont final entre deux concepts fondamentaux :

1. Les cycles (les objets géométriques concrets, comme les courbes tracées sur une surface).
2. La cohomologie motivique (le langage abstrait qui décrit ces objets).

Sans ce pont, les mathématiciens ne peuvent pas utiliser les outils puissants de la cohomologie pour étudier les cycles géométriques réels. En construisant ce pont (et son hologramme 3D), Abe permet aux chercheurs de "jeter" des informations géométriques concrètes dans le cadre théorique le plus avancé de la géométrie moderne.

En résumé

Tomoyuki Abe a réussi à :

1. Identifier que la "trace" (le téléporteur d'information) doit être basée sur les "cycles" (les empreintes) plutôt que sur les formes brutes.
2. Construire ce téléporteur pour le monde moderne de la cohomologie motivique.
3. Améliorer ce téléporteur en version "hologramme 3D" (∞-catégorie) pour qu'il soit plus robuste et capable de gérer des situations mathématiques très complexes.

C'est un travail de maçonnerie mathématique de très haut niveau, qui permet de solidifier les fondations sur lesquelles reposent de nombreuses recherches futures en géométrie algébrique.

Résumé technique

Voici un résumé technique détaillé de l'article « Trace formalism for motivic cohomology » de Tomoyuki Abe, rédigé en français.

1. Problématique et Contexte

L'objectif principal de cet article est de construire des applications de trace (trace maps) pour le formalisme des six foncteurs en cohomologie motivique, tel que développé par Voevodsky, Ayoub et Cisinski–Déglise.

• Contexte historique : En cohomologie étale, l'application de trace $Tr_f : Rf_! f^* \Lambda(d)[2d] \to \Lambda$ pour un morphisme plat $f$ de dimension $d$ est un outil fondamental (SGA 4), utilisé notamment pour construire les classes de cycles. Elle permet d'injecter l'information géométrique (cycles) dans le cadre cohomologique.
• Le défi motivique : Bien que le formalisme des six foncteurs soit bien établi pour la cohomologie motivique, la construction d'une application de trace analogue, satisfaisant des propriétés fonctorielles fortes et compatible avec l'« amélioration $\infty$ » (infinity enhancement), restait à réaliser de manière systématique.
• Obstacle technique : Une difficulté majeure réside dans la nécessité de contrôler les homotopies supérieures. Contrairement à la cohomologie étale où l'on peut souvent réduire les constructions à des cas lisses via des théorèmes d'altération, la construction motivique nécessite une interprétation plus fonctorielle pour éviter les problèmes liés aux schémas non réduits et aux immersions nilpotentes.

2. Méthodologie

L'auteur adopte une approche combinant la théorie des cycles de Suslin–Voevodsky et le langage des catégories $\infty$.

A. Réinterprétation via les groupes de cycles relatifs

L'auteur identifie un défaut du formalisme traditionnel : l'application de trace est associée à un « cycle » plutôt qu'à un « schéma ». Pour formaliser cela, il utilise les groupes de cycles relatifs de Suslin et Voevodsky, notés $zequi(X/S, d)$.

• Pour un morphisme $f: X \to S$, $zequi(X/S, d)$ est un sous-groupe du groupe des cycles équidimensionnels de dimension $d$ sur $S$.
• Si $f$ est plat de dimension $d$, le cycle fondamental $[X]$ appartient à $zequi(X/S, d)$.
• L'idée centrale est de construire un morphisme naturel :
  $$zequi(X/S, n) \to \text{Hom}(Rf_! f^* \Lambda(n)[2n], \Lambda)$$
  qui envoie $[X]$ sur l'application de trace classique lorsque $f$ est plat.

B. Théorie bivariante et Homologie de Borel-Moore

Le cadre utilisé est celui de la théorie bivariante (au sens de Fulton-MacPherson).

• L'homologie de Borel-Moore motivique est définie comme $H^{BM}(X/S, \Lambda(n)) := \text{Hom}_{D(S)}(Rf_! f^* \Lambda, \Lambda_S)$.
• L'auteur montre que $zequi(-, -)$ et $H^{BM}(-, -)$ peuvent être promus en théories bivariantes munies d'une orientation $\mathbb{A}^1$.

C. Vanishing des homotopies supérieures

Un résultat technique clé (Section 3) est la vanishing des homotopies supérieures :
$$R^i \text{Hom}(Rf_! f^* \Lambda(d)[2d], \Lambda) = 0 \quad \text{pour } i < 0.$$
Cette propriété est cruciale car elle permet de :

1. Réduire la construction de l'application de trace à un problème « local » (construction de morphismes de faisceaux).
2. Justifier que la construction sur un ouvert dense suffit à déterminer l'application globale.
3. Utiliser la topologie pdh (générée par les morphismes finis plats de degré puissance de $p$ et les recouvrements cdh) pour réduire les problèmes au cas où la base est lisse, grâce au théorème d'altération de Temkin.

D. Amélioration $\infty$ (Infinity Enhancement)

La dernière section (Section 6) vise à élever ce formalisme au niveau des catégories $\infty$. L'auteur définit une catégorie $\hat{\text{Ar}}$ de morphismes de schémas et construit des foncteurs vers la catégorie des spectres ($Sp$). L'application de trace est alors formulée comme une transformation naturelle entre ces foncteurs $\infty$.

3. Résultats Principaux

Théorème Principal (Théorème 3.5)

Soit $k$ un corps parfait de caractéristique $p > 0$ et $\Lambda = \mathbb{Z}[1/p]$. Il existe une application unique de théories bivariantes, compatible avec l'orientation $\mathbb{A}^1$ :
$$\tau : zequi(-, *) \longrightarrow H^{BM}_{2*}(-, \Lambda(*))$$
Cette application $\tau$ envoie le cycle fondamental $[X]$ d'un morphisme plat $f: X \to S$ de dimension $d$ sur l'application de trace $Tr_f^\tau \in H^{BM}_{2d}(X/S, \Lambda(d))$.

Propriétés de $\tau$ :

1. Généralisation : Ce résultat généralise l'application de trace de SGA 4 (cas étale) et les travaux de Déglise sur les morphismes g.c.i. (général complete intersection).
2. Universalité : Le spectre d'Eilenberg-MacLane motivique $H\Lambda$ étant universel pour les spectres SH absolus orientés avec une loi de groupe formel additive, ce résultat s'étend à d'autres théories de cohomologie via un morphisme unique $H\Lambda \to E$.
3. Indépendance du corps : Le théorème reste valable pour tout corps $k$ (pas nécessairement parfait) et pour $\Lambda = \mathbb{Z}$ si la résolution des singularités est supposée.

Construction de l'Amélioration $\infty$ (Théorème 6.4)

Il existe essentiellement une unique transformation naturelle de préfaisceaux à valeurs en spectres :
$$\tau^\dagger : z(d) \longrightarrow H^{BM}(d)$$
sur la catégorie $\hat{\text{Ar}}$, telle que sa composante en $\pi_0$ coïncide avec l'application $\tau$ du théorème 3.5. Cela établit un lien rigoureux entre les « cycles réels » (représentés par les groupes de cycles) et la cohomologie motivique améliorée $\infty$.

4. Signification et Impact

1. Interface Cycle-Cohomologie : Ce travail fournit l'outil technique manquant pour connecter rigoureusement la théorie des cycles algébriques (via les groupes $zequi$) et la cohomologie motivique dans le cadre $\infty$-catégorique.
2. Fondation pour les travaux futurs : L'auteur mentionne que cette amélioration $\infty$ est un ingrédient crucial pour son travail ultérieur ([Abe22b]), probablement lié à la construction de classes de cycles motiviques et à leur comportement sous les opérations de six foncteurs.
3. Robustesse technique : En démontrant la vanishing des homotopies supérieures et en utilisant la topologie pdh, l'article surmonte les obstacles liés aux schémas singuliers et non réduits, offrant une construction qui ne dépend pas de la régularité de la base.
4. Unification : Le résultat unifie la perspective géométrique (cycles) et la perspective homotopique (spectres motiviques), renforçant la structure du formalisme des six foncteurs en géométrie algébrique motivique.

En résumé, Tomoyuki Abe réussit à construire une théorie de trace motivique robuste et fonctorielle, en la reliant aux groupes de cycles de Suslin-Voevodsky, et à l'élever au niveau $\infty$-catégorique, ouvrant ainsi la voie à des applications profondes en géométrie algébrique moderne.