Construction of logarithmic cohomology theories II: On Chow groups

Ce deuxième volet de la série établit un résultat technique sur les groupes de Chow des variétés toriques, qui constitue un élément essentiel pour la première partie consacrée aux théories de cohomologie logarithmique.

L'essentiel

Imaginez que vous êtes un architecte chargé de construire des bâtiments très complexes, appelés variétés toriques. Ces bâtiments sont faits de pièces géométriques (des polyèdres) collées ensemble de manière très précise.

Dans le monde des mathématiques, il existe un outil puissant pour étudier ces bâtiments : les groupes de Chow. On peut les voir comme une sorte de "compteur" ou d'inventaire qui nous dit combien de pièces de différentes tailles (lignes, surfaces, volumes) composent notre bâtiment, et comment elles s'assemblent.

Le but de ce papier, écrit par Doosung Park, est de résoudre un casse-tête technique sur la façon de compter ces pièces dans un type de bâtiment très spécifique, lié à des espaces appelés "variétés logaritmiques".

Voici l'explication du papier, étape par étape, avec des analogies simples :

1. Le Problème : Un Bâtiment Trop Complexe

L'auteur veut prouver une formule magique (le Théorème 1.1) qui dit essentiellement : "Si vous comptez les pièces de ce bâtiment complexe d'une certaine manière, vous obtiendrez exactement le même nombre que si vous comptiez les pièces d'un bâtiment beaucoup plus simple (un simple point ou un cube)."

Pour prouver cela, il ne suffit pas de regarder le bâtiment final. Il faut comprendre comment on peut le construire pièce par pièce, en partant d'un plan de base et en ajoutant des détails.

2. La Stratégie : La "Raffinement" (Le découpage)

Imaginez que vous avez un gros gâteau (le bâtiment de base). Pour le décorer parfaitement, vous ne pouvez pas le couper d'un seul coup. Vous devez le couper en tranches, puis couper ces tranches en plus petits morceaux, et ainsi de suite.

En mathématiques, cela s'appelle une subdivision.

• Le défi : Si vous coupez un gâteau de manière trop brutale (comme une subdivision barycentrique classique), vous pouvez créer des formes bizarres qui rendent le comptage impossible.
• La solution de l'auteur : Il invente une méthode de coupe très spéciale, qu'il appelle la "subdivision barycentrique excluant $\eta$".
  • L'analogie : Imaginez que vous avez un gâteau avec une cerise au milieu (le "cône $\eta$"). La méthode classique couperait à travers la cerise, ce qui est moche. La méthode de Park consiste à couper autour de la cerise, en s'assurant que la cerise reste intacte et que les nouvelles tranches sont parfaitement régulières.

3. L'Outil Magique : Les "Subdivisions Très Standard"

L'auteur construit un bâtiment de référence parfait, qu'il appelle $\Theta_{n,r,d}$.

• C'est comme un Lego ultra-précis. Il est construit de telle sorte que chaque pièce a une place exacte et que l'on peut facilement compter combien de pièces il y a.
• Il prouve que n'importe quel bâtiment complexe (même un peu "moche" ou irrégulier) peut être transformé en ce bâtiment Lego parfait, étape par étape, en faisant des coupes très fines (des "étoiles" de subdivisions).

4. Le Comptage : La "Machine à Calculer"

Une fois qu'on a ce bâtiment Lego parfait ($\Theta$), comment on compte ?
L'auteur utilise deux méthodes combinées :

1. Un ordre logique : Il numérote les pièces du Lego de la plus petite à la plus grande, comme on range des livres sur une étagère. Cela permet de s'assurer qu'on ne compte rien deux fois.
2. Une "machine à résolution" : Il crée une série de calculs (une suite de complexes) qui ressemble à une chaîne de montage.
   • Imaginez une chaîne où vous avez des pièces brutes, puis vous les assemblez, puis vous retirez les pièces inutiles.
   • L'auteur montre que si vous faites passer votre comptage à travers cette chaîne, tout ce qui est "faux" ou "en trop" s'annule, et il ne reste que le résultat exact.

5. Le Pont : Les "Subdivisions Admissibles"

Le vrai défi survient quand on doit passer d'un bâtiment "parfait" à un bâtiment "réel" qui a subi des transformations (comme un blow-up, qui est une opération mathématique qui agrandit une partie du bâtiment).

