[논문 리뷰] Haar measure on a locally compact quantum group

Byung-Jay Kahng|ArXiv.org|2002. 10. 31.

Advanced Operator Algebra Research참고 문헌 19인용 수 5

한 줄 요약

이 논문은 비콤팩트 $C^*$-대수적 양자군 $(A, \triangle)$가, 비선형 파울리 구조를 가진 콤팩트하지 않은 리 군의 변형 양자화를 통해 구성되었을 때, 쿠스터먼스와 바스의 정의에 따라 국소 콤팩트 양자군의 공리를 만족함을 입증한다. 다중성 단위 연산자와 함께 왼쪽 및 오른쪽 불변 하어 가중치를 엄밀히 구성하고, 이를 통해 $(A, \triangle)$가 진정으로 국소 콤팩트 양자군임을 확인함으로써, 이전 연구에서의 기초적 격차를 해결한다.

ABSTRACT

In the general theory of locally compact quantum groups, the notion of Haar measure (Haar weight) plays the most significant role. The aim of this paper is to carry out a careful analysis regarding Haar weight, in relation to general theory, for the specific non-compact quantum group (A,Δ) constructed earlier by the author. In this way, one can show that (A,Δ) is indeed a ``(C*-algebraic) locally compact quantum group'' in the sense of the recently developed definition given by Kustermans and Vaes. Attention will be given to pointing out the relationship between the original construction (obtained by deformation quantization) and the structure maps suggested by general theory.

연구 동기 및 목표

• 이전에 구성된 $C^*$-대수적 양자군 $(A, \triangle)$이 쿠스터먼스와 바스의 정의에 따라 국소 콤팩트 양자군임을 엄밀히 검증하는 것.
• 이전 연구에서 하어 가중치의 처리가 불완전했음을 해결하기 위해, 밀도 있는 $*$-부분대수에서가 아니라 전체 $C^*$-대수 $A$ 위에 직접적으로 하어 가중치를 구성하는 것.
• 원래의 파울리-라이 군 기반 구성과 국소 콤팩트 양자군 이론에서 요구하는 구조 사상(코승법, 쌍대원소, 모듈러 함수) 사이의 관계를 명확히 하는 것.
• 다중성 단위 연산자를 통해 이중 양자군 $(\hat{A}, \hat{\Delta})$를 구축하고, 이를 통해 이중성과 표현 이론의 완전한 프레임워크를 제공하는 것.

제안 방법

• 코승법 $\Delta$와 정규 표현을 암시하는 다중성 단위 연산자 $U_A$를 사용하여 $A$ 위에 하어 가중치를 구성한다.
• $A$의 밀도 있는 $*$-부분대수 $\mathcal{A}$와 그 이중 $\hat{\mathcal{A}}$를 사용하여 힐베르트 공간 $\mathcal{H}$ 위에서 왼쪽 및 오른쪽 정규 표현 $\lambda_f$와 $\rho_f$를 정의함으로써, 가중치가 잘 정의되고 정상임을 보장한다.
• 다중성 단위 연산자 $\widehat{U_A}$의 작용을 통해 이중 $C^*$-대수 $B$ 위의 가중치 $\varphi_B$의 왼쪽 및 오른쪽 불변성을 증명하며, $[\rho_f, \lambda_g] = 0$의 교환관계를 활용한다.
• $B \cong \lambda(C^*(G))$임을 부분 푸리에 변환을 통해 증명함으로써, $B$가 비선형 리 군 $G$의 축소된 군 $C^*$-대수와 동형임을 보이고, 충실하고, 준유한, 정상적인 가중치의 존재를 뒷받침한다.
• $\widehat{U_A}$가 양자군의 두 대수에서 코승법을 실현하고 $M_B = M_{\hat{A}}'$, 즉 $\hat{A}$가 생성하는 바나흐-바나흐 대수의 교환자임을 보여 이중성 관계를 검증한다.
• 다중성 단위 연산자의 구조를 이용해 쌍대원소와 모듈러 함수를 유도하고, 원래의 파울리-라이 군 기반 정의와 비교하여 일반 이론과의 일관성을 확인한다.

실험 결과

연구 질문

• RQ1 변형 양자화를 통해 구성된 $C^*$-대수적 양자군 $(A, \Delta)$는 쿠스터먼스와 바스의 정의에 따라 국소 콤팩트 양자군의 공리를 만족하는가?
• RQ2 밀도 있는 $*$-부분대수에서가 아니라 전체 $C^*$-대수 $A$ 위에 왼쪽 및 오른쪽 불변 하어 가중치를 명시적으로 구성할 수 있는가?
• RQ3 파울리-라이 군 자료로부터 정의된 원래의 구조 사상(코승법, 쌍대원소, 코단위)은 국소 콤팩트 양자군 이론의 일반 사상과 어떻게 관련되어 있는가?
• RQ4 이중 양자군 $(\hat{A}, \hat{\Delta})$의 정확한 구조는 무엇이며, 다중성 단위 연산자를 통해 어떻게 실현되는가?
• RQ5 $\widehat{U_A}$가 원래와 이중 양자군을 모두 재구성하는 데에 충분한가? 그리고 필요한 불변성과 이중성 성질을 만족하는가?

주요 결과

• 이중 $C^*$-대수 $B$ 위의 하어 가중치 $\varphi_B$는 $\varphi_B(\lambda_f) = \int f(x,y,0) \, dxdy$로 명시적으로 구성되며, $M_B$ 위에 충실하고, 준유한하고, 정상적인 가중치로 확장되어, 하어 가중치로서의 역할을 확인한다.
• $\varphi_B$는 다중성 단위 연산자 $\widehat{U_A}$의 작용을 통해 코승법 $\Delta_B$에 대해 왼쪽 및 오른쪽 불변임이 확인되었으며, 이는 국소 콤팩트 양자군을 위한 핵심 조건을 만족한다.
• $C^*$-대수 $B$는 축소된 군 $C^*$-대수 $\lambda(C^*(G))$와 동형임을 보여, 이중 양자군의 구체적 실현을 제공하고, 불변 가중치의 존재를 뒷받침한다.
• $\hat{\mathcal{A}}$의 모든 $f,g$에 대해 $[\rho_f, \lambda_g] = 0$의 교환관계가 성립하며, 이는 $M_B = M_{\hat{A}}'$를 의미한다. 이는 이중성과 다중성 단위 연산자의 구성에 있어 핵심 조건이다.
• $(A, \Delta)$의 쌍대원소와 모듈러 함수는 일반 이론과 일관되며, 쌍대원소는 GNS 사상의 극분해에서 유도되고, 모듈러 함수는 모듈러 자동군에서 유도됨을 보였다.
• $\widehat{U_A}$는 기본 항등식 $(L \otimes L)(\Delta a) = \widehat{U_A}^* (1 \otimes L(a)) \widehat{U_A}$를 만족하며, 이는 코승법을 실현하고 양자군 구조를 보장하는 데서 그 역할을 확인한다.