Real algebraic varieties and their intersection cohomology

Resumen Técnico: Variedades Algebraicas Reales y su Cohomología de Intersección

Planteamiento del Problema
El artículo aborda una pregunta fundamental planteada por Goresky y MacPherson respecto a la existencia de grupos de cohomología de intersección para variedades algebraicas reales. En el entorno complejo, para una variedad singular $Y$, los grupos de cohomología de intersección $IH^*(Y(\mathbb{C}), k)$ proporcionan una teoría de autodualidad de Poincaré que factoriza el producto cap con la clase fundamental. Estos surgen intrínsecamente como el único haz perverso autodual de Verdier que extiende el haz constante en el locus liso, y extrínsecamente como un sumando directo del pushforward del haz constante bajo cualquier resolución de singularidades (vía el Teorema de Descomposición).

Para las variedades reales $Y$, el producto cap con la clase fundamental en $H^*(Y(\mathbb{R}), \mathbb{F}_2)$ no induce generalmente un isomorfismo, y no existía una familia canónica de grupos de "cohomología de intersección" que satisficiera propiedades de dualidad y factorización análogas. Construcciones previas de McCrory-Parusiński y van Hamel ofrecieron soluciones, pero diferían significamente en sus enfoques geométricos o equivariantes, careciendo a veces de propiedades de finitud o de emparejamiento perfecto. Este artículo busca construir un análogo real que se comporte como la cohomología de intersección, utilizando específicamente coeficientes en $\mathbb{F}_2$.

Metodología
El autor adopta un enfoque extrínseco, construyendo el objeto deseado como un sumando directo específico dentro del pushforward derivado del haz constante a lo largo de una resolución de singularidades. La metodología se basa en el formalismo de haces constructibles en variedades algebraicas reales con coeficientes en $\mathbb{F}_2$.

Pasos técnicos clave:

1. Descomposición de Krull-Schmidt: El artículo utiliza el hecho de que la categoría derivada de haces constructibles $D^b_c(Y(\mathbb{R}), \mathbb{F}_2)$ es Krull-Schmidt. Esto asegura que el pushforward $Rf_* \mathbb{1}_{X(\mathbb{R})}$ para cualquier resolución $f: X \to Y$ se descompone únicamente en una suma directa finita de objetos indecomponibles.
2. Escisión de Mapas Biracionales: Un lema crucial establece que para un mapa biracional propio $g: W \to X$ entre variedades reales suaves, el mapa canónico $\mathbb{1}_{X(\mathbb{R})} \to Rg_* \mathbb{1}_{W(\mathbb{R})}$ es un monomorfismo escindido. Esta escisión es inducida por la compatibilidad de las clases fundamentales bajo el pushforward.
3. Independencia de la Resolución: Al demostrar que cualquier par de resoluciones está dominado por una tercera, y utilizando la propiedad de escisión, el autor prueba que el sumando "denso" del pushforward (la parte que extiende el haz constante en el locus liso) es independiente de la elección de la resolución.
4. Variante Motivica: Se define una construcción secundaria, $E_{num}(Y_R)$, utilizando la imagen del mapa de clase de ciclo real de los grupos de Chow a la homología de Borel-Moore. Esta variante está diseñada para ser de tipo local de Zariski, una propiedad que no es inmediatamente obvia para la construcción primaria.

Contribuciones Clave y Resultados

• Construcción de la Extensión Geométrica Real ($E(Y_R)$):
  El artículo define un complejo de haces $E(Y_R)$ en $Y(\mathbb{R})$, llamado la extensión geométrica real. Este se caracteriza como el único sumando directo de $Rf_* \mathbb{1}_{X(\mathbb{R})}$ (para cualquier resolución $f$) que extiende el haz constante en el locus liso $Y^{sm}(\mathbb{R})$ y que no posee un sumando directo propio con esta propiedad.

