[論文レビュー] The coarse Baum--Connes conjecture and groupoids II

Jean-Louis Tu|arXiv (Cornell University)|May 3, 2010

Advanced Operator Algebra Research参考文献 18被引用数 9

ひとこと要約

本稿では、有界幾何を備えた非離散的で固有な距離空間に対して、群ガロア $ G(M) $ を導入することで、粗い Baum–Connes 予想を非離散的、固有な距離空間へ拡張する。係数付きの予想が閉部分空間に関して遺伝的であることを証明し、$ G(M) $ における Baum–Connes 予想の係数付き版が閉部分空間に対しても成り立つことを示す。これにより、以前の結果が一般化され、粗いホモトピーに関しての不変性を示す枠組みが提供される。

ABSTRACT

Given a (not necessarily discrete) proper metric space $M$ with bounded geometry, we define a groupoid $G(M)$. We show that the coarse Baum--Connes conjecture with coefficients, which states that the assembly map with coefficients for G(M) is an isomorphism, is hereditary by taking closed subspaces.

研究の動機と目的

• 有界幾何を備えた非離散的で固有な距離空間へ、係数付きの粗い Baum–Connes 予想を一般化すること。
• このような空間に関連する群ガロア $ G(M) $ を定義し、以前の研究における離散的ケースの構成を拡張すること。
• 群ガロア制限を用いて、閉部分空間に関しての粗い Baum–Connes 予想の係数付き版が遺伝的であることを証明すること。
• 群ガロアの閉部分群ガロアに対し、係数付き Baum–Connes 予想が成立するための条件を確立すること。
• 粗いホモトピー同値に関しての不変性に及ぼす影響を検討し、係数写像への拡張における制限を特定すること。

提案手法

• 有界幾何を備えた固有な距離空間 $ M $ から、$ M \times M $ の制御された部分集合を用いて、群ガロア $ G(M) $ を構成し、$ \beta(M \times M) $ に埋め込む。
• 群ガロア $ G(M) $ を、離散的ケースを一般化した、エタール的で局所コンパクトかつ $ \sigma $-コンパクトな群ガロアとして構造化する。
• 群ガロア $ G(M) $ における係数付き Baum–Connes 代数写像を用いて、粗い Baum–Connes 予想を $ \ell^\infty(M, \mathcal{K}) $ における係数付きで定義する。
• 群ガロア $ G $ に対して係数付き Baum–Connes 予想が成り立つならば、任意の閉部分群ガロア $ H \subset G $に対しても成り立つことを、一般的な位相的条件のもとで証明する。
• 次元に関する帰納法と、-equivariant $ K $-理論における完全列を用いて、関連する $ KK $-理論列の完全性を検証する。
• 五重補題を適用して、係数付きの場合の代数写像の同型を結論づける。これには、カットオフ関数の存在と、適切な群ガロア作用の性質を活用する。

実験結果

リサーチクエスチョン

• RQ1 係数付きの粗い Baum–Connes 予想は、離散的距離空間を超えて、一般の固有な距離空間（有界幾何を備える）へ拡張可能か？
• RQ2 群ガロア $ G(M) $ に対して係数付き Baum–Connes 予想が成り立つならば、その閉部分群ガロアに対しても同様に成り立つか？
• RQ3 係数付き Baum–Connes 予想が閉部分空間への制限に関して保存されるための条件は何か？
• RQ4 粗いホモトピー同値に関して、群ガロア構成 $ G(M) $ はどのように振る舞い、係数写像への拡張にはどのような制限があるか？
• RQ5 係数付きの粗い Baum–Connes 写像が粗い同値に関して不変となる範囲はどの程度か。また、どのような障害が生じるか？

主な発見

• 粗い Baum–Connes 予想の係数付き版が $ G(M) $ で成り立つための必要十分条件は、$ G(M) $ に対して係数付き Baum–Connes 予想が成り立つことである。これは、離散的ケースを非離散的固有距離空間へ一般化する。
• 予想の係数付き版は遺伝的である：$ G(M) $ で成り立つならば、任意の閉部分群ガロア $ H \subset G(M) $ に対しても成り立つ。これはやや弱い位相的条件のもとで成立する。
• 証明は、適切な群ガロア作用におけるカットオフ関数の存在と、-equivariant $ K $-理論における完全列の保存に依存している。
• 係数が $ UC_b(\underline{E}\Gamma, \mathcal{K}) $ である場合、完全な Baum–Connes 代数写像が同型である。これは、すべての有限部分群 $ F \subset \Gamma $ に対して $ \underline{E}\Gamma $ が $ F $-一様に収縮可能であるとき成立する。
• 粗いホモトピーに関して、係数写像への自然な拡張が成立しない。これは、粗い同値に対して適切な群ガロア準同型 $ G(X) \to G(Z) $ が存在しないことによる。
• 群ガロア $ G(M) $ がエタール的で、局所コンパクトかつ $ \sigma $-コンパクトであることが示され、標準的な $ K $-理論的道具の適用が保証される。