[论文解读] Highly faithful actions and dense free subgroups in full groups

François Le Maı̂tre|arXiv (Cornell University)|Sep 11, 2015

Advanced Operator Algebra Research参考文献 13被引用 3

一句话总结

本文構造了自由群 𝔽ₘ（m 個生成元）在幾乎所有軌道上具有高度忠實性且可約的動作，其誘導出的保測度遍歷等價關係的代價小於 m。透過明確構造全群的拓撲生成元並加以扭轉以確保高度非自由性，作者證明了此類全群包含在 m 個生成元下的稠密自由子群，以一種構造性、顯式的方法強化了 Bowen 的 Baire 稱類結果。

ABSTRACT

In this paper, we show that every measure-preserving ergodic equivalence relation of cost less than m comes from a "rich" faithful invariant random subgroup of the free group on m generators, strengthening a result of Bowen which had been obtained by a Baire category argument. Our proof is completely explicit: we use our previous construction of topological generators for full groups and observe that these generators induce a totally non free action. We then twist this construction so that the action is moreover amenable onto almost every orbit and highly faithful.

研究动机与目标

• 透過為 𝔽ₘ 在代價小於 m 的等價關係上的作用提供一個顯式、構造性的證明，以加強 Bowen 對忠實不變隨機子群的 Baire 稱類結果。
• 透過引入「高度忠實性」的概念來分類 𝔽ₘ 的非自由作用——這是一種超越可約性或傳遞性的非自由性的加強。
• 證明遍歷、保測度的等價關係（代價小於 m）的全群包含在 m 個生成元下的稠密自由子群。
• 透過顯式組合與群論扭轉，建立全群中拓撲生成與高度忠實作用之間的聯繫。

提出的方法

• 使用部分同構與循環分解，為超有限等價關係的全群構造修改後的拓撲生成元。
• 利用固定的部分同構 ψ 應用扭轉程序，以修改標準生成元，使所得作用成為高度忠實的。
• 利用 𝔽ₘ 對奇質數 q 是殘餘 q-有限的事實，構造在有限集上的漸近自由作用，並隨後嵌入全群。
• 利用全群的閉包性質與等價關係的併集結構，證明所生成的群在全群中是稠密的。
• 利用不相交支撐與特定循環結構的事實，使某些乘積的閉包能生成關鍵元素如 U 和 C_{Φ̃ᵢ}。
• 應用定理 4.5，於子集 A 上誘導出新的 𝔽ₘ 作用，其軌道有限，確保高度忠實性與幾乎所有軌道上的可約性。

实验结果

研究问题

• RQ1 能否構造出 𝔽ₘ 在代價小於 m 的保測度等價關係上的顯式、高度忠實作用，超越 Baire 稱類論證所保證的存在性？
• RQ2 非自由性在 𝔽ₘ 作用中可被加強到何種程度，以用於分類低代價等價關係？
• RQ3 代價小於 m 的遍歷等價關係的全群是否包含在 m 個生成元下的稠密自由子群？若是，該子群如何顯式實現？
• RQ4 能否在單一 𝔽ₘ 作用中結合幾乎所有軌道上的可約性與高度忠實性？
• RQ5 如何修改全群的拓撲生成元，以確保高度忠實性與全群中的稠密性？

主要发现

• 每一個代價小於 m 的保測度遍歷等價關係，皆可由自由群 𝔽ₘ（m 個生成元）的高度忠實作用所誘導。
• 此類等價關係的全群包含在 m 個生成元下的稠密自由子群，且該子群為顯式構造。
• 所構造的作用在幾乎所有軌道上是可約的，即每一軌道的群作用均為可約，是一種強烈的非自由形式。
• 該作用為高度忠實，即自由積 ℤ * 𝔽ₘ 在某個共零測集上作用忠實，確保強烈的非自由性。
• 證明完全為顯式且構造性，避免了先前結果中使用的 Baire 稱類論證。
• 該方法利用有限階置換與循環結構，確保某些乘積的閉包能生成全群。