[论文解读] Lefschetz elements of Artinian Gorenstein algebras and Hessians of homogeneous polynomials

Toshiaki Maeno, Junzo Watanabe|ArXiv.org|Mar 20, 2009

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

一句话总结

该论文通过定义齐次多项式的相关高阶Hessian矩阵，为特征零域上的Artinian Gorenstein代数中的强Lefschetz元素提供了一个判别准则。研究结果表明，强Lefschetz元素的集合是高阶Hessian矩阵零点集的补集，且通过构造第二Hessian为零而第一Hessian非零的多项式，首次构建了不具有强Lefschetz性质的Artinian Gorenstein代数的新例子。

ABSTRACT

We give a characterization of the Lefschetz elements in Artinian Gorenstein rings over a field of characteristic zero in terms of the higher Hessians. As an application, we give new examples of Artinian Gorenstein rings which do not have the strong Lefschetz property.

研究动机与目标

• 为特征零域上的Artinian Gorenstein代数中的强Lefschetz元素提供一个刻画。
• 解决传统基于行列式算法在判断给定Artinian Gorenstein代数是否具有强Lefschetz性质时所面临的困难。
• 通过分析高阶Hessian矩阵的消失性，构造新的不具有强Lefschetz性质的Artinian Gorenstein代数例子。
• 在余不变量代数和具有单峰对称Hilbert函数的对称代数背景下，深化对Lefschetz性质的理解。

提出的方法

• 将Artinian Gorenstein代数表示为微分算子环 $ Q $ 对齐次多项式 $ F $ 的零化子的商，即 $ A \cong Q / \operatorname{Ann}_Q F $。
• 引入高阶Hessian矩阵 $ \operatorname{Hess}^{(d)}F $（其中 $ 1 \leq d \leq \lfloor \deg F / 2 \rfloor $），作为检测Lefschetz性质的不变量。
• 利用强Lefschetz元素的集合是 $ A_1 $ 中这些高阶Hessian矩阵零点集的补集这一事实，从而使其成为 $ A_1 $ 中的Zariski开集。
• 通过选取满足 $ \operatorname{Hess} F \neq 0 $ 但 $ \operatorname{Hess}^{(2)}F = 0 $ 的多项式 $ F $，构造显式例子，从而表明强Lefschetz性质不成立。
• 通过验证由二阶微分算子作用于 $ F $ 所导出的某些向量的线性相关性，确认 $ \operatorname{Hess}^{(2)}F = 0 $。
• 采用显式的单项式基，并计算微分算子对多项式的作用，以确定乘法映射的秩。

实验结果

研究问题

• RQ1 在特征零域上的Artinian Gorenstein代数中，元素 $ L \in A_1 $ 成为强Lefschetz元素的充分必要条件是什么？
• RQ2 是否能通过定义多项式 $ F $ 的高阶Hessian矩阵，从代数角度刻画强Lefschetz性质？
• RQ3 是否存在第一Hessian非零但第二Hessian为零的Artinian Gorenstein代数？这些代数是否不具有强Lefschetz性质？
• RQ4 此类代数中Lefschetz元素的集合结构如何？其与高阶Hessian矩阵零点集的关系是什么？
• RQ5 除了基于Hessian矩阵为零的条件外，能否构造出更多不具有强Lefschetz性质的Artinian Gorenstein代数的新例子？

主要发现

• 在特征零域上的Artinian Gorenstein代数中，强Lefschetz元素的集合是高阶Hessian矩阵 $ \operatorname{Hess}^{(d)}F $ 零点集的补集，因此是 $ A_1 $ 中的Zariski开子集。
• 对于Fermat型多项式 $ F = \sum_{i=1}^n x_i^n - n(n-1)s \prod_{i=1}^n x_i $，第二Hessian矩阵 $ \operatorname{Hess}^{(2)}F $ 恒为零，意味着对应的代数 $ A = Q / \operatorname{Ann}_Q F $ 不具有强Lefschetz性质。
• 在例5.1中（$ n=3 $），代数 $ A $ 的Hilbert函数为 $ (1,6,13,13,6,1) $，且由于对任意 $ L \in A_1 $，映射 $ \times L: A_2 \to A_3 $ 都不是双射，因此不满足弱Lefschetz性质。
• 例5.2给出一个五次多项式 $ F \in k[u,v,x,y,z] $，满足 $ \operatorname{Hess} F \neq 0 $ 但 $ \operatorname{Hess}^{(2)}F = 0 $，由此构造的代数具有Hilbert函数 $ (1,5,12,12,5,1) $，且不满足弱Lefschetz性质。
• 例5.3（Ikeda提供）给出多项式 $ F = w^3xy + wx^3z + y^3z^2 $，满足 $ \operatorname{Hess} F \neq 0 $ 且 $ \operatorname{Hess}^{(2)}F = 0 $，由此构造的代数具有Hilbert函数 $ (1,4,10,10,4,1) $，且不满足弱Lefschetz性质。
• 论文证实，当 $ \operatorname{Hess}^{(2)}F = 0 $ 时，对应的Artinian Gorenstein代数 $ A $ 即使第一Hessian非零，也不具有强Lefschetz性质。