[论文解读] Hilbert-Kunz functions of 2 x 2 determinantal rings

Lance Edward Miller, Irena Swanson|arXiv (Cornell University)|Jun 5, 2012

Graph theory and applications参考文献 12被引用 3

一句话总结

本文提出了一种基于递归 Gröbner 基的算法，用于计算任意域上 2×2 行列式环的广义 Hilbert-Kunz 函数。证明了该函数在 q 上为多项式，并为 m ≤ 2 提供了闭式表达式，得到了与特征无关的 Hilbert-Kunz 乘子，证实了这些环的多项式行为。

ABSTRACT

Let k be an arbitrary field (of arbitrary characteristic) and let X = [x_{i,j}] be a generic m x n matrix of variables. Denote by I_2(X) the ideal in k[X] = k[x_{i,j}: i = 1, ..., m; j = 1, ..., n] generated by the 2 x 2 minors of X. We give a recursive formulation for the lengths of the k[X]-module k[X]/(I_2(X) + (x_{1,1}^q,..., x_{m,n}^q)) as q varies over all positive integers using Grobner basis. This is a generalized Hilbert-Kunz function, and our formulation proves that it is a polynomial function in q. We give closed forms for the cases when m is at most 2, %as well as the closed forms for some other special length functions. We apply our method to give closed forms for these Hilbert-Kunz functions for cases $m \le 2$.

研究动机与目标

• 计算任意域上 2×2 行列式环 k[X]/I₂(X) 的广义 Hilbert-Kunz 函数。
• 证明该函数在 q 上为多项式，超越渐近行为。
• 推导出当 m ≤ 2 时 Hilbert-Kunz 函数与乘子的闭式表达式。
• 提供一种基于 Gröbner 基的递归计算框架，适用于除最大理想外的其他理想。
• 提供一种构造性方法，可计算完整函数，而不仅限于首项乘子，与以往的组合方法形成对比。

提出的方法

• 在 k[X] 上使用对角单项序，定义由通用矩阵的 2×2 子式生成的理想 I₂(X) 的 Gröbner 基。
• 引入“阶梯单项式”与“阶梯单项式”的概念，以刻画模 I₂(X) 的标准单项式。
• 通过计数由阶梯结构定义的特定区域内的单项式，建立 λ(k[X]/(I₂(X) + m^[q])) 的递归公式。
• 应用二项式恒等式与求和公式（例如引理 A.1–A.4），简化递归计数中产生的复杂数列。
• 利用行列式环作为商环的结构，将计算简化为在受约束的格点中计数单项式。
• 利用递归长度公式，证明 Hilbert-Kunz 函数是 q 的多项式，其显式次数为 m+n−1。

实验结果

研究问题

• RQ1 2×2 行列式环 k[X]/I₂(X) 的广义 Hilbert-Kunz 函数在任意域上且 m≤2 时是否为 q 的多项式？
• RQ2 基于递归 Gröbner 基的方法能否计算完整的 Hilbert-Kunz 函数，而不仅限于乘子？
• RQ3 当 m=2 且 n≥2 时，Hilbert-Kunz 函数与乘子的闭式表达式是什么？
• RQ4 Hilbert-Kunz 函数在不同特征下的行为如何？是否与域无关？
• RQ5 该递归方法能否扩展至计算除最大理想外其他理想的相关长度？

主要发现

• 2×2 行列式环的广义 Hilbert-Kunz 函数被证明是 q 的多项式，次数为 m+n−1。
• 当 m≤2 时，Hilbert-Kunz 函数具有与域特征无关的闭式表达式。
• 当 m=2 时，Hilbert-Kunz 乘子为 e_HK = (n! / (n-1)!) S(n-1, n) - (1/(n-1)!) ∑_{r=1}^{1} ∑_{s=1}^{2-r} binom(2,r+s) binom(n,s) (-1)^{2+r} s^{n-1}，简化为有理函数。
• 递归方法可计算完整函数，而不仅限于首项，从而对所有 q 提供精确值。
• 该方法可推广至其他理想，如通过在受限区域内递归计数单项式所展示的。
• 该方法证实 Hilbert-Kunz 函数为多项式，解决了该类环的一个关键开放问题。