On the Motivic Homotopy Type of Algebraic Stacks

Résumé Technique : Sur le type d'homotopie motivique des patrons algébriques

Énoncé du Problème
Le papier traite du défi consistant à étendre la théorie de l'homotopie motivique et la théorie des motifs des schémas vers les patrons algébriques généraux. Bien que les techniques telles que la descente homotopique permettent de réduire les problèmes de patrons au cas des schémas, cette réduction était historiquement limitée à des classes spécifiques de patrons, notamment ceux qui sont des patrons quotients localement Nisnevich (par exemple, les patrons avec des stabilisateurs linéairement réductibles). Un fossé important existait pour établir que les formalismes standards des motifs et de l'homotopie motivique produisent des résultats « corrects » pour les patrons algébriques arbitraires, particulièrement ceux qui manquent de structures de quotient locales ou de certaines hypothèses de séparation. De plus, il était nécessaire d'unifier les différentes définitions de la catégorie d'homotopie motivique stable pour les patrons, qui nécessitaient auparavant l'existence de présentations lisses avec des sections locales Nisnevich.

Méthodologie
Les auteurs développent un cadre basé sur les recouvrements lisses-Nisnevich. Une morphisme $f: Y \to X$ de patrons algébriques est défini comme un recouvrement lisse-Nisnevich si $f$ est lisse et que tout morphisme du spectre d'un corps $\text{Spec } K \to X$ se relève dans $Y$.

La contribution méthodologique centrale est la construction de tels recouvrements pour tout patron algébrique, supprimant les contraintes antérieures concernant la séparation, le type fini ou les propriétés de stabilisateur. Les auteurs utilisent :

1. Recouvrements de Scission (Splitting Covers) : Ils établissent qu'un morphisme lisse admet un recouvrement de scission (une partition finie de la base où le morphisme admet des sections) si et seulement si il est un recouvrement lisse-Nisnevich.
2. Stacks de Hilbert : La preuve de l'existence repose sur les propriétés des stacks de Hilbert, spécifiquement les sous-stacks paramétrant des familles quasi-finies ou étales. En analysant le stack de Hilbert d'un recouvrement lisse, ils construisent un nouveau recouvrement qui est représentable et possède les propriétés de relèvement souhaitées.
3. Nerves de Čech : Une fois un recouvrement lisse-Nisnevich $p: \mathcal{X} \to X$ établi (où $\mathcal{X}$ est un schéma), les auteurs analysent le nerve de Čech associé $\mathcal{X}_\bullet$. Ils prouvent que ce schéma simplicial induit une équivalence dans la catégorie d'homotopie $\mathbb{A}^1$ de Morel-Voevodsky.

Contributions Clés et Résultats

• Théorème 1.2 (Existence de Recouvrements Lisses-Nisnevich) : Le papier prouve que pour tout patron algébrique $X$, il existe un recouvrement lisse-Nisnevich $p: \mathcal{X} \to X$ où $\mathcal{X}$ est un schéma.

  • Si $X$ est quasi-compact et quasi-séparé (qcqs) avec des stabilisateurs affines, $\mathcal{X}$ peut être choisi comme étant affine.
  • Si $X$ est un patron de Deligne–Mumford, $p$ peut être choisi comme étant étale.
  • Ce résultat généralise les découvertes précédentes en éliminant les hypothèses de séparation et les suppositions noethériennes requises dans la littérature antérieure (ex: [LMB00], [Čes15], [Pir18]).

• Théorème 1.3 (Descente d'Homotopie) : Soit $p: \mathcal{X} \to X$ un recouvrement lisse-Nisnevich sur un corps $k$, et soit $\mathcal{X}_\bullet$ son nerve de Čech. Le morphisme $\mathcal{X}_\bullet \to X$ induit une équivalence dans la catégorie d'homotopie $\mathbb{A}^1$ de Morel-Voevodsky, $\mathcal{H}(k)$.

  • Cela établit que le type d'homotopie Nisnevich de n'importe quel patron algébrique peut être décrit par un schéma simplicial, rendant les arguments de descente homotopique accessibles pour tous les patrons.

• Propriétés Motiviques des Patrons Lisses (Théorème 3.4) : En conséquence du résultat de descente, le motif $M(X)$ d'un patron algébrique lisse $X$ satisfait les mêmes propriétés fondamentales que le motif d'un schéma lisse :

  • Descente Nisnevich.
  • Formule du fibré projectif.
  • Formule de blow-up.
  • Triangle de Gysin.
  • Ces résultats généralisent ceux de [CDH20], qui étaient auparavant restreints aux patrons quotients localement Nisnevich.

• Unification des Catégories d'Homotopie Stable (Corollaire 3.13) : Le papier démontre que pour tout patron algébrique quasi-séparé $X$, la catégorie d'homotopie motivique stable étendue par limite $\mathcal{SH}^\wedge(X)$ (de [KR21]) et la catégorie étendue lisse $\mathcal{SH}^{\otimes}_{ext}(X)$ (de [Cho21]) sont équivalentes. Cette équivalence tient car le Théorème 1.2 garantit que tout patron admet une présentation lisse avec des sections locales Nisnevich.

• Dualité de Poincaré pour les Motifs à Support Compact (Théorème 3.10) : Pour un patron algébrique lisse $X$ de dimension $d$ avec des stabilisateurs affines, les auteurs définissent le motif à support compact $M^c(X)$ via un limite homotopique sur un recouvrement lisse-Nisnevich. Ils prouvent l'isomorphisme $M^c(X) \cong M(X)^\vee(d)[2d]$.

Signification
Le papier affirme que l'existence de recouvrements lisses-Nisnevich pour des patrons algébriques arbitraires est un résultat fondamental qui valide l'application de la théorie de l'homotopie motivique au cadre général des patrons. En montrant que le motif d'un patron lisse se comporte de manière analogue à celui d'un schéma lisse, les auteurs confirment que les divers formalismes de motifs produisent des résultats cohérents sans exiger la condition restrictive de « quotient local ».

De plus, le papier note que le résultat de bornage dans le Théorème 1.2 a des applications au-delà de la théorie motivique, spécifiquement pour appliquer la technique d'approximation d'Elkik au patron de Picard afin d'étudier la question de Grothendieck concernant l'injectivité du morphisme $H^2(X, \mathbb{G}_m) \to \varprojlim H^2(X_n, \mathbb{G}_m)$ pour les morphismes propres sur des anneaux noethériens complets.

Les auteurs reconnaissent qu'un résultat d'existence similaire a été récemment prouvé dans [CD24], mais soulignent que leur contribution inclut le résultat spécifique de bornage pour les patrons qcqs avec des stabilisateurs affines ainsi que l'application explicite à l'unification des catégories d'homotopie motivique stable et des propriétés de cohomologie motivique.