Konstruierbare Witt-Theorie von Schemata

Grundinformationen

• Papier-ID: 2307.01032
• Titel: Constructible Witt theory of schemes
• Autoren: Onkar Kamlakar Kale, Girja S Tripathi
• Klassifizierung: math.AG (Algebraische Geometrie), math.KT (K-Theorie und homologische Algebra)
• Veröffentlichungsdatum: 31. Dezember 2024 (neueste Version v3)
• Papier-Link: https://arxiv.org/abs/2307.01032

Zusammenfassung

Dieses Papier untersucht die konstruierbare Witt-Theorie von étalen Garben von $\Lambda$-Moduln auf Schemata $X$, wobei der Koeffizientenring $\Lambda$ endliche Charakteristik ungleich 2 besitzt und zur Restcharakteristik des Schemas $X$ teilerfremd ist. Die Konstruktion basiert auf den neuesten Entwicklungen von Cisinski und Déglise zur Sechs-Funktoren-Formalismus in der abgeleiteten Kategorie von étalen Motiven und bietet einen Hintergrund für die Untersuchung konstruierbarer Witt-Theorie als kohomologische Invarianten von Schemata. Für glatte komplexe algebraische Varietäten und endliche Koeffizientenbereiche beweisen die Autoren, dass die in diesem Papier untersuchte algebraische konstruierbare Witt-Theorie mit der topologischen konstruierbaren Witt-Theorie identifiziert werden kann.

Forschungshintergrund und Motivation

Problemhintergrund

1. Verallgemeinerung der Witt-Gruppentheorie: Die klassische Witt-Gruppentheorie wurde von Ernst Witt 1937 eingeführt und untersucht Isomorphieklassen quadratischer Formen über Körpern. Balmer verallgemeinerte diese Theorie auf triangulierte Kategorien mit Dualität.
2. Topologische konstruierbare Witt-Theorie: Woolf und Schürmann entwickelten Witt-Gruppen von Garbenmoduln auf topologischen Räumen als verallgemeinerte Kohomologietheorie und lieferten Signatur-ähnliche Invarianten topologischer Räume.
3. Entsprechung in der algebraischen Geometrie: Die Autoren wünschen sich, eine ähnliche Theorie in der algebraischen Geometrie zu etablieren, insbesondere L-Klassen als algebraische Entsprechung stabiler kohomologischer Operationen von (topologischen) konstruierbaren Witt-Gruppen zu gewöhnlicher rationaler Kohomologie zu suchen.

Forschungsmotivation

1. Theoretische Vollständigkeit: Etablierung eines systematischen Rahmens für konstruierbare Witt-Theorie in der algebraischen Geometrie
2. Verbindung zu äquivarianter Theorie: Besondere Aufmerksamkeit auf die Verbindung zur $\mathbb{Z}/2\mathbb{Z}$-äquivarianten Witt-Theorie im Fall des Körpers der reellen Zahlen
3. Topologisch-algebraische Entsprechung: Brückenschlag zwischen algebraisch definierter konstruierbarer Witt-Theorie und topologisch definierter Theorie

Kernbeiträge

1. Etablierung konstruierbarer Witt-Theorie von Schemata: Basierend auf dem Sechs-Funktoren-Formalismus von Cisinski-Déglise wird die konstruierbare Witt-Gruppe $W^i_c(X_{\text{ét}}, \Lambda)$ auf Schemata $X$ definiert
2. Beweis der äquivarianten Charakterisierung für reelle Zahlen: Für den Körper der reellen Zahlen $\mathbb{R}$ wird der Isomorphismus etabliert $W^i_c((\text{Spec } \mathbb{R})_{\text{ét}}, \Lambda) \cong W^i_{\text{lf}}(\Lambda[\mathbb{Z}/2\mathbb{Z}])$
3. Etablierung der algebraisch-topologischen Entsprechung: Für glatte komplexe algebraische Varietäten $X$ und endliche Koeffizientenbereiche $\Lambda$ wird bewiesen, dass $W^i_c(X_{\text{ét}}, \Lambda) \cong W^i_c(X^{\text{an}}, \Lambda)$
4. Konstruktion algebraischer Signaturen: Definition von Signaturen mit Werten in entsprechenden Witt-Gruppen für projektive reelle algebraische Varietäten und komplexe algebraische Varietäten

