Descendability and descent in topological weaves

Technische Samenvatting: Descendability en Descent in Topologische Weaves

Probleemstelling
Het artikel behandelt het probleem van het vaststellen van descent-eigenschappen voor abstracte "topologische weaves"—een raamwerk voor zes-functor formalismen op algebraïsche ruimten en stacks geïntroduceerd in [Kha]. Specifiek onderzoekt het de voorwaarden waaronder deze formalismen voldoen aan descent voor diverse topologieën, met name de $h$-topologie (gegenereerd door étale surjecties en eindig gepresenteerde propere surjecties) en de $v$-topologie (universeel subtrutieve morfismen). Hoewel er klassieke resultaten bestaan voor specifieke cohomologie-theorieën (bijv. étale cohomologie met torsiecoëfficiënten), bleef een algemeen criterium voor $h$-descent in de context van motieve sheaves en spectra, met name over niet-excellente bases of met rationale coëfficiënten, nog te worden verenigd en uitgebreid.

Methodologie
De kern van de methodologische innovatie is de verschuiving van het direct bestuderen van descent naar het bestuderen van descendability, een concept aangepast van Mathew [Mat].

• Descendability: Een morfisme $f: Y \to X$ wordt gedefinieerd als descendable als het eenheidsobject $1_X$ in de stabiele $\infty$-categorie $D(X)$ kan worden geconstrueerd uit $f_*(1_Y)$ via een eindige sequentie van operaties, inclusief cofibres, fibres, directe sommen en tensorproducten. Dit wordt gekwantificeerd door een "index" $N$, die de diepte van de Čech-nerf aangeeft die nodig is om de eenheid te reconstrueren.
• Het Criterium: Het artikel stelt vast dat als een weave voldoet aan descent voor "eenvoudige" covers (eindige étale en eindige radiciale surjecties), het voldoet aan descent voor alle eindig gepresenteerde surjecties. Dit wordt bereikt door een "bootstrapping"-argument (Theorem 1.21) dat gebruikmaakt van stratificaties van algebraïsche ruimten en de lokalisatie-eigenschap van de weave.
• Toepassing op Motieve Sheaves: De auteurs passen dit criterium toe op specifieke motieve categorieën:
  • Rationale Motieve Sheaves ($SH_{\mathbb{Q},+}$): Door gebruik te maken van het feit dat deze $\mathbb{Q}$-lineair en georiënteerd zijn, is de Euler-karakteristiek van elke eindige étale cover inversibel, wat descendability van index $\le 1$ garandeert.
  • Étale Motieve Spectra ($SH_{\text{ét}}$): De auteurs analyseren de descent-eigenschappen over noetheriaanse einddimensionale schema's met residuevelden met uniform begrensd étale cohomologisch dimensie. Zij maken gebruik van rigiditeitsresultaten en de verdwijning van het "min" deel van het spectrum na het inverteren van 2 om descendability vast te stellen.

Belangrijkste Bijdragen en Resultaten

1. Algemeen Descent-criterium (Theorem C): Het artikel bewijst dat voor een topologische weave $D$, het volgende equivalent is:

   • Elke eindig gepresenteerde surjectie van qcqs algebraïsche ruimten is descendable.
   • Elke eindelijke étale surjectie en elke eindelijke radiciale surjectie is descendable.
     Dit reduceert het complexe probleem van $h$-descent tot het verifiëren van descendability voor twee specifieke klassen van morfismen.

2. Descent voor Rationale Motieve Sheaves (Theorem A): De presheaf $SH_{\mathbb{Q},+}(-)$ voldoet aan $v$-descent (en dus $h$-descent) op alle algebraïsche ruimten. Hiermee worden eerdere resultaten van Cisinski–Déglise over quasi-excellente schema's hersteld en uitgebreid naar willekeurige algebraïsche ruimten.

3. Descent voor Étale Motieve Spectra (Theorem B): De presheaves $SH_{\text{ét}}(-)$, $DA_{\text{ét}}(-;\Lambda)$, en $DM_{\text{ét}}(-;\Lambda)$ voldoen aan $h$-descent op noetheriaanse einddimensionale algebraïsche ruimten waarvan de residuevelden een uniform begrensd étale cohomologisch dimensie hebben. Voor de laatste twee geldt dit voor elke commutatieve ring $\Lambda$. Als 2 niet invers is in de coëfficiënten, geldt het resultaat voor $SH_{\text{ét}}[1/2]$.

4. Vergeten van Supports Isomorfisme (Theorem D): Het artikel construeert een canoniek isomorfisme $f_! \simeq f_*$ voor propere morfismen $f$ van Artin stacks in de context van rationale motieve sheaves.

   • Context: Dit is van toepassing wanneer $f$ representabel is door Deligne–Mumford (DM) stacks, of wanneer $f$ een tam relatief inertie heeft en de basis equicharacteristiek is.
   • Significantie: Dit lost een gat op in eerdere argumenten (bijv. in [Kha3]) waar de commutatie van $f_!$ met totalisaties werd aangenomen zonder rechtvaardiging. De auteurs tonen aan dat omdat de coverende morfismen descendable zijn, de totalisatie commuteert met exacte functoren zoals $f_!$, waardoor het isomorfisme wordt gevalideerd.

Significantie en Claims
Het artikel claimt dat de focus op descendability duidelijke voordelen biedt ten opzichte van standaard descent:

• Functorialiteit: Het zorgt ervoor dat de Čech totalisatie $F \simeq \text{Tot}(f_{\bullet, *} f_\bullet^* F)$ behouden blijft door elke exacte functor, niet alleen door functoren die limieten behouden. Dit is cruciaal voor het bewijzen van het $f_! \simeq f_*$ isomorfisme.
• Stabiliteit: Descendability blijft behouden door symmetrische monoidale functoren, waardoor resultaten kunnen worden overgedragen van de universele topologische weave ($SH$) naar specifieke georiënteerde $\mathbb{Q}$-lineaire weaves.
• Generaliteit: De resultaten zijn van toepassing op algebraïsche ruimten en stacks zonder dat de basis-schema's quasi-excellent hoeven te zijn, mits de étale cohomologische dimensie van de residuevelden begrensd is in het étale geval.

Het werk verenigt de descent-theorie voor diverse motieve categorieën, biedt een robuust raamwerk dat zowel rationale als integrale coëfficiënten (met specifieke beperkingen op de basis) behandelt en zich natuurlijk uitbreidt naar de setting van Artin stacks.