[논문 리뷰] Centers of degenerate cyclotomic Hecke algebras and parabolic category O

Jonathan Brundan|ArXiv.org|2006. 07. 27.

Algebraic structures and combinatorial models참고 문헌 23인용 수 13

한 줄 요약

이 논문은 복소 반사군 $B_d(l)$에 관련된 열화된 순환 히드라 알제브라의 중심이 정확히 그 가환 생성자들에 대한 대칭 다항식으로 이루어져 있음을 증명하며, 이는 그 블록의 완전한 분류를 이끌어낸다. 이 결과는 이후 $\\mathfrak{gl}_n(\mathbb{C})$의 평행 카테고리 $\\mathcal{O}$의 정수 블록의 중심이 유니버설 포괄 대수 $U(\\mathfrak{gl}_n)$의 중심에 의해 생성됨을 보여주며, 표현 이론에서 핵심적인 구조적 질문을 해결한다.

ABSTRACT

We prove that the center of each degenerate cyclotomic Hecke algebra associated to the complex reflection group of type B_d(l) consists of symmetric polynomials in its commuting generators. The classification of the blocks of the degenerate cyclotomic Hecke algebras is an easy consequence. We then deduce that the center of an integral block of parabolic category O for the Lie algebra gl_n(C) is generated by the center of its universal enveloping algebra.

연구 동기 및 목표

• 열화된 순환 히드라 알제브라의 중심 구조를 복소 반사군 $B_d(l)$에 관련하여 규명하는 것.
• 중심의 구조를 이용해 이러한 알제브라의 블록을 분류하는 것.
• $\\mathfrak{gl}_n(\\mathbb{C})$의 평행 카테고리 $\\mathcal{O}$의 중심과 그 유니버설 포괄 대수의 중심 사이의 연결 고리를 설정하는 것.
• 크호바노프의 분류화에 대한 추측에 대한 표현론적 기초를 제공하는 것.

제안 방법

• 열화된 아핀 히드라 알제브라 $H_d$의 중심이 주어진 Jucys-Murphy 원소들에 대한 대칭 다항식으로 이루어져 있음을 안다는 사실을 이용한다.
• $H_d$를 $f(x_1)$에 의해 생성되는 양측 이상으로 나누어 열화된 순환 히드라 알제브라 $H_d^f$를 정의한다. 여기서 $f$는 차수 $l$인 상수항 다항식이다.
• 표준적인 전성 사상 $H_d \twoheadrightarrow H_d^f$가 중심의 구조를 유지한다는 사실을 이용해, $H_d^f$의 중심이 생성자들 $x_1, \dots, x_d$에 대한 대칭 다항식으로 이루어져 있음을 증명한다.
• 중앙 문자를 통한 블록 분류를 적용하여, $H_d^f$의 블록들이 $d$의 $l$-다중분할에 의해 매개변수화됨을 유도한다.
• 카테고리 $\\mathcal{O}^\mu_\nu$와 열화된 순환 히드라 알제브라의 몫의 모듈러 카테고리 사이의 동치를 이용해, $\\mathcal{O}^\mu_\nu$의 중심과 $H_d^f$의 중심을 연결한다.
• 자연스러운 사상들인 $Z(\\mathfrak{g})$, $Z(\\mathcal{O}^\mu_\nu)$, 그리고 프로젝티브 생성자의 자기환원 대수의 준동형 대수를 포함하는 교환도형을 구축하여, $Z(\\mathfrak{g})$에서 $Z(\\mathcal{O}^\mu_\nu)$로의 사상이 전사임을 증명하고, $Z(\\mathcal{O}^\mu_\nu)$가 열화된 순환 히드라 알제브라의 중심과 동형임을 보인다.

실험 결과

연구 질문

• RQ1 복소 반사군 $B_d(l)$에 관련된 열화된 순환 히드라 알제브라 $H_d^f$의 중심의 구조는 무엇인가?
• RQ2 블록 $H_d^f$는 $d$의 $l$-다중분할과 같은 조합론적 자료와 어떻게 대응되는가?
• RQ3 정수 중심 문자를 가진 $\\mathfrak{gl}_n(\\mathbb{C})$의 평행 카테고리 $\\mathcal{O}$의 블록 중심은 $U(\\mathfrak{gl}_n)$의 중심에 의해 생성되는가?
• RQ4 $\\mathcal{O}^\mu_\nu$의 중심은 열화된 순환 히드라 알제브라의 중심과 일치하는가?
• RQ5 $Z(\\mathcal{O}^\mu_\nu)$의 차원은 얼마이며, 이는 해당 블록 내의 기약 모듈의 이소모르피즘 클래스 수와 어떻게 관련되는가?

주요 결과

• 열화된 순환 히드라 알제브라 $H_d^f$의 중심은 정확히 생성자들 $x_1, \dots, x_d$에 대한 대칭 다항식의 부분대수이다.
• 중심 $Z(H_d^f)$는 $l$-다중분할의 인덱스를 가진 기저를 가진 자유 $R$-모듈이다.
• $H_d^f$의 블록들은 $d$의 $l$-다중분할에 의해 분류되며, 각 블록은 생성자 $x_i$의 고유값에 의해 결정되는 중심 문자와 대응된다.
• 모든 정수 중심 문자 $\nu$에 대해, 자연스러운 사상 $m^\mu_\nu: Z(\\mathfrak{g}) \to Z(\\mathcal{O}^\mu_\nu)$는 전사적인 대수 준동형사상이다.
• 중심 $Z(\\mathcal{O}^\mu_\nu)$는 열화된 순환 히드라 알제브라의 중심과 동형이며, 그 차원은 $\\mathcal{O}^\mu_\nu$ 내의 기약 모듈의 이소모르피즘 클래스의 수와 같다.
• $f^\mu_\nu: Z(\\mathcal{O}^\mu_\nu) \to Z(\operatorname{End}_{\\mathfrak{g}}((P^\mu \otimes V^{\otimes d})e^\mu_\nu)^{\mathrm{op}})$는 동형사상이며, 전체 중심의 도형은 전사 사상들과 함께 교환된다.