Methodische Erläuterung

Theoretischer Rahmen

Definition 4.1 (Konstruierbare Witt-Gruppen): Sei $X$ ein Schema, $\Lambda$ ein Koeffizientenring, der die Bedingungen erfüllt, und $T \in D^b_{\text{ctf}}(S_{\text{ét}}, \Lambda)$ ein $\otimes$-invertierbares Objekt. Die konstruierbare Witt-Gruppe wird als Witt-Gruppe der triangulierten Kategorie mit Dualität $(D^b_{\text{ctf}}(X_{\text{ét}}, \Lambda), D_X(T))$ definiert: $W^n_c(X_{\text{ét}}, \Lambda, T) := W^n(D^b_{\text{ctf}}(X_{\text{ét}}, \Lambda), D_X(T))$

wobei der Dualitätsfunktor gegeben ist durch: $D_X(T) = R\text{Hom}(-, f^!(T)) : D^b_{\text{ctf}}(X_{\text{ét}}, \Lambda)^{\text{op}} \to D^b_{\text{ctf}}(X_{\text{ét}}, \Lambda)$

Technische Werkzeuge

1. Sechs-Funktoren-Formalismus: Verwendung der Arbeiten von Cisinski-Déglise zur Etablierung des Sechs-Funktoren-Formalismus in allgemeinerem Kontext
2. Lokal konstruierbare h-Motive: Erreichung größerer Allgemeinheit durch die Äquivalenz $D^b_{\text{ctf}}(X_{\text{ét}}, \Lambda) \simeq DM_{h,lc}(X, \Lambda)$
3. Galois-Theorie: Für den Fall von Körpern wird die äquivariante Beschreibung durch die Wirkung der absoluten Galois-Gruppe etabliert

Wichtige technische Innovationen

1. Erweiterter Sechs-Funktoren-Formalismus: Im Vergleich zur klassischen Theorie AGV71, DGIV77 werden allgemeinere Ergebnisse durch étale Motive erreicht
2. Dualitätskompatibilität: Beweis der Kompatibilität von Pullback und Pushforward mit der Dualitätsstruktur
3. Dualitätserhaltung bei Kategorienäquivalenzen: Etablierung eines Rahmens, in dem Äquivalenzen zwischen verschiedenen Kategorien die Dualitätsstruktur bewahren

Hauptsätze

Satz 1.1 (Sechs-Funktoren-Formalismus)

Sei $B$ ein ausgezeichnetes noethersches Schema der Dimension $\leq 2$, $\Lambda$ ein noetherscher Ring positiver Charakteristik, der zur Restcharakteristik von $B$ teilerfremd ist. Sei $\phi: S \to B$ ein regulärer separierter endlich-typ $B$-Schema, $f: X \to S$ ein separierter endlich-typ Morphismus. Dann:

1. Die Kategorie $D^b_{\text{ctf}}(X_{\text{ét}}, \Lambda) \subset D^b(X_{\text{ét}}, \Lambda)$ ist unter den Sechs-Funktoren abgeschlossen
2. Für $\otimes$-invertierbare Objekte $T \in D^b_{\text{ctf}}(S_{\text{ét}}, \Lambda)$ ist der Funktor $D_X(T) = R\text{Hom}(-, f^!(T))$ ein Dualitätsfunktor

Satz 1.2 (Funktorialität)

Unter denselben Annahmen induzieren étale Morphismen Pullback konstruierbarer Witt-Gruppen, proper Morphismen induzieren Pushforward.

Satz 1.3 (Äquivariante Charakterisierung für reelle Zahlen)

Für einen endlichen Ring $\Lambda$ mit Charakteristik ungleich 2: $D^b_{\text{ctf}}((\text{Spec } \mathbb{R})_{\text{ét}}, \Lambda) \simeq D^b(\text{Proj}(\Lambda[\mathbb{Z}/2\mathbb{Z}]))$

