Effective results on projective normality of the first and second secant varieties

Sintesi Tecnica: Risultati Efficaci sulla Normalità Proiettiva delle Varietà Secanti Prima e Seconda

Enunciato del Problema
Sia $X$ una varietà complessa proiettiva regolare di dimensione $n$, immersa in $\mathbb{P}^r$ tramite il sistema lineare completo di un fibrato lineare molto ampio $L$. La $k$-esima varietà secante, $\Sigma_k(X, L)$, è la chiusura dell'unione degli span lineari di $k+1$ punti su $X$. Un problema centrale della geometria algebrica è determinare le proprietà geometriche e coomologiche di queste varietà secanti, specificamente le loro singolarità e la generazione dei loro ideali definitori.

Il lavoro precedente di Chou–Song, Ullery, Ein–Niu–Park e Choi–Lacini–Sheridan–Park ha stabilito che, per fibrati lineari sufficientemente positivi, $\Sigma_k$ possiede singolarità lievi (normal Du Bois) ed è proiettivamente normale. Tuttavia, questi risultati erano spesso non effettivi o privi di espliciti vincoli sulla positività richiesta. Inoltre, sebbene sia noto che l'ideale omogeneo $I(\Sigma_k)$ sia generato in grado $k+2$ sotto certe condizioni, i criteri effettivi per questa generazione, e specificamente per la generazione tramite i minori $3 \times 3$ di una matrice catalettica (una congettura di Eisenbud–Koh–Stillman e Sidman–Smith), rimanevano da essere pienamente quantificati per dimensioni superiori.

Questo articolo mira a stabilire limiti effettivi sulla positività del fibrato lineare di immersione $L$ per garantire:

1. Normalità proiettiva e singolarità normal Du Bois per le prime ( $\Sigma_1$) e seconde ($\Sigma_2$) varietà secanti.
2. Generazione dell'ideale definitorio $I(\Sigma_1)$ da cubici.
3. Generazione di $I(\Sigma_1)$ da minori $3 \times 3$ di una matrice di forme lineari (la matrice catalettica).

Gli autori assumono $n \ge 2$, poiché i risultati effettivi precisi per le curve ($n=1$) sono stati precedentemente stabiliti da Ein–Niu–Park e Agostini–Park.

Metodologia
Le dimostrazioni si basano su un approccio coomologico sviluppato nei lavori precedenti dagli autori e dai loro collaboratori. La strategia consiste nel ridurre le proprietà geometriche delle varietà secanti alla vanishing delle coomologie di fibrati vettoriali su schemi di Hilbert di punti e schemi di Hilbert annidati.

Componenti tecniche chiave includono:

• Schemi di Hilbert: Gli autori utilizzano lo schema di Hilbert di $k$ punti, $X[k]$, e lo schema di Hilbert annidato $X[k_1, \dots, k_\ell]$. Considerano i fibrati tautologici $E_{k,L}$ associati al fibrato lineare $L$.
• Risoluzione delle Singolarità: La varietà secante $\Sigma_k$ è realizzata come l'immagine di una morfismo birazionale $\alpha_k: B_k \to \Sigma_k$, dove $B_k = \mathbb{P}(E_{k+1, L})$ è un fibrato proiettivo su $X[k+1]$. Le singolarità di $\Sigma_k$ sono analizzate tramite i divisori eccezionali di questa risoluzione.
• Vanishing della Coomologia: Il nucleo dell'argomento consiste nel dimostrare il vanishing dei gruppi di coomologia superiore $H^i$ per specifici fibrati vettoriali su $X[k]$ e schemi annidati. Questi teoremi di vanishing sono derivati dal teorema di vanishing di Kawamata–Viehweg.
• Condizioni di Positività: Il fibrato lineare $L$ è assunto essere della forma $L = \omega_X \otimes H^m \otimes B$, dove $H$ è molto ampio, $B$ è nef, e $m$ è un intero. Gli autori determinano l'intero minimo $m$ richiesto per garantire che i necessari fibrati siano "nef e big" o soddisfino specifiche condizioni di ampiezza (ad esempio, $(k-1)$-molto ampio) per attivare il vanishing.
• Singolarità degli Schemi: Un ingrediente cruciale è il fatto che gli schemi di Hilbert annidati $X[1,2,3]$ e $X[1,2,3,4]$ possiedono singolarità Gorenstein canoniche, un risultato stabilito nella letteratura precedente ([7], [8]). Questa proprietà è essenziale per applicare i teoremi di vanishing e analizzare la natura Du Bois delle singolarità.

