[논문 리뷰] Examples of locally compact quantum groups through the bicrossed product construction

Stefaan Vaes|ArXiv.org|2000. 09. 06.

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

한 줄 요약

이 논문은 매칭된 국소 콪크 흐름군의 쌍에서 이중곱 구조를 사용하여 비유계로 국소 콱크 양자군의 명시적 예를 구성한다. 결과로 얻어진 양자군이 von Neumann 대수의 교차곱으로 나타나며, 한 예에서는 하이젠베르크 리 대수의 보편적 포함 대수와 그 쌍대가 하이젠베르크 군의 곱셈 법칙을 반영함으로써 양자군의 이중성 구조를 보여준다.

ABSTRACT

The main aim of this paper is to introduce some examples of non-compact locally compact quantum groups to a non-specialized audience. The major importance of these examples is their simplicity. Other examples as the quantum E(2) group of Woronowicz are much more difficult to construct. We will make use of the bicrossed product construction to obtain our examples. This construction dates back to Kac, Takeuchi and Majid. It was also considered by Baaj & Skandalis.

연구 동기 및 목표

• 비전문가 대상으로 비유계로 국소 콱크 양자군에 대한 접근성 있고 구체적인 예를 제공하기 위해.
• 이중곱 구조가 이러한 양자군을 생성하는 체계적인 방법임을 보여주기 위해.
• 특히 이중성과 조화 분석의 맥락에서, 매칭된 군 쌍으로부터 양자군이 자연스럽게 유도됨을 보여주기 위해.
• 양자 대칭과 연산자 대수적 이중성의 맥락에서 국소 콱크 양자군의 중요성을 보여줌으로써 이 분야의 연구를 촉진하기 위해.

제안 방법

• 매칭된 국소 콱크 군 쌍 (G, H) 에 대해 이중곱 구조가 적용되며, 여기서 α 와 β 는 일치 조건을 만족한다.
• von Neumann 대수 M 에서의 코승법 Δ 는 L²(G×H×G×H) 상의 유니터리 W 를 통해 정의되며, (Wξ)(g,s,h,t) = ξ(β_{α_g(s)^{-1}t}(h)g, s, h, α_g(s)^{-1}t) 로 주어진다.
• 결과로 얻어진 양자군 (M, Δ) 는 왼쪽으로 불변인 측도를 갖는 것으로 보여져, 국소 콱크 양자군의 구조임을 확인한다.
• G = (ℝ, +) 와 H = {(a,b) | a>0, b∈ℝ} 를 사용하여 구체적인 예를 구성하며, α 와 β 는 조각별로 정의된 특정 작용을 갖는다.
• 형식적 계산을 통해 생성자 A, B, C 에 대해 호프 *-대수의 구조를 도출하며, [A,C] = B, B 는 중심이며, Δ(A) = A⊗A, Δ(B) = A⊗B + B⊗A⁻¹, Δ(C) = C⊗A⁻² + 1⊗C 라는 관계를 만족한다.
• 쌍대 양자군은 G 와 H 의 역할을 바꿈으로써 얻어지며, 다른 관계와 코승법을 갖는 쌍대 호프 *-대수를 형성한다.

실험 결과

연구 질문

• RQ1 이중곱 구조는 어떻게 매칭된 군 쌍으로부터 비유계로 국소 콱크 양자군을 생성할 수 있는가?
• RQ2 이러한 양자군에서 von Neumann 대수와 코승법의 명시적 구조는 무엇인가?
• RQ3 생성자에 대한 형식적 호프 *-대수의 구조는 하이젠베르크 군과 같은 고전적 리 군과 어떻게 관련이 있는가?
• RQ4 양자군과 그 쌍대 사이의 이중성은 대수적 관계와 코승법의 어떤 방식으로 드러나는가?

주요 결과

• 이중곱 구조는 매칭된 쌍 (G, H) 에서 국소 콱크 양자군 (M, Δ) 를 생성하며, M 은 L²(G×H) 에 작용하는 교차곱 von Neumann 대수이다.
• G = (ℝ, +) 와 H = {(a,b) | a>0, b∈ℝ} 를 사용하고, 정의된 작용을 갖는 경우, 이 구조는 생성자 A, B, C 가 [A,C] = B, B 가 중심이며, Δ(A) = A⊗A, Δ(B) = A⊗B + B⊗A⁻¹, Δ(C) = C⊗A⁻² + 1⊗C 를 만족하는 형식적 호프 *-대수를 갖는 양자군을 생성한다.
• 쌍대 양자군은 G 와 H 의 역할을 바꿈으로써 얻어지며, [A,B] = 2B, [A,C] = 2C, [B,C] = C² 를 만족하는 생성자와 Δ(A) = A⊗1 + 1⊗A, Δ(B) = B⊗1 + 1⊗B + A⊗C, Δ(C) = C⊗1 + 1⊗C 를 갖는 쌍대 호프 *-대수를 형성한다.
• 쌍대 양자군의 대수적 구조는 정확히 하이젠베르크 군의 곱셈 법칙을 반영한다: (a,b,c)·(a′,b′,c′) = (a+a′, b+b′+ac′, c+c′).
• 이 구조는 양자군과 그 쌍대가 이중성으로 연결되어 있음을 확인하며, 교차곱에서의 쌍대 측도가 왼쪽 불변성을 실현한다.