Die Gewichtsfiltration auf reeller singulärer Homologie ist motivisch

Grundinformationen

• Papier-ID: 2510.13379
• Titel: Die Gewichtsfiltration auf reeller singulärer Homologie ist motivisch
• Autor: Raphaël Ruimy
• Klassifikation: math.AG (Algebraische Geometrie)
• Veröffentlichungsdatum: 15. Oktober 2025
• Papierlink: https://arxiv.org/abs/2510.13379

Zusammenfassung

Dieses Papier präsentiert eine alternative Konstruktion der Gewichtsfiltration von Totaro auf der singulären Homologie reeller Punkte reeller algebraischer Varietäten. Unsere Konstruktion zeigt, dass diese Filtration aus der Bondarko-Gewichtsfiltration auf Voevodsky-Motiven stammt.

Forschungshintergrund und Motivation

Problemhintergrund

1. Historische Entwicklung der Gewichtsfiltration: Deligne führte Gewichtsfiltrationen auf singulärer Kohomologie und ℓ-adischer Kohomologie komplexer algebraischer Varietäten ein. Diese Filtrationen waren ursprünglich von Grothendieck als Schatten der motivischen Gewichtsfiltration konzipiert.
2. Erfolg im komplexen Fall: Über dem Körper der komplexen Zahlen wurde ein vollständiger theoretischer Rahmen etabliert:
   • Voevodsky konstruierte die Kategorie geometrischer Motive DMgm(k,Λ)
   • Ayoubes Betti-Realisierung bildet die motivische Gewichtsfiltration auf die Gewichtsfiltration singulärer Homologie ab
   • Ähnliche Ergebnisse gelten auch für étale und ℓ-adische Realisierungen
3. Herausforderungen im reellen Fall:
   • Totaro stellte 2002 die Existenz der Gewichtsfiltration auf singulärer Kohomologie reeller Punkte reeller algebraischer Varietäten auf
   • McCrory und Parusiński bewiesen dieses Ergebnis 2011 und 2014
   • Ihre Konstruktion ist jedoch technisch und zeigt nicht offensichtlich motivische Eigenschaften

Forschungsmotivation

Die Kernmotivation dieses Papiers ist der Nachweis, dass die Gewichtsfiltration auf reellen algebraischen Varietäten motivischen Ursprung hat, d.h. sie stammt aus der Bondarko-Gewichtsfiltration in Voevodskys Motivtheorie. Dies verwirklicht Grothendiecks ursprüngliche Vision der motivischen Natur von Gewichtsfiltrationen im reellen Fall vollständig.

Kernbeiträge

1. Konstruktion des reellen Motivrealisierungsfunktors ρR : DMgm(ℝ,𝔽₂) → Db(𝔽₂), der Motive reeller algebraischer Varietäten in die abgeleitete Kategorie mit 𝔽₂-Koeffizienten abbildet
2. Nachweis des motivischen Ursprungs der Gewichtsfiltration: Demonstration, dass die Gewichtsfiltration von Totaro-McCrory-Parusiński tatsächlich aus Bondarko's motivischer Gewichtsfiltration stammt
3. Entwicklung neuer technischer Werkzeuge:
   • Anpassung der universellen Eigenschaft motivischer Garben von Robalo an die Voevodsky-Motiveinstellung
   • Verwendung des Jacobson-Theorems zur Verbindung reeller Kohomologie mit Zariski-Kohomologie
   • Ausnutzung tiefgreifender Ergebnisse der Milnor-Vermutung
4. Vereinheitlichung verschiedener Kohomologietheorien: Bereitstellung einer einheitlichen motivischen Konstruktion für gewöhnliche Homologie, Borel-Moore-Homologie, Kohomologie und kompakt getragene Kohomologie

Methodische Erläuterung

Theoretischer Rahmen

1. Höherkategorische Konstruktion

Das Papier etabliert zunächst die notwendigen Grundlagen der höherkategorischen Theorie:

• Definition verschiedener Varianten symmetrischer Monoidal-∞-Kategorien MCat^K_∞
• Konstruktion der Stabilisierung der Kettenkomplexkategorie K^b(A)⊗ = SW(K^b_≥0(A))⊗
• Etablierung der Beziehung zwischen Spanier-Whitehead-Kategorien und Stabilisierung

2. Universelle Eigenschaft von Voevodsky-Motiven

Theorem 2.3: Sei k ein vollständiger Körper, Λ ein kommutativer Ring, C⊗ eine kleine symmetrische Monoidal-idempotent-vollständige stabile ∞-Kategorie. Dann ist der Funktor

