[論文レビュー] The weak Lefschetz property for m-full ideals and componentwise linear ideals

Tadahito Harima, Junzo Watanabe|arXiv (Cornell University)|Jun 28, 2012

Commutative Algebra and Its Applications参考文献 11被引用数 3

ひとこと要約

本稿は、多項式環におけるm-fullイデアルが弱Lefschetz性質を有するための必要十分条件を、階数付きBetti数を用いて確立し、特性0（および正の特性における一般初期イデアルの安定性のもとで）、成分ごとの線形イデアルのクラスと完全にm-fullイデアルのクラスが一致することを証明する。主な貢献は、Wiebeの定理を成分ごとの線形イデアルからm-fullイデアルへ一般化し、Betti数を含む refined 同値条件を提示することにある。

ABSTRACT

We give a necessary and sufficient condition for a standard graded Artinian ring defined by an m-full ideal, to have the weak Lefschetz property in terms of graded Betti numbers. This is a generalization of a theorem of Wiebe for componentwise linear ideals. We also prove that the class of componentwise linear ideals and that of completely m-full ideals coincide in characteristic zero and in positive characteristic, with the assumption that the generic initial ideal w.r.t. the graded reverse lexicographic order is stable.

研究の動機と目的

• 成分ごとの線形イデアルに対するWiebeの弱Lefschetz性質の特徴づけを、m-fullイデアルのより広いクラスへ拡張すること。
• 特に一般初期イデアルの安定性の下で、完全にm-fullイデアルが成分ごとの線形イデアルと一致するかどうかを調査すること。
• m-fullイデアルに対して、弱Lefschetz性質と階数付きBetti数条件との間の refined 同値関係を確立すること。
• 成分ごとの線形イデアルが完全にm-fullであることを示し、Conca, Negri, Rossiの結果を用いた新しい証明を与えること。
• Gin(I)の安定性を鍵とする仮説を提示し、完全にm-fullイデアルがすべて成分ごとの線形イデアルであることを部分的に証明すること。

提案手法

• 階数付きBetti数 β_{i,j}(I) を用いて、m-fullイデアルの弱Lefschetz性質を特徴づける。
• 一般の線形形式 x に対して mI:x = I という条件を用いて m-fullイデアルを定義し、その構造を分析する。
• Gin(I) が階数付き反転辞書式順序において安定であるという事実を活用し、I とその一般初期イデアルの Betti 数を比較する。
• 変数の数に関する帰納法を用い、問題を商環 R/xR に還元し、誘導されたイデアルを分析する。
• x による乗法を含む完全系列を適用し、(I:x)/I と (J:x_n)/J の次元を I とその一般初期イデアル J の間で関係付ける。
• 一般初期イデアルのもとで Hilbert 関数が不変であること、および Gin(I+xR) = Gin(I) + x_nR であるという事実を用いて、還元による Betti 数の比較を行う。

実験結果

リサーチクエスチョン

• RQ1 m-fullイデアルに対して、(i) R/I が弱Lefschetz性質を有する、(ii) j > d のとき β_{n-1,n-1+j}(I) = β_{0,j}(I) が成り立つ、(iii) j > d のとき β_{i,i+j}(I) = (n-1 choose i)β_{0,j}(I) が成り立つ、という3つの同値特徴づけが、どのような条件下で同値となるか？
• RQ2 完全にm-fullイデアルは、特に Gin(I) が安定であるとき、成分ごとの線形イデアルと一致するか？
• RQ3 m-fullイデアルの弱Lefschetz性質は、正確に条件 (iii) のBetti数条件によって特徴づけられるのか？これはWiebeの元の結果とどのように異なるか？
• RQ4 Gin(I) が安定であると仮定したもとで、I の生成数の最小値はその一般初期イデアル Gin(I) から回復可能か？これは成分ごとの線形性とどのように関係するか？
• RQ5 m-full性質は一般の線形形式による還元のもとで下がるのか？これはBetti数の構造にどのように影響するか？

主な発見

• m-fullイデアル I に対して、弱Lefschetz性質が成り立つための必要十分条件は、すべての i ≥ 0 および j > d に対して β_{i,i+j}(I) = (n-1 choose i)β_{0,j}(I) が成り立つことである。ここで d は β_{n-1,n-1+j}(I) > 0 となる最小の j である。
• Wiebeの定理における条件 (ii) は、一般の m-full イデアルに対しては強化する必要がある。しかし、一般の線形形式 x に対して I と I+(x)/(x) が両方とも m-full であるならば、すべての3条件 (i)–(iii) が同値である。
• 成分ごとの線形イデアルは完全にm-fullであり、これは Conca, Negri, Rossi の結果を用いた新しい証明により示される。
• Gin(I) が安定であると仮定したもとで、特性0および正の特性の両方において、完全にm-fullイデアルのクラスと成分ごとの線形イデアルのクラスが一致する。
• Gin(I) が安定であるならば、β_0(I) = β_0(Gin(I)) が成り立ち、これは主定理の帰納的証明を可能にする。
• R/I と R/(I+xR) の Hilbert 関数は、一般初期イデアルの形成のもとで不変であり、この不変性は還元による Betti 数の比較に不可欠である。