Newton-Okounkov Bodies and Jet Separation: Canonical-Free and Multipoint Generalizations

Sintesi Tecnica: Corpi di Newton-Okounkov e Separazione dei Getti: Generalizzazioni Senza Canonicità e Multi-punto

Enunciato del Problema
Il lavoro affronta il problema di stabilire criteri efficaci per la separazione dei $k$-getti (e di conseguenza l'amplificazione dei $k$-getti) su varietà proiettive lisce utilizzando la geometria convessa dei corpi di Newton-Okounkov (NO). Nello specifico, mira a generalizzare il criterio esistente di separazione dei getti di K¨uronya e Lozovanu, che si basa sull'inclusione di un simplesso standard invertito all'interno di un corpo di Newton-Okounkov infinitesimale.

Il criterio esistente (Teorema 1.1 nel lavoro, citando [15]) afferma che se un simplesso standard invertito di dimensione $n+k+\varepsilon$ è contenuto nel corpo NO infinitesimale di un divisore $D$ in un punto $x$, allora il fascio aggiunto $K_X + D$ separa i $k$-getti in $x$. Il lavoro identifica tre limitazioni in questo quadro esistente che motivano il presente studio:

1. Dipendenza dal Divisore Canonico: Il criterio si applica a $K_X + D$ piuttosto che al divisore $D$ stesso, complicando le applicazioni dirette alle questioni di positività relative a $D$.
2. Restrizione a Singolo Punto: Il criterio è formulato per un singolo punto, mentre molti problemi geometrici (ad esempio, il Grande Teorema di Matsusaka) richiedono la separazione simultanea dei getti in più punti prescritti.
3. Mancanza di Calcolabilità: Il ricorso a $K_X$ spesso oscura i limiti effettivi richiesti affinché $D$ raggiunga specifiche proprietà di separazione dei getti.

Metodologia
Il lavoro impiega la teoria dei corpi di Newton-Okounkov, estendendo specificamente il quadro dei corpi NO infinitesimali e multi-punto. La metodologia integra i seguenti componenti:

• Corpi NO Infinitesimali e Multi-punto: Gli autori utilizzano la costruzione dei corpi NO associati a flag infinitesimali (schiacciamenti in punti) e estendono questo alle configurazioni multi-punto attraverso il quadro di Trusiani [13]. Ciò comporta la definizione di semigradi graduati basati su valutazioni che distinguono le sezioni in punti distinti.
• Geometria Convessa e Inclusione del Simplesso: La condizione geometrica fondamentale rimane l'inclusione di un simplesso standard invertito $\Delta^{-1}_{n+k+\varepsilon}$ all'interno del corpo NO rilevante. Il lavoro sfrutta la relazione tra la dimensione di questo simplesso e l'ordine della separazione dei getti.
• Teoremi di Annullamento: Le dimostrazioni si basano pesantemente sull'annullamento di Nadel per gli ideali moltiplicatori asintotici. La strategia consiste nel costruire un divisore ausiliario $B$ tale che l'origine giaccia nel suo corpo NO, garantendo che il luogo base asintotico eviti i divisori eccezionali dello schiacciamento. Ciò permette l'applicazione di teoremi di annullamento per dimostrare la suriettività delle mappe di restrizione necessarie per la separazione dei getti.
• Subadditività e Traslazione: Per i risultati senza canonicità, il lavoro utilizza la proprietà di subadditività dei corpi NO e il fatto che i divisori ampi hanno corpi NO contenenti l'origine. Ciò permette la traslazione delle condizioni da un divisore "senza canonicità" al fascio aggiunto richiesto dai teoremi di annullamento.

Contributi e Risultati Chiave
Il lavoro presenta tre teoremi principali che generalizzano il criterio di K¨uronya-Lozovanu:

1. Separazione dei Getti Senza Canonicità (Teorema 3.1):
   Gli autori dimostrano che per un divisore ampio $D$ e un punto $x$, esiste un intero calcolabile $m(D)$ (dipendente solo da $D$) tale che se il simplesso standard invertito di dimensione $n+k+\varepsilon$ è contenuto nel corpo NO di $m\pi^*(D)$, allora il divisore $(m + m(D)) \cdot D$ separa i $k$-getti in $x$. Ciò rimuove la dipendenza esplicita da $K_X$ nella conclusione finale, fornendo un criterio diretto per $D$.

2. Separazione dei Getti Multi-punto (Teorema 3.3):
   Il criterio è esteso a un insieme di punti lisci distinti $Z = \{p_1, \dots, p_N\}$. Se il simplesso standard invertito di dimensione $n+k+\varepsilon$ è contenuto nel corpo NO infinitesimale multi-punto $\Delta_{\tilde{Y}_\bullet, j}(\pi^*(D))$ per ogni $j$, allora $K_X + D$ separa i $k$-getti simultaneamente in tutti i punti di $Z$.

3. Separazione dei Getti Multi-punto Senza Canonicità (Teorema 3.4):
   Combinando le due generalizzazioni precedenti, il lavoro stabilisce un criterio per la separazione simultanea dei $k$-getti in più punti per un divisore della forma $(m + m(D)) \cdot D$. Questo risultato fornisce un quadro computazionale per testare fenomeni di positività tramite geometria convessa senza fare affidamento sul fascio aggiunto nell'enunciato finale.

Calcolo Esplicito e Applicazione
Per dimostrare l'efficacia di questi criteri, il lavoro fornisce un calcolo esplicito per un doppio ricoprimento di un prodotto di due curve ellittiche ($Y \to E \times E$).

• Gli autori calcolano la soglia $m(D_\ell)$ necessaria per rendere ampio $m(D_\ell)D_\ell - K_Y$.
• Calcolano la dimensione rilevante del corpo NO utilizzando le costanti di Seshadri sulla base della superficie abeliana.
• Il risultato produce un limite numerico concreto: $(\ell^2 - 2\ell + 7)D_\ell$ è 1-getto ampio (molto ampio) sul doppio ricoprimento. Ciò illustra come i multipli richiesti crescano con l'ordine del getto e i parametri del ricoprimento.

Significato
Il lavoro rivendica importanza nel fornire criteri combinatori e di geometria convessa per la separazione dei getti che sono:

• Senza Canonicità: Consentendo l'applicazione diretta al fascio di linee $L$ stesso piuttosto che a $K_X + L$.
• Multi-punto: Capacità di gestire la separazione simultanea in più punti, essenziale per questioni di positività globale come il Grande Teorema di Matsusaka.
• Calcolabili: Offrendo limiti espliciti (tramite $m(D)$) che possono essere calcolati per esempi geometrici specifici, come dimostrato nel caso del doppio ricoprimento.

Il lavoro contribuisce alla filosofia di utilizzare la geometria convessa (corpi NO) per risolvere problemi classici in geometria algebrica riguardanti la positività effettiva dei fasci di linee. Colma il divario tra nozioni di positività locale (separazione dei getti) e invarianti geometrici globali attraverso la lente delle valutazioni infinitesimali e multi-punto.