[論文レビュー] Invariants and rigidity of projective hypersurfaces

Gabriel Sticlaru|arXiv (Cornell University)|Sep 27, 2013

Algebraic Geometry and Number Theory参考文献 13被引用数 5

ひとこと要約

本稿では、孤立特異点をもつ射影超曲面のミルナー代数のヒルベルト・ポincare級数に基づき、一致閾値（ct）、安定性閾値（st）、欠損度（def）、対数凸性（lc）といった新しい不変量を導入し、それらの計算を行う。これらの不変量とSingularプログラムを用いて、射影的剛性の基準を確立し、ケイリーの立方体やクーメル面といった古典的表面や3次元多様体が剛性をもつかどうかを証明する。主な結果は、飽和ヤコビアンイデアルの商の次元から導かれる。

ABSTRACT

This paper continues our researches \cite{DS1, DS2, DS3} by computing some invariants based on Hilbert-Poincaré series associated to Milnor algebras. Our computations are for some of the classical surfaces and 3-folds with different configurations of isolated singularities. As a by-product of a recent result of E. Sernesi, we give examples of classical hypersurfaces which are (or are not) projectively rigid. We also include a Singular program to compute the invariants and to decide if a singular projective hypersurface is nodal and projectively rigid.

研究の動機と目的

• 孤立特異点をもつ射影的超曲面のミルナー代数のヒルベルト・ポincare級数に基づき、新しい不変量（ct、st、mdr、def、lc）を計算すること。
• これらの不変量を用いて、A_k、D_k、E_k 特異点をもつ古典的超曲面が射影的に剛性をもつかどうかを特定すること。
• Singularプログラムを用いた計算フレームワークを提供し、不変量の自動計算およびノダリティ・射影的剛性のテストを自動化すること。
• チャウダリー・ディマ・定理における境界を精緻化し、ミルナー代数のヒルベルト関数に対する鋭い推定値を確立すること。
• ヤコビアンイデアルおよびその飽和から導かれる代数的不変量を用いて、古典的超曲面の剛性問題を解明すること。

提案手法

• ミルナー代数 M(f) = S/J_f のヒルベルト・ポincare級数 HP(M(f))(t) を、組合せ的方法および自由分解を用いて計算する。
• 一致閾値 ct(D) は、すべての次数 k までで dim M(f)_k = dim M(f_s)_k を満たす最大の次数 k として定義される。ここで f_s は同じ次数の滑らかな超曲面を表す。
• 安定性閾値 st(D) は、すべての k ≥ q に対して dim M(f)_k = τ(D) を満たす最小の次数 q として定義される。ここで τ(D) は全ティュリナ数を表す。
• 欠損度 def(D) は、S(t) - F(t) の最初の非ゼロ係数として定義される。ここで S(t) と F(t) はそれぞれ特異点付きおよび滑らかな超曲面のヒルベルト・ポincare級数を表す。
• 対数凸性不変量 lc(D) は、列 dim M(f)_0, ..., dim M(f)_q が対数凸である最大の q として定義される。q ≥ st(D)+1 の場合は ∞ とする。
• すべての不変量を計算し、射影的剛性を決定するSingularプログラムを実装する。公式は dim(Ĵ_d / J_d) = dim M(f)_d - dim M(f_s)_d + dim M(f)_{T-d} - τ(D) を用いる。

実験結果

リサーチクエスチョン

• RQ1 孤立特異点をもつ古典的射影的超曲面の中で、どのものが射影的に剛性をもつか。この性質を決定づける不変量は何か。
• RQ2 ct、st、mdr、def、lc といった不変量は、全ティュリナ数およびミルナー代数の構造とどのように関係するか。
• RQ3 ミルナー代数のヒルベルト・ポincare級数は、低次の超曲面においてノダリティおよび射影的剛性を検出できるか。
• RQ4 ミルナー代数およびヤコビアンイデアルの飽和を用いた、射影的剛性の明確な代数的条件は何か。
• RQ5 P^3、P^4、P^5 における A_k、D_k、E_k 特異点の配置は、剛性または非剛性の超曲面をもたらすか。

主な発見

• P^3 における4つの A_1 特異点をもつケイリーの立方体表面は、Ĵ_d / J_d の消滅により射影的に剛性であることが確認された。
• P^3 における孤立特異点をもつすべての3次超曲面で、A_4、A_1+A_3、A_5、D_4、2A_1+A_2、A_1+A_4、D_5、4A_1、A_1+2A_2、2A_1+A_3、A_1+A_5、E_6、3A_2 の特異点型をもつものはすべて射影的に剛性である。
• P^3 における144個の A_1 特異点をもつクーメル面および8次超曲面は、Ĵ_d / J_d が非ゼロであるため射影的に非剛性であることが示された。
• P^5 における15個のノードをもつノーダル3次超曲面は、Ĵ_d / J_d の次元が非ゼロであるため射影的に非剛性である。
• P^4 におけるバーグシュタット4次超曲面（45A_1）、5次超曲面（125A_1）、10A_1 の3次超曲面は、不変量および剛性基準により射影的に剛性であることが確認された。
• 本稿では、dim(Ĵ_d / J_d) の導出式を用いて、すべての不変量を自動計算し、ノダリティおよび射影的剛性を自動で特定する完全なSingularプログラムを提供している。