[論文レビュー] Properties of Linearly Sofic Groups

Abel Stolz|arXiv (Cornell University)|Sep 30, 2013

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

ひとこと要約

本稿では、任意の体上の行列を用いたランクに基づく距離を用いて群を近似する線形ソフィック群——ソフィック群やハイパーリニア群の一般化——を導入し、その性質を研究する。自由積が固定された体上の線形ソフィック群に対して閉じていることを証明し、古典的なソフィック群理論における主要な不変性性質を、より広い行列近似枠組みへと拡張する。

ABSTRACT

We consider (projectively) linearly sofic groups, i.e. groups which can be approximated using (projective) matrices over arbitrary fields, as a generalization of sofic groups. We generalize known results for sofic groups and groups which can be approximated with complex matrices, including the fact that free products of linearly sofic groups (using a fixed field) are linearly sofic.

研究の動機と目的

• 任意の体上の行列を用いた近似によってソフィック群理論を一般化し、線形ソフィック群を導入すること。
• ソフィック群の根本的な不変性性質（たとえば自由積における閉包性）が、このより広いクラスへと拡張されるかを調査すること。
• 群の近似における行列ランク距離の文脈で、基礎体の特性が果たす役割を明確にすること。
• 線形ソフィック性の文脈において、線形近似と射影的近似が同値であることを確立すること。

提案手法

• 任意の体上の行列列による群近似を定義するために、擬長関数と超積構成を用いる。
• 近似距離として、ランク長 ℓr(g) = rk(1−g)/n およびジョルダン長 ℓJ(g) = infα∈K× rk(α−g)/n を採用する。
• 拡大技術を用いて、近似性質を保ちながら群元をより大きな行列表現に埋め込む。
• テンソル積と群基底上の置換作用を用いて、明示的なほぼ準同型 φ: Γ → GL(V) を構成し、自由積構造を模倣する。
• 超極限と距離的超積を用いて、行列列の漸近的挙動を分析し、近似条件の検証を行う。
• ℓJ が射影的設定において ℓr と同一の漸近的挙動を捉えることの証明により、線形近似と射影的線形近似の同値性を示す。

実験結果

リサーチクエスチョン

• RQ1 ソフィック群のクラスは、任意の体上の行列による近似によって拡張可能であり、そのような群が満たす性質は何か？
• RQ2 固定された体 K に対して、2つの K-ソフィック群の自由積は自身も K-ソフィックであるか？
• RQ3 基礎体の特性は、行列ランク距離を用いた群の近似にどのように影響するか？
• RQ4 線形ソフィック群のクラスにおいて、線形近似と射影的近似は同値であるか？

主な発見

• 任意の体 K に対して、K-ソフィック群のクラスは自由積に関して閉じており、既知のソフィック群に関する結果を一般化する。
• テンソル積と置換表現を用いた明示的ほぼ準同型の構成により、2つの K-ソフィック群の自由積が K-ソフィックであることが示された。
• ランクに基づく距離 ℓr とジョルダン長 ℓJ は、近似の概念として同値であり、線形と射影的線形ソフィック性の同値性が確立された。
• ほぼ準同型 ζ: Γ → GL(V) の構成により、長さ ≤ 2r の非自明な既約語に対して ℓJ(ζg) ≥ 1/2 が保証され、単位元の分離が保証された。
• 有限部分集合内のすべての g, h に対して ℓJ(ζgζh − ζgh) < ε が成り立つことから、任意の精度でほぼ準同型条件を満たすことが保証された。
• 証明は、自由積におけるキャンセルが、構築された表現における一致する作用に対応することに依拠しており、行列ランクの制御が保たれる。