技术摘要：单位根平均值的整性与完美等距变换

问题陈述

本文探讨了代数数论与特征理论中两个相互关联的问题：

1. $\mathbb{Z}_n$ 上函数的线性： 本文研究了函数 $f: \mathbb{Z}_n \to \mathbb{Z}_n$ 必须是模 $n$ 线性的充要条件。具体而言，它考察了一个猜想（由 [2] 提出）：如果由 $\mu_b(f) = \frac{1}{n} \sum_{x=0}^{n-1} \omega^{f(x)+bx}$ 定义的单位根平均值对于所有 $b \in \mathbb{Z}_n$ 均为代数整数（其中 $\omega = e^{2\pi i/n}$），那么 $f$ 是否必然具有形式 $f(x) \equiv \alpha x + \beta \pmod n$。此前针对 $n$ 为素数的情况证明依赖于有限域上的置换多项式理论以及 Stothers 的结果。
2. 完美等距变换的刻画： 本文旨在完全确定循环群 $C_{p^r}$（其中 $p$ 为素数且 $r \ge 1$）的完美等距变换。虽然此前已存在部分结果，但仍缺乏针对素数幂阶数的统一刻画。

研究方法

作者结合了初等代数数论与局部-整体原理，避免了先前工作中使用的有限域工具。

• 整性判别准则： 本文利用了一个已知的判别准则（引理 2.1），即 $n$ 个单位根的平均值是代数整数，当且仅当这些单位根之和为零或所有单位根均相同。
• 线性的初等论证： 对于一般的模数 $n$，作者将上述整性判别准则应用于项的多元集 $\{\omega^{f(x)+bx}\}$。通过分析求和为零与项为常数之间的条件，他们在不调用置换多项式的情况下推导出了矛盾，从而证明了线性。
• 局部-整体整性： 针对特定情况 $n = p^r$，作者利用了分圆域 $F = \mathbb{Q}(\zeta_{p^r})$ 的结构。他们利用了 $p$ 在 $F$ 中是全分歧的这一事实，其具有唯一的素理想 $\mathfrak{p} = (1-\omega)$。通过建立整环 $\mathcal{O}_F$ 的局部-整体恒等式，他们证明了如果一个归一化的 $p^r$ 次单位根之和是 $p$ 进整性的（即在局部化 $\mathcal{O}_{F, \mathfrak{p}}$ 中是整的），那么它在全局上也是整的。
• 在特征理论中的应用： 研究结果被应用于 Broué 对完美等距变换的定义。$C_{p^r}$ 上完美等距变换的整性条件被简化为特定特征和的 $p$ 进整性问题。

核心贡献与结果

1. 线性猜想的证明（定理 3.1）

本文证明了对于任何模数 $n \ge 1$，若平均值 $\mu_b(f)$ 对所有 $b \in \mathbb{Z}_n$ 均为代数整数，则 $f$ 在模 $n$ 下是线性的。

• 意义： 这解决了 [2] 中提出的猜想，其适用范围不仅限于素数，而是涵盖了所有的 $n$。
• 方法论优势： 该证明简洁且初等。它避开了通过置换多项式和 Stothers 结果进行的迂回路径，提供了一个适用于所有 $n$ 的统一论证。

2. 素数幂阶数的整性平均值的分类（定理 4.3）

对于 $n = p^r$，作者证明了任何 $p^r$ 次单位根的归一化和 $S/p^r$（其中系数为非负整数且总和为 $p^r$），若其是 $p$ 进整性的，则必为 $0$或单个单位根（即$S = p^r \omega^{j_0}$）。

• 机制： 这依赖于定理 4.2，该定理确立了在素数 $p$ 上方的唯一素理想处的 $p$ 进整性蕴含了在分圆域中的全局整性。

3. 完美等距变换的刻画（定理 5.3）

本文完全刻画了循环群 $C_{p^r}$ 的完美等距变换。

• 结果： 一个双射 $f: \mathbb{Z}_n \to \mathbb{Z}_n$ 诱导 $C_{p^r}$ 的完美等距变换，当且仅当 $f$ 是一个仿射置换，形式为 $f(x) \equiv \alpha x + \beta \pmod n$，且满足 $\gcd(\alpha, n) = 1$。
• 推导： 证明过程结合了 $p$ 进整性条件（定义中的条件 (i)）与来自定理 3.1 的线性结果。随后证明了分离条件（条件 (ii)）对于此类仿射映射是自动成立的。

重要性

本文声称，这些结果说明了关于单位根平均值的一个基本事实，在结合极简的分圆数论后，可以产生清晰的结构定理。

• 它为 $\mathbb{Z}_n$ 上函数的线性提供了一个统一的、初等的证明，适用于所有模数，消除了对有限域技术的依赖。
• 它提供了对素数幂阶循环群完美等距变换的完整刻画，将这些等距变换的结构归结为简单的仿射置换。
• 该工作展示了分圆域中的局部-整体论证在解决特征理论问题中的效用。