Comparaison des motifs à coefficients rationnels

Informations fondamentales

• ID de l'article: 2510.17194
• Titre: Comparison of motives with rational coefficients
• Auteur: Bo Zhang
• Classification: math.AG (Géométrie algébrique), math.AT (Topologie algébrique)
• Date de publication: 5 novembre 2025 (version v5 sur arXiv)
• Lien de l'article: https://arxiv.org/abs/2510.17194

Résumé

La théorie des motifs rationnels admet plusieurs modèles, notamment ceux de Morel, Beilinson, Ayoub et Voevodsky. Une question ouverte concerne l'équivalence entre les motifs de Voevodsky $\mathrm{DM}(S, \mathbb{Q})$ basés sur la topologie de Nisnevich et les autres modèles, ce qui n'a été établi que sur les schémas de base excellents et géométriquement unibranchés.

Cet article démontre que sur un schéma de base Noethérien semi-normal arbitraire $S$, la catégorie des modules sur le spectre d'Eilenberg-MacLane des motifs rationnels $\mathbf{H}\mathbb{Q}$ est équivalente aux motifs rationnels de Morel/Beilinson/Ayoub.

Le résultat technique principal établit une équivalence motivique stable entre le spectre libre $\mathbb{Q}$-linéaire $\mathbb{Q}[\mathbb{S}]$ et le spectre d'Eilenberg-MacLane motivique rationnel $\mathbf{H}\mathbb{Q}$. Cette équivalence est établie en réduisant le problème à une comparaison non-stable, en appliquant le théorème rationnel $\mathbb{A}^1$-Dold-Thom développé par l'auteur, qui repose sur le théorème de Whitehead motivique rationnel.

En tant que sous-produit, l'article confirme partiellement la variante rationnelle de la conjecture de Voevodsky : la construction de $\mathbf{H}\mathbb{Q}$ reste stable sous le changement de base entre schémas Noethériens semi-normaux arbitraires.

Contexte et motivation de la recherche

Cœur du problème

La théorie des motifs, initialement envisagée par Grothendieck et réalisée par plusieurs mathématiciens, fournit un cadre puissant et unifié pour l'étude des variétés algébriques. Sous coefficients rationnels (c'est-à-dire en inversant la caractéristique exponentielle), la théorie se simplifie considérablement, mais plusieurs modèles apparemment distincts subsistent :

1. Motifs de Morel : définis comme la partie positive de la catégorie d'homotopie motivique stable rationnelle $\mathrm{SH}(S)_\mathbb{Q}$
2. Motifs de Beilinson : définis comme la catégorie des modules sur le spectre d'anneau motivique de Beilinson $H_B$, qui est un facteur direct de $\mathrm{KGL}_\mathbb{Q}$
3. Motifs d'Ayoub : construits via la stabilisation $\mathbb{P}^1$ des $\infty$-faisceaux $\mathbb{A}^1$-locaux étales
4. Motifs de Voevodsky : utilisant les faisceaux de Nisnevich et les transferts, $\mathrm{DM}(S,\mathbb{Q})$

Signification de la recherche

Les trois premiers modèles sont connus pour être équivalents, mais leur équivalence avec la construction originale de Voevodsky n'a été établie que sur les schémas de base excellents et géométriquement unibranchés. Cela limite l'applicabilité de la théorie, en particulier pour certains objets géométriques importants tels que les anneaux de Dedekind ou les courbes nodales.

Limitations des approches existantes

Les résultats de comparaison existants reposent sur des conditions restrictives sur le schéma de base (excellence et unibranchement géométrique), ce qui est trop strict pour les applications pratiques. De nouvelles techniques sont nécessaires pour traiter des situations géométriques plus générales.

Contributions principales

