[논문 리뷰] Right coideal subalgebras of Nichols algebras and the Duflo order on the Weyl groupoid

I. Heckenberger, Henriette Schneider|ArXiv.org|2009. 09. 01.

Algebraic structures and combinatorial models참고 문헌 22인용 수 9

한 줄 요약

이 논문은 양성-드린펠트 모듈이 모든 반사들을 포함하고, 니chl스 대수의 분해 가능성이 보장될 조건 하에, Weyl 군oids의 사상(오른쪽 두플로 순서에 의해 순서가 매겨짐)과 니chl스 대수의 계수 오른쪽 아이소이드 하부대수(포함 관계에 의해 순서가 매겨짐) 사이에 일대일이고 순서를 유지하는 대응 관계를 수립한다. 주요 결과는 카르첸코의 추측을 확인하며, 양의 보렐 부분대수에서의 오른쪽 아이소이드 하부대수의 수에 대해 제기한 것이다.

ABSTRACT

We study graded right coideal subalgebras of Nichols algebras of semisimple Yetter-Drinfeld modules. Assuming that the Yetter-Drinfeld module admits all reflections and the Nichols algebra is decomposable, we construct an injective order preserving and order reflecting map between morphisms of the Weyl groupoid and graded right coideal subalgebras of the Nichols algebra. Here morphisms are ordered with respect to right Duflo order and right coideal subalgebras are ordered with respect to inclusion. If the Weyl groupoid is finite, then we prove that the Nichols algebra is decomposable and the above map is bijective. In the special case of the Borel part of quantized enveloping algebras our result implies a conjecture of Kharchenko. Key words: Hopf algebra, quantum group, root system, Weyl group

연구 동기 및 목표

• 반사적, 사례에 의존하지 않는 방법으로, 반단순 양성-드린펠트 모듈의 니chl스 대수에서 계수 오른쪽 아이소이드 하부대수를 체계적으로 분류하는 것.
• 양의 보렐 부분대수에서의 아이소이드 하부대수에 관한 결과를 니chl스 대수와 Weyl 군oids의 더 넓은 프레임워크로 일반화하는 것.
• 오른쪽 아이소이드 하부대수 $U^{ geq 0}$ 중에서 $U^0$를 포함하는 것들의 수가 Weyl 군의 순서와 일치함을 증명하여, 카르첸코의 추측을 확인하는 것.
• 두플로 순서에 의한 Weyl 군oids의 사상과 관련하여, $U^+ [w]$ 대수와 그 포함 관계를 통일적이고 내재적인 방식으로 특성화하는 것.
• 적절한 프레임워크 수정을 통해 다중매개수 양자군과 원주율에서의 작은 양자군으로 이론을 확장하는 것.

제안 방법

• 오른쪽 두플로 순서에 의해 순서가 매겨진 Weyl 군oids의 사상에서, 포함 관계에 의해 순서가 매겨진 니chl스 대수의 계수 오른쪽 아이소이드 하부대수로의 단사적, 순서를 유지하고 반영하는 사상 구축.
• 반사 이론과 양성-드린펠트 모듈의 근계 이론을 활용하여, 반단순 양성-드린펠트 모듈 $M$에 대해 Weyl 군oids $\mathcal{W}(M)$를 정의하는 것.
• Weyl 군oids $\mathcal{W}(M)$가 유한할 경우, 니chl스 대수와 그 아이소이드 하부대수에 대한 PBW 정리 적용을 통해 기저의 잘 정의됨을 보장하는 것.
• 루슈티그의 브레인 군 작용과 휘어짐 함수 $T_i$를 활용하여 근 벡터를 정의하고, 서로 다른 Weyl 군oids의 객체들 간의 관계를 설정하는 것.
• 니chl스 대수의 함자 $\mathcal{B}(\vartheta)$와 휘어짐 사상 $T_i$를 포함하는 교환 다이어그램을 수립하여, 다양한 최소 분해에 따른 PBW 생성자 간의 일관성을 확보하는 것.
• 대수 $U$의 삼각 분해와 비퇴화 이중선형 형식의 성질을 활용하여, 핵심 대수적 사상들의 단사성과 교환성을 증명하는 것.

실험 결과

연구 질문

• RQ1 오른쪽 두플로 순서에 의해 순서가 매겨진 Weyl 군oids의 사상과 니chl스 대수의 계수 오른쪽 아이소이드 하부대수 사이에 자연스럽고 내재적인 대응 관계가 존재하는가?
• RQ2 오른쪽 아이소이드 하부대수 $U^{ geq 0}$ 중에서 $U^0$를 포함하는 것들의 수가 Weyl 군 $W$의 순서와 일치하는가?
• RQ3 $U^+ [w]$ 대수들이 사례별 분석 없이, 휘어짐 함수의 상과 PBW 생성자로 일관되게 특성화될 수 있는가?
• RQ4 Weyl 군oids가 유한할 때, 니chl스 대수가 분해 가능하고, 아이소이드 하부대수로의 사상이 일대일이 되는 조건은 무엇인가?
• RQ5 결과들이 다중매개수 양자군과 원주율에서의 작은 양자군으로 얼마나 넓게 일반화될 수 있는가?

주요 결과

• 사상 $w \mapsto U^+ [w]U^0$ 는 오른쪽 두플로 순서로 순서가 매겨진 Weyl 군 $W$와 $U^{ geq 0}$의 모든 오른쪽 아이소이드 하부대수 중에서 $U^0$를 포함하는 집합 사이의 순서를 유지하는 일대일 대응이다.
• Weyl 군oids $\mathcal{W}(M)$가 유한할 경우, 니chl스 대수 $\mathcal{B}(M)$는 분해 가능하며, Weyl 군oids의 사상에서 아이소이드 하부대수로의 사상은 일대일이 된다.
• 루슈티그의 자동형사를 통한 $U^+$의 PBW 기저는 Weyl 군oids 프레임워크에서 유도된 PBW 기저와 일치함을 확인하여, 서로 다른 구성 간의 일관성을 입증한다.
• 하위대수 $U^+ [w]$ 는 오른쪽 두플로 순서에서 $w' \leq_D w$ 인 임의의 더 작은 $U^+ [w']$ 에 대해 오른쪽 모듈로서 자유이다.
• 결과는 카르첸코의 추측을 확인하며, $U^{ geq 0}$ 에서 $U^0$ 를 포함하는 오른쪽 아이소이드 하부대수의 수가 Weyl 군의 순서 $|W|$ 와 일치함을 보여준다.
• 프레임워크는 $q_{\alpha}$ 가 원주율이 아니거나, 각각의 경우에 따라 원주율일 경우에 대해 다중매개수 양자군과 작은 양자군으로 일반화 가능하다.