Dimensionality of tropical Chow groups

Resumen Técnico: Dimensionalidad de los Grupos de Chow Tropicales

Planteamiento del Problema
El artículo investiga la dimensionalidad del grupo de Chow de puntos tropical, denotado como $CH_0(B)$, en una variedad afín integral compacta $B$. Específicamente, aborda si la existencia de formas diferenciales tropicales no nulas de ciertos grados implica que el subgrupo de ciclos de grado cero, $CH_0(B)_{hom}$, es de dimensión infinita. Esta indagación sirve como un análogo tropical de los resultados clásicos en geometría algebraica de Mumford y Roitman, los cuales establecen que la existencia de formas holomorfas $p$ no nulas ($p \ge 2$) en variedades proyectivas complejas suaves fuerza al grupo de Chow de puntos a ser de dimensión infinita. El artículo busca determinar si una correspondencia similar se mantiene en el entorno tropical y, de ser así, bajo qué condiciones.

Metodología
El autor emplea un enfoque geométrico basado en la rigidez de la geometría tropical, contrastando con los métodos analíticos utilizados en la geometría algebraica clásica. La metodología central involucra:

1. Definiciones y Relaciones de Equivalencia: El artículo define el grupo de Chow tropical $CH_0(B)$ como el cociente del grupo abeliano libre sobre los puntos de $B$ por el subgrupo generado por las equivalencias lineales tropicales. Estas equivalencias son inducidas por curvas tropicales en $B \times \mathbb{R}$ que son "horizontales en el infinito" (asintóticas a puntos en $B \times \{\pm \infty\}$).
2. Espacios Moduli de Curvas Tropicales: El autor analiza el espacio moduli $M_\Gamma(B \times \mathbb{R})$ de curvas tropicales parametrizadas con un tipo topológico fijo $\Gamma$. Se establece que estos espacios moduli poseen la estructura de variedades afines integrales.
3. Teoría de Haces y Deformaciones: El estudio utiliza el haz de deformaciones de curvas tropicales ($\mathcal{D}$) y el haz de 1-formas localmente constantes ($T^*$). Una herramienta técnica clave es un homomorfismo de haces $\Phi_\omega$ construido a partir de una $p$-forma tropical $\omega$, que mapea las potencias exteriores del haz de deformación al haz de 1-formas.
4. Argumentos de Isotropía: La prueba de la dimensión infinita se basa en demostrar que la imagen de los mapas de evaluación desde los espacios moduli de curvas tropicales hacia $B^{2n}$ es "isotrópica" con respecto a una $p$-forma específica construida en el espacio producto. Al aplicar un lema de Roitman relativo a subespacios isotrópicos en espacios vectoriales graduados, el autor demuestra que estas imágenes no pueden cubrir todo el espacio objetivo si $p \ge 2$.
5. Construcción de Contraejemplos: Para abordar el caso de las 1-formas, el artículo construye un contraejemplo específico utilizando una botella de Klein tropical (una superficie afín integral no orientable). Calcula explícitamente la variedad de Albanese tropical y el grupo de Chow para esta variedad.

Contribuciones Clave y Resultados

• Teorema A (Dimensión Infinita): El resultado principal establece que si una variedad afín integral compacta $B$ admite una $p$-forma tropical no nula para algún $p \ge 2$, entonces el grupo $CH_0(B)_{hom}$ es de dimensión infinita. Esto se prueba mostrando que los mapas $B^n \times B^n \to CH_0(B)_{hom}$ no son sobreyectivos para cualquier $n$, utilizando la isotropía de los espacios moduli de curvas tropicales respecto a la $p$-forma.
• Teorema B (Dimensión Finita para 1-formas): El artículo demuestra que la existencia de 1-formas tropicales no nulas no garantiza la dimensión infinita. Al analizar una familia de botellas de Klein tropicales (específicamente Tipo I), el autor prueba que el mapa de Albanese tropical $alb: CH_0(K)_{hom} \to Alb(K)$ es un isomorfismo. Dado que la variedad de Albanese $Alb(K)$ es de dimensión finita (isomorfa a $S^1$), $CH_0(K)_{hom}$ también es de dimensión finita.
• Conexión con la Geometría Clásica: El artículo establece un puente entre los resultados tropicales y clásicos. Argumenta que si una variedad proyectiva compleja $Y$ admite una tropicalización $B$, y si las curvas analíticas se tropicalizan a curvas tropicales, entonces la dimensión infinita de $CH_0(B)_{hom}$ implica la dimensión infinita de $CH_0(Y)_{hom}$. Esto sugiere que el Teorema A puede recuperar los teoremas de Mumford y Roitman bajo la suposición de que las curvas analíticas se tropicalizan.
• Conexiones Simplécticas: El artículo señala una conexión con los grupos de cobordismo lagrangiano en geometría simpléctica. Para la botella de Klein tropical, se muestra que el grupo de Chow tropical es isomorfo a un subgrupo específico del grupo de cobordismo lagrangiano generado por fibras, reforzando los paralelismos estructurales entre los invariantes tropicales y simplécticos.

Significado y Reivindicaciones
El artículo afirma proporcionar una "prueba puramente tropical" de un resultado análogo al teorema de Mumford, distinta de los métodos utilizados en la geometría simpléctica o el análisis complejo clásico. El autor enfatiza que, si bien la idea subyacente (usar formas diferenciales para acotar dimensiones) es compartida con trabajos previos (Mumford, Roitman, Sheridan-Smith), la ejecución técnica depende de la rigidez de las curvas tropicales y sus espacios moduli, en lugar de la flexibilidad de los cobordismos lagrangianos o el estudio de espacios singulares en la geometría compleja.

Los resultados clarifican el papel de las formas tropicales:

• Las $p$-formas tropicales con $p \ge 2$ actúan como obstrucciones a la dimensión finita del grupo de Chow, reflejando el caso clásico.
• Las 1-formas tropicales, aunque relacionadas con la no discreción del grupo de Chow (vía el mapa de Albanese), son insuficientes para forzar la dimensión infinita en dimensiones mayores que uno, como lo evidencia la botella de Klein tropical.

El artículo concluye que el entorno tropical ofrece un marco robusto para comprender la dimensionalidad de los grupos de Chow, recuperando los resultados clásicos bajo suposiciones de tropicalización, al tiempo que revela nuevos fenómenos específicos del mundo tropical, tales como el comportamiento de las variedades no orientables.