Some reducible and irreducible Brill-Noether loci

この論文「SOME REDUCIBLE AND IRREDUCIBLE BRILL–NOETHER LOCI（いくつかの可約および既約なブリル・ノイター局所）」は、代数幾何学、特に曲線のモジュライ空間と線形系列（linear series）の可約性に関する研究です。著者らは、楕円曲線の鎖（chains of elliptic curves）上の極限線形系列（limit linear series）を用いて、ブリル・ノイター局所（Brill–Noether loci）の可約性と既約性の新たな結果を導き出しています。

以下に、論文の技術的な詳細な要約を記します。

1. 研究の背景と問題設定

• ブリル・ノイター数と期待次元: 種数 $g$ の一般の曲線上における次数 $d$、次元 $r$ の線形系列の空間の期待次元は、$\rho(g, r, d) = g - (r+1)(g-d+r)$ で与えられます。$\rho \ge 0$ の場合、この空間は非空で既約であることが知られています。
• ヒルベルトスキームの可約性: 一般に、$\rho < 0$ の範囲（一般の曲線には $g^r_d$ が存在しない場合）では、ブリル・ノイター局所 $M^r_{g,d}$ は $M_g$ の真の部分集合となります。ヒルベルトスキームの可約性については、Mumford や Vakil によって「Murphy's law（任意の特異性や成分の数が実現可能）」が示されていますが、$\rho < 0$ の具体的な可約性の例は限られていました。
• 研究の焦点: 著者らは、$\rho < 0$ の範囲、特に $r \ge 3$ かつ $d=g-1$ の場合における、ブリル・ノイター局所 $M^r_{g,g-1}$ の可約性、および $r=2$ における既約性の最適条件を明らかにすることを目的としています。

2. 手法：楕円曲線の鎖と極限線形系列

本研究の中心的な手法は、楕円曲線の鎖（chains of elliptic curves） 上の極限線形系列の構成です。

• 構成: $g$ 個の楕円曲線 $C_1, \dots, C_g$ を点 $P_i, Q_i$ で順に連結した特異曲線（鎖）を考えます。
• Young 図形との対応: 一般の楕円曲線の鎖上の極限線形系列は、長方形の Young 図形（またはその充填）と対応します。
• 可微分条件（Smoothing）: 極限線形系列が滑らかな曲線上の線形系列に「滑る（smoothing）」ための条件を、Young 図形の充填における特定の整数の配置（重複するインデックスの距離や torsion 条件）として記述します。
• 対称性と半標準的系列: $d=g-1$ の場合、長方形は正方形になります。対称な充填は半標準的系列（theta-characteristic、すなわち $L^{\otimes 2} \cong K_C$）に対応し、非対称な充填はそうでない系列に対応します。

3. 主要な結果と貢献

A. Theta-characteristic の存在証明（定理 1）

Farkas の予想（$g \ge \binom{r+2}{2}$ ならば、次元 $r$ の theta-characteristic を持つ曲線の族 $T^r_g$ は、期待される余次元 $\binom{r+1}{2}$ の成分を持つ）に対して、楕円曲線の鎖を用いた新しい簡潔な証明を提供しました。

• 工夫点: 単純な対称な充填（naive fillings）では、2 点間の torsion 条件が矛盾したり、期待される余次元より小さい次元の族しか得られなかったりします。
• 解決策: 問題となる 2 つの楕円曲線成分を、1 つの種数 2 の曲線（Weierstrass 点をノードとして持つ）に置き換えることで、矛盾を解消し、期待される次元を持つ滑らかな族を構成しました。
• 結果: $g \ge \binom{r+2}{2}$ ならば、$T^r_g$ は非空であり、期待される余次元を持つ成分 $ET^r_g$ を持ちます。

B. ブリル・ノイター局所の可約性（定理 2）

$r \ge 3$ かつ $g = \binom{r+2}{2}$ のとき、$M^r_{g, g-1}$ は可約であることを示しました。

• 成分 1 ($ET^r_g$): 上記の構成により得られる、theta-characteristic を持つ曲線の成分。
• 成分 2 ($N^r_{g, g-1}$): 非対称な Young 図形の充填から構成される、theta-characteristic を持たない（generic な元が持たない）曲線の成分。
• 結論: 両者の次元は等しいが、theta-characteristic の有無（および torsion 条件の違い）によって互いに含まれないため、$M^r_{g, g-1}$ は少なくとも 2 つの異なる成分を持ちます。これにより、$r \ge 3, d=g-1$ におけるヒルベルトスキームの可約性が示されました。

C. 3 つ以上の成分の存在（定理 3）

特定の $r$ と $g$ の値において、$M^r_{g, g-1}$ が少なくとも 3 つの成分を持つことを示しました。

• 第 3 の成分: $k$-gonal 曲線（$k$ 重被覆曲線）の族 $M^1_{g, k}$ を含む成分。
• 条件: $r = 3, 5, 7$ または $r \ge 8$、かつ $g = \binom{r+2}{2}$。
• 論理:
  1. $ET^r_g$ と $N^r_{g, g-1}$ は既知の通り異なる。
  2. これらの成分上の曲線の gonality（最小の $k$）を解析し、$M^1_{g, k}$ がこれらに含まれないことを示す（レマ 4.5）。
  3. 次元計算（レマ 4.6）により、$r$ が大きい場合、$M^1_{g, k}$ の次元が $M^r_{g, g-1}$ の期待次元より大きくなることを示す。
  4. これにより、$ET^r_g$、$N^r_{g, g-1}$、および $M^1_{g, k}$ を含む成分の 3 つが独立した成分として存在することが確認されます。

D. $r=2$ における既約性の最適条件（定理 5.2）

$r=2$ の場合、既約性が成立する次数 $d$ の範囲を特定しました。

• 結果: $g \ge 3$ かつ $d > \frac{g+4}{2}$ のとき、$M^2_{g,d}$ は既約です（ただし、基点を持つ系列を持つ成分を除く）。
• 最適性の示唆: この境界は最適であり、$d \le \frac{g+4}{2}$ の範囲では可約となることが例（$M^2_{11,7}, M^2_{12,8}, M^2_{12,7}$）によって示されました。
• 手法: 平面曲線の Severi 多様体の既約性と、低種数の曲線への被覆写像の次元評価を組み合わせました。

4. 意義と結論

• 理論的貢献: 楕円曲線の鎖という具体的なモデルを用いることで、抽象的なモジュライ空間の構造（特に可約性）を具体的に記述・証明することに成功しました。
• Farkas 予想へのアプローチ: Theta-characteristic の存在に関する Farkas の予想に対し、滑らかな曲線への滑り（smoothing）の議論を簡素化し、新しい証明を提供しました。
• 可約性の新たな例: 従来の研究では $\rho > 0$ や高次元の $r$ で可約性が知られていましたが、$\rho < 0$ の範囲で、かつ比較的小さな $g$ や $r \ge 3$ において、明確に可約なブリル・ノイター局所を構成しました。
• ヒルベルトスキームへの影響: $r \ge 3, d=g-1$ におけるヒルベルトスキームが可約であることを示し、曲線の埋め込みの多様性に関する理解を深めました。

総じて、この論文は極限線形系列の技術を用いて、ブリル・ノイター理論における可約性と既約性の境界を明確にし、Theta-characteristic の存在問題に対する決定的な進展をもたらした重要な研究です。