1. Théorème principal : Démonstration de l'équivalence entre la catégorie des modules $H\mathbb{Q}$ et les motifs rationnels de Morel/Beilinson/Ayoub sur un schéma de base Noethérien semi-normal arbitraire
2. Percée technique : Établissement d'une équivalence motivique stable entre le spectre libre $\mathbb{Q}$-linéaire $\mathbb{Q}[\mathbb{S}]$ et le spectre d'Eilenberg-MacLane motivique rationnel $\mathbf{H}\mathbb{Q}$
3. Outils théoriques : Développement du théorème de Whitehead motivique rationnel et du théorème rationnel $\mathbb{A}^1$-Dold-Thom
4. Vérification de conjecture : Confirmation partielle de la conjecture de Voevodsky concernant la stabilité du changement de base de $\mathbf{H}\mathbb{Q}$

Explication détaillée des méthodes

Définition de la tâche

Établir l'équivalence entre différents modèles de théorie des motifs rationnels, en particulier démontrer l'équivalence entre les modules $H\mathbb{Q}$ et les autres catégories de motifs rationnels sur les schémas de base Noethériens semi-normaux.

Stratégie centrale

L'article adopte une stratégie de « réduction du stable au non-stable » :

1. Construction d'homomorphismes clés : Définition d'un homomorphisme canonique de spectres d'anneau $\Phi_S : \mathbb{Q}[\mathbb{S}] \to H\mathbb{Q}$
2. Réduction aux problèmes non-stables : Réduction de l'équivalence stable à une équivalence motivique rationnelle non-stable
3. Application de nouveaux outils : Utilisation du théorème rationnel $\mathbb{A}^1$-Dold-Thom pour traiter la comparaison non-stable

Architecture technique

Construction du spectre libre $\mathbb{Q}$-linéaire

Pour un spectre motivique $E$, on définit le spectre motivique libre $\mathbb{Q}$-linéaire $\mathbb{Q}[E]$ : $\mathbb{Q}[E]^n = \tilde{\mathbb{Q}}[E^n]$ où $\tilde{\mathbb{Q}}[(X,x_0)] = \text{coker}(\mathbb{Q}[x_0] \to \mathbb{Q}[X])$

Théorème de Whitehead motivique rationnel

Théorème 3.5 : Soit $f: M \to N$ un homomorphisme d'espaces infinis en anneaux. Si $f$ est une équivalence motivique rationnelle, alors $f \otimes^{\mathbb{A}^1} \mathbb{Q} : M \otimes^{\mathbb{A}^1} \mathbb{Q} \to N \otimes^{\mathbb{A}^1} \mathbb{Q}$ est une équivalence motivique.

Théorème rationnel $\mathbb{A}^1$-Dold-Thom

Théorème 3.13 : Pour un schéma Noethérien $S$ et une variété quasi-projective lisse $X$ sur $S$, l'application canonique $\left(\coprod_n [X^n/S_n]\right)_+ \otimes \mathbb{Q} \to \left(\coprod_n S^nX\right)_+ \otimes \mathbb{Q}$ est une équivalence motivique.

Points d'innovation technique

1. Nouvelle technique de réduction : Réduction des problèmes stables à des comparaisons rationnelles non-stables
2. Correspondance géométrique-algébrique : Établissement de l'équivalence rationnelle entre les quotients homotopiques $X^n//S_n$ et les espaces de modules grossiers $S^nX$
3. Stabilité du changement de base : Démonstration de la stabilité de la construction $H\mathbb{Q}$ sous le changement de base entre schémas semi-normaux

Esquisse de la preuve du théorème principal

Stratégie de preuve du Théorème 1.1

Le théorème principal est démontré selon les étapes suivantes :

1. Proposition 3.8 : Réduction de l'équivalence stable de $\Phi_S$ à une équivalence non-stable spécifique
2. Théorème 3.13 : Démonstration du théorème rationnel $\mathbb{A}^1$-Dold-Thom
3. Théorème 3.12 : Établissement de l'équivalence motivique entre les champs quotients et les espaces de modules grossiers
4. Lemme 3.11 : Utilisation des propriétés des motifs rationnels de Voevodsky

