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

Technische Samenvatting: Effectieve Resultaten over de Projectieve Normaliteit van de Eerste en Tweede Secante Variëteiten

Probleemstelling
Laat $X$ een glad projectief complex variëteit zijn van dimensie $n$, ingebed in $\mathbb{P}^r$ via het volledige lineaire systeem van een zeer ample lijnbundel $L$. De $k$-de secante variëteit, $\Sigma_k(X, L)$, is de afsluiting van de vereniging van de lineaire spanningsvlakken van $k+1$ punten op $X$. Een centraal probleem in de algebraïsche meetkunde is het bepalen van de geometrische en cohomologische eigenschappen van deze secante variëteiten, specifiek hun singulariteiten en de generatie van hun definiërende idealen.

Vorig werk door Chou–Song, Ullery, Ein–Niu–Park, en Choi–Lacini–Sheridan–Park heeft vastgesteld dat $\Sigma_k$, voor voldoende positieve lijnbundels, milde singulariteiten bezit (normaal Du Bois) en projectief normaal is. Deze resultaten waren echter vaak niet-effectief of ontbrak het aan expliciete grenzen voor de vereiste positiviteit. Bovendien is bekend dat het homogene ideaal $I(\Sigma_k)$ onder bepaalde condities wordt gegenereerd in graad $k+2$, maar effectieve criteria voor deze generatie, en specifiek voor generatie door $3 \times 3$-minoren van een catalectantische matrix (een conjectuur van Eisenbud–Koh–Stillman en Sidman–Smith), bleven voor hogere dimensies nog niet volledig gekwantificeerd.

Dit artikel beoogt effectieve grenzen vast te stellen voor de positiviteit van de inbeddingslijnbundel $L$ om het volgende te waarborgen:

1. Projectieve normaliteit en normale Du Bois singulariteiten voor de eerste ($\Sigma_1$) en tweede ($\Sigma_2$) secante variëteiten.
2. Generatie van het definiërende ideaal $I(\Sigma_1)$ door kubieken.
3. Generatie van $I(\Sigma_1)$ door $3 \times 3$-minoren van een matrix van lineaire vormen (de catalectantische matrix).

De auteurs gaan uit van $n \ge 2$, aangezien scherpe effectieve resultaten voor krommen ($n=1$) eerder zijn vastgesteld door Ein–Niu–Park en Agostini–Park.

Methodologie
De bewijzen steunen op een cohomologische benadering die is ontwikkeld in eerder werk door de auteurs en hun medewerkers. De strategie bestaat uit het reduceren van de geometrische eigenschappen van de secante variëteiten tot cohomologie-verdwijningsstellingen voor vectorbundels op Hilbert-schema's van punten en geneste Hilbert-schema's van punten.

Belangrijke technische componenten zijn:

• Hilbert-schema's: De auteurs maken gebruik van het Hilbert-schema van $k$ punten, $X[k]$, en het geneste Hilbert-schema $X[k_1, \dots, k_\ell]$. Zij beschouwen de tautologische bundels $E_{k,L}$ geassocieerd met de lijnbundel $L$.
• Resolutie van Singulariteiten: De secante variëteit $\Sigma_k$ wordt gerealiseerd als het beeld van een birationele morfisme $\alpha_k: B_k \to \Sigma_k$, waarbij $B_k = \mathbb{P}(E_{k+1, L})$ een projectieve bundel is over $X[k+1]$. De singulariteiten van $\Sigma_k$ worden geanalyseerd via de exceptionele divisoren van deze resolutie.
• Cohomologie-verdwijning: De kern van het argument behelst het bewijzen van de verdwijning van hogere cohomologiegroepen $H^i$ voor specifieke vectorbundels op $X[k]$ en geneste schema's. Deze verdwijningstellingen worden afgeleid met behulp van de Kawamata–Viehweg verdwijningstelling.
• Positiviteitscondities: De lijnbundel $L$ wordt aangenomen van de vorm $L = \omega_X \otimes H^m \otimes B$, waarbij $H$ zeer ample is, $B$ nef is, en $m$ een geheel getal is. De auteurs bepalen het minimale geheel getal $m$ dat vereist is om de noodzakelijke bundels "nef en groot" te maken of om specifieke ampleness-condities te vervullen (bijv. $(k-1)$-zeer ample) om verdwijning te triggeren.
• Singulariteiten van Schema's: Een cruciaal ingrediënt is het feit dat de geneste Hilbert-schema's $X[1,2,3]$ en $X[1,2,3,4]$ Gorenstein canonieke singulariteiten bezitten, een resultaat dat in de literatuur is vastgesteld ([7], [8]). Deze eigenschap is essentieel voor het toepassen van verdwijningstellingen en het analyseren van de Du Bois-aard van de singulariteiten.

