On the Integral Part of A-Motivic Cohomology

Résumé technique : Sur la partie intégrale de la cohomologie A-motivique

Énoncé du problème
L'article traite de la définition et des propriétés de la « partie intégrale » de la cohomologie motivique dans le contexte des corps de fonctions globaux de caractéristique positive. Dans le cadre classique des corps de nombres, la partie intégrale de la cohomologie motivique est conjecturalement capturée par deux approches équivalentes : l'une via la K-théorie des modèles intégraux réguliers de variétés, et l'autre via la réalisation $\ell$-adique des extensions possédant une bonne réduction. Il est attendu que ces deux définitions coïncident (Conjecture C4) et que l'espace résultant soit de dimension finie sur $\mathbb{Q}$ (Conjecture C5).

L'auteur cherche à établir une théorie analogue pour les A-motifs d'Anderson, qui servent de contreparties aux motifs mixtes classiques dans le cas des corps de fonctions. Le problème central est de définir la partie intégrale de la cohomologie A-motivique en utilisant des modèles intégraux maximaux (analogues aux modèles réguliers) et la « bonne » partie $\ell$-adique (extensions à bonne réduction), et d'étudier si ces deux définitions coïncident et si le module résultant est de type fini.

Méthodologie
L'article s'appuie sur le cadre des A-motifs d'Anderson sur des corps de fonctions globaux et locaux. La méthodologie procède à travers plusieurs étapes clés :

1. Fondements des A-motifs : L'auteur passe en revue la catégorie des A-motifs d'Anderson ($\mathcal{M}_R$), l'établissant comme une catégorie exacte (bien qu'elle ne soit pas abélienne). Les modules d'extensions $\text{Ext}^i_{\mathcal{M}_R}(1, M)$ sont calculés explicitement à l'aide du complexe $M \xrightarrow{\text{id} - \tau_M} M[j^{-1}]$, où $j$ est l'idéal généré par $a \otimes 1 - 1 \otimes \kappa(a)$.
2. Mixité et poids : Le concept de A-motifs d'Anderson mixtes est développé en utilisant la filtration par pentes de l'isocristal associé au point infini $\infty$. L'auteur définit les poids et établit que la catégorie des motifs mixtes se comporte de manière similaire au cas des corps de nombres concernant la disparition des extensions pour $i > 1$, bien que la sous-catégorie des motifs purs ne soit pas semi-simple.
3. Modèles intégraux maximaux : Inspiré par les travaux de Gardeyn sur les $\tau$-faisceaux, l'article introduit la notion de modèles intégraux maximaux pour les A-motifs sur des corps de fonctions locaux et globaux. Contrairement aux approches précédentes, l'auteur ne suppose pas a priori que ces modèles sont localement libres, prouvant cette propriété comme une conséquence de la maximalité.
   • Pour les corps locaux, les modèles maximaux sont montrés comme existants et uniques.
   • Pour les corps globaux, le modèle intégral maximal est construit comme l'intersection des modèles maximaux locaux.
4. Comparaison des extensions : L'auteur définit la « partie intégrale » de la cohomologie ($\text{Ext}^1_{\mathcal{O}_p}(1, M)$) comme l'image du modèle intégral maximal sous la carte d'extension $\iota$. Celle-ci est comparée à la « bonne partie $\ell$-adique » ($\text{Ext}^1_{\text{good}}(1, M)_\ell$), définie comme le noyau de la carte de réalisation $\ell$-adique restreinte au sous-groupe d'inertie.
5. Extensions régulées : Pour traiter les divergences entre les parties intégrales et « bonnes », l'article introduit les « extensions régulées », définies par l'additivité des polygones de Hodge (analogue à l'additivité de Hodge dans la théorie de Pink).

Contributions clés et résultats

• Existence et unicité des modèles maximaux : L'article prouve que les modèles intégraux maximaux pour les A-motifs existent et sont uniques sur les corps de fonctions tant locaux que globaux. De plus, il est démontré que ces modèles maximaux sont automatiquement projectifs (localement libres) sur les anneaux de tenseurs pertinents, simplifiant ainsi les exigences techniques trouvées dans les travaux antérieurs de Gardeyn sur les $\tau$-faisceaux.
• Inclusion de l'intégral dans le bon : Le résultat principal (Théorème D) établit que la partie intégrale de la cohomologie A-motivique est contenue dans la bonne partie $\ell$-adique :
  $$\text{Ext}^1_{\mathcal{O}_p}(1, M) \subseteq \text{Ext}^1_{\text{good}}(1, M)_\ell$$
• Échec de l'égalité : Contrairement aux attentes dans le cadre des corps de nombres (Conjecture C4), l'article démontre que l'inclusion ci-dessus est généralement stricte. Dans la sous-section 5.1, un contre-exemple explicite est construit pour le motif neutre $\mathbf{1}$, montrant une extension qui possède une bonne réduction par rapport à un idéal maximal $\ell$ mais qui ne provient pas du modèle intégral maximal.
• Problème de finitude : L'article note que le module des extensions intégrales $\text{Ext}^1_{\mathcal{O}_F}(1, M)$ n'est généralement pas de type fini sur $A$, violant l'analogue de la Conjecture C5. Cela suggère que la catégorie de tous les A-motifs est trop vaste pour supporter une théorie de la cohomologie motivique bien comportée sans restrictions supplémentaires.
• Extensions régulées : L'auteur propose les « extensions régulées » comme une sous-catégorie raffinée où le polygone de Hodge de l'extension correspond à la somme des polygones de Hodge des constituants.
  • Il est prouvé que la carte $\iota$ induit un isomorphisme entre un quotient spécifique du motif et le module des extensions régulées (Corollaire 5.5).
  • L'article conjecture que pour les extensions régulées, les parties intégrale et bonne coïncident (Conjecture 5.8).
  • Cette conjecture est vérifiée dans des cas spécifiques : lorsque le motif provient d'un espace de Frobenius avec une bonne réduction (Théorème 5.9) et pour les twists de Carlitz positifs $A(n)$ (Théorème 5.13).

Signification et affirmations
L'article affirme initier l'étude systématique de la cohomologie A-motivique pour les corps de fonctions globaux. Sa signification réside dans :

1. L'établissement du cadre : Fournir des définitions rigoureuses pour la partie intégrale de la cohomologie A-motivique en utilisant des modèles maximaux, qui servent d'analogue aux modèles intégraux réguliers dans le cas des corps de nombres.
2. La mise en évidence de la divergence : Démontrer que le tableau des corps de fonctions diffère fondamentalement de celui des corps de nombres, spécifiquement que les définitions intégrale et $\ell$-adique « bonne » ne coïncident pas en général. Cela remet en question le transfert direct des conjectures des corps de nombres vers les corps de fonctions.
3. La proposition d'une correction : Introduire la notion d'extensions régulées comme une condition nécessaire pour restaurer l'égalité attendue entre les parties intégrale et bonne et pour potentiellement retrouver les propriétés de type fini.

L'auteur conclut modestement que, bien que le cas général de l'égalité pour les extensions régulées reste ouvert, ce travail offre une voie concrète en identifiant les obstructions structurelles spécifiques (manque d'additivité de Hodge) et en résolvant le problème pour des classes importantes de motifs. Les résultats reposent lourdement sur le formalisme des catégories exactes et l'interaction entre les A-motifs, les isocristaux et les représentations $\ell$-adiques.