[論文レビュー] Minimal Hilbert-Kunz multiplicity

Kei-ichi Watanabe, Ken-ichi Yoshida|ArXiv.org|Mar 12, 2003

Commutative Algebra and Its Applications参考文献 18被引用数 3

ひとこと要約

本稿では、正の特性における局所環の新しい不変量として、最小 Hilbert-Kunz 擬量を導入する。これは、長さ1の商を持つネストされたイデアルの間の Hilbert-Kunz 擬量の差の下界として定義される。商特異点と Segre 積についてその不変量の公式を確立し、擬反射を含まない有限群作用に対しては、最小 Hilbert-Kunz 擬量が $1/|G|$ であることを示し、Stirling 数を含む閉形式の式を Segre 埋め込みについて導出する。

ABSTRACT

In this paper, we ask the following question: what is the minimal value of the difference $e_{HK}(I) - e_{HK}(I')$ for ideals $I' \supseteq I$ with $l_A(I'/I) =1$? In order to answer to this question, we define the notion of minimal Hilbert-Kunz multiplicity for strongly F-regular rings. Moreover, we calculate this invariant for quotient singularities and for the coordinate ring of the Segre embedding: $P^{r-1} imes P^{s-1} \hookrightarrow P^{rs-1}$, respectively.

研究の動機と目的

• 正の特性における局所環の新しい不変量として、最小 Hilbert-Kunz 擬量を定義し、その性質を研究すること。
• 長さ1の商を持つより大きなイデアルに移行する際の Hilbert-Kunz 擬量の最小低下を理解すること。
• 特に F-正則環および Gorenstein 環の文脈において、商特異点と Segre 積についてこの不変量を計算すること。
• Q- Gorenstein F-正則環の標準被覆について、最小 Hilbert-Kunz 擬量の公式を確立すること。

提案手法

• 長さ1の商を持つ $I' \triangleright I$ についての $e_{\text{HK}}(I) - e_{\text{HK}}(I')$ の下界として、相対的最小 Hilbert-Kunz 擬量を定義する。
• 最小 Hilbert-Kunz 擬量 $m_{\text{HK}}(A)$ を、$z$ が内包的包絡の極小生成元であるときの $l_A(A / \text{ann}_A(F_A^e(z))) / p^{ed}$ の下極限として定義する。
• Peskine–Szpiro 関手と局所コホホロジーへの Frobenius 作用を用いて、極小生成元の Frobenius 画像の annihilator を計算する。
• McKay 対応と Riemann–Roch を適用し、2次元の F-有理的二重点について Hilbert-Kunz 擬量を計算する。
• 第二種 Stirling 数と二項係数を含む組合せ的恒等式を用いて、 annihilator の長さの漸近的挙動を評価する。
• Segre 積 $R \# S$ の構造と内包的包絡の分解を活用し、整数分割問題（境界付き）の解を用いて $m_{\text{HK}}(A)$ の公式を導出する。

実験結果

リサーチクエスチョン

• RQ1 長さ1の商を持つより大きなイデアル $I'$ に移行する際、Hilbert-Kunz 擬量の最小低下は何か？
• RQ2 Q- Gorenstein F-正則局所環の標準被覆構成において、最小 Hilbert-Kunz 擬量はどのように振る舞うか？
• RQ3 $(p,|G|)=1$ かつ擬反射を含まない有限群 $G$ が $k[x_1,\dots,x_d]$ に作用するとき、商特異点 $k[x_1,\dots,x_d]^G$ の最小 Hilbert-Kunz 擬量は何か？
• RQ4 Segre 積 $k[x_1,\dots,x_r]\#k[y_1,\dots,y_s]$ の最小 Hilbert-Kunz 擬量について、閉形式の式を得られるか？

主な発見

• 有限群 $G$ が $k[x_1,\dots,x_d]$ に擬反射を含まず、$(p,|G|)=1$ であるとき、不変環 $A = k[x_1,\dots,x_d]^G$ の最小 Hilbert-Kunz 擬量は $1/|G|$ である。
• Q- Gorensteinで強く F-正則な局所環 $A$ の標準被覆 $B$ について、$m_{\text{HK}}(B) = r \cdot m_{\text{HK}}(A)$ が成り立ち、ここで $r = \text{ord}(cl(K_A))$ である。
• Segre 積 $A = k[x_1,\dots,x_r]\#k[y_1,\dots,y_s]$ で $2 \leq r \leq s$ のとき、最小 Hilbert-Kunz 擬量は $\frac{r!}{d!}S(d,r) + \frac{1}{d!}\sum_{k=1}^{r-1}\sum_{j=1}^{r-k}\binom{r}{k+j}\binom{s}{j}(-1)^{r+k}k^d$ で与えられ、ここで $d = r+s-1$ である。
• Gorensteinの場合 $r = s$ では、$e_{\text{HK}}(A) + m_{\text{HK}}(A) = \frac{2 \cdot r!}{(2r-1)!} S(2r-1,r)$ が成り立つ。
• $k[x_1,x_2]\#k[y_1,\dots,y_s]$ の場合、最小 Hilbert-Kunz 擬量は $\frac{2^{s+1} - s - 2}{(s+1)!}$ である。
• Gorenstein局所環では、最小 Hilbert-Kunz 擬量 $m_{\text{HK}}(A)$ は相対的最小 Hilbert-Kunz 擬量 $\text{rel.}m_{\text{HK}}(A)$ に等しく、両者は極小生成元の Frobenius 画像の annihilator の長さの極限とも一致する。