[論文レビュー] Homology and K-theory of dynamical systems. I. torsion-free ample groupoids

Valerio Proietti, Makoto Yamashita|arXiv (Cornell University)|Jun 14, 2020

Advanced Operator Algebra Research参考文献 34被引用数 6

ひとこと要約

本稿は、強い Baum–Connes予想を満たし、捩れのない豊富な群コアの下で、整数係数の群コアホモロジーと縮小群コア C*-代数の K-理論の間のスペクトル系列を確立する。Meyer と Nest の三角圏枠組みを用いて、随伴函手と単体的対象を介した明示的な射影的分解を構成し、収束するスペクトル系列を得た。この系列は低次ホモロジー次元で退化し、捩れのないホモロジー群のおかげで HK 予想が成り立つ場合を説明する。

ABSTRACT

Given an ample groupoid, we construct a spectral sequence with groupoid homology with integer coefficients on the second sheet, converging to the K-groups of the (reduced) groupoid C*-algebra, provided the groupoid has torsion-free stabilizers and satisfies a strong form of the Baum-Connes conjecture. The construction is based on the triangulated category approach to the Baum-Connes conjecture developed by Meyer and Nest. We also present a few applications to topological dynamics and discuss the HK conjecture of Matui.

研究の動機と目的

• カントール集合上の力学系の文脈において、群コアホモロジーと縮小群コア C*-代数の K-理論の間の体系的関係を確立すること。
• 群コアホモロジーと K-理論が同型となる条件を同定することで、HK 予想の枠組みを拡張すること、特に低次元および捩れのない設定において。
• 三角圏的手法を用いて、豊富な群コアの文脈における Baum–Connes 予想のためのカテゴリー的およびホモロジー的基盤を提供すること。
• Meyer–Nest フレームワークによる射影的分解と補完的部分圏を活用することで、離散群 K-理論の結果を群コア設定に一般化すること。

提案手法

• Meyer と Nest が開発した Baum–Connes 予想の三角圏的アプローチを用い、等変 KK-圏における制限および誘導函手に適用することで、スペクトル系列を構成する。
• 群コアとその単位空間の KK-圏間の随伴函手を用いて、群コアホモロジーの標準的バー複体をモデル化する単体的対象を生成する。
• 十分な射影的対象と補完的部分圏を備えたホモロジー的イデアルを、等変 KK-理論の三角圏において定義し、射影的分解の構成を可能にする。
• 得られたスペクトル系列の E²頁が Hₚ(G, K_q(A)) に同型であり、K_{p+q}(G ⋉ A) に収束することを示す。ここで A は分離可能な G-C*-代数である。
• A = C₀(X) の場合、スペクトル系列の E² 頁が Hₚ(G, K_q(ℂ)) であり、K_{p+q}(C*rG) に収束することを示し、縮小群コア C*-代数の K-理論のホモロジー的モデルを提供する。
• 強いつばま–コンス予想を用いて、特に低ホモロジー次元の状況において、スペクトル系列の収束性と安定性を保証する。

実験結果

リサーチクエスチョン

• RQ1 整数係数の群コアホモロジーが、縮小群コア C*-代数の K-理論を決定する条件は何か？
• RQ2 Meyer と Nest の三角圏枠組みを、豊富な群コアの文脈において明示的な射影的分解を構成するためにどのように適合させられるか？
• RQ3 スペクトル系列がどのような場合に退化し、それは HK 予想の妥当性とどのように関係するか？
• RQ4 安定化子の捩れのなさが、スペクトル系列における拡張問題の不在を保証するために果たす役割は何か？
• RQ5 群コア C*-代数の K-群は、タイリング空間や有限型の部分系列から生じるような、位相的力学系におけるコhomological 不変量とどのように関係するか？

主な発見

• G が捩れのない安定化子をもち、強い Baum–Connes 予想を満たす豊富な群コアである限り、任意の分離可能な G-C*-代数 A に対して、E² 頁が Hₚ(G, K_q(A)) で K_{p+q}(G ⋉ A) に収束する収束スペクトル系列が構成される。
• A = C₀(X) の場合、スペクトル系列の E² 頁が Hₚ(G, K_q(ℂ)) で、K_{p+q}(C*rG) に収束する。これにより、縮小群コア C*-代数の K-理論のホモロジー的モデルが得られる。
• 次数制約のおかげで、低ホモロジー次元においてスペクトル系列が退化し、その場合の K-理論の計算が簡略化される。
• 群コアホモロジーの最高次数群はしばしば捩れがなく、拡張問題が生じないため、低次元設定における HK 予想の成立が説明される。
• 構成により、群コアが低ホモロジー次元かつ捩れのないホモロジーを持つ場合に、HK 予想のカテゴリー的実現が得られ、既知の肯定的ケースに対する構造的説明が提供される。
• 随伴函手と単体的対象の使用により、三角 KK-圏における明示的な射影的分解が得られ、Meyer と Nest の理論的枠組みがこの幾何的文脈で正当化される。