[논문 리뷰] Extensions of locally compact quantum groups and the bicrossed product construction

Stefaan Vaes, Leonid Vaînerman|ArXiv.org|2001. 01. 16.

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

한 줄 요약

이 논문은 국소적으로 컴act한 양자군 이론을 확장하여, 매칭된 쌍의 양자군에서 유도된 코ycle 이중곱 구조를 도입함으로써, cleft 확장과 이러한 코ycle 이중곱 사이의 일대일 대응을 수립한다. 이 구성은 새로운 국소적으로 컴팩트한 양자군의 예를 제공하며, 측정 가능한 작용과 코ycle을 사용하여 고전적 군 확장 이론을 양자 설정으로 일반화한다.

ABSTRACT

In the framework of locally compact quantum groups, we study cocycle actions. We develop the cocycle bicrossed product construction, starting from a matched pair of locally compact quantum groups. We define exact sequences and establish a one-to-one correspondence between cocycle bicrossed products and cleft extensions. In this way, we obtain new examples of locally compact quantum groups.

연구 동기 및 목표

• 국소적으로 컴팩트한 양자군의 프레임워크로 유한군에 대한 G.I. Kac의 확장 이론을 일반화하기 위해.
• 국소적으로 컴팩트한 양자군의 매칭된 쌍과 호환되는 2-코ycle을 사용하여 코ycle 이중곱 구성법을 개발하기 위해.
• 국소적으로 컴팩트한 양자군의 cleft 확장과 코ycle 이중곱 사이의 일대일 대응을 수립하기 위해.
• 이 이중곱 기반 메커니즘을 통해 새로운 국소적으로 컴팩트한 양자군의 체계적 구성법을 제공하기 위해.
• 결과로 얻어진 양자군에서의 불변 측도, 기본 유니터리, 그리고 쌍대성의 구조를 분석하기 위해.

제안 방법

• 국소적으로 컴팩트한 양자군의 von Neumann 대수 위에 코ycle 작용을 정의하여, 외부 군 작용과 일반적인 작용을 일반화하기 위해.
• Hopf 대수학적 코ycle 이중곱의 연산자 대수학적 형태인 von Neumann 대수학적 코ycle 이중곱을 구성하기 위해.
• 국소적으로 컴팩트한 양자군의 코ycle 매칭된 쌍의 개념을 도입하며, 이는 호환되는 작용과 2-코ycle을 포함한다.
• 두 양자군의 텐서곱 위에 새로운 연산자 대수학적 구조로서 코ycle 이중곱 대수를 구축하기 위해.
• 코ycle 이중곱이 스스로 국소적으로 컴팩트한 양자군임을 증명하기 위해, 불변 측도, 기본 유니터리, 그리고 쌍대 양자군을 구성하기 위해.
• 연산자 공간 이론과 쌍대 측도 구성 기법을 사용하여 유니터리 표현과 쌍대성 성질을 확립하기 위해.

실험 결과

연구 질문

• RQ1 고전적 군 확장 이론인 G.I. Kac의 이론을 국소적으로 컴팩트한 양자군의 설정으로 어떻게 일반화할 수 있는가?
• RQ2 두 국소적으로 컴팩트한 양자군의 코ycle 이중곱이 잘 정의된 국소적으로 컴팩트한 양자군이 되기 위한 조건은 무엇인가?
• RQ3 국소적으로 컴팩트한 양자군의 맥락에서 cleft 확장과 코ycle 이중곱 사이의 정확한 관계는 무엇인가?
• RQ4 코ycle 이중곱 구성에서 불변 측도, 기본 유니터리, 그리고 쌍대성 구조는 어떻게 행동하는가?
• RQ5 결과로 얻어진 코ycle 이중곱이 컴팩트하거나 이산적인 조건은 무엇인가?

주요 결과

• 매칭된 쌍에서 유도된 코ycle 이중곱과 국소적으로 컴팩트한 양자군의 cleft 확장 사이의 일대일 대응이 수립된다.
• 코ycle 이중곱 구성법은 비어 있지 않은 비환원적이고 비코컴팩트적인 국소적으로 컴팩트한 양자군의 새로운 예를 제공한다.
• 특정 예시에서 $ \frac{4n}{\tau} $ 이며 $ n \neq 0 $ 인 경우, $ (M_n, \nabla_n) $의 무한소 Hopf 대수는 비자명한 관계를 가진다: $[X,Y] = 2Y - i\frac{4n}{\tau}A$, $[X,A] = 2A$, $[Y,A] = A^2$.
• 무한소 쌍대 Hopf 대수 $ (\tilde{M}_n, \tilde{\nabla}_n) $는 생성자 $ A, \text{log} A, B, X $를 가지며, $[A,X] = B $, $[\text{log} A, X] = A^{-1}B $, 그리고 $ \tilde{\nabla}_n(X) = X \bigotimes A^{-2} + 1 \bigotimes X + i\frac{4n}{\tau} A^{-1}B \bigotimes A^{-2} \text{log} A $이다.
• 코ycle 매개변수 $ \frac{4n}{\tau} $ 이며 $ n \neq 0 $, $ n \neq 0 $ 인 경우에만 이 구성이 연산자 대수 수준에서 잘 정의되며, 이는 이산 양자화 조건을 나타낸다.
• 좌측 하어 측도 $ \tilde{\nabla}_n $ 와 모듈러 켤레 연산자 $ \tilde{J}_n $ 는 $ n $ 에 독립적이지만, 모듈러 연산자 $ \nabla_n $ 과 쌍대 연산자 $ \tilde{R}_n $ 는 $ n $ 에 따라 달라지며, 이는 비자명한 변형을 보여준다.