2026-08-16 · 把乘法拉直到加法

0. 导读与元结构 (Orientation & Meta-structure)

前两日完成了两步：先把“被 $p$ 的高次幂整除”变成距离并完备化为 ${\mathbb{Q}}_p$，再用 Hensel 引理把模 $p$ 的单根提升为精确根。今天追问下一层失败：有了数域和代数根，如何在其中做局部解析，并把乘法方程线性化？ 实数上的 $\exp$ 与 $\log$ 不能原封不动搬来；同一组形式幂级数在 $p$-adic 范数下有不同且有限的收敛域。

• **对象层：**固定素数 $p$；令 $K$ 为带非平凡非 Archimedean 绝对值的完备域，且该绝对值延拓 ${\mathbb{Q}}_p$ 上的标准绝对值 $|p{|}_p=p^{-1}$。在具体结论中取 $K={\mathbb{Q}}_p$、整数环 ${\mathbb{Z}}_p$ 与单位群 ${\mathbb{Z}}_p^{\times }$。
• **量词层：**先对每个 $n\ge 0$ 控制幂级数第 $n$ 项的赋值，再对收敛圆盘内每个 $x$ 建立恒等式；不能由有限阶截断猜测全体 $x$。
• **先修：**超度量三角不等式、完备性、$p$-adic 赋值、Legendre 阶乘赋值公式、Hensel 引理。
• 主证明引擎：“级数收敛当且仅当通项趋零”＋阶乘赋值渐近；首项严格支配；收敛域内的幂级数代数。
• **去向：**主单位群 (principal units) 的局部线性化、$p$-adic Lie 群、整数幂序列的解析插值、Strassmann 定理与 $p$-adic $L$-函数。

这是微弧 exploration-2026-w33-p-adic-locality 的第 3/3 日：由完备化进入 Hensel 提升，再由 Hensel 提供的局部单位结构进入解析坐标；本期以一个真正的 bridge 收束该弧。

1. 核心概念、定理与谱系 (Concept, Theorem & Lineage)

1.1 从超度量级数到精确收敛半径

在完备非 Archimedean 域 $K$ 中，级数 $\sum _{n\ge 0}{a}_n$ 收敛，当且仅当 $a_n\to 0$。必要性与通常情形相同；充分性来自

$$\left|\sum _{k=m}^n{a}_k\right|\le \underset{m\le k\le n}{max}|a_k|,$$

故只要通项趋零，部分和就是 Cauchy 列，完备性再给出极限。这条判别把收敛问题压缩为单项赋值的增长问题。

对整数 $n\ge 1$，记 $s_p(n)$ 为 $n$ 的 $p$ 进制数位和。Legendre 公式为

$$v_p(n!)=\sum _{k\ge 1}\lfloor \frac{n}{p^k}\rfloor =\frac{n-s_p(n)}{p-1}.$$

考察形式上熟悉的指数级数

$$\exp (x)=\sum _{n=0}^{\mathrm{\infty }}\frac{x^n}{n!}.$$

若用加法赋值 $v_p$ 表示 $|x{|}_p=p^{-v_p(x)}$，则第 $n$ 项满足

$$v_p\left(\frac{x^n}{n!}\right)=n{v}_p(x)-\frac{n-s_p(n)}{p-1}.$$

除以 $n$ 后，右端的主导斜率是 $v_p(x)-1/(p-1)$。因此通项趋于零恰需

$$v_p(x)>\frac{1}{p-1},\text{即}|x{|}_p<p^{-1/(p-1)}.$$

边界必须严格排除：若 $v_p(x)=1/(p-1)$，取 $n=p^k$，则 $s_p(n)=1$，上式恒为 $1/(p-1)$，通项仍不趋零。

定义（完整依赖）。 对每个素数 $p$ 及每个上述完备延拓域 $K$，令

$$D_p(K):=\{x\in K:|x{|}_p<p^{-1/(p-1)}\}.$$

$p$-adic 指数是在 $D_p(K)$ 上由上述级数定义的函数。特别地，值群离散时

