[논문 리뷰] Multiplier Hopf *-algebras with positive integrals: A laboratory for locally compact quantum groups

Alfons Van Daele|ArXiv.org|2002. 05. 27.

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

한 줄 요약

이 논문은 양의 적분을 갖는 승수 호프 ∗-대수에서 국소적으로 컴acts한 양자군의 기초적인 대수적 모델을 수립하며, 전체 C*-프레임워크의 해석적 복잡성 없이도 이중성, 푸리에 변환, 모듈러 이론 등의 핵심 구조를 연구할 수 있도록 한다. 중심 기여는 푸리에 변환을 통해 모듈러 켤레 및 모듈러 연산자 관계를 유도하여 이중 시스템의 구조가 이 변환 하에 유지됨을 보여주는 것이다.

ABSTRACT

Any multiplier Hopf *-algebra} with positive integrals gives rise to a locally compact quantum group (in the sense of Kustermans and Vaes). As a special case of such a situation, we have the compact quantum groups (in the sense of Woronowicz) and the discrete quantum groups (as introduced by Effros and Ruan). In fact, the class of locally compact quantum groups arising from such multiplier Hopf *-algebras} is self-dual. The most important features of these objects are (1) that they are of a purely algebraic nature and (2) that they have already a great complexity, very similar to the general locally compact quantum groups. This means that they can serve as a good model for the general objects, at least from the purely algebraic point of view. They can therefore be used to study various aspects of the general case, without going into the more difficult technical aspects, due to the complicated analytic structure of a general locally compact quantum group. In this paper, we will first recall the notion of a multiplier Hopf *-algebra} with positive integrals. Then we will illustrate how these {\it algebraic quantum groups} can be used to gain a deeper understanding of the general theory. An important tool will be the Fourier transform. We will also concentrate on certain actions and how they behave with respect to this Fourier transform. On the one hand, we will study this in a purely algebraic context while on the other hand, we will also pass to the Hilbert space framework.

연구 동기 및 목표

• 승수 호프 ∗-대수에서 양의 적분을 갖는 것이 국소적으로 컴팩트한 양자군을 연구하는 순수한 대수적 프레임워크를 제공함을 보여주는 것.
• 해당 대수적 양자군이 일반적인 국소적으로 컴팩트한 양자군의 모든 본질적 특징, 즉 이중성과 모듈러 이론을 포괄함을 보여주는 것.
• 이중 시스템에서 왼쪽 정규 표현에 의해 생성된 볼츠만 대수를 연결하는 도구로 푸리에 변환을 사용하는 것.
• 정의 4.6에서 정의된 함수 f를 사용하여 이중 시스템의 모듈러 켤레와 모듈러 연산자 간의 관계를 명확히 하는 것.
• 일반적인 국소적으로 컴팩트한 양자군 이론을 이해하기 위한 기초로 먼저 대수적 경우를 숙달하는 데 기여하는 것.

제안 방법

• 논문은 먼저 국소적으로 컴팩트한 양자군의 대수적 기초가 되는, 양의 적분을 갖는 승수 호프 ∗-대수의 정의를 회상한다.
• 이어 쌍대 쌍인 승수 호프 ∗-대수 (A, B)를 도입하고, 힐베르트 공간 H와 Ĥ 사이의 유니터리 연산자로 푸리에 변환 F를 구성한다.
• 푸리에 변환은 H 상의 볼츠만 대수 M, N와 Ĥ 상의 볼츠만 대수 N̂, M̂ 간의 관계를 설정하며, F가 M에서 N으로, N̂에서 M̂로 매핑됨을 보여준다.
• 핵심 기술 도구는 푸리에 변환을 통해 정의된 유니터리 연산자 U로, U*(Ĵ⊗J) = Jf 및 U*∇fU = ∇f⊗∇를 만족하여 이중 시스템의 모듈러 구조를 연결한다.
• 푸리에 변환의 성질과 함수 f의 성질을 이용하여 극분해를 통해 모듈러 켤레 및 모듈러 연산자 관계 Jf = U*(Ĵ⊗J) 및 ∇f = Ĥ⊗∇를 도출한다.
• N과 N̂ 상의 자동형사상의 일차 파라미터 군 τt와 τ̂t가 τt(x) = Ĥ^{it}xĤ^{-it} 및 τ̂t(y) = ∇^{it}y∇^{-it}임을 증명하며, S(a) = Rτ_{-i/2}(λ(a))임을 함수 f의 형식적 변환을 통해 보인다.

실험 결과

연구 질문

• RQ1 C*-대수와 가중치의 전체 해석적 기계 없이도 국소적으로 컴팩트한 양자군의 구조를 순수한 대수적 설정에서 어떻게 연구할 수 있는가?
• RQ2 승수 호프 ∗-대수의 쌍대 쌍에서 왼쪽 정규 표현에 의해 생성된 볼츠만 대수 간의 관계를 연결하는 데 푸리에 변환이 수행하는 역할은 무엇인가?
• RQ3 이중 시스템의 모듈러 켤레 및 모듈러 연산자가 푸리에 변환을 통해 원래 시스템의 그것들과 어떻게 관련되는가?
• RQ4 정의 4.6에서 정의된 함수 f를 사용하여 이중 시스템의 모듈러 자동형사상 및 모듈러 켤레 관계를 도출할 수 있는가?
• RQ5 승수 호프 ∗-대수에서 양의 적분을 갖는 대수적 양자군이 일반적인 국소적으로 컴팩트한 양자군의 본질적 특징을 어느 정도 포괄하는가?

주요 결과

• 푸리에 변환 F는 π(A)에 의해 생성된 볼츠만 대수 M에서 λ(B)에 의해 생성된 볼츠만 대수 N으로 매핑되며, 마찬가지로 Ĥ̂N에서 Ĥ̂M로 매핑되며, 표현 공간 간의 이중성을 수립한다.
• 모듈러 켤레 연산자는 Jf = U*(Ĵ⊗J)를 만족하고, 모듈러 연산자는 ∇f = Ĥ⊗∇를 만족하며, 이는 이중 시스템의 모듈러 구조가 원래 시스템의 모듈러 연산자의 텐서곱에 의해 암묵적으로 포함됨을 보여준다.
• 유니터리 연산자 U는 모듈러 연산자 ∇f와 가환하며, 이는 푸리에 변환과 모듈러 이론 간의 호환성을 보장한다.
• N 상의 일차 파라미터 군 자동형사상 τt는 τt(x) = Ĥ^{it}xĤ^{-it}로 주어지고, 마찬가지로 N̂ 상의 τ̂t에 대해서도 동일하게 성립하며, 이는 이중 표현의 모듈러 공변성을 확인한다.
• 역행자 S는 모든 a ∈ A에 대해 λ(S(a)) = Rτ_{-i/2}(λ(a))를 만족하며, 여기서 R(x) = Ĥx*Ĥ이고, B에 대해서도 동일하게 성립하며, 이는 대수적 설정에서 KMS 유형의 관계를 일반화한다.
• 정의 4.6에서 정의된 함수 f는 모듈러 관계 유도에 결정적인 역할을 하며, 이의 사용을 통해 Kustermans와 Vaes의 일반 이론에서 유도된 핵심 공식들을 순수한 대수적 프레임워크에서 복원할 수 있다.