[論文レビュー] Hilbert-Kunz multiplicity and reduction mod p

V. Trivedi|ArXiv.org|Jul 29, 2004

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

ひとこと要約

本稿では、特徴量 0 の既約な射影的曲線の正の特徴量 $p$ への還元におけるヒルベルト＝クンツ多重度が、$p \to \infty$ のとき、明確に定義された極限に収束することを確立している。Frobenius の引き戻しによる関連するベクトル bundle のハーディング＝ナラシマン分解と、正規化された勾配の漸近的解析を用いて、著者たちはこの極限の存在を証明し、極限は強いて半安定な HN 分解における半安定な商の勾配の形で表される。

ABSTRACT

We show that the Hilbert-Kunz multiplicities of the reductions to positive characteristics of an irreducible projective curve in characteristic 0 have a well-defined limit as the characteristic tends to infinity.

研究の動機と目的

• 特徴量 0 の射影的曲線の還元におけるヒルベルト＝クンツ多重度が、特徴量 $p \to \infty$ のとき収束するかどうかを特定すること。
• 正の特徴量における曲線上のベクトルバンドルのハーディング＝ナラシマン分解を用いて、ヒルベルト＝クンツ多重度の振る舞いを分析すること。
• 繰り返し Frobenius の引き戻しにおける HN 商の正規化された勾配に関連付けることによって、これらの多重度の明確に定義された極限を確立すること。
• 極限が HN 分解の不変量から計算可能であり、スプロードの選択に依存しないことを示すこと。

提案手法

• 著者たちは、任意の閉点 $s \in \mathrm{Spec}\, A$ における基底変換によって元の曲線の正の特徴量におけるモデルが得られる、有限生成な $\mathbb{Z}$-代数 $A$ と、$A$-上の射影的スキーム $X_A$ を構成する。
• 彼らは、曲線上のベクトルバンドル $V$ の Frobenius の引き戻し $F^{k*}V$ のハーディング＝ナラシマン（HN）分解を分析し、部分バンドルのランクと正規化された次数を用いて HN 多角形 $HNP_{p^k}(V)$ を定義する。
• 彼らは、$p \geq 4(g-1)(\mathrm{rank}\, V)^3$ のとき、$HNP_{p^{k-1}}(V)$ の頂点が $HNP_{p^k}(V)$ に保持されることを証明し、Frobenius の反復において多角形構造の安定性を保証する。
• シーファード＝バラウンの結果を用いて、$F^{k*}V$ の HN 分解における各セグメントの正規化された勾配 $\underline{\mu}(F_j)/p^k$ が $\underline{\mu}(E_i) + O(1/p)$ を満たすことを示し、ここで $E_i$ は $V$ の HN 分解からの商である。
• 彼らは $HNP_{p^k}(V)$ の面積を計算し、$\lim_{p \to \infty} \mathrm{Area}\, HNP_{p^k}(V) = \mathrm{Area}\, HNP(V)$ を証明し、これは $\sum \widetilde{r}_i \widetilde{a}_i^2$ の収束を示唆する。
• 最後に、閉点 $s \in \mathrm{Spec}\, A$ における $HKM(R_s, I_s)$ の極限として、極限ヒルベルト＝クンツ多重度 $HKM(R,I)$ を定義し、それが有理数であり、スプロードの選択に依存しないことを示す。

実験結果

リサーチクエスチョン

• RQ1 特徴量 0 の射影的曲線の還元におけるヒルベルト＝クンツ多重度は、特徴量 $p \to \infty$ のとき収束するか？
• RQ2 ヒルベルト＝クンツ多重度の極限は、関連するベクトルバンドルのハーディング＝ナラシマン分解を用いて表現可能か？
• RQ3 繰り返し Frobenius の引き戻しにおける HN 商の正規化された勾配は、$p \to \infty$ のときどのように漸近的に振る舞うか？
• RQ4 ヒルベルト＝クンツ多重度の極限は、$\mathbb{Z}$ 上のモデルの選択に依存しないか？
• RQ5 正の特徴量におけるヒルベルト＝クンツ多重度と、$p \to \infty$ のときの極限との関係は何か？

主な発見

• 極限 $\lim_{p \to \infty} HK(R_p)$ は存在し、$\sum_i \widetilde{r}_i(V_s) \widetilde{a}_i(V_s)^2$ に等しい。ここで $\widetilde{r}_i$ と $\widetilde{a}_i$ は、$V_s$ の強いて半安定な HN 分解における $i$ 番目の商の正規化ランクおよび正規化勾配である。
• 極限は有理数であり、特徴量 0 の曲線上のベクトルバンドルの HN 商の勾配から計算可能である。
• 十分大きな $p$ に対して、正規化された勾配 $\widetilde{a}_i(V_s)$ は、元のバンドルの HN 商の正規化された勾配に $O(1/p)$ の誤差で収束する。
• 極限 $HKM(R,I)$ はすべての $HKM(R_s, I_s)$ の下界であり、$V_s$ の HN 分解がすでに強いて半安定である場合に限り等号が成り立つ。
• 収束は単調ではない：モンスキーの例は、$p \mod 9$ に応じて $HKM(R_p, I_p)$ が振動し得ること（例えば、$3$、$3 + 1/(4p^2)$、$3 + 1/(4p^4)$）を示しており、$p \to \infty$ であっても同様である。
• 非特異な平面曲線（次数 $d$）の場合、ヒルベルト＝クンツ多重度は $\frac{3d}{4} + \frac{l^2}{4d p^{2s}}$ に等しい。ここで $s$ は $F^{s*}V$ が半安定でない最小の整数であり、$l \in \{0, \dots, d(d-3)\}$、$l \equiv pd \pmod{2}$ を満たす。