Lemme clé 3.11

Pour un schéma Noethérien $S$, une variété quasi-projective lisse $X$ sur $S$ et une action d'un groupe fini $G$, le motif effectif satisfait : $M([X/G]) \simeq M(X/G)$

Ceci utilise le calcul des parties $G$-invariantes sous coefficients rationnels et les propriétés des morphismes finis.

Résultats expérimentaux et applications

Résultats principaux

Corollaire 1.3 : Pour tout schéma Noethérien semi-normal $S$, la catégorie des modules $H\mathbb{Q}$ est équivalente à :

• Les motifs de Beilinson
• Les motifs d'Ayoub
• Les motifs de Morel

Stabilité du changement de base

Proposition 1.4 : La construction de $H\mathbb{Q}$ est stable sous le changement de base entre schémas Noethériens semi-normaux.

Extension du domaine d'applicabilité

Les résultats s'appliquent à :

• Tout anneau de Dedekind
• Les courbes nodales
• Les schémas Noethériens normaux généraux (sans condition d'excellence)

Travaux connexes

Développement historique

• Grothendieck : Conception originale de la théorie des motifs
• Voevodsky : Réalisation concrète utilisant les faisceaux de Nisnevich et les transferts
• Morel, Beilinson, Ayoub : Approches par la théorie de l'homotopie stable

Résultats de comparaison existants

Cisinski-Déglise ont établi l'équivalence sur les schémas excellents géométriquement unibranchés 3, Théorème 16.1.4. Cet article étend le domaine d'applicabilité au cas semi-normal.

Connexions techniques

• Anderson : Théorie des schémas de Chow en caractéristique mixte
• Choudhury : Motifs des champs de Deligne-Mumford
• Rydh : Familles cycliques et schémas de Chow

Conclusions et discussion

Conclusions principales

Unification des différents modèles de théorie des motifs rationnels sur les schémas de base Noethériens semi-normaux, supprimant la condition d'excellence précédemment requise.

Limitations

1. La condition de semi-normalité reste nécessaire
2. Traitement limité au cas des coefficients rationnels
3. L'extension à des schémas plus généraux nécessite des travaux supplémentaires

Directions futures

1. Généralisation à des classes de schémas plus générales
2. Étude du cas des coefficients entiers
3. Exploration des connexions avec d'autres théories cohomologiques

Évaluation approfondie

Avantages

1. Innovation technique : Développement du théorème de Whitehead motivique rationnel et du théorème rationnel $\mathbb{A}^1$-Dold-Thom
2. Signification géométrique : Extension de l'équivalence motivique à des classes importantes d'objets géométriques
3. Complétude théorique : Résolution partielle d'un problème fondamental ouvert en théorie des motifs
4. Méthode novatrice : La stratégie de réduction du stable au non-stable possède une portée générale

Insuffisances

1. Restrictions de conditions : La condition de semi-normalité persiste
2. Complexité technique : La preuve implique plusieurs outils techniques profonds
3. Domaine d'applicabilité : Limité au cas des coefficients rationnels

Impact

Ce travail fait progresser significativement l'unification de la théorie des motifs, établissant les fondations pour l'application des méthodes motiviques dans un contexte géométrique plus large, particulièrement dans les domaines d'intersection entre la géométrie arithmétique et la géométrie algébrique.

Domaines d'application

• Recherche en motifs en géométrie arithmétique
• Applications de la théorie algébrique $K$
• Théorie des cycles algébriques
• Géométrie algébrique homotopique

Références

1 Anderson, O. E. Chow schemes in mixed characteristic. 2019. 2 Choudhury, U. Motives of deligne-mumford stacks. 2012. 3 Cisinski, D.-C. and Déglise, F. Triangulated categories of mixed motives. 2019. 6 Suslin, A. and Voevodsky, V. Relative cycles and chow sheaves. 2000. 7 Voevodsky, V. Open problems in the motivic stable homotopy theory. 2002.