[論文レビュー] The ideal structure of reduced crossed products

Adam Sierakowski|ArXiv.org|Apr 23, 2008

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

ひとこと要約

この論文は、C*-代数上の離散群作用に対して、代数を減少交叉積に埋め込むことによって理想が分離されるための必要十分条件を確立している。その条件は、作用がスペクトル上で正確かつ本質的に自由であることである。主な貢献は、正確性と本質的自由性を用いた理想分離の特徴付けであり、これにより、以前のトポロジカル自由性やRokhlin性の結果が一般化される。

ABSTRACT

Let (A,G) be a C*-dynamical system with G discrete. In this paper we investigate the ideal structure of the reduced crossed product C*-algebra and in particular we determine sufficient - and in some cases also necessary - conditions for A to separate the ideals in Ax_rG. When A separates the ideals in Ax_rG, then there is a one-to-one correspondence between the ideals in Ax_rG and the invariant ideals in A. We extend the concept of topological freeness and present a generalization of the Rokhlin property. Exactness properties of (A,G) turns out to be crucial in these investigations.

研究の動機と目的

• C*-代数 $A$ が減少交叉積 $A\rtimes_r G$ における理想を分離するための十分かつ必要条件を特定すること。
• トポロジカル自由性やRokhlin性の結果を、より広いクラスの作用およびC*-代数へ一般化すること。
• 交差性質と関連して、交叉積の理想構造における正確性の役割を明確化すること。
• 標準的写像 $\pi^A: A\rtimes G \to A\rtimes_r G$ が同型であるとき、正確性と理想分離との関係を調査すること。
• スペクトル的および力学的条件を用いて、アーベル型およびGCR代数からの結果を一般のC*-代数へ拡張すること。

提案手法

• 群作用の『正確性』の概念を導入し、これは減少交叉積における短完全系列の保存を意味する。
• スペクトル $\widehat{A}$ 上での作用の『本質的自由性』を、任意の閉じたG不変部分集合において、安定化部分群が自明な点が稠密であることとして定義する。
• 超冪技術およびRokhlin*性質を用いて、双対双対および中心列代数における射影の構造を分析する。
• 5-補題および全交叉積関手の正確性を用いて、$\pi^A$ の単射性と作用の正確性との関係を確立する。
• Rokhlin性質をRokhlin*性質へ一般化し、自己同型とそのユニタリによる実装に対するより強い制御を可能にする。
• 特にアーベルの場合に、トポロジカル自由性、Rokhlin*性質、および適切な外的性との間の含意関係を確立する。

実験結果

リサーチクエスチョン

• RQ1 包含写像 $A \hookrightarrow A\rtimes_r G$ が、交叉積における理想と $A$ の不変理想の間の1対1対応を誘導するのはどのような条件下か？
• RQ2 スペクトル $\widehat{A}$ 上での作用の本質的自由性が、$A$ が $A\rtimes_r G$ で理想を分離するのに十分であるか。その場合、追加で必要な条件は何か？
• RQ3 作用の正確性が、$A$ が $A\rtimes_r G$ で理想を分離することを保証するか。また、それは必要条件か？
• RQ4 Rokhlin*性質と適切な外的性は、理想分離および交差性質とどのように関係するか？
• RQ5 標準的写像 $\pi^A: A\rtimes G \to A\rtimes_r G$ が同型である場合、理想分離がどのように保証されるか？

主な発見

• 群 $G$ の作用が $A$ において $A\rtimes_r G$ で理想を分離するための必要十分条件は、作用が $\widehat{A}$ 上で正確かつ本質的に自由であることである。
• 作用が本質的に自由であっても、$A$ が $A\rtimes_r G$ で理想を分離するためには、作用の正確性が必要条件である。
• Rokhlin*性質は適切な外的性を含意する。特にアーベルの場合、トポロジカル自由性はRokhlin*性質を含意する。
• 可分な $A$ と可算な $G$ に対して、$A$ がアーベルであるとき、トポロジカル自由性、Rokhlin*性質、適切な外的性は同値である。
• 作用が正確であり、すべての自明でない $G$-不変理想 $I$ に対して、商作用 $\alpha_t|_{A/I}$ が適切に外的であれば、$A$ は $A\rtimes_r G$ で理想を分離する。
• 標準的写像 $\pi^A: A\rtimes G \to A\rtimes_r G$ が同型であるための必要十分条件は、作用が正確であり、かつ $\pi^A$ が単射であることである。これにより、正確性と理想構造との関係が明確にされる。