[論文レビュー] A Reduction theorem for $AH$ algebras with ideal property

Guihua Gong, Chunlan Jiang+2 more|arXiv (Cornell University)|Jul 26, 2016

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

ひとこと要約

本稿は、次元成長のない理想性を持つ近似的に均一（AH）C*-代数について、還元定理を確立する。この定理により、これらの代数が特定の有限次元連結単体的複体（点、区間、円周、および高次元複体 $T_{II,k}$, $T_{III,k}$, $S^2$）のスペクトルに制限されたC*-代数の帰納的極限として表現可能であることが示される。この結果は、実ランクゼロおよび単純なAH代数の既存の分類定理を一般化し、次元が2以上の空間から生じる非安定生成代数を含むものである。

ABSTRACT

Let $A$ be an $AH$ algebra, that is, $A$ is the inductive limit $C^{*}$-algebra of $$A_{1}\xrightarrow{ϕ_{1,2}}A_{2}\xrightarrow{ϕ_{2,3}}A_{3}\longrightarrow\cdots\longrightarrow A_{n}\longrightarrow\cdots$$ with $A_{n}=\bigoplus_{i=1}^{t_{n}}P_{n,i}M_{[n,i]}(C(X_{n,i}))P_{n,i}$, where $X_{n,i}$ are compact metric spaces, $t_{n}$ and $[n,i]$ are positive integers, and $P_{n,i}\in M_{[n,i]}(C(X_{n,i}))$ are projections. Suppose that $A$ has the ideal property: each closed two-sided ideal of $A$ is generated by the projections inside the ideal, as a closed two-sided ideal. Suppose that $\sup_{n,i}dim(X_{n,i})

研究の動機と目的

• 既存のAH代数の分類定理を統合・一般化し、$K_*$ がねじれ自由であるという仮定を除去すること。
• $K_*$ がねじれ自由でない場合でも、理想性を持つAH代数にまで還元定理を拡張すること。
• このような代数が、$T_{II,k}$, $T_{III,k}$, および $S^2$ を含む低次元連結単体的複体に制限されたスペクトルを持つ帰納的極限として再表現可能であることを証明すること。
• 次元が2以上の $X$ に対して $C(X)$ が安定生成されないことに起因する技術的困難を克服すること。
• 理想性と次元成長のないAH代数の分類のための基盤的ツールを提供すること。

提案手法

• C*-代数間の近似準同型を構成するためのElliottの相互接続技法の使用。
• スペクトルが $\{\text{pt}, [0,1], S^1, T_{II,k}, T_{III,k}, S^2\}$ に属するC*-代数の列 $B_n = \bigoplus_{i=1}^{s_n} Q_{n,i} M_{\{n,i\}}(C(Y_{n,i})) Q_{n,i}$ の構成。
• $\varepsilon$-乗法的写像と摂動技法を用いて近似誤差を制御すること。
• 帰納的極限を、異なるスペクトル型に対応するブロック $C$, $B$, および $D$ に分解すること。
• 連続する段階間の関係を表すために、準同型 $\alpha_n$, $\psi_{n,n+1}$, および $\beta_n$ を使用すること。
• スペクトル射影と $K$-理論的・位相的制約を $\phi_{s(n),s(n+1)}$ を通じて用いて、適合性と収束を保証すること。

実験結果

リサーチクエスチョン

• RQ1 理想性と次元成長のないAH代数は、有限個の低次元単体的複体のスペクトルを持つ帰納的極限に還元可能か？
• RQ2 特に $\dim(X) \geq 2$ のとき $C(X)$ が安定生成されない場合に、$K_*$ がねじれ自由でない場合のAH代数の分類をどのように拡張できるか？
• RQ3 複体 $T_{II,k}$ と $T_{III,k}$ は、理想性を持つAH代数の構造においてどのような役割を果たすか？
• RQ4 $K_*$ がねじれ自由でないという仮定なしに、理想性と有限次元スペクトルのみを用いて還元定理を証明できるか？
• RQ5 近似準同型と摂動をどのように用いて、誤差境界が制御された安定な帰納的極限系を構成できるか？

主な発見

• 理想性と次元成長のないすべてのAH代数は、$\{\text{pt}, [0,1], S^1, T_{II,k}, T_{III,k}, S^2\}$ に属するスペクトルを持つC*-代数の帰納的極限と同型である。
• この結果は、実ランクゼロおよび単純なAH代数の還元定理を一般化し、$T_{II,k}$ や $S^2$ のような高次元空間を含む。
• $T_{II,k}$ と $T_{III,k}$ の存在は、次元が2以上の $X$ に対して $C(X)$ が安定生成されないことに起因する。
• 証明では、誤差境界 $\|\phi_{s(n),s(n+1)} - \alpha_{n+1} \circ \beta_n\| < 14\varepsilon_n$ および $\|\psi_{n,n+1} - \beta_n \circ \alpha_n\| < 8\varepsilon_n$ を満たす $\varepsilon_n$-乗法的写像と準同型の列が構成される。
• $T_{II,k}$, $T_{III,k}$, および $S^2$ に対応するスペクトルブロックはすべて $B$-ブロックに含まれており、その $\omega$-ノルムは $\varepsilon_n$ によって制御される。
• 構成により、相互接続議論に必要なすべての条件 (0.1)–(0.5) が満たされ、帰納的極限系の収束が保証される。