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

技術要約：第1および第2セカント多様体の射影正規性に関する有効な結果

問題設定
$X$ を $\mathbb{P}^r$ に非常に豊富な線束 $L$ の完全線形系によって埋め込まれた次元 $n$ の滑らかな複素射影多様体とする。$k$ 次セカント多様体 $\Sigma_k(X, L)$ は、$X$ 上の $k+1$ 個の点の線形スパンの閉包である。代数幾何学における中心的な問題は、これらのセカント多様体の幾何学的およびコホモロジー的性質、特にその特異性と定義イデアルの生成を決定することである。

Chou–Song、Ullery、Ein–Niu–Park、およびChoi–Lacini–Sheridan–Parkによる先行研究では、十分に正な線束に対して $\Sigma_k$ が緩やかな特異性（normal Du Bois）を持ち、射影的に正規（projectively normal）であることが確立されている。しかし、これらの結果は非有効（non-effective）であったり、必要な正性の明示的な境界を欠いていたりすることが多かった。さらに、特定の条件下で同次イデアル $I(\Sigma_k)$ が次数 $k+2$ で生成されることは知られているが、その生成に関する有効な判定基準、特にEisenbud–Koh–Stillman および Sidman–Smith によるカタレクタン・行列（catalecticant matrix）の $3 \times 3$ 小行列式による生成に関する予想については、高次元において完全には定量化されていなかった。

本論文は、以下の事項を保証するための、埋め込み線束 $L$ の正性に関する有効な境界を確立することを目的とする：

1. 第1（$\Sigma_1$）および第2（$\Sigma_2$）セカント多様体の射影正規性と normal Du Bois 特異性。
2. $I(\Sigma_1)$ の3次形式による生成。
3. 線形形式の行列（カタレクタン・行列）の $3 \times 3$ 小行列式による $I(\Sigma_1)$ の生成。

著者らは、$n \ge 2$ と仮定する。これは、曲線（$n=1$）に対する鋭い有効な結果が既に Ein–Niu–Park および Agostini–Park によって確立されているためである。

手法
証明は、著者らとその共同研究者によって開発されたコホモロジー的手法に基づいている。戦略は、セカント多様体の幾何学的性質を、ヒルベルトスキームおよび入れ子状（nested）ヒルベルトスキーム上のベクトル束のコホモロジー消滅へと還元することである。

主な技術的構成要素は以下の通りである：

• ヒルベルトスキーム： 著者らは、$k$ 点のヒルベルトスキーム $X[k]$ および入れ子状ヒルベルトスキーム $X[k_1, \dots, k_\ell]$ を利用する。また、線束 $L$ に随伴するタウトロジー列束 $E_{k,L}$ を検討する。
• 特異性の分解： セカント多様体 $\Sigma_k$ は、有理双射射 $\alpha_k: B_k \to \Sigma_k$ （ここで $B_k = \mathbb{P}(E_{k+1, L})$ は $X[k+1]$ 上の射影束）の像として実現される。$\Sigma_k$ の特異性は、この分解の例外因子を通じて分析される。
• コホモロジー消滅： 引数の核となる議論は、特定のベクトル束に関する高次コホモロジー群 $H^i$ の消滅を証明することである。これらの消滅定理は、Kawamata–Viehweg 消滅定理を用いて導出される。
• 正性条件： 線束 $L$ は $L = \omega_X \otimes H^m \otimes B$ （$H$ は非常に豊富、$B$ は nef）という形で与えられると仮定される。著者らは、必要な束が「nef かつ big」であるか、あるいは消滅を誘発するための特定の強アンプル性（例：$(k-1)$-very ample）を満たすために必要な最小の整数 $m$ を決定する。
• スキームの特異性： 入れ子状ヒルベルトスキーム $X[1,2,3]$ および $X[1,2,3,4]$ が Gorenstein canonical 特異性を持つという事実は、先行文献 [7], [8] で確立された重要な要素である。この性質は、消滅定理の適用および Du Bois 性の分析において不可欠である。

