[論文レビュー] Hilbert series and Lefschetz properties of dimension one almost complete intersections

Alexandru Dimca, Dorin Popescu|arXiv (Cornell University)|Mar 24, 2014

Algebraic Geometry and Number Theory参考文献 23被引用数 22

ひとこと要約

この論文は、孤立特異点をもつ射影的超曲面のミルナー代数から、次元1のほぼ完全交差へのヒルベルト系列とレフシェッツ性質の一般化を試みる。飽和が完全交差である場合の不変量に対する明示的公式を確立し、次元2における $ S/J $ に対して弱レフシェッツ性質を証明し、非自明なアレクサンダー多項式をもつ超曲面の新しい例を提示する。また、次元3において2つの予想と反例を提示する。

ABSTRACT

We generalize some properties related to Hilbert series and Lefschetz properties of Milnor algebras of projective hypersurfaces with isolated singularities to the more general case of an almost complete intersection ideal $J$ of dimension one. When the saturation $I$ of $J$ is a complete intersection, we get explicit formulas for a number of related invariants. New examples of hypersurfaces $V:f=0$ in $P^n$ whose Jacobian ideal $J_f$ satisfies this property and with explicit nontrivial Alexander polynomials are given in any dimension. A Lefschetz type property for the graded quotient $I/J$ is proved for $n=2$ and a counterexample due to A. Conca is given for such a property when $n=3$. Two conjectures are also stated in the paper.

研究の動機と目的

• 特異点が孤立する超曲面のミルナー代数に関するヒルベルト系列およびレフシェッツ性質の結果を、より一般の次元1のほぼ完全交差の設定へと拡張すること。
• 理想子の飽和が完全交差である場合の不変量に対する明示的公式を提供すること。
• 任意の次元において非自明なアレクサンダー多項式をもつ射影的超曲面の新しい例を構成すること。
• 特に $ n=2 $ の場合に、$ I/J $ のレフシェッツ型性質を調査し、高次元における制限を同定すること。
• これらの代数およびその不変量に関する構造に関する2つの予想を提示し、それらに裏付けを提供すること。

提案手法

• $ S/J $ の構造を分析するため、ヒルベルト系列および飽和理論を用いる。ここで $ J $ は次元1のほぼ完全交差である。
• $ f_1, \ldots, f_n $ が正則系列をなすことを利用し、完全交差に関する既知の結果へと問題を還元する。
• $ \mathbb{P}^n $ 上のシジージ包 $ \mathcal{K} $ と理想層 $ \mathcal{J} $ を含む完全系列を用いた層論的技法を適用する。
• [8], [13], [17] の結果に依拠して、$ I/J $ の双対性の性質を用い、局所コホホロジー加群の構造を分析する。
• 線形写像の半連続性およびランクの議論を用いて、一般の一次形式による乗法写像の単射性および全射性を確立する。
• ケイリー＝バッハラシュ条件の理論を適用し、$ N(f) $ における次元列の単峰性および対数的凸性の構造を用いて、予想を支持する。

実験結果

リサーチクエスチョン

• RQ1 ヒルベルト系列およびレフシェッツ性質は、ミルナー代数から次元1のほぼ完全交差のより一般の設定へとどのように拡張できるか。
• RQ2 理想子の飽和 $ I $ が完全交差である場合に、不変量に対する明示的公式をどのように導出できるか。
• RQ3 任意の次元において非自明なアレクサンダー多項式をもつ射影的超曲面の新しい例を構成可能か。
• RQ4 次元 $ n=2 $ において、$ I/J $ に対してレフシェッツ型性質が成り立つか。高次元では何が障害となるか。
• RQ5 次元列 $ n_k = \dim N_k $ の単峰性および対数的凸性の性質はどの程度成り立ち、それらはレフシェッツ性質とどのように関係するか。

主な発見

• $ J $ の飽和 $ I $ が完全交差である場合、$ S/J $ の主要な不変量、特にヒルベルト系列および $ I/J $ の構造に対する明示的公式が導出される。
• $ n=2 $ の場合、弱レフシェッツ性質が証明される：一般の一次形式 $ l $ による乗法写像は、$ i < (d_0 + d_1 + d_2 - 3)/2 $ に対して $ N_i \to N_{i+1} $ が単射であり、$ i \geq i_0 = \lfloor (d_0 + d_1 + d_2 - 3)/2 \rfloor $ に対して全射である。
• A. コンカによる反例により、次元 $ n=3 $ における $ I/J $ のレフシェッツ型性質が成り立たないことが示され、$ n=2 $ での遷移が明確であることが判明する。
• $ n_k = \dim N_k $ の列は単峰的であり、完全交差の仮定のもとで対数的凸性を示し、[7] からの予想を支持する。
• 任意の次元において、明示的な非自明なアレクサンダー多項式をもつ超曲面 $ V:f=0 $ が $ \mathbb{P}^n $ 上に構成される。
• 平面曲線の次数が $ d $ の場合、列 $ n_k $ は $ n_k = n_{3d-6-k} $ を満たし、単峰性の構造により $ M(f) $ に対して部分的なレフシェッツ性質が成立する。これは $ ct(C) \geq 3(d-2) - i_0 $ のとき成立する。