Tropical intersection homology

Sintesi Tecnica: Omologia di Intersezione Tropicale

Enunciato del Problema
Il lavoro affronta il divario tra la teoria algebrica dell'equivalenza numerica dei cicli algebrici e le teorie di coomologia geometriche nel contesto della geometria tropicale. Classicamente, per varietà toriche complesse lisce e proprie $T_\Sigma$, il quoziente del gruppo di Chow rispetto all'equivalenza numerica, $CH^p_{\text{Num}}(T_\Sigma) \otimes \mathbb{Q}$, è isomorfo alla coomologia singolare $H^{2p}_{\text{sing}}(T_\Sigma(\mathbb{C}); \mathbb{Q})$. Inoltre, questo è isomorfo alla coomologia tropicale $H^{p,p}_{\text{Trop}}(\text{Trop}(T_\Sigma); \mathbb{Q})$, come stabilito da Itenberg-Katzarkov-Mikhalkin-Zharkov (IKMZ).

Tuttavia, per una varietà propria liscia generale $Y$ immersa in una varietà torica $T_\Lambda$ (in particolare una sottovarietà "tropicalmente compatta"), la coomologia tropicale $H^{p,q}_{\text{Trop}}(\text{Trop}(Y); \mathbb{Q})$ non soddisfa necessariamente la dualità di Poincaré. Di conseguenza, la mappa naturale dalla coomologia tropicale al gruppo di Chow numerico $CH^p_{\text{Num}}(Y) \otimes \mathbb{Q}$ è suriettiva ma non necessariamente un isomorfismo. Il fallimento della dualità di Poincaré nell'ambito tropicale per varietà singolari o non lisce riflette il fallimento della dualità di Poincaré nella coomologia singolare per varietà complesse singolari. Il lavoro mira a introdurre un analogo tropicale dell'omologia di intersezione per ripristinare questa dualità e fornire una descrizione geometrica di $CH^p_{\text{Num}}(Y) \otimes \mathbb{Q}$ per coppie $(Y, D)$ adatte.

Metodologia
L'autore adotta un approccio duale, definendo l'omologia di intersezione tropicale sia geometricamente (tramite catene) sia in termini di fasci (tramite categorie derivate), e dimostrandone l'equivalenza.

