[論文レビュー] Minimality in topological groups and Heisenberg type groups

Menachem Shlossberg|ArXiv.org|Jun 14, 2007

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

ひとこと要約

この論文は、アーベルの絶対値を持つ除法環（実数、四元数、オクタニオンを含む）上でのヘイゼンベルク型群における部分群の相対的最小性に関する結果を一般化し、強最小性を持つ双加法的写像を用いて、その一般化を達成している。上部ユニトリangular行列部分群が一般化ヘイゼンベルク群において相対的に最小であることを証明しており、従来のℝ上での結果を非可換環および高次元へと拡張している。

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.

研究の動機と目的

• 従来の実ヘイゼンベルク群に限らない、位相群における相対的最小性の結果を、より一般の代数的構造へと拡張すること。
• アーベルの絶対値を持つ（可換でない可能性がある）除法環上に定義されたユニポテンツ群における部分群の最小性を調査すること。
• DikranjanとMegrelishviliによる古典的ヘイゼンベルク群に関する先行結果を、四元数やオクタニオンのような非可換環へ一般化すること。
• このような環上の上部ユニトリangular行列部分群が、全体の群に対して相対的に最小であるための条件を確立すること。
• 強最小性を持つ双加法的写像と一般化ヘイゼンベルク群の位相的構造との相関関係を調査すること。

提案手法

• 連続的かつ分離可能な双加法的写像 $ w: E \times F \to A $ を用いた一般化ヘイゼンベルク群の構成法により、半直積 $ H(w) = (A \times E) \ltimes F $ を形成する。
• 群における部分群の相対位相が変化しないように保証するため、双加法的写像の強最小性の概念を適用する。
• 特に除法環 $ F $ 上の上部ユニトリangular行列の部分群 $ G^{n+2}_{ij}(F) $ に注目し、行列群の構造を通じた帰納的還元技法を用いる。
• スカラー乗法が同相写像である「ストレート除法環」の性質を活用し、最小性の証明における位相的整合性を保証する。
• 包含関係と商位相の保存性を用いて、Lemma 3.8 を用いて、大きな群の部分群からの最小性を、より小さな群の部分群へと移す。
• 定理 2.4 をノルム空間のケースに適用し、$ F = \mathbb{R} $ の場合に適用した後、乗法写像の強最小性を用いて他の体や環へ一般化する。

実験結果

リサーチクエスチョン

• RQ1 古典的実ヘイゼンベルク群の標準的部分群は、非可換除法環上での一般化された設定において相対的に最小であるか？
• RQ2 ノルム空間上での内積写像の強最小性は、非アーベル的かつ非可換環（四元数、オクタニオンなど）へ拡張可能か？
• RQ3 除法環 $ F $ が非アーベルの絶対値を持つ場合、乗法写像 $ w: F \times F \to F $ が強最小であるための条件は何か？
• RQ4 すべてのアーベル絶対値を持つ除法環、特に $ \mathbb{H} $ や $ \mathbb{O} $ に対して、$ U_{n+2}(F) $ における上部ユニトリangular行列部分群の相対的最小性は成り立つか？
• RQ5 $ SL_n(\mathbb{R}) $ の最小性が、$ U_n(\mathbb{R}) $ 内のその部分群の相対的最小性を示唆するのに十分か、それとも別の位相的メカニズムが必要か？

主な発見

• 実数体 $ \mathbb{R} $ 上の $ (2n+1) $ 次元古典的ヘイゼンベルク群において、部分群 $ \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} $ を含む）に対して、上部ユニトリangular行列の部分群 $ G^{n+2}_{ij}(F) $ は $ U_{n+2}(F) $ において相対的に最小であり、古典的ケースを拡張している。
• 除法環 $ F $ が単位的でハウスドルフな位相的除法環であり、アーベル絶対値を持つ場合、乗法写像 $ 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) $ の含意鎖が成り立つ：群の最小性が乗法写像の強最小性を示し、それがモジュールおよび環としての最小性を示す。
• $ p $-進数体 $ \mathbb{Q}_p $ 上の乗法写像 $ w: \mathbb{Q}_p \times \mathbb{Q}_p \to \mathbb{Q}_p $ が強最小であるかどうかは、未解決のままである。