Contributi Chiave e Risultati

1. Limiti Effettivi per Normalità Proiettiva e Singolarità (Teorema 1.1)
L'articolo stabilisce che per $n \ge 2$, se $L = \omega_X \otimes H^m \otimes B$ con $m \ge 2n + 2$ (per $k=1$) o $m \ge 3n + 3$ (per $k=2$), allora:

• $\Sigma_k$ possiede singolarità normal Du Bois.
• $\Sigma_k$ è proiettivamente normale.
• I gruppi di coomologia superiore $H^i(\Sigma_k, \mathcal{O}_{\Sigma_k}(\ell))$ sono nulli per $i > 0, \ell > 0$.
• $\Sigma_k$ è Cohen–Macaulay (rispettivamente ha singolarità razionali) se e solo se $H^i(X, \mathcal{O}_X) = 0$ per $1 \le i \le n-1$ (rispettivamente $1 \le i \le n$).

Questo risultato migliora i precedenti limiti non effettivi e conferma che $m \ge 2n + 2$ è sufficiente per la normalità proiettiva di $\Sigma_1$.

2. Generazione da Cubici (Teorema 1.2)
Gli autori forniscono una condizione effettiva affinché l'ideale omogeneo $I(\Sigma_1)$ sia generato da cubici.

• Risultato: Se $m \ge 3n + 2$, allora $I(\Sigma_1(X, L))$ è generato da cubici.
• Metodo: Ciò è dimostrato mostrando il vanishing di specifici gruppi di coomologia di Koszul $K_{1,q}(\Sigma_1, \mathcal{O}_{\Sigma_1}(1))$ per $q \ge 3$, il che si riduce al vanishing della coomologia su $X[2]$ coinvolgendo le potenze esterne del fibrato kernel $M_{2,L}$.

3. Presentazione Determinantale (Teorema 1.3)
L'articolo rende effettiva la congettura di Agostini–Park (che $I(\Sigma_k)$ sia generato dai minori $(k+2) \times (k+2)$ della matrice catalettica) per $k=1$.

• Risultato: Sia $L = L_1 \otimes L_2$ dove $L_i = \omega_X \otimes H^{m_i} \otimes B_i$. Se $m_1, m_2 \ge 3n + 2$, allora $I(\Sigma_1(X, L))$ è generato dai minori $3 \times 3$ della matrice catalettica $Cat(L_1, L_2)$.
• Metodo: La dimostrazione mostra la suriettività di una mappa lineare dalla parte del prodotto tensore delle sezioni globali alla parte di grado 3 dell'ideale. Questa suriettività è ridotta al vanishing della coomologia su $X[2]$ e $X[2,3]$ coinvolgendo le potenze simmetriche e esterne dei fibrati kernel.

Significato
L'articolo fornisce soglie quantitative effettive per la positività dei fibrati lineari che garantiscono proprietà geometriche desiderabili per le varietà secanti. Passando da affermazioni qualitative di tipo "sufficientemente positivo" a espliciti limiti che coinvolgono la dimensione $n$, i risultati rendono la teoria applicabile a computazioni concrete e varietà specifiche.

In particolare, l'articolo:

• Affina la comprensione delle singolarità delle varietà secanti, confermando che sono Du Bois sotto condizioni esplicite.
• Risolve la versione effettiva della congettura sulla presentazione determinante della prima varietà secante per $n \ge 2$, estendendo i precedenti risultati noti per le curve o per immersioni specifiche (come quelle di Veronese).
• Unifica l'approccio alla normalità proiettiva, alla generazione dell'ideale e all'analisi delle singolarità attraverso un robusto framework coomologico sugli schemi di Hilbert, sfruttando la natura Gorenstein canonica degli schemi di Hilbert annidati.

Gli autori osservano che i loro risultati sono coerenti con e generalizzano i risultati precedenti per le curve e casi specifici, fornendo al contempo i primi limiti effettivi per varietà di dimensione superiore nel contesto della congettura della presentazione determinante.