[論文レビュー] The Hilbert-Kunz function in graded dimension two

Holger Brenner|arXiv (Cornell University)|May 11, 2004

Algebraic Geometry and Number Theory参考文献 11被引用数 9

ひとこと要約

この論文は、有限体の代数的閉包上の2次元正規標準的次数付き環に対して、任意の斉次な $\mathfrak{m}$-主要なイデアルのヒルベルト＝クヌーベル関数が、$\varphi(q) = e_{HK}(I)q^2 + \gamma(q)$ の形に表され、ヒルベルト＝クヌーベル多重度 $e_{HK}(I)$ が有理数であり、低次の項 $\gamma(q)$ が最終的に周期的であることを証明する。この結果は、射影曲線上のシンジージ・バンドルのフロベニウス引き戻しと、その強いハーディング＝ナラシマン層へのコhomオロジー的解析に依存している。

ABSTRACT

Let R denote a two-dimensional normal standard-graded domain over the algebraic closure K of a finite field of characteristic p, and let I denote a homogeneous primary ideal. We prove that the Hilbert-Kunz function of I has the form = e_{HK}(I) q^{2} + g (q) with rational Hilbert-Kunz multiplicity e_{HK}(I) and an eventually periodic function g (q).

研究の動機と目的

• 正の特性の代数的閉体上での2次元正規標準的次数付き環における斉次な $\mathfrak{m}$-主要なイデアルのヒルベルト＝クヌーベル関数の構造を確立すること。
• 先行研究に基づき、この設定においてヒルベルト＝クヌーベル多重度が有理数であるという予想を解決すること。
• 底体が有限体の代数的閉包であるとき、展開における $O(q^0)$ 項が最終的に周期的であることを示すこと。
• 最大イデアルや楕円曲線のケースに限らず、周期性に関する既知の結果を一般化すること。

提案手法

• イデアル生成子に関連する射影曲線 $Y = \operatorname{Proj} R$ 上の層の短完全列を用いて、シンジージ・バンドルの全体切断を介してヒルベルト＝クヌーベル関数を表現する。
• 変数 $q = p^e$ に対して $h^0(\mathcal{S}^{q}(m))$ を研究するため、シンジージ・バンドル $\operatorname{Syz}(f_1,\ldots,f_n)$ のフロベニウス引き戻しを分析する。
• 層 $\mathcal{S}$ の強いハーディング＝ナラシマン層への分解を用い、徐々に減少する勾配を持つ強い半安定商に分解する。
• コホモロジー和における主要項を計算するため、ヒルベルト＝クヌーベル勾配 $\mu_{HK}(\mathcal{S}) = \sum_k r_k \bar{\mu}_k^2$ を定義する。ここで $\bar{\mu}_k = \mu(\mathcal{S}_k^{q}/\mathcal{S}_{k-1}^{q})/q$ である。
• 底体が有限体の代数的閉包であるとき、$\pi_k(q) = \lceil q\nu_k \rceil - q\nu_k$ の分数部分の周期性を用いて、定数項 $\gamma(q)$ が最終的に周期的であることを示す。
• これらのコホモロジー的推定値を、ヒルベルト＝クヌーベル関数の交代和に統合し、望ましい形を証明する。

実験結果

リサーチクエスチョン

• RQ1 有限体 $\overline{\mathbb{F}_p}$ の代数的閉包上の2次元正規標準的次数付き $K$-環における斉次な $\mathfrak{m}$-主要なイデアルのヒルベルト＝クヌーベル関数は、有理数係数の主要項と最終的に周期的である低次の項を持つのか？
• RQ2 同じ条件下で、ヒルベルト＝クヌーベル関数展開における $O(q^0)$ 項は有界かつ最終的に周期的な関数として表現可能か？
• RQ3 展開 $\varphi(q) = e_{HK}(I)q^2 + \beta q + O(1)$ における2番目の係数 $\beta$ は、モンスキーの示唆通り、この設定で恒等的にゼロか？
• RQ4 強いハーディング＝ナラシマン層の、シンジージ・バンドルのフロベニウス引き戻しの構造が、ヒルベルト＝クヌーベル関数の漸近的挙動をどの程度制御するか？
• RQ5 底体にどのような条件下で、$O(q^0)$ 項が単に有界であるのではなく、最終的に周期的になるのか？

主な発見

• 有限体 $\overline{\mathbb{F}_p}$ の代数的閉包上の2次元正規標準的次数付き環における任意の斉次な $\mathfrak{m}$-主要なイデアルのヒルベルト＝クヌーベル関数は、$\varphi(q) = e_{HK}(I)q^2 + \gamma(q)$ の形に表され、$e_{HK}(I)$ は有理数である。
• 低次の項 $\gamma(q)$ は有界であり、特に底体が有限体の代数的閉包であるとき、最終的に周期的である。
• $\gamma(q)$ の周期性は、シンジージ・バンドルの強いハーディング＝ナラシマン層に伴う $\pi_k(q) = \lceil q\nu_k \rceil - q\nu_k$ の分数部分の周期性に起因する。
• ヒルベルト＝クヌーベル勾配 $\mu_{HK}(\mathcal{S})$ は、コホモロジー和における2次項を支配し、直接的に主要係数 $e_{HK}(I)$ に寄与する。
• 定数項 $\gamma(q)$ は、層の分解における強い半安定商からのコホモロジー寄与の有限交代和として表現され、その周期的成分は $\pi_k(q)$ 項から生じる。
• この結果により、$\gamma(q)$ がこの設定で最終的に周期的であるという予想が裏付けられ、最大イデアルや楕円曲線のケースに既知の結果が拡張された。