[論文レビュー] A Geometric Description of Equivariant K-Homology for Proper Actions

Paul Baum, Nigel Higson+1 more|arXiv (Cornell University)|Jul 12, 2009

Advanced Operator Algebra Research参考文献 10被引用数 13

ひとこと要約

この論文は、G-有限で、G- CW複体Xが、等長的サイクルとボルディズムを用いて構成された幾何的等長的Kホモロジーが、カスパロフの等長的KK理論群 $KK^G_*(C_0(X), \mathbb{C})$ に同型であることを確立する。ルックとオリバーの結果を活用し、十分な数の等長的ベクトルバンドルが存在することを示し、ホモロジー理論 $k^G_*(X)$ を構成することで、著者たちは、アセンブリーマップ $\mu: K^G_*(X) \to KK^G_*(C_0(X), \mathbb{C})$ が同型であることを証明し、離散群に対するバウム＝コンヌ予想の元々の形式と改訂された形式の両立を達成する。

ABSTRACT

Let G be a discrete group and let X be a G-finite, proper G-CW-complex. We prove that Kasparov's equivariant K-homology groups KK^G(C_0(X),\C) are isomorphic to the geometric equivariant K-homology groups of X that are obtained by making the geometric K-homology theory of Baum and Douglas equivariant in the natural way. This reconciles the original and current formulations of the Baum-Connes conjecture for discrete groups.

研究の動機と目的

• 離散群に対して、元々の幾何的バージョンのバウム＝コンヌ予想が、改訂されたKK理論的バージョンと一致するかどうかという長年の未解決問題を解決すること。
• G-有限で、適切なG-CW複体Xに対して、幾何的からKK理論的等長的Kホモロジーへの自然なアセンブリーマップ $\mu$ が同型であることを確立すること。
• ホモロジー理論 $k^G_*$ を適切に形式化することで、幾何的等長的Kホモロジー理論が、カスパロフの $KK^G_*$-理論と同じ群を回復することを示すこと。
• ルックとオリバーの定理によって保証される、十分な数の等長的ベクトルバンドルの存在が、非等長的技法を等長的設定に拡張可能であることを示すこと。

提案手法

• G-有限で、適切なG-CW複体X上で、明示的に $\mathbb{Z}/2\mathbb{Z}$-次数ホモロジー理論であることが明白な新しいホモロジー理論 $k^G_*(X)$ を導入し、幾何的およびKK理論的Kホモロジーの間のブリッジを提供すること。
• $k^G_*(X)$, $K^G_*(X)$, および $KK^G_*(C_0(X), \mathbb{C})$ を含む可換図式を構築し、$\mu$ を中心的な写像とする。
• LückとOliverの結果、すなわち $C^*(X,G)$ が射影の近似単位を持つことを利用して、$K^G_0(X) \cong K_0(C^*(X,G))$ を示し、X 上に十分な数の等長的ベクトルバンドルが存在することを示すこと。
• ホモロジー理論 $k^G_*$ における同型性を示すことで、写像 $k^G_*(X) \to KK^G_*(C_0(X), \mathbb{C})$ が同型であることを証明すること。
• サイクルがボルディズムや直和に関して同値であることを保証するため、ベクトルバンドル変形および $\operatorname{Spin}^c$-構造の技法を適用すること。
• $\underline{E}G$ の普遍的性質を活用し、$K^j(G)$ を $\underline{E}G$ のG-有限部分複体上の $K^G_*(X)$ の直和極限に結びつけることにより、幾何的および解析的表現を結びつけること。

実験結果

リサーチクエスチョン

• RQ1 G-有限で、適切なG-CW複体Xに対して、幾何的等長的Kホモロジー群 $K^G_*(X)$ は、カスパロフの $KK^G_*(C_0(X), \mathbb{C})$ に同型であるか？
• RQ2 離散群に対して、元々の幾何的バージョンのバウム＝コンヌ予想は、改訂されたKK理論的バージョンと調和するか？
• RQ3 ルックとオリバーによって保証される、X 上に十分な数の等長的ベクトルバンドルが存在することは、非等長的Kホモロジー技法を等長的設定に拡張可能であることを示唆するか？
• RQ4 自然なアセンブリーマップ $\mu: K^G_*(X) \to KK^G_*(C_0(X), \mathbb{C})$ は同型であるか？ もしそうならば、どのような条件下で成立するか？

主な発見

• 任意のG-有限で、適切なG-CW複体Xに対して、幾何的等長的Kホモロジー群 $K^G_*(X)$ は、カスパロフの $KK^G_*(C_0(X), \mathbb{C})$ に同型であり、離散群に対するバウム＝コンヌ予想の元々の形式と改訂された形式の等価性が証明された。
• ディラック作用素のインデックスを介して定義される写像 $\mu: K^G_*(X) \to KK^G_*(C_0(X), \mathbb{C})$ は同型であり、両理論間の標準的同型を確立した。
• ルックとオリバーによって証明された、X 上に十分な数の等長的ベクトルバンドルが存在することは、交差積 $C^*(X,G)$ が射影の近似単位を持つことと同値であり、これにより $K^G_0(X) \cong K_0(C^*(X,G))$ が導かれる。
• 明示的にホモロジー理論であることが明白な $\mathbb{Z}/2\mathbb{Z}$-次数ホモロジー理論 $k^G_*(X)$ は、$K^G_*(X)$ および $KK^G_*(C_0(X), \mathbb{C})$ を含む可換図式に適合し、写像 $k^G_*(X) \to KK^G_*(C_0(X), \mathbb{C})$ は同型である。
• G-コンパクトで適切なG多様体上の任意の複素Gベクトルバンドルは、同型を除いて一意的な滑らか構造を持つ。これは、$C^*(X,G)$ のC*-代数的構造の結果である。
• この結果は、改訂された形式におけるバウム＝コンヌアセンブリーマップが、元々の幾何的形式と同型であることを示し、離散群に対する二つの予想的形式の等価性を確認する。