[論文レビュー] Cuntz-Li relations, Inverse semigroups and Groupoids

S. Sundar|arXiv (Cornell University)|Jan 23, 2012

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

ひとこと要約

この論文は、正規部分群 $M$ を持つ半直積 $N \rtimes H$ から生じる Cuntz-Li 関係によって定義される普遍 C*-代数が、部分等長作用素の逆半群に関連するタイトな群札の C*-代数に同型であることを確立する。Exel のタイト表現理論を適用することで、著者たちはこの C*-代数を $\overline{N} \rtimes G|_{\overline{M}}$ の群札 C*-代数として特定し、$H$ がアーベルであるという仮定を除去することで、以前の結果を一般化する。

ABSTRACT

In this paper we show that the universal C*-algebra satisfying the Cuntz-Li relations is generated by an inverse semigroup of partial isometries. We apply Exel's theory of tight representations to this inverse semigroup. We identify the universal C*-algebra as the C*-algebra of the tight groupoid associated to the inverse semigroup.

研究の動機と目的

• 作用する群 $H$ がアーベルである必要がないように Cuntz-Li の構成を一般化すること。
• Cuntz-Li 関係を満たす普遍 C*-代数が、部分等長作用素の逆半群によって生成されることを示すこと。
• Exel のタイト表現理論を適用して、普遍 C*-代数をこの逆半群に関連するタイト群札の C*-代数として特定すること。
• タイト群札が $\overline{N} \rtimes G|_{\overline{M}}$ に同型であることを証明し、この構成をプロファイント完成に結びつけること。
• [CL11] における双対性結果に類似する結果を非アーベルな設定にまで拡張すること。

提案手法

• 半直積 $G = N \rtimes H$ と正規部分群 $M \trianglelefteq N$ に対して、条件 (C1)–(C3) を満たす、Cuntz-Li 関係を満たす等長作用素によって生成される普遍 C*-代数 $\mathfrak{A}[N\rtimes H, M]$ を定義する。
• Cuntz-Li 関係の普遍表現によって生成される、部分等長作用素の逆半群 $T$ を構成する。
• 逆半群 $T$ に対して Exel のタイト表現理論を適用し、タイト群札 $\mathcal{G}_{\text{tight}}$ をタイト表現空間のスペクトルとして特定する。
• 群札 $\mathcal{G}_{\text{tight}}$ の C*-代数が $\mathfrak{A}[N\rtimes H, M]$ に同型であることを証明し、普遍 C*-代数を群札 C*-代数として実現する。
• 明示的に $\mathcal{G}_{\text{tight}}$ が $\overline{N} \rtimes G|_{\overline{M}}$ に同型であることを特定し、これは $N$ のプロファイント完成と $G$ が $\overline{M}$ に作用する群札に関連する。
• 行列 $X = (\operatorname{tr}(w_i w_j))$ を用いて、力学系 $\mathbb{R}^n \rtimes \Gamma$ と $\mathbb{R}^n \rtimes \Gamma^{\text{op}}$ 間の同型を構成し、数体における双対性結果を可能にする。

実験結果

リサーチクエスチョン

• RQ1 作用する群 $H$ が非アーベルであっても、逆半群の手法を用いて Cuntz-Li の普遍 C*-代数を群札の C*-代数として実現できるか？
• RQ2 Cuntz-Li 関係を満たす普遍 C*-代数は、部分等長作用素の逆半群に関連するタイト群札の C*-代数に同型であるか？
• RQ3 この一般化された設定において、タイト群札 $\mathcal{G}_{\text{tight}}$ の明示的な群札構造は何か？
• RQ4 一般化された仮定の下で、$\mathcal{G}_{\text{tight}}$ と $\overline{N} \rtimes G|_{\overline{M}}$ 間の同型はどのように生じるか？
• RQ5 非アーベルな $H$ に対して、[CL11] の双対性結果を数体の文脈にまで拡張できるか？

主な発見

• Cuntz-Li 関係を満たす普遍 C*-代数 $\mathfrak{A}[N\rtimes H, M]$ は、部分等長作用素の逆半群に関連するタイト群札 $\mathcal{G}_{\text{tight}}$ の C*-代数に同型である。
• タイト群札 $\mathcal{G}_{\text{tight}}$ は、$G$ が $\overline{M}$ に作用する $N$ のプロファイント完成に関連する群札 $\overline{N} \rtimes G|_{\overline{M}}$ に同型であることが明示的に特定された。
• 数体 $K$ に対して、C*-代数 $\mathfrak{A}[K\rtimes K^\times, O_K]$ は $C_0(\mathbb{A}_\infty) \rtimes (K \rtimes K^\times)$ にモリタ同値である。これは [CL11] の結果を一般化する。
• 行列 $X = (\operatorname{tr}(w_i w_j))$ は、力学系 $(\mathbb{R}^n, \mathbb{Q}^n \rtimes \Gamma)$ と $(\mathbb{R}^n, \mathbb{Q}^n \rtimes \Gamma^{\text{op}})$ 間の同型を実現し、双対性結果を可能にする。
• 行列 $A$ に対して $\bigcap_{r=0}^\infty A^r \mathbb{Z}^n = \{0\}$ が成り立つとき、C*-代数 $\mathfrak{A}_A$ は $C_0(\mathbb{R}^n) \rtimes (N_A \rtimes \mathbb{Z})$ にモリタ同値である。これは 2 進双対性定理を拡張する。
• 行列 $A^t$ に対しても双対性結果が成り立つ。なぜなら、$A$ と $A^t$ が有理数的同型であるため、$\bigcap_{r=0}^\infty A^r \mathbb{Z}^n = \{0\}$ が成り立つことと $\bigcap_{r=0}^\infty (A^t)^r \mathbb{Z}^n = \{0\}$ が同値であるからである。