Descendability and descent in topological weaves

Sintesi Tecnica: Descendibilità e Discesa nei Tessuti Topologici

Problema
Il saggio affronta il problema di stabilire le proprietà di discesa per i "tessuti topologici" astratti—un quadro per i formalismi a sei funtori su spazi algebrici e stack introdotto in [Kha]—si investigano le condizioni sotto le quali tali formalismi soddisfano la discesa per varie topologie, in particolare la topologia $h$ (generata da suriezioni étale e suriezioni proprie finitamente presentate) e la topologia $v$ (morfismi universalmente subtrusivi). Sebbene esistano risultati classici per specifiche teorie di coomologia (ad esempio, coomologia étale con coefficienti torsionali), un criterio generale per la discesa $h$ nel contesto di fasci motivici e spettri, particolarmente su basi non eccellenti o con coefficienti razionali, restava da unificare ed estendere.

Metodologia
L'innovazione metodologica centrale è lo spostamento dallo studio della discesa diretta allo studio della descendibilità, un concetto adattato da Mathew [Mat].

• Descendibilità: Un morfismo $f: Y \to X$ è definito descendibile se l'oggetto unità $1_X$ nella $\infty$-categoria stabile $D(X)$ può essere costruito da $f_*(1_Y)$ tramite una sequenza finita di operazioni che includono cofibre, fibre, sommi diretti e prodotti tensoriali. Ciò è quantificato da un "indice" $N$, che indica la profondità del nervo di Čech necessaria per ricostruire l'unità.
• Il Criterio: Il saggio stabilisce che se un tessuto soddisfa la discesa per coperture "semplici" (coperture étale finite e suriezioni radiciali finite), esso soddisfa la discesa per tutte le suriezioni finitamente presentate. Ciò viene ottenuto attraverso un argomento di "bootstrapping" (Teorema 1.21) che utilizza le stratificazioni di spazi algebrici e la proprietà di localizzazione del tessuto.
• Applicazione ai Fasci Motivici: Gli autori applicano questo criterio a specifiche categorie motiviche:
  • Fasci Motivici Razionali ($SH_{\mathbb{Q},+}$): Sfruttando il fatto che questi sono $\mathbb{Q}$-lineari e orientati, la caratteristica di Eulero di qualsiasi copertura étale finita è invertibile, garantendo la descendibilità di indice $\le 1$.
  • Spettri Motivici Etale ($SH_{\text{ét}}$): Gli autori analizzano le proprietà di discesa su schemi noetheriani a dimensione finita con campi residui di dimensione coomologica étale uniformemente limitata. Utilizzano risultati di rigidità e l'annullamento della parte "meno" dello spettro dopo l'inversione di 2 per stabilire la descendibilità.

Contributi Chiave e Risultati

1. Criterio Generale di Discesa (Teorema C): Il saggio dimostra che, per un tessuto topologico $D$, i seguenti sono equivalenti:

   • Ogni suriezione finitamente presentata di spazi algebrici qcqs è descendibile.
   • Ogni suriezione étale finita e ogni suriezione radiciale finita è descendibile.
     Ciò riduce il complesso problema della discesa $h$ alla verifica della descendibilità per due classi specifiche di morfismi.

2. Discesa per i Fasci Motivici Razionali (Teorema A): Il prefascio $SH_{\mathbb{Q},+}(-)$ soddisfa la discesa $v$ (e quindi la discesa $h$) su tutti gli spazi algebrici. Questo recupera ed estende i precedenti risultati di Cisinski–Déglise su schemi quasi-eccellenti ad spazi algebrici arbitrari.

3. Discesa per gli Spettri Motivici Etale (Teorema B): I prefasci $SH_{\text{ét}}(-)$, $DA_{\text{ét}}(-;\Lambda)$ e $DM_{\text{ét}}(-;\Lambda)$ soddisfano la discesa $h$ su spazi algebrici noetheriani a dimensione finita i cui campi residui hanno dimensione coomologica étale uniformemente limitata. Per questi ultimi, ciò vale per qualsiasi anello commutativo $\Lambda$. Se 2 non è invertibile nei coefficienti, il risultato vale per $SH_{\text{ét}}[1/2]$.

4. Isomorfismo per l'Oblio dei Supporti (Teorema D): Il saggio costruisce un isomorfismo canonico $f_! \simeq f_*$ per morfismi propri $f$ di stack di Artin nel contesto dei fasci motivici razionali.

   • Contesto: Si applica quando $f$ è rappresentabile da stack di Deligne–Mumford (DM), o quando $f$ ha un'inerzia relativa tame e la base è in equicaratteristica.
   • Significato: Ciò risolve una lacuna in argomentazioni precedenti (ad esempio in [Kha3]) dove la commutazione di $f_!$ con le totalizzazioni era assunta senza giustificazione. Gli autori mostrano che, poiché i morfismi di copertura sono descendibili, la totalizzazione commuta con i funtori esatti come $f_!$, validando così l'isomorfismo.

Significato e Rivendicazioni
Il saggio sostiene che l'attenzione sulla descendibilità offre vantaggi distinti rispetto alla discesa standard:

• Funzionalità: Garantisce che la totalizzazione di Čech $F \simeq \text{Tot}(f_{\bullet, *} f_\bullet^* F)$ sia preservata da qualsiasi funtore esatto, non solo da quelli che preservano i limiti. Ciò è cruciale per dimostrare l'isomorfismo $f_! \simeq f_*$.
• Stabilità: La descendibilità è preservata dai funtori monoidali simmetrici, permettendo ai risultati di trasferirsi dal tessuto topologico universale ($SH$) a specifici tessuti orientati $\mathbb{Q}$-lineari.
• Generalità: I risultati si applicano a spazi algebrici e stack senza richiedere che gli schemi di base siano quasi-eccellenti, a patto che la dimensione coomologica dei campi residui sia limitata nel caso étale.

Il lavoro unifica la teoria della discesa per varie categorie motiviche, fornendo un quadro robusto che gestisce sia coefficienti razionali che integrali (con vincoli specifici sulla base) ed estende naturalmente il contesto agli stack di Artin.