• L'auteur introduit le concept de "subdivision admissible". C'est comme dire : "Même si le bâtiment n'est plus un Lego parfait, il respecte certaines règles de sécurité (comme avoir des murs droits ou des coins précis)."
• Il utilise une technique de "homotopie" (une sorte de déformation continue). Imaginez que vous avez un bloc de pâte à modeler. Si vous pouvez le déformer en un autre bloc sans le déchirer, ils sont "équivalents". L'auteur montre qu'on peut déformer le comptage d'un bâtiment complexe en celui d'un bâtiment simple sans changer le résultat final.

6. La Conclusion : Le Puzzle est Résolu

En combinant tout cela :

1. Il prend n'importe quel bâtiment complexe.
2. Il le transforme en un "Lego parfait" ($\Theta$) via des coupes spécifiques.
3. Il utilise sa "machine à calculer" pour montrer que le comptage sur ce Lego parfait est simple.
4. Il utilise les règles de déformation pour prouver que le résultat est le même pour le bâtiment original.

En résumé :
Ce papier est un guide technique pour dire comment compter les briques d'un château de cartes mathématique très compliqué. L'auteur dit : "Ne vous inquiétez pas de la complexité. Si vous découpez le château selon mes règles précises (les subdivisions très standard), vous obtiendrez un modèle simple dont le comptage est évident. Et grâce à des astuces de déformation, ce comptage simple est valable pour n'importe quel château, aussi compliqué soit-il."

