[논문 리뷰] Group-like elements in quantum groups, and Feigin's conjecture

Arkady Berenstein|ArXiv.org|1996. 05. 12.

Algebraic structures and combinatorial models참고 문헌 10인용 수 17

한 줄 요약

이 논문은 카크-무디 대수의 비가역 부분대수의 완비화된 양자화된 포괄 대수에서 군-유사 원소를 구성하여, 유니포텐트 군의 양자 좌표 대수에서 비대칭 다항식 대수로의 평가 호모모르피즘의 양자 변형을 수립한다. 주요 결과는 평가 호모모르피즘의 상이 비대칭 분수체를 생성함과 동시에, 색인 순서가 웨일 군의 기약 표현일 때이고, 오직 그 때에만 성립하며, 핵은 해당 웨일 군 원소에 의해만 결정되며, 이는 페이긴의 추측을 카크-무디 대수로 일반화한다.

ABSTRACT

Let $A$ be an arbitrary symmetrizable Cartan matrix of rank $r$, and ${\bf n}={\bf n_+}$ be the standard maximal nilpotent subalgebra in the Kac-Moody algebra associated with $A$ (thus, ${\bf n}$ is generated by $E_1,\ldots,E_r$ subject to the Serre relations). Let $\hat U_q({\bf n})$ be the completion (with respect to the natural grading) of the quantized enveloping algebra of ${\bf n}$. For a sequence ${\bf i}=(i_1,\ldots,i_m)$ with $1\le i_k\le r$, let $P_{\bf i}$ be a skew polynomial algebra generated by $t_1,\ldots,t_m$ subject to the relations $t_lt_k=q^{C_{i_k,i_l}}t_kt_l$ ($1\le k

연구 동기 및 목표

• 양자군으로부터의 평가 호모모르피즘에 대한 페이긴의 추측을 카크-무디 대수의 설정으로 일반화하기.
• 비대칭 다항식 대수와 비가역 부분대수의 완비화된 양자 포괄 대수의 텐서곱에서 군-유사 원소를 구성하기.
• 평가 호모모르피즘의 상이 비대칭 다항식 대수의 비대칭 분수체를 생성하는 조건을 특성화하기.
• 평가 사상의 핵이 기약 표현에 대응하는 웨일 군 원소에만 의존하며, 구체적인 기약 표현에 따라 달라지지 않는다는 것을 보여주기.
• 동일한 웨일 군 원소의 기약 표현에 관련된 다양한 양자 지수 함수 간의 전이를 q-변형된 것으로 기술하기.

제안 방법

• 대칭 카르탕 행렬 $ C $를 사용하여, 생성자 $ t_1, \dots, t_m $와 관계 $ t_l t_k = q^{C_{i_k,i_l}} t_k t_l $ ($ k < l $)를 갖는 비대칭 다항식 대수 $ P_{\bf i} $를 정의한다.
• 비가역 부분대수의 완비화된 양자 포괄 대수 $ \hat{U}_q(\mathfrak{n}) $와의 텐서곱에서 군-유사 원소 $ \mathbf{e}_{\mathbf{i}} \in P_{\mathbf{i}} \otimes \hat{U}_q(\mathfrak{n}) $를 구성하며, 이는 고전적 지수 함수 사상 $ \pi_{\mathbf{i}}: \mathbb{C}^m \to N $를 변형한 것이다.
• 평가 호모모르피즘 $ \psi_{\mathbf{i}}: \mathbf{C}_q[N] \to P_{\mathbf{i}} $를 $ \psi_{\mathbf{i}}(x) = x(\mathbf{e}_{\mathbf{i}}) $로 정의하며, 이는 $ \mathbf{C}_q[N] $과 $ U_q(\mathfrak{n}) $ 사이의 표준적 동형에 의하여 페이긴의 호모모르피즘 $ \Phi(\mathbf{i}) $와 일치한다.
• 평가 호모모르피즘 $ \psi_{\mathbf{i}} $가 비대칭 다항식 대수 $ P_{\mathbf{i}} $의 비대칭 분수체 $ \mathcal{F}(P_{\mathbf{i}}) $를 생성함과 동시에, $ \mathbf{i} $가 웨일 군 $ W $의 어떤 원소 $ w $의 기약 표현일 때에만 성립함을 증명한다.
• 기본적으로 $ \mathbf{e}_{\mathbf{i}} $로 특수화되는 원소 $ \mathcal{R}_w \in (\mathbf{C}_q[N]/I_w) \otimes \hat{U}_q(\mathfrak{n}) $를 구성하며, 이는 루슈티그의 준-R-행렬과 밀접한 관련이 있다.
• 동일한 $ w \in W $의 기약 표현인 $ \mathbf{i}, \mathbf{i}' $에 대해, 비대칭 분수체 사이의 동형사상 $ \mathbf{R}_{\mathbf{i}}^{\mathbf{i}'}: \mathcal{F}(P_{\mathbf{i}}) \to \mathcal{F}(P_{\mathbf{i}'}) $를 정의하며, $ (\mathbf{R}_{\mathbf{i}}^{\mathbf{i}'} \otimes \mathrm{id})(\mathbf{e}_{\mathbf{i}}) = \mathbf{e}_{\mathbf{i}'} $를 만족하고, 이들이 루슈티그의 전이 사상의 q-변형임을 보인다.

실험 결과

연구 질문

• RQ1 평가 호모모르피즘 $ \psi_{\mathbf{i}}: \mathbf{C}_q[N] \to P_{\mathbf{i}} $의 상이 비대칭 다항식 대수 $ P_{\mathbf{i}} $의 비대칭 분수체 $ \mathcal{F}(P_{\mathbf{i}}) $를 생성하는 조건은 무엇인가?
• RQ2 평가 호모모르피즘 $ \psi_{\mathbf{i}} $의 핵은 순서 $ \mathbf{i} $의 선택에 따라 어떻게 달라지며, 특히 $ \mathbf{i} $가 웨일 군 원소 $ w $의 기약 표현일 경우 어떻게 되는가?
• RQ3 비대칭 다항식 대수 $ P_{\mathbf{i}} \otimes \hat{U}_q(\mathfrak{n}) $에 속하는 군-유사 원소 $ \mathbf{e}_{\mathbf{i}} $와 양자 R-행렬 또는 루슈티그의 전이 사상 간의 관계는 무엇인가?
• RQ4 동일한 웨일 군 원소의 기약 표현에 관련된 다양한 양자 지수 함수 간의 전이를 비대칭 분수체의 q-변형 동형사상으로 기술할 수 있는가?
• RQ5 비대칭 다항식 대수 $ P_{\mathbf{i}} $와 그 비대칭 분수체는 웨일 군의 기약 표현의 표현 이론 및 조합론과 어떻게 관련되어 있는가?

주요 결과

• 평가 호모모르피즘 $ \psi_{\mathbf{i}} $가 비대칭 다항식 대수 $ P_{\mathbf{i}} $의 비대칭 분수체 $ \mathcal{F}(P_{\mathbf{i}}) $를 생성함과 동시에, 색인 순서 $ \mathbf{i} $가 웨일 군 $ W $의 어떤 원소 $ w $의 기약 표현일 때에만 성립한다.
• 핵 $ I_w := \ker \psi_{\mathbf{i}} $는 웨일 군 원소 $ w $에만 의존하며, 구체적인 기약 표현 $ \mathbf{i} $에 따라 달라지지 않아, $ \mathbf{C}_q[N] $에서의 양면 이상으로 잘 정의되어 있다.
• 기본적으로 $ \mathbf{e}_{\mathbf{i}} $로 특수화되는 군-유사 원소 $ \mathcal{R}_w \in (\mathbf{C}_q[N]/I_w) \otimes \hat{U}_q(\mathfrak{n}) $를 구성하였으며, 이는 자연스러운 임bedding을 통해 $ P_{\mathbf{i}} \otimes \hat{U}_q(\mathfrak{n}) $에 포함될 때 $ \mathbf{e}_{\mathbf{i}} $로 특수화되며, 루슈티그의 준-R-행렬과 밀접한 관련이 있다.
• 동일한 $ w \in W $의 두 기약 표현 $ \mathbf{i}, \mathbf{i}' $에 대해, 비대칭 분수체 사이의 자연스러운 동형사상 $ \mathbf{R}_{\mathbf{i}}^{\mathbf{i}'}: \mathcal{F}(P_{\mathbf{i}}) \to \mathcal{F}(P_{\mathbf{i}'}) $가 존재하며, $ (\mathbf{R}_{\mathbf{i}}^{\mathbf{i}'} \otimes \mathrm{id})(\mathbf{e}_{\mathbf{i}}) = \mathbf{e}_{\mathbf{i}'} $를 만족하며, 이는 루슈티그의 전이 사상의 q-변형을 제공한다.
• 이러한 동형사상의 존재는 양자 지수 함수 간의 새로운 항등식과, 기약 표현에 관련된 반대칭 행렬에 관한 놀라운 조합론적 결과를 이끌어내며, [12]의 결과를 일반화한다.
• 비대칭 다항식 대수 $ P_{\mathbf{i}} $는 오른쪽 오어 조건을 만족하므로 비대칭 분수체를 갖으며, 이는 $ \mathcal{F}(P_{\mathbf{i}}) $의 대수적 구조를 잘 정의하는 데 기여한다.