[論文レビュー] Jacobian syzygies, stable reflexive sheaves, and Torelli properties for projective hypersurfaces with isolated singularities

Alexandru Dimca|arXiv (Cornell University)|Aug 10, 2014

Algebraic Geometry and Number Theory参考文献 27被引用数 4

ひとこと要約

本稿は、孤立特異点をもつ射影的超曲面のヤコビアンイデアルのサイジィジとそのトーリー性質との間の関係を確立し、小規模なチュリナ数をもつ超曲面がドゥォルガチェフ＝カプラノフの意味でトーリーであることを証明する。1次元完全交差におけるサイジィジの最小次数に対する新しい下界を導入し、対数的ベクトル場の反射的層が特定の条件下で安定であることを示し、平面曲線および曲面に対してより鋭いトーリー基準を導く。

ABSTRACT

We investigate the relations between the syzygies of the Jacobian ideal of the defining equation for a projective hypersurface $V$ with isolated singularities and the Torelli properties of $V$ (in the sense of Dolgachev-Kapranov). We show in particular that hypersurfaces with a small Tjurina numbers are Torelli in this sense. When $V$ is a plane curve, or more interestingly, a surface in $P^3$, we discuss the stability of the reflexive sheaf of logarithmic vector fields along $V$. A new lower bound for the minimal degree of a syzygy associated to a 1-dimensional complete intersection is also given.

研究の動機と目的

• 孤立特異点をもつ射影的超曲面のヤコビアンイデアルのサイジィジとトーリー性質との関係を調査すること。
• 1次元完全交差におけるサイジィジの最小次数に対する新しい下界を確立すること。
• 特に ℙ³ における平面曲線および曲面における超曲面に沿った対数的ベクトル場の反射的層 T⟨V⟩ の安定性を分析すること。
• チュリナ数が小さい超曲面がドゥォルガチェフ＝カプラノフの意味でトーリーであることを証明すること。
• ノードおよびカスプ特異点をもつ平面曲線に対する既存のトーリー基準を改善し、トーリー性質を示すために必要な次数境界を弱める。

提案手法

• 本稿は、AR(f) を Ωⁿ 上の df ∧ の核とし、KR(f) を Ωⁿ⁻¹ 上の df ∧ の像とする、本質的関係の次数付き加群 ER(f) = AR(f)/KR(f) を使用する。
• 反射的層 T⟨V⟩ は、完全系列 0 → T⟨V⟩ → O_X(1)ⁿ⁺¹ → I_Y(N) → 0 を通じて定義される。
• この手法はコhomological 技法に依存し、H⁰(T⟨V⟩(m−1)) と AR(f)_m の同定を通じて、サイジィジ加群と層のグローバルセクションを結びつける。
• チュリナ数 τ(V) を用いて、ER(f)_m の消滅に対する新しい境界が導出され、重み付き同次特異点を仮定しないで、m ≤ n(N−2) − τ(V) に対して ER(f)_m = 0 が成り立つ。
• 乗法写像の核計算とグローバルセクションの次元を用いて、T⟨V⟩ の安定性が分析される。
• トーリー結果の証明は、次数境界とヤコビアンイデアルの構造に基づく背理法を用い、与えられたチュリナ数制約のもとで、自明でないサイジィジが存在しないことを示す。

実験結果

リサーチクエスチョン

• RQ1 チュリナ数 τ(V) がどのような条件下で、孤立特異点をもつ射影的超曲面 V がドゥォルガチェフ＝カプラノフの意味でトーリーとなるか。
• RQ2 n+1 個の同次多項式で定義される1次元完全交差において、非自明なサイジィジの最小次数は何か。
• RQ3 特に ℙ³ における平面曲線および曲面において、対数的ベクトル場の反射的層 T⟨V⟩ が安定であるのはいつか。
• RQ4 ノードとカスプのみをもつ平面曲線に対して、以前に知られていたものより弱い次数境界のもとで、トーリー性質を確立できるか。
• RQ5 ヤコビアンイデアルが層 T⟨V⟩ によって決定される必要十分条件は何か。これにより、トーリー型再構成が可能となる。

主な発見

• 本稿は、ER(f)_m = 0 がすべての m ≤ n(N−2) − τ(V) に対して成り立つことを確立し、重み付き同次特異点を仮定しない鋭い、素朴な境界を提供する。
• n+1 個の次数 e の同次多項式によって定義される1次元完全交差に対しては、ER(f)_m は m ≤ n(e−1) − ∑ₚ o(m_p) に対して消える。ここで o(m_p) は、0次元スキーム上の各点における最大イデアルの位数である。
• チュリナ数 τ(V) が小さいとき、特に τ(V) ≤ (n−1)(N−4)/2 + 1 のとき、反射的層 T⟨V⟩ は安定である。
• 曲線 V がノードとカスプのみをもち、ν + 2κ ≤ (N−2)/2 を満たすとき、V は DK-トーリーである。これは、1つのカスプに対して N ≥ 8 から N ≥ 6 への以前の境界の改善を意味する。
• 層 T⟨V⟩ はヤコビアンイデアルの同次成分 J_f,N−1 を決定する。これにより、J_f が T⟨V⟩ から回復できるならば、f はスカラー倍を除き一意に決定される。
• 本稿は、チュリナ数制約のもとでセバスティアーニ＝トムおよび高重複度特異点のケースを除外し、トーリー定理の証明を完成させる。