Tropical intersection homology

Resumen Técnico: Homología de Intersección Tropical

Planteamiento del Problema
El artículo aborda la brecha entre la teoría algebraica de la equivalencia numérica de ciclos algebraicos y las teorías de cohomología geométrica en el contexto de la geometría tropical. Clásicamente, para variedades toricas propias complejas suaves $T_\Sigma$, el cociente del grupo de Chow por la equivalencia numérica, $CH^p_{\text{Num}}(T_\Sigma) \otimes \mathbb{Q}$, es isomorfo a la cohomología singular $H^{2p}_{\text{sing}}(T_\Sigma(\mathbb{C}); \mathbb{Q})$. Además, esto es isomorfo a la cohomología tropical $H^{p,p}_{\text{Trop}}(\text{Trop}(T_\Sigma); \mathbb{Q})$, según lo establecido por Itenberg-Katzarkov-Mikhalkin-Zharkov (IKMZ).

Sin embargo, para una variedad propia suave general $Y$ embebida en una variedad torica $T_\Lambda$ (específicamente una subvariedad "tropicalmente compacta"), la cohomología tropical $H^{p,q}_{\text{Trop}}(\text{Trop}(Y); \mathbb{Q})$ no satisface necesariamente la dualidad de Poincaré. En consecuencia, el mapa natural desde la cohomología tropical hacia el grupo de Chow numérico $CH^p_{\text{Num}}(Y) \otimes \mathbb{Q}$ es sobreyectivo pero no necesariamente un isomorfismo. El fallo de la dualidad de Poincaré en el contexto tropical para variedades singulares o no suaves refleja el fallo de la dualidad de Poincaré en la cohomología singular para variedades complejas singulares. El artículo busca introducir un análogo tropical de la homología de intersección para restaurar esta dualidad y proporcionar una descripción geométrica de $CH^p_{\text{Num}}(Y) \otimes \mathbb{Q}$ para pares adecuados $(Y, D)$.

Metodología
El autor emplea un enfoque dual, definiendo la homología de intersección tropical tanto geométricamente (mediante cadenas) como mediante teoría de haces (mediante categorías derivadas), y demostrando su equivalencia.

1. Definición Geométrica:

   • El artículo define cadenas de intersección tropical $IC^{p,q}_{\text{Trop}}$ en una variedad tropical $X$ (regular en el infinito) imponiendo condiciones de "admisibilidad" sobre las cadenas singulares.
   • Estas condiciones son análogas a las de la homología de intersección de Goresky-MacPherson. Restringen la intersección de las cadenas con estratos singulares basándose en la codimensión del estrato y el "peso" de los coeficientes de la cadena.
   • Los coeficientes utilizados se derivan de los nuevos coeficientes tropicales $F^{p,w}$ de Gubler-Jell-Rabinoff, diseñados para satisfacer la dualidad de Poincaré-Verdier cerca de estratos de codimensión 1, una característica ausente en los coeficientes originales de IKMZ.
   • La definición involucra filtraciones en los complejos de cadenas basadas en la geometría local del abanico, utilizando específicamente las dimensiones de los conos $\sigma_S$ y los estratos $S$.

2. Construcción mediante Teoría de Haces:

   • Para establecer la dualidad de Poincaré-Verdier rigurosamente, el artículo construye el complejo de intersección tropical en la categoría derivada de haces.
   • Una innovación técnica clave es la introducción de haces localmente graduados. El autor define una categoría derivada $D_{\text{LG}}$ localizando la categoría derivada de haces graduados con respecto a "cuasi-isomorfismos LG". Esta localización es necesaria porque los funtores de truncación utilizados para definir el complejo de intersección involucran filtraciones que solo están definidas localmente en vecindades abiertas de los estratos.
   • El complejo de intersección tropical $\text{IC}^p_{\text{Trop,sheaf}}$ se construye inductivamente extendiendo el haz de formas tropicales desde la parte suave $X_{\text{sm}}$ hasta el lugar singular utilizando funtores de truncación $\tau_{p, S_k}$ que satisfacen "axiomas" específicos (propiedades de anulación local y de unión) análogos a la construcción de Deligne del complejo de intersección.

3. Comparación y Dualidad:

   • El artículo demuestra que las definiciones geométrica y mediante teoría de haces producen grupos de homología isomorfos.
   • Establece un teorema de dualidad de Poincaré-Verdier para la homología de intersección tropical: un emparejamiento no degenerado entre $I H^{p,q}_{\text{Trop}}(X)$ y $I H^{d-p, d-q}_{\text{Trop}, c}(X)$.
   • El autor utiliza sucesiones espectrales que comparan la homología de intersección tropical con la cohomología tropical y la cohomología singular (mediante el mapa de tropicalización) para analizar la estructura de estos grupos.

Contribuciones y Resultados Clave

• Definición de Homología de Intersección Tropical: El artículo introduce $I H^{p,q}_{\text{Trop}}(X; \mathbb{Q})$ para variedades tropicales $X$ regulares en el infinito. Esta teoría coincide con la cohomología tropical estándar cuando se cumple la dualidad de Poincaré (por ejemplo, para variedades tropicales suaves), pero proporciona una teoría refinada para casos singulares.
• Restauración de la Dualidad de Poincaré: El Teorema 1.2 establece un emparejamiento no degenerado para la homología de intersección tropical, generalizando la dualidad conocida para variedades tropicales suaves al contexto singular.
• Isomorfismo con Equivalencia Numérica: El resultado central (Teorema 1.2, Corolario 7.3) establece que para una variedad propia suave $Y$ tropicalmente compacta en una variedad torica suave $T_\Lambda$ (satisfaciendo condiciones específicas de irreducibilidad y sobreyectividad), existe un 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{si } p=q \\ 0 & \text{si } p \neq q \end{cases}$$
  Bajo este isomorfismo, el emparejamiento en la homología de intersección corresponde a los números de intersección de ciclos algebraicos.
• Independencia de la Estructura Poliedral: El artículo demuestra que la homología de intersección tropical es independiente de la descomposición poliedral específica (subdivisión) de la variedad tropical, siempre que la variedad permanezca regular en el infinito.
• Marco Técnico: El desarrollo de la teoría de haces localmente graduados y las categorías derivadas asociadas proporciona un marco robusto de teoría de haces para manejar los problemas de lo local a lo global inherentes a la homología de intersección tropical.

Significado
El artículo afirma generalizar la descripción geométrica de la equivalencia numérica desde variedades toricas hacia una clase más amplia de variedades propias suaves mediante tropicalización. Al introducir la homología de intersección tropical, el autor cierra la brecha entre la noción algebraica de equivalencia numérica y la noción topológica de cohomología en el contexto tropical, abordando específicamente el fallo de la dualidad de Poincaré en la cohomología tropical estándar para variedades singulares. Esto proporciona un análogo tropical al resultado clásico de que la homología de intersección de una variedad compleja singular recupera los invariantes cohomológicos correctos relacionados con la estructura algebraica subyacente. El trabajo sugiere que la homología de intersección tropical es la teoría cohomológica correcta para capturar las clases de equivalencia numérica de ciclos en variedades que admiten una compactificación tropical.