C'est une victoire de l'organisation et de la structure sur le chaos, permettant de prouver une propriété fondamentale pour des théories mathématiques encore plus vastes (la théorie de l'homotopie motivique).

Résumé technique

Voici un résumé technique détaillé du papier « CONSTRUCTION OF LOGARITHMIC COHOMOLOGY THEORIES II: ON CHOW GROUPS » de Doosung Park, rédigé en français.

1. Problématique et Contexte

Ce travail constitue la deuxième partie d'une série visant à étendre les théories de cohomologie des schémas aux schémas log-schémas finis (fs log schemes). Dans la première partie [11], l'auteur a démontré que la K-théorie des schémas est représentable dans la catégorie homotopique motivique logarithmique et a construit une trace cyclotomique logarithmique.

Cependant, ces résultats reposaient sur une hypothèse technique cruciale, énoncée dans le Théorème 1.1 :
$$CH_q(C) \cong LC_{\partial}CH_q(\square^r_C)$$
où $CH_q$ désigne le groupe de Chow de dimension $q$, et le terme de droite implique une construction logarithmique sur le cube affine.

L'objectif principal de ce papier est de prouver ce théorème. Pour ce faire, l'auteur reformule le problème en termes de groupes de Chow de variétés toriques. Le cœur du problème réside dans la démonstration que le complexe de groupes de Chow associés à certaines subdivisions standard de $(\mathbb{P}^1)^n$ est quasi-isomorphe au groupe de Chow du point $CH_q(C)$.

2. Méthodologie

La preuve est structurée en trois parties principales, combinant la géométrie torique, la théorie des subdivisions d'éventails (fans) et l'algèbre homologique.

A. Construction de subdivisions « suffisamment fines » (Partie I)

L'auteur introduit une méthode pour raffiner les subdivisions d'éventails afin de contrôler la géométrie des cônes.

• Subdivision barycentrique exclue ($\eta$-excluded barycentric subdivision) : Une variante de la subdivision barycentrique classique, adaptée aux fans toriques, qui évite de subdiviser certains cônes spécifiques (notamment ceux liés à la structure logarithmique).
• Itération et finesse : En répétant ces subdivisions, l'auteur construit des subdivisions « très $r$-standard » (notées $\Theta_{n,r,d}$). Ces subdivisions possèdent une propriété technique clé : elles permettent de contrôler la position des cônes par rapport à des hyperplans définis par des paramètres $\epsilon$, assurant que les cônes deviennent « arbitrairement petits » dans un sens adapté à la géométrie torique (via des inégalités du type $H^{\ge 0}_\epsilon$).

B. Ordre admissible et bases explicites (Partie II)

Pour calculer les groupes de Chow des variétés toriques associées à ces subdivisions ($\Theta_{n,r,d}$), l'auteur utilise le théorème de Fulton sur les bases des groupes de Chow.

• Ordonnancement admissible : Il définit un ordre spécifique sur l'ensemble des cônes maximaux d'une subdivision. Cet ordre permet d'appliquer un résultat de Fulton [7] qui fournit une base explicite pour le groupe de Chow $CH_*(\Sigma)$.
• Résolution libre : En utilisant une suite spectrale convergente vers les groupes de Chow (inspirée de [12]), l'auteur construit une résolution libre explicite des groupes de Chow « plats » ($CH^\flat$), notée $Z^\flat_{p,q}(\Theta_{n,r,d})$.
• Identités cubiques : Il définit des applications de bord ($\delta^*$), de projection ($\rho^*$) et d'inclusion ($\nu^*$) sur ces complexes de chaînes. La démonstration repose sur la vérification d'identités cubiques (relations de commutation entre ces applications) qui montrent que le complexe associé est acyclique (quasi-isomorphe à 0) dans les degrés pertinents.

C. Induction via éclatements (Partie III)

Pour passer de la subdivision spécifique $\Theta_{n,r,d}$ à une subdivision générale $\Sigma$, l'auteur utilise une argumentation par récurrence.

• Subdivisions admissibles : Il introduit la notion de « subdivision admissible » $(I_0, I_1, I_2)$-admissible, une généralisation flexible des subdivisions $r$-standard, nécessaire car les éclatements intermédiaires ne préservent pas toujours la structure $r$-standard stricte.
• Formule d'éclatement : La preuve utilise la formule d'éclatement pour les groupes de Chow. Chaque étape de la récurrence correspond à un éclatement d'une variété torique le long d'un centre lisse.
• Lemme d'homotopie : Les Lemmes 6.3.1 et 6.3.2 sont cruciaux. Ils établissent que si une classe dans un groupe de Chow s'annule sur les diviseurs de bord, elle peut être « relevée » ou « homotopée » dans une subdivision plus fine (ou un produit avec $\mathbb{P}^1$). Cela permet de construire l'élément $y$ nécessaire pour prouver la surjectivité du complexe.

3. Résultats Clés

• Théorème 1.6 (Résultat Principal) : Pour tous entiers $q, r \ge 0$, le complexe de groupes de Chow plats :
  $$\cdots \xrightarrow{\delta^*} CH^\flat_{q, \text{sta}}(r+1, r) \xrightarrow{\delta^*} CH^\flat_{q, \text{sta}}(r, r) \to 0$$
  est quasi-isomorphe à $CH_q(C)$ (placé en degré 0).
• Construction de $\Theta_{n,r,d}$ : L'auteur prouve l'existence de subdivisions très $r$-standard qui possèdent des propriétés de régularité et de contrôle géométrique suffisantes pour appliquer les méthodes de calcul de Chow.
• Acyclicité du complexe de résolution : Il démontre que le complexe de chaînes $Z^\flat_{p,\bullet}(\Theta_{n,r,d})$ est quasi-isomorphe à 0 pour $p \le r-1$, ce qui est l'étape de base de l'induction.
• Stabilité par éclatement : Il montre que la propriété de résolution (notée $(\ast)$ dans le texte) est préservée lors des subdivisions par éclatements successifs, permettant de généraliser le résultat de la subdivision spécifique à toute subdivision lisse.

4. Contributions Techniques

1. Développement de la géométrie torique logarithmique : Le papier fournit des outils techniques robustes (subdivisions exclues, subdivisions très standard) pour manipuler les variétés toriques dans un contexte logarithmique.
2. Généralisation des identités cubiques : L'adaptation des identités cubiques (habituellement utilisées en théorie de l'homotopie simpliciale) aux groupes de Chow de variétés toriques via des applications de bord et de projection est une innovation méthodologique majeure.
3. Lien entre subdivisions et groupes de Chow : La démonstration explicite que des suites de subdivisions par éclatements permettent de « connecter » n'importe quelle subdivision standard à une subdivision de référence ($\Theta_{n,r,d}$) tout en contrôlant les groupes de Chow.

5. Signification et Impact

Ce résultat est indispensable pour la première partie de la série [11].

• Il valide la construction de la trace cyclotomique logarithmique, un outil fondamental reliant la K-théorie algébrique à la cohomologie de de Rham logarithmique.
• Il établit la représentabilité de la K-théorie dans la catégorie homotopique motivique logarithmique, un résultat majeur pour l'étude des invariants cohomologiques des schémas logarithmiques.
• Il ouvre la voie à l'application de techniques motiviques à des problèmes arithmétiques et géométriques impliquant des singularités logarithmiques, en fournissant une base solide pour les calculs de groupes de Chow dans ce cadre.

En résumé, ce papier est un travail technique dense qui résout un obstacle computationnel critique en géométrie algébrique moderne, reliant la théorie des variétés toriques, la théorie des groupes de Chow et la théorie homotopique motivique logarithmique.