[논문 리뷰] A Frobenius homomorphism for Lusztig's quantum groups over arbitrary roots of unity

Simon Lentner|arXiv (Cornell University)|2014. 06. 03.

Algebraic structures and combinatorial models참고 문헌 15인용 수 7

한 줄 요약

이 논문은 루슈티그의 루트 단위에서 양자군에 대한 프로베니우스 호모모르피즘의 일반화를, 소수의 차수에 국한되지 않고 임의의 차수로 확장한다. 니chl스 대수 이론을 활용하여, 루트 단위의 차수가 소수가 아닐 경우에도 유한차원 핵심(작은 양자군)을 구성한다. 이는 핵심과 이미지의 리 대수와 원래의 것과 다를 수 있음을 드러내며, 이중 루트 체계와 브레인드 분류를 포함한다. 특히 $G_2$에서 $q = \pm i$인 특이한 경우, $G_2$ 루트 체계에서 $A_3$ 루트 체계로의 전환을 보여준다.

ABSTRACT

For a finite dimensional semisimple Lie algebra and a root of unity, Lusztig defined an infinite dimensional quantum group of divided powers. Under certain restrictions on the order of the root of unity, he constructed a Frobenius homomorphism with finite dimensional Hopf kernel and with image the universal enveloping algebra. In this article we define and describe the Frobenius homomorphism for arbitrary roots of unity by systematically using the theory of Nichols algebras. In several new exceptional cases the Frobenius-Lusztig kernel is associated to a different Lie algebra than the initial Lie algebra. Moreover, the Frobenius homomorphism often switches short and long roots, and may produce Lie algebras in a symmetrically braided category.

연구 동기 및 목표

• 루슈티그의 루트 단위에서의 양자군에 대한 프로베니우스 호모모르피즘을 소수의 차수에 국한되지 않고 일반화한다.
• 임의의 루트 단위에서 니chl스 대수 이론을 체계적으로 적용하여 프로베니우스-루슈티그 핵심을 기술한다.
• 핵심과 이미지 리 대수가 원래와 다를 수 있는 경우를 특정하며, 이중 루트 체계와 대칭 브레인드 분류를 포함한다.
• \ell가 2 또는 3으로 나누어떨어질 경우 작은 양자군의 정의에 발생하는 모순을 해결한다.
• 핵심과 이미지에서 이sov모르픽이 아닌 리 대수를 가진 양자군 확장을 이해할 수 있는 프레임워크를 제공한다.

제안 방법

• 니chl스 대수 이론을 활용하여, 루슈티그 양자군의 양의 부분에 대한 몫으로 프로베니우스-루슈티그 핵심 $u_q^\mathcal{L}(\mathfrak{g})^+$를 구성한다.
• 코라디컬 확장을 사용하고 정수 형식을 적용하여, 임의의 루트 단위에서 유리 양자군 $U_q^\mathcal{L}(\mathfrak{g})$를 특수화한다.
• 작은 양자군 위에서의 고유 작용과 루트 체계 궤도를 분석하여 핵심의 구조를 연구한다.
• 세르 관계와 양자 이항계수를 활용하여 교환자 관계를 계산하고 핵심 내에서의 비영인 관계를 검증한다.
• 호프 대수의 구조를 사용하여 짧은 정확한 수열을 정의한다: $u_q^\mathcal{L}(\mathfrak{g}^{(0)})^+ \to U_q^\mathcal{L}(\mathfrak{g})^+ \to U(\mathfrak{g}^{(\ell)})^+$.
• 프리-니chl스 대수의 순서쌍 대칭과 다이어그램 자기동형을 고려하여 이러한 확장을 위한 새로운 예를 생성한다.

실험 결과

연구 질문

• RQ1 루슈티그의 프로베니우스 호모모르피즘은 소수의 차수 외에도 임의의 루트 단위로 일반화될 수 있는가?
• RQ2 \ell가 2 또는 3으로 나누어떨어질 경우, 프로베니우스-루슈티그 핵심의 구조는 어떻게 되며, 기존 정의와 어떻게 다를까?
• RQ3 어떤 경우에 프로베니우스 호모모르피즘이 이중 루트 체계를 가진 리 대수로 사상하는가? 예를 들어 $B_n \leftrightarrow C_n$의 경우.
• RQ4 핵심과 이미지 리 대수가 대칭 브레인드 분류에 속할 수 있으며, 이는 표현 이론에 어떤 영향을 미치는가?
• RQ5 특이한 경우인 $\mathfrak{g} = G_2, q = \pm i$에서 핵심이 루트 체계 $A_3$를 가지는 것은 어떤 의미가 있는가?

주요 결과

• 임의의 루트 단위에서, 프로베니우스 호모모르피즘은 유한차원 핵심 $u_q^\mathcal{L}(\mathfrak{g}^{(0)})^+$를 가지며, 루슈티그의 구성으로 일반화된다.
• \ell가 2 또는 3으로 나누어떨어질 경우, 핵심 $u_q^\mathcal{L}(\mathfrak{g}^{(0)})^+$는 원래의 $\mathfrak{g}$와 다른 리 대수를 나타낼 수 있으며, 이중 루트 체계인 $B_n \leftrightarrow C_n$을 포함한다.
• $\mathfrak{g} = G_2, q = \pm i$인 경우, 핵심 $u_q^\mathcal{L}(\mathfrak{g}^{(0)})^+$는 원래의 $G_2$ 루트와는 달리 루트 체계 $A_3$를 가지며, $\alpha_1, \alpha_2, \alpha_{112}$에 의해 생성된다.
• 프로베니우스 호모모르피즘은 짧은 루트와 긴 루트를 바꾸며, 이미지 리 대수 $\mathfrak{g}^{(\ell)}$는 대칭 브레인드 분류에 속할 수 있다.
• 핵심 내에서 교환자 $[E_{112}^{(2)}, E_2^{(2)}]$는 0이지만, $[E_1^{(2)}, E_{112}^{(2)}]$는 $q = \pm i$일 때 $4E_{1112}^{(2)} \neq 0$로 평가되어 비자명한 관계임을 확인한다.
• 이 구성은 새로운 유형의 무한차원 호프 대수 확장 $H$를 유한차원 포인트드 호프 대수 $h$와 보편 포괄 대수 $U$ 사이에 제공하며, 이는 $\mathfrak{g}^{(0)} \neq \mathfrak{g} \neq \mathfrak{g}^{(\ell)}$인 경우를 포함한다.