Secant variety and syzygies of Hilbert scheme of two points

技術的概要：2 点のヒルベルトスキームの正接多様体とシジジー

問題設定
本論文は、滑らかな射影多様体 $X$ 上の 2 点のヒルベルトスキーム $X^{[2]}$ の幾何学的および代数的性質を調査する。具体的には、$X$ 上の線形束 $L$ によって誘導されるグロタンディーク・プルッケー埋め込み $\phi_{1,L}: X^{[2]} \hookrightarrow \mathbb{P}^N$ の下で、以下の 2 つの主要な側面を分析する。

1. 識別可能性と特異点：正接多様体 $\text{Sec}(X^{[2]})$ の特異点軌跡を決定する。中心的な問いは、識別不可能な軌跡（複数の正接線または接線上に位置する点）が、$X^{[2]}$ 自体と完全に一致するかどうかであり、これは $\text{Sec}(X^{[2]})$ が $X^{[2]}$ 以外で滑らかであることを意味する。
2. シジジー：$X^{[2]}$ の埋め込みが、斉次座標環のシジジーの線形性を支配するグリーン条件 $(N_p)$ を満たすための条件を確立する。

著者らは、高対称空間（グラスマン多様体など）の正接多様体や、十分に正な埋め込みを持つ多様体については研究が進んでいるものの、点のヒルベルトスキームの具体的な振る舞いは新たな分析を必要とすると指摘する。特に、$X^{[2]}$ の埋め込みは一般に 2-非常に ample でないため、標準的なアプローチが複雑化するという点である。

手法
著者らは、変形理論、グラスマン多様体の幾何学、およびシジジーのためのコホモロジー的判定法の組み合わせを採用する。

• 識別可能性の分析：

  • 著者らは、ガルガーノとスタッフォラーニ [8] によるグラスマン多様体の正接多様体の分類、特にハミング距離と接線のランクに基づく軌道層化を利用する。
  • 線形束が十分に正（具体的には $d$-非常に ample）である場合、線形束の大域切断と部分スキームのイデアル層の包含関係に関連する技術的補題（補題 3.3–3.5）を確立する。
  • $X^{[d]}$ 内の直線を特徴付ける（補題 3.7）ことで、2 点 $[Z_1], [Z_2]$ を結ぶ直線が存在するのは、部分スキームがちょうど 1 点で異なる場合に限られることを示す。
  • 証明の核心は、正接線、接線、および 2 本の接線の間の交差をケースバイケースで分析することである。$L$ が 4-非常に ample である場合、$X^{[2]}$ に対して、異なる正接線同士の交点、あるいは正接線と接線の交点は、すべて $X^{[2]}$ 内で生じることを実証する。

• シジジーの分析：

  • 条件 $(N_p)$ を証明するために、著者らはエインとラーツェルフェルド [5] のコホモロジー的判定法を適用する。これは、シジジー束 $M_L$ を含む特定のコホモロジー群の消滅を必要とする。
  • 非既約な部分スキームをパラメータ化する除数 $B \subset X^{[2]}$ を分析することで問題を分解する。この $B$ は、射影化された余接束 $\mathbb{P}(\Omega_X)$ に同型である。
  • パーク [20] による射影束のシジジーに関する結果を用いて、$B$ 上での消滅条件を検証し、制限列とスペクトル系列を通じてこれらを周囲空間 $X^{[2]}$ に拡張する。

• 特異点の解消：

  • 著者らは、$X^{[2]}$ 上のランク 2 のベクトル束 $E_{L_1}$ である正接束 $\mathbb{P}(E_{L_1})$ を用いて、特異点の解消を構成する。
  • グロタンディーク・プルッケー埋め込みによって誘導される写像のファイバーを研究することで、写像 $u: \mathbb{P}(E_{L_1}) \to \text{Sec}(X^{[2]})$ を分析する。対応する直線が $X^{[2]}$ 内に含まれる場合と含まれない場合を区別する。

主要な貢献と結果

1. $X^{[2]}$ の識別可能性（定理 1.1 および定理 3.1）：
   著者らは、$X$ 上の線形束 $L$ が 4-非常に ample である場合、$\text{Sec}(X^{[2]})$ の識別不可能な軌跡は正確に $X^{[2]}$ であることを証明する。これは、$X^{[2]}$ の埋め込みが一般に 2-非常に ample でないにもかかわらず成り立つ。証明は、$X^{[2]}$ に対する正接線と接線が $X^{[2]}$ の外で交差しないことを示すことに依存する。

2. $X^{[2]}$ のシジジー（定理 1.2 および定理 4.3）：
   本論文は、十分に正な線形束 $L$（具体的には $K_X + dA + C$ の形で、$d \gg 0$）に対して、$X^{[2]}$ のグロタンディーク・プルッケー埋め込みが任意の整数 $p \geq 0$ に対してグリーン条件 $(N_p)$ を満たすことを確立する。

3. 特異点軌跡の特性化（系 1.3）：
   識別可能性とシジジーの結果を組み合わせることで、著者らは $L$ が十分に正である場合、$\text{Sec}(X^{[2]})$ の特異点軌跡は正確に $X^{[2]}$ であると結論づける。

4. 解消の幾何学（命題 1.4 および命題 5.4）：
   $X$ が曲面である場合、著者らは解消写像 $u: \mathbb{P}(E_{L_1}) \to \text{Sec}(X^{[2]})$ の幾何学を記述する。彼らは、この写像が $X^{[2]}$ に沿った正接多様体のブローアップを介して因子分解することを示す。この解消のファイバーは以下の通りである。

   • 正接多様体内の点が $X^{[2]}$ に含まれる直線（すなわち除数 $B$ 内の点）に対応する場合、$\mathbb{P}^2$ に同型。
   • それ以外の場合は、既約点。

意義と主張
本論文は、正接多様体の分析の焦点を、高対称多様体から点のヒルベルトスキームへと移すことを主張し、特異点を分析する主要なツールとして識別可能性の概念を利用する。著者らは、その結果が positivity の条件下で $\text{Sec}(X^{[2]})$ の特異点軌跡の完全な記述を提供することを強調しており、これはこの特定クラスの多様体については以前は未知であった。

この研究は、特異点の解消を記述する際にシジジーが果たす本質的な役割を浮き彫りにしており、$(N_p)$ のような条件がなければ、正接束からの自然な写像がブローアップへの同型写像にならない可能性があることに言及する。著者らは明示的に、解消の幾何学に関する彼らの結果は、$X^{[2]}$ 内の高次元線形空間の存在に関する高次元での技術的困難さのため、現時点では曲面の場合（$\dim X = 2$）に限定されていると述べている。

論文は最後に、$X^{[3]}$ の識別可能軌跡、シジジーの結果に必要な $L$ の positivity に関する特定の境界の存在、および $X$ が曲面である場合の $\text{Sec}(X^{[2]})$ の正規性に関する未解決の問題を提起して締めくくっている。