Real algebraic varieties and their intersection cohomology

Sintesi Tecnica: Varietà Algebriche Reali e la loro Coomologia di Intersezione

Enunciato del Problema
Il saggio affronta una questione fondamentale posta da Goresky e MacPherson riguardante l'esistenza di gruppi di coomologia di intersezione per le varietà algebriche reali. Nel contesto complesso, per una varietà singolare $Y$, i gruppi di coomologia di intersezione $IH^*(Y(\mathbb{C}), k)$ forniscono una teoria auto-duale di Poincaré che fattorizza il prodotto con il cappello con la classe fondamentale. Essi derivano intrinsecamente come l'unico fascio perverso auto-duale di Verdier che estende il fascio costante sul locus regolare, ed estrinsecamente come un sottomodulo diretto del pushforward del fascio costante sotto qualsiasi risoluzione delle singolarità (tramite il Teorema della Decomposizione).

Per le varietà reali $Y$, il prodotto con il cappello con la classe fondamentale in $H^*(Y(\mathbb{R}), \mathbb{F}_2)$ non induce generalmente un isomorfismo, e non esisteva alcuna famiglia canonica di gruppi di "coomologia di intersezione" che soddisfacesse proprietà analoghe di dualità e fattorizzazione. Costruzioni precedenti di McCrory-Parusiński e van Hamel hanno offerto soluzioni, ma differivano significativamente per i loro approcci geometrici o equivarianti, talvolta mancando di proprietà di finitezza o di accoppiamento perfetto. Questo saggio mira a costruire un analogo reale che si comporti come la coomologia di intersezione, utilizzando specificamente coefficienti in $\mathbb{F}_2$.

Metodologia
L'autore adotta un approccio estrinseco, costruendo l'oggetto desiderato come un particolare sottomodulo diretto all'interno del pushforward derivato del fascio costante lungo una risoluzione delle singolarità. La metodologia si basa sul formalismo dei fasci costruttibili su varietà algebriche reali con coefficienti in $\mathbb{F}_2$.

Passaggi tecnici chiave:

1. Decomposizione di Krull-Schmidt: Il saggio utilizza il fatto che la categoria derivata dei fasci costruttibili $D^b_c(Y(\mathbb{R}), \mathbb{F}_2)$ è Krull-Schmidt. Ciò assicura che il pushforward $Rf_* \mathbb{1}_{X(\mathbb{R})}$ per qualsiasi risoluzione $f: X \to Y$ si decomponga unicamente in una somma diretta finita di oggetti indecomponibili.
2. Splitting delle Mappature Birazionali: Un lemma cruciale stabilisce che, per una mappa birazionale propria $g: W \to X$ tra varietà reali lisce, la mappa canonica $\mathbb{1}_{X(\mathbb{R})} \to Rg_* \mathbb{1}_{W(\mathbb{R})}$ è un monomorfismo spaccato (split monomorphism). Questo splitting è indotto dalla compatibilità delle classi fondamentali sotto pushforward.
3. Indipendenza dalla Risoluzione: Dimostrando che qualsiasi coppia di risoluzioni è dominata da una terza, e utilizzando la proprietà di splitting, l'autore prova che il sottomodulo "denso" del pushforward (la parte che estende il fascio costante sul locus regolare) è indipendente dalla scelta della risoluzione.
4. Variante Motivica: Una costruzione secondaria, $E_{num}(Y_R)$, viene definita utilizzando l'immagine della mappa di classe di ciclo reale dai gruppi di Chow alla omologia di Borel-Moore. Questa variante è progettata per essere Zariski-locale, una proprietà non immediatamente ovvia per la costruzione primaria.

Contributi Chiave e Risultati

• Costruzione dell'Estensione Geometrica Reale ($E(Y_R)$):
  Il saggio definisce un complesso di fasci $E(Y_R)$ su $Y(\mathbb{R})$, chiamato estensione geometrica reale. Esso è caratterizzato come l'unico sottomodulo diretto di $Rf_* \mathbb{1}_{X(\mathbb{R})}$ (per ogni risoluzione $f$) che estende il fascio costante sul locus regolare $Y^{sm}(\mathbb{R})$ e che non possiede alcun sottomodulo diretto proprio con questa proprietà.

