[논문 리뷰] The multiplicative unitary as a basis for duality

Ann Maes, Alfons Van Daele|ArXiv.org|2002. 05. 27.

Advanced Operator Algebra Research참고 문헌 13인용 수 4

한 줄 요약

이 논문은 바아와 스타단리스의 제약 조건인 정규성 및 기약성 조건을 대체하기 위해 일반화된 곱단위(unitary)를 기반으로 한 양자군 대칭 이론의 새로운 프레임워크를 제안한다. '양자군 프레임'이라는 특정 구조적 공리계를 도입함으로써, 군과 유사한 성질을 지닌 두 개의 쌍대 양자 객체를 유도한다. 이는 국소적으로 컴act한 군과의 외적곱과 함께 양자 $az+b$-군을 통해 구성 가능함을 보여준다.

ABSTRACT

The classical duality theory associates to an abelian group a dual companion. Passing to a non-abelian group, a dual object can still be defined, but it is no longer a group. The search for a broader category which should include both the groups and their duals, points towards the concept of quantization. Classically, the regular representation of a group contains the complete information about the structure of this group and its dual. In this article, we follow Baaj and Skandalis and study duality starting from an abstract version of such a representation: the multiplicative unitary. We suggest extra conditions which will replace the regularity and irreducibility of the multiplicative unitary. From the proposed structure of a "quantum group frame", we obtain two objects in duality. We equip these objects with certain group-like properties, which make them into candidate quantum groups. We consider the concrete example of the quantum az+b-group, and discuss how it fits into this framework. Finally, we construct the crossed product of a quantum group frame with a locally compact group.

연구 동기 및 목표

• 카크 대수와 기존의 양자군 프레임워크의 제약 조건을 초월하여, 비아벨리안 양자군에 대한 더 넓은 대칭 이론을 개발하기 위해.
• 바아와 스타단리스의 곱단위 접근법에서 고전적인 정규 표현 및 기약성 조건을 새로운 공리계로 대체하기 위해.
• 두 개의 쌍대 양자 객체를 유도할 수 있는 기초 구조로 '양자군 프레임'을 정의하기 위해.
• 이러한 쌍대 객체들이 군과 유사한 성질을 지닌다는 것을 보여주어, 국소적으로 컴 pact한 양자군의 타당한 후보가 될 수 있도록 하기 위해.
• 국소적으로 컴 pact한 군과의 외적곱 구조를 통해 이 프레임워크의 적용 가능성을 입증하기 위해.

제안 방법

• 국소적으로 컴 pact한 군 $G$ 와 관련된 곱단위 연산자 $W_G$ 로 시작하며, 이는 그 군의 전체 대수적 및 위상적 구조를 코딩한다.
• 힐베르트 공간 $\mathcal{H} \otimes \mathcal{H}$ 상에서 정의된 추상적 곱단위 $W$ 를 도입하며, 이는 코아소시아티비티 및 정규화 조건을 만족한다.
• 정규성 및 기약성 조건을 대체하는 새로운 공리계를 제안하여, 곱단위를 통해 '양자군 프레임'을 정의한다.
• 프레임에서 두 개의 바나흐-폰 노이만 대수 $M^1$ 과 $\widehat{M^1}$ 을 구성하며, 변형된 대수 및 코알제브라적 구조를 가진다.
• 양자군 프레임과 국소적으로 컴 pact한 군을 외적곱 구조로 조합하여, 비틀린 곱셈을 가진 새로운 $M^1$ 대수를 도출한다.
• 교환관계 및 유니터리 구현(예: $U$)을 사용하여, $\Phi^1$ 과 $\widehat{\Phi^1}$ 의 코승법을 원래의 구조와 연결한다.

실험 결과

연구 질문

• RQ1 정규성 또는 기약성에 의존하지 않고, 일반화된 곱단위로부터 양자군의 대칭을 어떻게 재구성할 수 있는가?
• RQ2 곱단위에 대한 어떤 공리적 조건이 두 개의 쌍대 양자 객체가 군과 유사한 성질을 지닌다는 것을 보장하는가?
• RQ3 양자 $az+b$-군은 이 새로운 양자군 프레임의 프레임워크에 어떻게 통합되는가?
• RQ4 양자군 프레임과 국소적으로 컴 pact한 군의 외적곱은 일관되게 정의되고 특징지을 수 있는가?
• RQ5 유니터리 $U$ 는 외적곱 구조에서 대수적 및 코알제브라적 구조를 어떻게 변형하는가?

주요 결과

• 제안된 양자군 프레임 구조는 서로 대칭이며 군과 유사한 성질을 지닌 두 개의 바나흐-폰 노이만 대수 $M^1$ 과 $\widehat{M^1}$ 을 생성한다.
• $M^1$ 상의 코승법 $\Phi^1$ 은 $\Phi^1(m \otimes 1) = \Phi(m)_{13}$ 으로 표현되며, 원래의 코승법 $\Phi$ 와의 호환성을 보여준다.
• $p \in G$ 에 대해 $\lambda_p$ 의 이미지 상의 코승법은 $\Phi^1(U^* (1 \otimes \lambda_p) U) = (U^* \otimes U^*) \Phi(\lambda_p)_{24} (U \otimes U)$ 로 주어지며, 이는 비틀린 코알제브라적 구조를 확인한다.
• 쌍대 대수 $\widehat{M^1}$ 은 $\widehat{M} \otimes \widehat{M^0}$ 으로 표현되는 자명한 대수적 구조를 지닌다. 그러나 그 코승법은 $\widehat{\Phi^1}(\widehat{m} \otimes f) = (\iota \otimes \tau \otimes \iota)(\widehat{\Phi} \otimes \widehat{\Phi^0})(\widehat{m} \otimes f)$ 로 변형되며, 여기서 $\tau$ 는 비틀린 플립이다.
• $h_i(p) = (f_i \star \widetilde{g})(p)$ 인 함수들은 푸리에 대수 $A(G)$ 에 속하며, $p \in K$ 에서 $\sum_{i=1}^n h_i(p) = 1$ 이고, $h_i$ 는 $E_i$ 에서만 지지된다.
• $M^1$ 이 $M$ 과 $\mathcal{M}(G)$ 의 외적곱으로서 구성되는 것은 유니터리 $U$ 를 통한 텐서곱 대수적 구조의 비자명한 비틀림을 통해 실현된다.