Virtual invariants from the non-associative Hilbert scheme

Sintesi Tecnica: Invarianti Virtuali dallo Schema di Hilbert Non-Associativo

Enunciato del Problema
La geometria degli schemi di Hilbert di punti, particolarmente nelle dimensioni $n \geq 3$, è notoriamente sottile. Mentre lo schema di Hilbert di punti su una superficie liscia è liscio e ben compreso, lo schema di Hilbert di punti su una varietà tridimensionale o di dimensione superiore è tipicamente singolare. Nella geometria enumerativa, in particolare per i tripli Calabi-Yau e quadri Calabi-Yau, si fa affidamento su classi fondamentali virtuali per definire invarianti (come gli invarianti di Donaldson-Thomas). Queste classi sono tradizionalmente costruite tramite teorie di perturbazione perfette, spesso realizzate come loci critici di funzioni su spazi moduli di matrici non commutanti (il "modello di matrici non commutativo").

Tuttavia, i modelli esistenti affrontano diverse limitazioni:

1. I modelli non commutativi sostituiscono l'anello coordinato commutativo con un'algebra associativa libera, realizzando lo schema di Hilbert come un locus critico di un potenziale che impone le relazioni di commutatività.
2. Gli schemi di Hilbert annidati (catene di sottoschemi) sono generalmente singolari con strutture dei componenti scarsamente comprese, pur essendo essenziali per le teorie di conteggio di fasci (ad esempio, la teoria di Vafa-Witten o di Seiberg-Witten).
3. Esiste la necessità di una costruzione unificata ed elementare di classi fondamentali virtuali per gli schemi di Hilbert annidati in dimensioni arbitrarie che produca classi fondamentali virtuali di dimensione positiva quando la dimensione ambiente $n$ è grande rispetto al numero di punti $d$.

Metodologia
Gli autori introducono un modello non associativo per lo schema di Hilbert di punti. Invece di rilassare la commutatività (come nei modelli non commutativi), rilassano l'associatività mantenendo la commutatività.

1. Costruzione dello Spazio Ambiente Non-Associativo:
   Gli autori definiscono lo schema di Hilbert annidato non-associativo, indicato con $na\text{NHilb}^{\mathbf{d}}(A^n)$, come lo spazio moduli di catene di ideali $I_{r+1} \subset \dots \subset I_1 \subset I_0 = \mathbb{C}\{x_1, \dots, x_n\}^c$, dove $\mathbb{C}\{x_1, \dots, x_n\}^c$ è l'algebra libera, unitale, commutativa ma non-associativa su $n$ generatori.

• Essi dimostrano che $na\text{NHilb}^{\mathbf{d}}(A^n)$ è una varietà liscia.
• La costruzione utilizza una descrizione tramite stack di quoziente $[M_{n,d}/P_d]$, dove $M_{n,d}$ è un sottoschema liscio localmente chiuso di uno spazio vettoriale che parametrizza le strutture algebriche, e $P_d$ è un gruppo parabolico che agisce liberamente.

2. Realizzazione dello Schema Classico:
   Lo schema di Hilbert annidato classico $NHilb^{\mathbf{d}}(A^n)$ (dove le algebre sono associative) è immerso nello spazio ambiente non-associativo come il locus di associatività.

• Questo locus è determinato dallo zero di una sezione globale $s_{ass}$ di un fibrato vettoriale $E_{ass}$ (il fibrato di associatività) su lo spazio ambiente liscio.
• Di conseguenza, $NHilb^{\mathbf{d}}(A^n)$ eredita una teoria di perturbazione perfetta canonica e una classe fondamentale virtuale $[NHilb^{\mathbf{d}}(A^n)]^{vir}$.

3. Localizzazione Virtuale:
   Gli autori utilizzano l'azione del toro $T = (\mathbb{C}^*)^n$ su $A^n$, che si estende allo schema di Hilbert non-associativo. Applicano la formula di localizzazione virtuale di Graber-Pandharipande per calcolare la classe virtuale.

• I punti fissi corrispondono a catene di ideali monomiali, che sono in bijezione con partizioni annidate.
• Gli autori derivano formule esplicite per lo spazio tangente e il fibrato di perturbazione in questi punti fissi, espresse in termini dei pesi dell'azione del toro.

