[論文レビュー] Topological groups: where to from here?

Vladimir Pestov|arXiv (Cornell University)|Oct 27, 1999

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

ひとこと要約

この論文は、特にコンパクトな空間の同相群や等長群のような「巨大」な群を含む、局所コンパクトでない群を中心とした、トポロジカル群論における新しい方向性を提唱している。自由トポロジカル G-群の概念を導入し、群のエピモルフィズムを特徴付ける。また、区間 𝕀 に対する自由トポロジカル Homeo(𝕀)-群が自明であることを示し、これにより Uspenskij の定理（Homeo(𝕀) の極端なアーメニティ）の新たなトポロジカルな証明が得られる。

ABSTRACT

This is an account of one man's view of the current perspective of theory of topological groups. We survey some recent developments which are, from our viewpoint, indicative of the future directions, concentrating on actions of topological groups on compacta, embeddings of topological groups, free topological groups, and `massive' groups (such as groups of homeomorphisms of compacta and groups of isometries of various metric spaces).

研究の動機と目的

• 局所コンパクト群から、局所コンパクトでない「巨大」なトポロジカル群へと注目を移すことで、深く独立した理論的枠組みを構築すること。
• エピモルフィズムの解析に用いるツールとしての、自由トポロジカル G-群の構造と性質を調査すること。
• 同次空間上の自由トポロジカル G-群の自明性を用いて、エピモルフィズムのトポロジカルな特徴付けを確立すること。
• 自由トポロジカル G-群を用いて、Homeo(𝕀) の極端なアーメニティに関する Uspenskij の定理の新たな証明を提供すること。
• 非局所コンパクトな文脈における、トポロジカルダイナミクス、埋め込み理論、および自由群構成の概念を統合・一般化すること。

提案手法

• G-群の概念を導入：別のトポロジカル群 G による自己同型による連続作用を備えたトポロジカル群。
• G-空間 X に対する自由トポロジカル G-群 $ F_G(X) $ を、X から任意の G-群への連続 G--equivariant 写像を受容する普遍的対象として定義。
• この $ F_G(X) $ の普遍性を用いてエピモルフィズムを特徴付ける：群の準同型 $ f: H \to G $ が、カテゴリカルな意味でエピモルフィズムであるための必要十分条件は、$ F_G(G / \overline{f(H)}) $ が自明であること。
• この基準を区間 $ \mathbb{I} $ における $ \mathrm{Homeo}(\mathbb{I}) $ の作用に適用し、$ F_{\mathrm{Homeo}(\mathbb{I})}(\mathbb{I}) $ が自明であることを証明。
• Megrelishvili の結果（$ F_{\mathrm{Homeo}(\mathbb{I})}(\mathbb{I}) $ の自明性）を活用し、安定化部分群の埋め込みがエピモルフィズムであることを導出。
• 補題 4.3.4 を用いて、$ F_G(X) $ の自明性と安定化部分群のエピモルフィックな埋め込みとの関係を結びつけ、Uspenskij の定理のトポロジカルな証明を導出。

実験結果

リサーチクエスチョン

• RQ1 局所コンパクトでないトポロジカル群の理論は、局所コンパクト群論と同等の深さに達することができるか？
• RQ2 連続な準同型 $ f: H \to G $ が、圏論的意味でエピモルフィズムであるための条件は何か？
• RQ3 自由トポロジカル G-群は、トポロジカル群圏におけるエピモルフィズムの特徴付けにどのように用いることができるか？
• RQ4 区間 $ \mathbb{I} $ に対する自由トポロジカル $ \mathrm{Homeo}(\mathbb{I}) $-群は自明であるか？ その自明性は $ \mathrm{Homeo}(\mathbb{I}) $ の構造にどのような意味を持つのか？
• RQ5 自由 G-群の群論的およびトポロジカルな性質から、$ \mathrm{Homeo}(\mathbb{I}) $ の極端なアーメニティを導くことは可能か？

主な発見

• Megrelishvili の結果により、区間 $ \mathbb{I} $ に対する自由トポロジカル $ \mathrm{Homeo}(\mathbb{I}) $-群は自明である。
• Hausdorff なトポロジカル群の圏において、連続な準同型 $ f: H \to G $ がエピモルフィズムであるための必要十分条件は、$ G $-空間 $ G / \overline{f(H)} $ に対する自由トポロジカル $ G $-群が自明であることである。
• 安定化部分群 $ \mathrm{St}_x $ から $ G $ への標準的埋め込みがエピモルフィズムであるための必要十分条件は、同次空間 $ X = G / \mathrm{St}_x $ に対する自由トポロジカル $ G $-群が自明であることである。
• $ F_{\mathrm{Homeo}(\mathbb{I})}(\mathbb{I}) $ の自明性は、$ \mathrm{Homeo}(\mathbb{I}) $ が極端にアーメニタリーであることを示し、Uspenskij の定理の新たなトポロジカル証明が得られる。
• 自由トポロジカル G-群の構成は、非局所コンパクトな文脈におけるエピモルフィズムおよび作用の解析のための、圏論的かつトポロジカルな枠組みを提供する。
• 測度論的道具を用いる必要を避け、普遍性と群作用の連続性に依拠することで、トポロジカルダイナミクス分野における結果への新たな道筋を提供した。