[논문 리뷰] Gauss-Lusztig Decomposition for $GL_q^+(N,R)$ and Representation by q-Tori

Ivan Chi-Ho Ip|arXiv (Cornell University)|2011. 11. 17.

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

한 줄 요약

이 논문은 양의 양자군 $GL_q^+(N,\mathbb{R})$ 와 그 모odular 더블 $GL_{q\tilde{q}}^+(N,\mathbb{R})$ 에 대한 가우스-루스지 분해를 수립하며, $q$-토루 위에서 양의 본질적으로 자기수반 연산자들을 사용하여 명시적 표현을 구성한다. 주요 기여는 클러스터 변수와 $uv = q^2 vu$ 를 만족하는 웨일 쌍을 통해 군의 양의 파arametrization을 제공하고, $L^2$-공간과 정규 표현 분해를 양의 주요 계열 표현의 형태로 실현하는 것이다.

ABSTRACT

We found an explicit construction of a representation of the positive quantum group $GL_q^+(N,\R)$ and its modular double $GL_{q il[q]}^+(N,\R)$ by positive essentially self-adjoint operators. Generalizing Lusztig's parametrization, we found a Gauss type decomposition for the totally positive quantum group $GL_q^+(N,\R)$ for $|q|=1$, parametrized by the standard decomposition of the longest element $w_0\in W=S_{N-1}$. Under this parametrization, we found explicitly the relations between the standard quantum variables, the relations between the quantum cluster variables, and realizing them using non-compact generators of the $q$-tori $uv=q^2 vu$ by positive essentially self-adjoint operators. The modular double arises naturally from the transcendental relations, and an $L^2(GL_{q il[q]}^+(N,\R))$ space in the von Neumann setting can also be defined.

연구 동기 및 목표

• 양의 양자군 $GL_q^+(N,\mathbb{R})$ 와 그 모듈러 더블에 대해 양의 본질적으로 자기수반 연산자들을 사용한 명시적 표현을 구성하는 것.
• 루스지의 전체 양의 행렬에 대한 파arametrization 을 가우스-루스지 분해를 통해 양자 설정으로 일반화하는 것.
• 비가환 관계 $uv = q^2 vu$ 를 만족하는 $q$-토루의 비콤팩트 생성자들을 사용하여 양자 클러스터 변수와 표준 양자 변수를 실현하는 것.
• 하어 타입 측도와 급속 감소 함수를 사용한 바나흐-폰 노이만 설정에서 $L^2(GL_{q\tilde{q}}^+(N,\mathbb{R}))$ 공간을 정의하는 것.
• 정규 표현이 $U_{q\tilde{q}}(\mathfrak{gl}(N,\mathbb{R}))$ 에서 $L^2(GL_{q\tilde{q}}^+(N,\mathbb{R}))$ 에서 양의 주요 계열 표현의 직접 적분으로 분해된다는 추측을 제기하는 것.

제안 방법

• 최장 와일 군 원소 $w_0 \in S_{N-1}$ 의 축약 분해를 사용하여 루스지의 $G_{>0}$ 파arametrization 을 양자 설정으로 일반화한다.
• 비가환 양자 관계를 갖는 유니포텐트 매개변수 $a_i$ 를 사용하여 양자군을 표현함으로써 $GL_q^+(N,\mathbb{R})$ 에 대한 가우스-루스지 분해를 구성한다.
• 웨일 쌍 $u, v$ 가 $uv = q^2 vu$ 를 만족하도록 하여 양자 변수를 실현하며, 이는 $L^2(\mathbb{R}^2)$ 위에서 양의 본질적으로 자기수반 연산자로 표현된다.
• 전이적 관계를 통해 모듈러 더블 $GL_{q\tilde{q}}^+(N,\mathbb{R})$ 를 정의하며, $q = e^{\pi i b^2}$ 와 $\tilde{q} = e^{\pi i b^{-2}}$ 를 포함하고, $b \in \mathbb{R} \setminus \mathbb{Q}$, $0 < b < 1$ 이다.
• $C^*$-대수 $C_\infty(GL_{q\tilde{q}}^+(N,\mathbb{R}))$ 는 $X_{mn}^{ib^{-1}s_{mn}}$ 을 포함하는 적분 연산자의 노름 닫힘으로 구성되며, 스무스하고 급속 감소하는 함수 $f(s_{ij})$ 를 사용한다.
• $L^2$-공간 $L^2(GL_{q\tilde{q}}^+(N,\mathbb{R}))$ 는 노름 $\|F\|^2 = \int_{\mathbb{R}^{N^2}} \left|f(s_{ij} + (\delta_{i,N} - \delta_{j,N})^2 \frac{iQ}{2}) \right|^2 \prod ds_{ij}$ 으로 정의된 함수들의 $L^2$-완비화로 정의된다.

