Descendability and descent in topological weaves

Technische Zusammenfassung: Abstieg (Descendability) und Abstieg (Descent) in topologischen Geweben

Problemstellung
Die Arbeit befasst sich mit der Etablierung von Descent-Eigenschaften für abstrakte „topologische Gewebe“ – ein in [Kha] eingeführtes Framework für Sechs-Funktoren-Formalismen auf algebraischen Räumen und Stacks. Konkret wird untersucht, unter welchen Bedingungen diese Formalismen Descent für verschiedene Topologien erfüllen, insbesondere die $h$-Topologie (erzeugt durch étale Surjektionen und endlich präsentierte, eigentliche Surjektionen) und die $v$-Topologie (universell subtrusive Morphismen). Während klassische Ergebnisse für spezifische Kohomologietheorien existieren (z. B. étale Kohomologie mit Torsionskoeffizienten), blieb ein allgemeines Kriterium für $h$-Descent im Kontext von motivischen Schichten und Spektren, insbesondere über nicht-exzellenten Basen oder mit rationalen Koeffizienten, zu vereinheitlichen und zu erweitern.

Methodik
Die zentrale methodische Innovation ist der Übergang von der direkten Untersuchung von Descent zur Untersuchung von Descendability (Abstiegseigenschaft), einem Konzept, das von Mathew [Mat] adaptiert wurde.

• Descendability: Ein Morphismus $f: Y \to X$ wird als descendable definiert, wenn das Einheitsobjekt $1_X$ in der stabilen $\infty$-Kategorie $D(X)$ durch eine endliche Sequenz von Operationen einschließlich Cofibres, Fibres, direkter Summanden und Tensorprodukten aus $f_*(1_Y)$ konstruiert werden kann. Dies wird durch einen „Index“ $N$ quantifiziert, der die Tiefe des Čech-Nerven angibt, die zur Rekonstruktion der Einheit erforderlich ist.
• Das Kriterium: Die Arbeit stellt fest, dass, wenn ein Gewebe Descent für „einfache“ Überdeckungen (endlich étale und endlich radiale Surjektionen) erfüllt, es auch Descent für alle endlich präsentierten Surjektionen erfüllt. Dies wird durch ein „Bootstrapping“-Argument (Theorem 1.21) erreicht, das Stratifikationen algebraischer Räume und die Lokalisierungseigenschaft des Gewebes nutzt.
• Anwendung auf motivische Schichten: Die Autoren wenden dieses Kriterium auf spezifische motivische Kategorien an:
  • Rationale motivische Schichten ($SH_{\mathbb{Q},+}$): Durch die Nutzung der Tatsache, dass diese $\mathbb{Q}$-linear und orientiert sind, ist die Euler-Charakteristik jeder endlich étale Überdeckung invertierbar, was die Descendability von Index $\le 1$ sicherstellt.
  • Étale motivische Spektren ($SH_{\text{ét}}$): Die Autoren analysieren die Descent-Eigenschaften über noetherschen, endlich dimensionalen Schemata mit Residuffeldern von gleichmäßig beschränkter étale kohomologischer Dimension. Sie nutzen Rigidity-Ergebnisse und das Verschwinden des „Minus“-Teils des Spektrums nach Invertierung von 2, um die Descendability zu etablieren.

Wesentliche Beiträge und Ergebnisse

1. Allgemeines Descent-Kriterium (Theorem C): Die Arbeit beweist, dass für ein topologisches Gewebe $D$ Folgendes äquivalent ist:

   • Jede endlich präsentierte Surjektion von qcqs algebraischen Räumen ist descendable.
   • Jede endlich étale Surjektion und jede endlich radiale Surjektion ist descendable.
     Dies reduziert das komplexe Problem des $h$-Descent auf die Verifizierung der Descendability für zwei spezifische Klassen von Morphismen.

2. Descent für rationale motivische Schichten (Theorem A): Der Präpräpräsheaf $SH_{\mathbb{Q},+}(-)$ erfüllt $v$-Descent (und damit $h$-Descent) auf allen algebraischen Räumen. Dies stellt die Ergebnisse von Cisinski–Déglise für quasi-exzellente Schemata wieder her und erweitert sie auf beliebige algebraische Räume.

3. Descent für étale motivische Spektren (Theorem B): Die Präpräpräsheafe $SH_{\text{ét}}(-)$, $DA_{\text{ét}}(-;\Lambda)$ und $DM_{\text{ét}}(-;\Lambda)$ erfüllen $h$-Descent auf noetherschen, endlich dimensionalen algebraischen Räumen, deren Residuffelder eine gleichmäßig beschränkte étale kohomologische Dimension besitzen. Für letztere gilt dies für jeden kommutativen Ring $\Lambda$. Wenn 2 nicht in den Koeffizienten invertierbar ist, gilt das Ergebnis für $SH_{\text{ét}}[1/2]$.

4. Isomorphismus für das Vergessen von Support (Theorem D): Die Arbeit konstruiert einen kanonischen Isomorphismus $f_! \simeq f_*$ für eigentliche Morphismen $f$ von Artin-Stacks im Kontext von rationalen motivischen Schichten.

   • Kontext: Dies gilt, wenn $f$ durch Deligne–Mumut (DM) Stacks repräsentierbar ist, oder wenn $f$ eine tamale relative Inertia besitzt und die Basis äquicharakteristisch ist.
   • Bedeutung: Dies löst eine Lücke in früheren Argumenten (z. B. in [Kha3]), in denen die Kommutativität von $f_!$ mit Totalisierungen ohne Begründung vorausgesetzt wurde. Die Autoren zeigen, dass, da die Überdeckungs-Morphismen descendable sind, die Totalisierung mit exakten Funktoren wie $f_!$ vertauscht, wodurch der Isomorphismus validiert wird.

Signifikanz und Behauptungen
Die Arbeit behauptet, dass der Fokus auf Descendability deutliche Vorteile gegenüber Standard-Descent bietet:

• Funktorialität: Es stellt sicher, dass die Čech-Totalisierung $F \simeq \text{Tot}(f_{\bullet, *} f_\bullet^* F)$ durch jeden exakten Funktor erhalten bleibt, nicht nur durch solche, die Limite bewahren. Dies ist entscheidend für den Beweis des $f_! \simeq f_*$ Isomorphismus.
• Stabilität: Descendability bleibt unter symmetrischen monoidalen Funktoren erhalten, was erlaubt, Ergebnisse vom universellen topologischen Gewebe ($SH$) auf spezifische orientierte $\mathbb{Q}$-lineare Gewebe zu übertragen.
• Generalität: Die Ergebnisse gelten für algebraische Räume und Stacks, ohne dass die Basisschemata quasi-exzellent sein müssen, sofern die étale kohomologische Dimension der Residuffelder beschränkt ist.

Die Arbeit vereinheitlicht die Descent-Theorie für verschiedene motivische Kategorien, bietet ein robustes Framework, das sowohl rationale als auch integrale Koeffizienten (mit spezifischen Einschränkungen der Basis) handhabt und sich natürlich auf den Kontext von Artin-Stacks erweitert.