[论文解读] Approximate ideal structures and K-theory

Rufus Willett|arXiv (Cornell University)|Aug 25, 2019

Advanced Topology and Set Theory参考文献 28被引用 4

一句话总结

本文引入C*-代数中的近似理想结构以研究K-理论，推广了Mayer-Vietoris序列，并扩展了核维数与动力复杂性的工具。证明了与Baum-Connes猜想相关的K-理论消去定理，并建立了Künneth公式的保持性结果：若一个C*-代数可分解为满足Künneth公式的子代数，则整个代数也满足Künneth公式。

ABSTRACT

We introduce a notion of approximate ideal structure for a $C^*$-algebra, and use it as a tool to study $K$-theory groups. The notion is motivated by the classical Mayer-Vietoris sequence, by the theory of nuclear dimension as introduced by Winter and Zacharias, and by the theory of dynamical complexity introduced by Guentner, Yu, and the author. A major inspiration for our methods comes from recent work of Oyono-Oyono and Yu in the setting of controlled $K$-theory of filtered C*-algebras; we do not, however, use that language in this paper. We give two main applications. The first is a vanishing result for $K$-theory that is relevant to the Baum-Connes conjecture. The second is a permanence result for the Künneth formula in $C^*$-algebra $K$-theory: roughly, this says that if $A$ can be decomposed into a pair of subalgebras $(C,D)$ such that $C$, $D$, and $C\cap D$ all satisfy the Künneth formula, then $A$ itself satisfies the Künneth formula.

研究动机与目标

• 开发一种新框架——近似理想结构——以分析C*-代数中的K-理论。
• 将经典工具（如Mayer-Vietoris序列）推广至非理想分解。
• 建立C*-代数通过分解满足Künneth公式的条件。
• 提供与Baum-Connes猜想相关的K-理论消去结果。
• 将抽象的K-理论工具与群胚C*-代数中的几何与动力复杂性联系起来。

提出的方法

• 引入近似理想结构的概念，作为C*-代数中理想分解的推广。
• 利用K-理论中的边界映射，即使在不存在严格理想的情况下，也定义类似长正合序列的结构。
• 应用受核维数与有限动力复杂性启发的技术，以控制K-理论行为。
• 使用K-理论中的求和映射与乘积映射，分析精确性以及单射/满射性质。
• 利用条件期望与张量积函子，在缺乏精确理想的情况下构造近似提升。
• 将该框架应用于群胚C*-代数，特别是étale群胚，以导出保持性结果。

实验结果

研究问题

• RQ1 在何种条件下，可通过近似理想分解而非精确理想来控制C*-代数的K-理论？
• RQ2 Mayer-Vietoris型长正合序列如何推广至超越理想分解的情形？
• RQ3 当C*-代数的代数分解满足何种条件时，K-理论的Künneth公式仍保持成立？
• RQ4 动力复杂性与核维数在K-理论消去结果中起何种作用？
• RQ5 能否通过近似理想结构与边界类分析来接近Baum-Connes猜想？

主要发现

• 建立了K-理论的消去定理，提供了在与Baum-Connes猜想相关的情形下K-群消失的条件。
• 本文证明了保持性结果：若C*-代数A可分解为子代数C、D及C ∩ D，且三者均满足Künneth公式，则A本身也满足Künneth公式。
• 对于满足充裕性、第二可数性、局部紧致性与Hausdorff性的étale群胚，满足Künneth公式的紧开子群胚类在可分解性下是封闭的。
• 若一个群胚具有强有限动力复杂性，则其约化C*-代数满足Künneth公式。
• 具有有限分解复杂性的有界几何度量空间的统一Roe代数满足Künneth公式，因其源于具有强有限动力复杂性的群胚。