[논문 리뷰] Generalized graded Hecke algebra for complex reflection group of type G(r,1,n)

C. Dezelee|ArXiv.org|2006. 05. 15.

Advanced Algebra and Geometry인용 수 10

한 줄 요약

이 논문은 복소 반사군의 유형 G(r,1,n)에 대해 일반화된 등급 히치 대수를 도입하며, 이를 심플렉틱 반사 대수의 부분대수로 실현한다. PBW 정리, 중심의 계산, 그리고 Weyl 군에 대한 기존 결과로 귀환함으로써 주요 시리즈 모듈에 대한 기약성 기준을 증명한다. 기약성은 매개수 $ k $, 표현 $ \tau $, 캐릭터 $ \gamma $ 에 따라 결정됨을 보여주며, 주요 기여는 특정 집합 $ P_\varpi({}^\sigma\!\nu) $ 에서의 영성 조건을 통한 이러한 모듈에 대한 완전한 기약성 기준이다.

ABSTRACT

We study the representation theory of a generalized graded Hecke algebra associated to a complex reflection group of type G(r,1,n), defined by Ram and Shepler. We use a realization of this algebra in the corresponding symplectic reflection algebra to prove a PBW theorem. We define principal series modules and prove an irreducibility criterion for them.

연구 동기 및 목표

• 복소 반사군의 유형 $ G(r,1,n) $ 에 대해 일반화된 등급 히치 대수 $ \mathbb{H}_k(r,n) $ 를 정의하고 연구함으로써 이전의 Weyl 군에 대한 구성들을 확장한다.
• $ \mathbb{H}_k(r,n) $ 를 심플렉틱 반사 대수 $ \mathcal{H}(G,k) $ 의 부분대수로 실현함으로써 표현론적 도구의 이행을 가능하게 한다.
• 최대 교환 부분대수 $ \mathcal{C} \simeq \mathcal{P}^G \otimes Z(\mathbb{C}G) $ 로부터의 유도를 통해 $ \mathbb{H}_k(r,n) $ 에서 주요 시리즈 모듈을 정의한다.
• 이 주요 시리즈 모듈에 대한 완전한 기약성 기준을 확립함으로써 매개수 $ k $, $ \tau $, 및 $ \gamma $ 와의 연관성을 규명한다.
• 기본적으로 기약성 문제를 Weyl 군에 대한 등급 히치 대수의 문제로 환원함으로써, 캐릭터 변형과 순열 작용을 통해 기존 결과를 활용한다.

제안 방법

• 심플렉틱 반사 대수 $ \mathcal{H}(G,k) $ 내의 가환 원소의 가닥을 사용하여 $ \mathbb{H}_k(r,n) $ 를 심플렉틱 반사 대수의 부분대수로 정의함으로써 PBW 성질을 확보한다.
• 심플렉틱 반사 대수에서 유도된 관계를 통해 $ \mathbb{H}_k(r,n) $ 가 $ \mathcal{P} \otimes \mathbb{C}G $ 와 벡터 공간으로 동형임을 보여 기하학적 기반을 확립함으로써 PBW 정리를 증명한다.
• 중심 $ Z_k(r,n) $ 를 계산하고, 이 중심의 가장 큰 교환 부분대수인 $ \mathcal{C} \simeq \mathcal{P}^G \otimes Z(\mathbb{C}G) $ 를 식별함으로써 주요 시리즈 모듈을 매개변수화한다.
• 기약 $ \mathcal{C} $-모듈의 캐릭터 $ \gamma \otimes \tau $ 에서의 유도를 통해 주요 시리즈 모듈 $ M_k(\gamma \otimes \tau) $ 를 구성함으로써, 모든 기약 $ \mathbb{H}_k(r,n) $-모듈이 이러한 모듈의 몫임을 보장한다.
• $ \mathbb{H}_k(r,n) $-모듈 $ E_1(\tilde{\nu}) $ 와 $ \mathbb{H}_{\text{gr}}(\varpi) $-모듈 $ M({}^\sigma\!\nu) $ 사이의 동형을 확립함으로써, 기약성 문제를 잘 알려진 Weyl 군의 등급 히치 대수의 경우로 환원한다.
• 순열 $ \sigma \in S_n $ 과 집합 $ P_\varpi({}^\sigma\!\nu) = \{(i,j) \in S_n(\mu_\varpi) : \nu(D_i - D_j) = \pm r\bar{k}_0\} $ 을 사용하여 기약성 기준을 정의한다.

실험 결과

연구 질문

• RQ1 복소 반사군의 유형 $ G(r,1,n) $ 에 대한 일반화된 등급 히치 대수는 심플렉틱 반사 대수 내에 실현될 수 있는가?
• RQ2 이 일반화된 히치 대수 위에서 주요 시리즈 모듈의 구조는 어떻게 되며, 최대 교환 부분대수로부터의 유도를 통해 어떻게 구성할 수 있는가?
• RQ3 $ \mathbb{H}_k(r,n) $ 위에서 주요 시리즈 모듈이 기약이 되는 조건은 무엇인가?
• RQ4 이러한 모듈의 기약성은 매개수 $ k $, 표현 $ \tau $, 캐릭터 $ \gamma $ 와 어떻게 관련되는가?
• RQ5 캐릭터 변형과 군 작용을 통해 기약성 문제를 Weyl 군에 대한 등급 히치 대수의 문제로 환원할 수 있는가?

주요 결과

• 일반화된 등급 히치 대수 $ \mathbb{H}_k(r,n) $ 는 벡터 공간으로서 $ \mathcal{P} \otimes \mathbb{C}G $ 와 동형이며, PBW 정리를 만족함으로써 군 대수의 평탄한 변형임을 보장한다.
• $ \mathbb{H}_k(r,n) $ 의 중심 $ Z_k(r,n) $ 는 $ \mathcal{P}^G \otimes Z(\mathbb{C}G) $ 와 동형이며, 이 부분대수 $ \mathcal{C} $ 는 주요 시리즈 모듈을 매개변수화한다.
• 모든 기약 $ \mathbb{H}_k(r,n) $-모듈은 $ M_k(\gamma \otimes \tau) $ 의 몫이며, 이는 캐릭터 $ \gamma \otimes \tau $ 를 가진 $ \mathcal{C} $-모듈에서의 유도를 통해 구성된다.
• 모듈 $ M_k(\tilde{\nu}) $ 는 집합 $ P_\varpi({}^\sigma\!\nu) $ 가 공집합일 때이고 그때에만 기약이 된다. 여기서 $ P_\varpi({}^\sigma\!\nu) = \{(i,j) \in S_n(\mu_\varpi) : \nu(D_i - D_j) = \pm r\bar{k}_0\} $ 이다.
• $ M_k(\tilde{\nu}) $ 의 기약성은 심플렉틱 반사 대수 임베딩에 의해 유도된 동형을 통해 $ \mathbb{H}_{\text{gr}}(\varpi) $-모듈 $ M({}^\sigma\!\nu) $ 의 기약성과 동치이다.
• 기약성 기준은 $ S_n $ 의 작용에 대해 불변이므로, $ M_k(\tilde{\nu}) $ 가 기약이 되기 위한 필요충분조건은 모든 $ w \in S_n $ 에 대해 $ M_k({}^w\!\tilde{\nu}) $ 가 기약이 되는 것이며, 이는 정확히 $ P_\varpi({}^\sigma\!\nu) = \emptyset $ 일 때 성립한다.