Real algebraic varieties and their intersection cohomology

Resumo Técnico: Variedades Algébricas Reais e sua Cohomologia de Interseção

Enunciado do Problema
O artigo aborda uma questão fundamental levantada por Goresky e MacPherson sobre a existência de grupos de cohomologia de interseção para variedades algébricas reais. No cenário complexo, para uma variedade singular $Y$, os grupos de cohomologia de interseção $IH^*(Y(\mathbb{C}), k)$ fornecem uma teoria de dualidade de Poincaré que fatora o produto cap com a classe fundamental. Eles surgem intrinsecamente como o único feixe perverso auto-dual de Verdier que estende o feixe constante no locus suave, e extrinsecamente como um somando direto do pushforward do feixe constante sob qualquer resolução de singularidades (via Teorema da Decomposição).

Para variedades reais $Y$, o produto cap com a classe fundamental em $H^*(Y(\mathbb{R}), \mathbb{F}_2)$ não induz, em geral, um isomorfismo, e não existia uma família canônica de grupos de "cohomologia de interseção" que satisfizesse propriedades análogas de dualidade e fatoração. Construções anteriores por McCrory-Parusiński e van Hamel ofereceram soluções, mas diferiam significativamente em suas abordagens geométricas ou equivariantes, por vezes carecendo de propriedades de finitude ou de emparelhamento perfeito. Este artigo busca construir um análogo real que se comporte como cohomologia de interseção, utilizando especificamente coeficientes $\mathbb{F}_2$.

Metodologia
O autor adota uma abordagem extrínseca, construindo o objeto desejado como um somando direto específico dentro do pushforward derivado do feixe constante ao longo de uma resolução de singularidades. A metodologia baseia-se no formalismo de feixes construtíveis em variedades algébricas reais com coeficientes $\mathbb{F}_2$.

Passos técnicos principais incluem:

1. Decomposição Krull-Schmidt: O artigo utiliza o fato de que a categoria derivada de feixes construtíveis $D^b_c(Y(\mathbb{R}), \mathbb{F}_2)$ é Krull-Schmidt. Isso garante que o pushforward $Rf_* \mathbb{1}_{X(\mathbb{R})}$ para qualquer resolução $f: X \to Y$ se decomponha unicamente em uma soma direta finita de objetos indecomponíveis.
2. Splitting de Mapas Biracionais: Um lema crucial estabelece que, para um mapa biracional próprio $g: W \to X$ entre variedades reais suaves, o mapa canônico $\mathbb{1}_{X(\mathbb{R})} \to Rg_* \mathbb{1}_{W(\mathbb{R})}$ é um monomorfismo de divisão (split monomorphism). Este splitting é induzido pela compatibilidade das classes fundamentais sob pushforward.
3. Independência de Resolução: Ao mostrar que quaisquer duas resoluções são dominadas por uma terceira, e utilizando a propriedade de splitting, o autor prova que o somando "denso" do pushforward (a parte que estende o feixe constante no locus suave) é independente da escolha da resolução.
4. Variante Motivica: Uma construção secundária, $E_{num}(Y_R)$, é definida usando a imagem do mapa de classe de ciclo real de grupos de Chow para homologia de Borel-Moore. Esta variante é projetada para ser Zariski-local, uma propriedade que não é imediatamente óbvia para a construção primária.

Principais Contribuições e Resultados

• Construção da Extensão Geométrica Real ($E(Y_R)$):
  O artigo define um complexo de feixes $E(Y_R)$ em $Y(\mathbb{R})$, chamado de extensão geométrica real. Ele é caracterizado como o único somando direto de $Rf_* \mathbb{1}_{X(\mathbb{R})}$ (para qualquer resolução $f$) que estende o feixe constante no locus suave $Y^{sm}(\mathbb{R})$ e não possui um somando direto próprio com esta propriedade.

