[論文レビュー] 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

ひとこと要約

本稿では、任意の体上の2×2行列式環の一般化されたヒルベルト＝クンツ関数を計算する再帰的グレブナー基底に基づく手法を開発する。関数がqに関する多項式であることを証明し、m ≤ 2の場合の閉形式表現を提供することで、特徴に関する独立性を持つヒルベルト＝クンツ乗数を確認し、これらの環に対して多項式的挙動を裏付ける。

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)の一般化されたヒルベルト＝クンツ関数を計算すること。
• この関数がqに関する多項式であることを確立し、漸近的挙動を超えて一般化すること。
• m ≤ 2の場合のヒルベルト＝クンツ関数および乗数の閉形式表現を導出すること。
• 最大イデアルを超える他のイデアルに対しても適用可能な、グレブナー基底に基づく再帰的計算フレームワークを提供すること。
• 先行する組合せ的アプローチとは異なり、全関数（特に先頭乗数のみでない）を構成的に計算する手法を提供すること。

提案手法

• k[X]における対角モノミアル順序を用いて、一般行列の2×2小行列式によって生成されるイデアルI₂(X)のグレブナー基底を定義する。
• 標準モノミアルを特徴付けるために「ステアケープモノミアル」と「ステアモノミアル」の概念を導入する。
• ステアケープ構造によって定義される特定の領域内のモノミアルの個数を数えることで、λ(k[X]/(I₂(X) + m^[q]))の再帰的式を構築する。
• 複雑な和が生じる再帰的数え上げに対処するため、二項係数の恒等式および和公式（例：補題A.1–A.4）を適用する。
• 行列式環の商構造を活用し、制約付き格子上のモノミアルの個数に帰着することで計算を簡略化する。
• 再帰的長さ公式を用いて、ヒルベルト＝クンツ関数がqに関する多項式であることを証明し、明示的な次数m+n−1を示す。

実験結果

リサーチクエスチョン

• RQ1 2×2行列式環k[X]/I₂(X)の一般化されたヒルベルト＝クンツ関数は、任意の体およびm≤2に対してqに関する多項式か？
• RQ2 再帰的グレブナー基底に基づく手法は、乗数のみでなく、全ヒルベルト＝クンツ関数を計算できるか？
• RQ3 m=2かつn≥2の場合に、ヒルベルト＝クンツ関数および乗数の閉形式表現は存在するか？
• RQ4 ヒルベルト＝クンツ関数は異なる特徴でどのように挙動するか？また、体に依存しないか？
• RQ5 再帰的手法は、最大イデアルを超える他のイデアルの長さを計算するために拡張可能か？

主な発見

• 2×2行列式環の一般化されたヒルベルト＝クンツ関数は、qに関する多項式であり、次数はm+n−1であることが証明された。
• m≤2の場合、ヒルベルト＝クンツ関数は体の特徴に依存しない閉形式表現を有する。
• m=2の場合のヒルベルト＝クンツ乗数は、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に対して正確な値が得られる。
• この手法は、制約付き領域におけるモノミアルの再帰的数え上げによって、他のイデアルへも一般化可能である。
• このアプローチにより、ヒルベルト＝クンツ関数が多項式的であることが確認され、このクラスの環に関して重要な未解決問題が解決された。