[論文レビュー] Dilations of semigroup crossed products as crossed products of dilations

Nadia S. Larsen, Xin Li|arXiv (Cornell University)|Sep 29, 2010

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

ひとこと要約

本稿は、Ore半群による単位元をもつC*-代数への単射自己同型作用の拡大を最初に、自己同型に拡大することで作用を自動的同型にし、その後群交叉積を形成することにより得られる、半群交叉積の最小自動的拡大が、元の拡大の交叉積と一致することを確立している。主な結果は、半群交叉積の最小自動的拡大の群交叉積と、元の拡大の交叉積との間に自然な同型が存在することであり、これは数論と代数的構造から得られるC*-代数に関する以前の結果を統一的かつ一般化するものである。

ABSTRACT

Laca constructed a minimal automorphic dilation for every semigroup dynamical system arising from an action of an Ore semigroup by injective endomorphisms of a unital $C^*$-algebra. Here we show that the semigroup crossed product with its action by inner endomorphisms given by the implementing isometries has as minimal automorphic dilation the group crossed product of the original dilation. Applications include recent examples studied by Cuntz and the second named author.

研究の動機と目的

• 半群ダイナミカルシステムにおける拡大と交叉積の構成順序が可換かどうかという基礎的問題を解決すること。
• 数論と代数的K理論における半群交叉積と群交叉積の既知の同型を統合する一般枠組みを提供すること。
• Lacaの最小自動的拡大理論を、半群交叉積の文脈に拡張し、普遍共変関係と整合性を持つようにすること。
• アーデールや整域に関連する最近のC*-代数の結果を、体系的な拡大理論的アプローチによって回復・一般化すること。
• 半群交叉積の最小自動的拡大が、元の拡大の群交叉積と同型であることを確立し、C*-ダイナミカルシステムにおける自然な双対性を示すこと。

提案手法

• Ore半群による単位元をもつC*-代数への単射自己同型作用の最小自動的拡大をLacaの構成により用いる。
• 半群交叉積 $A \rtimes_{\text{e}}^{{\boldsymbol{\beta}}} P$ が、$i_A(\beta_p(a)) = i_P(p) i_A(a) i_P(p)^*$ を満たす普遍共変ペア $(i_A, i_P)$ によって生成されるC*-代数としての普遍性を適用する。
• Ore半群 $P$ の包拡大群 $G$ と $A$ の最小拡大 $B$ を用いて、群交叉積 $B \rtimes_{\beta} G$ を構成する。
• 最小性条件 $\overline{\bigcup_{p\in P} \beta_p^{-1}(\iota(A))} = B$ を用いて、半群交叉積 $A \rtimes_{\text{e}}^{{\boldsymbol{\beta}}} P$ が、最小拡大の群交叉積と同じC*-代数に拡大されることを証明する。
• Ore半群およびその包拡大群の構造を活用し、最小自動的拡大の存在および一意性を保証する。
• 結果を応用して既知の同型を回復する：$\mathcal{Q}_{\mathbb{N}}$ は $C_0(\mathbb{A}_f) \rtimes_{\text{aff}} P_{\mathbb{Q}}^+$ のコーナーとして同型であり、$\mathcal{Q}_{\mathbb{N}}$ の拡大は $\bar{\mathcal{Q}}_{\mathbb{N}}$ である。

実験結果

リサーチクエスチョン

• RQ1 半群交叉積の最小自動的拡大は、元の拡大の群交叉積と一致するか？
• RQ2 数論における半群交叉積と群交叉積の同型は、一般の拡大理論的原理から導けるか？
• RQ3 Ore半群作用の文脈において、拡大の交叉積と交叉積の拡大の関係は何か？
• RQ4 Lacaの拡大構成における最小性条件は、半群交叉積の普遍性とどのように作用するか？
• RQ5 アーデールや $\mathcal{Q}_{\mathbb{N}}$ を含む既知のC*-代数同型は、どれだけ一様な普遍的構成の特別な場合として回復できるか？

主な発見

• 半群交叉積 $A \rtimes_{\text{e}}^{{\boldsymbol{\beta}}} P$ の最小自動的拡大は、$(B,G,\beta)$ が $(A,P,\beta)$ の最小自動的拡大であるとき、群交叉積 $B \rtimes_{\beta} G$ と同型である。
• 同型は自然であり、半群交叉積の普遍性と拡大の最小性から生じ、$A$ の像が $B$ において稠密な$^*$-代数を生成することを保証する。
• 結果は [Cu2, Theorem 6.4] を回復し、$\mathcal{Q}_{\mathbb{N}}$ が $C_0(\mathbb{A}_f) \rtimes_{\text{aff}} P_{\mathbb{Q}}^+$ のコーナーと同型であることを示し、$\mathcal{Q}_{\mathbb{N}}$ の拡大は $\bar{\mathcal{Q}}_{\mathbb{N}}$ である。
• 整域 $R$ が理想に関する有限性条件を満たすとき、$C^*$-代数 $\mathfrak{A}[R]$ は半群交叉積 $\mathcal{D}[R] \rtimes_{\text{e}}^\alpha P_R$ と同型であり、その拡大は $C_0(\mathscr{R}) \rtimes P_{Q(R)}$ と同型である。これは [Cu-Li1, Theorem 2] を回復する。
• 半群交叉積の最小自動的拡大は、普遍共変構造を保存し、結果として得られる群交叉積は操作の順序に依存しない：拡大の後に交叉積をとるか、交叉積の後に拡大をとるかにかかわらず同じ結果が得られる。
• この構成は、すべてのOre半群による単射自己同型作用に一様に適用可能であり、半群交叉積を拡大による群交叉積のコーナーとして実現する一般的手法を提供する。