Pontryagin–van Kampen 对偶

说明

「自伴随的等价」是什么意思：$M \mapsto \widehat{M}$ 既是 $M \mapsto \widehat{M}$ 的左伴随又是它的右伴随（对偶函子与自己的伴随关系，配对由取值映射 $M \times \widehat{M} \to \mathbb{T}$ 给出）。

整条正合列都对偶过去：如果 $0 \to M' \to M \to M'' \to 0$ 是局部紧阿贝尔群的（严格）正合列，那么对偶之后 $0 \to \widehat{M''} \to \widehat{M} \to \widehat{M'} \to 0$ 仍正合 —— 箭头全部转向。这是「自等价保结构」的直接好处：群论问题可以在对偶那边做，再翻回来。

几个必记的对应：$\widehat{\mathbb{R}} \cong \mathbb{R}$（Fourier 变换）；$\widehat{\mathbb{Z}} \cong \mathbb{T}$ 与 $\widehat{\mathbb{T}} \cong \mathbb{Z}$（互相换）；有限维实 Banach 空间上的对偶退化成通常的线性对偶（实 Banach 空间局部紧 $\iff$ 有限维）。

⭐ 这一条是凝聚态阿贝尔群那套理论的原型：把 $\mathbb{T}$ 换成别的测试对象、把「局部紧」换成别的条件，就得到各种对偶（Tannaka、Gelfand……）。凝聚态数学把「$\mathbb{T}$ 换成 CHaus 上的层」升了一次维。

证明（按三类情形拼起来）。

• $M$ 离散：经典 Pontryagin 对偶。先取满射 $\mathbb{Z}^{(I)} \twoheadrightarrow M$，对偶后得闭嵌入 $\widehat M \hookrightarrow \mathbb{T}^{I}$，故 $\widehat M$ 紧；求值 $M \to \widehat{\widehat M}$ 在有限群与有限生成群上用初等计算验证，再用「$M$ 是有限生成子群的滤过余极限 + 对偶把余极限变成逆极限 + 两边都正合」取极限即得同构 ✓。
• $M$ 紧：$\widehat M$ 离散（见「离散与紧 Hausdorff 互换」）；对紧群用特征标分离点（Pontryagin 的经典论证：紧阿贝尔群的特征标构成足够的分离族，用 Peter–Weyl / 有限维表示论给出），得求值 $M \to \widehat{\widehat M}$ 单；再用前一情形与紧的 $M$ 的对偶离散，把单射性与满性补全 ✓。
• $M$ 一般局部紧：用结构定理——$M$ 含开子群 $V\oplus K$（$V$ 有限维实向量空间、$K$ 紧）、其余商 $D$ 离散。对群 $V$、$K$、$D$ 分别已知对偶自等价，而三者通过正合列拼起来、对偶把正合列翻成正合列（箭向反转），五引理把中间的求值映射夹成同构 ✓。
• 自伴随：配对 $M\times\widehat M \to \mathbb{T}$（取值）给出伴随 $\operatorname{Hom}(\widehat M, N) \cong \operatorname{Hom}(M, \widehat N)$，把 $M$ 换成 $\widehat M$ 再用两次自等价即得 ✓。∎

标准出处：Morris, Pontryagin Duality and the Structure of Locally Compact Abelian Groups。