Descendability and descent in topological weaves

Résumé Technique : Descendabilité et Descente dans les Tissages Topologiques

Énoncé du Problème
Le papier traite du problème de l'établissement des propriétés de descente pour les « tissages topologiques » abstraits — un cadre pour les formalismes à six foncteurs sur les espaces algébriques et les patrons (stacks) introduit dans [Kha]. Plus précisément, il étudie les conditions sous lesquelles ces formalismes satisfont la descente pour diverses topologies, notamment la topologie $h$ (générée par les surjections étales et les surjections propres de présentation finie) et la topologie $v$ (morphismes universellement submersifs). Bien que des résultats classiques existent pour des théories de cohomologie spécifiques (par exemple, la cohomologie étale à coefficients de torsion), un critère général pour la descente $h$ dans le contexte des faisceaux motiviques et des spectres, particulièrement sur des bases non excellentes ou avec des coefficients rationnels, restait à unifier et à étendre.

Méthodologie
L'innovation méthodologique centrale est le passage de l'étude directe de la descente à l'étude de la descendabilité, un concept adapté de Mathew [Mat].

• Descendabilité : Un morphisme $f: Y \to X$ est défini comme descendable si l'objet unité $1_X$ dans la $\infty$-catégorie stable $D(X)$ peut être construit à partir de $f_*(1_Y)$ via une séquence finie d'opérations incluant les cofibres, les fibres, les sommes directes et les produits tensoriels. Cela est quantifié par un « indice » $N$, indiquant la profondeur du nerve de Čech nécessaire pour reconstruire l'unité.
• Le Critère : Le papier établit que si un tissage satisfait la descente pour des revêtements « simples » (étales finis et surjections radicielles finies), il satisfait la descente pour toutes les surjections de présentation finie. Ceci est réalisé grâce à un argument de « bootstrapping » (Théorème 1.21) qui utilise les stratifications des espaces algébriques et la propriété de localisation du tissage.
• Application aux Faisceaux Motiviques : Les auteurs appliquent ce critère à des catégories motiviques spécifiques :
  • Faisceaux Motiviques Rationnels ($SH_{\mathbb{Q},+}$) : En exploitant le fait que ceux-ci sont $\mathbb{Q}$-linéaires et orientés, la caractéristique d'Euler de tout revêtement étale fini est inversible, assurant une descendabilité d'indice $\le 1$.
  • Spectres Motiviques Étales ($SH_{\text{ét}}$) : Les auteurs analysent les propriétés de descente sur des schémas noethériens de dimension finie dont les corps résiduels ont une dimension cohomologique étale uniformément bornée. Ils utilisent des résultats de rigidité et l'annulation de la partie « moins » du spectre après inversion de 2 pour établir la descendabilité.

Contributions Clés et Résultats

1. Critère de Descente Général (Théorème C) : Le papier prouve que, pour un tissage topologique $D$, les propositions suivantes sont équivalentes :

   • Toute surjection de présentation finie d'espaces algébriques qcqs est descendable.
   • Toute surjection étale finie et toute surjection radicielle finie est descendable.
     Cela réduit le problème complexe de la descente $h$ à la vérification de la descendabilité pour deux classes spécifiques de morphismes.

2. Descente pour les Faisceaux Motiviques Rationnels (Théorème A) : Le préfaisceau $SH_{\mathbb{Q},+}(-)$ satisfait la descente $v$ (et donc la descente $h$) sur tous les espaces algébriques. Cela récupère et étend les résultats précédents de Cisinski–Déglise sur les schémas quasi-excellents à des espaces algébriques arbitraires.

3. Descente pour les Spectres Motiviques Étales (Théorème B) : Les préfaisceaux $SH_{\text{ét}}(-)$, $DA_{\text{ét}}(-;\Lambda)$ et $DM_{\text{ét}}(-;\Lambda)$ satisfont la descente $h$ sur des espaces algébriques noethériens de dimension finie dont les corps résiduels ont une dimension cohomologique étale uniformément bornée. Pour ces derniers, cela tient pour tout anneau commutatif $\Lambda$. Si 2 n'est pas inversible dans les coefficients, le résultat tient pour $SH_{\text{ét}}[1/2]$.

4. Isomorphisme d'Oubli de Supports (Théorème D) : Le papier construit un isomorphisme canonique $f_! \simeq f_*$ pour les morphismes propres $f$ de patrons d'Artin dans le contexte des faisceaux motiviques rationnels.

   • Contexte : Cela s'applique lorsque $f$ est représentable par des patrons de Deligne–Mumford (DM), ou lorsque $f$ possède une inertie relative douce et que la base est en caractéristique égale.
   • Signification : Cela résout une lacune dans les arguments précédents (par exemple, dans [Kha3]) où la commutation de $f_!$ avec les totalisations était supposée sans justification. Les auteurs montrent que, parce que les morphismes de recouvrement sont descendables, la totalisation commute avec les foncteurs exacts comme $f_!$, validant ainsi l'isomorphisme.

Signification et Revendications
Le papier affirme que l'accent mis sur la descendabilité offre des avantages distincts par rapport à la descente standard :

• Functorialité : Elle garantit que la totalisation de Čech $F \simeq \text{Tot}(f_{\bullet, *} f_\bullet^* F)$ est préservée par tout foncteur exact, et pas seulement par ceux préservant les limites. Ceci est crucial pour prouver l'isomorphisme $f_! \simeq f_*$.
• Stabilité : La descendabilité est préservée par les foncteurs monodiaux symétriques, permettant aux résultats de se transférer du tissage topologique universel ($SH$) vers des tissages orientés $\mathbb{Q}$-linéaires spécifiques.
• Généralité : Les résultats s'appliquent aux espaces algébriques et aux patrons sans exiger que les schémas de base soient quasi-excellents, à condition que la dimension cohomologique des corps résiduels soit bornée dans le cas étale.

Ce travail unifie la théorie de la descente pour diverses catégories motiviques, fournissant un cadre robuste qui traite à la fois des coefficients rationnels et intégraux (avec des contraintes spécifiques sur la base) et s'étend naturellement au cadre des patrons d'Artin.