Tropical intersection homology

Resumo Técnico: Homologia de Interseção Tropical

Enunciado do Problema
O artigo aborda a lacuna entre a teoria algébrica da equivalência numérica de ciclos algébricos e as teorias de cohomologia geométrica no contexto da geometria tropical. Classicamente, para variedades toricas complexas próprias e suaves $T_\Sigma$, o quociente do grupo de Chow pela equivalência numérica, $CH^p_{\text{Num}}(T_\Sigma) \otimes \mathbb{Q}$, é isomorfo à cohomologia singular $H^{2p}_{\text{sing}}(T_\Sigma(\mathbb{C}); \mathbb{Q})$. Além disso, isso é isomorfo à cohomologia tropical $H^{p,p}_{\text{Trop}}(\text{Trop}(T_\Sigma); \mathbb{Q})$, conforme estabelecido por Itenberg-Katzarkov-Mikhalkin-Zharkov (IKMZ).

No entanto, para uma variedade própria e suave geral $Y$ embutida em uma variedade torica $T_\Lambda$ (especificamente uma subvariedade "tropicamente compacta"), a cohomologia tropical $H^{p,q}_{\text{Trop}}(\text{Trop}(Y); \mathbb{Q})$ não satisfaz necessariamente a dualidade de Poincaré. Consequentemente, o mapa natural da cohomologia tropical para o grupo de Chow numérico $CH^p_{\text{Num}}(Y) \otimes \mathbb{Q}$ é sobrejetivo, mas não necessariamente um isomorfismo. A falha da dualidade de Poincaré no cenário tropical para variedades singulares ou não suaves espelha a falha da dualidade de Poincaré na cohomologia singular para variedades complexas singulares. O artigo busca introduzir um análogo tropical da homologia de interseção para restaurar essa dualidade e fornecer uma descrição geométrica de $CH^p_{\text{Num}}(Y) \otimes \mathbb{Q}$ para pares adequados $(Y, D)$.

Metodologia
O autor emprega uma abordagem dual, definindo a homologia de interseção tropical tanto geometricamente (via cadeias) quanto teoricamente (via categorias derivadas), e provando sua equivalência.

1. Definição Geométrica:

   • O artigo define cadeias de interseção tropical $IC^{p,q}_{\text{Trop}}$ em uma variedade tropical $X$ (regular no infinito) impondo condições de "permissibilidade" sobre cadeias singulares.
   • Essas condições são análogas às da homologia de interseção de Goresky-MacPherson. Elas restringem a interseção de cadeias com estratos singulares com base na codimensão do estrato e no "peso" dos coeficientes da cadeia.
   • Os coeficientes utilizados são derivados dos novos coeficientes tropicais de Gubler-Jell-Rabinoff $F^{p,w}$, que são projetados para satisfazer a dualidade de Poincaré-Verdier perto de estratos de codimensão 1, uma característica ausente nos coeficientes originais de IKMZ.
   • A definição envolve filtrações nos complexos de cadeias baseadas na geometria local do leque, utilizando especificamente as dimensões dos cones $\sigma_S$ e dos estratos $S$.

2. Construção Teórica de Feixes:

   • Para estabelecer a dualidade de Poincaré-Verdier rigorosamente, o artigo constrói o complexo de interseção tropical na categoria derivada de feixes.
   • Uma inovação técnica chave é a introdução de feixes localmente graduados. O autor define uma categoria derivada $D_{\text{LG}}$ localizando a categoria derivada de feixes graduados em relação a "quasi-isomorfismos LG". Essa localização é necessária porque os funtores de truncamento usados para definir o complexo de interseção envolvem filtrações que são definidas apenas localmente em vizinhanças abertas de estratos.
   • O complexo de interseção tropical $\text{IC}^p_{\text{Trop,sheaf}}$ é construído indutivamente estendendo o feixe de formas tropicais da parte suave $X_{\text{sm}}$ para o lugar singular usando funtores de truncamento $\tau_{p, S_k}$ que satisfazem "axiomas" específicos (propriedades de anulação local e de ligação) análogos à construção de Deligne do complexo de interseção.

3. Comparação e Dualidade:

   • O artigo prova que as definições geométrica e teórica de feixes produzem grupos de homologia isomorfos.
   • Estabelece um teorema de dualidade de Poincaré-Verdier para a homologia de interseção tropical: um emparelhamento não degenerado entre $I H^{p,q}_{\text{Trop}}(X)$ e $I H^{d-p, d-q}_{\text{Trop}, c}(X)$.
   • O autor utiliza sequências espectrais que comparam a homologia de interseção tropical à cohomologia tropical e à cohomologia singular (via o mapa de tropicalização) para analisar a estrutura desses grupos.

Contribuições e Resultados Principais

• Definição de Homologia de Interseção Tropical: O artigo introduz $I H^{p,q}_{\text{Trop}}(X; \mathbb{Q})$ para variedades tropicais $X$ regulares no infinito. Essa teoria coincide com a cohomologia tropical padrão quando a dualidade de Poincaré vale (por exemplo, para variedades tropicais suaves), mas fornece uma teoria refinada para casos singulares.
• Restauração da Dualidade de Poincaré: O Teorema 1.2 estabelece um emparelhamento não degenerado para a homologia de interseção tropical, generalizando a dualidade conhecida para variedades tropicais suaves para o cenário singular.
• Isomorfismo com Equivalência Numérica: O resultado central (Teorema 1.2, Corolário 7.3) afirma que, para uma variedade própria e suave $Y$ tropicamente compacta em uma variedade torica suave $T_\Lambda$ (satisfazendo condições específicas de irredutibilidade e sobrejetividade), há um isomorfismo natural:
  $$I H^{p,q}_{\text{Trop}}(\text{Trop}(Y); \mathbb{Q}) \cong \begin{cases} CH^p_{\text{Num}}(Y) \otimes \mathbb{Q} & \text{se } p=q \\ 0 & \text{se } p \neq q \end{cases}$$
  Sob esse isomorfismo, o emparelhamento na homologia de interseção corresponde aos números de interseção de ciclos algébricos.
• Independência da Estrutura Poliedral: O artigo prova que a homologia de interseção tropical é independente da decomposição poliedral específica (subdivisão) da variedade tropical, desde que a variedade permaneça regular no infinito.
• Estrutura Técnica: O desenvolvimento da teoria de feixes localmente graduados e das categorias derivadas associadas fornece um quadro teórico de feixes robusto para lidar com as questões do local para o global inerentes à homologia de interseção tropical.

Significado
O artigo afirma generalizar a descrição geométrica da equivalência numérica de variedades toricas para uma classe mais ampla de variedades próprias e suaves via tropicalização. Ao introduzir a homologia de interseção tropical, o autor preenche a lacuna entre a noção algébrica de equivalência numérica e a noção topológica de cohomologia no cenário tropical, abordando especificamente a falha da dualidade de Poincaré na cohomologia tropical padrão para variedades singulares. Isso fornece um análogo tropical ao resultado clássico de que a homologia de interseção de uma variedade complexa singular recupera os invariantes cohomológicos corretos relacionados à estrutura algébrica subjacente. O trabalho sugere que a homologia de interseção tropical é a teoria cohomológica correta para capturar as classes de equivalência numérica de ciclos em variedades que admitem uma compactificação tropical.