Tropical intersection homology

Technische Samenvatting: Tropische Snijhomologie

Probleemstelling
Het artikel adresseert de kloof tussen de algebraïsche theorie van numerieke equivalentie van algebraïsche cycli en geometrische cohomologietheorieën in de context van tropische meetkunde. Classisch geldt voor gladde complexe eigentijdse torische variëteiten $T_\Sigma$ dat de quotiënt van de Chow-groep modulo numerieke equivalentie, $CH^p_{\text{Num}}(T_\Sigma) \otimes \mathbb{Q}$, isomorf is met de singuliere cohomologie $H^{2p}_{\text{sing}}(T_\Sigma(\mathbb{C}); \mathbb{Q})$. Bovendien is dit isomorf met tropische cohomologie $H^{p,p}_{\text{Trop}}(\text{Trop}(T_\Sigma); \mathbb{Q})$, zoals vastgesteld door Itenberg-Katzarkov-Mikhalkin-Zharkov (IKMZ).

Voor een algemene gladde eigentijdse variëteit $Y$ ingebed in een torische variëteit $T_\Lambda$ (specifiek een "tropisch compact" deelvariëteit) voldoet de tropische cohomologie $H^{p,q}_{\text{Trop}}(\text{Trop}(Y); \mathbb{Q})$ echter niet noodzakelijk aan de Poincaré-dualiteit. Bijgevolg is de natuurlijke afbeelding van tropische cohomologie naar de numerieke Chow-groep $CH^p_{\text{Num}}(Y) \otimes \mathbb{Q}$ surjectief, maar niet noodzakelijk een isomorfisme. Het falen van de Poincaré-dualiteit in de tropische setting voor singuliere of niet-gladde variëteiten weerspiegelt het falen van de Poincaré-dualiteit in de singuliere cohomologie voor singuliere complexe variëteiten. Het artikel beoogt een tropisch analogon van snijhomologie in te voeren om deze dualiteit te herstellen en een geometrische beschrijving te bieden van $CH^p_{\text{Num}}(Y) \otimes \mathbb{Q}$ voor geschikte paren $(Y, D)$.

Methodologie
De auteur hanteert een dubbele aanpak, waarbij tropische snijhomologie zowel geometrisch (via ketens) als schuif-theoretisch (via afgeleide categorieën) wordt gedefinieerd, en de equivalentie daarvan wordt bewezen.

1. Geometrische Definitie:

   • Het artikel definieert tropische snijketens $IC^{p,q}_{\text{Trop}}$ op een tropische variëteit $X$ (regulier in oneindigheid) door "toelaatbaarheids"-voorwaarden op singuliere ketens op te leggen.
   • Deze voorwaarden zijn analoog aan die in de snijhomologie van Goresky-MacPherson. Ze beperken de doorsnede van ketens met singuliere strata op basis van de codimensie van de stratum en het "gewicht" van de ketencoefficiënten.
   • De gebruikte coefficients zijn afgeleid van de nieuwe tropische coefficients $F^{p,w}$ van Gubler-Jell-Rabinoff, die zijn ontworpen om Poincaré-Verdier-dualiteit te voldoen nabij strata van codimensie 1, een eigenschap die ontbreekt in de oorspronkelijke IKMZ-coefficients.
   • De definitie omvat filtraties op de ketencomplexen gebaseerd op de lokale geometrie van de waaier, met name gebruikmakend van de dimensies van kegels $\sigma_S$ en de strata $S$.

2. Schuif-theoretische Constructie:

   • Om de Poincaré-Verdier-dualiteit strikt vast te stellen, construeert het artikel het tropische snijcomplex in de afgeleide categorie van schuiven.
   • Een belangrijke technische innovatie is de introductie van lokaal gegradueerde schuiven. De auteur definieert een afgeleide categorie $D_{\text{LG}}$ door de afgeleide categorie van gegradueerde schuiven te lokaliseren met betrekking tot "LG-kwasi-isomorfismen". Deze lokaliseren is noodzakelijk omdat de truncatiefunctoren die worden gebruikt om het snijcomplex te definiëren, filtraties omvatten die slechts lokaal zijn gedefinieerd op open omgevingen van strata.
   • Het tropische snijcomplex $\text{IC}^p_{\text{Trop,sheaf}}$ wordt inductief geconstrueerd door de schuif van tropische vormen uit te breiden van het gladde deel $X_{\text{sm}}$ naar de singuliere locus, gebruikmakend van truncatiefunctoren $\tau_{p, S_k}$ die specifieke "axioma's" voldoen (lokale verdwijning en bevestigingseigenschappen) analoog aan de constructie van het snijcomplex door Deligne.

