[論文レビュー] On the analogy between real reductive groups and Cartan motion groups. III: A proof of the Connes-Kasparov isomorphism

Alexandre Afgoustidis|arXiv (Cornell University)|Feb 29, 2016

Advanced Algebra and Geometry参考文献 21被引用数 3

ひとこと要約

この論文は、再帰的リー群とそのカルタン運動群の間のマッキーの類似性を活用し、変形技術とパラメータ依存積分の連続性を用いて、関連するC*-代数のK理論における剛性を確立することで、再帰的リー群に対するコンヌ＝カスパロの同型の新しい証明を提供する。主な結果は、ホモトピー不変性とモリタ同値性を用いた位相的証明であり、ヘイソンの複素単純群に対する以前の結果を一般の再帰的ケースに拡張する。

ABSTRACT

Alain Connes and Nigel Higson pointed out in the 1990s that the Connes-Kasparov "conjecture"' for the K-theory of reduced groupe $C^\ast$-algebras seemed, in the case of reductive Lie groups, to be a cohomological echo of a conjecture of George Mackey concerning the rigidity of representation theory along the deformation from a reductive Lie group to its Cartan motion group. For complex semisimple groups, Nigel Higson established in 2008 that Mackey's analogy is a real phenomenon and does lead to a simple proof of the Connes-Kasparov isomorphism. We here turn to more general reductive groups and use our recent work on Mackey's proposal, together with Higson's work, to obtain a new proof of the Connes-Kasparov isomorphism.

研究の動機と目的

• 再帰的リー群に対するコンヌ＝カスパロの同型の新しい証明を、実再帰的群とカルタン運動群の間のマッキーの類似性を拡張することにより得ること。
• 変形理論と誘導変換の連続性を用いて、ディラック誘導写像 μ: R(K) → Kj[C*r(G)] が同型であることを示すこと。
• 再帰的群の最大コンパクト部分群の表現論によって、再帰的群のC*-代数のK理論が完全に記述されることを示すこと。
• ヘイソンの以前の複素単純群に対する証明を、変形および剛性技術を用いて、再帰的リー群の全クラスに一般化すること。

提案手法

• 再帰的群 G1 = G とそのカルタン運動群 G0 = K ⋉(g/k) の間を滑らかに補間する一意のパラメータ族 (Gt)t∈R を構成すること。
• パラボリック部分群に関連する放物型部分群およびアーベル部分群に沿った積分を用いて、ba[p] × [0,1] → C への変換 bf p を定義し、臨界表現の行列係数を用いること。
• 劣微分収束および指数関数的座標を用いて、t = 0 における変換 bf p の連続性を証明し、極限において特異性が生じないことを示すこと。
• pλC[p]pλ と C[p] 間のモリタ同値性を用いて、K理論同型問題を部分代数レベルに還元すること。
• K理論のホモトピー不変性を適用し、t = 1 における評価がK群に同型を誘導することを結論づけること。
• 変換の連続性を活用して、部分商代数 C[p] の剛性を確立し、K理論における同型を確立すること。

実験結果

リサーチクエスチョン

• RQ1 再帰的リー群に対するコンヌ＝カスパロの同型は、変形理論とカルタン運動群とのマッキーの類似性を用いて証明可能か？
• RQ2 変化する部分群に沿ったパラメータ依存積分の連続性は、関連するC*-代数のK理論における剛性を保証するか？
• RQ3 ディラック誘導写像 μ: R(K) → Kj[C*r(G)] は、複素単純群に限らず、すべての連結再帰的リー群に対して同型か？
• RQ4 ホモトピー不変性を用いて、再帰的群のC*-代数のK理論は、そのカルタン運動群のK理論から回復可能か？
• RQ5 Gt 上の臨界表現の構造は、t = 1 から t = 0 にかけてどのように連続的に変形するか？ そしてこれは C*r(G) のK理論にどのような意味を持つのか？

主な発見

• ba[p] × [0,1] 上で定義された変換 bf p は連続であり、t = 0 における部分商代数 C[p] の剛性を確立する。
• 定理2.1における写像 α1 は同型である。これは再帰的リー群に対するコンヌ＝カスパロの同型が確認されたことを示す。
• ホモトピー不変性により、t = 1 における評価が K(pλC[p]pλ) と K(pλC[p]pλ) のK群に同型を誘導する。
• 写像 μ: R(K) → Kj[C*r(G)] は、複素単純群に限らず、すべての連結再帰的リー群に対して同型である。
• 証明により、変形と連続性を用いて、K の表現論と C*r(G) のK理論との直接的な関係が確立され、ヘイソンの以前の結果が一般化される。
• コンヌ＝カスパロの予想が示唆する通り、C*r(G) のK理論は j ̸≡ dim(G/K) mod 2 において消える。