Some computations in the heart of the homotopy t-structure on logarithmic motives

Cette note présente une méthode pour calculer le $\pi_0$ du motif logarithmique effectif d'une variété lisse et propre, démontrant son invariance par $\mathbf{A}^1$ et établissant que le foncteur de dépouillement vers les faisceaux de Nisnevich avec transferts est pleinement fidèle.

L'essentiel

Imaginez que les mathématiques, et plus particulièrement la géométrie, sont comme un immense labyrinthe. Pour s'y retrouver, les mathématiciens utilisent des "cartes" appelées motifs. Ces cartes permettent de comprendre la forme et la structure des objets géométriques en les décomposant en pièces plus simples.

Depuis quelques années, les mathématiciens ont découvert une nouvelle façon de dessiner ces cartes, appelée motifs logarithmiques. C'est comme si, au lieu de regarder seulement la surface d'un objet, on ajoutait une "couche de peau" ou une "étiquette" spéciale sur les bords de l'objet pour mieux comprendre comment il se comporte quand on le touche ou qu'on le modifie.

Voici ce que fait Alberto Merici dans ce texte, expliqué simplement :

1. Le Problème : Deux Langages Différents

Imaginez que vous avez deux traducteurs pour le même livre :

• Le Traducteur Classique (Sans étiquettes) : Il parle un langage très simple et bien connu, que tout le monde comprend.
• Le Traducteur Logarithmique (Avec étiquettes) : Il parle un langage plus riche, capable de décrire des détails fins que le premier ignore, mais qui est plus difficile à utiliser.

Le problème, c'est que personne ne savait si ces deux traducteurs disaient exactement la même chose. Est-ce que chaque phrase du langage simple a une correspondance unique et parfaite dans le langage complexe ? Ou y a-t-il des phrases dans le langage complexe qui n'ont pas de sens dans le langage simple (des "bruits" inutiles) ?

2. La Solution : Une Carte Plus Claire

L'auteur de ce papier a trouvé une méthode pour vérifier si ces deux traducteurs sont en fait parfaitement synchronisés.

Il a utilisé une astuce ingénieuse : il a regardé un objet très simple, une sphère (ou en mathématiques, la droite projective $\mathbb{P}^1$, qui ressemble à un cercle). En calculant précisément comment les "pièces" de cette sphère s'assemblent dans le langage logarithmique, il a découvert quelque chose de surprenant : il n'y a pas de bruit.

3. L'Analogie du Miroir Parfait

Pour faire simple, imaginez que le langage logarithmique est un miroir magique.

• Avant ce papier, on pensait que ce miroir pouvait parfois déformer l'image ou ajouter des fantômes (des informations qui n'existent pas dans la réalité simple).
• Merici a prouvé que, dans le cas des objets "propres" (comme une sphère ou une surface lisse), ce miroir est parfait.

Ce qu'il dit, c'est : "Si vous avez une phrase dans le langage simple, vous pouvez la traduire dans le langage complexe d'une seule manière, et si vous la retraduisez, vous retrouvez exactement la phrase de départ. Il n'y a aucune perte d'information ni d'ajout magique."

4. Pourquoi est-ce important ?

C'est comme si vous aviez deux outils de construction :

1. Un marteau simple (le langage classique).
2. Un marteau laser ultra-précis (le langage logarithmique).

Avant, on se demandait : "Est-ce que le marteau laser fait juste des choses plus compliquées, ou est-ce qu'il fait exactement la même chose que le marteau simple, mais avec plus de détails ?"

La réponse de Merici est : C'est exactement la même chose. Le marteau laser ne crée pas de nouvelles structures inattendues ; il confirme simplement que les structures de base sont solides.

En Résumé

Ce papier est une victoire pour la clarté. Il prouve que la nouvelle théorie des "motifs logarithmiques" (avec les étiquettes) est fidèle à la théorie classique. Cela signifie que les mathématiciens peuvent maintenant utiliser les outils puissants et complexes du langage logarithmique pour résoudre des problèmes, en étant sûrs à 100 % que leurs résultats correspondent parfaitement à la réalité géométrique classique.