Fun_MCat^st_∞(DMgm(k,Λ)⊗, C⊗) → Fun_MCat^Σ_∞(Smcor(k,Λ)⊗, C⊗)

volltreu, und sein wesentliches Bild besteht aus symmetrischen Monoidal-∞-Funktoren F, die folgende Bedingungen erfüllen:

1. A¹-Homotopie-Invarianz
2. Nisnevich-Garben-Eigenschaft
3. ⊗-Invertierbarkeit von Tate-Objekten

Konstruktion des Realisierungsfunktors

3. Schlüsseltechniken der reellen Realisierung

Die Konstruktion des reellen Realisierungsfunktors steht vor der Hauptschwierigkeit, dass reelle singuläre Kohomologie keine étale-lokale Invariante ist. Die Lösung erfolgt durch folgende Schritte:

Schritt 1: Anwendung der Witt-Ring-Theorie

• Verwendung des Witt-Rings W(X) und seiner fundamentalen Ideale I(X) mit Potenzen I^n(X)
• Definition des Quotienten I̅^n(X) = I^n(X)/I^(n+1)(X)
• Konstruktion der Garbe I_∞ := colim_n I_n

Schritt 2: Anwendung des Jacobson-TheoremsTheorem 3.4: Die Abbildung s_∞ : I_∞ → ι_*𝔽₂ ist ein Isomorphismus von Zariski-Garben, wobei ι : X(ℝ) ↪ X.

Dies ergibt den Isomorphismus: H^n(X, I_∞) ≅ H^n(X(ℝ), 𝔽₂)

Schritt 3: Verwendung der Gersten-Zerlegung Ausnutzung der Gersten-Zerlegung von I^m-Garben:

0 → I^m → ⊕_{x∈(-)^(0)} I̅^m(k(x)) → ⊕_{x∈(-)^(1)} I̅^(m-1)(k(x)) → ⋯

Die Existenz dieser Zerlegung hängt von tiefgreifenden Ergebnissen der Milnor-Vermutung ab.

4. Eigenschaften des Realisierungsfunktors

Proposition 3.9: Der Funktor H^cor_* : Smcor(ℝ,𝔽₂)⊗ → GrVect^⊗_{𝔽₂} faktorisiert durch DMgm(ℝ,𝔽₂)⊗.

Dies ergibt den reellen Realisierungsfunktor: ρR : DMgm(ℝ,𝔽₂)⊗ → GrVect^⊗_{𝔽₂}

Konstruktion der Gewichtsfiltration

5. Gewichtsstruktur-Theorie

Verwendung von Bondarko's Gewichtsstruktur-Theorie:

Definition 4.1: Eine volle Unterkategorie H einer stabilen ∞-Kategorie C ist das Herz einer beschränkten Gewichtsstruktur genau dann, wenn:

1. Sie unter endlichen Koprodukten und Retrakte abgeschlossen ist
2. Sie unter endlichen Limites und Kolimites C erzeugt
3. Für alle X,Y ∈ H ist das Abbildungsspektrum map_C(X,Y) zusammenhängend

6. Gewichts-Komplexfunktor

Lemma 4.3 (Aoki): Es existiert eine Äquivalenz C⊗ ≃ SW(P^rex_Σ(H))⊗

Dies führt zum Gewichts-Komplexfunktor:

DMgm(ℝ,𝔽₂)⊗ → K^b(Chow(ℝ,𝔽₂))⊗ → GrVect^⊗_{𝔽₂}

7. Gefilterte Realisierungsfunktoren

Definition des gefilterten Realisierungsfunktors:

ρ^W_R : DMgm(ℝ,𝔽₂)⊗ → K^b(GrVect_{𝔽₂})⊗

Dessen Komposition mit Tot ergibt ρR.

Hauptergebnisse

Motivische Natur der Gewichtsfiltration

Theorem 4.6: Seien WH_* := ρ^W_R ∘ M, WH^BM_* := ρ^W_R ∘ M^BM usw. Diese Funktoren verfeinern die Homologietheorien reeller Spuren und produzieren Gewichtsspektralsequenzen, die gegen diese Kohomologietheorien konvergieren.

Beziehung zur bestehenden Theorie

Proposition 3.12: Der Realisierungsfunktor ρR bildet ab:

• M auf C_*(−,𝔽₂) (singuläre Kettenkomplexe)
• M^BM auf C^BM_*(−,𝔽₂) (singuläre Kettenkomplexe mit kompaktem Träger)
• h auf C^*(−,𝔽₂) (singuläre Kokettenkomplexe)
• h_c auf C^*_c(−,𝔽₂) (singuläre Kokettenkomplexe mit kompaktem Träger)

Technische Innovationen

1. Anwendung höherkategorischer Methoden

