[论文解读] 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

一句话总结

本文通過在莫納德的實數軸 ℝ 上的分段射影同胚群中構造一個子群，提出了一個有限表示、無扭、非阿貝爾的群，且不包含非阿貝爾自由子群。利用類似湯普森群 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 的結構。
• 證明莫納德的實數軸 ℝ 上分段射影同胚群包含具有所需性質的有限表示子群。
• 建立一個幾何框架，透過組合與動力方法理解非可乘且無自由子群的群。

提出的方法

• 在莫納德的實直線 ℝ 上的分段射影同胚群中構造一個有限表示子群。
• 使用標記樹圖表示群元素，延伸湯普森群 F 中使用的組合框架。
• 利用分段射影變換定義群運算，確保有限表示性。
• 利用分段射影映射的幾何與動力性質來建立非可乘性。
• 應用幾何群論技術以驗證不存在非阿貝爾自由子群。
• 利用標記樹圖表示來分析群結構並促進計算。

实验结果

研究问题

• RQ1 能否明確構造出一個有限表示、無扭、非可乘但不包含非阿貝爾自由子群的群？
• RQ2 莫納德的實數軸 ℝ 上分段射影同胚群是否包含此類子群？
• RQ3 湯普森群 F 的結構能否推廣，以透過標記樹圖表示此新群的元素？
• RQ4 哪些幾何與代數性質能確保非可乘性而不包含自由子群？
• RQ5 如何調整標記樹圖以在有限表示設定下模擬分段射影變換？

主要发现

• 所構造的群是有限表示且無扭的，解決了非可乘群分類中長期存在的缺口。
• 該群是非可乘的，但不包含任何非阿貝爾自由子群，為馮·諾伊曼-戴伊問題提供了新解法。
• 該群作為子群嵌入莫納德的實數軸 ℝ 上分段射影同胚群中。
• 發展了一種類似湯普森群 F 結構的標記樹圖表示，使群元素分析更為有效。
• 透過分段射影映射的幾何構造確保了有限表示性，並允許明確計算群元素。
• 該方法透過新的表示系統，在組合群論與幾何群論之間建立了新橋樑。