[论文解读] Counting ideals in polynomial rings

Lenny Fukshansky, Stefan Kühnlein+1 more|arXiv (Cornell University)|Jan 17, 2017

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

一句话总结

本文利用zeta函数和Delange的Tauberian定理，研究了数域中整数环上多项式环中理想计数函数的渐近增长。研究结果表明，$\mathcal{O}_K[X]$ 中有界指标的理想数量渐近增长为 $O(N^2)$，推广了经典的Dedekind zeta函数结果，并为 $\mathbb{Z}^d$ 中理想格的密度提供了估计。主要贡献在于给出了 $\mathcal{O}_K[X]$ 的zeta函数的闭式乘积公式，揭示了其解析性质及在 $s=2$ 处的极点。

ABSTRACT

We investigate properties of zeta functions of polynomial rings and their quotients, generalizing and extending some classical results about Dedekind zeta functions of number fields. By an application of Delange's version of the Ikehara Tauberian Theorem, we are then able to determine the asymptotic order of the ideal counting function in such rings. As a result, we produce counting estimates on ideal lattices of bounded determinant coming from fixed number fields, as well as density estimates for any ideal lattices among all sublattices of $\mathbb Z^d$. We conclude with some more general speculations and open questions.

研究动机与目标

• 理解在数域整数环上多项式环中，有界指标理想数量的渐近行为。
• 将经典的Dedekind zeta函数结果推广至多项式环 $\mathcal{O}_K[X]$。
• 为来自固定数域的有界行列式理想格建立计数估计。
• 分析与首一可分多项式 $f$ 的商环 $\mathbb{Z}[X]/(f)$ 相关的zeta函数的解析性质。
• 提供理想格在 $\mathbb{Z}^d$ 所有子格中密度的估计。
• 研究 $\mathcal{O}_K[X]$ 的zeta函数结构及其解析延拓。
• 通过 $\mathbb{Z}[X]$ 的zeta函数探索其与阿贝尔群分类及Cohen-Lenstra启发式之间的联系。

提出的方法

• 本文采用zeta函数 $\zeta(R,s) = \sum_{n=1}^\infty \frac{a_n(R)}{n^s}$，其中 $a_n(R)$ 表示环 $R$ 中指标为 $n$ 的理想数量，用于研究理想计数。
• 应用Delange版本的Ikehara Tauberian定理，从 $\zeta(R,s)$ 的解析行为推导出求和函数 $A_N(R) = \sum_{n \leq N} a_n(R)$ 的渐近增长。
• $\mathcal{O}_K[X]$ 的zeta函数被证明可分解为 $\prod_{d=1}^\infty \zeta_K(d(s-1))$，其中 $\zeta_K$ 是数域 $K$ 的Dedekind zeta函数。
• 通过分析该乘积的极点，确定了收敛半平面和奇点的位置，主导极点位于 $s=2$。
• 利用理想计数序列 $a_n(R)$ 的乘性，推导出Euler乘积分解 $\zeta(R,s) = \prod_p E_p(R,s)$，从而实现对每个素数的局部分析。
• 通过将环基变换至 $\mathbb{Z}_{(p)} \otimes_{\mathbb{Z}} \mathcal{O}_K$（一个半局部PID），利用已知的PID结果推导出全局乘积公式。
• 通过识别 $\sum a_n(\mathfrak{G})/n^s = \zeta(\mathbb{Z}[X], s+1)$，将理想计数与群论轨道计数联系起来，从而建立与阿贝尔群分类的联系。

实验结果

研究问题

• RQ1 在数域 $K$ 的整数环上，多项式环 $\mathcal{O}_K[X]$ 中有界指标的理想数量的渐近增长率是什么？
• RQ2 $\zeta(\mathcal{O}_K[X], s)$ 的zeta函数在解析上如何表现？其亚纯结构是怎样的？
• RQ3 在 $\mathbb{Z}^d$ 中，由首一多项式 $f$ 的商环 $\mathbb{Z}[X]/(f)$ 产生的有界行列式理想格的数量的精确渐近阶是什么？
• RQ4 在 $\mathbb{Z}^d$ 的所有子格中，理想格的密度如何？
• RQ5 $\mathbb{Z}[X]$ 的zeta函数与有限阿贝尔群或其在自同构作用下的子群计数之间存在何种关系？
• RQ6 能否将 $\mathcal{O}_K[X]$ 的zeta函数几何地解释为 $\mathcal{O}_K$ 上仿射直线形变的zeta函数？
• RQ7 $\zeta(\mathbb{Z}[X], s)$ 是否有自然解释，即它是否计数满足某些性质的有限阿贝尔群及其自同态？

主要发现

• 多项式环 $\mathcal{O}_K[X]$ 的zeta函数为 $\zeta(\mathcal{O}_K[X], s) = \prod_{d=1}^\infty \zeta_K(d(s-1))$，其中 $\zeta_K$ 是数域 $K$ 的Dedekind zeta函数。
• $\zeta(\mathcal{O}_K[X], s)$ 的收敛半平面为 $\sigma = 2$，在 $s = 2$ 处有一个单极点，且在 $s = 1$ 处有累积的其他单极点。
• 应用Delange的Tauberian定理，$\mathcal{O}_K[X]$ 中指标不超过 $N$ 的理想数量渐近增长为 $c \cdot N^2$，其中 $c > 0$ 为某常数，$c$ 依赖于 $\zeta(\mathcal{O}_K[X], s)$ 在 $s = 2$ 处的留数。
• 由首一多项式 $f$ 的商环 $\mathbb{Z}[X]/(f)$ 产生的 $\mathbb{Z}^d$ 中理想子格的数量也渐近增长为 $O(N^2)$，如引理3.3所示。
• $\zeta(\mathbb{Z}[X], s)$ 在 $\Re(s) > 2$ 时收敛，且在 $s = 2$ 处有一个单极点，确认了 $\mathbb{Z}[X]$ 中理想计数的二次增长。
• $\zeta(\mathbb{Z}[X], s)$ 与有限阿贝尔群的计数相关：$\sum_{n=1}^\infty \frac{a_n(\mathfrak{G})}{n^s} = \zeta(\mathbb{Z}[X], s+1)$，其中 $a_n(\mathfrak{G})$ 表示阶为 $n$ 的同构类阿贝尔群的数量。
• $\mathcal{O}_K[X]$ 的zeta函数在 $s = 2$ 处的留数被识别为Cohen-Lenstra启发式中出现的常数 $C_\infty$，暗示理想计数与随机有限阿贝尔群之间存在深层联系。