[論文レビュー] A geometric solution to the von Neumann-Day problem for finitely presented groups

Yash Lodha, Justin Tatch Moore|arXiv (Cornell University)|Aug 20, 2013

Geometric and Algebraic Topology参考文献 8被引用数 2

ひとこと要約

この論文は、実数直線 R 上の片流れ射影的ホメオモルフィズムのモノド群の内部に部分群を構成することにより、有限生成でねじれがなく、非可換自由部分群を含まない非可換群を提示する。ラベル付き木図式を、トマソン群 F のものに類似させることで、著者たちはバーナウ・ネイマン＝デイ問題に対して幾何的解法を提供し、有限生成かつねじれのない最初の例をもたらす。

ABSTRACT

In this article we will describe a finitely presented subgroup of Monod's group of piecewise projective homeomorphisms of R. This in particular provides a new example of a finitely presented group which is nonamenable and yet does not contain a nonabelian free subgroup. It is in fact the first such example which is torsion free. We will also develop a means for representing the elements of the group by labeled tree diagrams in a manner which closely parallels Richard Thompson's group F.

研究の動機と目的

• 有限生成で非可換自由部分群を含まない非可換群を構成することで、バーナウ・ネイマン＝デイ問題を解決すること。
• ねじれのない性質を満たす、このような群の最初の例を提供することで、幾何的群論における主要な未解決問題に応えること。
• トマソン群 F の構造を模倣するラベル付き木図式を用いて、群の元の表現を確立すること。
• モノドの実数直線 R 上の片流れ射影的ホメオモルフィズム群が、所望の性質を備えた有限生成部分群を含むことを示すこと。
• 組合せ的および力学的手段を用いて、非可換で自由部分群を含まない群を理解するための幾何的枠組みを確立すること。

提案手法

• 実数直線 R 上の片流れ射影的ホメオモルフィズムのモノド群の内部に、有限生成部分群を構成すること。
• トマソン群 F で用いられる組合せ的枠組みを拡張し、ラベル付き木図式を用いて群の元を表現すること。
• 片流れ射影的変換を用いて群演算を定義し、有限生成性を保証すること。
• 片流れ射影的写像の幾何的および力学的性質を活用して、非可換性を確立すること。
• 幾何的群論の技術を応用して、非可換自由部分群の存在を検証すること。
• ラベル付き木図式の表現を用いて群の構造を分析し、計算を容易にすること。

実験結果

リサーチクエスチョン

• RQ1 有限生成でねじれがなく、非可換自由部分群を含まない非可換群を明示的に構成できるか？
• RQ2 モノドの実数直線 R 上の片流れ射影的ホメオモルフィズム群は、このような部分群を含むか？
• RQ3 トマソン群 F の構造を一般化して、この新しい群の元をラベル付き木図式で表現できるか？
• RQ4 どのような幾何的および代数的性質が、自由部分群を含まずに非可換性を保証するか？
• RQ5 ラベル付き木図式は、有限生成設定における片流れ射影的変換をどのようにモデル化できるか？

主な発見

• 構成された群は有限生成かつねじれがなく、非可換群の分類における長年の空白を解消する。
• 群は非可換であるが、非可換自由部分群を含まず、バーナウ・ネイマン＝デイ問題に対する新たな解決策を提供する。
• 群はモノドの実数直線 R 上の片流れ射影的ホメオモルフィズム群の部分群として埋め込まれる。
• トマソン群 F の構造に類似したラベル付き木図式の表現が開発され、群の元の分析が効果的に行えるようになる。
• 片流れ射影的写像による幾何的構成により、有限生成性が保証され、群の元の明示的計算が可能になる。
• 新しい表現システムを通じて、組合せ的群論と幾何的群論の間の新しい橋渡しを確立する。