[论文解读] Hilbert series and Lefschetz properties of dimension one almost complete intersections

Alexandru Dimca, Dorin Popescu|arXiv (Cornell University)|Mar 24, 2014

Algebraic Geometry and Number Theory参考文献 23被引用 22

一句话总结

本文将孤立奇点的射影超曲面的 Milnor 代数的 Hilbert 系列与 Lefschetz 性质推广至一维几乎完全交的更广泛情形。当饱和为完全交时，建立了不变量的显式公式；在二维情形证明了 $ S/J $ 的弱 Lefschetz性质；并构造了具有非平凡 Alexander 多项式的超曲面新例子，同时在三维情形提出了两个猜想并给出一个反例。

ABSTRACT

We generalize some properties related to Hilbert series and Lefschetz properties of Milnor algebras of projective hypersurfaces with isolated singularities to the more general case of an almost complete intersection ideal $J$ of dimension one. When the saturation $I$ of $J$ is a complete intersection, we get explicit formulas for a number of related invariants. New examples of hypersurfaces $V:f=0$ in $P^n$ whose Jacobian ideal $J_f$ satisfies this property and with explicit nontrivial Alexander polynomials are given in any dimension. A Lefschetz type property for the graded quotient $I/J$ is proved for $n=2$ and a counterexample due to A. Conca is given for such a property when $n=3$. Two conjectures are also stated in the paper.

研究动机与目标

• 将孤立奇点超曲面的 Milnor 代数的 Hilbert 系列与 Lefschetz 性质结果推广至一维几乎完全交的更一般情形。
• 当理想饱和为完全交时，给出不变量的显式公式。
• 在任意维数下构造具有非平凡 Alexander 多项式的射影超曲面的新例子。
• 研究商代数 $ I/J $ 的 Lefschetz 型性质，特别关注 $ n=2 $ 的情形，并识别高维中的限制。
• 提出并提供两个关于这些代数及其不变量结构的猜想的证据。

提出的方法

• 使用 Hilbert 系列与饱和理论分析 $ S/J $ 的结构，其中 $ J $ 为一维几乎完全交。
• 利用 $ f_1, \ldots, f_n $ 构成正则序列的事实，将问题约化为完全交的已知结果。
• 通过 $ \mathbb{P}^n $ 上的余挠丛 $ \mathcal{K} $ 与理想层 $ \mathcal{J} $ 的正合列，应用层论技术。
• 利用 [8]、[13] 和 [17] 的结果，通过 $ I/J $ 的对偶性分析局部上同调模的结构。
• 运用半连续性与线性映射的秩论证，建立通用线性形式乘法映射的单射性与满射性。
• 应用 Cayley-Bacharach 条件理论，并利用 $ N(f) $ 中维数序列的单峰性与对数凹性结构，支持猜想。

实验结果

研究问题

• RQ1 Hilbert 系列与 Lefschetz 性质如何从 Milnor 代数推广至一维几乎完全交的更一般情形？
• RQ2 当 $ J $ 的饱和 $ I $ 为完全交时，能否导出不变量的显式公式？
• RQ3 能否在任意维数下构造具有非平凡 Alexander 多项式的射影超曲面的新例子？
• RQ4 在 $ n=2 $ 情形下，$ I/J $ 的 Lefschetz 型性质是否成立？高维中的障碍是什么？
• RQ5 维数序列 $ n_k = \dim N_k $ 的单峰性与对数凹性在多大程度上成立？它们与 Lefschetz 性质有何关联？

主要发现

• 当 $ J $ 的饱和 $ I $ 为完全交时，导出了 $ S/J $ 的关键不变量（包括 Hilbert 系列与 $ I/J $ 的结构）的显式公式。
• 在 $ n=2 $ 时，证明了弱 Lefschetz性质：通用线性形式 $ l $ 的乘法映射在 $ i < (d_0 + d_1 + d_2 - 3)/2 $ 时诱导单射 $ N_i \to N_{i+1} $，在 $ i \geq i_0 = \lfloor (d_0 + d_1 + d_2 - 3)/2 \rfloor $ 时诱导满射。
• A. Conca 提供的反例表明，$ I/J $ 的 Lefschetz 型性质在 $ n=3 $ 时失效，表明 $ n=2 $ 是一个关键分界点。
• 序列 $ n_k = \dim N_k $ 为单峰序列，且在完全交假设下为对数凹序列，支持了 [7] 中的猜想。
• 构造了 $ \mathbb{P}^n $ 中超曲面 $ V:f=0 $ 的新例子，其显式非平凡 Alexander 多项式在任意维数下均成立。
• 对于次数为 $ d $ 的平面曲线，序列 $ n_k $ 满足 $ n_k = n_{3d-6-k} $，单峰结构意味着 $ M(f) $ 具有部分 Lefschetz 性质，当 $ ct(C) \geq 3(d-2) - i_0 $ 时成立。