실험 결과

연구 질문

• RQ1 웨일 군 파arametrization 을 사용하여 $GL_q(2)$ 에서의 가우스-루스지 분해를 고차원 $GL_q^+(N,\mathbb{R})$ 로 일반화할 수 있는가?
• RQ2 양의 양자군 $GL_q^+(N,\mathbb{R})$ 에서 유니포텐트 매개변수 $a_i$ 와 클러스터 변수 사이의 양자 관계는 무엇인가?
• RQ3 전이적 관계와 $q$-토루 연산자들을 통해 모듈러 더블 $GL_{q\tilde{q}}^+(N,\mathbb{R})$ 는 어떻게 실현할 수 있는가?
• RQ4 $L^2$-공간을 임베딩의 선택에 독립적으로 클러스터 변수와 하어 측도를 사용하여 $GL_{q\tilde{q}}^+(N,\mathbb{R})$ 에 대해 정의할 수 있는가?
• RQ5 $U_{q\tilde{q}}(\mathfrak{gl}(N,\mathbb{R}))$ 의 정규 표현이 $L^2(GL_{q\tilde{q}}^+(N,\mathbb{R}))$ 에서 양의 주요 계열 표현의 직접 적분으로 분해되는가?

주요 결과

• 최장 와일 군 원소 $w_0$ 의 축약 분해를 사용하여 $GL_q^+(N,\mathbb{R})$ 에 대한 가우스-루스지 분해를 구성하였으며, 이는 루스지의 파arametrization 을 양자 설정으로 일반화한 것이다.
• 양자 변수는 $uv = q^2 vu$ 를 만족하는 웨일 쌍 $u, v$ 를 통해 실현되며, 이는 $L^2(\mathbb{R}^2)$ 위에서 양의 본질적으로 자기수반 연산자 $u = e^{2\pi b x}, v = e^{2\pi b p}$ 로 표현된다.
• 모듈러 더블 $GL_{q\tilde{q}}^+(N,\mathbb{R})$ 는 $q$ 와 $\tilde{q} = e^{\pi i b^{-2}}$ 사이의 전이적 관계로부터 자연스럽게 유도되며, $b \in \mathbb{R} \setminus \mathbb{Q}$, $0 < b < 1$ 이고, $b \to b^{-1}$ 로 변환함으로써 실현된다.
• $L^2$-공간 $L^2(GL_{q\tilde{q}}^+(N,\mathbb{R}))$ 는 노름 $\|F\|^2 = \int_{\mathbb{R}^{N^2}} \left|f(s_{ij} + (\delta_{i,N} - \delta_{j,N})^2 \frac{iQ}{2}) \right|^2 \prod ds_{ij}$ 으로 정의된 함수들의 $L^2$-완비화로 정의되며, 임베딩의 선택에 영향을 받지 않는다.
• $C^*$-대수 $C_\infty(GL_{q\tilde{q}}^+(N,\mathbb{R}))$ 는 $X_{mn}^{ib^{-1}s_{mn}}$ 을 포함하는 적분 연산자의 노름 닫힘으로 정의되며, 스무스하고 급속 감소하는 함수 $f(s_{ij})$ 를 사용하고, $X_{mn}$ 의 다양한 실현 방식 간에 동형이다.
• 논문은 $U_{q\tilde{q}}(\mathfrak{gl}(N,\mathbb{R}))$ 의 정규 표현이 $L^2(GL_{q\tilde{q}}^+(N,\mathbb{R}))$ 에서 양의 주요 계열 표현의 직접 적분으로 분해된다는 것을 추측하며, 이는 $N=2$ 경우의 일반화이다.