[論文レビュー] All automorphisms of the universal sofic group are class-preserving

Liviu Păunescu|arXiv (Cornell University)|Jun 14, 2013

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

ひとこと要約

この論文は、非主な超フィルターを用いて対称群の超積として構成された普遍的ソフィック群の任意の自己同型が、共役類を保存することを証明する。正規化されたハミング距離の双対不変性と、超積における巡回型極限の性質を用いて、共役類を特徴付ける巡回型不変量 $cyc_i(p)$ が自己同型によって保存されることを示し、したがってすべての自己同型が類を保存することを確立する。

ABSTRACT

In this article we prove that every automorphism of a universal sofic group is class preserving, i.e. preserves the conjugacy classes

研究の動機と目的

• 普遍的ソフィック群の自己同型が共役類を保存するかどうか、特に内部自己同型とは対照的に、を特定すること。
• ソフィック群をモデル化する超積構成 $\Pi_{k\to\omega}S_{n_k}$ における自己同型の構造的挙動を調査すること。
• 対称群の超積における共役に関する結果を、普遍的ソフィック群の自己同型群全体に拡張すること。
• 一般の自己同型（内部的でないものも含む）が、この文脈で共役類に非自明に作用できるかどうかを解明すること。

提案手法

• 非主な超フィルター $\omega$ と $n_k \to \infty$ なる列を用いて、超積 $\Pi_{k\to\omega}S_{n_k}$ として普遍的ソフィック群を定義する。
• 対称群における正規化ハミング距離を定義し、$\omega$ 沿いの極限により超積へ拡張し、巡回型不変量 $cyc_i(p) = \lim_{k\to\omega} \frac{cyc_i(p_k)}{n_k}$ を定義する。
• 超積において、2つの元が共役であるための必要十分条件が、すべての $i$ に対して同じ巡回型 $cyc_i(p)$ を持つことであることを証明し、有限対称群の結果を一般化する。
• 自己同型が $cyc_1(p)$ を保存することを示し、帰納法を用いてすべての $cyc_i(p)$ を保存することにより、ハミング距離を保存することを確立する。この際、恒等式 $cyc_1(p^i) = \sum_{j|i} cyc_j(p)$ を利用する。
• 2つの巡回部分群の積に関する定理を用いて、$m(p)$ および $n(p)$ の値が与えられた元が、型 $\{1,\infty\}$ の2つの巡回部分群の積に属することを示し、自己同型下での巡回型の制御を可能にする。
• $m(p)$ および $n(p)$ の保存を応用して $cyc_1(p) = cyc_1(\Phi(p))$ を得られ、さらにべきの帰納法により $cyc_i(p) = cyc_i(\Phi(p))$ を得る。これにより、共役類が保存されることが示される。

実験結果

リサーチクエスチョン

• RQ1 普遍的ソフィック群のすべての自己同型が、内部自己同型でない場合を含めて共役類を保存するか？
• RQ2 一般の自己同型が超積 $\Pi_{k\to\omega}S_{n_k}$ において、巡回型不変量 $cyc_i(p)$ を保存できるか？
• RQ3 普遍的ソフィック群の自己同型が正規化ハミング距離を保存するか？ そして、これが類の保存を意味するか？
• RQ4 漸近的巡回構造と普遍的ソフィック群の自己同型群との間にどのような関係があるか？
• RQ5 $m(p)$ および $n(p)$ を用いた元の積構造を、自己同型不変性を特徴付ける性質に利用できるか？

主な発見

• 普遍的ソフィック群 $\Pi_{k\to\omega}S_{n_k}$ のすべての自己同型が、$cyc_1(p) = 1 - m(p)$ を通じて、恒等元への正規化ハミング距離を保存することが示された。
• 自己同型 $\Phi$ はすべての $p$ に対して $m(\Phi(p)) = m(p)$ および $n(\Phi(p)) = n(p)$ を満たす。これにより、巡回型不変量 $cyc_i(p)$ が保存される。
• 恒等式 $cyc_1(p^i) = \sum_{j|i} cyc_j(p)$ を用いた $i$ に関する帰納法により、巡回型不変量 $cyc_i(p)$ が自己同型で保存される。
• 超積における共役は巡回型 $cyc_i(p)$ によって完全に決定されるため、これらの不変量の保存は $\Phi$ が類を保存することを意味する。
• 自己同型が内部的か外部的かにかかわらず、この結果は成り立つ。これは自己同型群の構造に関する重要な問いを解決する。
• 証明は超積構成とハミング距離の双対不変性に依拠しており、自己同型が要素の漸近的巡回構造を変更できないことを示している。