[論文レビュー] Uniformly recurrent subgroups and the ideal structure of reduced crossed products

Takuya Kawabe|arXiv (Cornell University)|Jan 12, 2017

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

ひとこと要約

本稿は、可算離散群 $ \Gamma $ がコンパクトハウスドルフ空間 $ X $ 上に作用する場合の、縮小交叉積 $ C(X) \rtimes_r \Gamma $ の理想構造を、一様再帰的部分群（URS）および部分群の空間上のチャバウティ位相を用いて特徴づける。ケネディの $ \mathrm{C}^* $-単純性の代数的特徴づけを一般化し、交叉積の単純性が、任意の可解的安定化部分群 $ \Lambda \leq \Gamma_x $ に対して、$ g_i \Lambda g_i^{-1} \to \{e\} $ がチャバウティ位相で成り立つようなネット $ (g_i) $ の存在と同値であることを示している。また、$ \Gamma $-空間に付随する可解的URSが、その安定化系によって支配される最大の可解的URSであることを証明している。

ABSTRACT

We study the ideal structure of reduced crossed product of topological dynamical systems of a countable discrete group. More concretely, for a compact Hausdorff space $X$ with an action of a countable discrete group $Γ$, we consider the absence of a non-zero ideals in the reduced crossed product $C(X) times_r Γ$ which has a zero intersection with $C(X)$. We characterize this condition by a property for amenable subgroups of the stabilizer subgroups of $X$ in terms of the Chabauty space of $Γ$. This generalizes Kennedy's algebraic characterization of the simplicity for a reduced group $\mathrm{C}^{*}$-algebra of a countable discrete group.

研究の動機と目的

• 作用の安定化部分群の力学的性質を用いて、$ \Gamma $-空間の交差性質を特徴づけること。
• ケネディの $ \mathrm{C}^* $-単純性の代数的特徴づけを、位相的力学系の縮小交叉積の設定に一般化すること。
• 安定化系から生じる可解的一様再帰的部分群（URS）の順序構造を研究すること。
• $ C(X) \rtimes_r \Gamma $ の理想構造と、チャバウティ空間 $ \mathrm{Sub}(\Gamma) $ 内の共轭軌道の力学的挙動との間の関係を確立すること。

提案手法

• $ C(X) $ の$ \Gamma $-不変な単位的包摂的包と同様の役割を果たす、$ C(\tilde{X}) $ の$ \Gamma $-不変な単位的包摂的包の使用。
• 部分群空間 $ \mathrm{Sub}(\Gamma) $ に作用する $ \Gamma $-作用（共轭作用）を備えたチャバウティ位相の適用。
• 点 $ x \in X $ の安定化部分群の閉 $ \Gamma $-不変集合としての安定化系 $ \mathcal{S}_X \subset \mathrm{Sub}(\Gamma) $ の定義。
• 一様再帰的部分群（URS）を、$ \mathrm{Sub}(\Gamma) $ の最小の $ \Gamma $-不変部分集合としての概念の導入。
• アーヴェソンの定理によるユニタル完全正定値拡張を用いて、部分群に付随する正則表現の表現および核を分析すること。
• 平均の強作用位相収束 $ n^{-1}\sum_{k=1}^n \pi_{\Lambda'}(\lambda_g)^k $ を用いて不変ベクトルに射影し、背理法の証明に用いること。

実験結果

リサーチクエスチョン

• RQ1 縮小交叉積 $ C(X) \rtimes_r \Gamma $ が $ C(X) $ と自明に交わる非ゼロのイデアルを持たないのはいつか？
• RQ2 $ X $ 内の $ \Gamma $-不変な閉集合の交差性は、安定化部分群の力学的性質をどのように特徴づけられるか？
• RQ3 チャバウティ位相は、$ C(X) \rtimes_r \Gamma $ の単純性を特徴づけるために果たす役割は何か？
• RQ4 可解的URSは、縮小交叉積の理想構造とどのように関係するか？
• RQ5 与えられた安定化系 $ \mathcal{S}_X $ によって支配される最大の可解的URSは一意に特定可能か？

主な発見

• 任意の $ \Gamma $-不変な閉部分集合 $ Y \subset X $ に対して、交差性が成り立つための必要十分条件は、任意の $ x \in X $ および任意の可解的部分群 $ \Lambda \leq \Gamma_x $ に対して、$ g_i x \to x $ かつ $ g_i \Lambda g_i^{-1} \to \{e\} $ がチャバウティ位相で成り立つようなネット $ (g_i) $ が存在することである。
• 最小の $ \Gamma $-空間 $ X $ に対して、縮小交叉積 $ C(X) \rtimes_r \Gamma $ が単純であるための必要十分条件は、任意の $ x \in X $ および任意の可解的 $ \Lambda \leq \Gamma_x $ に対して、$ g_i \Lambda g_i^{-1} \to \{e\} $ がチャバウティ位相で成り立つような列 $ (g_i) $ が存在することである。
• $ \Gamma $-空間 $ X $ に付随する安定化系 $ \mathcal{S}_X \subset \mathrm{Sub}(\Gamma) $ は、一意に生成される可解的URS $ \mathcal{A}_X $ を持ち、これは $ \mathcal{S}_X $ によって支配される最大の可解的URSである。
• もし $ \mathcal{S}_X $ がURSであれば、$ \mathcal{A}_X $ は、$ \tilde{X} $ の$ \Gamma $-不変包摂的包に付随する安定化系 $ \mathcal{S}_{\tilde{X}} $ 内の唯一の可解的URSである。
• 任意の可解的URS $ \mathcal{U} $ に対して、$ I_{\mathcal{U}} = 0 $ ならば、$ \mathcal{U} $ はすべての部分群がねじれ群から成り、このような $ \mathcal{U} $ はねじれ部分群の共轭軌道の閉包として生じる。
• $ \mathrm{ker}(\pi_\Lambda) \subset \mathrm{ker}(\pi_{\Lambda'}) $ が成り立つならば、$ \overline{\mathrm{Ad}(\Gamma)\Lambda} $ に属する可解的部分群 $ \Delta $ が存在し、$ \Delta \subset T(\Lambda') $ を満たす。ここで $ T(S) $ は、その冪が $ S $ に属する元の集合である。