Smoothness results for the schemes of special divisors on general k-gonal curves

この論文「Smoothness results for the schemes of special divisors on general k-gonal curves（一般の k- gon 曲線上の特殊除子のスキームの滑らかさに関する結果）」は、代数幾何学、特に Brill-Noether 理論と Hurwitz-Brill-Noether 理論の分野における重要な研究です。著者 Marc Coppens は、一般の k- gon 曲線（k- gonal curve）上の Brill-Noether スキーム $W^r_d(C)$ および関連する分裂退化局所（splitting degeneracy loci）$\Sigma_{\vec{e}}(C, f)$ の滑らかさ（smoothness）と特異点構造について詳細な結果を導出しています。

以下に、この論文の技術的な要約を問題設定、手法、主要な貢献、結果、そして意義に分けて記述します。

1. 問題設定 (Problem)

• 背景: 代数曲線 $C$ 上の線形束（invertible sheaf）$L$ に対する Brill-Noether スキーム $W^r_d(C)$ は、$h^0(L) \ge r+1$ かつ $\deg(L)=d$ を満たす $L$ の集合として定義されます。一般の曲線（general curve）の場合、Gieseker-Petri 定理により、$W^r_d(C)$ は期待次元を持ち、その特異点集合は $W^{r+1}_d(C)$ に一致することが知られています。
• 課題: しかし、曲線が「一般の k- gon 曲線」（$k < [g+3]/2$ であり、次数 $k$ の写像 $f: C \to \mathbb{P}^1$ を持つ曲線）である場合、状況は異なります。一般の k- gon 曲線では、Petri 写像 $\mu_L$ が単射にならない線形束が存在し、これにより $W^r_d(C)$ の構造が複雑になります。
• 具体的な問い:
  1. 一般の k- gon 曲線において、Petri 写像が単射となる条件は何か？
  2. $W^r_d(C)$ の特定の成分（特に、Brill-Noether 分裂局所 $\Sigma_{\vec{e}}(C, f)$ に対応する成分）は、どの点で滑らかか？
  3. $W^r_d(C)$ の特異点集合は、単に $W^{r+1}_d(C)$ や異なる成分の交わりだけで記述されるのか、それともより複雑な構造を持つのか？

2. 手法 (Methodology)

著者は、以下の数学的ツールと戦略を組み合わせることで問題を解決しました。

• Brill-Noether 分裂局所と退化局所:
  • 写像 $f: C \to \mathbb{P}^1$ に対して、線形束 $L$ の引き戻し $f_*L$ の分裂型（splitting type）$\vec{e} = (e_1, \dots, e_k)$ を用いて、$\Sigma_{\vec{e}}(C, f)$（特定の分裂型を持つ束の集合）と $\Sigma_{\vec{e}}(C, f)$（その閉包）を定義します。
  • これらのスキームは、Fitting 理想を用いて定義されます。
• Fitting 理想の削減と局所完全交差性:
  • 主要な技術的貢献として、$\Sigma_{\vec{e}}(C, f)$ のスキーム構造を定義するために必要な Fitting 理想の数を、特定の点において削減する手法を開発しました（Proposition 2）。
  • これにより、$\Sigma_{\vec{e}}(C, f)$ が局所的に完全交差（locally a complete intersection）であることを示し、その滑らかさを解析可能にしました。
• Petri 写像の解析:
  • 線形束 $L$ とその Petri 写像 $\mu_L: H^0(L) \otimes H^0(K-L) \to H^0(K)$ の単射性を、$L$ が $f$ に関連する線形束 $M$ とどのように関係するか（$h^0(L-M)$ や $h^0(K-L-M)$ の値）と結びつけました。
  • 基底を持たないペンシルのトリック（base point free pencil trick）の拡張（Lemma 1）を用いて、コホモロジー群の関係を精密に制御しました。
• 接空間の比較:
  • $W^r_d(C)$ とその部分スキーム（$\Sigma_{\vec{e}}(C, f)$ や $V^r_{d,l}(C, f)$）の接空間を比較し、Petri 写像の像の直交補空間との関係を調べることで、滑らかさの判定を行いました。

