[논문 리뷰] On tensor products of positive representations of split real quantum Borel subalgebra $U_{q ilde{q}}(b_R)$

Ivan Chi-Ho Ip|arXiv (Cornell University)|2014. 05. 19.

Algebraic structures and combinatorial models참고 문헌 25인용 수 3

한 줄 요약

이 논문은 분할 실수 양의 양자 보렐 부분대수 $υ_{q\tilde{q}}(\mathfrak{b}_{\mathbb{R}})$의 표현들이 매개수 $\lambda$ 에 독립적이며, 승법 유니타리와 함께 GNS-표현을 사용하여 그 텐서곱 분해가 이루어짐을 증명한다. 핵심 결과는 텐서곱이 $L^2(\mathbb{R}^{n(n+1)/2}) \otimes \mathcal{P}$ 와 유니타리 동치임을 보이며, 양자 이로그함수로부터 명시적으로 구성된 인버트리언터가 존재한다.

ABSTRACT

We studied the positive representations $P_λ$ of split real quantum groups $U_{q ilde{q}}(g_R)$ restricted to the Borel subalgebra $U_{q ilde{q}}(b_R)$. We proved that the restriction is independent of the parameter $λ$. Furthermore, we prove that it can be constructed from the GNS-representation of the multiplier Hopf algebra $U_{q ilde{q}}^{C^*}(b_R)$ constructed earlier, which enables us to decompose their tensor product using the theory of the "multiplicative unitary". This will be an essential ingredient in the construction of quantum higher Teichmüller theory from the perspective of representation theory, generalizing earlier work by Frenkel-Kim.

연구 동기 및 목표

• 분할 실수 양자군의 보렐 부분대수로 제한된 양의 표현의 텐서곱의 구조를 이해하기 위해.
• 고계수 분할 실수 양자군에서의 텐서곱 분해 문제를 해결하기 위해.
• $\mathfrak{sl}(2,\mathbb{R})$에서의 양자 이로그함수 기반 융합 규칙을 $\mathfrak{sl}_3$와 같은 고계수 리 대수로 일반화하기 위해.
• 보렐 부분대수의 양자군에 대해 승법 유니타리와 $g_b$-함수를 사용하여 명시적 인버트리언터를 구성하기 위해.
• 모듈러 더블과 양의 표현을 통해 양자 고계수 테이히뮐러 이론의 표현론적 기초를 제공하기 위해.

제안 방법

• 양의 표현 $\mathcal{P}_\lambda$ 를 $\mathcal{U}_{q\tilde{q}}(\mathfrak{g}_{\mathbb{R}})$ 에서 보렐 부분대수 $\mathcal{U}_{q\tilde{q}}(\mathfrak{b}_{\mathbb{R}})$ 로 제한하여 $\lambda$ 에 대해 독립적임을 증명한다.
• 이중 히프트 대수 $\mathcal{U}_{q\tilde{q}}^{C^*}(\mathfrak{b}_{\mathbb{R}})$ 의 GNS-표현을 사용하여 표현을 힐베르트 공간 위에 실현한다.
• 양자 이로그함수 연산자 $g_b$ 의 곱을 이용해 명시적인 유니타리 변환 $\Phi_2$ 를 구성하여 텐서곱을 표준형과 연결한다.
• 승법 유니타리 체계를 적용하여 텐서곱 표현을 $L^2(\mathbb{R}^{n(n+1)/2}) \otimes \mathcal{P}$ 의 직접 적분으로 분해한다.
• 변환된 작용이 $1 \otimes \mathbf{e}_i$ 와 $K_i \otimes K_i$ 와 일치함을 확인하여 분해를 확인한다.

실험 결과

연구 질문

• RQ1 양의 표현 $\mathcal{P}_\lambda$ 의 보렐 부분대수 $\mathcal{U}_{q\tilde{q}}(\mathfrak{b}_{\mathbb{R}})$ 로의 제한은 매개수 $\lambda$ 에 의존하는가?
• RQ2 두 양의 표현 $\mathcal{U}_{q\tilde{q}}(\mathfrak{b}_{\mathbb{R}})$ 의 텐서곱은 GNS-표현과 승법 유니타리로 분해될 수 있는가?
• RQ3 $\mathfrak{sl}_3$ 에서 텐서곱 분해를 실현하는 명시적 형태의 인버트리언터는 무엇인가?
• RQ4 분해 결과는 $A_n$ 이외의 고계수 리 대수로 어떻게 일반화되는가?
• RQ5 이 텐서곱의 다중도 모듈러에서 고계수 테이히뮐러 이론의 양자 변형 연산자를 구성할 수 있는가?

주요 결과

• 양의 표현 $\mathcal{P}_\lambda$ 의 보렐 부분대수 $\mathcal{U}_{q\tilde{q}}(\mathfrak{b}_{\mathbb{R}})$ 로의 제한은 $\lambda$ 에 독립적이며, 통일된 기술이 가능하다.
• 형식 $A_n$ 에서 텐서곱 $\mathcal{P}_{\lambda_1} \otimes \mathcal{P}_{\lambda_2}$ 는 $L^2(\mathbb{R}^{n(n+1)/2}) \otimes \mathcal{P}$ 와 유니타리 동치이며, $g_b$-함수를 통해 명시적인 인버트리언터가 구성된다.
• $\mathfrak{sl}_3$ 에서 변환 $\Phi_2$ 는 명시적으로 등가성 $\Delta(\mathbf{e}_i) \simeq 1 \otimes \mathbf{e}_i$ 와 $\Delta(K_i) \simeq K_i \otimes K_i$ 를 실현한다.
• 인버트리언터는 양의 값이고 $q$-교환되는 인자들을 가진 양자 이로그함수 연산자들의 곱으로 표현되며, 이는 잘 정의됨을 보장한다.
• 이 구성은 $\mathfrak{sl}(2,\mathbb{R})$ 의 경우에서 플랑커렐 측도가 양자 이로그함수로 주어지는 바를 고계수 대수로 일반화한다.
• 이 과정은 헤이젠베르크 더블과의 연결을 시사하며, 양자 고계수 테이히뮐러 이론에 대한 표현론적 프레임워크를 제공한다.