主要な貢献および結果

1. 射影正規性と特異性のための有効な境界 (Theorem 1.1)
本論文は、$n \ge 2$ のとき、$L = \omega_X \otimes H^m \otimes B$ であって $m \ge 2n + 2$（$k=1$ の場合）または $m \ge 3n + 3$（$k=2$ の場合）であれば、以下が成立することを確立している：

• $\Sigma_k$ は normal Du Bois 特異性を持つ。
• $\Sigma_k$ は 射影的に正規である。
• 高次コホモロジー群 $H^i(\Sigma_k, \mathcal{O}_{\Sigma_k}(\ell))$ は $i > 0, \ell > 0$ に対して消滅する。
• $\Sigma_k$ がコーエン・マコーレー（Cohen–Macaulay）であること（または有理特異性を持つこと）は、$H^i(X, \mathcal{O}_X) = 0$ であること（または $1 \le i \le n$）と同値である。

この結果は、非有効な境界を改善し、$\Sigma_1$ の射影正規性に対して $m \ge 2n + 2$ が十分であることを確認している。

2. 3次形式による生成 (Theorem 1.2)
著者らは、同次イデアル $I(\Sigma_1)$ が3次形式によって生成されるための有効な条件を提示している。

• 結果： もし $m \ge 3n + 2$ ならば、$I(\Sigma_1(X, L))$ は3次形式によって生成される。
• 手法： これは、カーネル束 $M_{2,L}$ の外積冪を含む $X[2]$ 上のコホモロジー消滅に帰着される、特定のコシュル・コホモロジー群 $K_{1,q}(\Sigma_1, \mathcal{O}_{\Sigma_1}(1))$ （$q \ge 3$）の消滅を示すことで証明される。

3. 行列式による表示 (Theorem 1.3)
本論文は、Agostini–Park の予想（$I(\Sigma_k)$ はカタレクタン・行列の $(k+2) \times (k+2)$ 小行列式によって生成される）を $k=1$ に対して有効にする。

• 結果： $L = L_1 \otimes L_2$ （ここで $L_i = \omega_X \otimes H^{m_i} \otimes B_i$）とする。もし $m_1, m_2 \ge 3n + 2$ ならば、$I(\Sigma_1(X, L))$ はカタレクタン・行列 $Cat(L_1, L_2)$ の $3 \times 3$ 小行列式によって生成される。
• 手法： 証明は、全単射な線形写像が、切断のテンソル積からイデアルの3次の部分への写像であることを示す。この全射性は、対称冪および外積冪を含む $X[2]$ および $X[2,3]$ 上のコホモロジー消滅へと帰着される。

意義
本論文は、セカント多様体の望ましい幾何学的性質を保証するための、線束の正性に関する 有効かつ定量的 な閾値を提供している。性質を「十分に正な」という定性的な記述から、次元 $n$ を含む明示的な境界へと移行させることで、これらの結果を具体的な計算や特定の多様体に適用可能にしている。

具体的には、本論文は以下の貢献をしている：

• セカント多様体の特異性の理解を洗練させ、明示的な条件下でそれらが Du Bois であることを確認した。
• $n \ge 2$ における第1セカント多様体の行列式表示に関する予想の有効版を解決し、曲線や特定の埋め込み（Veronese など）で既知であった先行研究を拡張した。
• ヒルベルトスキーム上の堅牢なコホモロジー的枠組みを用い、入れ子状ヒルベルトスキームの Gorenstein canonical な性質を活用することで、射影正規性、イデアル生成、および特異性分析の手法を統一した。

著者らは、自らの結果が曲線や特定のケースにおける先行研究と一致し、かつそれらを一般化するものであると述べており、行列式表示の予想に関して、高次元多様体における最初の有効な境界を提供している。