[論文レビュー] The weak Lefschetz property for Artinian graded rings and basic sequences

Mutsumi Amasaki|arXiv (Cornell University)|Sep 12, 2011

Commutative Algebra and Its Applications参考文献 6被引用数 4

ひとこと要約

本稿は、特性0の体上におけるArtinian Gorenstein次数付き環に対して、弱Lefschetz性質（WLP）の基準を確立する。一般の線形形式 $ε$ に対して、$0:_A \ell$ の最小生成元の数が2であるとき、WLPが成り立つことを示している。一変数多項式環上の加群論的技法を用い、最小自由分解から得られる乗法行列の構造を分析することで、WLPが成立しないと仮定した場合に矛盾を導き出し、双対化およびExt加群の長さ比較により、$r=3$ の場合に結果を証明している。

ABSTRACT

The basic sequence of a homogeneous ideal $I\sset R=k[\seq{x}{1}{r}]$ defining an Artinian graded ring $A=R/I$ not having the weak Lefschetz property has the property that the first term of the last part is less than the last term of the penultimate part. For a general linear form $\ell$ in $\seq{x}{1}{r}$, this fact affects in a certain way the behavior of the $r-1$ square matrices in $k[\ell]$ which represent the multiplications of the elements of $A$ by $\seq{x}{1}{r-1}$ through a minimal free presentation of $A$ over $k[\ell]$. Taking advantage of it, we consider some modules over an algebra generated over $k[\ell]$ by the square matrices mentioned above. In this manner, for the case $r=3$, we prove that an Artinian \Gor\ graded ring $A=k[x_1,x_2,x_3]/I$ has the weak Lefschetz property if $\ch{k}=0$ and the number of the minimal generators of $0:_A\ell$ over $k[x_1,x_2,x_3]$ is two.

研究の動機と目的

• 3変数のArtinian Gorenstein次数付き環が弱Lefschetz性質を満たす条件を同定すること。
• $k[x_r]$ 上の基本列および最小自由分解の構造を通じて、WLPの失敗を分析すること。
• WLPが失敗する場合に、Ext加群の長さに矛盾が生じることを、$0:_A\ell$ に2つの最小生成元があるという仮定の下で確立すること。
• 完全交差や低次のイデアルに関する既知の結果を、より広いクラスのGorenstein環へ一般化すること。

提案手法

• $A = k[x_1,x_2,x_3]/I$ を $k[x_3]$ 上で最小自由分解する。これは $I$ の基本列の最後の部分を用いる。
• $k[x_r]$ 上の $r-1$ 個の正方行列 $X_j$ を定義し、$A$ 上での $x_j$ の乗法作用を分解を用いて表現する。
• 代数 $k[x_r][X_1,\dots,X_{r-1}]$ 上での $L$ および $\operatorname{Im}(\varPhi)$ の加群構造を、次数フィルトレーションに注目して研究する。
• 定理2.1を用いて、$\operatorname{Im}(\varPhi)$ のある部分加群が $N_p$（最初の $p$ 成分の核）に含まれることを示す。
• 分解を $R/(x_3)$ でテンソル化し、$\operatorname{Ext}^2_{R/(x_3)}(A/x_3A, R/(x_3))(-2)$ の長さについて二通りの表現を比較する。一方は分解を用い、他方は $A/x_3A$ の最小分解を用いる。
• WLPが成立しないと仮定した場合、ある写像 $\eta'$ が $h_1,h_2 \in (h_5)$ を強制することを示し、$\deg(\gcd(h_1,h_2)) > 0$ と矛盾することを導く。

実験結果

リサーチクエスチョン

• RQ1 3変数のArtinian Gorenstein次数付き環が、特性0の体上で弱Lefschetz性質を満たす条件は何か？
• RQ2 $0:_A\ell$ の最小生成元の数が、このような環におけるWLPにどのように影響を与えるか？
• RQ3 WLPが失敗する場合、$k[x_r]$ 上の最小自由分解にどのような構造的制約が生じるか？
• RQ4 WLPの失敗は、$R/(x_3)$ 上の $\operatorname{Ext}^2$ 加群の長さを通じて検出可能か？
• RQ5 Gorenstein環において $0:_A\ell$ に2つの生成元があるとき、$n^r_{m_r} < n^{r-1}_{m_{r-1}}$ ならば、加群構造に矛盾が生じるか？

主な発見

• 特性0の体 $k$ を持ち、$0:_A\ell$ が $R = k[x_1,x_2,x_3]$ 上で2つの最小生成元を持つ場合、Artinian Gorenstein次数付き環 $A = k[x_1,x_2,x_3]/I$ は弱Lefschテルズ性質を有する。
• WLPが失敗する場合、$\operatorname{Ext}^2_{R/(x_3)}(A/x_3A, R/(x_3))(-2)$ の長さを二通りの分解で比較することで、矛盾が生じる。
• 写像 $\eta': R/(h_5, h_2h_3 - h_1h_4) \to R/(h_1,h_2)$ が単射であると仮定すると、$h_1,h_2 \in (h_5)$ が導かれ、$\deg(\gcd(h_1,h_2)) > 0$ と矛盾する。
• イデアル $I$ の基本列は、$d_3 < d_1 + d_2 - 1$ かつ $c$ が $2c \leq d_1 + d_2 - d_3 \leq 2c+1$ を満たすように選ばれるとき、$B_R(I) \overset{\text{p}}{=} B^c$ を満たす。これは既知の結果を一般化する。
• 本結果は、[8, 定理2.3] における高さ3の完全交差のケース、および $\min\{l \mid [I]_l \neq 0\} = 2$ のケース（[10, 推論3.2] による）を含む。
• 本手法は、$R/(x_3)$ でテンソル化した分解から得られる双対Ext加群の長さの二通りの表現を比較することに依拠しており、WLPが失敗する場合に矛盾を導く。