Hilbert polynomials of the first and second secant varieties

Technische Samenvatting: Hilbert-polynomen van de eerste en tweede secantevariëteiten

Probleemstelling
Het artikel behandelt de berekening van de cohomologiegroepen van symmetrische machten van het tautologische bundel $E_{k+1,L}$ op het Hilbert-schema van punten $X[k+1]$ voor een gladde projectieve complexe variëteit $X$ van dimensie $n$. Specifiek richten de auteurs zich op het geval waarin $k=1$ en $k=2$ (corresponderend met Hilbert-schema's van 2 en 3 punten) en een willekeurig geheel getal $\ell \geq 1$. De bundel $E_{k+1,L}$ is geassocieerd met een voldoende positieve lijnbundel $L$ op $X$.

Hoewel de eerdere literatuur deze cohomologiegroepen uitvoerig heeft bestudeerd voor krommen ($n=1$) of kleine waarden van $n$ en $\ell$, richt dit werk zich op de generalisatie naar willekeurige dimensie $n$ en willekeurige symmetrische macht $\ell$, onder de aanname dat $L$ voldoende positief is. Het uiteindelijke doel is om de dimensies van deze cohomologiegroepen uit te drukken in termen van de Hilbert-polynomen van de eerste en tweede secantevariëteiten van de inbedding gedefinieerd door $L$.

Methodologie
De auteurs hanteren een geometrische aanpak die het Hilbert-schema van punten verbindt met secantevariëteiten via projectieve bundels en birationale morfismen.

1. Geometrische Opzet:

   • Laat $B_k = \mathbb{P}(E_{k+1,L})$ de projectieve bundel over $X[k+1]$ zijn. Het volledige lineaire systeem van de tautologische lijnbundel $\mathcal{O}_{B_k}(1)$ induceert een birationaal morfisme $\alpha_{k+1}: B_{k+1} \to \Sigma_k$, waarbij $\Sigma_k$ de $k$-de secantevariëteit is van $X$ ingebed in $\mathbb{P}H^0(X, L)$.
   • Voor $k=1, 2$ dient $\alpha_{k+1}$ als een resolutie van singulariteiten voor $\Sigma_k$. De auteurs maken gebruik van het feit dat voor voldoende positieve $L$, de hogere cohomologiegroepen van de structuurhekel van de secantevariëteit verdwijnen ($H^i(\Sigma_k, \mathcal{O}_{\Sigma_k}(\ell)) = 0$ voor $i>0, \ell>0$).

2. Leray-spectrale rij en Directe Beelden:

   • De cohomologiegroepen $H^i(X[k+1], S^\ell E_{k+1,L})$ worden geïdentificeerd met $H^i(B_{k+1}, \mathcal{O}_{B_{k+1}}(\ell))$.
   • Met behulp van de Leray-spectrale rij voor het morfisme $\alpha_{k+1}$ reduceert het probleem tot het berekenen van de hogere directe beelden $R^i \alpha_{k+1, *} \mathcal{O}_{B_{k+1}}$.
   • De auteurs berekenen deze directe beelden expliciet door de uitzonderlijke divisors van de resolutie te analyseren. Voor $k=1$ (secantevariëteit $\Sigma_1$) is de uitzonderlijke divisor de universele familie $Z_2$ (de opblazing van $X \times X$ langs de diagonaal). Voor $k=2$ (secantevariëteit $\Sigma_2$) omvat de analyse een geneste reeks opblazingen en de universele familie over $X[3]$.

3. Berekening van Hilbert-polynomen:

   • Zodra de directe beelden zijn bepaald, wordt de Euler-karakteristiek $\chi(\mathcal{O}_{\Sigma_k}(\ell))$ (die gelijk is aan het Hilbert-polynoom $P_{\Sigma_k}(\ell)$ voor $\ell \geq 1$) berekend via korte exacte rijen die de structuurhekel van de secantevariëteiten, hun singuliere loci en de projectieve bundels met elkaar verbinden.
   • De auteurs maken gebruik van de K"unneth-formule en eigenschappen van opblazingen (specifiek gerelateerd aan de uitzonderlijke divisors $F_1$ en $F_2$) om deze Euler-karakteristieken uit te drukken in termen van de Euler-karakteristieken van tensorproducten van symmetrische machten van het cotangentie-bundel $\Omega_X$ en machten van $L$.
   • Tot slot wordt Lagrange-interpolatie toegepast op de berekende waarden bij specifieke gehele punten om de algemene polynoomvorm voor willekeurige $\ell$ af te leiden.

Belangrijkste Resultaten

• Stelling 1.1 (Beschrijving van Cohomologie):
  Het artikel biedt expliciete beschrijvingen van de cohomologiegroepen $H^i(X[2], S^\ell E_{2,L})$ en $H^i(X[3], S^\ell E_{3,L})$.

  • Voor $X[2]$ is de cohomologie alleen niet-nul voor $0 \leq i \leq n$. De groep $H^0$ correspondeert met de secties van de lijnbundel op de eerste secantevariëteit $\Sigma_1$, terwijl hogere groepen tensorproducten zijn van $H^i(X, \mathcal{O}_X)$ en secties van $\mathcal{O}_X(\ell)$.
  • Voor $X[3]$ loopt de cohomologie tot $i=2n$. De groepen worden uitgedrukt als directe sommen die cohomologie van $X$, $X[2]$ en secties van lijnbundels op $\Sigma_1$ en $\Sigma_2$ omvatten.

• Stelling 1.2 (Hilbert-polynomen):
  De auteurs leiden volledige formules af voor de Hilbert-polynomen $P_{\Sigma_1}(\ell)$ en $P_{\Sigma_2}(\ell)$.

  • Deze polynomen worden uitgedrukt in termen van:
    • $\Gamma = \sum (-1)^n h^p(X, \mathcal{O}_X)$ (gerelateerd aan de holomorfe Euler-karakteristiek).
    • $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)$.
  • De formules omvatten eindige sommen en producten van deze invarianten, waardoor een gesloten uitdrukking wordt verkregen voor de Hilbert-functie van de secantevariëteiten.

