Tropical cohomology via reductions of tropical varieties

Resumen Técnico: Cohomología Tropical mediante Reducciones de Variedades Tropicales

Enunciado del Problema
El artículo aborda la construcción de sucesiones espectrales tropicales que relacionan la cohomología tropical con la cohomología de variedades algebraicas máximamente degeneradas. Trabajos previos de Itenberg-Katzarkov-Mikhalkin-Zharkov (IKMZ) establecieron un isomorfismo entre la cohomología tropical y los cocientes graduados por peso de la estructura de Hodge mixta límite para variedades tropicales realizables y suaves. Esto fue generalizado posteriormente por Amini-Piquerez a variedades de homología tropical compactas abstractas. Sin embargo, las construcciones existentes de estas sucesiones espectrales tropicales dependen de dobles complejos explícitos derivados de estructuras poliedrales y requieren la dualidad de Poincaré-Verdier tropical. Esta condición de dualidad está estrechamente vinculada a la suposición de "máxima degeneración" en la geometría algebraica compleja y no es necesaria en la sucesión espectral clásica de Steenbrink para estructuras de Hodge mixtas límite. En consecuencia, las construcciones tropicales son técnicamente distintas de sus contrapartes en geometría compleja, y la suposición de una estructura poliedral específica (N-unimodular) solo había sido demostrada previamente para tropicalizaciones en el espacio proyectivo ($\mathbb{P}^n$), lo que limitaba la generalidad de los isomorfismos resultantes.

Metodología
El autor propone una nueva construcción de sucesiones espectrales tropicales que imita la sucesión espectral de peso de la monodromía geométrica de Steenbrink para estructuras de Hodge mixtas límite, en lugar de depender de los dobles complejos explícitos utilizados en la literatura tropical anterior. La innovación metodológica central es la introducción de reducciones de variedades tropicales.

1. Reducciones de Variedades Tropicales: El artículo define una "reducción estrictamente semiestable" ($X_\infty$) para una variedad tropical $X$ regular en el infinito. Esta se construye tomando el cierre del cono $\mathbb{R}_{>0} \cdot (X \times \{1\})$ dentro de una variedad torica tropical asociada a una estructura de abanico refinada. Esta reducción $X_\infty$ sirve como el análogo tropical de la fibra especial en una reducción semiestable de una familia algebraica.
2. Formas Log-Tropicales y Filtraciones: El autor introduce formas holomorfas log-tropicales y una filtración de peso sobre el haz de estas formas. Esto permite la construcción de una sucesión espectral que converge a la cohomología tropical de $X$, donde los términos $E_1$ se expresan en términos de la cohomología tropical de los estratos de la reducción $X_\infty$.
3. Refinamiento de Retículos: Para garantizar la existencia de las estructuras poliedrales necesarias para estas reducciones, el artículo demuestra que para cualquier unión finita de poliedros $\mathbb{Q}$-racionales regulares en el infinito en una variedad torica tropical propia y suave, existe una estructura de complejo poliedral $\mathbb{Q}$-racional $1/k\mathbb{N}$-unimodular para algún entero $k$. Esto generaliza resultados previos limitados a $\mathbb{P}^n$.
4. Conexiones de Gauss-Manin: El artículo construye una "conexión tropical de Gauss-Manin" utilizando formas log-tropicales relativas. Demuestra que el residuo de esta conexión corresponde a la acción de la onda propia (una operación de producto cap) en la cohomología tropical.

Contribuciones y Resultados Clave

• Teorema 1.1 (Construcción de la Sucesión Espectral): El artículo establece una sucesión espectral para una variedad tropical $X$ regular en el infinito con una estructura N-unimodular. Los términos $E_1$ vienen dados por la cohomología tropical de las intersecciones de los componentes de la reducción estrictamente semiestable $X_\infty$. Los diferenciales están compuestos por aplicaciones de pullback y aplicaciones de Gysin (hasta signos). Esta construcción se asemeja al trabajo de Steenbrink y evita la dependencia directa de la dualidad de Poincaré-Verdier tropical en la fase de construcción.
• Proposición 1.3 / Teorema 2.7 (Existencia de Estructuras): El autor demuestra la existencia de estructuras de complejos poliedrales $1/k\mathbb{N}$-unimodulares para variedades tropicales regulares en el infinito en variedades toricas tropicales propias y suaves. Esto justifica las suposiciones requeridas para la construcción de la sucesión espectral en un contexto más amplio que solo el espacio proyectivo.
• Teorema 2.13 (Isomorfismo Generalizado): Como consecuencia de la nueva construcción y la existencia de estructuras unimodulares, el isomorfismo entre la cohomología tropical y los cocientes graduados por peso de la estructura de Hodge mixta límite (conocido previamente para $\mathbb{P}^n$) se generaliza a familias de variedades algebraicas en cualquier variedad torica propia y suave.
• Teorema 1.4 / Teorema 4.13 (Onda Propia y Gauss-Manin): El artículo muestra que el dual de la acción de la onda propia en la cohomología tropical coincide con el residuo de la conexión tropical de Gauss-Manin. Esto proporciona un análogo tropical al resultado en geometría compleja donde la acción de monodromía está representada por la conexión de Gauss-Manin.

Significado
El artículo afirma proporcionar una "construcción más simple" de sucesiones espectrales tropicales que se alinea más estrechamente con la construcción clásica de Steenbrink en geometría algebraica compleja. Al introducir el concepto de reducciones tropicales, el autor cierra la brecha técnica entre las sucesiones espectrales tropicales y complejas, eliminando la necesidad de las suposiciones específicas de dualidad "máximamente degeneradas" en la fase de construcción. Además, al demostrar la existencia de estructuras unimodulares en variedades toricas propias y suaves generales, el artículo extiende la aplicabilidad del isomorfismo IKMZ más allá del espacio proyectivo, validando el uso de la cohomología tropical como un invariante robusto para una clase más amplia de familias degenerantes. La identificación de la acción de la onda propia con el residuo de la conexión tropical de Gauss-Manin unifica aún más la comprensión de la monodromía en el contexto tropical con su contraparte compleja.