Dies induziert eine Identifikation konstruierbarer Witt-Gruppen: $W^i_c((\text{Spec } \mathbb{R})_{\text{ét}}, \Lambda) \cong W^i_{\text{lf}}(\Lambda[\mathbb{Z}/2\mathbb{Z}])$

Satz 1.4 (Algebraisch-topologische Entsprechung)

Sei $X$ eine glatte algebraische Varietät über $\mathbb{C}$, $\Lambda$ ein endlicher Ring mit Charakteristik ungleich 2. Dann existiert eine Äquivalenz triangulierter Kategorien mit Dualität: $(D^b_{\text{ctf}}(X_{\text{ét}}, \Lambda), R\text{Hom}(-, \Lambda)) \simeq (D^b_c(X^{\text{an}}, \Lambda), R\text{Hom}(-, \Lambda))$

Dies induziert einen Isomorphismus: $W^i_c(X_{\text{ét}}, \Lambda) \cong W^i_c(X^{\text{an}}, \Lambda)$

Anwendungen und Ergebnisse

Konstruktion von Signaturen

Satz 7.1: Für projektive algebraische Varietäten wird eine Signaturabbildung konstruiert:

1. Reelle projektive Varietäten: Für eine projektive reelle algebraische Varietät $X$ mit Strukturmorphismus $f: X \to \text{Spec } \mathbb{R}$: $W^i(f_*): W^i_c(X_{\text{ét}}, \Lambda) \to W^i_{\text{lf}}(\Lambda[\mathbb{Z}/2\mathbb{Z}])$
2. Komplexe projektive Varietäten: Für eine projektive komplexe algebraische Varietät $X$ mit Strukturmorphismus $f: X \to \text{Spec } \mathbb{C}$: $W^i(f_*): W^i_c(X_{\text{ét}}, \Lambda) \to W^i_{\text{lf}}(\Lambda)$

Lokalisierungssequenzen

Für eine abgeschlossene Immersion $i: Z \hookrightarrow X$ und die komplementäre offene Immersion $j: U = X - Z \hookrightarrow X$ erhält man eine 12-gliedrige exakte Sequenz: $\cdots \to W^{n-1}_c(U_{\text{ét}}, \Lambda) \xrightarrow{\partial^{n-1}} W^n_c(Z_{\text{ét}}, \Lambda) \xrightarrow{W^n(i_*)} W^n_c(X_{\text{ét}}, \Lambda) \xrightarrow{W^n(j^*)} W^n_c(U_{\text{ét}}, \Lambda) \to \cdots$

Technische Details

Charakterisierung konstruierbarer Garben

Für ein noethersches Schema $X$ und einen noetherschen Ring $\Lambda$ ist eine $\Lambda$-Modulgarbe $\mathcal{F}$ konstruierbar genau dann, wenn eine endliche Zerlegung von $X$ in lokal abgeschlossene Teilmengen $\bigcup^n_{i=1} X_i$ existiert, so dass jede Einschränkung $\mathcal{F}|_{X_i}$ lokal konstant ist und die Halme von $\mathcal{F}$ endlich erzeugte $\Lambda$-Moduln sind.

Endliche Tor-Dimension

Ein beschränkter Komplex $\mathcal{F}^\bullet$ hat endliche Tor-Dimension, wenn eine ganze Zahl $n$ existiert, so dass für alle $i > n$ und alle konstanten $\Lambda$-Modulgarben $\mathcal{M}$ gilt: $\text{Tor}_i(\mathcal{F}^\bullet, \mathcal{M}) = 0$.

Verwandte Arbeiten

Historische Entwicklung

1. Witt (1937): Einführung der Witt-Gruppe quadratischer Formen über Körpern
2. Balmer (1999-2001): Entwicklung der Witt-Theorie für triangulierte Kategorien mit Dualität
3. Woolf (2008), Schürmann-Woolf (2020): Konstruierbare Witt-Theorie auf topologischen Räumen

Technische Grundlagen

