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

Technische Zusammenfassung: Effektive Ergebnisse zur projektiven Normalität der ersten und zweiten Sekantenvarietäten

Problemstellung
Sei $X$ eine glatte projektive komplexe Varietät der Dimension $n$, die mittels des vollständigen linearen Systems eines sehr ampulären Linienbündels $L$ in $\mathbb P^r$ eingebettet ist. Die $k$-te Sekantenvarietät, $\Sigma_k(X, L)$, ist die Abgeschlossenheit der Vereinigung der linearen Spanne von $k+1$ Punkten auf $X$. Ein zentrales Problem der algebraischen Geometrie besteht darin, die geometrischen und kohomologischen Eigenschaften dieser Sekantenvarietäten zu bestimmen, insbesondere ihre Singularitäten und die Erzeugung ihrer definierenden Ideale.

Vorherige Arbeiten von Chou–Song, Ullery, Ein–Niu–Park sowie Choi–Lacini–Sheridan–Park haben gezeigt, dass $\Sigma_k$ für hinreichend positive Linienbündel milde Singularitäten (normale Du Bois-Singularitäten) besitzt und projektiv normal ist. Diese Ergebnisse waren jedoch oft nicht-effektiv oder ließen explizite Schranken für die erforderliche Positivität vermissen. Darüber hinaus ist zwar bekannt, dass das homogene Ideal $I(\Sigma_k)$ unter bestimmten Bedingungen in Grad $k+2$ erzeugt wird, effektive Kriterien für diese Erzeugung – und speziell für die Erzeugung durch $3 \times 3$-Minoren einer Katalektik-Matrix (eine Vermutung von Eisenbud–Koh–Stillman und Sidman–Smith) – blieben für höhere Dimensionen jedoch noch vollständig zu quantifizieren.

Diese Arbeit zielt darauf ab, effektive Schranken für die Positivität des Einbettungslinienbündels $L$ festzulegen, um Folgendes zu gewährleisten:

1. Projektive Normalität und normale Du Bois-Singularitäten für die erste ($\Sigma_1$) und zweite ($\Sigma_2$) Sekantenvarietät.
2. Erzeugung des definierenden Ideals $I(\Sigma_1)$ durch Kubiken.
3. Erzeugung von $I(\Sigma_1)$ durch $3 \times 3$-Minoren einer Matrix von linearen Formen (der Katalektik-Matrix).

Die Autoren setzen $n \ge 2$ voraus, da scharfe effektive Ergebnisse für Kurven ($n=1$) bereits durch Ein–Niu–Park und Agostini–Park etabliert wurden.

Methodik
Die Beweise stützen sich auf einen kohomologischen Ansatz, der in vorangegangenen Arbeiten der Autoren und ihrer Kollaborateure entwickelt wurde. Die Strategie besteht darin, die geometrischen Eigenschaften der Sekantenvarietäten auf Kohomologieverschwindungssätze für Vektorbündel auf Hilbert-Schemata von Punkten und verschachtelten (nested) Hilbert-Schemata von Punkten zu reduzieren.

Wichtige technische Komponenten sind:

• Hilbert-Schemata: Die Autoren nutzen das Hilbert-Schema von $k$ Punkten, $X[k]$, und das verschachtelte Hilbert-Schema $X[k_1, \dots, k_\ell]$. Sie betrachten die assoziierten tautologischen Bündel $E_{k,L}$ des Linienbündels $L$.
• Singularitätsauflösung: Die Sekantenvarietät $\Sigma_k$ wird als Bild einer birationalen Morphismus $\alpha_k: B_k \to \Sigma_k$ realisiert, wobei $B_k = \mathbb P(E_{k+1, L})$ ein projektives Bündel über $X[k+1]$ ist. Die Singularitäten von $\Sigma_k$ werden über die exceptionalen Divisoren dieser Auflösung analysiert.
• Kohomologieverschwindung: Der Kern des Arguments liegt im Nachweis des Verschwindens höherer Kohomologiegruppen $H^i$ für spezifische Vektorbündel auf $X[k]$ und verschachtelten Schemata. Diese Verschwindungssätze werden unter Verwendung des Kawamata–Viehweg-Verschwindungssatzes hergeleitet.
• Positivitätsbedingungen: Es wird angenommen, dass das Linienbündel $L$ der Form $L = \omega_X \otimes H^m \otimes B$ entspricht, wobei $H$ sehr ampulär und $B$ nef ist und $m$ eine ganze Zahl darstellt. Die Autoren bestimmen die minimale ganze Zahl $m$, die erforderlich ist, um sicherzustellen, dass die notwendigen Bündel „nef und groß“ (nef and big) sind oder spezifische Amplness-Bedingungen erfüllen (z. B. $(k-1)$-ampulär), um das Verschwinden auszulösen.
• Singularitäten von Schemata: Ein entscheidendes Element ist die Tatsache, dass die verschachtelten Hilbert-Schemata $X[1,2,3]$ und $X[1,2,3,4]$ Gorenstein-kanonische Singularitäten besitzen, ein Resultat, das in der bisherigen Literatur ([7], [8]) etabliert wurde. Diese Eigenschaft ist essenziell für die Anwendung von Verschwindungssätzen und die Analyse der Du Bois-Natur der Singularitäten.

