Logarithmic Hilbert schemes of curves as weighted blow-ups and their integral Chow rings

Sintesi Tecnica: Schemi di Hilbert Logaritmici di Curve come Esplosioni Pesate e i Loro Anelli di Chow Integrali

Enunciato del Problema
Il lavoro affronta la struttura geometrica e la teoria dell'intersezione dello schema di Hilbert logaritmico di punti, indicato con $\text{Hilb}^n(C|D)$, su una curva proiettiva liscia $C$ equipaggiata con una struttura logaritmica divisoria definita da un insieme di punti distinti $D = \sum p_i$. Questo spazio dei moduli parametrizza coppie $(\tilde{C}, Z)$, dove $\tilde{C}$ è un modello semistabile di $C$ ottenuto tramite deformazioni iterate al cono normale lungo $D$ (degenerazioni espanse), e $Z$ è uno schema di lunghezza $n$ che è piatto in senso logaritmico e possiede automorfismi finiti. Sebbene sia noto che questi spazi siano stack di Deligne-Mumford lisci con spazi dei moduli grossolani proiettivi, la loro costruzione geometrica esplicita e le strutture dei loro anelli di Chow integrali non erano state completamente descritte in termini di spazi dei moduli classici. Gli autori mirano a descrivere concretamente $\text{Hilb}^n(C|D)$ come una sequenza di trasformazioni birazionali del prodotto simmetrico classico $\text{Sym}^n(C)$ e a calcolarne gli anelli di Chow integrali.

Metodologia
Gli autori impiegano una combinazione di geometria logaritmica, teoria delle esplosioni pesate e teoria degli spazi di Hassett (curve stabili pesate).

1. Spazi dei Moduli Intermedi: Gli autori costruiscono una famiglia di spazi dei moduli intermedi $\text{Hilb}^n(C|D)_{\leq i}$, indicizzati da un vettore $i = (i_1, \dots, i_\ell)$ tale che $0 \leq i_k \leq n$. Questi spazi parametrizzano subschemi in cui il numero di punti supportati sugli "estremi" (le trasformate proprie dei punti marcati sulla curva espansa) è limitato da $i_k$.
2. Esplosioni Pesate: La strategia geometrica centrale consiste nell'identificare le mappe di transizione tra questi spazi intermedi. Analizzando la geometria locale delle curve espanse e utilizzando la teoria delle esplosioni pesate (seguendo Quek–Rydh), gli autori dimostrano che la mappa $\text{Hilb}^n(C|D)_{\leq i-1} \to \text{Hilb}^n(C|D)_{\leq i}$ è un'esplosione pesata.
3. Criterio di Contrazione: Per stabilire che queste mappe sono effettivamente esplosioni pesate, gli autori applicano un criterio di contrazione pesata (da [ALI+23]). Ciò comporta verificare che il divisore eccezionale sia una fibrazione di stack proiettivi pesati e che il fibrato normale del divisore soddisfi condizioni specifiche sui fibrati lineari.
4. Calcolo dell'Anello di Chow: Il calcolo dell'anello di Chow integrale si basa su un analogo pesato della formula di Keel (da [AO25]). Questa formula esprime l'anello di Chow di un'esplosione pesata in termini dello spazio base e del divisore eccezionale, a condizione che la mappa di restrizione al centro sia suriettiva. Gli autori calcolano la classe di Chern topica equivariante dei fibrati normali dei centri di esplosione per determinare le relazioni nell'anello.
5. Analisi Torica e Combinatoria: Per il caso specifico di $C = \mathbb{P}^1$, gli autori utilizzano la geometria torica per descrivere le strutture dei ventagli e verificare i risultati utilizzando gli anelli di Stanley–Reisner. Un allegato di Dhruv Ranganathan fornisce un approccio complementare utilizzando quozienti di Chow per stabilire la natura torica dello schema per $D = 0 + \infty$.

Contributi e Risultati Chiave

