[论文解读] 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

一句话总结

本文通过利用Mackey关于实reductive群与其Cartan运动群之间的类比，结合形变技巧和依赖参数积分的连续性，为reductive李群的Connes-Kasparov同构提供了新的证明，从而在相关C*-代数的K-理论中建立了刚性。关键结果是通过同伦不变性和Morita等价性，以拓扑方法证明了该同构，将Higson早期针对复半单群的工作推广至一般reductive情形。

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.

研究动机与目标

• 通过将Mackey关于实reductive群与Cartan运动群之间的类比加以拓展，为一般reductive李群的Connes-Kasparov同构提供新的证明。
• 通过形变理论和诱导变换的连续性，证明Dirac诱导映射μ: R(K) → Kj[C*r(G)]是同构。
• 证明reductive群的约化C*-代数的K-理论可完全由其最大紧致子群的表示理论通过Dirac诱导来捕捉。
• 通过形变与刚性技巧，将Higson早期针对复半单群的证明推广至整个reductive李群类。

提出的方法

• 构造一个连续的一参数群族(Gt)t∈R，插值于reductive群G1 = G与其Cartan运动群G0 = K ⋉(g/k)之间。
• 通过在与Borel子群相关的幂零子群与交换子群上积分，利用温和表示的矩阵系数，定义一个从ba[p] × [0,1]到C的变换bf p。
• 利用控制收敛定理与指数坐标，证明该变换在t = 0处的连续性，表明极限中不出现奇点。
• 利用pλC[p]pλ与C[p]之间的Morita等价性，将K-理论同构问题约化至子代数层面。
• 应用K-理论的同伦不变性，得出在t = 1处的取值在K-群上诱导出同构。
• 通过变换的连续性，利用子商代数C[p]的刚性，建立K-理论中的同构。

实验结果

研究问题

• RQ1 能否通过形变理论与Mackey关于Cartan运动群的类比，证明reductive李群的Connes-Kasparov同构？
• RQ2 在变化子群上依赖参数的积分的连续性，是否能确保相关C*-代数K-理论中的刚性？
• RQ3 Dirac诱导映射μ: R(K) → Kj[C*r(G)]是否对所有连通reductive李群（而不仅复半单群）都是同构？
• RQ4 能否通过同伦不变性，从Cartan运动群的K-理论恢复reductive群的约化C*-代数的K-理论？
• RQ5 在Gt上温和表示的结构如何从t = 1连续地形变至t = 0？这对C*r(G)的K-理论有何含义？

主要发现

• 在ba[p] × [0,1]上定义的变换bf p是连续的，这确立了在t = 0处子商代数C[p]的刚性。
• 定理2.1中的映射α1是同构，确认了reductive李群的Connes-Kasparov同构。
• 由于同伦不变性，t = 1处的取值在K(pλC[p]pλ)与K(pλC[p]pλ)上诱导出同构。
• 同构μ: R(K) → Kj[C*r(G)]对所有连通reductive李群成立，而不仅限于复半单群。
• 该证明通过形变与连续性，建立了K的表示理论与C*r(G)的K-理论之间的直接联系，推广了Higson的早期结果。
• K-理论在j ̸≡ dim(G/K) mod 2的度数上为零，与Connes-Kasparov猜想的预测一致。