1. Cisinski-Déglise (2016): Sechs-Funktoren-Formalismus für étale Motive
2. Beilinson-Bernstein-Deligne (1982): Vergleich algebraischer und topologischer konstruierbarer Garben
3. Grothendieck et al. (SGA 4, 4½): Klassische Theorie der étalen Kohomologie

Schlussfolgerungen und Diskussion

Hauptschlussfolgerungen

1. Erfolgreiche Etablierung konstruierbarer Witt-Theorie von Schemata als kohomologische Invarianten
2. Beweis der Identifikation mit $\mathbb{Z}/2\mathbb{Z}$-äquivarianter Witt-Theorie im Fall reeller Zahlen
3. Brückenschlag zwischen algebraischer und topologischer konstruierbarer Witt-Theorie
4. Konstruktion von Witt-wertigen Signaturen für projektive Varietäten

Einschränkungen

1. Homotopie-Invarianz: Aufgrund von Kompatibilitätsbeschränkungen zwischen Dualität und Sechs-Funktoren-Formalismus konnte Homotopie-Invarianz nicht bewiesen werden
2. Koeffizientenbeschränkungen: Erfordernis, dass die Charakteristik des Koeffizientenrings zur Restcharakteristik des Schemas teilerfremd ist
3. Dimensionsbeschränkung: Dimension des Basisschemas auf $\leq 2$ beschränkt

Zukünftige Richtungen

1. Homotopie-Invarianz: Möglicherweise flexiblere Rahmenbedingungen im Kontext unendlicher Kategorien
2. Algebraische Cobordismus-Theorie: Entwicklung der Cobordismus-Theorie für Witt-Räume
3. Allgemeinere Koeffizienten: Erweiterung auf allgemeinere Koeffizientenbereiche
4. Profinite Gruppenwirkungen: Untersuchung der Witt-Theorie mit Wirkung absoluter Galois-Gruppen über allgemeinen Körpern

Tiefgreifende Bewertung

Stärken

1. Theoretische Innovation: Erste systematische Etablierung konstruierbarer Witt-Theorie von Schemata
2. Technische Fortgeschrittenheit: Vollständige Nutzung der neuesten Ergebnisse von Cisinski-Déglise
3. Tiefgreifende Ergebnisse: Etablierung wichtiger Verbindungen zwischen algebraischer Geometrie und Topologie
4. Anwendungswert: Bereitstellung neuer Invarianten für projektive Varietäten

Mängel

1. Technische Einschränkungen: Einige Ergebnisse erfordern relativ starke technische Annahmen
2. Unvollständigkeit: Grundlegende Eigenschaften wie Homotopie-Invarianz sind noch nicht vollständig etabliert
3. Rechnerische Aspekte: Mangel an konkreten Rechenbeispielen und Algorithmen

Einfluss

1. Theoretischer Beitrag: Bereitstellung neuer kohomologischer Invariantentheorie für algebraische Geometrie
2. Interdisziplinäre Verbindungen: Verbindung von algebraischer Geometrie, Topologie und K-Theorie
3. Nachfolgeforschung: Grundlegung für algebraische Theorie von Witt-Räumen

Anwendungsszenarien

1. Klassifizierung algebraischer Varietäten und Invariantenforschung
2. Signatur-Theorie in der reellen algebraischen Geometrie
3. Forschung in äquivarianter algebraischer Geometrie
4. Anwendungen der Motivkohomologie-Theorie

Literaturverzeichnis

Bal99-01 P. Balmer. Derived Witt groups and triangular Witt groups series CD16 D.-C. Cisinski, F. Déglise. Étale motives Woo08 J. Woolf. Witt groups of sheaves on topological spaces SW20 J. Schürmann, J. Woolf. Witt groups of abelian categories and perverse sheaves

Dieses Papier leistet wichtige Beiträge im Schnittstellenbereich zwischen algebraischer Geometrie und K-Theorie, etabliert einen systematischen Rahmen für konstruierbare Witt-Theorie von Schemata und bietet eine solide theoretische Grundlage für weitere Forschung.