[논문 리뷰] Modules over quantized coordinate algebras and PBW-bases

Toshiyuki Tanisaki|arXiv (Cornell University)|2014. 09. 29.

Algebraic structures and combinatorial models참고 문헌 12인용 수 8

한 줄 요약

이 논문은 양자 좌표 대수 위에서 Soibelman의 기약 모듈을 유도 모듈로로 통합적으로 실현하여, 양자 보어 군 대수의 양의 부분에서 PBW 유형 기저의 전이 행렬과 Soibelman 모듈의 자연스러운 기저의 전이 행렬 사이의 대응을 일반적으로 증명한다. 또한 Kuniba, Okado, and Yamada의 특정 연산자가 이 모듈 위에 작용하는 데 대한 추측을 확인한다.

ABSTRACT

Around 1990 Soibelman constructed certain irreducible modules over the quantized coordinate algebra. A. Kuniba, M. Okado, Y. Yamada recently found that the relation among natural bases of Soibelman's irreducible module can be described using the relation among the PBW-type bases of the positive part of the quantized enveloping algebra, and proved this fact using case-by-case analysis in rank two cases. In this paper we will give a realization of Soibelman's module as an induced module, and give a unified proof of the above result of Kuniba, Okado, Yamada. We also verify Conjecture 1 of Kuniba, Okado, Yamada about certain operators on Soibelman's module.

연구 동기 및 목표

• Soibelman의 양자 좌표 대수 위에서 기약 모듈을 유도 모듈을 사용하여 균일한 표현론적 구성법으로 제공한다.
• U_q(\mathfrak{n}^+)에서의 PBW 기저 전이와 Soibelman 모듈의 기저 전이 사이의 관계에 대해 사례 분석 없이 개념적인 증명을 제공한다.
• Kuniba, Okado, and Yamada의 제1의 추측, 즉 특정 연산자가 Soibelman 모듈 위에 작용하는 방식을 검증한다.
• 완비화된 텐서곱에서의 타당성을 보여줌으로써, 이 틀을 비대칭 Kac-Moody 리 대수로 확장한다.

제안 방법

• 하나의 차원 표현으로부터 부분대수 \mathbb{C}_q[(N^- \cap wN^+w^{-1})\backslash G] 에서 유도 모듈 \overline{\mathcal{M}}_w 를 구성함으로써, Soibelman 모듈의 구성법을 일반화한다.
• 임의의 축약 표현 w = s_{i_1} \cdots s_{i_m} 에 대해 \overline{\mathcal{M}}_w \cong \mathcal{F}_{i_1} \otimes \cdots \otimes \mathcal{F}_{i_m} 의 동형사상을 확립하여, 유도 모듈을 랭크-일치 모듈의 텐서곱과 연결한다.
• U_q(\mathfrak{n}^+)에서의 PBW 기저 전이 행렬을 사용하여 \overline{\mathcal{M}}_w 의 자연스러운 기저에서의 기저 전환을 묘사하고, 정규화 인자까지의 등가성을 보인다.
• 연산자 \widehat{e}_{\mathbf{i}}^{(\mathbf{n})} 를 정의하고, d_{\mathbf{i},\mathbf{n}} 를 포함하는 계수를 통해 그 작용을 기저 원소 \overline{p}_{\mathbf{i}}(\mathbf{n}) 와 연결함으로써 기저 전환의 비교를 가능하게 한다.
• 두 자연스러운 기저 사이의 전이 행렬이 U_q(\mathfrak{n}^+)의 해당 PBW 기저 전이 행렬과 정규화 인자까지 일치함을 증명한다.
• Kuniba, Okado, and Yamada의 제1의 추측을 증명하기 위해 특정 연산자가 \overline{\mathcal{M}}_w 위에서 PBW 기저 전이와 동일한 행렬로 작용함을 보여준다.

실험 결과

연구 질문

• RQ1 Soibelman의 기약 모듈 \overline{\mathcal{M}}_w 를 \mathbb{C}_q[G] 위에서 유도 모듈을 사용하여 어떻게 균일하게 구성할 수 있는가?
• RQ2 U_q(\mathfrak{n}^+)에서의 PBW 기저 전이와 Soibelman 모듈의 기저 전이 사이의 대응은 랭크나 사례 분석에 의존하지 않는가?
• RQ3 특정 연산자가 Soibelman 모듈 위에 작용하는 것으로 추측된 바를 엄밀하게 검증할 수 있는가?
• RQ4 결과들이 비대칭 Kac-Moody 리 대수로 어느 정도까지 확장될 수 있는가?

주요 결과

• q 가 단위근이 아니면, 유도 모듈 \overline{\mathcal{M}}_w 는 \mathbb{C}_q[G]-모듈로서 기약이다.
• 임의의 축약 표현 w = s_{i_1} \cdots s_{i_m} 에 대해 \overline{\mathcal{M}}_w \cong \mathcal{F}_{i_1} \otimes \cdots \otimes \mathcal{F}_{i_m} 의 \mathbb{C}_q[G]-모듈 동형사상이 존재하여, Soibelman 모듈을 텐서곱으로 실현한다.
• \overline{\mathcal{M}}_w 의 서로 다른 축약 표현에 대응하는 두 자연스러운 기저 사이의 전이 행렬은 U_q(\mathfrak{n}^+)의 해당 PBW 기저 전이 행렬과 정규화 인자까지 일치한다.
• \frac{1}{1-q_i^2}(\sigma^{w_0}_{-\varpi_{i'}}e_i)(\sigma^{w_0}_{-\varpi_{i'}})^{-1} 연산자가 \overline{p}_{\mathbf{i}}(\mathbf{n}) 에 작용하는 방식은 PBW 기저 전이와 동일한 행렬로 묘사되며, 이는 Kuniba, Okado, and Yamada의 제1의 추측을 확인한다.
• 완비화된 텐서곱에서의 코멀티플리케이션과 관련 호모모르피즘이 잘 정의될 경우, 결과들은 비대칭 Kac-Moody 리 대수로 확장된다.