3. 主要な貢献と結果 (Key Contributions and Results)

論文は以下の 3 つの主要な定理（A, B, C）と、それらに基づく詳細な結果を提示しています。

定理 A: Petri 写像の単射性の完全な条件

一般の k- gon 曲線 $C$ 上の特殊な線形束 $L$ について、Petri 写像 $\mu_L$ が単射であるための必要十分条件は以下の通りです。
$$h^0(L - M) \cdot h^0(K - L - M) = 0$$
ここで $M$ は $f$ に対応する次数 $k$ の線形束です。これは、$L$ が $M$ から「自由（free）」であるか、あるいは双対的に自由である場合にのみ、Petri 写像が単射になることを示しています。

定理 C: 分裂退化局所の滑らかさ

$W^r_d(C)$ の既約成分である $\Sigma_{\vec{e}}(C, f)$ について、自然に定義された開集合 $V^r_{d,l}(C, f)$（これは $\Sigma_{\vec{e}}(C, f)$ を含むより大きな開集合）において、$\Sigma_{\vec{e}}(C, f)$ は滑らかであることを証明しました。

• これは、特定の k- gon 曲線（楕円 K3 曲面上の曲線など）に対して既知だった結果を、任意の標数で一般の k- gon 曲線に対して拡張したものです。

定理 B: $W^r_d(C)$ の滑らかさと成分の重なり

$V^r_{d,l}(C, f)$ 上の点 $L$ において、$W^r_d(C)$ が滑らかであるための必要十分条件は、$L$ が $W^r_d(C)$ の唯一つの既約成分に含まれることです。

• 重要な発見: 一般の k- gon 曲線では、$L \in W^r_d(C) \setminus W^{r+1}_d(C)$ であっても、$W^r_d(C)$ が $L$ で特異になる場合があります。その原因は、$L$ が複数の成分にまたがっている場合だけでなく、単一の成分内であっても、その成分自体が特異点を持つ場合が存在することです（Proposition 6, Example 7）。
• したがって、$W^r_d(C)$ の特異点集合は、単に $W^{r+1}_d(C)$ や異なる成分の交わりだけでは記述されません。

その他の重要な結果

• 特異点の構造: 一般の k- gon 曲線において、$W^r_d(C)$ の特異点集合は、$W^{r+1}_d(C)$ と、異なる成分の交わり、そして「単一の成分内にある特異点」の和集合として記述されます。
• 有理特異点: 一般の k- gon 曲線の場合、$W^r_d(C)$ は有理特異点（rational singularities）を持つことが示唆されています。
• 具体例: 種数 $g$ が十分大きい場合、$e_1 = e_2 = -2$ となるような成分において、$W^{r+1}_d(C)$ に属さない点でも $W^r_d(C)$ が特異になる具体的な構成（Proposition 6, Examples 4-7）が示されています。

4. 意義 (Significance)

この論文の意義は以下の点にあります。

1. 一般曲線理論からの脱却: 従来の Brill-Noether 理論は「一般の曲線」を前提としていましたが、k- gon 曲線（一般曲線より特殊だが、k- gon 性を持つ曲線）という重要なクラスにおいて、$W^r_d(C)$ の構造が一般曲線とは本質的に異なることを明らかにしました。
2. 特異点構造の解明: $W^r_d(C)$ の特異点が、単に次元が上がる点（$W^{r+1}_d$）や成分の交点だけでなく、成分内部の構造（分裂型の変化）に起因して生じることを示しました。これは Brill-Noether スキームの局所構造理解において重要な進展です。
3. 手法の一般化: Fitting 理想の削減と Petri 写像の組み合わせによる滑らかさの判定手法は、他の退化局所やモジュライ空間の研究に応用可能な強力な枠組みを提供しています。
4. Petri 写像の役割の再評価: Petri 写像の単射性が、単に滑らかさの十分条件であるだけでなく、特異点の存在や成分の重なりと密接に関連していることを示し、Petri 写像の幾何学的意味を深めました。

総じて、この論文は代数曲線のモジュライ理論、特に特殊な線形束の空間の幾何学において、k- gon 曲線という文脈での新しい標準的な知見を提供する重要な業績です。