Real algebraic varieties and their intersection cohomology

Technische Samenvatting: Reële Algebraïsche Variëteiten en hun Intersectiecohomologie

Probleemstelling
Het artikel behandelt een fundamentele vraag gesteld door Goresky en MacPherson over het bestaan van intersectiecohomologiegroepen voor reële algebraïsche variëteiten. In de complexe setting biedt de intersectiecohomologie $IH^*(Y(\mathbb{C}), k)$ voor een singuliere variëteit $Y$ een Poincaré zelf-duale theorie die de kap-product met de fundamentele klasse factoriseert. Deze ontstaan intrinsiek als de unieke Verdier zelf-duale perverse sheaf die de constante sheaf op de gladde locus uitbreidt, en extrinsiek als een direct sommet van de pushforward van de constante sheaf onder een willekeurige resolutie van singulariteiten (via de Decompositie-stelling).

Voor reële variëteiten $Y$ induceert de kap-product met de fundamentele klasse in $H^*(Y(\mathbb{R}), \mathbb{F}_2)$ over het algemeen geen isomorfisme, en bestond er geen canonieke familie van "intersectiecohomologie"-groepen die dergelijke dualiteit en factorisatie-eigenschappen bezaten. Eerdere constructies door McCrory-Parusiński en van Hamel boden oplossingen, maar verschilden aanzienlijk in hun geometische of equivariante benaderingen, en vertoonden soms een gebrek aan eindigheid of perfecte pairing-eigenschappen. Dit artikel streeft ernaar een reëel analoog te construeren dat zich gedraagt als intersectiecohomologie, specifiek gebruikmakend van $\mathbb{F}_2$-coëfficiënten.

Methodologie
De auteur hanteert een extrinsieke benadering, waarbij het gewenste object wordt geconstrueerd als een specifiek direct sommet binnen de afgeleide pushforward van de constante sheaf langs een resolutie van singulariteiten. De methodologie steunt op de formalismen van constructibele sheaves op reële algebraïsche variëteiten met $\mathbb{F}_2$-coëfficiënten.

Belangrijke technische stappen omvatten:

1. Krull-Schmidt Decompositie: Het artikel maakt gebruik van het feit dat de afgeleide categorie van constructibele sheaves $D^b_c(Y(\mathbb{R}), \mathbb{F}_2)$ Krull-Schmidt is. Dit garandeert dat de pushforward $Rf_* \mathbb{1}_{X(\mathbb{R})}$ voor elke resolutie $f: X \to Y$ uniek decomponeert in een eindige directe som van indecomposabele objecten.
2. Splitsing van Birationale Afbeeldingen: Een cruciaal lemma stelt vast dat voor een proper birationale afbeelding $g: W \to X$ tussen gladde reële variëteiten, de canonieke afbeelding $\mathbb{1}_{X(\mathbb{R})} \to Rg_* \mathbb{1}_{W(\mathbb{R})}$ een gesplitst monomorfisme is. Deze splitsing wordt geïnduceerd door de compatibiliteit van fundamentele klassen onder pushforward.
3. Onafhankelijkheid van Resolutie: Door aan te tonen dat elke twee resoluties worden gedomineerd door een derde, en door gebruik te maken van de splitsingseigenschap, bewijst de auteur dat de "dense" summand van de pushforward (het deel dat de constante sheaf op de gladde locus uitbreidt) onafhankelijk is van de keuze van de resolutie.
4. Motivische Variant: Een secundaire constructie, $E_{num}(Y_R)$, wordt gedefinieerd met behulp van het beeld van de reële cyclus-afbeelding van Chow-groepen naar Borel-Moore homologie. Deze variant is ontworpen om Zariski-lokaal te zijn, een eigenschap die niet direct evident is voor de primaire constructie.

Kernbijdragen en Resultaten

• Constructie van de Reële Geometrische Uitbreiding ($E(Y_R)$):
  Het artikel definieert een complex van sheaves $E(Y_R)$ op $Y(\mathbb{R})$, de reële geometrische uitbreiding genoemd. Dit object wordt gekenmerkt als de unieke directe summand van $Rf_* \mathbb{1}_{X(\mathbb{R})}$ (voor elke resolutie $f$) die de constante sheaf op de gladde locus $Y^{sm}(\mathbb{R})$ uitbreidt en geen proper direct summand heeft met deze eigenschap.

