[논문 리뷰] One-W-type modules for rational Cherednik algebra and cuspidal two-sided cells

Dan Ciubotaru|arXiv (Cornell University)|2015. 03. 26.

Algebraic structures and combinatorial models참고 문헌 10인용 수 5

한 줄 요약

이 논문은 유한 웨일 군에 대해 W-모듈로써 기약인 단순 H_{0,c}-모듈을 분류하며, 특히 B_n, D_n, G_2, F_4, E_6, E_8(제외 E_7)의 경우에 대해, Lusztig의 쿠스피달 두쪽 세포와 Calogero-Moser 세포(즉, X_c(W) 공간을 통한) 사이의 직접적 연결을 Dirac 호모로지와 one-W-형 모듈을 이용해 수립한다. W가 B_n, D_n, G_2, F_4, E_6, E_8일 경우(제외 E_7), 쿠스피달 가족은 X_1(W)에서 원점 위의 섬유에 포함되며, E_8와 E_7에 대해 정확한 포함 관계 결과를 제시한다.

ABSTRACT

We classify the simple modules for the rational Cherednik algebra that are irreducible when restricted to W, in the case when W is a finite Weyl group. The classification turns out to be closely related to the cuspidal two-sided cells in the sense of Lusztig. We compute the Dirac cohomology of these modules and use the tools of Dirac theory to find nontrivial relations between the cuspidal Calogero-Moser cells and the cuspidal two-sided cells.

연구 동기 및 목표

• 유한 웨일 군에 대해 W-모듈로써 기약인 단순 H_{0,c}-모듈을 분류하는 것.
• 유계 체레드니크 대수에서 쿠스피달 두쪽 세포(Lusztig)와 Calogero-Moser 세포(X_c(W)를 통한) 사이의 관계를 이해하는 것.
• Dirac 호모로지 기법을 적용하여 표현 이론에서 이 두 분할 구조 간의 비자명한 관계를 수립하는 것.
• 예외적 및 고전적 웨일 군 전반에 적용 가능한 통일된 방법을 one-W-형 모듈과 Dirac 이론을 통해 제공하는 것.
• 실반사군에 대해 Calogero-Moser 분할과 두쪽 세포 분할이 일치한다는 추측을 뒷받침하는 것, 특히 E_8와 E_7의 경우에 대해.

제안 방법

• 논문은 t=0에서의 유계 체레드니크 대수에 대한 Dirac 연산자와 Dirac 호모로지를 사용하며, [Ci]와 [BCT]의 구성들을 확장한다.
• 대표론적 분석과 특성 분해를 통해 one-W-형 모듈—W-모듈로써 기약인 단순 H_{0,c}-모듈—을 분류한다.
• 이 방법은 W-표현과 외적 대수 ∧h의 텐서곱 위에서 Dirac 연산자의 작용을 계산하는 데 의존하며, 알려진 분해 규칙을 활용한다.
• 논문은 [Go]에서 제시된 사상 Θ: Irr(W) → X_1(W)를 활용하여 원점 위의 섬유를 분석한다.
• 각 웨일 군에 대해, 관련 쿠스피달 표현 σ에 대해 σ ⊗ ∧h의 분해에 포함되는 W-형을 확인한다.
• a(F) = a(F⊗sgn)이므로 부호 변환에 대해 대칭임을 이용하여, σ(Ω_{W,1}) = 0 조건을 통해 Θ^{-1}(0)에 포함될 수 있는 가족을 제약한다.

실험 결과

연구 질문

• RQ1 유한 웨일 군 W에 대해, H_{0,1}이 one-W-형 모듈을 가질 조건은 무엇인가?
• RQ2 Lusztig의 의미에서 W의 쿠스피달 두쪽 세포는 사상 Θ: Irr(W) → X_1(W)의 섬유와 어떻게 관련이 있는가?
• RQ3 Dirac 호모로지 기법을 통해 Calogero-Moser 세포 분할과 두쪽 세포 분할 간의 비자명한 관계를 탐지할 수 있는가?
• RQ4 섬유 Θ^{-1}(0)이 쿠스피달 가족을 완전히 포함하는 경우는 언제이며, 더 크거나 더 작은 경우는 언제인가?
• RQ5 이 방법은 고려된 사례 외의 비균일 매개변수 또는 복소 반사군으로까지 확장 가능한가?

주요 결과

• H_{0,1}에서 one-W-형 모듈이 존재하는 것은 W가 쿠스피달 두쪽 세포를 가질 때에 한하여 성립하며, W = E_7의 경우는 쿠스피달 가족이 존재하지만 이러한 모듈이 존재하지 않는다.
• W = B_n, D_n, G_2, F_4, E_6의 경우, 쿠스피달 가족 F_cusp(W)는 Θ^{-1}(0)에 포함되며, G_2, F_4, E_6에서는 등식이 성립한다.
• W = E_8의 경우, 쿠스피달 가족 F_cusp(E_8)에서 4480_y 표현을 제외한 부분이 Θ^{-1}(0)에 포함되며, Θ^{-1}(0)은 F_cusp(E_8) ∪ {2100_y}에 포함된다.
• W = E_7의 경우, Θ(512_a')의 섬유에는 오직 512_a'과 512_a만 포함되어 있으며, 이들은 전체 쿠스피달 가족 F_cusp(E_7)를 이룬다.
• Dirac 호모로지와 one-W-형 모듈을 이용한 방법은 직접 분류가 실패하는 경우에도 비자명한 포함 결과를 도출한다. 예를 들어 E_7의 경우에 해당된다.
• 비균일 매개변수의 경우, 이 방법은 비자명한 쿠스피달 Calogero-Moser 세포를 구성한다. 예를 들어 F_4에서는 모든 유한한 매개변수 값을 제외한 나머지 값들에 대해 {4_1, 6_1, 6_2, 16_1, 12_1}이 Θ^{-1}(0)에 포함된다.