[논문 리뷰] Quantization and the tangent groupoid

N.P. Landsman|ArXiv.org|2002. 08. 02.

Advanced Operator Algebra Research참고 문헌 42인용 수 8

한 줄 요약

이 논문은 콘네스의 탄성군자료를 통해 $C^*$-대수적 변형 양자화와 비환원 기하학 사이의 깊은 연결 고리를 확립하며, 아티야–심슨 지수 정리가 기하적 양자화 프레임워크에서 유도될 수 있음을 보여준다. 분석적 어셈블리 맵이 E-이론에서 와일–모일 양자화의 등변적 일반화임을 밝히고, 탄성군자료의 K-이론적 구조와 톰 동형사상(Thom isomorphism)을 이용해 지수 정리를 증명한다.

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-이론 동형사상을 이용해 아티야–심슨 지수 정리를 개념적으로 증명하기.
• E-이론과 연속적인 $C^*$-대수의 필드를 통해 변형 양자화, 지수 이론, 비환원 위상수학을 통합하기.

제안 방법

• 대칭다양체의 양자 대수로의 변형을 연속적인 $C^*$-대수의 필드로 모델링하기 위해 콘네스의 탄성군자료 구축을 사용한다.
• 이변량 E-이론(콘네스–히그슨)을 적용하여 $C^*$-대수적 변형 양자화를 위상수학적 K-이론과 연결한다.
• 탄성군자료 $T_{G_M}(P)$를 $[0,1]$ 위의 리 군자료 번들로 구성하며, $\hbar=0$에서의 섬유는 $P \times \mathbb{R}^{2k}$이고 $\hbar>0$에서의 섬유는 $P \rtimes G_M$이다.
• Morita 등가성 관계를 통해 $P \rtimes G_M$과 궤도 공간 $\underline{B}G_M = \{0\} \times T(\nu(M)) \cup (0,1] \times \mathbb{R}^{2k}$ 사이의 등가성을 확립하고, K-이론 동형사상을 가능하게 한다.
• 보트 주기성과 톰 동형사상을 이용해 $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-이론 동형사상을 통해 아티야–심슨 지수 정리를 도출할 수 있는가?
• RQ4 E-이론은 비환원 기하학에서 변형 양자화와 지수 이론을 어떻게 연결하는가?
• RQ5 왜 $M = \mathbb{R}^k$인 경우 고전 대수 $C_0(\mathbb{R}^{2k})$와 양자 대수 $B_0(L^2(\mathbb{R}^k))$의 K-이론이 일치하는가?

주요 결과

• 탄성군자료 구축은 $\hbar=0$에서 고전 대수, $\hbar>0$에서 양자 대수에 해당하는 $[0,1]$ 위의 연속적인 $C^*$-대수의 필드를 제공한다.
• 탄성군자료 $T_{G_M}(P) \rtimes G_M$의 $C^*$-대수는 $C^*(P \rtimes G_M) \otimes C_0(\mathbb{R}^{2k})$와 동형이므로, 보트 주기성을 통해 K-이론 계산이 가능하다.
• 분석적 어셈블리 맵 $\mu: K^*_{\text{top}}(G_M) \to K^*_{r}(G_M)$는 콘네스의 톰 동형사상으로 식별되며, 위상수학적 K-이론과 축소 K-이론을 연결한다.
• 궤도 공간 $\underline{B}G_M$이 $P \rtimes G_M$과 Morita 등가임을 보이며, 이로 인해 $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}$로 표현되며, 보트 주기성과 연결된다.
• 교환도형 $\alpha^*_1 \circ \mathcal{Q}_* = \hat{\mathcal{Q}}_* \circ \alpha^*_0$는 $\mathrm{a\mbox{-}ind} = \mathrm{t\mbox{-}ind}$를 암시하며, 이는 변형 양자화를 통해 아티야–심슨 지수 정리를 증명한다.