Hilbert polynomials of the first and second secant varieties

Technische Zusammenfassung: Hilbert-Polynome der ersten und zweiten Sekantenvarietäten

Problemstellung
Der Artikel behandelt die Berechnung der Kohomologiegruppen der symmetrischen Potenzen des tautologischen Bündels $E_{k+1,L}$ auf dem Hilbert-Schema von Punkten $X[k+1]$ für eine glatte projektive komplexe Varietät $X$ der Dimension $n$. Insbesondere konzentrieren sich die Autoren auf den Fall $k=1$ und $k=2$ (entsprechend Hilbert-Schemata von 2 bzw. 3 Punkten) und eine beliebige ganze Zahl $\ell \geq 1$. Das Bündel $E_{k+1,L}$ ist mit einem hinreichend positiven Geradenbündel $L$ auf $X$ assoziiert.

Während die frühere Literatur diese Kohomologiegruppen ausführlich für Kurven ($n=1$) oder kleine Werte von $n$ und $\ell$ untersucht hat, zielt diese Arbeit auf die Verallgemeinerung auf beliebige Dimension $n$ und beliebige symmetrische Potenz $\ell$ ab, unter der Annahme, dass $L$ hinreichend positiv ist. Das ultimative Ziel besteht darin, die Dimensionen dieser Kohomologiegruppen durch die Hilbert-Polynome der ersten und zweiten Sekantenvarietäten der durch $L$ definierten Einbettung auszudrücken.

Methodik
Die Autoren verfolgen einen geometrischen Ansatz, der das Hilbert-Schema von Punkten über projektive Bündel und birationale Morphismen mit Sekantenvarietäten verknüpft.

1. Geometrischer Aufbau:

   • Sei $B_k = \mathbb{P}(E_{k+1,L})$ das projektive Bündel über $X[k+1]$. Das vollständige lineare System des tautologischen Geradenbündels $\mathcal{O}_{B_k}(1)$ induziert einen birationalen Morphismus $\alpha_{k+1}: B_{k+1} \to \Sigma_k$, wobei $\Sigma_k$ die $k$-te Sekantenvarietät von $X$ ist, eingebettet in $\mathbb{P}H^0(X, L)$.
   • Für $k=1, 2$ dient $\alpha_{k+1}$ als Auflösung der Singularitäten für $\Sigma_k$. Die Autoren nutzen die Tatsache, dass für hinreichend positives $L$ die höheren Kohomologiegruppen der Strukturgarbe der Sekantenvarietät verschwinden ($H^i(\Sigma_k, \mathcal{O}_{\Sigma_k}(\ell)) = 0$ für $i>0, \ell>0$).

2. Leray-Spektralsequenz und direkte Bilder:

   • Die Kohomologiegruppen $H^i(X[k+1], S^\ell E_{k+1,L})$ werden mit $H^i(B_{k+1}, \mathcal{O}_{B_{k+1}}(\ell))$ identifiziert.
   • Unter Verwendung der Leray-Spektralsequenz für den Morphismus $\alpha_{k+1}$ reduziert sich das Problem auf die Berechnung der höheren direkten Bilder $R^i \alpha_{k+1, *} \mathcal{O}_{B_{k+1}}$.
   • Die Autoren berechnen diese direkten Bilder explizit durch Analyse der exceptional Divisoren der Auflösung. Für $k=1$ (Sekantenvarietät $\Sigma_1$) ist der exceptional Divisor die universelle Familie $Z_2$ (der Blow-up von $X \times X$ entlang der Diagonalen). Für $k=2$ (Sekantenvarietät $\Sigma_2$) beinhaltet die Analyse eine verschachtelte Folge von Blow-ups und die universelle Familie über $X[3]$.

3. Berechnung der Hilbert-Polynome:

   • Sobald die direkten Bilder bestimmt sind, wird die Euler-Charakteristik $\chi(\mathcal{O}_{\Sigma_k}(\ell))$ (die für $\ell \geq 1$ mit dem Hilbert-Polynom $P_{\Sigma_k}(\ell)$ übereinstimmt) über kurze exakte Sequenzen berechnet, die die Strukturgarben der Sekantenvarietäten, ihrer singulären Orte und der projektiven Bündel miteinander in Beziehung setzen.
   • Die Autoren nutzen die K"unneth-Formel und Eigenschaften von Blow-ups (insbesondere in Bezug auf die exceptional Divisoren $F_1$ und $F_2$), um diese Euler-Charakteristiken durch die Euler-Charakteristiken von Tensorprodukten symmetrischer Potenzen des Kotangentialbündels $\Omega_X$ und Potenzen von $L$ auszudrücken.
   • Schließlich wird Lagrange-Interpolation auf die berechneten Werte an spezifischen ganzzahligen Punkten angewendet, um die allgemeine Polynomform für beliebiges $\ell$ abzuleiten.

