[论文解读] Hilbert functions of Gorenstein algebras associated to a pencil of forms

Anthony Iarrobino|ArXiv.org|Dec 18, 2004

Commutative Algebra and Its Applications参考文献 22被引用 9

一句话总结

该论文通过其对偶环中形式束的关联，为类型二层代数的通用阿廷诺夫戈伦斯坦商的希尔伯特函数建立了下界。利用麦考勒伊对偶性和反系统，证明了通用戈伦斯坦商的希尔伯特函数受生成形式希尔伯特函数的约束，从而在任意嵌入维数下，为这类层代数的可能希尔伯特函数提供了新的数值限制。

ABSTRACT

Let R be a polynomial ring in r variables and D a dual ring upon which R acts as partial differential operators (classical apolarity). For a type two graded level Artinian algebras A=R/I, of socle degree j we consider the family of Artinian Gorenstein [AG] quotients of A having the same socle degree. By Macaulay duality, A corresponds to a unique 2-dimensional vector space W(A)= of degree-j homogeneous elements (forms) in D, and each such AG quotient of A corresponds to an element $F_λ=F+λG$ in W(A), up to non-zero constant multiple. Our main result is a lower bound for the Hilbert function of the generic AG quotient of A in terms of the Hilbert functions of A and the AG quotients of R determined by F and by G. This result restricts the possible sequences H that may occur as the Hilbert function for a type two level algebra A. This result may also be viewed as obtaining an optimal lower bound on the dimensions of the spaces of degree-u partial derivatives of $F+λG$ for a generic lambda in terms of the corresponding dimensions for the forms F and G.

研究动机与目标

• 确定类型二层阿廷诺夫层代数的希尔伯特函数的数值约束。
• 分析来自对偶环中形式束的阿廷诺夫戈伦斯坦商的希尔伯特函数。
• 将已知的戈伦斯坦序列结果推广到更一般的类型二层代数情形。
• 通过麦考勒伊对偶性，阐明层代数的希尔伯特函数与其戈伦斯坦商的希尔伯特函数之间的关系。
• 解决低嵌入维数下希尔伯特函数结构的开放问题，特别是当 r=3 且 t=2 时。

提出的方法

• 使用麦考勒伊对偶性，将类型二层代数 A 与对偶环 D_j 中的二维子空间 W_A 关联起来。
• 将每个阿廷诺夫戈伦斯坦商 A_λ 表示为 R / Ann(F_λ)，其中 F_λ = F + λG 遍历 W_A 中的形式束。
• 应用反系统及 R 在 D 上通过微分算子的作用，分析其零化子的结构。
• 采用希尔伯特函数的和 H_F +_h H_G（通过理想并集定义）来界定通用戈伦斯坦商的希尔伯特函数。
• 应用不等式 H(A_λ_gen) ≥ H(A) - H_F - H_G + H_F +_h H_G 推导出下界。
• 利用有理正则曲线的张成性质与通用性论证，验证示例中的希尔伯特函数行为。

实验结果

研究问题

• RQ1 基于其戈伦斯坦商，能否对类型二层代数的希尔伯特函数施加数值约束？
• RQ2 能否用其生成形式的希尔伯特函数来界定层代数的通用戈伦斯坦商的希尔伯特函数的下界？
• RQ3 压缩型二层代数的通用戈伦斯坦商是否一定是压缩的？
• RQ4 在形式束中，生成形式 F 和 G 的希尔伯特函数如何约束层代数 A 的希尔伯特函数？
• RQ5 束中非通用行为对关联层代数的希尔伯特函数有何影响？

主要发现

• 通用戈伦斯坦商 A_λ_gen 的希尔伯特函数满足 H(A_λ_gen) ≥ H(A) - H_F - H_G + H_F +_h H_G，从而以生成形式的希尔伯特函数为参数，提供了下界。
• 当 r=3 且 socle degree j=4 时，具有 H(A)=(1,3,6,6,2) 的压缩层代数 A 可能具有希尔伯特函数 H(A_λ_gen)=(1,3,5,3,1) 的通用戈伦斯坦商，该序列并非压缩序列 (1,3,6,3,1)，表明通用戈伦斯坦商不一定是压缩的。
• 序列 (1,3,…,8,4,2) 被排除为 K[x,y,z] 上类型二层代数的希尔伯特函数，因为它违反了涉及 H_F +_h H_G 的推导不等式。
• 在 D_4 中 F 和 G 的例子表明，即使 H(A) 达到最大值（即压缩），通用戈伦斯坦商也可能不是压缩的，这与高维中对 r=2 的一个猜想相矛盾。
• 在某些情况下该界是紧的，如示例所示，H(A_λ_gen) 达到了不等式预测的最小值。
• 当 p > j 时，该结果可推广至正特征 p，此时用除法幂环替代 D，收缩作用替代微分算子。