[论文解读] AF-algebras and rational homotopy theory

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

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

一句话总结

本文提出了一种方法，通过其布雷泰利图（Bratteli diagram）计算AF代数的拟单位群的有理同伦群，并证明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-稳定的，并将其与表示理论联系起来。
• 提供一种图示方法（通过布雷泰利图）来计算作为Q-向量空间归纳极限的有理同伦群。
• 证明AF代数中非零有限维表示的缺失等价于K-稳定性。

提出的方法

• 从AF代数A的布雷泰利图构造一个$\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代数拟单位群的有理同伦群？
• RQ2 AF代数的K-稳定性与有理K-稳定性之间存在何种关系？
• RQ3 非零有限维表示的缺失如何与AF代数中的有理K-稳定性相关？
• RQ4 能否通过从布雷泰利图导出的$\mathbb{Q}$-向量空间的归纳极限来刻画$\widehat{\mathcal{U}}(A)$的有理同伦群？
• RQ5 有理K-稳定性是否等价于AF代数的K-稳定性？如果是，其结构条件是什么？

主要发现

• AF代数$A$的拟单位群的有理同伦群$\pi_m(\widehat{\mathcal{U}}(A)) \otimes \mathbb{Q}$同构于从其布雷泰利图构造的$\mathbb{Q}$-向量空间图$\mathcal{D}_m(A)$的归纳极限。
• AF代数$A$是K-稳定的当且仅当它是有理K-稳定的，这在该类代数中建立了两个概念之间的强等价性。
• AF代数是K-稳定的当且仅当它没有非零有限维表示，从而提供了K-稳定性的一个表示理论判据。
• AF代数的有理K-稳定性可直接从其布雷泰利图判断：只需检查其有限维直和项的最小维数是否足够快地增长，以满足对所有$k$有$\min\dim(A_p) \geq \lceil (k+1)/2 \rceil$。
• 该结果部分恢复了汤姆森关于$K_0(A)$中存在大分母蕴含$K$-稳定性的定理，表明即使$K_0(A)$中无大分母，非零有限维表示的缺失仍是$K$-稳定性的充分条件。
• 文中提供了一个例子：$K_0(A)$中无大分母，但$A$仍是$K$-稳定的，表明非零有限维表示的缺失是比大分母更弱且更自然的条件。