C'est comme avoir confirmé que votre GPS le plus avancé vous guide exactement sur le même chemin que votre vieille carte papier, mais en vous montrant aussi les petits chemins de traverse que vous n'aviez jamais vus auparavant, sans jamais vous faire perdre.

Résumé technique

Voici un résumé technique détaillé de l'article « Some computations in the heart of the homotopy t-structure on logarithmic motives » d'Alberto Merici, rédigé en français.

1. Problématique et Contexte

L'article s'inscrit dans le domaine de la théorie des motifs logarithmiques, introduite par Binda, Park et Østvær ([BPØ22]). Ces motifs permettent d'étudier les cohomologies non $\mathbb{A}^1$-invariantes en utilisant les outils de la théorie de l'homotopie motivique.

Le problème central abordé concerne la relation entre la catégorie des motifs logarithmiques effectifs (notée $\logDMeff(k, \mathbb{Z})$) et la catégorie classique des faisceaux de Nisnevich avec transferts (notée $\Shvtr_{\Nis}(k, \mathbb{Z})$). Plus précisément, il existe un foncteur d'oubli $\omega^\sharp$ qui restreint un faisceau logarithmique aux schémas usuels (en ignorant la structure logarithmique).

Dans [BM21], il a été démontré que ce foncteur, restreint aux cœurs des structures t d'homotopie (les catégories de faisceaux strictement $\square$-invariants, notées $\logCIltr(k, \mathbb{Z})$), est fidèle et exact. Cependant, la question de savoir s'il est pleinement fidèle (c'est-à-dire si tout morphisme entre les images provient d'un morphisme unique entre les objets logarithmiques) restait ouverte.

Une conjecture formulée dans [BM22, Conjecture 0.2] affirmait que ce foncteur est pleinement fidèle. Une preuve partielle dans [BM21] contenait une lacune, soulignée dans [BM22], liée à la nécessité de résolutions de singularités pour certaines étapes de calcul. L'objectif de Merici est de combler cette lacune et de prouver la conjecture sans aucune hypothèse de résolution de singularités.

2. Méthodologie

L'auteur développe une méthode de calcul directe des groupes d'homotopie des motifs logarithmiques, en évitant les obstacles techniques liés aux morphismes de Gysin complexes.

A. Calcul des groupes d'homotopie $\pi_0$ et $\pi_1$
L'approche repose sur le calcul explicite du foncteur de localisation $h^\square_0$ (le foncteur associé au cœur de la structure t) pour des variétés lisses et propres.

• Proposition 3.2 : L'auteur établit un critère technique (condition $(\star)$) pour identifier $h^\square_0(S)$ avec un objet $T$ donné, en vérifiant que le noyau d'une application spécifique s'annule sur les corps de fonctions via des différences de points rationnels.
• Proposition 3.4 : En appliquant ce critère, il est démontré que pour une variété propre $X$, $h^\square_0(X) \cong \omega^* h^{\mathbb{A}^1}_0(X^\circ)$, où $X^\circ$ est le sous-schéma ouvert à structure logarithmique triviale. Cela relie les motifs logarithmiques aux motifs classiques de Suslin.
• Proposition 3.6 : Le calcul est étendu au premier groupe d'homotopie de $\mathbb{P}^1$. L'auteur montre que $h^\square_1(\mathbb{P}^1, \text{triv}) \cong \omega^* \mathbb{G}_m$. Ce résultat est crucial car il identifie le premier groupe d'homotopie avec le faisceau multiplicatif classique, sans hypothèse de résolution de singularités.

B. Analyse des obstructions via les applications de Gysin
La preuve de la pleine fidélité repose sur l'analyse des obstructions à relever un morphisme $\phi: \omega^\sharp F \to \omega^\sharp G$ en un morphisme logarithmique.

