Combinatorial Cycle Classes in the Intersection Cohomology of Projective Toric Varieties

Technische Samenvatting: Combinatorische Cyclusklassen in de Intersectiecohomologie van Projectieve Torische Variëteiten

Probleemstelling
Het artikel onderzoekt de realisatie van cyclusklassen binnen de combinatorische intersectiecohomologie ($IH^*_{\text{comb}}$) van projectieve torische variëteiten. Hoewel de Intersection Hodge-conjectuur stelt dat algebraïsche cycli surjectief zijn op rationale Hodge-klassen, blijft het specifieke mechanisme voor het genereren van deze klassen via puur combinatorische middelen in de singuliere torische setting onderbelicht. Specifiek adresseren de auteurs de vraag of de combinatorische cyclusklassen geassocieerd met torus-invariante subvariëteiten de volledige rationale even-graads intersectiecohomologie, $IH^{2k}_{\text{comb}}(\Sigma, \mathbb{Q})$, volledig uitspannen.

Voor projectieve torische variëteiten is bekend dat de intersectiecohomologie Hodge-Tate is (Fieseler), wat impliceert dat de ruimte van rationale Hodge-klassen samenvalt met de gehele even-graads intersectiecohomologie. Bijgevolg reduceert de Hodge-conjectuur in deze context tot een vraag over lineaire generatie: of de voorgestelde invariante combinatorische cyclusklassen de ruimte volledig uitspannen.

Methodologie en Kader
De auteurs opereren binnen het kader van de combinatorische intersectiecohomologie ontwikkeld door Barthel, Brasselet, Fieseler en Kaup (BBFK) en onafhankelijk door Bressler en Lunts (BL). Dit kader construeert een gegradeerde vectorruimte geassocieerd met een fan $\Sigma$ die is isomorf met de intersectiecohomologie van de corresponderende torische variëteit $X_\Sigma$.

Belangrijke methodologische stappen zijn onder meer:

1. Definitie van Combinatorische Cyclusklassen: De auteurs definiëren de combinatorische cyclusklasse $[V(\tau)]_{\text{comb}}$ voor een torus-invariant subvariëteit $V(\tau)$ (geassocieerd met een kegel $\tau$) via een combinatorische Gysin-morfisme. Dit morfisme wordt geconstrueerd via de afgeleide categorie-formalismen van minimale extensie-sheaves op de poset van kegels.
2. Compatibiliteitsveronderstelling: In het besef dat de precieze functoriele uitlijning tussen de BBFK-constructie en geometrische cycluskaarten subtiel is, formuleren de auteurs Veronderstelling 3.1. Deze veronderstelling stelt dat het BBFK-vergelijkingsisomorfisme functorieel is met betrekking tot torus-equivariante gesloten inbeddingen, waardoor het combinatorische Gysin-morfisme overeenkomt met het geometrische Gysin-morfisme (geïnduceerd door de adjunctie van perverse sheaves).
3. Onderscheid van Cohomologietheorieën: De analyse maakt een zorgvuldig onderscheid tussen Chow-homologie (gegenereerd door invariante cycli), operationele Chow-cohomologie (isomorf met Minkowski-gewichten) en intersectiecohomologie. De auteurs maken gebruik van de relatie tussen operationele Chow-klassen en intersectiecohomologie om generatie-eigenschappen te analyseren.

Kernbijdragen en Resultaten
Het artikel levert bewijzen voor de generatie-stelling (Conjecture 4.1) in specifieke gevallen en vestigt een kader voor verder onderzoek:

• Simpliciale Fans: De auteurs bevestigen dat voor simpliciale fans de conjectuur onvoorwaardelijk standhoudt. In dit geval heeft de variëteit slechts quotient-singulariteiten, en wordt de rationale cohomologie gegenereerd door torus-invariante divisoren (Danilov-Jurkiewicz stelling), wat direct de uitspanningseigenschap voor intersectiecohomologie impliceert.
• Lage Dimensies ($n \leq 3$): Onder de gestelde functoriele aannames bewijzen de auteurs dat de combinatorische cyclusklassen $IH^{2k}_{\text{comb}}(\Sigma, \mathbb{Q})$ volledig uitspannen voor projectieve torische variëteiten van dimensie tot en met 3.
  • Voor $n=2$ volgt het resultaat uit het isomorfisme tussen $IH^2$ en de gewone cohomologie $H^2$ voor normale oppervlakken met geïsoleerde singulariteiten, gecombineerd met de generatie van $H^2$ door invariante divisoren.
  • Voor $n=3$ maakt het bewijs gebruik van Fieselers surjectiviteitstheoreem voor divisor-cycli (graad 2) en Karu's Hard Lefschetz-stelling. De auteurs demonstreren dat de Lefschetz-operator (intersectie met een ample divisor) overeenkomt met de cup-product met de eerste Chern-klasse van een ample lijnbundel. Aangezien de operator een isomorfisme is tussen $IH^2$ en $IH^4$, en $IH^2$ wordt uitgespannen door divisor-klassen, wordt $IH^4$ uitgespannen door de afbeeldingen van deze klassen, welke overeenkomen met lineaire combinaties van combinatorische curve-klassen.
• Niet-simpliciaal Voorbeeld (Dimensie 3): Het artikel illustreert de theorie aan de hand van een niet-simpliciale projectieve torische 3-vold (de hexagonale piramide-fan).
  • Met behulp van Stanley's torische $h$-vectorformule leiden de auteurs de intersectiecohomologie Betti-getallen af als $(1, 4, 4, 1)$.
  • Ze berekenen expliciet de rang van de Chow-homologie groep van divisor-cycli ($A_2(X_\Sigma)_\mathbb{Q}$) als 4, wat overeenkomt met de dimensie van $IH^2$.
  • Ze verifiëren dat de vier divisor-cyclus basisklassen $IH^2_{\text{comb}}$ uitspannen, en door het Hard Lefschetz-isomorfisme spannen de resulterende curve-klassen $IH^4_{\text{comb}}$ uit.

Betekenis en Claims
De auteurs positioneren dit werk als een systematische studie naar de uitspanningseigenschappen van invariante combinatorische cyclusklassen binnen het BBFK-kader, een gebied dat voorheen minder verkend was ondanks diepgaande resultaten in de torische intersectietheorie (o.a. door Karu, Fulton-Sturmfels, Braden-MacPherson).

Het artikel claimt:

1. Een precieze compatibiliteitsverklaring te hebben geformuleerd tussen combinatorische en geometrische cyclusklassen.
2. De lineaire generatievraag voor torus-invariante cyclusklassen te hebben geïsoleerd.
3. Deze generatie-eigenschap te hebben geverifieerd voor dimensies tot en met 3 en voor alle simpliciale fans.

De auteurs stellen expliciet dat het algemene geval voor dimensie $n \geq 4$ een open probleem blijft. Zij merken op dat de oplossing van dit algemene geval nauw verbonden is met de surjectiviteit van de afbeelding van Minkowski-gewichten naar intersectiecohomologie. Het artikel stelt geen nieuwe toepassingen of experimentele methoden voor, maar beoogt de structurele relatie tussen combinatorische data en geometrische cyclusklassen in singuliere torische variëteiten te verduidelijken.