• Dualidad de Poincaré y Autodualidad:
  Se demuestra que el complejo $E(Y_R)$ es autodual de Verdier salvo un desplazamiento por la dimensión $d$ de la variedad ($DE(Y_R) \cong E(Y_R)[d]$). En consecuencia, los grupos de hipercohomología $E^i(Y(\mathbb{R}), \mathbb{F}_2)$ satisfacen un isomorfismo de dualidad de Poincaré:
  $$E^i(Y(\mathbb{R}), \mathbb{F}_2) \cong E^{d-i}(Y(\mathbb{R}), \mathbb{F}_2)^\vee$$
  Esta dualidad es inducida por una elección de isomorfismo en la categoría derivada, la cual es no canónica incluso sobre $\mathbb{F}_2$.

• Factorización y Límites Inferiores:
  La construcción proporciona mapas de comparación canónicos $\gamma^i: H^i(Y(\mathbb{R}), \mathbb{F}_2) \to E^i(Y(\mathbb{R}), \mathbb{F}_2)$ que factorizan el producto cap con la clase fundamental. Además, los estuches (stalks) de $E(Y_R)$ proporcionan límites inferiores para los números de Betti de las fibras en cualquier resolución de singularidades:
  $$\dim H^i(i_y^* E(Y_R)) \leq \dim H^i(F_y(\mathbb{R}), \mathbb{F}_2)$$

• Descripciones Explícitas en Casos Especiales:

  • Resoluciones Pequeñas: Si $Y$ admite una resolución pequeña $f: X \to Y$, entonces $E(Y_R) \cong Rf_* \mathbb{1}_{X(\mathbb{R})}$.
  • Singularidades Aisladas: Para variedades con singularidades aisladas que satisfacen condiciones topológicas específicas sobre el divisor excepcional (por ejemplo, un haz normal trivial), $E(Y_R)$ se identifica con el pushforward del haz constante desde el blowup.
  • Variedades de Schubert: En variedades de banderas reales, se muestra que la categoría de extensiones geométricas reales es equivalente a la categoría de paridad par (even parity sheaves) en la correspondiente variedad de banderas compleja. Esta equivalencia duplica los grados: $E^i(X(w)(\mathbb{R})) \cong H^{2i}(E(X(w)(\mathbb{C})))$.

• Variante Motivica ($E_{num}$):
  El artículo introduce $E_{num}(Y_R)$, una variante definida vía el mapa de clase de ciclo real. Este objeto es local de Zariski (su restricción a un conjunto abierto es la extensión en dicho conjunto abierto) y comparte las propiedades de dualidad y finitud de $E(Y_R)$. El artículo señala que, si bien $E_{num}$ posee mejores propiedades formales, es menos explícito de calcular, y actualmente se desconoce si $E(Y_R)$ y $E_{num}(Y_R)$ difieren en algún caso.

Significancia y Reivindicaciones
El artículo afirma proporcionar una solución a la pregunta de Goresky-MacPherson mediante la construcción de una familia de espacios vectoriales sobre $\mathbb{F}_2$ para variedades reales que se comportan como la cohomología de intersección. La significancia radica en:

1. Definición Extrínseca: A diferencia de la definición intrínseca de la cohomología de intersección compleja (vía límites de perversidad), esta construcción es puramente extrínseca, definida mediante resoluciones. Esto es necesario debido a la falta de una estructura t-perversa en el entorno real y al hecho de que las extensiones geométricas reales no satisfacen límites de perversidad.
2. Conexión con los Parity Sheaves: La equivalencia entre las extensiones geométricas reales en las variedades de Schubert y los parity sheaves pares en las variedades complejas sugiere un vínculo estructural profundo entre la geometría algebraica real y la teoría de representación de grupos complejos.
3. Complemento al Trabajo Existente: El autor posiciona este trabajo como una generalización natural de las extensiones geométricas y los parity sheaves hacia el entorno real, complementando el enfoque geométrico de McCrory-Parusiński y el enfoque equivariante de van Hamel.

El artículo mantiene la modestia respecto a la unicidad del isomorfismo de dualidad (notando que es una elección) y la potencial diferencia entre la construcción primaria y la variante motivica. Establece explícitamente que la construcción depende de la estructura de la variedad, no solo de su topología subyacente, como lo demuestran ejemplos de variedades no isomorfas con conjuntos de puntos reales homeomorfos.