• Costruzione Geometrica (Teorema A & B): Il lavoro dimostra che lo schema di Hilbert logaritmico $\text{Hilb}^n(C|D)$ è ottenuto dal prodotto simmetrico classico $\text{Sym}^n(C)$ tramite una sequenza di $n \cdot \ell$ esplosioni pesate iterate.

  • I centri di queste esplosioni sono esplicitamente identificati come sottostack chiusi $Z_i$ che parametrizzano subschemi con un numero specifico di punti supportati sugli estremi delle bolle.
  • I pesi delle esplosioni sono determinati essere $(1, \dots, i)$, dove $i$ è il numero di punti supportati sul specifico estremo.
  • Ciò fornisce un'interpretazione modulare dei centri e dei pesi delle esplosioni, collegandoli alle condizioni di stabilità dei subschemi.

• Anelli di Chow Integrali (Teorema D): Gli autori forniscono una presentazione esplicita dell'anello di Chow integrale $\text{CH}^\bullet(\text{Hilb}^n(C|D)_{\leq i})$.

  • L'anello è generato dall'anello di Chow del prodotto simmetrico $\text{CH}^\bullet(\text{Sym}^n(C))$ e dalle classi dei divisori eccezionali $\epsilon_j^{(r)}$ introdotti ad ogni esplosione pesata.
  • Le relazioni sono date da polinomi $Q_{m,h}$ (derivati dalle classi di Chern topiche dei fibrati normali) e dai nuclei delle mappe di pullback dai prodotti simmetrici.
  • Questo risultato generalizza calcoli precedenti per casi specifici e offre una descrizione completa per curve lisce e divisori arbitrari.

• Struttura Torica (Corollario C): Per il caso $C = \mathbb{P}^1$ e $D \leq 0 + \infty$, il lavoro stabilisce che gli stack di Hilbert logaritmici sono stack torici. Il ventaglio di $\text{Hilb}^n(\mathbb{P}^1|0)$ è descritto come una suddivisione stellare successiva del ventaglio di $\mathbb{P}^n$ lungo raggi specifici corrispondenti ai centri di esplosione.

• Funzioni Generatrici (Teorema E): Utilizzando la stratificazione dello spazio dei moduli per le lunghezze dei subschemi sulle componenti a bolla, gli autori calcolano la funzione generatrice per le classi $[\text{Hilb}^n(C|D)] nell'anello di Grothendieck delle varietà.

  • La formula è data da: $\sum_{n \geq 0} [\text{Hilb}^n(C|D)] t^n = Z_C(t) \left( \frac{(1-Lt)(1-t)}{1-(L+1)t} \right)^\ell$, dove $Z_C(t)$ è la funzione zeta motivica di $C$.
  • Specializzando ciò si ottengono formule esplicite per le caratteristiche di Eulero e altri invarianti.

Significato e Affermazioni
Gli autori collocano questo lavoro come il primo esempio concreto che collega spazi dei moduli logaritmici a spazi dei moduli non logaritmici ben studiati.

• Interpretazione di Incrocio di Muri: La descrizione tramite esplosioni pesate iterate è inquadrata come un "incrocio di muri in stile VGIT" tra gli schemi di Hilbert logaritmici e classici, dove i quozienti Gm derivano dall'azione del "toro di gomma".
• Utilità Computazionale: Riducendo la geometria complessa degli schemi di Hilbert logaritmici a una sequenza di esplosioni pesate, il lavoro fornisce un metodo sistematico per calcolare invarianti di teoria dell'intersezione (anelli di Chow, caratteristiche di Eulero) che erano precedentemente difficili da accedere.
• Ruolo Fondamentale: Il lavoro afferma che $\text{Hilb}^n(C|D)$ funge da modello locale per costruzioni più generali in geometria enumerativa che coinvolgono degenerazioni. La descrizione esplicita delle strati di frontiera e l'interpretazione modulare dei centri di esplosione sono presentate come passi essenziali per comprendere la geometria globale di questi spazi.
• Direzioni Future: Gli autori suggeriscono che la prospettiva delle esplosioni pesate è applicabile ai prodotti simmetrici logaritmici generali e potrebbe portare a formule di confronto tra invarianti enumerativi di spazi dei moduli logaritmici e non logaritmici, in particolare nel contesto di curve e superfici nodali.

Il lavoro non afferma di risolvere la geometria enumerativa generale delle curve, ma fornisce piuttosto l'infrastruttura geometrica e coomologica necessaria (il "modello locale") per affrontare tali problemi tramite degenerazioni.