[论文解读] On topological properties of the formal power series substitution group

Ivan Babenko, S. Bogatyi|arXiv (Cornell University)|Dec 9, 2009

Advanced Topics in Algebra被引用 4

一句话总结

本文研究了拓扑环 k 上形式幂级数代换群 𝒥(k) 的拓扑性质，重点关注其嵌入局部紧致群的可能性。证明了 𝒥(ℚ) 无法连续单射地嵌入任何局部紧致群，而 𝒥(ℤ) 虽然存在连续单射进入紧致群，却无法嵌入任何局部紧致群。主要贡献在于确立了 𝒥(ℚ) 的不可压缩性与 𝒥(ℤ) 在局部紧致设定下的不可嵌入性，同时通过 Erdös 空间构造出一个一维可压缩群。

ABSTRACT

Certain topological properties of the group $\J(\k)$ of all formal one-variable power series with coefficients in a topological unitary ring $\k$ are considered. We show, in particular, that in the case when $\k=\Q$ the group $\J(\Q)$ has no continuous bijections into a locally compact group. In the case when $\k=\Z$ supplied with discrete topology, in spite of the fact that the group $\J(\Z)$ has continuous bijections into compact groups, it cannot be embedded into a locally compact group. In the final part of the paper the compression property for topological groups is considered. We establish the compressibility of $\J(\Z)$.

研究动机与目标

• 分析拓扑环 k 上形式幂级数代换群 𝒥(k) 的拓扑结构。
• 确定 𝒥(k) 是否能连续嵌入局部紧致群，特别是当 k = ℚ 和 k = ℤ 时。
• 研究 𝒥(k) 到紧致或局部紧致群是否存在连续双射。
• 定义并研究拓扑群中‘压缩’的概念，尤其在 𝒥(k) 的背景下。
• 通过 Erdös 空间作为基环，构造一个一维、可分、度量化的可压缩拓扑群的实例。

提出的方法

• 通过由 n 阶喷射映射的核 𝒥ₙ(k) 诱导的逆极限拓扑赋予 𝒥(k) 拓扑，构成单位元的邻域基。
• 利用逆极限结构分析 𝒥(k) 的拓扑性质，特别是其局部紧致性与剩余有限性。
• 通过系数缩放构造连续群同态（压缩）Θₛ: 𝒥(k) → 𝒥(k)，定义为 Θₛ(f)(x) = f(sx)，其中 s ∈ k×。
• 利用 ℚ 在 ℝ 中的稠密性与拓扑刚性，证明当 k = ℚ 时，不存在进入局部紧致群的连续双射。
• 证明 𝒥(ℤ) 虽然存在进入紧致群（如 𝒥(ℤₚ)）的连续双射，但无法嵌入任何局部紧致拓扑群。
• 构造一个一维拓扑环 E（Erdös 空间），作为 ℚ-代数，并证明 𝒥(E) 是可分、度量化、可压缩的群。

实验结果

研究问题

• RQ1 群 𝒥(ℚ) 是否能连续嵌入局部紧致拓扑群？
• RQ2 尽管 𝒥(ℤ) 是剩余有限群且可被有限 p-群逼近，它是否仍能通过连续群单同态嵌入局部紧致群？
• RQ3 在基环 k 满足何种条件时，𝒥(k) 能够存在自同态的连续压缩（具有稠密像的自同态）？
• RQ4 是否存在一个一维、可分、度量化的拓扑群，同构于某个拓扑环 k 的 𝒥(k)？
• RQ5 当基环 k 包含 ℚ 时，相较于离散环如 ℤ，𝒥(k) 的拓扑性质如何变化？

主要发现

• 无论 ℚ 上赋予何种拓扑，群 𝒥(ℚ) 都无法连续单射地嵌入任何局部紧致群。
• 尽管 𝒥(ℤ) 存在进入紧致群（如 𝒥(ℤₚ)）的连续双射，但无法嵌入任何局部紧致拓扑群。
• 对于任意包含 ℚ 的拓扑环 k，群 𝒥(k) 都不存在进入局部紧致群的连续双射。
• 群 𝒥(ℤ) 是剩余有限群，且对每个素数 p 都可被有限 p-群逼近，这表明其存在进入紧致群（如 𝒥(ℤₚ)）的连续双射。
• 通过 Erdös 空间 E 赋予特定 ℚ-代数结构，构造出一个一维、可分、度量化、可压缩的拓扑群 𝒥(E)。
• 群 𝒥(k) 上的压缩自同态 Θₛ 定义为变量缩放 x ↦ sx，当 k = ℚ 时，该映射在相应李代数上诱导出一个通用压缩，即 θₛ*(eₙ) = (1/s)e_{sn}。