Belangrijkste Bijdragen en Resultaten

1. Effectieve Grenzen voor Projectieve Normaliteit en Singulariteiten (Stelling 1.1)
Het artikel stelt vast dat voor $n \ge 2$, indien $L = \omega_X \otimes H^m \otimes B$ met $m \ge 2n + 2$ (voor $k=1$) of $m \ge 3n + 3$ (voor $k=2$), dan:

• $\Sigma_k$ normale Du Bois singulariteiten heeft.
• $\Sigma_k$ projectief normaal is.
• Hogere cohomologiegroepen $H^i(\Sigma_k, \mathcal{O}_{\Sigma_k}(\ell))$ verdwijnen voor $i > 0, \ell > 0$.
• $\Sigma_k$ Cohen–Macaulay is (respectievelijk heeft rationale singulariteiten) indien en slechts indien $H^i(X, \mathcal{O}_X) = 0$ voor $1 \le i \le n-1$ (respectievelijk $1 \le i \le n$).

Dit resultaat verbetert de eerdere niet-effectieve grenzen en bevestigt dat $m \ge 2n + 2$ volstaat voor de projectieve normaliteit van $\Sigma_1$.

2. Generatie door Kubieken (Stelling 1.2)
De auteurs leveren een effectieve conditie voor het genereren van het homogene ideaal $I(\Sigma_1)$ door kubieken.

• Resultaat: Indien $m \ge 3n + 2$, dan wordt $I(\Sigma_1(X, L))$ gegenereerd door kubieken.
• Methode: Dit wordt bewezen door de verdwijning van specifieke Koszul-cohomologiegroepen $K_{1,q}(\Sigma_1, \mathcal{O}_{\Sigma_1}(1))$ voor $q \ge 3$ aan te tonen, wat reduceert tot cohomologie-verdwijning op $X[2]$ met betrekking tot de buitenste machten van de kernelbundel $M_{2,L}$.

3. Determinantische Presentatie (Stelling 1.3)
Het artikel maakt de conjectuur van Agostini–Park (dat $I(\Sigma_k)$ wordt gegenereerd door $(k+2) \times (k+2)$-minoren van een catalectantische matrix) effectief voor $k=1$.

• Resultaat: Laat $L = L_1 \otimes L_2$ waarbij $L_i = \omega_X \otimes H^{m_i} \otimes B_i$. Indien $m_1, m_2 \ge 3n + 2$, dan wordt $I(\Sigma_1(X, L))$ gegenereerd door de $3 \times 3$-minoren van de catalectantische matrix $Cat(L_1, L_2)$.
• Methode: Het bewijs toont de surjectiviteit aan van een lineaire afbeelding van het tensorproduct van globale secties naar het graad 3 deel van het ideaal. Deze surjectiviteit wordt gereduceerd tot cohomologie-verdwijning op $X[2]$ en $X[2,3]$ met betrekking tot symmetrische en buitenste machten van kernelbundels.

Betekenis
Het artikel biedt effectieve, kwantitatieve drempels voor de positiviteit van lijnbundels die gewenste geometrische eigenschappen van secante variëteiten garanderen. Door over te stappen van kwalitatieve "voldoende positieve" uitspraken naar expliciete grenzen die de dimensie $n$ bevatten, maken de resultaten de theorie toepasbaar op concrete berekeningen en specifieke variëteiten.

Specifiek:

• Verfijnt het begrip van de singulariteiten van secante variëteiten, en bevestigt dat deze Du Bois zijn onder expliciete condities.
• Lost de effectieve versie van de conjectuur betreffende de determinantische presentatie van de eerste secante variëteit op voor $n \ge 2$, waarmee eerdere resultaten die bekend waren voor krommen of specifieke inbeddingen (zoals de Veronese-inbedding) worden uitgebreid.
• Verenig de benadering van projectieve normaliteit, de generatie van idealen en de analyse van singulariteiten via een robuust cohomologisch kader op Hilbert-schema's, waarbij gebruik wordt gemaakt van de Gorenstein canonieke aard van geneste Hilbert-schema's.

De auteurs merken op dat hun resultaten consistent zijn met en generaliseren van eerdere bevindingen voor krommen en specifieke gevallen, terwijl zij de eerste effectieve grenzen bieden voor hogere-dimensionale variëteiten in de context van de determinantische presentatie-conjectuur.