[論文レビュー] The equivariant analytic index for proper groupoid actions

Alan L. T. Paterson|ArXiv.org|Apr 20, 2007

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

ひとこと要約

本稿は、$G$-コンパクトで$C^{\infty,0}$な$G$-空間上の連続的ファミリー群ガロアの正しい作用に関して、$L^m_{\rho,\rho}$-作用素の族の解析的インデックスを構成する。古典的なアティヤ＝シンガーのインデックス定理を、コンネスとモスコビチの平均化技術の群ガロア版を用いたカスパロフモジュール構成によって群ガロアの設定に拡張し、滑らかな群ガロアのためのコンネスの一般予想を証明するための基盤的段階を確立する。

ABSTRACT

The paper constructs the analytic index for an elliptic pseudodifferential family of $L^{m}_{ρ,\de}$-operators invariant under the proper action of a continuous family groupoid on a $G$-compact, $C^{\infty,0}$ $G$-space.

研究の動機と目的

• 連続的ファミリー群ガロアが$C^{\infty,0}$ $G$-空間上で正しい作用する設定に、アティヤ＝シンガーのインデックス定理を拡張すること。
• $C^*_{\text{red}}(G)$の$K$-理論における解析的インデックスを構成すること、これは滑らかな群ガロアのためのコンネスの一般予想において重要な段階である。
• 古典的な解析的インデックス構成を$L^m_{\rho,\rho}$-作用素およびその連続的に変化する族に一般化すること。
• フィリップスの等変$K$-理論に依存しないように、カスパロフモジュールを直接用いてインデックスを構成すること。
• 正しい$C^{\infty,0}$ $G$-空間に、$C^{\infty,0}$左ハール系が存在することを確立すること、これはインデックス構成の技術的前提条件である。

提案手法

• 連続的ファミリー群ガロア作用の下での$L^m_{\rho,\rho}$-擬微分作用素の局所的連続的変動族の理論を構築する。
• コンネスとモスコビチの同次空間への方法を模倣した群ガロア平均化技術に基づいて、解析的インデックスを表すカスパロフモジュールを構成する。
• 切断関数を用いた平均化技術を適用し、非等変族から$G$-不変かつ楕円的族の作用素を生成する。
• 正しい$C^{\infty,0}$ $G$-空間に$C^{\infty,0}$左ハール系が存在することを用いて、平均化プロセスにおける滑らかさを保証する。
• カスパロフモジュールを介して$K_0(C^*_{\text{red}}(G))$における要素として解析的インデックスを確立し、古典的インデックス構成を一般化する。
• ヒルズムとスカンドラスの特徴的微分作用素の計算と$KK$-理論に関する結果を活用し、インデックス構成の枠組みを支援する。

実験結果

リサーチクエスチョン

• RQ1 連続的ファミリー群ガロアの正しい作用の下で、楕円的擬微分作用素族の解析的インデックスはどのように構成できるか？
• RQ2 古典的な解析的インデックス構成は、群ガロア設定における$L^m_{\rho,\rho}$-作用素および連続的に変化する族に一般化可能か？
• RQ3 直接的なカスパロフモジュールアプローチを用いて、フィリップスの等変$K$-理論に依存せずに解析的インデックスを構成することは可能か？
• RQ4 $C^{\infty,0}$左ハール系は、インデックス構成に必要な滑らかさと不変性を保証するために果たす役割は何か？
• RQ5 群ガロア平均化技術は、コンネスとモスコビチの方法を連続的ファミリー群ガロアの文脈にどのように一般化するか？

主な発見

• 本稿は、$G$-コンパクトで$C^{\infty,0}$な$G$-空間上での$G$-不変な$L^m_{\rho,\rho}$-作用素の楕円的族の解析的インデックスを、$K_0(C^*_{\text{red}}(G))$の要素として構成する。
• 連続的ファミリー群ガロアと正しい$C^{\infty,0}$ $G$-空間は、常に$C^{\infty,0}$左ハール系を有することが証明され、これは以前の結果よりも技術的に重要な進展である。
• 解析的インデックスは、群ガロア平均化プロセスによって構成されたカスパロフモジュールを通じて実現され、フィリップスの等変$K$-理論への依存を回避する。
• この構成は、連続的ファミリー群ガロアおよび$L^m_{\rho,\rho}$-作用素の設定に、古典的なアティヤ＝シンガーのインデックス定理を一般化する。
• この方法は、滑らかな群ガロアのためのコンネスの一般予想を証明するための基盤的段階を提供し、インデックス定理の解析的側面を確立する。
• この枠組みは、最終節で示唆されたように、将来のトポロジカルインデックスおよびコホモロジカルインデックス公式への拡張を支援する。