1. Definizione Geometrica:

   • Il lavoro definisce le catene di intersezione tropicali $IC^{p,q}_{\text{Trop}}$ su una varietà tropicale $X$ (regolare all'infinito) imponendo condizioni di "ammissibilità" sulle catene singolari.
   • Queste condizioni sono analoghe a quelle presenti nell'omologia di intersezione di Goresky-MacPherson. Esse restringono l'intersezione delle catene con gli strati singolari in base alla codimensione dello strato e al "peso" dei coefficienti della catena.
   • I coefficienti utilizzati sono derivati dai nuovi coefficienti tropicali $F^{p,w}$ di Gubler-Jell-Rabinoff, progettati per soddisfare la dualità di Poincaré-Verdier vicino agli strati di codimensione 1, una caratteristica assente nei coefficienti originali IKMZ.
   • La definizione coinvolge filtrazioni sui complessi di catene basate sulla geometria locale del ventaglio, utilizzando specificamente le dimensioni dei coni $\sigma_S$ e degli strati $S$.

2. Costruzione in Termini di Fasci:

   • Per stabilire rigorosamente la dualità di Poincaré-Verdier, il lavoro costruisce il complesso di intersezione tropicale nella categoria derivata dei fasci.
   • Una innovazione tecnica chiave è l'introduzione di fasci localmente graduati. L'autore definisce una categoria derivata $D_{\text{LG}} localizzando la categoria derivata dei fasci graduati rispetto alle "LG-quasi-isomorfismi". Questa localizzazione è necessaria perché i funtori di troncamento utilizzati per definire il complesso di intersezione coinvolgono filtrazioni definite solo localmente su aperti intorno agli strati.
   • Il complesso di intersezione tropicale $\text{IC}^p_{\text{Trop,sheaf}}$ è costruito per induzione estendendo il fascio delle forme tropicali dalla parte liscia $X_{\text{sm}}$ al luogo singolare mediante funtori di troncamento $\tau_{p, S_k}$ che soddisfano specifici "assiomi" (proprietà di annullamento locale e di attacco) analoghi alla costruzione del complesso di intersezione di Deligne.

3. Confronto e Dualità:

   • Il lavoro dimostra che le definizioni geometrica e in termini di fasci producono gruppi di omologia isomorfi.
   • Stabilisce un teorema di dualità di Poincaré-Verdier per l'omologia di intersezione tropicale: un accoppiamento non degenere tra $I H^{p,q}_{\text{Trop}}(X)$ e $I H^{d-p, d-q}_{\text{Trop}, c}(X)$.
   • L'autore utilizza successioni spettrali che confrontano l'omologia di intersezione tropicale con la coomologia tropicale e la coomologia singolare (tramite la mappa di tropicalizzazione) per analizzare la struttura di questi gruppi.

Contributi e Risultati Chiave

• Definizione dell'Omologia di Intersezione Tropicale: Il lavoro introduce $I H^{p,q}_{\text{Trop}}(X; \mathbb{Q})$ per varietà tropicali $X$ regolari all'infinito. Questa teoria coincide con la coomologia tropicale standard quando vale la dualità di Poincaré (ad esempio, per varietà tropicali lisce) ma fornisce una teoria raffinata per i casi singolari.
• Ripristino della Dualità di Poincaré: Il Teorema 1.2 stabilisce un accoppiamento non degenere per l'omologia di intersezione tropicale, generalizzando la dualità nota per le varietà tropicali lisce all'ambito singolare.
• Isomorfismo con l'Equivalenza Numerica: Il risultato centrale (Teorema 1.2, Corollario 7.3) afferma che per una varietà propria liscia $Y$ tropicalmente compatta in una varietà torica liscia $T_\Lambda$ (soddisfacendo specifiche condizioni di irriducibilità e suriettività), esiste un isomorfismo naturale:
  $$I H^{p,q}_{\text{Trop}}(\text{Trop}(Y); \mathbb{Q}) \cong \begin{cases} CH^p_{\text{Num}}(Y) \otimes \mathbb{Q} & \text{se } p=q \\ 0 & \text{se } p \neq q \end{cases}$$
  Sotto questo isomorfismo, l'accoppiamento sull'omologia di intersezione corrisponde ai numeri di intersezione dei cicli algebrici.
• Indipendenza dalla Struttura Poliedrale: Il lavoro dimostra che l'omologia di intersezione tropicale è indipendente dalla specifica decomposizione poliedrale (suddivisione) della varietà tropicale, a condizione che la varietà rimanga regolare all'infinito.
• Quadro Tecnico: Lo sviluppo della teoria dei fasci localmente graduati e delle relative categorie derivate fornisce un quadro robusto in termini di fasci per gestire le questioni dal locale al globale intrinseche all'omologia di intersezione tropicale.

Significato
Il lavoro afferma di generalizzare la descrizione geometrica dell'equivalenza numerica dalle varietà toriche a una classe più ampia di varietà proprie lisce tramite tropicalizzazione. Introducendo l'omologia di intersezione tropicale, l'autore colma il divario tra la nozione algebrica di equivalenza numerica e la nozione topologica di coomologia nell'ambito tropicale, affrontando specificamente il fallimento della dualità di Poincaré nella coomologia tropicale standard per varietà singolari. Ciò fornisce un analogo tropicale al risultato classico secondo cui l'omologia di intersezione di una varietà complessa singolare recupera gli invarianti coomologici corretti relativi alla struttura algebrica sottostante. Il lavoro suggerisce che l'omologia di intersezione tropicale è la corretta teoria coomologica per catturare le classi di equivalenza numerica dei cicli su varietà che ammettono una compattificazione tropicale.