[論文レビュー] Inverse semigroups and the Cuntz-Li algebras

S. Sundar|arXiv (Cornell University)|Apr 6, 2011

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

ひとこと要約

この論文は、Cuntz-Li代数 $U[\mathbb{Z}]$ に逆半群理論を適用し、それが部分等長作用素の逆半群によって生成されることを示している。この半群からタイトな群ガロア $\mathcal{G}_{\text{tight}}$ を構成することで、著者たちは $\mathcal{G}_{\text{tight}}$ が [CL08] で得られた群ガロアと同型であることを示し、表現論的枠組みに基づいた、恣意的仮定を必要としない群ガロア実現の体系的導出を提供している。

ABSTRACT

In this paper, we apply the theory of inverse semigroups to the $C^{*}$-algebra $U[\mathbb{Z}]$ considered in \cite{Cuntz}. We show that the $C^{*}$-algebra $U[\mathbb{Z}]$ is generated by an inverse semigroup of partial isometries. We explicity identify the groupoid $\mathcal{G}_{tight}$ associated to the inverse semigroup and show that $\mathcal{G}_{tight}$ is exactly the same groupoid obtained in \cite{Cuntz-Li}.

研究の動機と目的

• 逆半群理論を用いて、Cuntz-Li代数 $U[\mathbb{Z}]$ の群ガロア実現を体系的かつ表現論的に行うこと。
• C*-代数 $U[\mathbb{Z}]$ が、部分等長作用素の逆半群に関連するタイトな群ガロア $\mathcal{G}_{\text{tight}}$ のC*-代数に同型であることを示すこと。
• 逆半群の $U[\mathbb{Z}]$ 内の恒等表現がタイトであること、したがって代数的構造と群ガロアモデルが結びつくことを示すこと。

提案手法

• 射影の半群 $P$ における $e$ に対して、部分等長作用素 $s_m^* u^n e u^{n'} s_m$ で生成される逆半群 $T$ を定義する。
• エクセルのタイト表現理論を用いて、$U[\mathbb{Z}]$ 内の $T$ の恒等表現がタイトであることを示し、したがって $U[\mathbb{Z}] \cong C^*(\mathcal{G}_{\text{tight}})$ が成り立つことを示す。
• 明示的に $\mathcal{G}_{\text{tight}}$ を、有理数体上のアフィン群 $P_{\mathbb{Q}}$ がプロファイント整数環 $\hat{\mathbb{Z}}$ に作用する際の芽の群ガロアとして特定する。写像 $\phi: \mathcal{R} \times P_{\mathbb{Q}(\mathbb{Z})}|_{\hat{\mathbb{Z}}} \to \mathcal{G}_{\text{tight}}$ を用いる。
• 射影半群 $P$ 上のタイトなフィルターの空間と $\hat{\mathbb{Z}}$ の間に位相的同型を確立し、$\mathcal{G}_{\text{tight}} \cong \mathcal{R} \times P_{\mathbb{Q}}|_{\hat{\mathbb{Z}}}$ を示す。
• Baireのカテゴリー定理と固定点集合の性質を用いて、群ガロア $\mathcal{G}_{\text{tight}}$ が極小かつ位相的に主であることを証明する。
• 一般の有限商を持つ整域 $R$ についての分析を拡張し、同じ逆半群およびタイト群ガロアの構成が成り立つことを示す。

実験結果

リサーチクエスチョン

• RQ1 群ガロア構造の事前知識がなくても、逆半群理論から $U[\mathbb{Z}]$ の群ガロア実現を体系的に導出できるか？
• RQ2 部分等長作用素の逆半群の $U[\mathbb{Z}]$ 内の恒等表現はタイトか？ そして、それが $C^*$-代数 $U[\mathbb{Z}]$ を与えるか？
• RQ3 生成する逆半群に関連するタイト群ガロア $\mathcal{G}_{\text{tight}}$ の明示的構造は何か？
• RQ4 群ガロア $\mathcal{G}_{\text{tight}}$ は [CL08] で構成された群ガロアとどのように関係しているか？
• RQ5 一般の整域 $R$ に対して $U[R]$ の単純性は、群ガロアの極小性および位相的主性から示せるか？

主な発見

• C*-代数 $U[\mathbb{Z}]$ は、$U[\mathbb{Z}]$ を生成する部分等長作用素の逆半群に関連するタイト群ガロア $\mathcal{G}_{\text{tight}}$ のC*-代数に同型である。
• タイト群ガロア $\mathcal{G}_{\text{tight}}$ は明示的に $\mathcal{R} \times P_{\mathbb{Q}}|_{\hat{\mathbb{Z}}}$ として特定され、ここで $\mathcal{R}$ は乗法写像による $\hat{\mathbb{Z}}$ の帰納的極限であり、$P_{\mathbb{Q}}$ はアフィン変換によって作用する。
• 写像 $\phi: \mathcal{R} \times P_{\mathbb{Q}}|_{\hat{\mathbb{Z}}} \to \mathcal{G}_{\text{tight}}$ で定義される $\phi(r, \begin{bmatrix}1&0\\ k/m & n/m \end{bmatrix}) = [(r, s_m^* u^k s_n)]$ は、位相的群ガロア同型写像である。
• 非恒等元の $P_{\mathbb{Q}}$ の固定点集合が空内部を持つことから、群ガロア $\mathcal{G}_{\text{tight}}$ は極小かつ位相的に主である。
• タイト群ガロア $\mathcal{G}_{\text{tight}}$ の極小性および位相的主性の結果として、$C^*$-代数 $U[\mathbb{Z}]$ は単純である。
• この構成は、有限商を持つ任意の整域 $R$ に一般化され、$U[R]$ は $C^*(\mathcal{G}_{\text{tight}})$ に同型であり、$\mathcal{G}_{\text{tight}} \cong \mathcal{R} \times P_{Q(R)}|_{\hat{R}}$ である。