[論文レビュー] 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 個の生成元による稠密な自由部分群を含むことを証明した。これは、ボーウェンのベールカテゴリ一様結果を、構成的で明示的な方法によって強化したものである。

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 より小さい同値関係に対する 𝔽ₘ の作用について、ボーウェンの不変確率的部分群に関するベールカテゴリ一様結果を、明示的かつ構成的証明によって強化すること。
• 非自由作用を分類するための新しい概念「高忠実性（high faithfulness）」を導入し、可解性や推移性をはるかに超える非自由性の強化を図ること。
• コスト m より小さいエルゴディックで測度を保つ同値関係の全群が、m 個の生成元による稠密な自由部分群を含むことを示すこと。
• 明示的な組合せ論的および群論的ねじり操作を通じて、全群の位相的生成と高忠実性作用の存在との間に接続を確立すること。

提案手法

• 部分的同型と巡回分解を用いて、超有限同値関係の全群の修正された位相的生成子を構成する。
• 固定された部分的同型 ψ を用いたねじり操作を適用し、標準的生成子を変更することで、結果として得られる作用が高忠実性を満たすようにする。
• 𝔽ₘ が奇素数 q について漸近的に自由な有限群に射影可能（residually q-finite）であることを利用し、有限集合への漸近的自由作用を構築し、それを全群に埋め込む。
• 全群の閉包性質と同値関係の結合構造を用いて、生成された群が全群において稠密であることを示す。
• 互いに交わらない台と特定の巡回構造が、U や C_{Φ̃ᵢ} のような重要な要素の閉包を生成できることを活用する。
• 定理 4.5 を適用し、有限軌道を持つ部分集合 A に新たな 𝔽ₘ 作用を誘導することで、高忠実性とほぼすべての軌道に沿った可解性を保証する。

実験結果

リサーチクエスチョン

• RQ1 ベールカテゴリ論的議論によって保証される存在性を超えて、コスト m より小さい測度を保つ同値関係に対する 𝔽ₘ の明示的で高忠実な作用を構成できるか？
• RQ2 コストの低い同値関係を分類するために、𝔽ₘ の作用の非自由性はどの程度まで強化可能か？
• RQ3 コスト m より小さいエルゴディックな同値関係の全群に、m 個の生成元による稠密な自由部分群が含まれるか？ もし含まれるならば、その部分群はどのように明示的に実現できるか？
• RQ4 ほぼすべての軌道に沿った可解性と高忠実性を、1 つの 𝔽ₘ の作用で同時に実現できるか？
• RQ5 全群の位相的生成子をどのように変更すれば、高忠実性と全群における稠密性の両方を保証できるか？

主な発見

• コスト m より小さい測度を保つエルゴディックな同値関係は、すべて m 個の生成元をもつ自由群 𝔽ₘ の高忠実な作用から生じる。
• このような同値関係の全群には、m 個の生成元による稠密な自由部分群が含まれており、それが明示的に構成されている。
• 構築された作用は、ほとんどすべての軌道に沿って可解的である。つまり、各軌道における群作用が可解的であり、強い非自由性の形式である。
• 作用は高忠実性である。これは、自由積 ℤ * 𝔽ₘ がコヌル集合上で忠実に作用することを意味し、強い非自由性を保証する。
• 証明は完全に明示的かつ構成的であり、以前の結果で用いられたベールカテゴリ論的議論を避けており、明確な構成手順を提供する。
• 有限位数の置換と巡回構造を用いることで、特定の積の閉包が全群を生成することを保証している。