[论文解读] Essential singularities of Euler products

Gautami Bhowmik, Jan‐Christoph Schlage‐Puchta|arXiv (Cornell University)|Jan 12, 2010

Advanced Mathematical Identities参考文献 9被引用 3

一句话总结

本文对具有欧拉乘积的狄利克雷级数在 $ p $ 和 $ p^{-s} $ 的有理函数上的本性奇点进行分类，证明当欧拉乘积的主要部分非分圆多项式，或当某些局部零点在 $ \Re s = \beta $ 附近聚集时，自然边界会出现。关键贡献是基于多项式 $ W(X,Y) $ 的结构，对亚纯延拓行为进行了完整的五类分类，表明埃斯特曼方法在一般情况下不成立，且多变量 zeta 函数比其 1.5 变量对应物在技术上更易于分析。

ABSTRACT

We classify singularities of Dirichlet series having Euler products which are rational functions for p and p^{-s} for p a prime number and give examples of natural boundaries from zeta functions of groups and height zeta functions.

研究动机与目标

• 对形如 $ D(s) = \prod_p W(p, p^{-s}) $ 的狄利克雷级数的奇点进行分类，其中 $ W $ 为有理函数。
• 确定此类级数在 $ \Re s = \beta $ 之外是否允许亚纯延拓，或是否在 $ \Re s = \beta $ 处形成自然边界。
• 证明埃斯特曼经典的极点/零点聚集方法无法证明关于亚纯延拓的广泛相信的猜想。
• 比较 1.5 变量问题（一个复变量，双变量多项式）与完整多变量情形的复杂性。
• 表明多变量 zeta 函数 $ D(s_1, s_2) = \prod_p W(p^{-s_1}, p^{-s_2}) $ 更易于分析，且其自然边界的完整分类是可能的。

提出的方法

• 定义 $ \alpha = \sup\left\{ \frac{n+1}{m} : a_{n,m} \neq 0 \right\} $ 和 $ \beta = \sup\left\{ \frac{n}{m} : a_{n,m} \neq 0 \right\} $，它们决定了收敛域与延拓域。
• 引入 $ W $ 的“主要部分” $ \tilde{W} $，仅包含满足 $ \frac{n}{m} = \beta $ 的项，其决定了欧拉乘积的解析行为。
• 根据 $ \tilde{W} $ 是否为分圆多项式、$ W \neq \tilde{W} $ 是否成立，以及 $ W(p, p^{-s}) $ 的局部零点是否在 $ \Re s = \beta $ 右侧聚集，将 $ D(s) $ 的行为分为五类。
• 利用短区间中的素数定理，证明若 $ \tilde{W} $ 非分圆，则存在无限多个素数 $ p $，使得 $ W(p, p^{-s}) $ 在 $ \Re s > \beta $ 处有零点。
• 应用多变量 zeta 函数的结果，特别是如下定理：$ D(s_1, s_2) $ 在 $ \mathbb{C}^2 $ 上亚纯延拓当且仅当 $ W $ 是分圆多项式。
• 构造反例以表明埃斯特曼方法——基于 $ \Re s = \beta $ 上极点或零点的聚集——无法涵盖所有情形，尤其当 $ \zeta(s) $ 的零点产生干扰时。

实验结果

研究问题

• RQ1 在何种条件下，具有有理函数 $ W $ 的狄利克雷级数 $ D(s) = \prod_p W(p, p^{-s}) $ 允许在 $ \Re s = \beta $ 之外进行亚纯延拓？
• RQ2 为何埃斯特曼基于极点/零点聚集的方法无法证明仅有限个 $ \zeta $-函数乘积可延拓的广泛相信的猜想？
• RQ3 1.5 变量欧拉乘积的行为与完整多变量 zeta 函数 $ D(s_1, s_2) = \prod_p W(p^{-s_1}, p^{-s_2}) $ 相比如何？
• RQ4 黎曼 zeta 函数的零点在阻碍 $ D(s) $ 的亚纯延拓中起什么作用？在哪些情形下可对其进行控制？
• RQ5 自然边界 $ D(s) $ 是否能通过主要部分 $ \tilde{W} $ 的分圆性质完全表征？存在哪些例外？

主要发现

• 欧拉乘积 $ D(s) = \prod_p W(p, p^{-s}) $ 在半平面 $ \Re s > \alpha $ 内收敛，并在 $ \Re s > \beta $ 上允许亚纯延拓，其中 $ \alpha $ 和 $ \beta $ 由 $ W(X,Y) $ 的指数定义。
• 情形 (1)：若 $ W $ 是分圆多项式，且在去除单位因子后 $ W = \tilde{W} $，则 $ D(s) $ 是有限个黎曼 zeta 函数的乘积，且在 $ \mathbb{C} $ 上亚纯延拓。
• 情形 (2)：若 $ \tilde{W} $ 非分圆，则直线 $ \Re s = \beta $ 上每一点均为阻碍点，即由于极点或零点的聚集而成为本性奇点。
• 情形 (3)：若 $ W \neq \tilde{W} $，$ \tilde{W} $ 为分圆多项式，且存在无限多组 $ (n,m) $ 满足 $ \frac{n}{m} < \beta < \frac{n+1}{m} $，则 $ \beta $ 为阻碍点。
• 情形 (4)：若 $ W \neq \tilde{W} $，$ \tilde{W} $ 为分圆多项式，仅有限多组 $ (n,m) $ 满足 $ \frac{n}{m} < \beta < \frac{n+1}{m} $，但存在无限多个素数 $ p $ 使得 $ W(p, p^{-s}) $ 在 $ \Re s_0 > \beta $ 处有零点，则 $ \Re s = \beta $ 上每一点均为阻碍点。
• 情形 (5)：若上述情形均不成立，则 $ \Re s = \beta $ 上无阻碍点，且该行为无法仅通过极点/零点聚集检测——此情形未被埃斯特曼方法捕获。