Dimensionality of tropical Chow groups

Resumo Técnico: Dimensionalidade dos Grupos de Chow Tropicais

Enunciado do Problema
O artigo investiga a dimensionalidade do grupo de Chow tropical de pontos, denotado por $CH_0(B)$, em uma variedade afim integral compacta $B$. Especificamente, aborda se a existência de formas diferenciais tropicais não nulas de certos graus implica que o subgrupo de ciclos de grau zero, $CH_0(B)_{hom}$, é de dimensão infinita. Esta investigação serve como um análogo tropical para resultados clássicos em geometria algébrica de Mumford e Roitman, que estabelecem que a existência de $p$-formas holomorfas não nulas ($p \ge 2$) em variedades projetivas complexas suaves força o grupo de Chow de pontos a ser de dimensão infinita. O artigo busca determinar se uma correspondência semelhante ocorre no cenário tropical e, se sim, sob quais condições.

Metodologia
O autor emprega uma abordagem geométrica fundamentada na rigidez da geometria tropical, contrastando com os métodos analíticos usados na geometria algébrica clássica. A metodologia central envolve:

1. Definições e Relações de Equivalência: O artigo define o grupo de Chow tropical $CH_0(B)$ como o quociente do grupo abeliano livre sobre os pontos de $B$ pelo subgrupo gerado por equivalências lineares tropicais. Estas equivalências são induzidas por curvas tropicais em $B \times \mathbb{R}$ que são "horizontais no infinito" (assintóticas a pontos em $B \times \{\pm \infty\}$).
2. Espaços de Moduli de Curvas Tropicais: O autor analisa o espaço de moduli $M_\Gamma(B \times \mathbb{R})$ de curvas tropicais parametrizadas com um tipo topológico fixo $\Gamma$. É estabelecido que esses espaços de moduli possuem a estrutura de variedades afins integrais.
3. Teoria de Feixes e Deformações: O estudo utiliza o feixe de deformações de curvas tropicais ($\mathcal{D}$) e o feixe de 1-formas localmente constantes ($T^*$). Uma ferramenta técnica fundamental é um homomorfismo de feixes $\Phi_\omega$ construído a partir de uma $p$-forma tropical, que mapeia potências exteriores do feixe de deformação para o feixe de 1-formas.
4. Argumentos de Isotropia: A prova da dimensionalidade infinita baseia-se em mostrar que a imagem dos mapas de avaliação dos espaços de moduli de curvas tropicais para $B^{2n}$ são "isotrópicas" em relação a uma $p$-forma específica construída no espaço produto. Ao aplicar um lema de Roitman referente a subespaços isotrópicos em espaços vetoriais graduados, o autor demonstra que essas imagens não podem cobrir todo o espaço alvo se $p \ge 2$.
5. Construção de Contraexemplo: Para abordar o caso das 1-formas, o artigo constrói um contraexemplo específico usando uma garrafa de Klein tropical (uma superfície afim integral não orientável). O autor calcula explicitamente a variedade de Albanese tropical e o grupo de Chow para esta variedade.

Principais Contribuições e Resultados

• Teorema A (Dimensionalidade Infinita): O principal resultado afirma que, se uma variedade afim integral compacta $B$ admite uma $p$-forma tropical não nula para algum $p \ge 2$, então o grupo $CH_0(B)_{hom}$ é de dimensão infinita. Isso é provado mostrando que os mapas $B^n \times B^n \to CH_0(B)_{hom}$ não são surjetivos para qualquer $n$, utilizando a isotropia dos espaços de moduli de curvas tropicais em relação à $p$-forma.
• Teorema B (Dimensionalidade Finita para 1-formas): O artigo demonstra que a existência de 1-formas tropicais não nulas não garante dimensionalidade infinita. Ao analisar uma família de garrafas de Klein tropicais (especificamente Tipo I), o autor prova que o mapa de Albanese tropical $alb: CH_0(K)_{hom} \to Alb(K)$ é um isomorfismo. Como a variedade de Albanese $Alb(K)$ é de dimensão finita (isomórfica a $S^1$), $CH_0(K)_{hom}$ também é de dimensão finita.
• Conexão com a Geometria Clássica: O artigo estabelece uma ponte entre resultados tropicais e clássicos. Argumenta-se que, se uma variedade projetiva complexa $Y$ admite uma tropicalização $B$, e se curvas analíticas tropicalizam para curvas tropicais, então a dimensionalidade infinita de $CH_0(B)_{hom}$ implica a dimensionalidade infinita de $CH_0(Y)_{hom}$. Isso sugere que o Teorema A pode recuperar os teoremas de Mumford e Roitman sob a suposição de que as curvas analíticas tropicalizam.
• Conexões Simpléticas: O artigo observa uma conexão com grupos de cobordismo lagrangiano em geometria simplética. Para a garrafa de Klein tropical, mostra-se que o grupo de Chow tropical é isomórfico a um subgrupo específico do grupo de cobordismo lagrangiano gerado por fibras, reforçando os paralelos estruturais entre invariantes tropicais e simpléticos.

Significância e Alegações
O artigo alega fornecer uma "prova puramente tropical" de um resultado análogo ao teorema de Mumford, distinta dos métodos usados em geometria simplética ou análise complexa clássica. O autor enfatiza que, embora a ideia subjacente (usar formas diferenciais para limitar dimensões) seja compartilhada com trabalhos anteriores (Mumford, Roitman, Sheridan-Smith), a execução técnica depende da rigidez das curvas tropicais e de seus espaços de moduli, em vez da flexibilidade de cobordismos lagrangianos ou do estudo de espaços singulares em geometria complexa.

Os resultados esclarecem o papel das formas tropicais:

• $p$-formas tropicais com $p \ge 2$ atuam como obstruções à dimensionalidade finita do grupo de Chow, espelhando o caso clássico.
• 1-formas tropicais, embora relacionadas à não-discreticidade do grupo de Chow (via o mapa de Albanese), são insuficientes para forçar a dimensionalidade infinita em dimensões maiores que um, como evidenciado pela garrafa de Klein tropical.

O artigo conclui que o cenário tropical oferece um arcabouço robusto para compreender a dimensionalidade do grupo de Chow, recuperando resultados clássicos sob suposições de tropicalização, ao mesmo tempo em que revela novos fenômenos específicos do mundo tropical, como o comportamento de variedades não orientáveis.