Hilbert polynomials of the first and second secant varieties

第一および第二接線多様体のヒルベルト多項式に関する技術的概要

問題提起
本論文は、$n$ 次元の滑らかな射影的複素多様体 $X$ に対する点のヒルベルト scheme $X[k+1]$ 上の自明束 $E_{k+1,L}$ の対称冪のコホモロジー群の計算に取り組む。具体的には、著者らは $k=1$ および $k=2$（それぞれ 2 点および 3 点のヒルベルト scheme に対応）と任意の整数 $\ell \geq 1$ の場合を対象とし、$E_{k+1,L}$ は $X$ 上の十分に正な線束 $L$ に付随する束である。

既存の文献では、曲線 ($n=1$) の場合や $n$ および $\ell$ の小さな値に対するこれらのコホモロジー群が広範に研究されてきたが、本作業は $L$ が十分に正であるという仮定の下で、任意の次元 $n$ および任意の対称冪 $\ell$ への一般化を目指す。究極的な目標は、これらのコホモロジー群の次元を、$L$ によって定義される埋め込みの第一および第二接線多様体のヒルベルト多項式を用いて表現することである。

手法
著者らは、射影束および双有理写像を介して点のヒルベルト scheme と接線多様体を結びつける幾何学的アプローチを採用している。

1. 幾何学的設定:

   • $B_k = \mathbb{P}(E_{k+1,L})$ を $X[k+1]$ 上の射影束とする。自明線束 $\mathcal{O}_{B_k}(1)$ の完全線形系は、$\mathbb{P}H^0(X, L)$ に埋め込まれた $X$ の $k$ 次接線多様体 $\Sigma_k$ への双有理写像 $\alpha_{k+1}: B_{k+1} \to \Sigma_k$ を誘導する。
   • $k=1, 2$ の場合、$\alpha_{k+1}$ は $\Sigma_k$ の特異点解消として機能する。著者らは、$L$ が十分に正であれば、接線多様体の構造層のより高次コホモロジー群が消滅する（$i>0, \ell>0$ に対して $H^i(\Sigma_k, \mathcal{O}_{\Sigma_k}(\ell)) = 0$）という事実を利用する。

2. ルレイのスペクトル系列と直接像:

   • コホモロジー群 $H^i(X[k+1], S^\ell E_{k+1,L})$ は $H^i(B_{k+1}, \mathcal{O}_{B_{k+1}}(\ell))$ と同一視される。
   • 写像 $\alpha_{k+1}$ に対するルレイのスペクトル系列を用いることで、問題は直接像 $R^i \alpha_{k+1, *} \mathcal{O}_{B_{k+1}}$ の計算に帰着する。
   • 著者らは、解消の exceptional 除子を解析することにより、これらの直接像を明示的に計算する。$k=1$（接線多様体 $\Sigma_1$）の場合、exceptional 除子は普遍族 $Z_2$（対角線に沿って $X \times X$ をブローアップしたもの）である。$k=2$（接線多様体 $\Sigma_2$）の場合、解析はネストされたブローアップの列と $X[3]$ 上の普遍族を含む。

3. ヒルベルト多項式の計算:

   • 直接像が決定されると、接線多様体の構造層、その特異点 locus、および射影束に関連する完全系列を通じて、オイラー標数 $\chi(\mathcal{O}_{\Sigma_k}(\ell))$（$\ell \geq 1$ に対してヒルベルト多項式 $P_{\Sigma_k}(\ell)$ に等しい）が計算される。
   • 著者らは、Künneth 公式とブローアップの性質（特に exceptional 除子 $F_1$ および $F_2$ に関連するもの）を利用し、これらのオイラー標数を、余接束 $\Omega_X$ の対称冪のテンソル積と $L$ の冪のオイラー標数を用いて表現する。
   • 最後に、特定の整数点で計算された値に対してラグランジュ補間を適用し、任意の $\ell$ に対する一般的な多項式形式を導出する。

主要な結果

• 定理 1.1（コホモロジーの記述）:
  本論文は、コホモロジー群 $H^i(X[2], S^\ell E_{2,L})$ および $H^i(X[3], S^\ell E_{3,L})$ の明示的な記述を提供する。

  • $X[2]$ に対して、コホモロジーは $0 \leq i \leq n$ の場合にのみ非ゼロとなる。群 $H^0$ は第一接線多様体 $\Sigma_1$ 上の線束の切断に対応し、より高次の群は $H^i(X, \mathcal{O}_X)$ と $\mathcal{O}_X(\ell)$ の切断のテンソル積である。
  • $X[3]$ に対して、コホモロジーは $i=2n$ まで拡張する。これらの群は、$X$ および $X[2]$ のコホモロジー、ならびに $\Sigma_1$ および $\Sigma_2$ 上の線束の切断を含む直和として表現される。

• 定理 1.2（ヒルベルト多項式）:
  著者らは、ヒルベルト多項式 $P_{\Sigma_1}(\ell)$ および $P_{\Sigma_2}(\ell)$ に対する完全な公式を導出する。

  • これらの多項式は以下の項を用いて表現される：
    • $\Gamma = \sum (-1)^n h^p(X, \mathcal{O}_X)$（正則オイラー標数に関連）。
    • $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)$。
  • 公式はこれらの不変量の有限和および積を含み、接線多様体のヒルベルト関数に対する閉形式の式を提供する。

意義と主張
本論文は、既存の文献における結果のより高次元への一般化を提供すると主張しており、特に $X$ が曲線である場合に限定されていた [10, Theorem 4.2] および [10, Theorem 4.4] を拡張するものである。

• 文献への補完: 本結果は、$n$ および $\ell$ の小さな値に焦点を当てた既存の研究を補完するものであり、$k=1, 2$ に対して任意の $n$ および $\ell$ を扱う。
• 次数公式の一般化: 著者らは、$\Sigma_1$ および $\Sigma_2$ の次数は以前から知られていた（[11] および [4] を引用）と指摘するが、次数だけでなく完全なヒルベルト多項式を計算することで、「広範な一般化」を提供すると述べる。
• 方法的貢献: 本論文は、より高次元において接線多様体を介して自明束の対称冪のコホモロジーを計算するための戦略を示しており、この作業は曲線の場合（小さな範囲の値に対するラグランジュ補間で十分であった）よりも実質的に複雑な議論を必要とする。

著者らは、対象範囲について謙虚な態度を維持しており、$L$ が「十分に正」であるという仮定は使用される消滅定理（定理 2.2）に必要であり、$k=1, 2$ の結果が主要な焦点であることを指摘している。また、注記 3.2 において、任意の $k$ に対する曲面への手法の拡張について簡潔に議論している。