Connected components of the ranges of twisted divisor functions on number fields

技术摘要：数域上扭曲除数函数值域的连通分支

问题陈述
本文研究了定义在数域整理想幺半群上的扭曲除数函数像的拓扑结构。设 $K$ 为 $\mathbb{Q}$ 的有限扩张，$\mathcal{O}_K$ 为其整数环，$\mathcal{I}_K$ 为整理想幺半群。对于复参数 $r$ 和狄利克雷特征 $\chi$，扭曲理想除数函数定义为：
$$\sigma_{r,K,\chi}(I) = \sum_{J|I} N(J)^{-r}\chi(N(J))$$
其中 $N(J)$ 表示理想范数。主要研究对象是像的闭包 $\overline{\sigma_{r,K,\chi}(\mathcal{I}_K)}$，特别是其连通分支的数量，记为 $C_{r,K,\chi}$。

虽然 $K=\mathbb{Q}$ 且 $\chi$ 为平凡特征（即标准除数函数 $\sigma_r$）的情形已被广泛研究（例如 Laatsch、Defant、Sanna 和 Zubrilina 的工作），但本文将这些研究推广到任意数域和扭曲特征。本文解决的核心问题包括：

1. 对于实数 $r > 1$ 和实值特征 $\chi$，连通分支的数量 $C_{r,K,\chi}$ 是否有限？
2. 当特征 $\chi$ 变化时（固定 $K$ 和 $r$），$C_{r,K,\chi}$ 可以取哪些值？
3. 当数域 $K$ 变化时，$C_{r,K}$ 如何表现，特别是关于下界和无界性？

方法论
本文结合了解析数论、代数数论和拓扑论证。关键的方法论组成部分包括：

• 划分与间隙分析：核心技术涉及根据小素因子的整除性对定义域（理想或整数）进行划分。通过分析这些划分在除数函数值域中产生的“间隙”，作者建立了连通分支数量的下界。这依赖于证明不相交划分集的像具有不相交的闭包。
• 切博塔廖夫密度定理：为了处理一般的数域 $K$，作者利用切博塔廖夫密度定理来估计具有特定分裂行为（例如完全分裂的素数与保持惰性的素数）的素理想的分布。这使得构造具有所需范数分布的数域成为可能。
• 戴德金$\zeta$函数系数：给定范数的理想数量 $a_K(n)$ 的增长利用戴德金$\zeta$函数 $\zeta_K(s)$ 的系数进行界定。这些界限对于确立大 $r$ 时值域中“间隙”的存在性至关重要。
• 构造性域论：为了证明固定次数扩张的无界性结果，本文利用戴德金 - 库默尔定理构造了特定的数域。通过选择模特定素数具有预定分解类型的单首不可约多项式，作者确保了选定的有理素数在构造的域 $K$ 中完全分裂或保持惰性。
• 递归素数选择：“$r$-强力范数”（即产生间隙的范数）的构造涉及递归选择充分分散的有理素数序列，以满足涉及参数 $r$ 的特定不等式。

主要贡献与结果

1. 分支的有限性（定理 1.2）：
   本文证明了对于任意实数 $r > 1$、$\mathbb{Q}$ 的有限扩张 $K$ 以及实值狄利克雷特征 $\chi$，连通分支的数量 $C_{r,K,\chi}$ 是有限的。这将 Sanna 此前关于 $K=\mathbb{Q}$ 的结果推广到了广义数域情形。证明利用了 $\mathcal{O}_K$ 素理想的向下归纳论证，确立了该像是有限个不相交闭区间的并集。

2. $K=\mathbb{Q}$ 情形下分支数量的实现（定理 1.3 与 1.4）：

   • 对于固定的 $r > 1$，随着特征 $\chi$ 的变化，$C_{r,\mathbb{Q},\chi}$ 取遍所有足够大的正整数。
   • 存在一个阈值 $r_0$，使得对于所有 $r > r_0$，随着 $\chi$ 的变化，$C_{r,\mathbb{Q},\chi}$ 取遍每一个正整数值。这是通过构造模数由特定素数集组成的主特征来控制的，从而控制函数值域中“跳跃”的数量。

3. 改进的下界（定理 1.5）：
   对于 $r \ge 3$ 和模数为 $m$ 的特征 $\chi$，本文建立了一个新的下界：
   $$C_{r,\mathbb{Q},\chi} \ge 2^{\pi_m(2r-2) - \delta_m}$$
   其中 $\pi_m(x)$ 计数小于等于 $x$ 且与 $m$ 互素的素数，$\delta_m$ 取决于 $m$ 的奇偶性。这改进了 Achenjang 和 Berger 之前的界限。

4. 一般域上的指数下界（定理 1.6）：
   对于 $\mathbb{Q}$ 的有限伽罗瓦扩张 $K$，本文推导了当 $r \to \infty$ 时 $C_{r,K}$ 的新指数下界。具体而言，对于任意 $\epsilon > 0$，存在常数使得：
   $$\log C_{r,K} > \mu_{K,\epsilon} \left( \frac{r^{1/(1+\epsilon)}}{\log r} \right)$$
   这意味着对于固定的域 $K$，随着 $r$ 的增加，分支数量是无界的。

5. 固定次数扩张上的无界性（定理 1.7）：
   固定参数 $r > 1$ 和次数 $s \ge 2$，本文证明了集合 $\{C_{r,K} : [K:\mathbb{Q}]=s\}$ 是无界的。通过构造特定素数序列完全分裂（产生小范数）而其他素数保持惰性（产生大范数）的 $s$ 次扩张，作者生成了值域中任意数量的间隙，从而实现了任意大的连通分支数量。

意义与主张
本文声称提供了从有理整数到任意数域的除数函数值域拓扑研究的全面推广。其意义在于：

• 推广：将有限性结果和分支计数从 $\mathbb{Q}$ 推广到一般数域 $\mathcal{I}_K$。
• 定量精度：提供了关于分支数量的明确且改进的下界，包括关于 $r$ 和域次数的指数增长率。
• 值域的完备性：证明了连通分支的数量不仅是有限的，而且可以通过改变特征来控制，使其取任意足够大的整数值（对于大 $r$ 则是所有整数）。
• 结构洞察：揭示了值域的拓扑结构与数域中素数的分裂行为以及特征模数的算术性质密切相关。

作者并未声称求解所有参数下 $C_{r,K,\chi}$ 的精确值，而是确立了这些值的有限性、无界性和可实现性，为理解代数数论中除数函数的拓扑复杂性提供了一个框架。