[论文解读] On Strong Lefschetz Property of 0-dimensional complete intersections

Z Wang|arXiv (Cornell University)|Jan 11, 2026

Geometry and complex manifolds被引用 0

一句话总结

论文证明一个同质0维完备交叉在度数1下满足强勒切性质当且仅当相关形式具有非零Hessian，给出对已知结果的自洽证明。

ABSTRACT

We prove that a homogeneous 0-dimensional complete intersection satisfies the Strong Lefschetz Property (SLP) in degree 1 if and only if its associated form has nonzero Hessian. The result is essentially known in the literature, but our proof is different compared with the previous ones.

研究动机与目标

• Motivate the study of Lefschetz properties for 0-dimensional complete intersections in relation to associated forms.
• Characterize SLP in degree 1 via the Hessian of the associated form A_f.
• Provide a self-contained proof contrasting with previous discriminant-based results.

提出的方法

• Represent the algebra as a graded Artinian Gorenstein complete intersection M(f).
• Use the associated form A_f as a Macaulay inverse system for M(f).
• Relate SLP in degree 1 to the geometry of a projection/Veronese setup and immersion properties.
• Show that the annihilator Ann(J(f)_{T-1}) is spanned by first-order derivatives of A_f.
• Prove that these derivatives are algebraically independent iff the Hessian of A_f is nonzero.

实验结果

研究问题

• RQ1 When does a 0-dimensional homogeneous complete intersection M(f) satisfy SLP in degree 1?
• RQ2 Is the nonvanishing of the Hessian of the associated form A_f necessary and sufficient for SLP in degree 1?
• RQ3 How can Veronese projections and immersion properties characterize SLP in this setting?

主要发现

• SLP in degree 1 holds for M(f) exactly when the Hessian of its associated form A_f is nonzero.
• The proof connects SLP to immersion of a certain morphism derived from Veronese and projection constructions.
• Ann(J(f)_{T-1}) is spanned by the first-order partial derivatives of A_f, linking algebraic independence to the Hessian.
• Corollary: for f defining a smooth projective hypersurface, SLP in degree 1 for the Milnor algebra M(f) is equivalent to A_f having nonzero Hessian.