$$D_p({\mathbb{Q}}_p)=\{\begin{array}{ll}p{\mathbb{Z}}_p,& p\ne 2,\\ 4{\mathbb{Z}}_2,& p=2.\end{array}$$

这里的 $2$-adic 例外不是记号习惯，而是 $v_2(n!)$ 增长得更快所留下的真实边界。

1.2 对数与“乘法变加法”

若 $|y{|}_p<1$，定义

$$\log (1+y)=\sum _{n=1}^{\mathrm{\infty }}(-1{)}^{n-1}\frac{y^n}{n}.$$

其第 $n$ 项赋值是 $n{v}_p(y)-v_p(n)$；因为 $v_p(n)$ 只按对数级增长，而 $n{v}_p(y)$ 线性增长，所以级数收敛。若进一步 $y\in D_p(K)$，则对每个 $n\ge 2$，有

$${\left|\frac{y^n}{n}\right|}_p<|y{|}_p,$$

故首项严格支配，得到

$$|\log (1+y){|}_p=|y{|}_p.$$

定理（局部指数—对数同构）。 对每个 $x,x^{\prime }\in D_p(K)$ 及每个 $u,u^{\prime }\in 1+D_p(K)$，有

$$\exp (x+x^{\prime })=\exp (x)\exp (x^{\prime }),\log (u{u}^{\prime })=\log u+\log u^{\prime },$$

并且

$$\log (\exp x)=x,\exp (\log u)=u,$$

以及等距关系

$$|\exp (x)-1{|}_p=|x{|}_p,|\log (u){|}_p=|u-1{|}_p.$$

因而

$$\exp :(D_p(K),+)⟶(1+D_p(K),\times )$$

是等距群同构，逆映射为 $\log$。

证明架构。 指数乘法公式来自 Cauchy 乘积与二项式公式；在非 Archimedean 情形，相关双重级数的项在指标离开有限方块时一致趋零，故重排合法。对 $\exp (x)-1$，线性项 $x$ 严格大于所有 $x^n/n!$（$n\ge 2$）的绝对值，所以强三角不等式给出等距式。形式幂级数恒等式 $\log (\exp X)=X$ 与 $\exp (\log (1+X))=1+X$ 在上述共同收敛域内可以合法代入，于是得到互逆性；同态式也随之成立。

1.3 Hensel 提升如何接到解析坐标

当 $p$ 为奇素数时，Hensel 引理把 ${\mathbb{F}}_p^{\times }$ 中的每个元素唯一提升为一个 $(p-1)$ 次单位根。记这些 Teichmüller lifts 组成的群为 ${\mu }_{p-1}$。于是每个 $u\in {\mathbb{Z}}_p^{\times }$ 唯一分解为

$$u=\omega (u)⟨u⟩,\omega (u)\in {\mu }_{p-1},⟨u⟩\in 1+p{\mathbb{Z}}_p.$$

前一因子是有限扭元，后一因子是主单位。指数—对数同构只线性化后一层：

$${\mathbb{Z}}_p^{\times }\cong {\mu }_{p-1}\times (1+p{\mathbb{Z}}_p)\cong {\mu }_{p-1}\times (p{\mathbb{Z}}_p,+).$$

当 $p=2$ 时，对应的安全分解是

$${\mathbb{Z}}_2^{\times }\cong \{\pm 1\}\times (1+4{\mathbb{Z}}_2),$$

而 $\log$ 与 $\exp$ 在 $1+4{\mathbb{Z}}_2$ 和 $4{\mathbb{Z}}_2$ 之间互逆。

这也解释了整数幂的 $p$-adic 插值。若 $a\in 1+p{\mathbb{Z}}_p$（$p$ 奇）或 $a\in 1+4{\mathbb{Z}}_2$，则对每个 $x\in {\mathbb{Z}}_p$ 可定义

$$a^x:=\exp (x\log a),$$

它在非负整数上恢复通常的 $a^n$。若 $a$ 是一般 $p$-adic 单位，扭元 $\omega (a{)}^n$ 依赖 $nmod(p-1)$，故通常不能由一个 ${\mathbb{Z}}_p$ 上的解析函数包办；固定 $n=(p-1)k+r$ 后，$(a^{p-1}{)}^k$ 才能在 $k\in {\mathbb{Z}}_p$ 上解析插值。Keith Conrad 展示了这一有限分支机制如何把线性递推数列嵌入若干 $p$-adic 幂级数，再由 Strassmann 定理控制整数解。

Graduate / modern extension. 上述同构是“一维 $p$-adic Lie 群的局部坐标”的原型。矩阵群中，收敛的矩阵指数与矩阵对数把足够靠近单位矩阵的乘法问题转成 Lie 代数问题；在算术方向，类似的解析插值是构造 $p$-adic 测度、Iwasawa 代数与 $p$-adic $L$-函数的基础机制之一。

2. 固定模板习题 (Template Exercise)

题目。 求实幂级数

$$\sum _{n=1}^{\mathrm{\infty }}\frac{n^2}{3^n}{x}^n$$

的收敛半径，并逐一判断两个端点，从而写出其收敛区间。

模板识别。 看到“显式系数的幂级数＋要求区间”，先把任务拆成两层：用根值判别或比值判别求开区间内的收敛半径；再把两个端点分别代回原级数。端点不由半径公式自动决定。

分级提示。

1. 对一般项的绝对值使用比值判别，先把 $|x|$ 当作参数。
2. 计算
   $$\frac{(n+1{)}^2|x{|}^{n+1}/3^{n+1}}{n^2|x{|}^n/3^n}$$
   的极限。
3. 得到临界值后，分别代入正端点与负端点；先检查“通项是否趋于零”，不要急于套更强的判别法。

3. 大家之言 (Mathematician in Their Own Words)

语境。 Terence Tao 在个人博客 What’s new 的文章 “A digestion of the proof of Sendov’s conjecture”（2026-08-12）中，说明自己如何把一个已形式验证、但尚未成为适合人类阅读之论证的证明放回文献脉络，并压缩出主机制。该文章是第一人称研究记录；这里引用的是证明方法论，不把它当作本期 $p$-adic 定理的技术来源。

“it has taken me several days (with heavy AI assistance) to perform such a digestion, to place the proof in proper context with previous literature and to simplify and streamline the argument to highlight the main ideas.”

译文。 “我花了数日（并大量借助 AI）来完成这样的消化：把证明置于既有文献的恰当语境中，并简化、梳理论证，使主旨凸显出来。”

评论。 这段话区分了三个常被混为一谈的层次：形式正确、置入谱系、抽取机制。今天若只列出 $\exp$ 与 $\log$ 的公式，尚未完成“消化”；真正的主线是：超度量把级数收敛化为通项判别，Legendre 公式给出精确半径，首项支配给出等距性，Hensel 提升再把有限扭元与可线性化的主单位分开。证明之善，不仅在无隙，亦在见其枢纽。

来源：https://terrytao.wordpress.com/2026/08/12/a-digestion-of-the-proof-of-sendovs-conjecture

4. 反例与边界 (Counterexample & Boundary)

边界一：实指数处处收敛，$p$-adic 指数却不能在 $x=1$ 定义

试图令 $x=1$，则指数级数的第 $n$ 项为 $1/n!$。逐项检查：

1. $v_p(n!)=\sum _{k\ge 1}\lfloor n/p^k\rfloor \to \mathrm{\infty }$；
2. 因而 $v_p(1/n!)=-v_p(n!)\to -\mathrm{\infty }$；
3. 所以 $|1/n!{|}_p=p^{v_p(n!)}$ 不但不趋于 $0$，反而无界；
4. 完备非 Archimedean 域中级数收敛必要求通项趋零，故 $\sum 1/n!$ 在 ${\mathbb{Q}}_p$ 中发散。

这准确暴露了分母 $n!$ 的角色反转：它在实绝对值下压小通项，在 $p$-adic 绝对值下却因含有越来越高次的 $p$ 而放大倒数。

边界二：$2$-adic 对数在 $1+2{\mathbb{Z}}_2$ 上收敛，却不是局部坐标

取 $u=-1=1-2$。逐项检查：

1. $u\in 1+2{\mathbb{Z}}_2$，因为 $u-1=-2$；
2. $|-2{|}_2=1/2<1$，故 $\log (1-2)$ 的级数收敛；
3. 对数在该乘法邻域满足同态恒等式，而 $(-1{)}^2=1$，故
   $$2\log (-1)=\log (1)=0;$$
   特征为 $0$，所以 $\log (-1)=0$；
4. 但 $-1\ne 1$，故 $\log$ 在 $1+2{\mathbb{Z}}_2$ 上不单射。

限制到 $1+4{\mathbb{Z}}_2$ 后，扭元 $-1$ 被排除，且它恰与指数的真实定义域 $4{\mathbb{Z}}_2$ 对应。这说明“级数收敛”弱于“它提供可逆解析坐标”。

5. 今日一问与数学地图 (Question & Map)

今日一问。 设 $p$ 为奇素数，$u\in {\mathbb{Z}}_p^{\times }$。何时存在连续函数

$$F:{\mathbb{Z}}_p⟶{\mathbb{Z}}_p^{\times }$$

使得对每个非负整数 $n$ 都有 $F(n)=u^n$？若一般情形不存在，为什么把指数按 $nmod(p-1)$ 分成有限支后便能恢复解析插值？

方向提示。 写出 $u=\omega (u)⟨u⟩$，并比较 $p^k\to 0$ 时 $u^{p^k}$ 与连续性所要求的极限。注意：有限扭元因子与主单位因子的行为完全不同。

数学地图。

$$\begin{array}{rl}& \text{超度量完备性}+\text{Legendre 公式}\\ & \Downarrow \\ & \text{指数/对数的精确收敛圆盘}\\ & \Downarrow \\ & \text{Hensel--Teichmüller 扭元分解}+\text{主单位局部线性化}\\ & \Downarrow \\ & \text{幂序列的有限支解析插值}\\ & \Downarrow \\ & \text{Strassmann 零点界、Mahler 展开、Iwasawa 理论、}p\text{-adic }L\text{-函数}.\end{array}$$

本弧留下的核心认识是：$p$-adic “局部性”不只把根逐位提升；它还能把足够接近单位元的非线性群运算转换成加法坐标，而有限扭元精确标记了这种线性化不能越过的边界。

附录 A：习题完整解答 (Full Solution)

展开完整解答

可复用模板：比值判别求半径，端点逐一回代。

令

$$a_n(x)=\frac{n^2}{3^n}{x}^n.$$

对固定 $x\in \mathbb{R}$，若 $x\ne 0$，则

$$\left|\frac{a_{n+1}(x)}{a_n(x)}\right|=\frac{(n+1{)}^2}{n^2}\frac{|x|}{3}⟶\frac{|x|}{3}.$$

因此：

• 若 $|x|<3$，极限小于 $1$，级数绝对收敛；
• 若 $|x|>3$，极限大于 $1$，通项甚至不趋于 $0$，级数发散。

故收敛半径为 $R=3$。还须单独检查端点。

当 $x=3$ 时，

$$a_n(3)=\frac{n^2}{3^n}{3}^n=n^2,$$

通项不趋于 $0$，所以级数发散。

当 $x=-3$ 时，

$$a_n(-3)=\frac{n^2}{3^n}(-3{)}^n=(-1{)}^n{n}^2,$$

其绝对值为 $n^2$，通项同样不趋于 $0$，所以级数发散。负号交替不能补救通项不趋零。

综上，收敛区间为

$$(-3,3).$$

该模板的关键纪律是：半径只确定开区间；每个端点都是一个新的数项级数，必须重新判断。

资料与来源 (Sources)

1. Keith Conrad, “Infinite Series in $p$-adic Fields.” University of Connecticut expository notes. 用于非 Archimedean 级数判别、Cauchy–Hadamard 半径、Legendre 公式、$p$-adic 指数与对数的收敛域及等距性质。
   https://kconrad.math.uconn.edu/blurbs/gradnumthy/infseriespadic.pdf

2. Keith Conrad, “Strassmann’s Theorem and an Application.” University of Connecticut expository notes. 用于一般单位的有限支幂插值及以 Strassmann 定理控制递推数列取值的机制。
   https://kconrad.math.uconn.edu/blurbs/gradnumthy/strassmannapplication.pdf

3. Terence Tao, “A digestion of the proof of Sendov’s conjecture.” What’s new, 2026-08-12. 本期“大家之言”的第一人称原文与日期。
   https://terrytao.wordpress.com/2026/08/12/a-digestion-of-the-proof-of-sendovs-conjecture

4. Keith Conrad, Expository papers index. University of Connecticut. 用于核对上述讲义标题及其作者主页中的直接入口。
   https://kconrad.math.uconn.edu/blurbs/