[論文レビュー] The rationality of the Hilbert-Kunz multiplicity in graded dimension two

Holger Brenner|ArXiv.org|Feb 11, 2004

Algebraic Geometry and Number Theory参考文献 19被引用数 4

ひとこと要約

この論文は、正の特性を持つ代数閉体上の一様な2次元次数付き正規環における、$R_+$-主理想のヒルベルト＝クンツ多重度が有理数であることを証明する。関連する射影曲線におけるシンジーギー束の強いハーディング＝ナラシムハン分解を用いて、多重度の明示的な有理数式が、半安定商の勾配とランクを用いて導かれる。これにより、代数的幾何とフロベニウス技法を用いて有理数性が確立される。

ABSTRACT

We show that the Hilbert-Kunz multiplicity is a rational number for an R_+-primary homogeneous ideal I=(f_1, ..., f_n) in a two-dimensional graded domain R of finite type over an algebraically closed field of positive characteristic. Moreover we give a formula for the Hilbert-Kunz multiplicity in terms of certain rational numbers coming from the strong Harder-Narasimhan filtration of the syzygy bundle Syz(f_1, . . ., f_n) on the projective curve Y = Proj R.

研究の動機と目的

• 正の特性を持つ代数閉体上の一様な2次元次数付き環における、$R_+$-主理想のヒルベルト＝クンツ多重度の有理数性を確立すること。
• 特に非最大イデアルに関する、ヒルベルト＝クンツ多重度の有理数性に関する長年の未解決問題を解決すること。
• シンジーギー束の強いハーディング＝ナラシムハン分解から得られる幾何的不変量（勾配とランク）を用いて、ヒルベルト＝クンツ多重度の公式を提供すること。
• 多重度が同次生成元の選び方に依存しないこと、つまりイデアル論的性質を有することを示すこと。

提案手法

• 射影曲線 $Y = \operatorname{Proj} R$ 上の局所自由層の短完全列を用い、$\mathcal{O}(m)$、$\bigoplus \mathcal{O}(m - qd_i)$、およびシンジーギー束 $\operatorname{Syz}(f_1^q, \ldots, f_n^q)$ を関連付ける。
• フロベニウス引き戻しをシンジーギー束に適用し、$q = p^e$ に対して $\operatorname{Syz}(f_1^q, \ldots, f_n^q)(0) = F^{e*}(\operatorname{Syz}(f_1, \ldots, f_n)(0))$ であることに着目する。
• 局所自由層のフロベニウス引き戻しに対して強いハーディング＝ナラシムハン分解が存在することを示すA. ランガーの定理を適用し、商が強く半安定で、有理数化された勾配 $\bar{\mu}_k = \mu_k / p^e$ を持つことを保証する。
• 分解の勾配から、$\nu_k = -\bar{\mu}_k / \deg(Y)$ と定義される有理数不変量を導入し、$q = p^e$ が十分に大きいと定数となる。
• コホモロジーの成長を制御するための分解を用い、$Y$ 上のグローバルセクション $h^0$ の交代和を用いてヒルベルト＝クンツ多重度を計算する。
• 主公式 $e_{HK}(I) = \frac{\deg(Y)}{2} \left( \sum_{k=1}^t r_k \nu_k^2 - \sum_{i=1}^n d_i^2 \right)$ を導出し、これは明示的に有理数であることがわかる。

実験結果

リサーチクエスチョン

• RQ1 正の特性を持つ体上の一様な2次元次数付き環における、同次 $R_+$-主理想のヒルベルト＝クンツ多重度は常に有理数か？
• RQ2 ヒルベルト＝クンツ多重度は、関連する射影曲線上のシンジーギー束の幾何的不変量で表現可能か？
• RQ3 シンジーギー束の強いハーディング＝ナラシムハン分解は、ヒルベルト＝クンツ関数の漸近的挙動を制御するか？
• RQ4 ヒルベルト＝クンツ多重度は、イデアルの同次生成元の選び方に依存しないか？
• RQ5 フロベニウス技法とベクトル束の分解を用いて、ヒルベルト＝クンツ多重度の有理数性を確立できるか？

主な発見

• 任意の同次 $R_+$-主理想 $I = (f_1, \ldots, f_n)$ に対して、正の特性を持つ代数閉体上の一様な2次元次数付き正規環 $R$ におけるヒルベルト＝クンツ多重度 $e_{HK}(I)$ は有理数である。
• 多重度は公式 $e_{HK}(I) = \frac{\deg(Y)}{2} \left( \sum_{k=1}^t r_k \nu_k^2 - \sum_{i=1}^n d_i^2 \right)$ で与えられ、ここで $\nu_k = -\bar{\mu}_k / \deg(Y)$、$\bar{\mu}_k$ は強いハーディング＝ナラシムハン分解からの正規化勾配、$r_k$ は半安定商のランクである。
• 多重度はイデアルの同次生成元の選び方に依存しない。これは、新たな生成元を加えても公式が不変であることで示される。
• 例として、$R = K[X,Y,Z]/(H)$ における $I = (X^3, XY^2, ZY^2)$ に対して、$\deg(H) = h$ のとき、ヒルベルト＝クンツ多重度は $7h$ に等しくなる。この計算では $\nu_1 = 4$、$\nu_2 = 5$、$r_1 = r_2 = 1$、$\deg(Y) = h$ を用いる。
• 強いハーディング＝ナラシムハン分解は、シンジーギー束のフロベニウス引き戻しのコホモロジーを安定的かつ有理数的に制御する枠組みを提供し、多重度の明示的計算を可能にする。
• この結果により、ヒルベルト＝クンツ多重度がシンジーギー束の幾何的構造とその分解に埋め込まれており、可換代数と代数的幾何の間のリンクが裏付けられる。