• Dualità di Poincaré e Auto-dualità:
  Si dimostra che il complesso $E(Y_R)$ è auto-duale di Verdier fino a uno shift per la dimensione $d$ della varietà ($DE(Y_R) \cong E(Y_R)[d]$). Di conseguenza, i gruppi di ipercoomologia $E^i(Y(\mathbb{R}), \mathbb{F}_2)$ soddisfano un isomorfismo di dualità di Poincaré:
  $$E^i(Y(\mathbb{R}), \mathbb{F}_2) \cong E^{d-i}(Y(\mathbb{R}), \mathbb{F}_2)^\vee$$
  Questa dualità è indotta da una scelta di isomorfismo nella categoria derivata, che è non-canonica anche su $\mathbb{F}_2$.

• Fattorizzazione e Limiti Inferiori:
  La costruzione fornisce mappe di confronto canoniche $\gamma^i: H^i(Y(\mathbb{R}), \mathbb{F}_2) \to E^i(Y(\mathbb{R}), \mathbb{F}_2)$ che fattorizzano il prodotto con il cappello con la classe fondamentale. Inoltre, i stalk di $E(Y_R)$ forniscono limiti inferiori per i numeri di Betti dei fiber in qualsiasi risoluzione delle singolarità:
  $$\dim H^i(i_y^* E(Y_R)) \leq \dim H^i(F_y(\mathbb{R}), \mathbb{F}_2)$$

• Descrizioni Esplicite in Casi Speciali:

  • Risoluzioni Piccole (Small Resolutions): Se $Y$ ammette una risoluzione piccola $f: X \to Y$, allora $E(Y_R) \cong Rf_* \mathbb{1}_{X(\mathbb{R})}$.
  • Singolarità Isolate: Per varietà con singolarità isolate che soddisfano specifiche condizioni topologiche sul divisore eccezionale (ad esempio, bundle normale banale), $E(Y_R)$ è identificato con il pushforward del fascio costante dal blowup.
  • Varietà di Schubert: Sulle varietà di flag reali, si mostra che la categoria delle estensioni geometriche reali è equivalente alla categoria dei fasci di parità pari (even parity sheaves) sulla corrispondente varietà di flag complessa. Questa equivalenza raddoppia i gradi: $E^i(X(w)(\mathbb{R})) \cong H^{2i}(E(X(w)(\mathbb{C})))$.

• Variante Motivica ($E_{num}$):
  Il saggio introduce $E_{num}(Y_R)$, una variante definita tramite la mappa di classe di ciclo reale. Questo oggetto è Zariski-locale (la sua restrizione su un insieme aperto è l'estensione su quell'insieme aperto) e condivide le proprietà di dualità e finitezza di $E(Y_R)$. Il saggio nota che, sebbene $E_{num}$ possieda migliori proprietà formali, è meno esplicito da calcolare, ed è attualmente ignoto se $E(Y_R)$ e $E_{num}(Y_R)$ possano differire in qualche caso.

Significato e Rivendicazioni
Il saggio sostiene di fornire una soluzione alla questione di Goresky-MacPherson costruendo una famiglia di spazi vettoriali su $\mathbb{F}_2$ per le varietà reali che si comportano come la coomologia di intersezione. La significatività risiede in:

1. Definizione Estrinseca: A differenza della definizione intrinseca della coomologia di intersezione complessa (tramite vincoli di perversità), questa costruzione è puramente estrinseca, definita tramite risoluzioni. Ciò è reso necessario dalla mancanza di una t-struttura perversa nel contesto reale e dal fatto che le estensioni geometriche reali non soddisfano i vincoli di perversità.
2. Connessione con i Fasci di Parità: L'equivalenza tra le estensioni geometriche reali sulle varietà di Schubert e i fasci di parità pari sulle varietà complesse suggerisce un profondo legame strutturale tra la geometria algebrica reale e la teoria delle rappresentazioni dei gruppi complessi.
3. Complemento al Lavoro Esistente: L'autore pone questo lavoro come un naturale generalizzazione delle estensioni geometriche e dei fasci di parità al contesto reale, completando l'approccio geometrico di McCrory-Parusiński e quello equivariante di van Hamel.

Il saggio rimane modesto riguardo alla unicità dell'isomorfismo di dualità (notando che è una scelta) e alla potenziale differenza tra la costruzione primaria e la variante motivica. Esso dichiara esplicitamente che la costruzione dipende dalla struttura della varietà, non solo dalla topologia sottostante, come dimostrato da esempi di varietà non isomorfe con insiemi di punti reali omeomorfi.