[论文解读] The Weak and Strong Lefschetz Properties for Artinian K-Algebras

Tadahito Harima, Juan Migliore+2 more|ArXiv.org|Aug 26, 2002

Commutative Algebra and Its Applications参考文献 19被引用 5

一句话总结

该论文表明，特征为零的域上的标准分次 Artinian $K$-代数的弱 Lefschetz 性质与强 Lefschetz 性质由同一类 Hilbert 函数刻画，且对两类性质均适用相同的 graded Betti 数的尖锐上界。论文证明了每个高度为三的完全交以及 $K[x,y]$ 中的每个 Artinian 理想都具有强 Lefschetz 性质，并构造出对给定 Hilbert 函数实现最大 Betti 数的代数。

ABSTRACT

Let A = bigoplus_{i >= 0} A_i be a standard graded Artinian K-algebra, where char K = 0. Then A has the Weak Lefschetz property if there is an element ell of degree 1 such that the multiplication times ell : A_i --> A_{i+1} has maximal rank, for every i, and A has the Strong Lefschetz property if times ell^d : A_i --> A_{i+d} has maximal rank for every i and d. The main results obtained in this paper are the following. 1) EVERY height three complete intersection has the Weak Lefschetz property. (Our method, surprisingly, uses rank two vector bundles on P^2 and the Grauert-Mulich theorem.) 2) We give a complete characterization (including a concrete construction) of the Hilbert functions that can occur for K-algebras with the Weak or Strong Lefschetz property (and the characterization is the same one). 3) We give a sharp bound on the graded Betti numbers (achieved by our construction) of Artinian K-algebras with the Weak or Strong Lefschetz property and fixed Hilbert function. This bound is again the same for both properties. Some Hilbert functions in fact FORCE the algebra to have the maximal Betti numbers. 4) EVERY Artinian ideal in K[x,y] possesses the Strong Lefschetz property. This is false in higher codimension.

研究动机与目标

• 确定具有弱或强 Lefschetz 性质的 Artinian $K$-代数可能出现的 Hilbert 函数。
• 对固定 Hilbert 函数，建立此类代数的 graded Betti 数的尖锐上界。
• 研究强 Lefschetz 性质是否对 Hilbert 函数或 Betti 数施加比弱 Lefschetz 性质更严格的约束。
• 证明每个特征为零的域上高度为三的完全交具有弱 Lefschetz 性质，使用向量丛与 Grauert-Mülicher 定理。
• 证明 $K[x,y]$ 中每个 Artinian 理想都具有强 Lefschetz 性质，该结果在更高余维下不成立。

提出的方法

• 使用 $\mathbb{P}^2$ 上的秩二向量丛与 Grauert-Mülicher 定理，证明高度为三的完全交具有弱 Lefschetz 性质。
• 通过迭代理想化构造代数，并利用 lex-段理想实现最大 Betti 数，同时满足强 Lefschetz 性质。
• 应用关于一般初始理想与 Borel-固定理想的理论，将强 Lefschetz 性质问题约化为关于单项式理想的讨论。
• 使用乘法映射 $\times x_0^d$ 在 $A_i$ 与 $A_{i+d}$ 之间的交换图，将其与商代数 $B^{(j)}_i$ 上的映射进行比较，以分析单射性与满射性。
• 利用 $\text{gin}(I)$ 为 Borel-固定以及强 Lefschetz 性质等价于 $A/(y^d)$ 的 Hilbert 函数在乘以 $y^d$ 时具有最大秩的事实。
• 应用 $\mathfrak{sl}(2)$ 的表示理论与上同调方法，验证特殊情形（如单项式完全交）下的 Lefschetz 性质。

实验结果

研究问题

• RQ1 哪些 Hilbert 函数可出现在具有弱或强 Lefschetz 性质的 Artinian $K$-代数上？
• RQ2 强 Lefschetz 性质与弱 Lefschetz 性质是否对 Artinian $K$-代数可能的 Hilbert 函数施加不同的限制？
• RQ3 对于具有弱 Lefschetz 性质的代数，graded Betti 数的尖锐上界是否可由具有强 Lefschetz 性质的代数实现？
• RQ4 是否存在一组可实现于具有弱 Lefschetz 性质但不可实现于具有强 Lefschetz 性质的代数的 graded Betti 数？
• RQ5 每个 $K[x,y]$ 中的 Artinian 理想是否都具有强 Lefschetz 性质？该结论在更高余维下是否成立？

主要发现

• 特征为零的域上 Artinian $K$-代数的弱 Lefschetz 性质与强 Lefschetz 性质由同一类 Hilbert 函数刻画。
• 每个 $K[x_1,x_2,x_3]$ 中的高度为三的完全交都具有弱 Lefschetz 性质，其证明基于 $\mathbb{P}^2$ 上的秩二向量丛与 Grauert-Mülicher 定理。
• $K[x,y]$ 中每个 Artinian 理想都具有强 Lefschetz 性质，但该结论在更高余维下不成立。
• 对于具有弱或强 Lefschetz 性质的 Artinian $K$-代数，graded Betti 数的尖锐上界可通过一个同样满足强 Lefschetz 性质的构造实现。
• $A/(y^d)$ 的 Hilbert 函数在乘以 $y^d$ 时具有最大秩，这一条件刻画了强 Lefschetz 性质，且该条件在一般初始理想运算下保持不变。
• 支持一个猜想：不存在一组可实现于弱 Lefschetz 性质但不可实现于强 Lefschetz 性质的 graded Betti 数。