[논문 리뷰] The Martin boundary of a discrete quantum group

Sergey Neshveyev, Lars Tuset|ArXiv.org|2002. 09. 20.

Advanced Operator Algebra Research참고 문헌 15인용 수 3

한 줄 요약

이 논문은 $ q $-트레이스 상태 $ \phi $ 를 통한 복합화를 통해 조화 원소의 $ C^* $-대수 $ A_\phi $ 를 정의하여 이산 양자군에 대한 Martin 경계 이론을 개발한다. 양의 조화 원소와 $ A_\phi $ 상의 양의 선형 함수형 간의 연결을 보여주는 표현 정리를 수립하고, Biane와 Izumi의 결과를 통합하는 바탕이 되는 Podleř의 양자 동차 구면과 동형인 $ \widehat{SU_q(2)} $ 의 Martin 경계를 증명한다.

ABSTRACT

We consider the Markov operator P_phi on a discrete quantum group given by convolution with a q-tracial state phi. In the study of harmonic elements x, P_phi(x)=x, we define the Martin boundary A_phi. It is a separable C*-algebra carrying canonical actions of the quantum group and its dual. We establish a representation theorem to the effect that positive harmonic elements correspond to positive linear functionals on A_phi. The C*-algebra A_phi has a natural time evolution, and the unit can always be represented by a KMS state. Any such state gives rise to a u.c.p. map from the von Neumann closure of A_phi in its GNS representation to the von Neumann algebra of bounded harmonic elements, which is an analogue of the Poisson integral. Under additional assumptions this map is an isomorphism which respects the actions of the quantum group and its dual. Next we apply these results to identify the Martin boundary of the dual of SU_q(2) with the quantum homogeneous sphere of Podles. This result extends and unifies previous results by Ph. Biane and M. Izumi.

연구 동기 및 목표

• 고전적 Martin 경계 이론을 이산 양자군의 비환원적 설정으로 일반화하기 위해.
• 양자군과 그 쌍대의 자연스러운 작용을 지닌 $ C^* $-대수적 Martin 경계 $ A_\phi $ 를 정의하기 위해.
• 양의 조화 원소와 $ A_\phi $ 상의 양의 선형 함수형 간의 연결을 보여주는 표현 정리를 수립하기 위해.
• 이전 결과를 통합하는 바탕이 되는 Podleř의 양자 동차 구면과 동형인 $ \widehat{SU_q(2)} $ 의 Martin 경계를 규명하기 위해.
• GNS 표현에서 $ A_\phi $ 를 통해 유계 조화 원소의 von Neumann 대수로의 Poisson 적분 맵을 구성하고, 적절한 조건 하에서 이것이 동형사상임을 보이기 위해.

제안 방법

• 이산 양자군에서 $ q $-트레이스 상태 $ \phi $ 를 통한 복합화를 통해 마코프 연산자 $ P_\phi = (\phi \otimes \iota)\Delta $ 를 정의한다.
• 복합화 연산자 $ P_\phi $ 의 조화 원소들로 구성된 분리 가능한 $ C^* $-대수 $ A_\phi $ 를 Martin 경계로 구성한다.
• Balayage 정리를 사용하여 조화 원소들을 잠재력 $ \sum_{n=0}^\infty P_\phi^n(x) $ 로 근사함으로써 경계를 구성한다.
• 자연스러운 시간 진동을 $ A_\phi $ 에 도입하고, 단위 원소가 KMS 상태에 의해 표현될 수 있음을 보인다.
• GNS von Neumann 폐쇄에서 $ A_\phi $ 를 통해 유계 조화 원소의 von Neumann 대수로의 유계 수렴형 맵을 구성하고, Poisson 적분과 유사한 성질을 갖는다.
• 추가 가정 하에서 이 맵이 양자군과 그 쌍대의 작용을 존중하는 동형사상임을 증명한다.

실험 결과

연구 질문

• RQ1 어떻게 고전 이론을 일반화하여 이산 양자군의 맥락에서 Martin 경계를 정의할 수 있는가?
• RQ2 Martin 경계 $ A_\phi $ 의 구조는 어떠한가? 그리고 양자군과 그 쌍대는 이에 어떻게 작용하는가?
• RQ3 양의 조화 원소는 $ A_\phi $ 상의 양의 선형 함수형을 통해 어떻게 표현될 수 있으며, KMS 상태는 어떤 역할을 하는가?
• RQ4 Poisson 적분 맵이 $ A_\phi $ 에서 유계 조화 원소의 대수로 가는 경우, 이것이 동형사상이 되는가? 어떤 조건에서인가?
• RQ5 쌍대 양자군 $ \widehat{SU_q(2)} $ 의 Martin 경계는 무엇이며, Podleř의 양자 동차 구면과 어떻게 관련이 있는가?

주요 결과

• Martin 경계 $ A_\phi $ 는 이산 양자군과 그 쌍대의 자연스러운 작용을 지닌 분리 가능한 $ C^* $-대수이다.
• 양의 조화 원소는 $ A_\phi $ 상의 양의 선형 함수형과 일대일 대응되며, 이는 표현 정리를 수립한다.
• $ A_\phi $ 는 자연스러운 시간 진동을 지니며, 단위 원소는 KMS 상태에 의해 표현 가능하다.
• 추가 가정 하에서 $ A_\phi $ 의 GNS von Neumann 폐쇄에서 유계 조화 원소의 von Neumann 대수로의 유계 수렴형 맵은 동형사상이다.
• $ \widehat{SU_q(2)} $ 의 Martin 경계는 Podleř의 양자 동차 구면 $ C(S^2_{q,0}) $ 과 동형이다.
• 동형사상 $ \sigma: C(S^2_{q,0}) \to \Psi / \hat{A} $ 는 쌍대 양자군 $ (\hat{A}, \hat{\Delta}) $ 의 오른쪽 코작용을 유지하며, $ \Psi / \hat{A} $ 상의 상태 $ \nu $ 는 Radon-Nikodym 코어스 $ (K \otimes \iota)\hat{\Delta}(I_0) $ 를 지닌 쌍대 불변 상태이다.