[論文レビュー] AF-embedding of the crossed products of AH-algebras by finitely generated abelian groups

Huaxin Lin|ArXiv.org|Jun 15, 2007

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

ひとこと要約

本稿では、単位的AH代数と有限生成アーベル群の交叉積が単位的単純AF代数に埋め込まれるための必要十分条件を確立する：このような埋め込みが存在するための必要十分条件は、群作用に関してAH代数が忠実な不変トレース状態をもつことである。証明は、漸近的ユニタリ同値の繰り返し適用と、AF代数へのモノモルフィズムに対するK理論的技法に依拠している。

ABSTRACT

Let $X$ be a compact metric space and let $Λ$ be a $\Z^k$ ($k\ge 1$) action on $X.$ We give a solution to a version of Voiculescu's problem of AF-embedding: The crossed product $C(X) times_Λ\Z^k$ can be embedded into a unital simple AF-algebra if and only if $X$ admits a strictly positive $Λ$-invariant Borel probability measure. Let $C$ be a unital AH-algebra, let $G$ be a finitely generated abelian group and let $Λ: G o Aut(C)$ be a monomorphism. We show that $C times_Λ G$ can be embedded into a unital simple AF-algebra if and only if $C$ admits a faithful $Λ$-invariant tracial state.

研究の動機と目的

• 有限生成アーベル群によるAH代数の交叉積に対するボイクレスクのAF埋め込み問題のバージョンを解消すること。
• 交叉積 $ C \rtimes_\Lambda G $ が単位的単純AF代数に埋め込まれる正確な条件を特定すること。
• 従来の $ \mathbb{Z} $-作用に関するAF埋め込み可能性の結果を、より高いランクのアーベル群作用へ一般化すること。
• AF代数へのモノモルフィズムの漸近的ユニタリ同値性を扱うK理論的枠組みを確立し、帰納的構成を可能にする。

提案手法

• アーベル群のランク $ k $ に関する帰納的アプローチを用い、$ C \rtimes_\Lambda \mathbb{Z}^k $ から単位的単純AF代数へのモノモルフィズムを構築する。
• ベルグの技法のバージョンとロホリン性質を組み合わせ、AF代数への漸近的ユニタリ同値モノモルフィズムを構成する。
• 単位的単純AF代数に有唯一のトレース状態をもつ $ C \rtimes_\alpha \mathbb{Z} $ へのモノモルフィズムについて、漸近的ユニタリ同値性の $ K $-理論的特徴づけを適用する。
• 交叉積の基本ホモトピー補題を用いて、$ \mathbb{Z} $-作用から $ \mathbb{Z}^k $-作用へ結果を逐次拡張する。
• グリーンの定理を適用して $ G = \mathbb{Z}^k \oplus G_0 $ を分解し、問題を $ \mathbb{Z}^k $-作用への還元とコンパクト作用素とのテンソル積に帰着する。
• 単位的単純AF代数 $ A_k $ への単位的モノモルフィズム $ \varphi_k: C \rtimes_\Lambda \mathbb{Z}^k \to A_k $ を構成し、$ \tau_k \circ \varphi_k = \tau_k \circ \varphi_k \circ \alpha_i $ をすべての生成子 $ \alpha_i $ に対して満たす。

実験結果

リサーチクエスチョン

• RQ1 単位的AH代数 $ C $ と有限生成アーベル群 $ G $ との交叉積 $ C \rtimes_\Lambda G $ が単位的単純AF代数に埋め込まれる条件は何か？
• RQ2 このような埋め込みが存在することを保証する作用 $ \Lambda $ に関する正確な力学的条件は何か？
• RQ3 漸近的ユニタリ同値技法を $ \mathbb{Z} $-作用から、AH代数上のより高いランクのアーベル群作用へどのように拡張できるか？
• RQ4 忠実な $ \Lambda $-不変トレース状態の存在が、交叉積のAF埋め込み可能性に果たす役割は何か？
• RQ5 $ C(X) \rtimes_\Lambda \mathbb{Z}^k $ のAF埋め込み問題は、$ X $ における測度論的条件に還元可能か？

主な発見

• 交叉積 $ C \rtimes_\Lambda G $ が単位的単純AF代数に埋め込まれるための必要十分条件は、$ C $ が $ \Lambda $-不変な忠実なトレース状態をもつことである。
• $ C = C(X) $ の場合、交叉積 $ C(X) \rtimes_\Lambda \mathbb{Z}^k $ が単位的単純AF代数に埋め込まれるための必要十分条件は、$ X $ が厳密に正の $ \Lambda $-不変Borel確率測度をもつことである。
• 証明は、単位的単純AF代数 $ A_k $ に値をとる単位的モノモルフィズム $ \varphi_k: C \rtimes_\Lambda \mathbb{Z}^k \to A_k $ を構成し、すべての $ i $ に対して $ \tau_k \circ \varphi_k = \tau_k \circ \varphi_k \circ \alpha_i $ を満たす。
• 帰納的構成は、AF代数へのモノモルフィズムの漸近的ユニタリ同値性に関する $ K $-理論的条件の存在に依拠しており、$ \mathbb{Z} $-作用からの結果を一般化する。
• ブラウンとマツイによる $ \mathbb{Z} $-および $ \mathbb{Z}^2 $-作用に関する先行研究を、任意の有限生成アーベル群へ拡張した結果である。
• 埋め込みは、$ A \otimes \mathcal{K} $ へのモノモルフィズムの合成として達成され、その像は $ A \otimes \mathcal{K} $ のフルな射影的であるため、自身が単位的単純AF代数である。