[논문 리뷰] Representation of the Quantum Plane, its Quantum Double and Harmonic Analysis on $GL_q^+(2,R)$

Ivan Chi-Ho Ip|arXiv (Cornell University)|2011. 08. 26.

Algebraic structures and combinatorial models참고 문헌 31인용 수 7

한 줄 요약

이 논문은 양자 평면과 그 쌍대를 바르나시 대수로 완전한 GNS 표현을 제공하며, 이로써 관련된 곱셈 단위원소가 관리 가능한 것으로 규명된다 — 이는 양자 준군 설정에서 놀라운 결과이다. 논문은 양자 듀얼 $τ(τ)$를 $GL_q^+(2,\mathbb{R})$로 구성하고, 기본 핵표현을 $b$-하이퍼지오메트릭 함수를 통해 식별하며, 양자 듀얼의 $L^2$-공간이 $U_{q\tilde{q}}(\mathfrak{gl}(2,\mathbb{R}))$의 연속적 표현 시리즈로 분해되며, 플랑커르 측도 $|S_b(Q+2i\alpha)|^2$를 가지며, 적분 변환과 양자 다이로그함수 대칭성 간의 연결 고리를 설정한다.

ABSTRACT

We give complete detail of the description of the GNS representation of the quantum plane $\cA$ and its dual $\hat{\cA}$ as a von-Neumann algebra. In particular we obtain a rather surprising result that the multiplicative unitary $W$ is manageable in this quantum semigroup context. We study the quantum double group construction introduced by Woronowicz, and using Baaj and Vaes' construction of the multiplicative unitary $\bW_m$, we give the GNS description of the quantum double $\cD(\cA)$ which is equivalent to $GL_q^+(2,\R)$. Furthermore we study the fundamental corepresentation $T^{ł,t}$ and its matrix coefficients, and show that it can be expressed by the $b$-Hypergeometric function. We also study the regular corepresentation and representation induced by $\bW_m$, and prove that the space of $L^2$ functions on the quantum double decomposes into the continuous series representation of $U_q(\gl(2,\R))$ with the quantum dilogarithm $|S_b(Q+2i\a)|^2$ as the Plancherel measure. Finally we describe certain representation theoretic meaning of integral transforms involving the quantum dilogarithm function.

연구 동기 및 목표

• 양자 평면 $\mathcal{A}$와 그 쌍대 $\hat{\mathcal{A}}$를 바르나시 대수로 완전한 GNS 표현을 제공한다.
• 양자 평면과 관련된 양자 준군의 맥락에서 곱셈 단위원소 $W$의 관리 가능성(Manageability)을 확립한다.
• Baaj와 Vaes의 곱셈 단위원소 $\mathbf{W}_m$를 통해 양자 듀얼 $\mathcal{D}(\mathcal{A})$를 $GL_q^+(2,\mathbb{R})$로 구성한다.
• 기본 핵표현 $T^{\lambda,t}$를 분석하고, 그 행렬 계수들이 $b$-하이퍼지오메트릭 함수로 표현될 수 있음을 보인다.
• 양자 듀얼 위의 $L^2$ 함수의 분해를 기술하며, 이는 $U_{q\tilde{q}}(\mathfrak{gl}(2,\mathbb{R}))$의 연속적 표현 시리즈로 이루어지며, 명시적인 플랑커르 측도를 포함한다.

제안 방법

• 적분 변환과 연산자 $A^{ib^{-1}s}B^{ib^{-1}t}$를 포함하는 $f(s,t)$를 포함한 $C^*$-대수 $\mathcal{A} = C^\infty(\mathcal{A}_q)$ 위에서 GNS 구성법을 사용한다.
• 무한대의 양의 자기수반 연산자 위에서 함수 해석을 실현하기 위해 양자 다이로그함수 $g_b(x)$를 사용하여 유니터리 변환을 정의한다.
• 코프로덕트로부터 곱셈 단위원소 $W$를 구성하고, 도미타-타케사키 이론에 의해 그 관리 가능성(Manageability)을 검증한다.
• Baaj와 Vaes의 곱셈 단위원소 프레임워크를 사용하여 양자 듀얼 $\mathcal{D}(\mathcal{A})$를 $GL_q^+(2,\mathbb{R})$로 실현한다.
• 기본 핵표현 $T^{\lambda,t}$를 행렬 계수들이 $b$-하이퍼지오메트릭 함수로 표현됨으로써 식별한다.
• 좌우 정규 핵표현이 $\mathbf{W}_m$에 의해 유도되는 정규 표현의 분해를 통해 플랑커르 측도 $|S_b(Q+2i\alpha)|^2$를 이끌어낸다.

실험 결과

연구 질문

• RQ1 ax+b 준군 내에서 역원이 존재하지 않음에도 불구하고, 양자 평면 $\mathcal{A}$와 관련된 곱셈 단위원소 $W$가 Woronowicz의 뜻에서 관리 가능한가?
• RQ2 GNS 구성법과 곱셈 단위원소 $\mathbf{W}_m$를 통해 양자 듀얼 $\mathcal{D}(\mathcal{A})$가 완전히 $GL_q^+(2,\mathbb{R})$로 실현될 수 있는가?
• RQ3 기본 핵표현 $T^{\lambda,t}$의 행렬 계수의 명시적 형태는 무엇이며, 특수함수와의 관계는 어떠한가?
• RQ4 양자 듀얼 위의 $L^2$-공간은 $U_{q\tilde{q}}(\mathfrak{gl}(2,\mathbb{R}))$의 작용 하에 어떻게 분해되는가?
• RQ5 양자 다이로그함수 $G_b(x)$를 포함하는 적분 변환의 표현론적 해석은 무엇이며, Barnes의 보조정리와 어떻게 관련되는가?

주요 결과

• 양자 평면 $\mathcal{A}$ 위의 하어르 기능은 $h\left(\iint f(s,t)A^{ib^{-1}s}B^{ib^{-1}t}dsdt\right) = f(0,iQ)$로 주어지며, 여기서 $Q = b + b^{-1}$ 이다. 이는 $ax+b$ 준군 위에 고전적 하어르 측도가 존재하지 않음에도 불구하고 성립한다.
• 양자 평면과 관련된 곱셈 단위원소 $W$는 관리 가능함이 증명되었으며, 이는 양자 준군 맥락에서 비현실적으로 보일 수 있는 비현실적인 결과이다.
• 양자 듀얼 $\mathcal{D}(\mathcal{A})$는 $GL_q^+(2,\mathbb{R})$로 식별되며, 그 기본 핵표현 $T^{\lambda,t}$의 행렬 계수는 $b$-하이퍼지오메트릭 함수로 표현 가능하다.
• 양자 듀얼 위의 정규 표현 $L^2(\mathcal{D}(\mathcal{A}))$는 $U_{q\tilde{q}}(\mathfrak{gl}(2,\mathbb{R}))$의 연속적 표현 시리즈로 분해되며, 플랑커르 측도 $|S_b(Q+2i\alpha)|^2$를 가진다.
• $W$의 오각형 방정식은 양자 다이로그함수 $G_b(x)$의 4-5 관계와 동치이며, $b \to 0$ 극한에서 Barnes의 첫 번째 보조정리로 축소된다.
• $G_b(x)$의 6-9 관계가 유도되었으며, 이는 $b \to 0$ 극한에서 Barnes의 두 번째 보조정리로 축소되며, Pfaff-Saalschütz의 합을 일반화한다.