Some local and global properties of secant varieties of nonsingular projective curves

Lawrence Ein、Wenbo Niu、Jinhyung Park による論文「Some Local and Global Properties of Secant Varieties of Nonsingular Projective Curves」の詳細な技術的要約を以下に示す。

1. 問題提起と背景

本論文は、非常に ample な線形束 $L$ を通して射影空間 $\mathbb{P}^r$ に埋め込まれた非特異射影曲線 $C$ の接線多様体（secant varieties）$\Sigma_k$ の幾何学を調査する。具体的には、著者らの先行研究 [8] において残されたギャップや未解決の問題に取り組む。

• 定義: $g \ge 0$ を種数とする曲線 $C$ とする。$k$ 次接線多様体 $\Sigma_k$ は、$C$ に対する $(k+1)$ 接 $k$ 平面の和集合である。
• 仮定: 線形束 $L$ は $\deg L \ge 2g + 2k + 1$ を満たすとする。この条件下では、埋め込みは良好に振る舞い（具体的には $L$ は $(2k+1)$-非常に ample である）、接線束の分解 $\beta_k: B_k(L) \to \Sigma_k$ は特異点解消となる。
• 未解決問題:
  1. 特異点における $\Sigma_k$ の接錐（tangent cones）の精密な記述。
  2. 曲線の対称積上の接線層の対称冪のコホモロジー群の明示的な計算（[8, Problem 6.2] で提起された問い）。
  3. [8] で提供された証明における、Mustata の特定の定理（[11] の定理 10.42）に関する欠陥を修正し、$\Sigma_k$ が代数的に Cohen–Macaulay（ACM）であることを完全に厳密に証明すること。

2. 手法

著者らは双有理幾何、コホモロジー的手法、可換代数の組み合わせを採用する。

• 特異点解消: 主要な道具は、対称積 $C^{k+1}$ 上の接線層 $E_{k+1,L}$ の射影化 $B_k(L) = \mathbb{P}(E_{k+1,L})$ から $\Sigma_k$ への射 $\beta_k: B_k(L) \to \Sigma_k$ である。
• ファイバー解析: ファイバー $F_x = \beta_k^{-1}(x)$ の幾何学を解析する。点 $x \in \Sigma_m \setminus \Sigma_{m-1}$ に対して、ファイバーは $C^{k-m}$ に同型である。ファイバーの余法束は、法束の分裂を用いて分解される。
• 接錐の構成: 著者らは特異ストラタに沿った $\Sigma_k$ のブローアップと、局所環の付随次数環を用いて接錐を記述する。
• コホモロジー的帰納法: コホモロジー群を計算し、消滅定理を証明するために、導来圏における完全三角形と形式的関数定理を活用し、接線多様体の次元に関する帰納法を用いる。
• 文献の修正: 付録において、[11, Theorem 10.42] の誤った記述に依存することなく ACM 性を再証明する。その代わりに、接錐の構造から導かれる直接のコホモロジー的消滅論法を用いる。

3. 主要な貢献と結果

A. 接錐の記述（定理 3.2）

本論文は、特異点 $x \in \Sigma_m \setminus \Sigma_{m-1}$（ただし $0 \le m < k$）における $\Sigma_k$ の接錐の幾何学的記述を提供する。

• 結果: $x$ における $\Sigma_k$ の射影化された接錐は、頂点が $x$ における低次接線多様体 $\Sigma_m$ の射影化された接空間（$\mathbb{P}(T_x^*\Sigma_m)$ と表記）である、接線多様体 $\Sigma_{k-m-1}(C, L(-2\xi))$ 上の錐（cone）である。
• 一般化: これは、一般点における接空間を記述する古典的なTerracini の補題を一般化するものである。
• 帰結: この構造的記述により、局所環の付随次数環がこの錐の座標環であり、帰納法によってこれが Cohen–Macaulay であることが示されるため、$\Sigma_k$ が Cohen–Macaulay であることの簡明な証明が可能となる（系 3.7）。

B. 接線層のコホモロジー（定理 4.2）

著者らは、対称積 $C^{k+1}$ 上の接線層の対称冪（$S^\ell E_{k+1,L}$）のコホモロジーを決定する問いに答える。

• 結果: $C^{k+1}$ 上の接線層のコホモロジーと、低次接線多様体の構造層のコホモロジーとの関係を結びつける式を確立する：
  $$H^i(C^{k+1}, S^\ell E_{k+1,L}) \cong \bigwedge^i H^1(C, \mathcal{O}_C) \otimes H^0(\Sigma_{k-i}, \mathcal{O}_{\Sigma_{k-i}}(\ell))$$
  ただし、$0 \le i \le k$ かつ $\ell > 0$。
• 再帰的式: これらのコホモロジー計算を用いて、接線多様体のヒルベルト多項式に対する再帰的式（定理 4.4）を導出する。これにより、$\Sigma_{k-i}$ の多項式に基づいて $\Sigma_k$ のヒルベルト多項式を計算することが可能になる。

C. 接線層の外積（定理 4.9）

本論文はまた、接線層の外積（$\bigwedge^\ell E_{k+1,L}$）のコホモロジーを計算し、これらの束に関する構造的問いに対する完全な解答を提供する。

D. 代数的 Cohen–Macaulay 性（定理 3.10 および付録 A）

• 局所から大域へ: 著者らは接錐の解析を通じて、$\Sigma_k$ が局所的に Cohen–Macaulay であることを証明する。
• 大域的性質: 彼らは $\Sigma_k$ が代数的に Cohen–Macaulay（ACM）であることを証明する。
• 修正: 付録において、ACM 性に関する完全かつ独立した証明を提供する。彼らは、Du Bois 特異点とコホモロジー消滅に関する以前に引用された定理（[11, Theorem 10.42]）のタイプミスを明示的に特定し、双対化複体の完全三角形を用いた厳密な帰納的証明によって、欠陥のある論理を置き換える。
• 錐と特異点: 彼らは、接線多様体上の任意の錐（およびアフィン錐そのもの）が正規 Cohen–Macaulay Du Bois 特異点を持つことを示す。これは、接線多様体上のアフィン錐における特異点の性質に関する Karen Smith による特定の問いに対する解答となる。

4. 意義

• 幾何学的洞察: 低次接線多様体上の錐としての接錐の記述は、接線多様体の特異点に対する深い構造的理解を提供し、一点における局所幾何と低次元接線多様体の大域幾何とを結びつける。
• 計算能力: ヒルベルト多項式に対する再帰的式と明示的なコホモロジー計算は、直接計算が極めて困難である接線多様体の不変量を計算するための実用的な道具を提供する。
• 未解決問題の解決: 本論文は [8] で提起されたコホモロジーの問いを決定的に回答し、ACM 性の証明を修正することで、曲線の接線多様体の研究における理論的基盤を確固たるものにする。
• 特異点論: これらの多様体（およびそれらの錐）が Du Bois 特異点を持つという確認は、これらを良好に振る舞う特異点のクラスに位置づけ、ホッジ論や変形論における応用において極めて重要である。

要約すると、本論文は局所的特異点解析と大域コホモロジー的性質を架け渡し、代数曲線の接線多様体の幾何学を理解するための包括的かつ修正された枠組みを提供する。