[论文解读] Isomorphism classes of short Gorenstein local rings via Macaulay's inverse system

Juan Elías, Maria Evelina Rossi|ArXiv.org|Nov 18, 2009

Algebraic Geometry and Number Theory参考文献 10被引用 6

一句话总结

本论文建立了 socle 次数为三的 Artinian Gorenstein 局域环与其对应分次环之间的典范同构，证明此类环的同构类与 $\mathbb{P}^{n-1}$ 中三次超曲面的射影等价类之间存在双射关系。关键结果将此类局部环的分类问题简化为已广泛研究的在射影等价下对齐次三次形式进行分类的问题。

ABSTRACT

In this paper we study the isomorphism classes of Artinian Gorenstein local rings with socle degree three by means of Macaulay's inverse system. We prove that their classification is equivalent to the projective classification of the hypersurfaces of $\mathbb P ^{n }$ of degree three. This is an unexpected result because it reduces the study of this class of local rings to the homogeneous case. The result has applications in problems concerning the punctual Hilbert scheme $Hilb_d (\mathbb P^n)$ and in relation to the problem of the rationality of the Poincaré series of local rings.

研究动机与目标

• 对 socle 次数为三的 Artinian Gorenstein 局域环的同构类进行分类。
• 建立此类环与其对应分次环之间的典范同构，从而将问题约化为分次情形。
• 将此类局部环的分类与 $\mathbb{P}^{n-1}$ 中三次超曲面的射影分类联系起来。
• 将此对应关系应用于点态 Hilbert 簧和 Poincaré 系数生成函数的有理性问题。
• 为通过逆系统研究局部 Gorenstein 奇点提供几何与计算框架。

提出的方法

• 利用 Macaulay 的逆系统，建立 Artinian Gorenstein 代数与齐次多项式之间的一一对应关系。
• 将逆系统对应关系应用于将局部环的同构类转化为在射影变换下的三次形式等价类。
• 运用线性代数技术分析由逆系统多项式 $F_3$ 的二阶导数导出的矩阵 $M_F$。
• 证明矩阵 $M_F$ 的最大秩为 $\binom{n+1}{2} + n(m-n)$，从而确保定义方程组解的存在性。
• 利用 $M_F$ 的上三角结构及 $F_3$ 的非退化性，建立 $A$ 与 $\mathrm{gr}(A)$ 之间的典范同构。
• 通过逆系统多项式的三次部分 $F_3$，将分类问题约化为 $\mathbb{P}^{n-1}$ 中三次超曲面 $V(F) \subset \mathbb{P}^{n-1}$ 的射影分类。

实验结果

研究问题

• RQ1 何时一个 socle 次数为三的 Artinian Gorenstein 局域环与它的对应分次环典范同构？
• RQ2 此类环的同构类如何通过代数几何语言进行分类？
• RQ3 Hilbert 函数为 $\{1,m,n,1\}$ 的 Artinian Gorenstein 局域环的分类与 $\mathbb{P}^{n-1}$ 中三次超曲面的射影分类之间有何关系？
• RQ4 能否通过此几何对应关系确定此类环的 Poincaré 系数生成函数的有理性？
• RQ5 此对应关系如何简化对点态 Hilbert 簧 $\mathrm{Hilb}_d(\mathbb{P}^n)$ 的研究？

主要发现

• 任意 Hilbert 函数为 $\{1,n,n,1\}$ 的 Artinian Gorenstein 局域环均与它的对应分次环典范同构，此结果在对称 Hilbert 函数情形下通常不成立。
• Hilbert 函数为 $\{1,m,n,1\}$ 且 $m \geq n$ 的 Artinian Gorenstein 局域环的同构类与 $\mathbb{P}^{n-1}$ 中三次超曲面的射影等价类之间存在双射关系。
• 此类环的分类等价于在射影等价下对 $n$ 个变量的非退化三次形式进行分类。
• 当 $n \leq 4$ 时，分类完全由已知的在 $\mathbb{P}^{n-1}$ 中 $n-1 \leq 3$ 的三次超曲面的射影分类所决定。
• 与逆系统相关的矩阵 $M_F$ 具有最大秩 $\binom{n+1}{2} + n(m-n)$，确保解的存在性并验证了对应关系的有效性。
• 该结果为低次 $d$ 时点态 Hilbert 簧 $\mathrm{Hilb}_d(\mathbb{P}^n)$ 中奇点的几何解释提供了支持，扩展了 Casnati、Notari 及 Cartwright 等人的结果。