3. Vergelijking en Dualiteit:

   • Het artikel bewijst dat de geometrische en schuif-theoretische definities isomorfe homologiegroepen opleveren.
   • Het vestigt een stelling over Poincaré-Verdier-dualiteit voor tropische snijhomologie: een niet-ontaarde koppeling tussen $I H^{p,q}_{\text{Trop}}(X)$ en $I H^{d-p, d-q}_{\text{Trop}, c}(X)$.
   • De auteur maakt gebruik van spectrale rijen die tropische snijhomologie vergelijken met tropische cohomologie en singuliere cohomologie (via de tropicalisatie-afbeelding) om de structuur van deze groepen te analyseren.

Belangrijkste Bijdragen en Resultaten

• Definitie van Tropische Snijhomologie: Het artikel introduceert $I H^{p,q}_{\text{Trop}}(X; \mathbb{Q})$ voor tropische variëteiten $X$ die regulier zijn in oneindigheid. Deze theorie komt overeen met standaard tropische cohomologie wanneer de Poincaré-dualiteit geldt (bijvoorbeeld voor gladde tropische variëteiten), maar biedt een verfijnde theorie voor singuliere gevallen.
• Herstel van Poincaré-dualiteit: Stelling 1.2 vestigt een niet-ontaarde koppeling voor tropische snijhomologie, waarmee de dualiteit die bekend is voor gladde tropische variëteiten wordt gegeneraliseerd naar de singuliere setting.
• Isomorfisme met Numerieke Equivalentie: Het centrale resultaat (Stelling 1.2, Corollarium 7.3) stelt dat voor een gladde eigentijdse variëteit $Y$ die tropisch compact is in een gladde torische variëteit $T_\Lambda$ (die voldoet aan specifieke onbreekbaarheids- en surjectiviteitsvoorwaarden), een natuurlijke isomorfisme bestaat:
  $$I H^{p,q}_{\text{Trop}}(\text{Trop}(Y); \mathbb{Q}) \cong \begin{cases} CH^p_{\text{Num}}(Y) \otimes \mathbb{Q} & \text{als } p=q \\ 0 & \text{als } p \neq q \end{cases}$$
  Onder deze isomorfisme komt de koppeling op snijhomologie overeen met de snijgetallen van algebraïsche cycli.
• Onafhankelijkheid van Polyhedrale Structuur: Het artikel bewijst dat de tropische snijhomologie onafhankelijk is van de specifieke polyhedrale decompositie (subdivisie) van de tropische variëteit, mits de variëteit regulier blijft in oneindigheid.
• Technisch Kader: De ontwikkeling van de theorie van lokaal gegradueerde schuiven en de bijbehorende afgeleide categorieën biedt een robuust schuif-theoretisch kader voor het behandelen van de lokaal-naar-globaal problemen die inherent zijn aan tropische snijhomologie.

Betekenis
Het artikel claimt de geometrische beschrijving van numerieke equivalentie van torische variëteiten te generaliseren naar een bredere klasse van gladde eigentijdse variëteiten via tropicalisatie. Door tropische snijhomologie in te voeren, overbrugt de auteur de kloof tussen het algebraïsche begrip numerieke equivalentie en het topologische begrip cohomologie in de tropische setting, met name door het falen van de Poincaré-dualiteit in standaard tropische cohomologie voor singuliere variëteiten aan te pakken. Dit biedt een tropisch analogon van het klassieke resultaat dat de snijhomologie van een singuliere complexe variëteit de juiste cohomologische invarianten herwint die gerelateerd zijn aan de onderliggende algebraïsche structuur. Het werk suggereert dat tropische snijhomologie de juiste cohomologische theorie is om de klassen van numerieke equivalentie van cycli op variëteiten die een tropische compactificatie toelaten, vast te leggen.