[论文解读] Quantization and the tangent groupoid

N.P. Landsman|ArXiv.org|Aug 2, 2002

Advanced Operator Algebra Research参考文献 42被引用 8

一句话总结

本文通過康nes的切丛群胚，建立了$C^*$-代數形變量子化與非交换幾何之間的深刻聯繫，表明阿蒂yah–辛格指標定理可從幾何量子化框架中導出。它證明了E-理論中的分析性組裝地圖是外爾–莫伊爾量子化的等變版本，並利用切叢群胚的K-理論結構與陳-同構，證明了指標定理。

ABSTRACT

This is a survey of the relationship between C*-algebraic deformation quantization and the tangent groupoid in noncommutative geometry, emphasizing the role of index theory. We first explain how C*-algebraic versions of deformation quantization are related to the bivariant E-theory of Connes and Higson. With this background, we review how Weyl--Moyal quantization may be described using the tangent groupoid. Subsequently, we explain how the Baum--Connes analytic assembly map in E-theory may be seen as an equivariant version of Weyl--Moyal quantization. Finally, we expose Connes's tangent groupoid proof of the Atiyah--Singer index theorem

研究动机与目标

• 釐清$C^*$-代數形變量子化與非交換幾何中切叢群胚之間的關係。
• 展示包姆–康尼斯分析性組裝地圖如何在等變設定下推廣外爾–莫伊爾量子化。
• 透過切叢群胚與K-理論同構，提供阿蒂yah–辛格指標定理的概念性證明。
• 透過E-理論與連續$C^*$-代數族，統一形變量子化、指標理論與非交換拓撲。

提出的方法

• 使用康nes的切叢群胚構造，透過連續的$C^*$-代數族，將辛流形的形變模型化為其量子代數。
• 應用雙變量E-理論（康nes–希格森），將$C^*$-代數形變量子化與拓撲K-理論關聯。
• 將切叢群胚$T_{G_M}(P)$構造為$[0,1]$上的李群胚纖化，其中$\hbar=0$時纖維為$P \times \mathbb{R}^{2k}$，$\hbar>0$時為$P \rtimes G_M$。
• 建立$P \rtimes G_M$與軌道空間$\underline{B}G_M = \{0\} \times T(\nu(M)) \cup (0,1] \times \mathbb{R}^{2k}$之間的莫里塔等價，進而實現K-理論同構。
• 利用 Bott週期性與陳-同構，將$K^*(T^*M)$與$K^*(T(\nu(M)))$及$K^*(\mathbb{R}^{2k})$關聯。
• 證明指標地圖$\mathrm{a\mbox{-}ind} = \mathrm{t\mbox{-}ind}$，透過包含$\alpha^*$、$\mathcal{Q}_*$與$\hat{\mathcal{Q}}_*$的可交換圖形，從而證明指標定理。

实验结果

研究问题

• RQ1 切叢群胚如何提供$C^*$-代數形變量子化的幾何實現？
• RQ2 包姆–康尼斯分析性組裝地圖在何種意義上是外爾–莫伊爾量子化的等變推廣？
• RQ3 如何從切叢群胚與K-理論同構推導出阿蒂yah–辛格指標定理？
• RQ4 E-理論在連結非交換幾何中的形變量子化與指標理論中扮演何種角色？
• RQ5 在$M = \mathbb{R}^k$的情況下，為何經典代數$C_0(\mathbb{R}^{2k})$與量子代數$B_0(L^2(\mathbb{R}^k))$的K-理論會一致？

主要发现

• 切叢群胚構造提供了$[0,1]$上的連續$C^*$-代數族，其在$\hbar=0$與$\hbar>0$時的纖維分別對應於經典代數與量子代數。
• $T_{G_M}(P) \rtimes G_M$的$C^*$-代數同構於$C^*(P \rtimes G_M) \otimes C_0(\mathbb{R}^{2k})$，進而可透過Bott週期性進行K-理論計算。
• 分析性組裝地圖$\mu: K^*_{\text{top}}(G_M) \to K^*_{r}(G_M)$被識別為康nes的陳-同構，連結了拓撲K-理論與約化K-理論。
• 軌道空間$\underline{B}G_M$被證明與$P \rtimes G_M$莫里塔等價，進而導出同構$K^*(P \rtimes G_M) \cong K^*(\underline{B}G_M)$，因此有$K^*(G_M) \cong K^*(\underline{B}G_M)$。
• $\hbar=0$時的同構$\alpha^*: K^*(T^*M) \to K^*(T(\nu(M)))$即為陳-同構$\tau$，而$\alpha^*_1: K_0(B_0(L^2(M))) \to K^0(\mathbb{R}^{2k})$為$\beta_k^{-1} \circ \mathrm{tr}$，與Bott週期性關聯。
• 可交換圖形$\alpha^*_1 \circ \mathcal{Q}_* = \hat{\mathcal{Q}}_* \circ \alpha^*_0$意味著$\mathrm{a\mbox{-}ind} = \mathrm{t\mbox{-}ind}$，因此透過形變量子化證明了阿蒂yah–辛格指標定理。