• Selon [Mer25], l'obstruction est codée par des applications de Gysin ($Gys_0$) définies sur les corps de fonctions.
• L'auteur démontre (Lemme 4.2 et Théorème 4.4) que dans le cas avec transferts, ces applications de Gysin coïncident avec des compositions de morphismes déjà définis dans la catégorie classique $\Shvtr_{\Nis}(k, \mathbb{Z})$ (via le fibré tautologique de $\mathbb{P}^1$).
• Cela implique que les obstructions sont triviales : tout morphisme compatible avec les résidus (ce qui est automatique ici grâce à la structure des applications de Gysin) se relève de manière unique.

3. Contributions Clés

1. Preuve de la Conjecture 0.2 de [BM22] : L'article fournit une preuve rigoureuse et complète que le foncteur de restriction $\omega^\sharp \iota : \logCIltr(k, \mathbb{Z}) \to \Shvtr_{\Nis}(k, \mathbb{Z})$ est pleinement fidèle.
2. Indépendance vis-à-vis des résolutions de singularités : Contrairement aux travaux antérieurs qui nécessitaient des hypothèses fortes sur la résolution des singularités, cette preuve fonctionne pour tout corps parfait $k$, en utilisant uniquement des techniques de géométrie algébrique et de théorie des motifs.
3. Calcul explicite de $h^\square_1(\mathbb{P}^1)$ : L'auteur calcule le premier groupe d'homotopie du motif effectif de la droite projective, montrant qu'il est isomorphe à $\omega^* \mathbb{G}_m$. Ce résultat est une étape intermédiaire essentielle pour comprendre la structure du cœur de la catégorie.
4. Méthode de calcul de $h^\square_0$ : La Proposition 3.2 offre une nouvelle méthode générale pour calculer les objets du cœur de la structure t en utilisant des propriétés de pureté et de comportement sur les corps de fonctions, applicable potentiellement à d'autres contextes.

4. Résultats Principaux

• Théorème 1.1 (Théorème 4.4 dans le texte) : Soient $F, G \in \logCIltr(k, \mathbb{Z})$ et $\phi: \omega^\sharp F \to \omega^\sharp G$ un morphisme dans la catégorie des faisceaux de Nisnevich avec transferts. Alors $\phi$ se relève de manière unique en un morphisme $F \to G$ dans $\logCIltr(k, \mathbb{Z})$.
  • Conséquence : Le foncteur $\omega^\sharp \iota$ est pleinement fidèle et exact.
• Proposition 3.4 : Pour $X$ propre et lisse, $h^\square_0(X) \cong \omega^* h^{\mathbb{A}^1}_0(X^\circ)$.
• Proposition 3.6 : $h^\square_1(\mathbb{P}^1, \text{triv}) \cong \omega^* \mathbb{G}_m$.

5. Signification et Impact

Ce travail est fondamental pour la compréhension de la structure des motifs logarithmiques :

• Stabilité de la théorie : En prouvant que le cœur de la structure t logarithmique s'injecte pleinement fidèlement dans la catégorie classique, l'auteur confirme que les motifs logarithmiques enrichissent la théorie classique sans introduire de "bruit" supplémentaire dans les morphismes entre objets $\square$-invariants.
• Correction de la littérature : Il comble une lacune importante dans la preuve initiale de [BM21], rendant les résultats sur la pleine fidélité inconditionnels (pas besoin de résolution de singularités).
• Perspectives futures : L'auteur suggère que ces résultats seront utiles pour comparer les spectres motiviques logarithmiques avec les spectres $\mathbb{P}^1$-stables développés par Annala, Hoyois et Iwasa ([AHI25]). La compréhension fine des applications de Gysin dans ce contexte ouvre la voie à des calculs de cohomologie motivique plus complexes et à l'étude des cohomologies p-adiques intégrales.

En résumé, Merici établit un pont rigoureux entre la théorie des motifs logarithmiques et la théorie classique, démontrant que, dans le cadre des faisceaux avec transferts, la structure logarithmique ne modifie pas la nature des morphismes entre objets invariants, tout en fournissant les outils de calcul nécessaires pour manipuler ces objets.