[論文レビュー] Some classifiable groupoid C*-algebras with prescribed K-theory

Ian F. Putnam|arXiv (Cornell University)|Nov 15, 2016

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

ひとこと要約

本稿は、Cantor集合上に最小で、アメーブルで、エタールな同値関係を構成し、それに対応する群体C*-代数がトレーシャルにAF的であり、したがってElliottプログラムにおいて分類可能であることを示している。任意の与えられた単純で非巡回な次元群 $G_0$ および可算で torsion-free なアーベル群 $G_1$ に対して、構成により $K_0 \cong G_0$ および $K_1 \cong G_1$ を達成し、このような $K$-理論的不変量がエタール群体C*-代数によって実現可能であることを示している。

ABSTRACT

Given a simple, acyclic dimension group $G_{0}$ and countable, torsion-free, abelian group $G_{1}$, we construct a minimal, amenable, étale equivalence relation $R$ on a Cantor set whose associated groupoid $C^{*}$-algebra, $C^{*}(R)$, is tracially AF, and hence classifiable in the Elliott classification scheme for simple, amenable, separable $C^{*}$-algebras, and with $K_{*}(C^{*}(R)) \cong(G_{0}, G_{1})$.

研究の動機と目的

• 分類可能な $C^*$-代数、特にElliott分類プログラムを満たすものとして、どの $C^*$-代数が群体 $C^*$-代数として実現可能かを特定すること。
• Elliottプログラムにおける範囲問題に取り組むために、エタール群体を用いて、指定された $K$-理論的不変量を持つ $C^*$-代数を構成すること。
• 任意の単純で非巡回な次元群 $G_0$ および可算で torsion-free なアーベル群 $G_1$ に対して、Cantor集合上に最小で、アメーブルで、エタールな同値関係が存在し、それに対応する $C^*$-代数の $K_*$-理論が $(G_0, G_1)$ に同型であることを示すこと。
• 構成された $C^*$-代数がトレーシャルにAF的であることを確立し、Elliott枠組み内での分類可能性を保証すること。

提案手法

• 群体構造の有限近似を用いた帰納的極限技法により、Cantor集合 $X$ 上に最小で、アメーブルで、エタールな同値関係 $R$ を構成する。
• $C^*(R)$ 内に、群体における有限パスに付随する射影 $\bar{e}_l$ から構成される有限次元 $C^*$-部分代数 $B_l$ の列を定義する。
• 群体代数をパス長に応じた成分に分解し、$l$ に関する帰納法を用いて、$\bar{e}_l$ が任意の有限集合 $\mathcal{F}$ に対して $\epsilon$-誤差内で可換であることを示す。
• トレーシャルにAF条件を適用するため、3つの主要な性質を検証する：$\mathcal{F}$ とのほぼ可換性、有限次元部分代数内の要素の近似、および $1 - \bar{e}_l$ が与えられた非ゼロ射影 $p_0$ の部分射影とユニタリ同値であること。
• C*-代数におけるスペクトル推定とトレースの正定性を用いて、十分大きな $l$ に対して $\bar{e}_l$ が $p_0$ の部分射影とユニタリ同値になることを保証する。これには、表現 $\pi$ の忠実性が利用される。
• 単純なAF代数では、$K_0$ 内の正性がトレースによって検出可能であることを利用し、$\bar{e}_l$ のトレースを制御することで、$\bar{e}_l$ が $p_0$ の部分射影とユニタリ同値になることを保証する。

実験結果

リサーチクエスチョン

• RQ1 任意のペア $(G_0, G_1)$ に対して、$G_0$ が単純で非巡回な次元群であり、$G_1$ が可算で torsion-free なアーベル群である場合、その $K_*$-理論が群体 $C^*$-代数として実現可能か？
• RQ2 Cantor集合上に最小で、アメーブルで、エタールな同値関係を構成し、それに対応する $C^*$-代数がトレーシャルにAF的であり、したがってElliottプログラムにおいて分類可能であるか？
• RQ3 $K$-理論にどのような条件が課されると、$C^*$-代数がエタール群体から生じるか？
• RQ4 有限次元部分代数の帰納的極限によって構成された群体 $C^*$-代数に対して、トレーシャルにAF条件を満たすように保証するにはどうすればよいか？
• RQ5 このような構成において、$1 - \bar{e}_l$ が与えられた射影 $p_0$ の部分射影とユニタリ同値であることを保証できるか？

主な発見

• 任意の単純で非巡回な次元群 $G_0$ および可算で torsion-free なアーベル群 $G_1$ に対して、Cantor集合上に最小で、アメーブルで、エタールな同値関係 $R$ が存在し、$C^*(R)$ はトレーシャルにAF的である。
• $C^*(R)$ の $K_0$-群は $G_0$ に同型であり、$K_1$-群は $G_1$ に同型であるため、指定された $K$-理論が実現されている。
• 構成により $C^*(R)$ がトレーシャルにAF条件を満たすことが保証され、これはElliottプログラム内での分類可能性を意味する。
• 有限次元部分代数 $(1 - \bar{e}_l)B_l(1 - \bar{e}_l)$ は、$C^*(R)$ の要素を任意の $\epsilon$-誤差内でノルムで近似し、有限集合とほぼ可換である。
• 十分大きな $l$ に対して、射影 $1 - \bar{e}_l$ は任意の与えられた非ゼロ射影 $p_0$ の部分射影とユニタリ同値になる。これはトレースの制御とスペクトル推定による。
• 表現 $\pi$ は $C^*(R)$ に対して忠実であり、$\pi(1 - \bar{e}_l)$ の強 operator 極限により、$l$ が十分大きくなると $\pi((1 - \bar{e}_l)p_0)$ が非ゼロのままであることが保証され、ユニタリ同値性の議論が可能になる。