[論文レビュー] Metric approximations of unrestricted wreath products when the acting group is amenable

Javier Brude, Román Sasyk|arXiv (Cornell University)|Apr 13, 2020

Advanced Operator Algebra Research参考文献 20被引用数 4

ひとこと要約

この論文は、可解群による無制限ワレイの積が、弱いソフィック性、ソフィック性、線形ソフィック性、またはハイパーライニアリティという4つのメトリック近似クラスのいずれかを満たす群に対して、それらのクラスに属し続けることを、一元的で直接的な証明により提示する。抽象的なメトリック近似と、群の単準同型による制御されたメトリック歪みを活用することで、商が可解群である群の拡大が、これらの4つの性質を保つことを確立し、従来の間接的証明に依存しない自己完結的な代替手法を提供する。

ABSTRACT

We give a simple and unified proof showing that the unrestricted wreath product of a weakly sofic, sofic, linear sofic, or hyperlinear group by an amenable group is weakly sofic, sofic, linear sofic, or hyperlinear, respectively. By means of the Kaloujnine-Krasner theorem, this implies that group extensions with amenable quotients preserve the four aforementioned metric approximation properties. We also discuss the case of co-amenable groups.

研究の動機と目的

• 弱いソフィック性、ソフィック性、線形ソフィック性、ハイパーライニアリティという4つのメトリック近似性質のいずれかを満たす群と、可解群との無制限ワレイ積が、その性質を保つことの直接的で一元的な証明を提供すること。
• 拡張定理に依存することを避け、無制限ワレイ積に対して直接的にメトリック近似を構成すること。
• 置換ワレイ積の技法を用いて、結果をコ・可解部分群へ一般化すること。
• カルーリニン＝クラスナーの定理がコ・可解の場合に不十分であることを示し、新たなアプローチの必要性を示すこと。

提案手法

• 抽象的メトリック近似を用い、双不変距離を備えた群の近似の体系的枠組みを定義する。
• G の近似の局所的構成に依存せず、G から補助的メトリック群への写像を直接構成することで、∏H G のメトリック近似を構築する。
• 補助的メトリック群から、4つの近似性質を定義するクラスへの明示的な群の単準同型を用いて、制御されたメトリック歪みを実現する。
• 重要な構成として、有限集合 B 上での置換作用 σ を定義し、ハミング距離の誤差バウンドを制御する。
• G が G/H に左正則作用を施すことを用い、単準同型 Φ: G → K ≀B Sym(B) を定義するための切断 τ: G/H → G を構成する。
• 対称差集合のバウンドと制御された誤差伝搬を用いて、(F, ε, d)-乗法的および (F, ε, d)-自由性を確立する。

実験結果

リサーチクエスチョン

• RQ1 可解群を作用群とする無制限ワレイ積において、弱いソフィック性、ソフィック性、線形ソフィック性、ハイパーライニアリティの性質が保たれる直接的で一元的な証明は可能か？
• RQ2 従来の技法がなぜ弱いソフィック性の場合に機能しないのか、そして新たな方法がこれを克服できるか？
• RQ3 カルーリニン＝クラスナーの定理は、コ・可解部分群への拡張定理を一般化するために十分か？
• RQ4 G の局所的近似に依存せずに、∏H G に対して直接的にメトリック近似を構成できるか？
• RQ5 制御されたメトリック歪みは、群の拡大における近似性質の保存にどのような役割を果たすか？

主な発見

• 弱いソフィック群と可解群との無制限ワレイ積は弱いソフィック性を有する。
• ソフィック群と可解群との無制限ワレイ積はソフィック性を有する。
• 線形ソフィック群と可解群との無制限ワレイ積は線形ソフィック性を有する。
• ハイパーライニアリティ群と可解群との無制限ワレイ積はハイパーライニアリティを有する。
• G/H に可解作用があるコ・可解部分群 H について、拡張定理が成り立つ。これは商の場合の一般化である。
• 証明は、特に弱いソフィック性の場合に、従来の拡張定理に依存しない自己完結的で一元的な枠組みを提供する。