[论文解读] The limit as p -> infinity of the Hilbert-Kunz multiplicity of sum(x_i^(d_i))

Ira M. Gessel, Paul Monsky|arXiv (Cornell University)|Jul 12, 2010

Advanced Differential Equations and Dynamical Systems参考文献 1被引用 11

一句话总结

本文计算了在 $(\mathbb{Z}/p)[x_1,\dots,x_s]$ 中多项式 $\sum x_i^{d_i}$ 的 Hilbert-Kunz 重数在 $p \to \infty$ 时的极限。通过涉及 Eulerian 多项式和生成函数的组合技巧，推导出该极限的闭式表达式，表明当所有 $d_i = 2$ 时，该极限等于 $1 +$ $\sec z + \tan z$ 的 Taylor 展开中 $z^{s-1}$ 项的系数。该结果解决了某个猜想，并为齐次二次情形下的渐近重数提供了统一公式。

ABSTRACT

Let p be a prime. The Hilbert-Kunz multiplicity, mu, of the element sum(x_i^(d_i)) of (Z/p)[x_1,..., x_s] depends on p in a complicated way. We calculate the limit of mu as p -> infinity. In particular when each d_i is 2 we show that the limit is 1 + the coefficient of z^(s-1) in the power series expansion of sec z + tan z.

研究动机与目标

• 确定 $(\mathbb{Z}/p)[x_1,\dots,x_s]$ 中 $\sum x_i^{d_i}$ 的 Hilbert-Kunz 重数在素数 $p \to \infty$ 时的渐近行为。
• 使用组合与生成函数技巧，为该极限提供闭式表达式。
• 解决一个猜想：当 $d_i = 2$ 时，该极限等于 $1 +$ $\sec z + \tan z$ 中 $z^{s-1}$ 项的系数。
• 统一并推广正特征下 Hilbert-Kunz 重数的早期结果，特别是针对 $s \geq 3$ 的情形。

提出的方法

• 使用函数 $D_p(k_1,\dots,k_s)$，其定义为商环的长度，以界定 Hilbert-Kunz 重数 $\mu$。
• 通过引理 1.2 和引理 1.3 对 $D_p$ 施加界限，表明 $\mu$ 落在随 $p \to \infty$ 而收缩的区间内，从而暗示收敛性。
• 应用文献 [3] 中的公式，将 $D_p(a_1,\dots,a_s)$ 表示为包含 $\prod \frac{1 - t^{a_i}}{1 - t}$ 的生成函数中系数的和。
• 引入组合和 $C_\lambda = \sum_{\epsilon_i = \pm 1} \left( \sum \frac{\epsilon_i}{d_i} - 2\lambda \right)^{s-1}$，其中求和范围为满足 $\sum \frac{\epsilon_i}{d_i} > 2\lambda$ 的符号元组，该和捕捉了渐近贡献。
• 利用 Eulerian 多项式 $A_n(T)$ 及其在 $T = i$ 处的取值，将和 $\sum_a f_s(a)$ 与 $\sec z + \tan z$ 的 Taylor 级数联系起来。
• 应用 $\mathbb{C}[[T,z]]$ 中的形式幂级数恒等式与环同态，推导出将 $A_n(i)$ 与 $\sec z + \tan z$ 联系起来的生成函数恒等式。

实验结果

研究问题

• RQ1 当 $p \to \infty$ 时，$(\mathbb{Z}/p)[x_1,\dots,x_s]$ 中 $\sum x_i^{d_i}$ 的 Hilbert-Kunz 重数的极限是什么？
• RQ2 当所有 $d_i = 2$ 时，该极限能否以闭式表达？
• RQ3 为何当 $d_i = 2$ 时，该极限等于 $1 +$ $\sec z + \tan z$ 的 $z^{s-1}$ 项系数？
• RQ4 Eulerian 多项式在此背景下如何与渐近 Hilbert-Kunz 重数相关联？

主要发现

• 当 $p \to \infty$ 时，Hilbert-Kunz 重数 $\mu$ 的极限存在，且由 $\frac{d \cdot 2^{1-s}}{(s-1)!} \sum_{\lambda \in \mathbb{Z}} C_\lambda$ 给出，其中 $C_\lambda$ 是关于符号元组的组合和。
• 当所有 $d_i = 2$ 时，该极限简化为 $1 +$ $\sec z + \tan z$ 的 Taylor 展开中 $z^{s-1}$ 项的系数。
• 当 $s = 5$ 时，极限为 $\frac{29}{24}$，本文验证了当 $p > 2$ 时 $\mu = \frac{29p^2 + 15}{24p^2 + 12}$，且当 $p \to \infty$ 时其趋于 $\frac{29}{24}$。
• 该极限对所有 $s$ 均为有理数，且公式在 $s$ 上具有一致性，生成函数 $\sec z + \tan z$ 自然地从 Eulerian 多项式在 $i$ 处的取值中浮现。
• 该方法证明了 $\mu$ 收敛于与 $p^{-1} D_p(a_1,\dots,a_s)$ 相同的极限，且误差有界于 $O(1/p)$。
• 关键恒等式 $\sum_{a \equiv s \pmod{4}} f_s(a) = 2^{s-2} \left( A_{s-1}(1) + \frac{c}{2} + \frac{\overline{c}}{2} \right)$，其中 $c = \frac{A_{s-1}(i)}{(1+i)^{s-2}}$，将该和与 $\sec z + \tan z$ 的 Taylor 系数联系起来。