Real algebraic varieties and their intersection cohomology

Technische Zusammenfassung: Reale algebraische Varietäten und ihre Intersektionskohomologie

Problemstellung
Die Arbeit befasst sich mit einer grundlegenden Frage von Goresky und MacPherson hinsichtlich der Existenz von Intersektionskohomologiegruppen für reale algebraische Varietäten. Im komplexen Fall liefert die Intersektionskohomologie $IH^*(Y(\mathbb{C}), k)$ für eine singuläre Varietät $Y$ eine Poincaré-selbstduale Theorie, die das Produkt mit der Fundamentalklasse als Kap-Produkt faktorisieren kann. Diese entstehen intrinsisch als die eindeutige Verdier-selbstduale perverse Garbe, die die konstante Garbe auf dem glatten Ort erweitert, und extrinsisch als ein direkter Summand des Pushforwards der konstanten Garbe unter einer beliebigen Auflösung der Singularitäten (via Decompositionssatz).

Für reale Varietäten $Y$ induziert das Kap-Produkt mit der Fundamentalklasse in $H^*(Y(\mathbb{R}), \mathbb{F}_2)$ im Allgemeinen keine Isomorphie, und es existierte keine kanonische Familie von „Intersektionskohomologie“-Gruppen, die analoge Dualitäts- und Faktorisierungseigenschaften erfüllte. Vorherige Konstruktionen von McCrory-Parusiński und van Hamel boten Lösungen an, unterschieden sich jedoch signifikant in ihren geometrischen oder äquivarianten Ansätzen und ließen teilweise die Eigenschaften der Endlichkeit oder der perfekten Paarung vermissen. Diese Arbeit sucht nach einem realen Analogon, das sich wie eine Intersektionskohomologie verhält, insbesondere unter Verwendung von $\mathbb{F}_2$-Koeffizienten.

Methodik
Der Autor wählt einen extrinsischen Ansatz und konstruiert das gewünschte Objekt als einen spezifischen direkten Summand innerhalb des abgeleiteten Pushforwards der konstanten Garbe entlang einer Auflösung der Singularitäten. Die Methodik stützt sich auf das Formalismus konstruibler Garben auf realen algebraischen Varietäten mit $\mathbb{F}_2$-Koeffizienten.

Zentrale technische Schritte sind:

1. Krull-Schmidt-Zerlegung: Die Arbeit nutzt die Tatsache, dass die abgeleitete Kategorie konstruibler Garben $D^b_c(Y(\mathbb{R}), \mathbb{F}_2)$ eine Krull-Schmidt-Kategorie ist. Dies stellt sicher, dass der Pushforward $Rf_* \mathbb{1}_{X(\mathbb{R})}$ für jede Auflösung $f: X \to Y$ eindeutig in eine endliche direkte Summe irreduzibler Objekte zerfällt.
2. Splittung birationaler Abbildungen: Ein entscheidendes Lemma etabliert, dass für eine eigentliche birationale Abbildung $g: W \to X$ zwischen glatten realen Varietäten die kanonische Abbildung $\mathbb{1}_{X(\mathbb{R})} \to Rg_* \mathbb{1}_{W(\mathbb{R})}$ ein gesplittetes Monomorphismus ist. Diese Splittung wird durch die Kompatibilität der Fundamentalklassen unter dem Pushforward induziert.
3. Unabhängigkeit von der Auflösung: Durch den Nachweis, dass jede zwei Auflösungen durch eine dritte dominiert werden, und unter Nutzung der Splittungseigenschaft, beweist der Autor, dass der „dichte“ Summand des Pushforwards (der Teil, der die konstante Garbe auf dem glatten Ort erweitert) unabhängig von der Wahl der Auflösung ist.
4. Motivische Variante: Eine sekundäre Konstruktion, $E_{num}(Y_R)$, wird unter Verwendung des Bildes der reellen Zykluskalklasse von Chow-Gruppen in die Borel-Moore-Homologie definiert. Diese Variante ist darauf ausgelegt, Zariski-lokal zu sein, eine Eigenschaft, die für die primäre Konstruktion nicht unmittelbar offensichtlich ist.

Wesentliche Beiträge und Ergebnisse

• Konstruktion der realen geometrischen Erweiterung ($E(Y_R)$):
  Die Arbeit definiert einen Komplex von Garben $E(Y_R)$ auf $Y(\mathbb{R})$, die als reale geometrische Erweiterung bezeichnet wird. Dieser ist charakterisiert als der eindeutige direkte Summand von $Rf_* \mathbb{1}_{X(\mathbb{R})}$ (für eine beliebige Auflösung $f$), der die konstante Garbe auf dem glatten Ort $Y^{sm}(\mathbb{R})$ erweitert und keinen echten direkten Summanden mit dieser Eigenschaft besitzt.

