如何构造满足泛性质的螺线管？解析ℚ的庞特里亚金对偶投射极限

这是个挺有意思的问题，涉及到投射极限、螺线管和庞特里亚金对偶的交叉点，我来一步步拆解清楚：

首先咱们先定义对应的投射系统：

• 取一族标准乘法群圆，标记为${S^1_{(n)}}_{n \in \mathbb{N}}$，每个$S^{1_{(n)}$都是$\mathbb{S}}1 = {z \in \mathbb{C} \mid |z|=1}$。
• 指标集$\mathbb{N}$赋予整除偏序：$n \leq m$当且仅当$n$整除$m$（记为$n|m$）。
• 对每个$n \leq m$（即$n|m$），定义态射$f_{n,m}: S^1_{(n)} \to S^1_{(m)}$为$\frac{m}{n}$次幂映射：$f_{n,m}(z) = z^{\frac{m}{n}}$——因为$n|m$，$\frac{m}{n}$是整数，所以这是良定义的连续群同态，本质就是$k$次幂映射（$k=m/n$）。

接下来构造投射极限（逆极限）：
螺线管$S$就是这个投射系统的投射极限，作为集合，它是乘积空间$\prod_{n \in \mathbb{N}} S^1_{(n)}$中满足相容性条件的所有序列$(z_n)_{n \in \mathbb{N}}$的集合：

对任意$n|m$，都有$z_m = f_{n,m}(z_n) = z_n^{\frac{m}{n}}$

给$S$赋予乘积拓扑的子拓扑后，它就成为一个紧致连通的局部紧阿贝尔群——这就是我们说的螺线管。

螺线管的泛性质 #

作为投射极限，螺线管满足典型的“泛性质”：
假设存在一个拓扑群$T$，以及一族连续群同态${g_n: T \to S^1_{(n)}}{n \in \mathbb{N}}$，满足相容性：对任意$n|m$，$g_m(t) = g_n(t)^{\frac{m}{n}}$对所有$t \in T$成立。那么存在唯一的连续群同态$g: T \to S$，使得对每个$n \in \mathbb{N}$，$\pi_n \circ g = g_n$（其中$\pi_n: S \to S^1{(n)}$是螺线管到第$n$个圆的投影映射，也就是取序列的第$n$个分量）。

简单来说：螺线管是“最通用”的拓扑群，所有能和这个圆族做相容同态的群，都能唯一地通过螺线管来分解这个同态。

首先回忆庞特里亚金对偶的基本定义：对局部紧阿贝尔群$G$，它的对偶群$\hat{G}$是所有连续群同态$\chi: G \to \mathbb{S}^1$的集合，赋予紧开拓扑，本身也是局部紧阿贝尔群。

要把$\hat{\mathbb{Q}}$和上述圆族的投射极限联系起来，核心用到归纳极限的对偶是投射极限这个关键性质：对于局部紧阿贝尔群的有向归纳系统，其对偶群构成投射系统，且归纳极限的对偶同构于对偶系统的投射极限。

步骤1：把$\mathbb{Q}$表示为归纳极限 #

有理数加法群$\mathbb{Q}$可以写成子群的归纳极限：考虑有向集$\mathbb{N}$（整除偏序），对每个$n \in \mathbb{N}$，取子群$\mathbb{Z}[1/n] = \left{ \frac{k}{n^t} \mid k \in \mathbb{Z}, t \geq 0 \right}$（即所有分母是$n$的幂的有理数）。当$n|m$时，$\mathbb{Z}[1/n] \subseteq \mathbb{Z}[1/m]$（因为$m$是$n$的倍数，$n$的幂也是$m$的幂的因子），包含映射就是归纳系统的态射。而$\mathbb{Q}$恰好是这个归纳系统的归纳极限：$\mathbb{Q} = \varinjlim_{n \in \mathbb{N}} \mathbb{Z}[1/n]$。

步骤2：计算每个$\mathbb{Z}[1/n]$的对偶群 #

对于$\mathbb{Z}[1/n]$，它的对偶群$\widehat{\mathbb{Z}[1/n]}$是什么呢？
每个连续同态$\chi: \mathbb{Z}[1/n] \to \mathbb{S}^{1$由$\chi(1/n)$唯一确定：因为$\chi\left(\frac{k}{n}t}\right) = \chi(1/n)^k$（乘法群的运算对应加法群的同态）。反过来，任意$z \in \mathbb{S}^{1$都可以定义一个同态：$\chi_z\left(\frac{k}{n}t}\right) = z^k$，这是良定义的连续同态。因此$\widehat{\mathbb{Z}[1/n]} \cong \mathbb{S}^{1$，我们把这个对偶群标记为$S}1_{(n)}$，和之前的圆族对应起来。

步骤3：对偶系统的态射 #

当$n|m$（即$m=kn$），归纳系统的态射是包含映射$i_{n,m}: \mathbb{Z}[1/n] \to \mathbb{Z}[1/m]$，对应的对偶态射是限制同态$r_{m,n}: \widehat{\mathbb{Z}[1/m]} \to \widehat{\mathbb{Z}[1/n]}$：对$\chi \in \widehat{\mathbb{Z}[1/m]}$，$r_{m,n}(\chi) = \chi|_{\mathbb{Z}[1/n]}$。

把这个限制同态转化到$S^{1_{(m)}$和$S}1_{(n)}$的对应：如果$\chi$对应$z \in S^1_{(m)}$（即$\chi(1/m)=z$），那么$\chi(1/n) = \chi\left(\frac{k}{m}\right) = \chi(1/m)^k = z^k = z^{{\frac{m}{n}}$（因为$k=m/n$）。所以限制同态$r_{m,n}$对应的就是$S}1_{(m)} \to S^{1_{(n)}$的$\frac{m}{n}$次幂映射——这和你描述的投射系统态射本质一致（注：你写的态射方向是$S}1_{(n)} \to S^1_{(m)}$，实际上对偶系统的态射是反向的，但投射极限的定义只需要指标集是有向的，态射方向匹配即可，核心逻辑不变）。

步骤4：结论 #

根据归纳极限的对偶是投射极限的性质：
$$\hat{\mathbb{Q}} = \widehat{\varinjlim_{n \in \mathbb{N}} \mathbb{Z}[1/n]} \cong \varprojlim_{n \in \mathbb{N}} \widehat{\mathbb{Z}[1/n]} = \varprojlim_{n \in \mathbb{N}} S^1_{(n)}$$
也就是说，$\mathbb{Q}$的庞特里亚金对偶恰好是这个圆族的投射极限。

内容的提问来源于stack exchange，提问作者Maithreya Sitaraman