Hauptergebnisse

• Satz 1.1 (Beschreibung der Kohomologie):
  Der Artikel liefert explizite Beschreibungen der Kohomologiegruppen $H^i(X[2], S^\ell E_{2,L})$ und $H^i(X[3], S^\ell E_{3,L})$.

  • Für $X[2]$ ist die Kohomologie nur für $0 \leq i \leq n$ ungleich null. Die Gruppe $H^0$ entspricht den Schnitten des Geradenbündels auf der ersten Sekantenvarietät $\Sigma_1$, während höhere Gruppen Tensorprodukte von $H^i(X, \mathcal{O}_X)$ und Schnitten von $\mathcal{O}_X(\ell)$ sind.
  • Für $X[3]$ erstreckt sich die Kohomologie bis $i=2n$. Die Gruppen werden als direkte Summen ausgedrückt, die Kohomologie von $X$, $X[2]$ und Schnitte von Geradenbündeln auf $\Sigma_1$ und $\Sigma_2$ einbeziehen.

• Satz 1.2 (Hilbert-Polynome):
  Die Autoren leiten vollständige Formeln für die Hilbert-Polynome $P_{\Sigma_1}(\ell)$ und $P_{\Sigma_2}(\ell)$ her.

  • Diese Polynome werden ausgedrückt durch:
    • $\Gamma = \sum (-1)^n h^p(X, \mathcal{O}_X)$ (bezogen auf die holomorphe Euler-Charakteristik).
    • $l(a) = \chi(L^a)$.
    • $s_1(a, b) = \chi(S^a \Omega_X \otimes L^b)$.
    • $s_2(a, b, c) = \chi(S^a \Omega_X \otimes S^b \Omega_X \otimes L^c)$.
  • Die Formeln beinhalten endliche Summen und Produkte dieser Invarianten und liefern einen geschlossenen Ausdruck für die Hilbert-Funktion der Sekantenvarietäten.

Bedeutung und Behauptungen
Der Artikel behauptet, eine Verallgemeinerung auf höhere Dimensionen bestehender Ergebnisse in der Literatur zu liefern, die speziell [10, Theorem 4.2] und [10, Theorem 4.4] erweitert, welche auf den Fall beschränkt waren, dass $X$ eine Kurve ist.

• Ergänzung zur Literatur: Die Ergebnisse ergänzen bestehende Studien, die sich auf kleine $n$ und $\ell$ konzentrierten, indem sie beliebige $n$ und $\ell$ behandeln (für $k=1, 2$).
• Verallgemeinerung von Gradformeln: Die Autoren stellen fest, dass die Grade von $\Sigma_1$ und $\Sigma_2$ zwar bereits bekannt waren (unter Bezugnahme auf [11] und [4]), ihre Arbeit jedoch eine „weitreichende Verallgemeinerung" bietet, indem sie die vollständigen Hilbert-Polynome berechnet und nicht nur die Grade.
• Methodischer Beitrag: Der Artikel demonstriert eine Strategie zur Berechnung der Kohomologie symmetrischer Potenzen tautologischer Bündel über Sekantenvarietäten in höheren Dimensionen, eine Aufgabe, die erheblich komplexere Argumente erfordert als im Kurvenfall (wo Lagrange-Interpolation auf einem kleinen Wertebereich ausreichte).

Die Autoren bewahren einen bescheidenen Ton bezüglich des Umfangs und stellen fest, dass die Annahme, $L$ sei „hinreichend positiv", für die verwendeten Verschwindungssätze (Satz 2.2) notwendig ist, und dass die Ergebnisse für $k=1, 2$ im Mittelpunkt stehen, wobei in Bemerkung 3.2 eine kurze Diskussion zur Erweiterung der Methode auf Flächen mit beliebigem $k$ erfolgt.