Topology and Euler characteristics of tropical varieties

Sintesi Tecnica: Topologia e Caratteristiche di Eulero di Varietà Tropicali

Enunciato del Problema
Il saggio affronta le proprietà topologiche delle sottovarietà all'interno di varietà asseliche tropicali, concentrandosi specificamente sulla caratteristica di Eulero. Gli autori cercano un analogo tropicale di un classico teorema di Green e Lazarsfeld ([GL87]), il quale afferma che per una sottovarietà liscia $X$ di una varietà asselica complessa, la caratteristica di Eulero con segno soddisfa $(-1)^{\dim X}\chi(X, \mathcal{O}_X) \geq 0$. Nel contesto tropicale, dove $\chi(X)$ è correlata ai numeri di Hodge dell'omologia tropicale tramite $\chi(X) = \sum (-1)^q h^{0,q}(X)$, gli autori indagano se una simile disuguaglianza, $(-1)^d \chi(X) \geq 0$, sia valida per le sottovarietà tropicali di dimensione $d$.

Metodologia
Gli autori impiegano una combinazione di geometria tropicale, geometria torica, teoria di Hodge mista e teoria di Morse.

1. H-Regolarità: Il nucleo dell'analisi si basa sulla nozione di varietà tropicali H-regolari. Un fan tropicale è H-regolare se deriva dalla tropicalizzazione di una sottovarietà H-regolare $U \subset (\mathbb{C}^*)^n$. Una varietà algebrica $U$ è H-regolare se ammette una compattificazione torica proiettiva liscia in cui la chiusura interseca ogni orbita del toro trasversalmente e l'intersezione con qualsiasi orbita è o vuota o connessa.
2. Teorema di Vanishing Locale: La strategia di prova è motivata dall'approccio in [LMW21] e utilizza la teoria di Morse. L'input tecnico centrale è un teorema di vanishing locale (Teorema 2.8) per i fan tropicali H-regolari. Questo teorema stabilisce che per un fan tropicale H-regolare di dimensione $d$ e una funzione lineare $\ell$ non nulla sulle raggi, l'omologia ridotta del link della parte non positiva $T_{\leq 0}$ svanisce in tutti i gradi tranne $d-1$.
3. Strumenti di Geometria Algebrica: Per dimostrare il teorema di vanishing locale, gli autori generalizzano gli argomenti di [Hac08] e [Pay13]. Costruiscono compattificazioni parziali della varietà algebrica $U$ utilizzando modificazioni toriche (specificamente suddivisioni stellari iterate). Utilizzano poi la teoria dei moduli di Hodge misti (la teoria di Saito) e il teorema di decomposizione per analizzare la filtrazione del peso della coomologia di queste compattificazioni. Nello specifico, dimostrano un teorema di vanishing per i pesi superiori della coomologia per varietà che ammettono una mappa birazionale propria verso una varietà affina (Proposizione 4.1).
4. Complessi Duali e Link: Gli autori relazionano la topologia del link tropicale $L(T_{\leq 0})$ al complesso duale del divisore di bordo nella compattificazione. Utilizzando la sequenza di Gysin e le proprietà delle varietà razionalmente lisce, mostrano che l'omologia di questo complesso duale svanisce nei gradi diversi da $d-1$ (Corollario 5.2).
5. Argomento di Teoria di Morse: Infine, la disuguaglianza globale della caratteristica di Eulero viene dedotta applicando la teoria di Morse a valori circolari alla sottovarietà tropicale. Il vanishing locale del link dell'omologia assicura che il contributo dei punti critici (vertici) alla caratteristica di Eulero abbia il segno corretto.

Contributi Principali e Risultati

• Teorema Principale (Teorema 1.1): Gli autori dimostrano che per ogni sottovarietà H-regolare $X$ di una varietà asselica tropicale, la caratteristica di Eulero con segno è non negativa: $(-1)^d \chi(X) \geq 0$. Questo funge da analogo tropicale del teorema di Green–Lazarsfeld.
• Teorema di Vanishing Locale (Teorema 2.8): Un risultato tecnico significativo che stabilisce che l'omologia ridotta del link della parte non positiva di un fan tropicale H-regolare svanisce in tutti i gradi $k \neq d-1$.
• Teorema di Tipo Lefschetz (Teorema 1.4): Il saggio deriva un risultato di tipo Lefschetz per le varietà tropicali affini H-regolari, mostrando che l'omologia relativa $H_k(X, X \cap H; \mathbb{Q})$ svanisce per $k \neq d$, dove $H$ è un iperpiano affino generico.
• Applicazioni ai Matroidi (Corollario 1.3): I risultati sono applicati ai fan di Bergman e ai fan di Bergman aumentati di matroidi realizzabili su $\mathbb{C}$. Ciò fornisce una nuova dimostrazione di un risultato relativo a [AB21] e risponde a una domanda posta da Mikhalkin e Ziegler riguardante il tipo di omotopia dei link per i matroidi realizzabili.
• Necessità della H-Regolarità: Gli autori dimostrano che l'assunzione di H-regolarità è necessaria. Nell'Esempio 2.11, costruiscono un ciclo tropicale di dimensione 2 in una varietà asselica tropicale (derivata da una curva di genere 2) dove la caratteristica di Eulero con segno è negativa ($\chi(X) = -4$).
• Controesempio al Vanishing Generale: Nella Sezione 8, gli autori costruiscono un fan tropicale di dimensione 3 (la tropicalizzazione di una specifica proiezione di uno spazio lineare) il cui link non è omotopico a un bouquet di 2-sfere. Questo affronta una domanda in [Hac08] fornendo un esempio in cui la proprietà di vanishing fallisce per varietà non H-regolari.

Significato e Rivendicazioni
Il saggio sostiene di aver stabilito un vincolo topologico rigoroso su una specifica classe di varietà tropicali (le H-regolari), rispecchiando profondi risultati nella geometria algebrica complessa. La significatività risiede nel:

1. Collegare la Geometria Complessa e quella Tropicale: Esso traduce con successo una disuguaglianza della geometria complessa (Green–Lazarsfeld) nel contesto tropicale, a condizione che la varietà tropicale soddisfi la condizione di H-regolarità.
2. Chiarire l'Ambito dei Risultati di Hacking: Il saggio chiarisce che le proprietà di vanishing omologico osservate da Hacking per le varietà "Schön" richiedono la condizione più forte di H-regolarità affinché si applichino nella generalità presentata, e costruisce esplicitamente esempi in cui tali proprietà falliscono senza di essa.
3. Avanzamento Metodologico: L'uso di moduli di Hodge misti e modificazioni toriche per studiare i link tropicali offre un nuovo strumento per analizzare la topologia delle varietà tropicali, andando oltre gli argomenti puramente combinatori.

Gli autori rimangono modesti riguardo alla generalità dei loro risultati, notando che la disuguaglianza fallisce per le varietà tropicali generali e che estendere questi risultati a arbitrari matroidi o varietà con proprietà di connettività più deboli rimane una questione aperta. Propongono inoltre direzioni future, come l'uso della teoria di Hodge combinatoria per i matroidi arbitrari ed esplorare le trasformazioni di Fourier–Mukai tropicali.