4. Formule di Residuo Iterato:
   Per il locus puntuale (specificamente il locus a filtro nilpotente $NHilb^{\mathbf{d}}_{nil\text{-}fil}(A^n)$), gli autori costruiscono una risoluzione parziale che fibra su una varietà di flag. Utilizzando la localizzazione di Atiyah-Bott su questa risoluzione, trasformano gli integrali virtuali in formule di residuo iterato.

• Un risultato tecnico chiave è che per il locus a filtro nilpotente, tutti i residui sono nulli eccetto un singolo contributo proveniente dalla partizione "Porteous" (che contiene solo vettori unitari in ordine naturale).

Contributi Chiave e Risultati

• Teorema 1.1 (Formula di Localizzazione Virtuale): Gli autori forniscono una formula esplicita per la classe fondamentale equivariante virtuale $[NHilb^{\mathbf{d}}(A^n)]^{vir}$ come somma su partizioni annidate ammissibili. I pesi sono dati da funzioni razionali dei pesi del toro $s_i$.

  • Condizione di Ammissibilità: Una partizione è ammissibile se non contiene vettori con 3 o più coordinate non nulle, e la sua proiezione su qualsiasi piano 2D giace entro specifici limiti (legati alla condizione "Porteous").
  • Questa formula permette il calcolo degli invarianti virtuali per tutte le coppie $(n, d)$.

• Teorema 1.2 (Formula di Residuo Iterato): Per il locus a filtro nilpotente con vettore di dimensione $\mathbf{d} = (1, d_1, \dots, d_r)$, gli autori derivano una singola formula di residuo iterato multivariabile per gli integrali virtuali di classi tautologiche.

  • La formula è valida anche quando la lunghezza totale $d$ eccede la dimensione ambiente $n$, ottenuta immergendo il problema in uno spazio a dimensione superiore $A^N$ ($N \gg n$) e confrontando le strutture virtuali.
  • La formula generalizza le tecniche precedenti di Bérczi e Szenes utilizzate nella teoria delle singolarità e nei calcoli dei polinomi di Thom.

• Classi Virtuali di Dimensione Positiva: A differenza di molte costruzioni precedenti dove le classi virtuali sono di dimensione zero (ad esempio, sui tripli Calabi-Yau), questa costruzione produce classi virtuali di dimensione positiva ogni volta che la dimensione ambiente $n$ è sufficientemente grande rispetto al numero di punti.

• Relazione con i Modelli Non Commutativi: Il documento stabilisce una mappa razionale dal non-associativo schema di Hilbert annidato allo schema di Hilbert annidato non commutativo. Questa mappa è ben definita sul dominio contenente lo schema di Hilbert di punti e si restringe all'identità sul locus di associatività. Ciò suggerisce un ponte tra gli approcci non-associativo (commutativo ma non-associativo) e non-commutativo per gli invarianti DT.

Significato e Rivendicazioni
Gli autori affermano che questo lavoro fornisce una costruzione elementare e concreta di classi fondamentali virtuali per gli schemi di Hilbert annidati in tutte le dimensioni.

• Unificazione: Unifica lo studio dei numeri di intersezione tautologici (precedentemente studiati sul componente curvilineo) con la teoria di intersezione virtuale sull'intero schema di Hilbert.
• Controllo Combinatorio: La teoria dimostra che i numeri di intersezione universali sugli schemi di Hilbert di punti sono governati da esplicite formule di residuo multivariabile su dati combinatori di ideali monomiali e partizioni, riflettendo la struttura delle teorie tautologiche.
• Estensione alle Dimensioni Superiori: La costruzione è destinata ad estendere il modello di matrici non commutativo e le costruzioni di classi fondamentali sui tripli Calabi-Yau a dimensioni superiori e contesti annidati.
• Lavoro Futuro: Gli autori notano che in lavori imminenti, questo framework sarà utilizzato per ricostruire gli invarianti di Donaldson-Thomas di tripli Calabi-Yau dal modello non-associativo, rivelando un ponte diretto tra teorie tautologiche e virtuali.

Il documento non pretende di risolvere l'esistenza generale degli invarianti DT per tutti gli spazi moduli di fasci, ma fornisce piuttosto una macchina specifica e robusta per calcolare gli invarianti virtuali sugli schemi di Hilbert annidati di punti utilizzando un nuovo modello geometrico non-associativo.