[論文レビュー] Syzygies of Jacobian ideals and defects of linear systems

Alexandru Dimca|arXiv (Cornell University)|Oct 5, 2012

Advanced Differential Equations and Dynamical Systems参考文献 6被引用数 20

ひとこと要約

本稿は、射影空間内の特異超曲面の特異点集合上に消失する線型系の欠損度と、同型多項式の全微分の関係性の明確な接続を確立する。ケイリー＝バハルカールの定理およびミルナー代数とツビリン代数の性質を用いて、ヤコビアンイデアルの正規化が $\max(T - ct(D), st(D))$ で安定化することを証明し、ミルナー代数の $a$-不変量およびカステルヌオヴォ＝マウムフォード正則性の明示的公式を導出する。

ABSTRACT

Our main result describes the relation between the syzygies involving the first order partial derivatives $f_0,...,f_n$ of a homogeneous polynomial $f\in \C[x_0,...x_n]$ and the defect of the linear systems vanishing on the singular locus subscheme $Σ_f=V(f_0,...,f_n)$ of the hypersurface $D:f=0$ in the complex projective space $\PP^n$, when $D$ has only isolated singularities.

研究の動機と目的

• 特異点が孤立する射影超曲面 $D:f=0$ の特異点スキーム $\Sigma_f = V(f_0, \dots, f_n)$ 上に消失する線型系の欠損度を理解すること。
• 全微分 $f_0, \dots, f_n$ のサイジィジとヤコビアンイデアル $J_f$ の正規化との関係を明確にすること。
• 正規化 $\widehat{J}_f$ の正確な安定化閾値を $ct(D)$ と $st(D)$ の不変量で特定すること。
• ミルナー代数 $M(f)$ の $a$-不変量およびカステルヌオヴォ＝マウムフォード正則性の明示的公式を導出すること。
• ノーダルの場合の結果を、ケイリー＝バハルカールの定理の全的適用により、一般の孤立特異点へと拡張すること。

提案手法

• コーシュル複体 $K^*(f)$ を用いて、非自明なサイジィジの最小次数 $mdr(D)$ を $H^n(K^*(f))_{q+n} \neq 0$ により定義する。
• ケイリー＝バハルカールの定理（CB7）を適用し、特異点集合 $\Sigma_f$ の文脈において、残差部分スキームとサイジィジ構造を関連付ける。
• ヒルベルト・ポアンカーレ級数 $HP(M(f); t)$ を用い、$HP(M(f_s); t) = \frac{(1-t^{d-1})^{n+1}}{(1-t)^{n+1}}$ を用いて、滑らかな超曲面 $M(f_s)$ との比較を行う。
• 主要な不変量を定義する：$ct(D)$ を一致閾値、$st(D)$ を安定化閾値、$mdr(D)$ をサイジィジの最小次数とする。
• 関係式 $ct(D) = mdr(D) + d - 2$ を用いて、正規化の上限を $ct(D)$ と $st(D)$ で表現する。
• 正規化条件 $\widehat{J}_f = \{ s \in S \mid \exists m_i \text{ が } x_i^{m_i}s \in J_f \}$ を適用し、$J_f$ がいつ正規化されるかを特定する。

実験結果

リサーチクエスチョン

• RQ1 全微分 $f_0, \dots, f_n$ 間のサイジィジは、特異点集合 $\Sigma_f$ 上に消失する線型系の欠損度とどのように関係するか？
• RQ2 正規化 $\widehat{J}_f$ の正確な安定化閾値は、$ct(D)$ と $st(D)$ の観点からどのように特定されるか？
• RQ3 $ct(D)$, $st(D)$, $mdr(D)$ の不変量は、ミルナー代数 $M(f)$ 及びその $a$-不変量と正則性の構造をどのように制御するか？
• RQ4 正規化 $\widehat{J}_f$ が正確に $st(D)$ で安定化する条件は何か？
• RQ5 $\Sigma_f$ が完全交差である場合、$M(f)$ のヒルベルト・ポアンカーレ級数は、$M(f_s)$ の級数および特異点集合の構造を用いて表現可能か？

主な発見

• 正規化 $\widehat{J}_f$ は、すべての $k \geq \max(T - ct(D), st(D))$ に対して $\widehat{J}_{f,k} = J_{f,k}$ を満たす。ここで $T = (n+1)(d-2)$ である。
• ミルナー代数の $a$-不変量は $a(M(f)) = T - ct(D) - 1$ で与えられる。
• ミルナー代数のカステルヌオヴォ＝マウムフォード正則性は $\operatorname{reg}(M(f)) = \max(T - ct(D), \operatorname{sat}(J_f) - 1)$ である。
• $\Sigma_f$ が次数 $a_1, \dots, a_n$ の形で定義される完全交差であるとき、$\tau(D) = a_1 \cdots a_n$ かつ $ct(D) = T - \sum a_i + n$ である。
• $\mathbb{P}^n$ 内のノーダル超曲面に対しては、$ct(D) \geq T/2$ であり、$n=2$ の場合 $st(D) = 2d - 3$ となる。このとき、特定の条件下で $\operatorname{sat}(J_f) = st(D)$ が成り立つ。
• $ct(D) \geq T/2$ のとき、ツビリン数 $\tau(D)$ は $\dim M(f_s)_{T - ct(D)}$ によって上界で抑えられ、$ct(D)$ が大きいほど $\tau(D)$ は小さくなる。