[논문 리뷰] Root systems and Weyl groupoids for Nichols algebras

I. Heckenberger, Henriette Schneider|ArXiv.org|2008. 07. 04.

Algebraic structures and combinatorial models참고 문헌 14인용 수 20

한 줄 요약

이 논문은 임의의 호프 대수 위에서 유한성 조건을 만족하는 브레인드 호프 수축 작용으로부터 유도된 카르탕 행렬의 가족을 통해, 일반화된 루트 체계와 와이울 군oids 프레임워크를 도입하여, 반단순적이지 않은 야터-드린펠트 모듈에 대응하는 니컬스 대수의 이론을 확장한다. 브레인드 호프 수축 작용의 유한성 조건으로부터 유도된 카르탕 행렬의 가족을 통해, 니컬스 대수의 차원과 힐베르트 급수는 루트 체계와 반사 작용에 의해 결정됨을 증명하며, 이는 다음과 같은 분류 결과로 이어진다: 와이울 군oids 가 유한하면, 모든 루트 공간은 실수이며, 브레인드 호프 수축 작용은 기약성을 유지한다.

ABSTRACT

Motivated by work of Kac and Lusztig, we define a root system and a Weyl groupoid for a large class of semisimple Yetter-Drinfeld modules over an arbitrary Hopf algebra. The obtained combinatorial structure fits perfectly into an existing framework of generalized root systems associated to a family of Cartan matrices, and provides novel insight into Nichols algebras. We demonstrate the power of our construction with new results on Nichols algebras over finite non-abelian simple groups and symmetric groups. Key words: Hopf algebra, quantum group, root system, Weyl group

연구 동기 및 목표

• 카크-무디 리 대수에서의 루트 체계와 와이울 군 이론을 임의의 호프 대수 위에서 니컬스 대수로 확장하는 것.
• 브레인드 호프 수축 작용의 유한성 조건으로부터 유도된 카르탕 행렬의 가족을 통해, 반단순 야터-드린펠트 모듈에 대한 일반화된 루트 체계를 정의하는 것.
• 루트 유사 차수로 구성된 전순서 집합에 따라 인덱싱된, 기약 성분들의 니컬스 대수의 텐서곱으로서 니컬스 대수의 분해를 확립하는 것.
• 와이울 군oids 가 유한할 경우, 모든 루트가 실수이며, 브레인드 호프 수축 작용이 기약성을 유지함을 증명하는 것.
• 이 프레임워크를 적용하여 대칭군과 비아벨 단순군 위에서 유한차원 니컬스 대수를 분류하는 것.

제안 방법

• 브레인드 호프 수축 작용의 유한성 조건으로부터 유도된 카르탕 행렬의 가족을 사용하여, 사전에 고정된 카르탕 행렬을 가정하지 않고 일반화된 루트 체계를 정의하는 것.
• 브레인드 호프 대수의 대각형 타입에 대한 카르첸코의 PBW 기저 이론의 일반화를 활용하여, 니컬스 대수의 기약 성분들의 텐서곱으로의 분해를 구성하는 것.
• 루트 유사 차수로 구성된 $\mathbb{Z}^\theta$ 내의 전순서 집합에 따라 인덱싱된, 기약 야터-드린펠트 모듈의 니컬스 대수들의 텐서곱으로서 니컬스 대수의 유일한 분해를 확립하는 것.
• 루트 체계 위에서 반사 작용을 정의하고, 그 기본 성질을 증명하여 와이울 군oids의 기초를 마련하는 것.
• 이 이론을 적용하여, 대칭군 $\mathbb{S}_n$, $n \geq 3$ 위에서 유한차원 니컬스 대수 $\mathfrak{B}(U)$가 존재할 경우, $U$ 는 ${}^G_G\mathcal{YD}$ 내에서 반드시 기약이어야 한다는 것을 보이는 것.
• 조건 $q_{(\mathrm{ad}_c V)(W)} = -q_V q_W$ 와 이중 코셋 분석을 사용하여, 서로 가환하는 코어시티 클래스와 브레인드 행동에 대한 제약 조건을 유도하는 것.

실험 결과

연구 질문

• RQ1 임의의 호프 대수 위에서 고정된 카르탕 행렬을 가정하지 않고도, 니컬스 대수에 대해 일반화된 루트 체계와 와이울 군oids 를 정의할 수 있는가?
• RQ2 기약 야터-드린펠트 모듈의 직합 위에서 브레인드 호프 수축 작용이 기약성을 유지하기 위한 조건는 무엇인가?
• RQ3 와이울 군oids 의 유한성은 니컬스 대수의 구조, 특히 그 차원과 힐베르트 급수와 어떻게 관련되어 있는가?
• RQ4 유한차원 니컬스 대수가 대칭군과 비아벨 단순군에서 유한할 경우, 그에 따른 코어시티 클래스와 브레인드 행동에 어떤 제약 조건이 가해지는가?
• RQ5 두 기약 야터-드린펠트 모듈 위에서 브레인드 호프 수축 작용의 상이 기약이거나 0이 되는 조건는 무엇인가?

주요 결과

• 니컬스 대수 $\mathfrak{B}(M_1 \oplus \cdots \oplus M_\theta)$ 는 $\otimes_{l \in L} \mathfrak{B}(W_l)$ 로 유일하게 분해되며, 여기서 $W_l$ 은 $\mathbb{N}_0^\theta$-등급 기약 야터-드린펠트 모듈이며, $L$ 은 전순서 집합이다.
• 와이울 군oids 가 유한할 경우, 일반화된 루트 체계의 모든 루트는 실수이며, 브레인드 호프 수축 작용은 모든 $ i \neq j $, $ m \geq 1 $ 에 대해 $ (\mathrm{ad}_c M_i)^m(M_j) = 0 $ 이거나 기약이 된다.
• 대칭군 $\mathbb{S}_n$, $n \geq 3$ 에 대해, $\mathfrak{B}(U)$ 가 유한차원이면, $U$ 는 ${}^G_G\mathcal{YD}$ 내에서 반드시 기약이어야 한다.
• 만약 $\mathfrak{B}(V \oplus W)$ 가 유한차원이면, 모든 $ s \in \mathcal{O}_g $, $ t \in \mathcal{O}_h $ 에 대해 $ (st)^2 = (ts)^2 $ 이고, $ G^h x G^g $ 형태의 이중 코셋 중에서 $ (x \triangleright g)h \neq h(x \triangleright g) $ 를 만족하는 것은 최대 하나뿐이다.
• 모든 $ s \in \mathcal{O}_g $, $ t \in \mathcal{O}_h $ 에 대해 $ st \neq ts $ 를 만족할 경우, $ U = (\mathrm{ad}_c V_s)(W_t) $ 는 기약 야터-드린펠트 모듈이며, $ q_U = -q_V q_W $ 이고 $ \dim \mathfrak{B}(U) < \infty $ 이다.
• 조건 $ \dim \mathfrak{B}(U) < \infty $ 는 $ \mathcal{O}_{(123)} \notin \mathcal{F}(\mathbb{S}_3) $ 과 $ \mathcal{O}_{(12)(34)} \notin \mathcal{F}(\mathbb{S}_4) $ 를 함의하며, 이는 $\mathbb{S}_n$ 에서의 기약성 결과를 뒷받침한다.