• Systematische Verwendung von ∞-Kategorientheorie zur Behandlung universeller Eigenschaften der Motivkategorie
• Anpassung von Robalos Methode an die spezifische Voevodsky-Motiveinstellung

2. Spezialbehandlung reeller Geometrie

• Geschickte Verwendung der Witt-Ring-Theorie zur Umgehung der Schwierigkeit, dass reelle Kohomologie nicht étale-lokal ist
• Etablierung einer Brücke zwischen reeller Kohomologie und Zariski-Kohomologie durch das Jacobson-Theorem

3. Anwendung tiefgreifender algebraisch-geometrischer Ergebnisse

• Wesentliche Abhängigkeit vom Beweis der Milnor-Vermutung (Orlov-Vishik-Voevodsky)
• Verwendung feiner Eigenschaften der Gersten-Zerlegung

Theoretische Bedeutung

1. Vollendung des Grothendieck-Programms

Das Papier vollendet Grothendiecks Vision der motivischen Herkunft von Gewichtsfiltrationen im reellen Fall und bildet zusammen mit dem komplexen und ℓ-adischen Fall ein vollständiges Bild.

2. Vereinheitlichung verschiedener Methoden

Bereitstellung eines konzeptionellen Verständnisses der technischen Konstruktion von McCrory-Parusiński und Offenlegung ihrer tiefgreifenden motivischen Struktur.

3. Methodologischer Beitrag

Demonstration, wie man Motivrealisierungen in Abwesenheit von étale-Lokalität konstruiert, und Bereitstellung eines Paradigmas für ähnliche Probleme.

Einschränkungen und zukünftige Richtungen

Einschränkungen

1. Koeffizientenbeschränkung: Konstruktion ist auf 𝔽₂-Koeffizienten beschränkt aufgrund spezieller Eigenschaften reeller Kohomologie
2. Technische Komplexität: Abhängigkeit von mehreren tiefgreifenden Ergebnissen (Milnor-Vermutung, Jacobson-Theorem usw.)
3. Anwendungsbereich: Hauptsächlich anwendbar auf spezifische Fälle reeller algebraischer Geometrie

Zukünftige Richtungen

1. Verallgemeinerung auf andere Koeffizienten: Erkundung der Möglichkeit, auf andere Koeffizientenringe zu verallgemeinern
2. Rechnerische Aspekte: Entwicklung effektiver Methoden zur tatsächlichen Berechnung von Gewichtsfiltrationen
3. Anwendungen: Anwendung der Ergebnisse auf konkrete geometrische Probleme

Tiefgreifende Bewertung

Stärken

1. Theoretische Tiefe: Erfolgreiche Eingliederung der Gewichtsfiltration reeller algebraischer Geometrie in den Motivtheorie-Rahmen
2. Technische Innovation: Geschickte Kombination tiefgreifender Ergebnisse mehrerer Disziplinen zur Lösung schwieriger Probleme
3. Vollständigkeit: Bereitstellung eines einheitlichen Rahmens zur Behandlung verschiedener Kohomologietheorien
4. Konzeptionelle Klarheit: Erhebung technischer Konstruktionen zu konzeptionellem Verständnis

Technische Bewertung

1. Neuartige Methode: Die Methode zur Behandlung reeller geometrischer Probleme mittels Witt-Ring-Theorie ist originell
2. Bedeutsame Ergebnisse: Schließung einer wichtigen Lücke in der Motivtheorie im reellen Fall
3. Strenge Beweise: Verwendung höherkategorischer Theorie gewährleistet Funktorialität der Konstruktion

Einfluss

1. Theoretischer Beitrag: Bereitstellung neuer motivtheoretischer Werkzeuge für reelle algebraische Geometrie
2. Methodologischer Wert: Demonstration einer allgemeinen Methode zur Behandlung nicht-standardisierter Realisierungsprobleme
3. Zukünftige Forschung: Grundlegung für weitere Entwicklung der reellen Motivgeometrie

Wichtige Punkte der Literaturangaben

Das Papier zitiert Schlüsselliteratur des Feldes, einschließlich:

• Grundlegende Arbeiten von Voevodsky und anderen zur Motivtheorie
• Bondarko's Theorie der Gewichtsstrukturen
• Ursprüngliche Konstruktion reeller Gewichtsfiltrationen von McCrory-Parusiński
• Jacobsons Arbeiten zur Beziehung zwischen reeller Kohomologie und Witt-Ringen
• Beweis der Milnor-Vermutung (OVV07)

Diese Zitationen spiegeln das tiefe Verständnis des Autors für die Entwicklung des Feldes und die geschickte Beherrschung relevanter Techniken wider.