[论文解读] Non-productive duality properties of topological groups

Masasi Higasikawa|ArXiv.org|Jun 13, 2001

Advanced Topology and Set Theory参考文献 10被引用 5

一句话总结

本文反驳了 N. Noble 关于对偶性质 X(1) 和 X(2)——即'每个闭子群都是对偶闭的'与'每个闭子群都是对偶嵌入的'——在拓扑群的任意积下保持不变的主张。作者通过在整数加法群上赋予使 $2^n$ 和 $3^n$ 趋于 0 的拓扑，构造了一个反例：尽管每个因子都满足这两个性质，但其积却不满足任一性质，该结论依赖于指数丢番图方程的有限性结果，以证明对角线是闭且离散的。

ABSTRACT

We address two properties for Abelian topological groups: ``every closed subgroup is dually closed'' and ``every closed subgroup is dually embedded.'' We exhibit a pair of topological groups such that each has both of the properties and the product has neither, which refutes a remark of N. Noble. These examples are the additive group of integers topologized with respect to a convergent sequence as investigated by E.G. Zelenyuk and I.V. Protasov. The proof for the product relies on a theorem on exponential Diophantine equations.

研究动机与目标

• 挑战 N. Noble 广泛引用但错误的断言，即对偶性质 X(1) 和 X(2) 在拓扑群的任意积下保持不变。
• 构造显式反例，其中两个拓扑群各自满足 X(1) 和 X(2)，但它们的积不满足。
• 证明 $\mathbb{Z}\{2^n\} \times \mathbb{Z}\{3^n\}$ 的对角子群是闭且离散的，这是对偶性质失效的关键步骤。
• 应用指数丢番图方程的结果，证明产品群拓扑结构所必需的有限性条件。
• 通过从 $S$-单位方程导出的精心构造的范数族，将反例扩展到度量空间。

提出的方法

• 将 $\mathbb{Z}\{p^n\}$ 定义为整数加法群，赋予使其满足 $p^n \to 0$ 的最强群拓扑，利用连续同态的普遍性质。
• 使用 Zelenyuk 和 Protasov 对 $\mathbb{Z}\{p^n\}$ 的闭子群和特征的刻画，验证每个因子均满足 X(1) 和 X(2)。
• 应用 $S$-单位方程的有限性定理（Siegel 定理的特例），证明在非零子和条件下，整数表示为 $\pm p^{m_i}$ 和 $\pm q^{n_j}$ 之和的表示方式仅有有限多种。
• 利用定义在 $\{p^n\}$ 上的非增函数 $\delta$，在 $\mathbb{Z}$ 上构造范数 $||\cdot||_\delta$，定义出介于 $p$-进拓扑与最强拓扑之间的度量拓扑。
• 基于最小的 $s$ 使得 $p^n \in F(p,q,s)$，定义 $\delta(p^n)$ 和 $\epsilon(q^n)$，确保对所有具有混合表示的非零 $u$，有 $||u||_\delta \geq 1$ 且 $||u||_\epsilon \geq 1$。
• 通过证明不存在非零 $u$ 同时满足 $||u||_\delta < 1$ 和 $||u||_\epsilon < 1$，证明 $\mathbb{Z}_\delta \times \mathbb{Z}_\epsilon$ 中的对角线是离散的，该证明依赖于 $S$-单位解的有限性。

实验结果

研究问题

• RQ1 性质'每个闭子群都是对偶闭的'（X(1)）在拓扑群的任意积下是否保持不变？
• RQ2 性质'每个闭子群都是对偶嵌入的'（X(2)）在拓扑群的任意积下是否保持不变？
• RQ3 即使因子是阿贝尔群且豪斯多夫空间，两个满足 X(1) 和 X(2) 的拓扑群的积是否仍可能不满足任一性质？
• RQ4 指数丢番图方程在确定此类群的积的拓扑结构中起什么作用？
• RQ5 能否构造一个度量化的反例，以证明对偶性质的不保持性？

主要发现

• 积 $\mathbb{Z}\{2^n\} \times \mathbb{Z}\{3^n\}$ 不满足 X(1) 和 X(2)，尽管两个因子均满足，因此反驳了 Noble 的主张。
• 对角子群 $\Delta = \{\langle u,u \rangle : u \in \mathbb{Z}\}$ 在 $\mathbb{Z}\{2^n\} \times \mathbb{Z}\{3^n\}$ 中是闭且离散的，这是证明对偶性质失效的关键步骤。
• 证明依赖于 $S$-单位方程的有限性结果：在非零子和条件下，方程 $\sum e_i p^{m_i} = \sum f_j q^{n_j}$ 仅有有限多个解。
• 在度量构造中，对所有具有混合表示的非零 $u$，有 $||u||_\delta \geq 1$ 且 $||u||_\epsilon \geq 1$，确保 $\mathbb{Z}_\delta \times \mathbb{Z}_\epsilon$ 中的对角线是离散的。
• 反例可扩展至度量空间：当 $\delta$ 和 $\epsilon$ 足够缓慢递减时，$\mathbb{Z}_\delta \times \mathbb{Z}_\epsilon$ 同样不满足 X(1) 和 X(2)。
• $\mathbb{Z}\{p^n\}$ 不是弗雷歇-乌瑞森空间，也不是度量空间，但度量版本 $\mathbb{Z}_\delta$ 保留了与 $\mathbb{Z}\{p^n\}$ 相同的闭子群和特征。