Topology and Euler characteristics of tropical varieties

Resumo Técnico: Topologia e Características de Euler de Variedades Tropicais

Enunciado do Problema
O artigo aborda as propriedades topológicas de subvariedades dentro de variedades abelianas tropicais, focando especificamente na característica de Euler. Os autores buscam um análogo tropical de um teorema clássico de Green e Lazarsfeld ([GL87]), que afirma que para uma subvariedade suave $X$ de uma variedade abeliana complexa, a característica de Euler com sinal satisfaz $(-1)^{\dim X}\chi(X, \mathcal{O}_X) \geq 0$. No cenário tropical, onde $\chi(X)$ está relacionado aos números de Hodge da homologia tropical via $\chi(X) = \sum (-1)^q h^{0,q}(X)$, os autores investigam se uma desigualdade semelhante, $(-1)^d \chi(X) \geq 0$, é válida para subvariedades tropicais de dimensão $d$.

Metodologia
Os autores empregam uma combinação de geometria tropical, geometria torica, teoria de Hodge mista e teoria de Morse.

1. H-Regularidade: O cerne da análise baseia-se na noção de variedades tropicais H-regulares. Um leque (fan) tropical é H-regular se surge como a tropicalização de uma subvariedade H-regular $U \subset (\mathbb{C}^*)^n$. Uma variedade algébrica $U$ é H-regular se admite uma compactificação torica projetiva suave onde o fechamento intersecta cada órbita do toro de forma transversa e a interseção com qualquer órbita é vazia ou conexa.
2. Teorema de Vanishing Local: A estratégia de prova é motivada pela abordagem em [LMW21] e utiliza a teoria de Morse. O principal aporte técnico é um teorema de vanishing local (Teorema 2.8) para leques tropicais H-regulares. Este teorema estabelece que, para um leque tropical H-regular de dimensão $d$ e uma função linear $\ell$ não nula nos raios, a homologia reduzida do elo (link) da parte não positiva $T_{\leq 0}$ desaparece em todos os graus exceto $d-1$.
3. Ferramentas de Geometria Algébrica: Para provar o teorema de vanishing local, os autores generalizam argumentos de [Hac08] e [Pay13]. Eles constroem compactificações parciais da variedade algébrica $U$ usando modificações toricas (especificamente subdivisões de estrela iteradas). Em seguida, utilizam a teoria de módulos de Hodge mistos (teoria de Saito) e o teorema de decomposição para analisar a filtragem de peso da cohomologia dessas compactificações. Especificamente, eles provam um teorema de vanishing para os pesos superiores da cohomologia para variedades que admitem um mapa biracional próprio para uma variedade afim (Proposição 4.1).
4. Complexos Duais e Elos: Os autores relacionam a topologia do elo tropical $L(T_{\leq 0})$ ao complexo dual do divisor de fronteira na compactificação. Usando a sequência de Gysin e propriedades de variedades racionalmente suaves, eles mostram que a homologia deste complexo dual desaparece em graus outros que $d-1$ (Corolário 5.2).
5. Argumento de Teoria de Morse: Finalmente, a desigualdade global da característica de Euler é deduzida aplicando a teoria de Morse com valores em círculos à subvariedade tropical. O vanishing local do elo da homologia garante que a contribuição dos pontos críticos (vértices) para a característica de Euler tenha o sinal correto.

Principais Contribuições e Resultados

• Teorema Principal (Teorema 1.1): Os autores provam que para qualquer subvariedade H-regular de dimensão $d$ de uma variedade abeliana tropical, a característica de Euler com sinal é não negativa: $(-1)^d \chi(X) \geq 0$. Isso serve como o análogo tropical do teorema de Green–Lazarsfeld.
• Teorema de Vanishing Local (Teorema 2.8): Um resultado técnico significativo estabelecendo que a homologia reduzida do elo da parte não positiva de um leque tropical H-regular desaparece em todos os graus $k \neq d-1$.
• Teorema do Tipo Lefschetz (Teorema 1.4): O artigo deriva um resultado do tipo Lefschetz para variedades tropicais H-regulares afins, mostrando que a homologia relativa $H_k(X, X \cap H; \mathbb{Q})$ desaparece para $k \neq d$, onde $H$ é um hiperplano afim geral.
• Aplicações a Matroides (Corolário 1.3): Os resultados são aplicados a leques de Bergman e leques de Bergman aumentados de matroides realizáveis sobre $\mathbb{C}$. Isso fornece uma nova prova de um resultado relacionado a [AB21] e responde a uma questão levantada por Mikhalkin e Ziegler sobre o tipo de homotopia de elos para matroides realizáveis.
• Necessidade de H-Regularidade: Os autores demonstram que a suposição de H-regularidade é necessária. No Exemplo 2.11, eles constroem um ciclo tropical de dimensão 2 em uma variedade abeliana tropical (derivada de uma curva de gênero 2) onde a característica de Euler com sinal é negativa ($\chi(X) = -4$).
• Contraexemplo ao Vanishing Geral: Na Seção 8, os autores constroem um leque tropical de dimensão 3 (a tropicalização de uma projeção específica de um espaço linear) cujo elo não é homotópico a um bouquet de 2-esferas. Isso aborda uma questão de [Hac08] ao fornecer um exemplo onde a propriedade de vanishing falha para variedades não-H-regulares.

Significância e Alegações
O artigo afirma estabelecer uma restrição topológica rigorosa sobre uma classe específica de variedades tropicais (H-regulares), espelhando resultados profundos da geometria algébrica complexa. A significância reside em:

1. Ponte entre Geometria Complexa e Tropical: Ele traduz com sucesso uma desigualdade da geometria complexa (Green–Lazarsfeld) para o cenário tropical, desde que a variedade tropical satisfaça a condição de H-regularidade.
2. Esclarecimento do Escopo dos Resultados de Hacking: O artigo esclarece que as propriedades de vanishing homológico observadas por Hacking para variedades "Schön" requerem a condição mais forte de H-regularidade para que se sustentem na generalidade apresentada, e constrói explicitamente exemplos onde essas propriedades falham sem ela.
3. Avanço Metodológico: O uso de módulos de Hodge mistos e modificações toricas para estudar elos tropicais oferece um novo conjunto de ferramentas para analisar a topologia de variedades tropicais, indo além de argumentos puramente combinatórios.

Os autores mantêm a modéstia quanto à generalidade de seus resultados, observando que a desigualdade falha para subvariedades tropicais gerais e que estender esses resultados para matroides arbitrários ou variedades com propriedades de conectividade mais fracas permanece uma questão aberta. Eles também propõem direções futuras, como o uso de teoria de Hodge combinatória para matroides arbitrários e a exploração de transformações de Fourier–Mukai tropicais.