[論文レビュー] The stabilization theorem for proper groupoids

Alan L. T. Paterson|ArXiv.org|Sep 22, 2009

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

ひとこと要約

この論文は、局所コンパクトで、ハウスドルフで、第二可算な、適切な群コアの設定において、カスパロフおよびフィリップスの等変安定化定理を一般化する、適切な群コアのための安定化定理を確立する。任意の $G$-ヒルベルト空間モジュール $P$ に対して、直和 $P \oplus P_G^\infty$ が $P_G^\infty$ に同型であることを示し、$P_G$ を $C_c(G)$ の完備化として定義することで、等変 KK理論および群コアインデックス理論の基礎的結果を拡張する。

ABSTRACT

The stabilization theorem for $A$-Hilbert modules was established by G. G. Kasparov. The equivariant version, in which a locally compact group $H$ acts properly on a locally compact space $Y$, was proved by N. C. Phillips. This equivariant theorem involves the Hilbert $(H,C_{0}(Y))$-module $C_{0}(Y,L^{2}(H)^{\infty})$. It can naturally be interpreted in terms of a stabilization theorem for proper groupoids, and the paper establishes this theorem within the general proper groupoid context. The theorem has applications in equivariant KK-theory and groupoid index theory.

研究の動機と目的

• 群作用のためのフィリップスの等変安定化定理を、より広い意味での適切な群コアの文脈に一般化すること。
• 群コアヒルベルト空間モジュールの観点から安定化定理を定式化することで、群コア等変 KK理論および非可換インデックス理論の自然な枠組みを提供すること。
• 適切な群コア上の $G$-ヒルベルト空間バンドルが一般には局所自明でないという技術的課題に対処し、古典的バンドル理論を超えた新しい構成を要すること。
• $C^*$-代数の標準的安定化定理の群コア版を確立すること。$A^\infty$ の代わりに、適切な群コア $G$ のための $P_G^\infty$ を用いること。
• 将来的な等変インデックス理論および群コアフレームワーク内での一般化されたグリーン＝ローゼンバーグの定理の発展を支援すること。

提案手法

• $G$ を単位空間 $Y$ を持つ適切な群コアとする。$P_G$ を、前ヒルベルト $C_0(Y)$-モジュール $C_c(G)$ の完備化として定義する。
• 分区関数と $G$-不変な切断 $\phi$ を用いて、$G$-不変で等長的かつ $C_0(Y)$-線形な写像 $W: C_0(Y,E) \to C_0(Y,E \otimes L^2(G)^\infty)$ を構成する。
• 群コア版のミンゴ＝フィリップスの構成を用いて、$W$ を $G$-等変的、随伴可能で等長的な写像 $V: P \to P \otimes_{C_0(Y)} P_G^\infty$ に持ち上げる。
• 写像 $V$ と $1 - VV^*$ を用いて、$P \oplus (P \otimes_{C_0(Y)} P_G^\infty)$ 上にユニタリ作用素 $U$ を定義し、$G$-作用と内積を保存する。
• 非等変安定化定理とモジュール同型を用いて、重要な同型 $P \oplus P_G^\infty \cong P_G^\infty$ を導出する。
• すべての写像が $G$-等変的で連続的かつ $C_0(Y)$-モジュール構造を保存することを確認し、同型が $G$-ヒルベルト空間モジュールの圏において有効であることを保証する。

実験結果

リサーチクエスチョン

• RQ1 群作用のための等変安定化定理を、適切な群コアの文脈にどのように一般化できるか？
• RQ2 群コアフレームワークにおいて、ヒルベルト空間モジュール $L^2(H) \otimes C_0(Y)^\infty$ の適切な類似物は何か？
• RQ3 関連する $G$-ヒルベルト空間バンドルが局所自明でない場合に、$G$-等変的同型 $P \oplus P_G^\infty \cong P_G^\infty$ をどのように構成できるか？
• RQ4 ミンゴ＝フィリップスの手法を群コア等変ヒルベルト空間モジュールに拡張するために必要な技術的ツールは何か？
• RQ5 適切な群コアのための安定化定理は、群コア等変 KK理論およびインデックス理論の発展をどのように支援するか？

主な発見

• 適切な群コアのための安定化定理が確立された：任意の $G$-ヒルベルト空間モジュール $P$ に対して、$G$-等変的同型 $P \oplus P_G^\infty \cong P_G^\infty$ が存在する。
• モジュール $P_G$ は $C_c(G)$ の完備化として定義され、$G$-ヒルベルト空間モジュールの普遍的安定化モジュールを形成する。
• 構成は、$G$-不変な切断 $\phi$ と分区関数を用いて、$G$-等変的で等長的な写像 $W$ を定義し、それを $G$-等変的同型 $V$ に持ち上げることに依存する。
• 主要な同型は、$P \oplus (P \otimes_{C_0(Y)} P_G^\infty)$ 上のユニタリ作用素 $U$ を用いて構成され、これがユニタリ的かつ $G$-等変的であることが示された。
• 非等変安定化定理とモジュール同型を用いて、$P_G^\infty \cong (P \otimes_{C_0(Y)} P_G^\infty) \oplus P_G^\infty$ を導出し、最終的な同型を可能にする。
• この結果は、$P_G^\infty$ が $G$-等変ヒルベルト空間モジュールの圏においてすべての $G$-ヒルベルト空間モジュールを安定化することを確認し、古典的結果を群コアの文脈に一般化した。