Newton-Okounkov bodies for nested Hilbert schemes

Sintesi Tecnica: Corpi di Newton-Okounkov per gli Ilemori di Hilbert Annidati

Enunciato del Problema
Questo articolo investiga la geometria dei fasci di linee sul lembo di Hilbert annidato di punti sul piano affine, denotato come $\text{Hilb}_{n,n+1}(\mathbb{C}^2)$. Questo spazio moduli parametrizza coppie di ideali $J \subset I \subset \mathbb{C}[x, y]$ tali che $\dim \mathbb{C}[x, y]/I = n$ e $\dim \mathbb{C}[x, y]/J = n+1$. L'obiettivo primario è descrivere esplicitamente gli spazi delle sezioni globali dei naturali fasci di linee $\mathcal{O}(m, k)$ su questo spazio, costruire basi esplicite per queste sezioni e calcolare i relativi corpi di Newton-Okounkov. Mentre la geometria dello standard lembo di Hilbert $\text{Hilb}_n(\mathbb{C}^2)$ e delle sue sezioni (tramite il lavoro di Haiman) è ben compresa, il caso annidato presenta una complessità aggiuntiva dovuta all'interazione tra i due sottoschemi.

Metodologia
Gli autori impiegano una combinazione di geometria birazionale, teoria delle rappresentazioni e algebra combinatoria per colmare il divario tra il lembo di Hilbert annidato e il lembo di Hilbert di un blow-up.

1. Riduzione Birazionale: Gli autori stabiliscono prima una decomposizione $\text{Hilb}_{n,n+1}(\mathbb{C}^2) \simeq \mathbb{C}^2 \times \text{Hilb}_{n,n+1}^0(\mathbb{C}^2)$, dove quest'ultimo è la fibra sopra l'origine. Costruiscono poi una mappa birazionale tra $\text{Hilb}_{n,n+1}^0(\mathbb{C}^2)$ e $\text{Hilb}_n(\text{Bl}_0\mathbb{C}^2)$, il lembo di Hilbert di punti sul blow-up del piano nell'origine. Fondamentalmente, dimostrano che queste varietà sono isomorfe al di fuori di un locus di codimensione-2. Poiché entrambe le varietà sono lisce e normali, questo isomorfismo si estende a un'identificazione delle loro sezioni globali di fasci di linee.
2. Traduzione Algebrica: Utilizzando l'isomorfismo con $\text{Hilb}_n(\text{Bl}_0\mathbb{C}^2)$, il problema viene tradotto nel linguaggio dei polinomi. Le sezioni sul blow-up vengono identificate con un sottospazio specifico di polinomi antisimmetrici soddisfacendo vincoli di supporto (relativi al divisore eccezionale).
3. Trasformazione di Coordinate: Viene introdotto un omomorfismo di anelli $\phi$, che sposta le variabili $x_i \mapsto x_i - x$ e $y_i \mapsto y_i - y$. Questa operazione algebrica corrisponde allo spostamento geometrico del punto distinto nella coppia annidata. Ciò permette agli autori di mappare le sezioni sul blow-up nuovamente sul lembo di Hilbert annidato, identificandole con l'intersezione di specifici ideali in un anello polinomiale.
4. Analisi Combinatoria dei Termini di Coda: Per trovare basi esplicite, gli autori analizzano i "termini di coda" (trailing terms) dei polinomi rispetto a un ordine di monomi lessicografico specifico ($x < y < x_1 < \dots < x_n < y_1 < \dots < y_n$). Caratterizzano l'insieme dei vettori di esponenti che possono apparire come termini di coda. Ciò comporta la definizione di un'operazione di "$k$-lift" su insiemi di punti interi e la dimostrazione che i termini di coda di prodotti di determinanti corrispondono a somme di questi insiemi elevati.

Contributi Chiave e Risultati

• Identificazione delle Sezioni Globali (Teorema 1.1 & 3.14): Gli autori dimostrano che le sezioni globali di $\mathcal{O}(m, k)$ su $\text{Hilb}_{n,n+1}(\mathbb{C}^2)$ sono isomorfe alla componente $\text{sgn}(m+k)$ dell'intersezione di due ideali: $J_{m+k} \cap I_k$. Qui, $J$ è l'ideale generato dalle differenze di variabili (relativo allo standard lembo di Hilbert) e $I$ è l'ideale generato da $(x_i - x, y_i - y)$.
• Basi Esplicite tramite Termini di Coda (Teorema 1.4 & 4.4): Il saggio fornisce una completa caratterizzazione combinatoria dei termini di coda di queste sezioni. Un monomio $x^a y^b \prod x_i^{a_i} y_i^{b_i}$ è un termine di coda se e solo se gli esponenti soddisfano un insieme specifico di disuguaglianze che coinvolgono i parametri $m$ e $k$. Queste disuguaglianze definiscono un insieme poliedrico $P(m+k, k)$.
• Serie di Hilbert (Corollario 1.5 & 4.13): Utilizzando la caratterizzazione dei termini di coda, gli autori derivano una formula per la serie di Hilbert dello spazio delle sezioni come una somma pesata su punti interi nell'insieme poliedrico $P(m+k, k)$. Notano che questa formula combinatoria concorda con i risultati ottenuti tramite la formula di localizzazione di Atiyah-Bott, portando a non banali identità combinatorie.
• Corpi di Newton-Okounkov (Teorema 1.6 & Corollario 4.18): Gli autori calcolano il corpo di Newton-Okounkov per il fascio di linee $\mathcal{O}(m, k)$ rispetto alla valutazione definita dal termine di coda lessicografico. Mostrano che questo corpo è il prodotto $\mathbb{R}^2_{\geq 0} \times \Delta(m+k, k)$, dove $\Delta(m+k, k)$ è il poliedro definito dalla versione asintotica delle disuguaglianze dei termini di coda.

Significatività
Il saggio fornisce un quadro algebrico e combinatorio concreto per comprendere la geometria dei lembi di Hilbert annidati, uno spazio meno compreso rispetto allo standard lembo di Hilbert. Stabilendo un legame birazionale con il lembo di Hilbert di un blow-up, gli autori sfruttano risultati noti per risolvere il problema per il caso annidato. La descrizione esplicita delle basi e il calcolo dei corpi di Newton-Okounkov offrono nuovi strumenti per studiare la geometria asintotica di questi spazi moduli. Gli autori suggeriscono che la combinatoria dei poliedri risultanti possa essere correlata ai fenomeni di wall-crossing nella geometria birazionale dei lembi di Hilbert annidati, come studiato da Nakajima e Yoshioka, sebbene tale connessione sia presentata come un'aspettativa piuttosto che un risultato provato all'interno del testo.