Weak and strong Lefschetz properties for Hartshorne-Rao modules of curves in $\mathbb P^3$

$\mathbb{P}^3$ 内の曲線の Hartshorne-Rao 加群に対する弱および強レフシェッツ性質の技術的概要

問題の提起
$K$ を標数 0 の代数閉体とし、$C \subset \mathbb{P}^3$ を局所的に Cohen-Macaulay な曲線とする。$C$ の Hartshorne-Rao 加群 $M(C) = \bigoplus_{t \in \mathbb{Z}} H^1(\mathbb{P}^3, \mathcal{I}_C(t))$ は、有限長さの次数付き $R$-加群である。本論文で扱われる中心的な問題は、$C$ の幾何学的配置が、$M(C)$ が弱レフシェッツ性質（WLP）または強レフシェッツ性質（SLP）を満たすかどうかをどのように決定するかを明らかにすることである。

$C$ の滑らかさや既約性が WLP を保証すると直感的に考えられるかもしれないが、著者らは、任意の有限長さの次数付き加群が（シフトを除いて）滑らかな曲線の Hartshorne-Rao 加群として実現可能であると指摘している。したがって、滑らかさだけでは WLP を保証するには不十分である。本論文では、ねじれ直線（skew lines）の和、二次曲面に含まれる直線、低次数の滑らかな既約曲線などの特定の幾何学的制約を調査し、これらのレフシェッツ性質を強制するか、あるいは排除するかを決定する条件を特定する。

手法
著者らは、結合理論（liaison theory）、コホモロジー的完全系列、および特殊化の議論を組み合わせて用いる。

1. 完全系列と特殊化：主要な道具は、次の完全系列を通じて乗法写像 $\times L^m: [M(C)]_{t-m} \to [M(C)]_t$ を分析することである。
   $$0 \to [\mathcal{I}_C]_{t-m} \xrightarrow{\times L^m} [\mathcal{I}_C]_t \to [\mathcal{I}_{Z_m}|_{H_m}]_t \to [M(C)]_{t-m} \xrightarrow{\times L^m} [M(C)]_t \to H^1(\mathcal{I}_{Z_m}(t)) \to \dots$$
   ここで、$L$ は一般的な線形形式、$H_m$ は $L^m$ で定義される超平面の $m$ 重厚み（thickening）、$Z_m$ は $\mathcal{I}_C + (L^m)$ の飽和によって定義されるスキームである。著者らは、$M(C)$ 上の写像の最大階数を、0 次元スキーム $Z_m$ のヒルベルト関数に関連付ける。

2. 肥太点（Fat Points）への特殊化：一般的なねじれ直線の集合に対する結果を証明するために、著者らは直線を超平面 $H$ 上に特殊化する。これにより、問題は「平坦な肥太点（直線上に支持された重複度 $m$ の曲線スキーム）」の和のヒルベルト関数を研究する問題へと変換される。彼らは、重複度 $m \le 3$ のような点の一般的な和が、一般的なヒルベルト関数を持つことを確立する。

3. 一様位置性質（UPP）：滑らかな既約曲線に対して、著者らは一般的な超平面切断 $\Gamma$ が UPP を持つという事実を利用する。彼らは Huneke-Ulrich の定理を適用する。この定理は、$\Gamma$ の座標環の Artinian 還元における socle の初期次数と、超平面切断からの元の曲線への持ち上げとの関係を記述する。これにより、超平面切断の幾何学に基づいて、乗法写像が最大階数を持たない場合を決定できる。

主要な貢献と結果

• 一般的なねじれ直線の集合：

  • 著者らは、$C$ が $\mathbb{P}^3$ 内の一般的なねじれ直線の集合であるならば、$M(C)$ が WLP を満たすことを証明する。
  • さらに、$i=1, 2, 3$ に対して $L^i$ による乗法について $M(C)$ が最大階数を持つこと（範囲 $\le 3$ における SLP）を確立する。
  • 重要な技術的結果（定理 3.4）は、$m \in \{1, 2, 3\}$ の重複度を持つ $\mathbb{P}^2$ 内の $s$ 個の平坦な肥太点の一般的な和が、$s$ が十分に大きい場合（具体的には $m=3$ のとき $s \ge 3$）、一般的なヒルベルト関数を持つことを示している。

• 二次曲面上の直線：

  • 二次曲面上のすべての直線：$C$ が滑らかな二次曲面上に完全に含まれるねじれ直線の和であるならば、$M(C)$ は WLP を持つ。この結果は、結合理論を通じて滑らかな二次曲面上の任意の曲線に拡張される。
  • 1 本を除くすべての直線：1 本を除くすべての直線が二次曲面上にある場合、WLP は保持される。
  • 2 本を除くすべての直線：著者らは、$r \ge 10$ のねじれ直線において、2 本を除くすべての直線が二次曲面上にある場合、$M(C)$ が WLP を満たさないという反例を構成する。これは、WLP が二次曲面から外れる直線の数に対して敏感であることを示している。

• 滑らかな既約曲線：

  • 低次数：著者らは、$\deg(C) < 10$ ならば、$M(C)$ が WLP を持つことを証明する。
  • 反例：彼らは、$M(C)$ が WLP を満たさない次数 15（算術種数 25）の滑らかな既約曲線を構成する。この曲線は算術的 Buchsbaum 曲線である。
  • 次数 10–14：次数が 14 までの場合、一般的な超平面切断の h-ベクトルが $(1, 2, 3, 3, 1)$、$(1, 2, 3, 4, 2, 1)$、および $(1, 2, 3, 4, 3, 1)$ である 3 つの特定のケースを除き、すべての滑らかな既約曲線について WLP が成り立つ。これら 3 つのケースの状況は未解決である。
  • 有理曲線：著者らは、一般的な非退化な次数 $d$ の有理曲線は、WLP を持つ Hartshorne-Rao 加群を持つことを証明する。しかし、彼らは WLP を満たさない滑らかな可約な有理曲線（次数 10）の例を提供し、既約性の重要性を浮き彫りにする。

意義と結論
本論文は、レフシェッツ性質を制御する際の幾何学的仮説の強さと限界の両方を示している。それは、「一般的な」配置（一般的なねじれ直線、一般的な有理曲線）が WLP/SLP を満たす傾向がある一方で、特定の幾何学的制約（二次曲面上の直線など）は、正確な配置に応じてこれらの性質を強制することも、破ることもできることを実証している。

著者らは、以下のいくつかの未解決問題を提起して結論付けている：

1. 一般的なねじれ直線の集合が完全な SLP を満たすかどうか（予想 6.1）。
2. 平坦な肥太点に対する一般的なヒルベルト関数の結果が、重複度 $m \ge 4$ まで拡張されるかどうか（予想 6.2）。
3. 滑らかな二次曲面上の曲線が SLP を満たすかどうか（問い 6.3）。
4. 次数が 10 から 14 の間の滑らかな既約曲線の 3 つの特定の未解決ケースにおいて、WLP が成り立つかどうか（問い 6.4）。
5. 一般的なものだけでなく、すべての 滑らかな有理曲線が WLP を満たすかどうか（問い 6.5）。

この研究は、特に弱レフシェッツ性質の文脈において、曲線の幾何学とそれらの Hartshorne-Rao 加群の代数的性質との関係の詳細な地図を提供している。