[논문 리뷰] On the center of the quantized enveloping algebra of a simple Lie algebra

Libin Li, Limeng Xia외 1명|arXiv (Cornell University)|2016. 07. 04.

Algebraic structures and combinatorial models참고 문헌 6인용 수 5

한 줄 요약

이 논문은 $q$가 일반적일 때, 유한차원 단순 리 대수 $\mathfrak{g}$에 대한 양자화된 포괄 대수 $U_q(\mathfrak{g})$의 중심의 대수적 구조를 결정한다. 중심 $Z(U_q(\mathfrak{g}))$가 다항식 대수와 동형일 조건은 $\ mathfrak{g}$가 유형 $A_1, B_n, C_n, D_{2k+2}, E_7, E_8, F_4,$ 또는 $G_2$일 때이고, 이 외의 유형들, 즉 $D_n$ ($n$가 홀수), $E_6$, $A_n$에 대해서는 생성자와 관계를 통한 명시적 표현을 제공한다. 주요 기여는 중심이 다항식 대수일 조건을 완전히 분류하고, 그렇지 않은 경우에 대해 상세한 대수적 기술을 제공하는 것이다.

ABSTRACT

Let $\frak{g}$ be a finite dimensional simple complex Lie algebra and $U=U_q(\frak{g})$ the quantized enveloping algebra (in the sense of Jantzen) with $q$ being generic. In this paper, we show that the center $Z(U_q(\frak{g}))$ of the quantum group $U_q(\frak{g})$ is isomorphic to a monoid algebra, and that $Z(U_q(\frak{g}))$ is a polynomial algebra if and only if $\frak{g}$ is of type $A_1, B_n, C_n, D_{2k+2}, E_7, E_8, F_4$ or $G_2.$ Moreover, in case $\frak{g}$ is of type $D_{n}$ with $n$ odd, then $Z(U_q(\frak{g}))$ is isomorphic to a quotient algebra of a polynomial algebra in $n+1$ variables with one relation; in case $\frak{g}$ is of type $E_6$, then $Z(U_q(\frak{g}))$ is isomorphic to a quotient algebra of a polynomial algebra in fourteen variables with eight relations; in case $\frak{g}$ is of type $A_{n}$, then $Z(U_q(\frak{g}))$ is isomorphic to a quotient algebra of a polynomial algebra described by $n$-sequences.

연구 동기 및 목표

• 유한차원 단순 리 대수 $\ mathfrak{g}$에 대해 Jantzen의 의미에서 양자화된 포괄 대수의 중심 $Z(U_q(\mathfrak{g}))$의 대수적 구조를 결정하는 것.
• 중심 $Z(U_q(\mathfrak{g}))$가 다항식 대수와 동형일 수 있는 $\ mathfrak{g}$의 유형을 분류하는 것.
• 유형 $D_n$ ($n$가 홀수), $E_6$, $A_n$에 대해 $Z(U_q(\mathfrak{g}))$를 다항식 대수의 몫대수로서 생성자와 관계를 통한 명시적 표현을 제공하는 것.
• $(U_{\ text{ev}}^0)^W$의 최소 생성 집합을 결정하고, 이 집합이 $U_q(\mathfrak{g})$의 중심과 어떻게 관련되는지 밝히는 것.

제안 방법

• 저자들은 $U_q(\mathfrak{g})$의 중심을 카르탕 부분대수의 짝수 무게 래티스에서의 와일 군 불변량 $(U_{\ text{ev}}^0)^W$와 연결하기 위해 하리시-찬드라 호모모르피즘을 사용한다.
• 그들은 표현 이론을 활용하고 $\lambda \in Q \cap 2\Lambda$에 대해 중심 원소 $z_\lambda$를 구성함으로써 $(U_{\ text{ev}}^0)^W$의 구조를 분석한다.
• 유형 $D_n$ ($n$가 홀수)와 $E_6$에 대해서는 근계와 무게 래티스 계산을 통해 생성자와 관계를 식별함으로써 명시적 표현을 유도한다.
• 유형 $A_n$에 대해서는 다항식 대수의 몫대수로서 중심의 대수적 구조를 기술하기 위해 $n$-시퀀스를 활용한다.
• 유한 생성성을 보장하기 위해 노이터 정리를 적용한다.
• 분류 분석은 다양한 리 유형에 대해 근 래티스 $Q$와 무게 래티스 $\Lambda$의 일치 여부를 분석하는 데 의존한다.

실험 결과

연구 질문

• RQ1 유한차원 단순 리 대수 $\ mathfrak{g}$의 어떤 유형에 대해 $q$가 일반적일 때 중심 $Z(U_q(\mathfrak{g}))$가 다항식 대수와 동형일까?
• RQ2 유형 $D_n$ ($n$가 홀수), $E_6$, $A_n$에 대해 $Z(U_q(\mathfrak{g}))$의 명시적 대수적 구조는 무엇인가?
• RQ3 중심 $Z(U_q(\mathfrak{g}))$의 생성자와 관계는 와일 군 불변량 $(U_{\ text{ev}}^0)^W$와 어떻게 관련되는가?
• RQ4 $(U_{\ text{ev}}^0)^W$의 최소 생성 집합은 무엇이며, 이는 중심의 구조를 어떻게 결정하는가?
• RQ5 $n$-시퀀스의 사용이 유형 $A_n$에서 중심을 체계적으로 기술하는 데 어떻게 기여하는가?

주요 결과

• 중심 $Z(U_q(\mathfrak{g}))$는 $\ mathfrak{g}$가 유형 $A_1, B_n, C_n, D_{2k+2}, E_7, E_8, F_4,$ 또는 $G_2$일 때에만 다항식 대수와 동형이다.
• 유형 $D_n$ ($n$가 홀수)에 대해 $Z(U_q(\mathfrak{g}))$는 다항식 대수의 $n+1$개 변수에서의 몫대수이며, 하나의 관계를 가진다.
• 유형 $E_6$에 대해 $Z(U_q(\mathfrak{g}))$는 14개 변수의 다항식 대수의 몫대수이며, 여덟 개의 관계를 가진다.
• 유형 $A_n$ ($n \geq 2$)에 대해 $Z(U_q(\mathfrak{g}))$는 $n$-시퀀스로 기술된 다항식 대수의 몫대수이다.
• $(U_{\ text{ev}}^0)^W$의 최소 생성 집합이 명시적으로 결정되었으며, 이는 다항식 중심의 분류를 뒷받침하는 기초가 된다.
• 하리시-찬드라 호모모르피즘은 $Z(U_q(\mathfrak{g}))$를 $(U_{\ text{ev}}^0)^W$에 이sov모르피즘으로 매핑하며, 이는 $U^0$의 진부분대수이지만 항상 다항식 대수가 아니라는 점을 의미한다.