[論文レビュー] 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列を一般化し、核次元および動的複雑性からの道具を拡張する。K理論における消滅定理を証明し、Künneth公式の永続性結果を確立する：C*-代数が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理論における境界写像を用いて、イデアルが厳密に存在しない場合でも、長完全系列に類似した構造を定義する。
• 核次元および有限動的複雑性にインspiredした技術を用いて、K理論の振る舞いを制御する。
• K理論における和と積の写像を用いて、正確性および単射性・全射性の性質を分析する。
• 正確なイデアルが存在しない状況において、条件付き期待値およびテンソル積ファンクターを用いて近似リフトを構成する。
• 特にエタール群族を対象として、この枠組みを応用し、永続性結果を導出する。

実験結果

リサーチクエスチョン

• 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公式を満たす。
• 豊富で、第二可算的で、局所有限で、ハウスドルフなエタール群族に対して、Künneth公式を満たす閉包部分群族のクラスは、分解可能性に関して閉じている。
• 群族が強い有限動的複雑性を持つならば、その簡約C*-代数はKünneth公式を満たす。
• 有限分解複雑性を有する有界幾何の距離空間の均一ルーズ代数は、強い有限動的複雑性を持つ群族から生じるため、Künneth公式を満たす。