$\mathbb{K}[x,y,z]$ 中的 Lefschetz 性质与线性型的幂

在文献 [9] 中，Migliore、Mir\'o-Roig 和 Nagel 证明了：若 $R = \mathbb{K}[x,y,z]$（其中 $\mathbb{K}$ 是特征为零的域），且 $I=(L_1^{a_1},\dots,L_4^{a_4})$ 是由 4 个一般线性型的幂生成的理想，则一般线性型 $L$ 的平方 $L^2$ 的乘法在 $R/I$ 的任意分次分支中诱导出极大秩同态。最近，Migliore 和 Mir\'o-Roig 在文献 [8] 中证明了只要幂是均匀的，该结论对任意数量的一般线性型均成立。此外，他们猜想该结论对任意幂也成立。本文将解决这一猜想，并证明：若 $I=(L_1^{a_1},\dots,L_r^{a_r})$ 是 $R$ 中由任意一组一般线性型的任意幂生成的理想，则一般线性型 $L$ 的平方 $L^2$ 的乘法在 $R/I$ 的任意分次分支中诱导出极大秩同态。