[论文解读] Algebraicity of some Hilbert-Kunz multiplicities (modulo a conjecture)

Paul Monsky|ArXiv.org|Jul 15, 2009

Coding theory and cryptography参考文献 5被引用 3

一句话总结

在特征 2 下对理想余长度的一个精确猜想基础上，本文通过使用无限矩阵理论和格罗滕迪克群技巧，建立了某些形式幂级数（包括 $ H = uv + h $ 和 $ H = g(u,v) + h $）的希尔伯特-昆伦多重性与级数的代数性。关键结果是，$ h = x^3 + y^3 + xyz $ 的希尔伯特-昆伦多重性为代数数：$ \frac{4}{3} + \frac{5}{14\sqrt{7}} $，且希尔伯特-昆伦级数属于 $ \mathbb{Q}(w) $ 的一个二次代数扩张。

ABSTRACT

Let F be a finite field of characteristic 2 and h be the element x^3+y^3+xyz of F[[x,y,z]]. In an earlier paper we made a precise conjecture as to the values of the colengths of the ideals (x^q,y^q,z^q,h^j) for q a power of 2. We also showed that if the conjecture holds then the Hilbert-Kunz series of H=uv+h is algebraic (of degree 2) over Q(w), and that mu(h) is algebraic (explicitly, (4/3)+(5/14)sqrt(7)). In this note, assuming the same conjecture, we use a theory of infinite matrices to rederive this result, and we extend it to a wider class of H; for example H=g(u,v)+h. In a follow-up paper, under the same hypothesis, we will show that transcendental Hilbert-Kunz multiplicities exist.

研究动机与目标

• 在对理想余长度的猜想基础上，建立特征 2 下特定形式幂级数的希尔伯特-昆伦多重性与级数的代数性。
• 将 $ H = uv + h $ 的代数性结果推广至更广泛的 $ H = g(u,v) + h $ 类型，其中 $ g $ 为齐次多项式。
• 利用无限矩阵理论与格罗滕迪克群结构分析希尔伯特-昆伦级数与多重性。
• 在猜想成立下，证明 $ h = x^3 + y^3 + xyz $ 的希尔伯特-昆伦多重性为代数数，其显式值为 $ \frac{4}{3} + \frac{5}{14\sqrt{7}} $。
• 证明希尔伯特-昆伦级数属于某个多项式的分裂域，从而表明其在 $ \mathbb{Q}(w) $ 上为代数数。

提出的方法

• 在空间 $ X $（即从 $ [0,1] \cap \mathbb{Z}[1/2] $ 到 $ \mathbb{Q} $ 的函数）上引入一个双线性乘积 $ \# $，通过二进制缩放递归定义。
• 将 $ \phi_f \in X $ 定义为幂级数 $ f $ 的希尔伯特-昆伦函数，编码理想 $ (u^q, \dots, f^i) $ 的余长度。
• 利用极限 $ \mu(\alpha) = \lim_{n \to \infty} \alpha(2^{-n}) \cdot 2^n $ 定义 $ \alpha \in X $ 的希尔伯特-昆伦多重性。
• 构造从 $ \alpha \in X $ 到格罗滕迪克群 $ \Gamma_{\mathbb{Q}} $ 的映射 $ \mathcal{L}_n(\alpha) $，利用分次部分维数的交错和。
• 应用无限矩阵理论及 $ T_0, T_1 $ 在模上的作用，推导希尔伯特-昆伦级数的递推关系。
• 依赖于行列式 $ \Psi_{T_0,T_1}(x,w) $ 的分裂域，证明希尔伯特-昆伦级数属于 $ \mathbb{Q}(w) $ 的有限扩张，从而表明其代数性。

实验结果

研究问题

• RQ1 在对理想 $ (x^q, y^q, z^q, h^j) $ 余长度的猜想下，$ H = uv + h $ 的希尔伯特-昆伦级数在 $ \mathbb{Q}(w) $ 上是否为代数数？
• RQ2 希尔伯特-昆伦级数的代数性是否可推广至齐次多项式 $ g $ 的 $ H = g(u,v) + h $ 类型？
• RQ3 在猜想成立下，$ h = x^3 + y^3 + xyz $ 的希尔伯特-昆伦多重性是否为代数数？若是，其显式值为何？
• RQ4 对于 $ H = u^6 + u^3v^3 + v^6 + h $，其希尔伯特-昆伦级数的分裂域具有何种伽罗瓦理论结构？
• RQ5 在 $ (1 - 16w) $ 处的剩余类域中，希尔伯特-昆伦多重性是否生成 $ \mathbb{Q} $ 的整个 8 次扩张，或仅为真子域？

主要发现

• 在猜想成立下，$ h = x^3 + y^3 + xyz $ 的希尔伯特-昆伦多重性为代数数，且显式值为 $ \frac{4}{3} + \frac{5}{14\sqrt{7}} $。
• 通过无限矩阵方法，证明 $ H = uv + h $ 的希尔伯特-昆伦级数在 $ \mathbb{Q}(w) $ 上为 2 次代数数。
• 对于 $ H = u^6 + u^3v^3 + v^6 + h $，其希尔伯特-昆伦级数属于 $ \mathbb{Q}(w, u_1, u_2) $，其中 $ u_1^2 \in \mathbb{Q}(w) $，且 $ u_2 $ 在 $ \mathbb{Q}(w) $ 上的次数为 4，即为 8 次扩张。
• 在 $ \mathbb{Q}[w] $ 的整闭包中，素理想 $ (1 - 16w) $ 处的剩余类域为 $ \mathbb{Q} $ 的 8 次扩张，且希尔伯特-昆伦多重性位于该域中。
• 相关多项式 $ \Psi^* $ 的分裂域的伽罗瓦群阶为 48，且稳定集合 $ \{\rho, \rho^{-1}\}, \{\sigma, \sigma^{-1}\}, \{\tau, \tau^{-1}\} $。
• 希尔伯特-昆伦多重性被认为生成了 $ \mathbb{Q} $ 的整个 8 次扩张，尽管验证此结论需进行计算量极大的运算。