[論文レビュー] AF-algebras and rational homotopy theory

Apurva Seth, Prahlad Vaidyanathan|arXiv (Cornell University)|May 9, 2020

Homotopy and Cohomology in Algebraic Topology参考文献 9被引用数 4

ひとこと要約

本稿では、AF代数のBratteli図から、その擬ユニタリ群の有理ホモトピー群を計算する手法を開発し、AF代数がK安定であることと有理K安定であることの同値性を確立する—すなわち、非自明な有限次元表現をもたないことに同値である。

ABSTRACT

We give a procedure to compute the rational homotopy groups of the group of quasi-unitaries of an AF-algebra. As an application, we show that an AF-algebra is K-stable if and only if it is rationally K-stable.

研究の動機と目的

• AF代数の擬ユニタリ群の有理ホモトピー群を計算する手続きを開発すること。
• 有理ホモトピー論を用いてAF代数におけるK安定性を特徴づけること。
• AF代数がいつ有理K安定であるかを特定し、その表現論的性質と関連付けること。
• Bratteli図を用いた図式的手法（Q-ベクトル空間の帰納的極限として）を提供し、有理ホモトピー群を計算すること。
• 非自明な有限次元表現をもたないことは、AF代数におけるK安定性と同値であることを示すこと。

提案手法

• AF代数 $A$ のBratteli図から、$\mathbb{Q}$-ベクトル空間の図式 $\mathcal{D}_m(A)$ を構成し、その帰納的極限が $\pi_m(\widehat{\mathcal{U}}(A)) \otimes \mathbb{Q}$ を計算することを保証する。
• 特に球面との関係がよく理解されている $\mathcal{U}_n(\mathbb{C})$ の有理ホモトピー群の性質を、一般のAF代数の計算に活用する。
• 強い変形リトラクション $r$ を通じて $\widehat{\mathcal{U}}(A)$ と $\widehat{\mathcal{GL}}(A)$ の間のホモトピー同値性を活用する。
• Thomsenの非安定K理論と擬ユニタリの枠組みを用い、関手 $F_m(A) = \pi_m(\widehat{\mathcal{U}}_0(A)) \otimes \mathbb{Q}$ を定義する。
• 帰納的極限における $F_m$ 関手の連続性を活用し、計算を有限次元部分代数に還元する。
• 写像 $\iota_A: A \to M_n(A)$ が有理ホモトピー群に与える影響を解析することで、有理K安定性と非自明な有限次元表現の不在の同値性を確立する。

実験結果

リサーチクエスチョン

• RQ1 AF代数の擬ユニタリ群の有理ホモトピー群は、そのBratteli図から計算可能か？
• RQ2 AF代数においてK安定性と有理K安定性の関係は何か？
• RQ3 非自明な有限次元表現が存在しないことは、AF代数における有理K安定性とどのように関係するか？
• RQ4 AF代数の $\widehat{\mathcal{U}}(A)$ の有理ホモトピー群は、Bratteli図から導かれる $\mathbb{Q}$-ベクトル空間の帰納的極限として特徴づけられるか？
• RQ5 AF代数において有理K安定性とK安定性は同値か？ もしそうならば、どのような構造的条件の下で成立するか？

主な発見

• AF代数 $A$ の擬ユニタリ群の有理ホモトピー群 $\pi_m(\widehat{\mathcal{U}}(A)) \otimes \mathbb{Q}$ は、そのBratteli図から構成された $\mathbb{Q}$-ベクトル空間の図式 $\mathcal{D}_m(A)$ の帰納的極限と同型である。
• AF代数 $A$ がK安定であることと有理K安定であることの同値性が確立され、このクラスにおいて二つの概念の強い同値性が示された。
• AF代数がK安定であることと、非自明な有限次元表現をもたないことの同値性が示され、K安定性の表現論的特徴づけが得られた。
• AF代数の有理K安定性は、そのBratteli図から直接判定可能であり、有限次元和成分の最小次元がすべての $k$ に対して $\min\dim(A_p) \geq \lceil (k+1)/2 \rceil$ を満たすかどうかを確認することで可能である。
• Thomsenの定理（$K_0(A)$ に大きな分母が存在するならば $K$-安定）の一部を再現し、有限次元表現が存在しないことは、$K_0(A)$ に大きな分母がなくても $K$-安定性を保証する十分条件であることを示した。
• 例として、$K_0(A)$ に大きな分母が存在しないが、$A$ は依然として $K$-安定である例を提示し、有限次元表現の不在が、大きな分母よりも弱く、より自然な条件であることを示した。