[논문 리뷰] On quantization of Semenov-Tian-Shansky Poisson bracket on simple algebraic groups

Andrey Mudrov|ArXiv.org|2004. 12. 18.

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

한 줄 요약

이 논문은 단순 복소대수적 군 위의 Semenov-Tian-Shansky (STS) 파울리 브라켓에 대한 양자적 유사 정리인 코스타ント-리처드슨 정리의 양자적 해석을 수립한다. $G$가 단순연결이고 $I(G)$가 다항식일 경우, 좌표환 $ℂ[G]$의 $\chi_{\hbar}[G]$ 양자화는 중심 $I_{\hbar}(G)$에 대한 자유 모듈러스를 이룬다. 이 중심은 $I(G)\otimes\u2102[[\hbar]]$와 동형이며, 고전적 불변량 이론을 양자군을 통해 등장시키는 등장하는 등장이다.

ABSTRACT

Let $G$ be a simple complex factorizable Poisson Lie algebraic group. Let $\U_\hbar(\g)$ be the corresponding quantum group. We study $\U_\hbar(\g)$-equivariant quantization $\C_\hbar[G]$ of the affine coordinate ring $\C[G]$ along the Semenov-Tian-Shansky bracket. For a simply connected group $G$ we prove an analog of the Kostant-Richardson theorem stating that $\C_\hbar[G]$ is a free module over its center.

연구 동기 및 목표

• 단순 대수적 군 위의 Semenov-Tian-Shansky 파울리 브라켓에 대한 코스타ント-리처드슨 정리의 양자적 해석을 수립하기 위해.
• 양자군 대칭을 활용하여 STS 브라켓을 따라 $\mathbb{C}[G]$의 $\chi_{\hbar}[G]$-등변 양자화를 연구하기 위해.
• $I(G)$가 다항식일 경우 $\mathbb{C}_{\hbar}[G]$가 중심 $I_{\hbar}(G)$에 대한 자유 모듈러스임을 증명하기 위해.
• $I_{\hbar}(G) \simeq I(G)\otimes\mathbb{C}[[\hbar]]$를 $\mathbb{C}$-대수로서 유지하면서 고전적 불변량의 구조를 유지하는 것으로서, $\mathbb{C}$-대수로서의 동형을 보여주기 위해.

제안 방법

• 쿼드라티리컬리 대수적 군의 리 대수 $\mathfrak{g}$ 위에 존재하는 쿼드라티리컬리 리 대수 브라켓에 관련된 양자화된 보편 포락 대수 $\mathcal{U}_{\hbar}(\mathfrak{g})$를 사용한다.
• $\mathfrak{g}$의 반사 방정식 대수의 토글링 양자화를 통해 $\mathbb{C}_{\hbar}[G]$를 $\mathcal{U}_{\hbar}(\mathfrak{D}\mathfrak{g})$-등변 양자화로 구성한다.
• 반사 방정식 대수의 RTT 대수의 구조와 STS 브라켓의 양자화를 연결하기 위해 보편 $R$-행렬 $\mathcal{R}$을 사용한 토글링을 적용한다.
• 반사 방정식 대수 내의 $\mathcal{U}_{\hbar}(\mathfrak{D}\mathfrak{g})$-불변 이상수의 구조를 이용하여 $\mathbb{C}_{\hbar}[G]$를 몫으로 정의한다.
• 모듈러 대수의 토글링을 사용하여 텐서 대수에서 양자 설정으로의 정의 관계를 변환한다.
• 단순연결인 $G$에 대해 불변량의 대수 $I(G)$가 다항식임을 이용한다.

실험 결과

연구 질문

• RQ1 양자 좌표환 $\mathbb{C}_{\hbar}[G]$는 고전적 코스타운트-리처드슨 정리와 유사하게 중심 위의 자유 모듈러스를 갖는가?
• RQ2 양자 중심 $\mathbb{C}_{\hbar}[G]$는 고전적 불변량 대수 $I(G)$와 어떻게 관련이 있는가?
• RQ3 $\mathbb{C}_{\hbar}[G]$의 $\mathcal{U}_{\hbar}(\mathfrak{g})$-불변 부분대수는 중심과 일치하는가?
• RQ4 $I(G)$가 다항식일 경우 $\mathbb{C}_{\hbar}[G]$는 중심 $I_{\hbar}(G)$ 위의 모듈러스로서 어떤 구조를 갖는가?
• RQ5 반사 방정식 대수에서 토글링 구조에 따라 $\mathbb{C}_{\hbar}[G]$의 정의 관계는 어떻게 실현되는가?

주요 결과

• $\mathbb{C}_{\hbar}[G]$의 중심은 $\mathcal{U}_{\hbar}(\mathfrak{g})$-불변 부분대수 $I_{\hbar}(G)$와 일치하며, 고전적 불변량 이론의 양자적 유사성을 확립한다.
• $I_{\hbar}(G)$는 $\mathbb{C}$-대수로서 $I(G)\otimes\mathbb{C}[[\hbar]]$와 동형이며, 이는 양자 불변량이 고전적 불변량을 형식적으로 변형함을 보여준다.
• $I(G)$가 다항식일 경우 (예: 단순연결인 $G$의 경우), $\mathbb{C}_{\hbar}[G]$는 중심 $I_{\hbar}(G)$에 대한 자유 모듈러스이며, $\mathbb{C}[[\hbar]]$-유한한 동형성 성분을 갖는 $\mathcal{U}_{\hbar}(\mathfrak{g})$-부분모듈러스 $\mathcal{E}$에 의해 생성된다.
• $SL(n)$, $SO(N)$, $Sp(n)$과 같은 고전적 군의 경우, 대수 $\mathbb{C}_{\hbar}[G_{STS}]$는 $R$-행렬 관계와 $\det_q(K) = 1$에 의해 생성되는 이상수로의 몫으로서 실현된다.
• $\mathbb{C}_{\hbar}[G]$의 양자화는 $\mathcal{U}_{\hbar}(\mathfrak{g})$-모듈러 대수의 구조를 토글링하여 수행되며, $\mathcal{U}_{\hbar}(\mathfrak{D}\mathfrak{g})$에 대한 등변성을 유지한다.
• 결과는 모든 단순 복소대수적 군 $G$에 대해 성립하며, 자유성 조건은 $I(G)$의 다항식성에 따라 달라지며, 이는 $G$가 단순연결이거나 $SO(2n+1)$일 경우에 성립한다.