• Poincaré Dualiteit en Zelf-Dualiteit:
  Het complex $E(Y_R)$ is aangetoond Verdier zelf-duaal tot een shift door de dimensie $d$ van de variëteit ($DE(Y_R) \cong E(Y_R)[d]$). Bijgevolg voldoen de hypercohomologiegroepen $E^i(Y(\mathbb{R}), \mathbb{F}_2)$ aan een Poincaré dualiteit isomorfisme:
  $$E^i(Y(\mathbb{R}), \mathbb{F}_2) \cong E^{d-i}(Y(\mathbb{R}), \mathbb{F}_2)^\vee$$
  Deze dualiteit wordt geïnduceerd door een keuze van een isomorfisme in de afgeleide categorie, wat niet-canoniek is, zelfs niet over $\mathbb{F}_2$.

• Factorisatie en Ondergrenzen:
  De constructie levert canonieke vergelijkingsafbeeldingen $\gamma^i: H^i(Y(\mathbb{R}), \mathbb{F}_2) \to E^i(Y(\mathbb{R}), \mathbb{F}_2)$ die de kap-product met de fundamentele klasse factoriseren. Bovendien bieden de stalks van $E(Y_R)$ ondergrenzen voor de Betti-getallen van de vezels in elke resolutie van singulariteiten:
  $$\dim H^i(i_y^* E(Y_R)) \leq \dim H^i(F_y(\mathbb{R}), \mathbb{F}_2)$$

• Expliciete Beschrijvingen in Speciale Gevallen:

  • Kleine Resoluties: Als $Y$ een kleine resolutie $f: X \to Y$ bezit, dan geldt $E(Y_R) \cong Rf_* \mathbb{1}_{X(\mathbb{R})}$.
  • Isolatie Singulariteiten: Voor variëteiten met geïsoleerde singulariteiten die specifieke topologische condities op de exceptional divisor bevredigen (bijv. een triviale normaalbundel), wordt $E(Y_R)$ geïdentificeerd met de pushforward van de constante sheaf vanaf de blowup.
  • Schubert Variëteiten: Op reële flag-variëteiten wordt getoond dat de categorie van reële geometrische uitbreidingen equivalent is aan de categorie van even parity sheaves op de corresponderende complexe flag-variëteit. Deze equivalentie verdubbelt de graden: $E^i(X(w)(\mathbb{R})) \cong H^{2i}(E(X(w)(\mathbb{C})))$.

• Motivische Variant ($E_{num}$):
  Het artikel introduceert $E_{num}(Y_R)$, een variant gedefinieerd via de reële cyclus-afbeelding. Dit object is Zariski-lokaal (de restrictie tot een open verzameling is de uitbreiding op die open verzameling) en deelt de dualiteit en eindigheidseigenschappen van $E(Y_R)$. De auteur merkt op dat hoewel $E_{num}$ betere formele eigenschappen heeft, het minder expliciet te berekenen is, en het momenteel onbekend is of $E(Y_R)$ en $E_{num}(Y_R)$ in enig geval verschillen.

Betekenis en Claims
Het artikel claimt een oplossing te bieden voor de vraag van Goresky-MacPherson door een familie van $\mathbb{F}_2$ vectorenruimten voor reële variëteiten te construeren die zich gedragen als intersectiecohomologie. De betekenis ligt in:

1. Extrinsieke Definitie: In tegen tegenover de intrinsieke definitie van complexe intersectiecohomologie (via perversiteitsgrenzen), is deze constructie puur extrinsiek, gedefinieerd via resoluties. Dit is noodzakelijk vanwege het gebrek aan een perverse t-structuur in de reële setting en het feit dat reële geometrische uitbreidingen niet voldoen aan perversiteitsgrenzen.
2. Verbinding met Parity Sheaves: De equivalentie tussen reële geometrische uitbreidingen op Schubert-variëteiten en even parity sheaves op complexe variëteiten suggereert een diepe structurele link tussen reële algebraïsche geometrie en de representatietheorie van complexe groepen.
3. Complement van Bestaand Werk: De auteur positioneert dit werk als een natuurlijke generalisatie van geometrische uitbreidingen en parity sheaves naar de reële setting, als complement aan de geometrische benadering van McCrory-Parusiński en de equivariante benadering van van Hamel.

Het artikel blijft bescheiden over de uniciteit van de dualiteit-isomorfisme (er wordt opgemerkt dat het een keuze is) en het potentiële verschil tussen de primaire constructie en de motivische variant. Het stelt expliciet dat de constructie afhankelijk is van de variëteitsstructuur, en niet enkel van de onderliggende topologie, zoals aangetoond door voorbeelden van niet-isomorfe variëteiten met homeomorfe reële puntenverzamelingen.