[논문 리뷰] Twisted Lie group $C^*$-algebras as strict quantizations

N.P. Landsman|arXiv (Cornell University)|1998. 07. 24.

Advanced Topics in Algebra참고 문헌 1인용 수 4

한 줄 요약

이 논문은 컴acts Lie 군 $G$ 위의 매끄러운 승수 $c \in Z^2(G,U(1))$에 의해 정의되는 비틀린 군 C*-대수 $C^*(G,c)$가, Planck 상수 $\hbar$가 $(\mathbb{Z} \setminus \{0\})^{-1}$ 값을 갖는 비틀린 리-포아송 대수 $C^\infty(\g^*_{(\Gamma)})$의 엄밀한 양자화임을 증명한다. 핵심 결과는 $\hbar = 0$에서 고전적 대수 $C_0(\g^*)$와 $\hbar \neq 0$에서 양자적 대수 $C^*(G,c)$를 연결하는 연속적인 C*-대수의 필드이며, 이는 점 渐진적으로 디랙의 조건을 만족한다.

ABSTRACT

A nonzero 2-cocycle $Γ\in Z^2(\g,\R)$ on the Lie algebra $\g$ of a compact Lie group $G$ defines a twisted version of the Lie-Poisson structure on the dual Lie algebra $\g^*$, leading to a Poisson algebra $C^{\infty}(\g_{(Γ)}^*)$. Similarly, a multiplier $c\in Z^2(G,U(1))$ on $G$ which is smooth near the identity defines a twist in the convolution product on $G$, encoded by the twisted group $C^*$-algebra C^*(G,c)$. Further to some superficial yet enlightening analogies between $C^{\infty}(\g^*_{(Γ)})$ and $C^*(G,c)$, it is shown that the latter is a strict quantization of the former, where Planck's constant $\hbar$ assumes values in $(\Z\backslash\{0\})^{-1}$. This means that there exists a continuous field of $C^*$-algebras, indexed by $\hbar\in 0\cup (\Z\backslash\{0\})^{-1}$, for which $\A^0=C_0(\g^*)$ and $\A_{\hbar}=C^*(G,c)$ for $\hbar eq 0$, along with a cross-section of the field satisfying Dirac's condition asymptotically relating the commutator in $\A_{\hbar}$ to the Poisson bracket on $C^{\infty}(\g^*_{(Γ)})$. Note that the `quantization' of $\hbar$ does not occur for $Γ=0$.

연구 동기 및 목표

• 비틀린 군 C*-대수와 쌍대 리 대수 위의 고전적 비틀린 포아송 구조 사이의 엄밀한 연결 고리를 확립하기 위해.
• 비틀린 군 C*-대수 $C^*(G,c)$가 포아송 대수 $C^\infty(\g^*_{(\Gamma)})$의 엄밀한 양자화로 작용함을 보여주기 위해.
• 이 양자화에서 Planck 상수 $\hbar$의 역할을 명확히 하여, $\hbar$가 이산적인 역정수 값을 갖는다는 것을 보여주기 위해.
• 군 2-코호몰로지와 리 대수 2-코호몰로지의 비트를 통해 엄밀한 양자화 프레임워크를 비자명한 비틀림을 포함하도록 확장하기 위해.
• 중앙 확장이 있는 컴팩트 리 군의 맥락에서 기하적 양자화와 연산자 대수적 구조를 통합하기 위해.

제안 방법

• 모든 $\hbar \in \{0\} \cup (\mathbb{Z} \setminus \{0\})^{-1}$ 에 대해 연속적인 C*-대수의 필드 $\mathcal{A}_\hbar$ 를 구성하며, $\mathcal{A}^0 = C_0(\g^*)$ 이고 $\mathcal{A}_\hbar = C^*(G,c)$ 이다.
• 비영인 2-코호몰로지 $\Gamma \in Z^2(\g,\mathbb{R})$ 를 사용하여 $\g^*$ 위에 비틀린 리-포아송 구조를 정의하고, 포아송 대수 $C^\infty(\g^*_{(\Gamma)})$ 를 유도한다.
• 항등원 근처의 매끄러운 승수 $c \in Z^2(G,U(1))$ 를 사용하여 $G$ 위에 비틀린 콘볼루션 곱을 정의하고, 이로부터 비틀린 군 C*-대수 $C^*(G,c)$ 를 유도한다.
• 연속적인 필드의 컷세션을 구성하여, $\hbar \to 0$ 일 때 $\mathcal{A}_\hbar$ 내의 교환자(commutator)가 $C^\infty(\g^*_{(\Gamma)})$ 위의 포아송 괄호를 점 渐진적으로 재현함으로써 디랙의 조건을 만족시킨다.
• 지오메트릭 지도를 통해 리 대수 2-코호몰로지 $\Gamma$ 와 군 2-코호몰로지 $c$ 사이의 대응을 활용하여 고전적 및 양자적 구조 간의 일致성을 확보한다.
• 필드의 연속성과 $\hbar \to 0$ 근처에서 교환자의 점 渐진적 행동을 검증하여, 이 양자화가 엄밀함을 보장한다.

실험 결과

연구 질문

• RQ1 비틀린 군 C*-대수 $C^*(G,c)$ 는 비틀린 리-포아송 대수 $C^\infty(\g^*_{(\Gamma)})$ 의 엄밀한 양자화로 해석될 수 있는가?
• RQ2 이 양자화에서 Planck 상수 $\hbar$ 의 역할은 무엇이며, 왜 $(\mathbb{Z} \setminus \{0\})^{-1}$ 의 값을 갖는가?
• RQ3 $\hbar \to 0$ 근처에서 $C^*(G,c)$ 내의 교환자와 $\g^*_{(\Gamma)}$ 위의 포아송 괄호 사이의 점 渐진적 관계는 어떻게 실현되는가?
• RQ4 고전적 및 양자적 구조 간의 일致성을 보장하기 위해 리 대수 2-코호몰로지 $\Gamma$ 와 군 2-코호몰로지 $c$ 사이의 정확한 관계는 무엇인가?
• RQ5 고전적 대수 $C_0(\g^*)$ 와 $\hbar \neq 0$ 에서의 양자적 대수 $C^*(G,c)$ 사이를 연결하는 연속적인 C*-대수의 필드가 존재하는가?

주요 결과

• 비틀린 군 C*-대수 $C^*(G,c)$ 는 $\hbar \in \{0\} \cup (\mathbb{Z} \setminus \{0\})^{-1}$ 에 따라 인덱싱된 연속적인 C*-대수의 필드를 통해 비틀린 리-포아송 대수 $C^\infty(\g^*_{(\Gamma)})$ 의 엄밀한 양자화이다.
• 고전적 극한 $\hbar \to 0$ 은 $C_0(\g^*)$ 를 회복하며, $\hbar \neq 0$ 에서는 대수 $\mathcal{A}_\hbar = C^*(G,c)$ 가 양자적 구조를 포괄한다.
• 대수 $\mathcal{A}_\hbar$ 내의 교환자는 점 渐진적으로 디랙의 조건을 만족하며, $\frac{1}{i\hbar}[a,b]_\hbar \to \{a,b\}_{\Gamma}$ 가 $\hbar \to 0$ 일 때 매끄러운 함수 $a,b$ 에 대해 성립한다.
• $\hbar$ 의 값은 역정수로 제한되며, 이는 승수 $c \in Z^2(G,U(1))$ 를 통한 비틀림의 위상적 성격을 반영한다.
• 리 대수 2-코호몰로지 $\Gamma$ 와 군 2-코호몰로지 $c$ 사이의 일致성 있는 대응 관계가 구축되어 고전적 및 양자적 수준 간의 호환성이 보장된다.
• 이 양자화는 엄밀하므로, C*-대수의 필드가 연속적이며 고전적 극한이 잘 정의되어 있어 엄밀한 양자화의 공리들을 만족한다.