• Poincaré-Dualität und Selbstdualität:
  Der Komplex $E(Y_R)$ ist gezeigt zu werden, dass er Verdier-selbstdual bis zu einer Verschiebung durch die Dimension $d$ der Varietät ist ($DE(Y_R) \cong E(Y_R)[d]$). Folglich erfüllen die Hyperkohomologiegruppen $E^i(Y(\mathbb{R}), \mathbb{F}_2)$ eine Poincaré-Dualitätsisomorphie:
  $$E^i(Y(\mathbb{R}), \mathbb{F}_2) \cong E^{d-i}(Y(\mathbb{R}), \mathbb{F}_2)^\vee$$
  Diese Dualität wird durch eine Wahl einer Isomorphie in der abgeleiteten Kategorie induziert, die selbst über $\mathbb{F}_2$ nicht kanonisch ist.

• Faktorisierung und untere Schranken:
  Die Konstruktion liefert kanonische Vergleichsabbildungen $\gamma^i: H^i(Y(\mathbb{R}), \mathbb{F}_2) \to E^i(Y(\mathbb{R}), \mathbb{F}_2)$, die das Kap-Produkt mit der Fundamentalklasse faktorisieren. Zudem liefern die Stäbe von $E(Y_R)$ untere Schranken für die Betti-Zahlen der Fasern in jeder Auflösung der Singularitäten:
  $$\dim H^i(i_y^* E(Y_R)) \leq \dim H^i(F_y(\mathbb{R}), \mathbb{F}_2)$$

• Explizite Beschreibungen in Spezialfällen:

  • Kleine Auflösungen: Wenn $Y$ eine kleine Auflösung $f: X \to Y$ besitzt, dann gilt $E(Y_R) \cong Rf_* \mathbb{1}_{X(\mathbb{R})}$.
  • Isolierte Singularitäten: Für Varietäten mit isolierten Singularitäten, die spezifische topologische Bedingungen auf der Ausnahme-Divisor erfüllen (z. B. triviales Normalbündel), wird $E(Y_R)$ als der Pushforward der konstanten Garbe aus der Blowup identifiziert.
  • Schubert-Varietäten: Auf realen Flag-Varietäten zeigt sich, dass die Kategorie der realen geometrischen Erweiterungen äquivalent zur Kategorie der Even Parity Sheaves auf der entsprechenden komplexen Flag-Varietät ist. Diese Äquivalenz verdoppelt die Grade: $E^i(X(w)(\mathbb{R})) \cong H^{2i}(E(X(w)(\mathbb{C})))$.

• Motivische Variante ($E_{num}$):
  Die Arbeit führt eine Variante $E_{num}(Y_R)$ ein, die über die reelle Zykluskalklasse definiert ist. Dieses Objekt ist Zariski-lokal (seine Beschränkung auf eine offene Menge ist die Erweiterung auf dieser Menge) und teilt die Dualitäts- und Endlichkeitseigenschaften von $E(Y_R)$. Der Autor merkt an, dass $E_{num}$ zwar bessere formale Eigenschaften besitzt, aber weniger explizit zu berechnen ist, und es derzeit unbekannt ist, ob $E(Y_R)$ und $E_{num}(Y_R)$ in irgendeinem Fall voneinander abweichen.

Bedeutung und Behauptungen
Die Arbeit beansprucht, eine Lösung für die Goresky-MacPherson-Frage zu liefern, indem sie eine Familie von $\mathbb{F}_2$-Vektorräumen für reale Varietäten konstruiert, die sich wie Intersektionskohomologie verhalten. Die Bedeutung liegt in:

1. Extrinsische Definition: Im Gegensatz zur intrinsischen Definition der komplexen Intersektionskohomologie (via Perversitätsgrenzen) ist diese Konstruktion rein extrinsisch über Auflösungen definiert. Dies ist notwendig aufgrund des Fehlens einer perversen t-Struktur im realen Fall und der Tatsache, dass reale geometrische Erweiterungen keine Perversitätsgrenzen erfüllen.
2. Verbindung zu Parity Sheaves: Die Äquivalenz zwischen realen geometrischen Erweiterungen auf Schubert-Varietäten und Even Parity Sheaves auf komplexen Varietäten deutet auf eine tiefe strukturelle Verbindung zwischen der realen algebraischen Geometrie und der Darstellungstheorie komplexer Gruppen hin.
3. Ergänzung zu bestehender Arbeit: Der Autor positioniert diese Arbeit als eine natürliche Verallgemeinerung geometrischer Erweiterungen und Parity Sheaves auf den realen Kontext, welche den geometrischen Ansatz von McCrory-Parusiński und den äquivarianten Ansatz von van Hamel ergänzt.

Die Arbeit bleibt bescheiden hinsichtlich der Einzigartigkeit der Dualitätsisomorphie (sie stellt fest, dass dies eine Wahl ist) und der potenziellen Differenz zwischen der primären Konstruktion und der motivischen Variante. Sie stellt explizit klar, dass die Konstruktion von der Struktur der Varietät abhängt und nicht nur von der zugrunde liegenden Topologie, wie durch Beispiele nicht-isomorpher Varietäten mit homöomorphen reellen Punktmengen gezeigt wird.