[논문 리뷰] The Haar measure on some locally compact quantum groups

Alfons Van Daele|ArXiv.org|2001. 09. 01.

Advanced Operator Algebra Research참고 문헌 30인용 수 16

한 줄 요약

이 논문은 국소(compact) 양자군 이론에서 최근에 등장한 Woronowicz의 양자 $az+b$-군에 대해, 스케일링 군에 대해 엄밀히 불변이 아니고 상대적으로만 불변인 하르 측도가 있음을 드러내는 새로운 기법을 사용하여 하르 측도를 구성한다. 이는 국소(compact) 양자군 이론에서 이러한 비불변 하르 측도의 첫 번째 구체적 예시를 제공하며, Kustermans-Vaes 이론의 핵심 예측을 확인하고 그 기초 프레임워크를 검증한다.

ABSTRACT

The Haar measure on some locally compact quantum groups is constructed. The main example we treat is the az+b-group of Woronowicz. We also briefly consider some other examples (like the ax+b-group). We get the first examples of a locally compact quantum group where the Haar measure is not invariant with respect to the scaling group.

연구 동기 및 목표

• 국소(compact) 양자군 이론에서 최근에 등장한 Woronowicz의 양자 $az+b$-군에 대한 하르 측도를 구성하는 것.
• 이 예시에서 하르 측도가 이전의 가정과는 달리 스케일링 군에 대해 엄밀히 불변이 아니고 상대적으로만 불변임을 보여주는 것.
• 하르 측도가 상대적으로 불변하는 구체적 예를 제시함으로써 Kustermans-Vaes의 국소(compact) 양자군 이론 프레임워크를 검증하는 것.
• 이 특정 사례를 넘어서 다른 양자군 예제에도 적용 가능한 일반적인 기법을 개발하고 적용하는 것.

제안 방법

• 논문은 이산 군과 그 이중군 간의 쌍대성(pairing)에 기반한 헤이젠베르크 표현을 이용한 표현론적 접근을 사용한다.
• comultiplication의 유니터리 구현을 $L^2(G) \otimes L^2(G)$ 위의 유니터리 연산자 $W$를 통해 정의한다: $(W\xi)(g,h) = \xi(g, g^{-1}h)$.
• 이 방법은 호프 $^*$-대수 수준에서 $C^*$-대수 수준으로 표현을 승격시키기 위해 교차곱(Crossed product) 구조와 컴팩트 연산자의 표현론을 활용한다.
• 공식 $b a^{-1} = e^{\pi i/n} a^{-1} b$ 에 기반한 교환관계로부터 유도된 $e^{\pi i/(2n)} a^{-1}b$ 에 의해 생성되는 일파라미터 유니터리 군에 관한 핵심 결과(보조정리 A.5)를 적용하여 군의 해석적 생성자를 검증한다.
• 이 구축은 $C_0(G) \times_\alpha G$ 가 $L^2(G)$ 위의 컴팩트 연산자의 $C^*$-대수와 동형임을 이용하여 표현의 분류가 가능하다는 사실에 기반한다.
• 이 기법은 $az+b$-군을 넘어서도 일반화되어, 논문의 최종 단락에서 다른 예제에 적용됨을 보여준다.

실험 결과

연구 질문

• RQ1 Kustermans-Vaes 이론이 예측한 바와 같이, 양자 $az+b$-군이 스케일링 군에 대해 엄밀히 불변이 아닌 하르 측도를 갖는가?
• RQ2 Woronowicz의 표준 기법이 작동하지 않는 양자군에 대해 하르 측도를 체계적으로 구성할 수 있는 방법이 개발될 수 있는가?
• RQ3 양자 $az+b$-군에서 하르 측도의 불변성 성질은 정확히 어떤가? 이는 고전적 경우와 어떻게 다를까?
• RQ4 $C^*$-대수와 교차곱의 표현론을 어떻게 활용하여 비트리비얼한 양자군에서 하르 측도의 존재를 구성하고 검증할 수 있는가?
• RQ5 제안된 기법이 유사한 구조적 특성을 가진 다른 양자군에 얼마나 일반화될 수 있는가?

주요 결과

• 양자 $az+b$-군에 대한 하르 측도가 명시적으로 구성되었으며, 이는 이 비트리비얼한 예에서의 존재를 확인한다.
• 이 하르 측도가 스케일링 군에 대해 엄밀히 불변이 아니고 상대적으로만 불변임이 입증되었으며, 이는 이론적 예측이었지만 이 작업 이전까지는 체계적인 예시가 없었다.
• 이 구축 기법은 Woronowicz의 원래 방법의 한계를 극복하여 하르 측도를 호프 $^*$-대수 수준에서 $C^*$-대수 수준으로 성공적으로 승격시켰다.
• 이 방법은 일반화 가능하며, $\mathbb{Z}_{2n} \times \mathbb{R}$ 와 $\mathbb{T} \times \mathbb{Z}$ 등의 다른 예제에 적용되어 광범위한 적용 가능성을 보였다.
• 논문은 Kustermans-Vaes의 국소(compact) 양자군 이론 프레임워크가 일관되고 예측 가능하다는 것을 입증하였으며, 하르 측도의 상대적 불변성을 정확히 기술하고 있음을 확인하였다.
• 결과적으로 Kustermans-Vaes의 국소(compact) 양자군 정의가 고전적 국소(compact) 위상군의 타당한 일반화임을 강력한 증거로 제시한다.