[论文解读] Minimality in topological groups and Heisenberg type groups

Menachem Shlossberg|ArXiv.org|Jun 14, 2007

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

一句话总结

本文通过使用强极小双加法映射，将经典实Heisenberg群中的极小性结果推广到更一般的代数结构，涵盖阿基米德绝对值的除环（如实数、四元数和八元数）上的海森堡型群。研究证明了在广义Heisenberg群中，某些上单三角矩阵子群是相对极小的，从而将此前仅针对ℝ的结果推广至非结合环和更高维情形。

ABSTRACT

We study relatively minimal subgroups in topological groups. We find, in particular, some natural relatively minimal subgroups in unipotent groups which are defined over "good" rings. By "good" rings we mean archimedean absolute valued (not necessarily associative) division rings. Some of the classical rings which we consider besides the field of reals are the ring of quaternions and the ring of octonions. This way we generalize in part a previous result which was obtained by Dikranjan and Megrelishvili and involved the Heisenberg group.

研究动机与目标

• 将拓扑群中相对极小性的结果从经典实Heisenberg群推广至更一般的代数结构。
• 研究在阿基米德绝对值（未必结合）除环上定义的单群中子群的极小性。
• 将Dikranjan与Megrelishvili在经典Heisenberg群上的结果推广至四元数和八元数等非结合环。
• 建立在何种条件下，此类环上上单三角矩阵子群在全群中是相对极小的。
• 探讨强极小双加法映射与广义Heisenberg群拓扑结构之间的相互作用。

提出的方法

• 通过连续、分离的双加法映射 $ w: E \times F \to A $ 构造广义Heisenberg群，形成半直积 $ H(w) = (A \times E) \ltimes F $。
• 应用双加法映射强极小性的概念，确保群上较粗的拓扑不会改变子群上的相对拓扑。
• 通过矩阵群结构运用归纳约化技术，特别关注除环 $ F $ 上的上单三角矩阵子群 $ G^{n+2}_{ij}(F) $。
• 利用直除环的性质——标量乘法是同胚——以确保极小性证明中的拓扑相容性。
• 使用引理3.8，通过包含关系和商拓扑保持性，将较大群中子群的极小性传递至更小的子群。
• 将定理2.4在赋范空间中的结果应用于 $ F = \mathbb{R} $ 的情形，再通过乘法映射的强极小性推广至其他域和环。

实验结果

研究问题

• RQ1 在非结合除环上的一般化设定中，经典实Heisenberg群的标准子群是否仍为相对极小？
• RQ2 赋范空间上内积映射的强极小性能否推广至非阿基米德和非结合环（如四元数和八元数）？
• RQ3 当 $ F $ 是具有非阿基米德绝对值的除环时，乘法映射 $ w: F \times F \to F $ 在何种条件下是强极小的？
• RQ4 对于所有阿基米德绝对值的除环（包括 $ \mathbb{H} $ 和 $ \mathbb{O} $），上单三角矩阵子群在 $ U_{n+2}(F) $ 中的相对极小性是否成立？
• RQ5 SL_n(\mathbb{R}) 的极小性是否足以推出其子群在 $ U_n(\mathbb{R}) $ 中的相对极小性，还是需要不同的拓扑机制？

主要发现

• 在 $ \mathbb{R} $ 上的 $ (2n+1) $ 维经典Heisenberg群中，子群 $ \left\{ \begin{pmatrix} 1 & a & 0 \\ 0 & I_n & 0 \\ 0 & 0 & 1 \end{pmatrix} \right\} $ 和 $ \left\{ \begin{pmatrix} 1 & 0 & 0 \\ 0 & 1 & b \\ 0 & 0 & 1 \end{pmatrix} \right\} $ 是相对极小的，推广了早期结果。
• 对于任意阿基米德绝对值的除环 $ F $（包括 $ \mathbb{R}, \mathbb{H}, \mathbb{O} $），上单三角矩阵子群 $ G^{n+2}_{ij}(F) $ 在 $ U_{n+2}(F) $ 中是相对极小的，扩展了经典情形。
• 当 $ F $ 是带有阿基米德绝对值的单位化Hausdorff拓扑除环时，乘法映射 $ w: F \times F \to F $ 是强极小的，这意味着 $ F $ 作为拓扑模和环都是极小的。
• 当 $ F = \mathbb{R} $ 时，子群 $ G^{n+2}_{ij}(\mathbb{R}) $ 在 $ SL_{n+2}(\mathbb{R}) $ 和 $ GL_{n+2}(\mathbb{R}) $ 中是相对极小的，但这并非源于 $ SL_{n+2}(\mathbb{R}) $ 的极小性，因为 $ U_{n+2}(\mathbb{R}) \subset SL_{n+2}(\mathbb{R}) $。
• 对于拓扑环，蕴含链 $ (1) \Rightarrow (2) \Rightarrow (3) \Rightarrow (4) $ 成立：群的极小性蕴含乘法的强极小性，进而蕴含作为模和环的极小性。
• 尽管 $ \mathbb{Q}_p $ 是直除环，但 $ p $-进乘法映射 $ w: \mathbb{Q}_p \times \mathbb{Q}_p \to \mathbb{Q}_p $ 是否为强极小仍为开放问题。