[论文解读] 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|$，并为 Segre 嵌入给出了涉及 Stirling 数的闭式表达式。

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 乘子可能的最小下降量。
• 计算商奇异点与 Segre 乘积中该不变量的值，尤其关注 F-正则与 Gorenstein 环的情形。
• 为 Q-Gorenstein F-正则环的典范覆盖建立最小 Hilbert-Kunz 乘子的公式。

提出的方法

• 将相对最小 Hilbert-Kunz 乘子定义为所有满足 $l_A(I'/I) = 1$ 的理想 $I' riangleright I$ 的 $e_{\text{HK}}(I) - e_{\text{HK}}(I')$ 的下确界。
• 将最小 Hilbert-Kunz 乘子 $m_{\text{HK}}(A)$ 定义为 $l_A(A / \text{ann}_A(F_A^e(z))) / p^{ed}$ 的极限下确界，其中 $z$ 是内射包的陪极生成元。
• 利用 Peskine–Szpiro 函子与局部上同调上的 Frobenius 作用，计算了陪极生成元的 Frobenius 像的零化子。
• 应用 McKay 对应与 Riemann–Roch 公式，计算二维 F-有理双 singularity 中的 Hilbert-Kunz 乘子。
• 运用第二类 Stirling 数与二项式系数的组合恒等式，评估零化子长度的渐近行为。
• 利用 Segre 乘积 $R \# S$ 的结构与内射包的分解，推导出 $m_{\text{HK}}(A)$ 关于带边界的整数分拆问题解的公式。

实验结果

研究问题

• RQ1 当从理想 $I$ 到更大的理想 $I'$ 且满足 $l_A(I'/I) = 1$ 时，Hilbert-Kunz 乘子可能的最小下降量是多少？
• RQ2 Q-Gorenstein F-正则局部环的典范覆盖构造下，最小 Hilbert-Kunz 乘子的行为如何？
• RQ3 在 $G$ 不含伪反射且 $(p,|G|)=1$ 的假设下，$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 乘子导出闭式表达式？

主要发现

• 对于作用在 $k[x_1,\dots,x_d]$ 上的有限群 $G$，若无伪反射且满足 $(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)$。
• 对于 Segre 乘积 $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 像的陪极生成元零化子长度的极限。