Jacobian algebras and variation of hyperplane sections

技術要約：ヤコビ環とハイパープレーン切断の変分

問題設定
本論文は、高々孤立特異点を持つ次数 $d \geq 3$ の超曲面 $X = V(f) \subseteq \mathbb{P}^n$ のハイパープレーン切断のモジュライにおける変分を調査している。特に、著者らは、有理写像
$$\Phi(f) : \mathbb{P}^{n*} \dashrightarrow M(d, n-1)$$
がその像に対して生成的に有限（generically finite）となるための、$f$ に関する代数的および幾何学的条件を決定するという問い 1.1に取り組んでいる。ここで、$M(d, n-1)$ は $\mathbb{P}^{n-1}$ 内の滑らかな次数 $d$ の超曲面の粗モジュライ空間を表す。この写像は、一般的なハイパープレーン $H$ を、その切断 $X \cap H$ のモジュライ・クラスへと送るものである。問題の本質は、ハイパープレーンの切断の族が最大に変分する、すなわち $\dim \text{Im } \Phi(f) = n$ となる条件を特定することである。

手法
著者らは、Patel–Riedl–Tseng による近年のベクトル束を用いた幾何学的手法とは対照的に、ヤコビ代数的および微小的なアプローチを採用している。核心となる戦略は以下の通りである：

1. 微小商（Infinitesimal Quotients）： $\Phi(f)$ の大域的なファイバーを解析する代わりに、ハイパープレーン自体における微小な座標変化による一次の変分を計算する。
2. ミルナー代数（Milnor Algebra）： $f$ の偏導関数によって生成されるヤコビイデアル $J_f$ を用いたミルナー代数 $M(f) = S/J_f$ を利用する。線形座標変化による $f$ の一次の変形の空間は $M(f)_d$ と同一視される。
3. 局所スライス論法（Local Slice Argument）： 微小商写像の単射性から、粗モジュライ空間における像の次元へと移行するために、著者らは**ルナのエタール・スライス定理（Luna's étale slice theorem）**を用いている。これにより、微小商写像が一般の点において単射であれば、$\Phi(f)$ が生成的に有限であることが正当化される。
4. 微分計算： 一般的なハイパープレーンを $H = V(x_0)$ とする座標系を選択することで、以下の明示的な線形写像を導出する：
   $$\psi(f, x_0) : \mathbb{C}^n \to R_d / (J_f)_d$$
   ここで、$(b_1, \dots, b_n) \mapsto [(b_1 x_1 + \dots + b_n x_n)f_0]$ と定義される（ただし $f_0 = \partial f / \partial x_0$）。この写像の単射性が最大変分を決定する。

主要な貢献と結果

1. 障害の特定：
   本論文は、$\Phi(f)$ が生成的に有限にならないことが、正確に2つの代数的障害によって支配されていることを確立している（命題 3.1）：

   • 自己同型による障害（The Automorphism Obstruction）： 線形ヤコビ・シジジー（すなわち $e = \text{indeg}(\text{Syz}(J_f)) = 1$）の存在。非錐体（non-cones）の場合、これは $\text{Aut}_{\mathbb{P}^n}(X)$ が正次元の射影自己同型群を持つことと同値である。
   • レフシェッツによる障害（The Lefschetz Obstruction）： 一般的な線形形式による乗法写像が、臨界次数において単射にならないこと：
     $$\ell : M(f)_{d-1} \to M(f)_d$$
     主要な基準（定理 3.3）は、$\dim \text{Aut}_{\mathbb{P}^n}(X) = 0$ かつ 写像 $\ell$ が単射であれば、$\Phi(f)$ は生成的に有限であると述べている。

2. 特異な超曲面への拡張：
   本研究は、滑らかな超曲面から孤立特異点を持つ超曲面へと、Beauville–Patel–Riedl–Tseng の理論を拡張している。滑らかな場合、自己同型による障害は消失し、結果は弱レフシェッツ特性（WLP）のみに依存する。

3. 具体的な次元に関する結果：

   • 滑らかな場合： $n \geq 3$ かつ $d \geq n+2$ である滑らかな超曲面に対して、写像は生成的に有限である（系 3.4）。これは、先行研究で見られた範囲 $d \geq n+3$ を、完全交差のWLPの結果を用いて1次分改善したものである。
   • 平面曲線 ($n=2$)： 著者らは完全な分類を提供している（定理 4.2）。$d \geq 5$ の場合、生成的な有限性は $\dim \text{Aut}_{\mathbb{P}^2}(C) = 0$ であることと同値である。$d=3$ のとき、写像は定数であり、$d=4$ のとき、最大ランクを持つが生成的に有限ではない。
   • $\mathbb{P}^3$ 内の曲面 ($n=3$)： 滑らかな曲面について、3次曲面 ($d=3$) は最大ランクを持つが生成的に有限ではない。$d \geq 4$ の場合、写像は生成的に有限である（定理 5.2）。

4. 特異なハイパープレーン切断の判定基準：
   新たな貢献として、特異なハイパープレーン切断 $W = X \cap H'$ を用いてレフシェッツ条件を検証することを可能にする定理 6.2 を挙げている。$W$ がそのシジジーに関して特定の性質（$r(g) > 1$）および飽和に関しての性質（$s(g) > 1$）を持つ場合、$X$ のレフシェッツ写像は単射となる。これは系 6.4 および 6.5 につながり、結節点（nodes）を含む条件（例：一般線形配置にある $n$ 個の結節点を持つ切断）を提供する。

5. シェーン・クインティック（Schoen Quintic）への適用：
   本論文は、特異な切断の判定基準をシェーン・クインティック 3-fold ($d=5, n=4$) に適用している。固有の特異点を持つ特定のハイパープレーン切断を解析することにより、条件を検証し、シェーン・クインティックのハイパープレーン切断がモジュライにおいて生成的に有限に変化することを結論づけている（例 6.8）。

意義
本論文は、ハイパープレーン切断の変分を研究するための統一的なヤコビ代数的枠組みを提供すると主張している。その意義は以下の点にある：

• 一般化： 滑らかな超曲面について既知であった結果を、新しい障害（線形ヤコビ・シジジー／自己同型群）を明示的に特定することで、特異なケースへと成功裏に拡張したこと。
• 精緻化： 滑らかなケースにおける生成的な有限性の既知の数値的境界を改善したこと（例：$d \geq n+3$ ではなく $d \geq n+2$）。
• 新しいツール： 特異な切断面を通じてレフシェッツ特性を検証する手法を導入したこと。これは、一般の切断を直接解析することが困難な場合や、特異な切断が存在することが既知である場合（シェーン・クインティックのように）に特に有用である。
• 関連性： 最大変容の幾何学的な失敗を、ホモロジー的性質（ブルバキ次数、シジジー）および自己同型群へと結びつけたこと。

著者らは、自らのアプローチが、ミルナー代数やシジジー加群を通じて計算可能な明示的な代数的基準を提供することで、Patel–Riedl–Tseng による大域的な幾何学的手法を補完するものであると述べている。