• Dualidade de Poincaré e Auto-dualidade:
  O complexo $E(Y_R)$ é mostrado como sendo Verdier auto-dual a um deslocamento (shift) pelo dimensão $d$ da variedade ($DE(Y_R) \cong E(Y_R)[d]$). Consequentemente, os grupos de hipercohomologia $E^i(Y(\mathbb{R}), \mathbb{F}_2)$ satisfazem um isomorfismo de dualidade de Poincaré:
  $$E^i(Y(\mathbb{R}), \mathbb{F}_2) \cong E^{d-i}(Y(\mathbb{R}), \mathbb{F}_2)^\vee$$
  Esta dualidade é induzida por uma escolha de isomorfismo na categoria derivada, que é não-canônica mesmo sobre $\mathbb{F}_2$.

• Fatoração e Limites Inferiores:
  A construção fornece mapas de comparação canônicos $\gamma^i: H^i(Y(\mathbb{R}), \mathbb{F}_2) \to E^i(Y(\mathbb{R}), \mathbb{F}_2)$ que fatoram o produto cap com a classe fundamental. Além disso, os estalagens (stalks) de $E(Y_R)$ fornecem limites inferiores para os números de Betti das fibras em qualquer resolução de singularidades:
  $$\dim H^i(i_y^* E(Y_R)) \leq \dim H^i(F_y(\mathbb{R}), \mathbb{F}_2)$$

• Descrições Explícitas em Casos Especiais:

  • Resoluções Pequenas (Small Resolutions): Se $Y$ admite uma resolução pequena $f: X \to Y$, então $E(Y_R) \cong Rf_* \mathbb{1}_{X(\mathbb{R})}$.
  • Singularidades Isoladas: Para variedades com singularidades isoladas que satisfazem condições topológicas específicas no divisor excepcional (por exemplo, fibrado normal trivial), $E(Y_R)$ é identificado com o pushforward do feixe constante a partir do blowup.
  • Variedades de Schubert: Em variedades de flag reais, a categoria de extensões geométricas reais é mostrada como sendo equivalente à categoria de feixes de paridade par (even parity sheaves) na correspondente variedade de flag complexa. Esta equivalência dobra os graus: $E^i(X(w)(\mathbb{R})) \cong H^{2i}(E(X(w)(\mathbb{C})))$.

• Variante Motivica ($E_{num}$):
  O artigo introduz $E_{num}(Y_R)$, uma variante definida via o mapa de classe de ciclo real. Este objeto é Zariski-local (sua restrição a um aberto é a extensão sobre esse aberto) e compartilha as propriedades de dualidade e finitude de $E(Y_R)$. O artigo nota que, embora $E_{num}$ possua melhores propriedades formais, é menos explícito para computar, e atualmente não se sabe se $E(Y_R)$ e $E_{num}(Y_R)$ diferem em algum caso.

Significância e Alegações
O artigo afirma fornecer uma solução para a questão de Goresky-MacPherson ao construir uma família de espaços vetoriais $\mathbb{F}_2$ para variedades reais que se comportam como cohomologia de interseção. A significância reside em:

1. Definição Extrínseca: Diferente da definição intrínseca da cohomologia de interseção complexa (via limites de perversidade), esta construção é puramente extrínseca, definida via resoluções. Isso é necessário devido à ausência de uma estrutura t-perversa no cenário real e ao fato de que as extensões geométricas reais não satisfazem limites de perversidade.
2. Conexão com Feixes de Paridade: A equivalência entre extensões geométricas reais em variedades de Schubert e feixes de paridade par em variedades complexas sugere um elo estrutural profundo entre a geometria algébrica real e a teoria de representação de grupos complexos.
3. Complemento ao Trabalho Existente: O autor posiciona este trabalho como uma generalização natural das extensões geométricas e dos feixes de paridade para o cenário real, complementando a abordagem geométrica de McCrory-Parusiński e a abordagem equivariante de van Hamel.

O artigo permanece modesto quanto à unicidade do isomorfismo de dualidade (notando que é uma escolha) e à potencial diferença entre a construção primária e a variante motivica. Ele afirma explicitamente que a construção depende da estrutura da variedade, não apenas de sua topologia subjacente, como demonstrado por exemplos de variedades não isomorfas com conjuntos de pontos reais homeomorfos.