$K$-Equivalence and Integral Cohomology

Technische Samenvatting: K-equivalentie en Integrale Cohomologie

Probleemstelling
In 1995 stelde Kontsevich vast dat K-equivalente gladde projectieve variëteiten dezelfde Hodge-getallen delen. Hoewel dit resultaat de rationale of complexe cohomologische invarianten (specifiek de Hodge-decompositie) adresseerde, bleef de vraag open of K-equivalentie een isomorfisme van de integrale cohomologiegroepen, $H^i(X, \mathbb{Z})$, impliceert. In tegenstelling tot Hodge-getallen bevat integrale cohomologie torsie-informatie, die niet wordt gevangen door de standaard Hodge-polynoom. Dit artikel adresseert de kloof door Kontsevichs resultaat uit te breiden naar het integrale niveau, door te bewijzen dat K-equivalente gladde projectieve variëteiten isomorfe integrale cohomologiegroepen hebben.

Methodologie
De auteurs introduceren een nieuwe invariant, de integrale virtuele Hodge-functie, aangeduid als $H_{\text{vir}, \mathbb{Z}}$. De constructie verloopt via verschillende technische stadia:

1. Definitie van de Integrale Hodge-functie ($H_{\mathbb{Z}}$):
   Voor een gladde projectieve variëteit $X$ definiëren de auteurs een functie $H_{\mathbb{Z}}(X)$ die zowel de vrije als de torsie-delen van de cohomologie codeert.

   • Vrij deel: Gevangen door de gebruikelijke Hodge-getallen $h^{p,q}(X)$, gewogen door variabelen $u$ en $v$.
   • Torsie-deel: Gevangen door een "torsie Poincaré-functie" $T(X)$. Dit omvat invarianten $a_{p,i,j}(X)$, die de rang representeren van de $\mathbb{Z}/p\mathbb{Z}$-vectorruimte gevormd door de quotient $p^j H^i(X, \mathbb{Z})_{\text{tors}} / p^{j+1} H^i(X, \mathbb{Z})_{\text{tors}}$.
   • Doelring: De functie neemt waarden aan in een specifieke ring $R$ gegenereerd door variabelen $s_p, r_j, u, v, t, x$, onderworpen aan relaties die het multiplicatieve gedrag van de functie waarborgen. Cruciaal is dat de ring ook relaties bevat zoals $tx^2 = tx - x$ en $s_p^2 = s_p$ om de combinatorische structuur van torsie en de interactie tussen vrije en torsie-delen onder de Künneth-formule af te handelen.

2. Extensie naar de Grothendieck-ring:
   De auteurs bewijzen dat $H_{\mathbb{Z}}$ uitbreidt tot een goed gedefinieerde functie $H_{\text{vir}, \mathbb{Z}}$ op de Grothendieck-ring van variëteiten, $K_0(\text{Var}_{\mathbb{C}})$. Hiervoor moeten twee belangrijke eigenschappen worden aangetoond:

   • Multiplicativiteit: $H_{\mathbb{Z}}(X \times Y) = H_{\mathbb{Z}}(X)H_{\mathbb{Z}}(Y)$. Het bewijs omvat een gedetailleerde analyse van de Künneth-formule voor integrale cohomologie, waarbij wordt aangetoond dat de torsie-termen in het product overeenkomen met het product van de torsie-termen in de individuele factoren, rekening houdend met de interactie tussen vrije en torsie-componenten.
   • Blow-up Relatie: De functie voldoet aan de relatie $H_{\mathbb{Z}}(X) - H_{\mathbb{Z}}(Z) = H_{\mathbb{Z}}(\text{Bl}_Z(X)) - H_{\mathbb{Z}}(E)$ voor een blow-up van $X$ langs een glad centrum $Z$ met exceptionele divisor $E$. Dit maakt het mogelijk dat de functie afdaalt naar de Grothendieck-ring, die gegenereerd wordt door gladde projectieve variëteiten modulo deze relaties.

3. Graadfiltratie en Vollediging:
   Om K-equivalentie te behandelen, maken de auteurs gebruik van de voltooide Grothendieck-ring $\widehat{K_0(\text{Var}_{\mathbb{C}})}[L^{-1}]$. Ze definiëren een graad op de doelring $R$ en tonen aan dat $H_{\text{vir}, \mathbb{Z}}$ door de voltooiing factoriseert. Dit maakt de toepassing van Kontsevichs resultaat mogelijk dat K-equivalente variëteiten gelijke klassen hebben in de voltooide ring.

Belangrijkste Bijdragen en Resultaten

• Stelling 1.1: Het primaire resultaat stelt dat als $X$ en $X'$ K-equivalente gladde projectieve variëteiten zijn over $\mathbb{C}$, dan $H^i(X, \mathbb{Z}) \simeq H^i(X', \mathbb{Z})$ voor alle $i$. Dit wordt bereikt door te tonen dat $H_{\text{vir}, \mathbb{Z}}(X) = H_{\text{vir}, \mathbb{Z}}(X')$, en aangezien de integrale cohomologiegroepen kunnen worden teruggewonnen uit de coëfficiënten van $H_{\text{vir}, \mathbb{Z}}$ (via de afbeelding $\phi_i$), de groepen isomorf moeten zijn.
• Terugwinning van Torsie: Het artikel biedt een mechanisme om de integrale cohomologiegroepen, inclusief hun torsie-subgroepen, direct te reconstrueren vanuit de coëfficiënten van de integrale Hodge-functie.
• Torsievrije Cohomologie voor Cel-decomposities: Als een corolarium leveren de auteurs een nieuw bewijs dat als een gladde projectieve variëteit een algebraïsche cel-decompositie toelaat (bijv. variëteiten met een $\mathbb{C}^*$-actie met eindig aantal vaste punten), haar integrale cohomologie torsievrij is. Dit volgt omdat de functie in dergelijke gevallen reduceert tot de standaard Hodge-polynoom.
• Onafhankelijkheid van Crepante Resoluties: Het artikel stelt vast dat voor een projectieve variëteit $X$ met hoogstens Gorensteense canonieke singulariteiten, de integrale cohomologie van elke crepante resolutie $Y \to X$ onafhankelijk is van de keuze van de resolutie.

Betekenis en Claims
Het artikel claimt Kontsevichs resultaat uit 1995 uit te breiden van Hodge-getallen naar de volledige integrale cohomologiegroepen. De betekenis ligt in de constructie van een multiplicatieve invariant op de Grothendieck-ring die gevoelig is voor torsie, een kenmerk dat voorheen ontbrak in de virtuele Hodge-theorie.

De auteurs merken op dat hoewel het resultaat (Stelling 1.1) eerder is getoond in werken van Gusein-Zade en Saito [GS96] en door Yasuda en Xie [XY18] (waar zij zich van bewust werden na het plaatsen van de initiële versie), hun bijdrage de introductie van de integrale virtuele Hodge-functie $H_{\text{vir}, \mathbb{Z}}$ is. Deze functie dient als een instrument dat niet alleen het theorema bewijst, maar ook de integrale cohomologische structuur codeert op een manier die goed gedefinieerd is op de Grothendieck-ring. De auteurs suggereren dat dit kader verdere generalisaties toelaat, zoals naar stringy invarianten met de Gorensteense maat, of naar de Grothendieck-groep van stacks.