Betekenis en Beweringen
Het artikel claimt een generalisatie naar hogere dimensies te bieden van bestaande resultaten in de literatuur, specifiek door [10, Theorem 4.2] en [10, Theorem 4.4] uit te breiden, die beperkt waren tot het geval waarin $X$ een kromme is.

• Aanvulling op Literatuur: De resultaten vullen bestaande studies aan die zich richtten op kleine $n$ en $\ell$ door willekeurige $n$ en $\ell$ te behandelen (voor $k=1, 2$).
• Generalisatie van Graadformules: De auteurs merken op dat hoewel de graden van $\Sigma_1$ en $\Sigma_2$ eerder bekend waren (met verwijzing naar [11] en [4]), hun werk een "verreikende generalisatie" biedt door de volledige Hilbert-polynomen te berekenen, en niet alleen de graden.
• Methodologische Bijdrage: Het artikel demonstreert een strategie voor het berekenen van de cohomologie van symmetrische machten van tautologische bundels via secantevariëteiten in hogere dimensies, een taak die aanzienlijk ingewikkelder argumenten vereist dan het geval van krommen (waar Lagrange-interpolatie op een klein bereik van waarden volstond).

De auteurs behouden een bescheiden toon wat betreft de reikwijdte, en merken op dat de aanname dat $L$ "voldoende positief" is, noodzakelijk is voor de gebruikte verdwijningsstellingen (Stelling 2.2) en dat de resultaten voor $k=1, 2$ de primaire focus vormen, met een korte bespreking over het uitbreiden van de methode naar oppervlakken met willekeurige $k$ in Opmerking 3.2.