Wesentliche Beiträge und Ergebnisse

1. Effektive Schranken für Projektive Normalität und Singularitäten (Theorem 1.1)
Das Paper stellt fest, dass für $n \ge 2$, falls $L = \omega_X \otimes H^m \otimes B$ mit $m \ge 2n + 2$ (für $k=1$) oder $m \ge 3n + 3$ (für $k=2$), gilt:

• $\Sigma_k$ besitzt normale Du Bois-Singularitäten.
• $\Sigma_k$ ist projektiv normal.
• Höhere Kohomologiegruppen $H^i(\Sigma_k, \mathcal{O}_{\Sigma_k}(\ell))$ verschwinden für $i > 0, \ell > 0$.
• $\Sigma_k$ ist Cohen–Macaulay (bzw. besitzt rationale Singularitäten), falls und nur falls $H^i(X, \mathcal{O}_X) = 0$ für $1 \le i \le n-1$ (bzw. $1 \le i \le n$).

Dieses Resultat verbessert die bisherigen nicht-effektiven Schranken und bestätigt, dass $m \ge 2n + 2$ für die projektive Normalität von $\Sigma_1$ ausreicht.

2. Erzeugung durch Kubiken (Theorem 1.2)
Die Autoren liefern eine effektive Bedingung dafür, dass das homogene Ideal $I(\Sigma_1)$ durch Kubiken erzeugt wird.

• Resultat: Wenn $m \ge 3n + 2$, dann wird $I(\Sigma_1(X, L))$ durch Kubiken erzeugt.
• Methode: Dies wird durch den Nachweis des Verschwindens spezifischer Koszul-Kohomologiegruppen $K_{1,q}(\Sigma_1, \mathcal{O}_{\Sigma_1}(1))$ für $q \ge 3$ bewiesen, was sich auf das Verschwinden der Kohomologie auf $X[2]$ unter Einbeziehung der äußeren Potenzen des Kernbündels $M_{2,L}$ reduziert.

3. Determinante Präsentation (Theorem 1.3)
Das Paper macht die Vermutung von Agostini–Park (dass $I(\Sigma_k)$ durch $(k+2) \times (k+2)$-Minoren einer Katalektik-Matrix erzeugt wird) für $k=1$ effektiv.

• Resultat: Sei $L = L_1 \otimes L_2$ mit $L_i = \omega_X \otimes H^{m_i} \otimes B_i$. Wenn $m_1, m_2 \ge 3n + 2$, dann wird $I(\Sigma_1(X, L))$ durch die $3 \times 3$-Minoren der Katalektik-Matrix $Cat(L_1, L_2)$ erzeugt.
• Methode: Der Beweis zeigt die Surjektivität einer linearen Abbildung von dem Tensorprodukt der globalen Schnitte auf den Grad-3-Teil des Ideals. Diese Surjektivität wird auf das Kohomologieverschwinden auf $X[2]$ und $X[2,3]$ unter Einbeziehung symmetrischer und äußerer Potenzen von Kernbündeln reduziert.

Bedeutung
Das Paper liefert effektive, quantitative Schwellenwerte für die Positivität von Linienbündeln, die wünschenswerte geometrische Eigenschaften von Sekantenvarietäten garantieren. Durch den Übergang von qualitativen Aussagen über „hinreichend positive“ Bündel zu expliziten Schranken, die die Dimension $n$ beinhalten, werden die Ergebnisse für konkrete Berechnungen und spezifische Varietäten anwendbar.

Insbesondere:

• Verfeinert das Verständnis der Singularitäten von Sekantenvarietäten und bestätigt, dass diese unter expliziten Bedingungen Du Bois sind.
• Löst die effektive Version der Vermutung bezüglich der determinanten Präsentation der ersten Sekantenvarietät für $n \ge 2$, womit frühere Ergebnisse für Kurven oder spezifische Einbettungen (wie die Veronese-Einbettung) erweitert werden.
• Vereinheitlicht den Ansatz zur projektiven Normalität, zur Erzeugung von Idealen und zur Analyse von Singularitäten durch einen robusten kohomologischen Rahmen auf Hilbert-Schemata, wobei die Gorenstein-kanonische Natur verschachtelter Hilbert-Schemata genutzt wird.

Die Autoren merken an, dass ihre Ergebnisse mit früheren Funden für Kurven und spezifischen Fällen konsistent sind und diese verallgemeinern, während sie die ersten effektiven Schranken für höherdimensionale Varietäten im Kontext der determinanten Präsentationsvermutung liefern.