[论文解读] 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

一句话总结

本文在特征零的域上，为阿廷ian Gorenstein分次环建立了弱 Lefschetz 性质（WLP）的判定准则，证明当一般线性形式 $\ell$ 的零化子 $0:_A \ell$ 的极小生成元个数为二时，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.

研究动机与目标

• 确定三变量阿廷ian Gorenstein分次环在何种条件下具有弱 Lefschetz 性质。
• 通过 $k[x_r]$ 上的基本序列与极小自由解析的结构，分析 WLP 失效的情形。
• 在 $0:_A\ell$ 中有两个极小生成元的假设下，通过分析 Ext-模长度的矛盾，证明 WLP 失效时的矛盾。
• 将关于完全交与低次理想已知的结果推广至更广泛的 Gorenstein 环类。

提出的方法

• 在 $k[x_3]$ 上构造 $A = k[x_1,x_2,x_3]/I$ 的极小自由解析，利用 $I$ 的基本序列的最后部分。
• 在 $k[x_r]$ 上定义 $r-1$ 个方阵 $X_j$，表示通过解析得到的 $x_j$ 在 $A$ 上的乘法作用。
• 研究代数 $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$ 的极小解析。
• 若 $A$ 不具有 WLP，则通过证明某个映射 $\eta'$ 会迫使 $h_1,h_2 \in (h_5)$，与 $\deg(\gcd(h_1,h_2)) > 0$ 矛盾，从而导出矛盾。

实验结果

研究问题

• RQ1 在特征零的域上，三变量阿廷ian Gorenstein分次环在何种条件下具有弱 Lefschetz 性质？
• RQ2 零化子 $0:_A\ell$ 的极小生成元个数如何影响此类环中的 WLP？
• RQ3 当 WLP 失效时，$k[x_r]$ 上的极小自由解析中会引发何种结构约束？
• RQ4 WLP 的失效是否可通过 $R/(x_3)$ 上的 $\operatorname{Ext}^2$ 模的长度来检测？
• RQ5 对于零化子 $0:_A\ell$ 中有两个生成元的 Gorenstein 环，当 $n^r_{m_r} < n^{r-1}_{m_{r-1}}$ 时，是否在模结构中产生矛盾？

主要发现

• 若 $\operatorname{char}(k) = 0$ 且 $0:_A\ell$ 在 $R = k[x_1,x_2,x_3]$ 上有两个极小生成元，则阿廷ian Gorenstein分次环 $A = k[x_1,x_2,x_3]/I$ 具有弱 Lefschetz 性质。
• 通过两种不同解析比较 $\operatorname{Ext}^2_{R/(x_3)}(A/x_3A, R/(x_3))(-2)$ 的长度，可导出 WLP 失效时的矛盾。
• 存在一个单射映射 $\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$ 矛盾。
• 当 $d_3 < d_1 + d_2 - 1$ 且 $c$ 满足 $2c \leq d_1 + d_2 - d_3 \leq 2c+1$ 时，$I$ 的基本序列满足 $B_R(I) \overset{\text{p}}{=} B^c$，推广了已知结果。
• 该结果包含了高度为三的完全交情形（如 [8, 定理 2.3]）以及 $\min\{l \mid [I]_l \neq 0\} = 2$ 的情形（如 [10, 推论 3.2]）。
• 该方法依赖于比较一个对偶化 Ext 模长度的两个表达式：一个来自与 $R/(x_3)$ 张量化的解析，另一个来自 $A/x_3A$ 的极小解析，若 WLP 失效则导致矛盾。