[논문 리뷰] Dirac cohomology for symplectic reflection algebras

Dan Ciubotaru|arXiv (Cornell University)|2015. 02. 19.

Advanced Algebra and Geometry참고 문헌 17인용 수 3

한 줄 요약

이 논문은 드린펠트의 허케 대수에서 디랙 연산자와 디랙 코hom로지의 통일된 프레임워크를 제안하며, 이는 이전의 등급 아핀 허케 대수에 대한 연구를 일반화한다. 이 이론은 심플렉틱 반사 대수, 특히 유리성 카레드니크 대수에 적용되며, 캘로제르-모저 공간의 0-섬유가 중심 문자로의 사상에 의한 기약 표현의 이미지와 일치하는 디랙 사상(모르피즘)을 확립함으로써, 루슈티그-루퀴에르 가족과 연결된다.

ABSTRACT

We define uniformly the notions of Dirac operators and Dirac cohomology in the framework of the Hecke algebras introduced by Drinfeld. We generalize in this way the Dirac cohomology theory for Lusztig's graded affine Hecke algebras. We apply these constructions to the case of symplectic reflection algebras defined by Etingof-Ginzburg, particularly to rational Cherednik algebras for real or complex reflection groups with parameters t,c. As applications, we give criteria for unitarity of modules in category O and we show that the 0-fiber of the Calogero-Moser space admits a description in terms of a certain "Dirac morphism" originally defined by Vogan for representations of real semisimple Lie groups.

연구 동기 및 목표

• 등급 아핀 허케 대수에서의 디랙 코호몰로지 이론을 더 넓은 범주인 드린펠트의 허케 대수로 일반화하기.
• 기저 벡터 공간 위의 비퇴화된 W-불변 대칭 이차형식만을 요구하는 이 일반화된 설정에서 디랙 연산자와 디랙 코호몰로지의 통일된 구성 방법을 확립하기.
• 이 이론을 심플렉틱 반사 대수, 특히 실수 및 복소 반사군에 대한 유리성 카레드니크 대수에 적용하기.
• 카테고리 $\mathcal{O}$ 내 모듈의 유니타리성을 판단하는 기준을 제공하여 이전의 비유니타리성 결과를 보완하기.
• 일반화된 캘로제르-모저 공간의 0-섬유가 디랙 사상의 이미지로 나타나며, 이는 루슈티그-루퀴에르 가족과 같은 표현론적 분할과 연결됨을 보여주기.

제안 방법

• 기저 벡터 공간 위의 W-불변 대칭 이차형식을 사용하여 드린펠트 허케 대수 $\mathbf{H}_{\mathbf{a}}$와 클리퍼드 대수 $C(V)$의 텐서곱 위에 디랙 연산자 $\mathcal{D}$를 정의하기.
• 표현 이론에서의 고전적 디랙 연산자 제곱과 일반화된 공식을 증명하기.
• 디랙 코호몰로지에 대한 보반의 추측의 유사체를 확립하여, 비영인 디랙 코호몰로지가 모듈의 무한소 문자를 결정함을 보여주기.
• 디랙 사상 $\zeta_c^*: \mathrm{Irr}(W) \to \Upsilon^{-1}(0)$을 구성하기. 여기서 $\Upsilon^{-1}(0)$은 일반화된 캘로제르-모저 공간의 0-섬유이다.
• 디랙 사상을 사용하여 $\mathbf{H}_{0,c}$에서 중심 문자에 의한 $\mathrm{Irr}(W)$의 분할을 루슈티그-루퀴에르 가족과 연결하기.
• 베이비 베르마 모듈 $\bar{M}(\sigma)$에 이 이론을 적용하고, $\bar{L}(\sigma)$의 디랙 코호몰로지가 $\sigma$가 $\zeta_c^*$에 의한 이미지에서 어떻게 감지되는지 보여주기.

실험 결과

연구 질문

• RQ1 드린펠트의 허케 대수에서 디랙 코호몰로지를 어떻게 통일적으로 정의할 수 있으며, 이는 등급 아핀 허케 대수 이론을 어떻게 확장하는가?
• RQ2 이 일반화된 설정에서 디랙 연산자 제곱 $\mathcal{D}^2$의 구조는 어떻게 되는가?
• RQ3 디랙 사상 $\zeta_c^*$는 $W$의 표현론과 캘로제르-모저 공간의 기하학 사이에 어떻게 연결되는가?
• RQ4 디랙 코호몰로지가 유리성 카레드니크 대수의 카테고리 $\mathcal{O}$에서의 유니타리성을 감지할 수 있는가?
• RQ5 디랙 사상 $\zeta_c^*$는 캘로제르-모저 분할을 루슈티그-루퀴에르 가족과 일치시키는가?

주요 결과

• 디랙 연산자 $\mathcal{D}$는 드린펠트의 허케 대수의 프레임워크에서 일반화된 제곱 공식을 만족한다: $\mathcal{D}^2 = \text{카시미르 유사 항} + \text{중심 원소}$.
• 보반의 추측의 유사체가 성립한다: 비영인 디랙 코호몰로지는 모듈의 무한소 문자를 결정한다.
• 일반화된 캘로제르-모저 공간의 0-섬유 $\Upsilon^{-1}(0)$은 디랙 사상 $\zeta_c^*: \mathrm{Irr}(W) \to \Upsilon^{-1}(0)$의 이미지와 동형이며, 중심 문자 사상의 기하학적 실현을 제공한다.
• 사상 $\zeta_c^*$는 코로나리 5.10에서 보여지듯이 중심 문자 사상 $\Theta: \mathrm{Irr}(W) \to \Upsilon^{-1}(0)$의 $\varepsilon$-쌍대이다.
• 상수 매개수 $c$를 가진 바일 군 $B_2$의 경우, 표현 $11\times 0$, $1\times 1$, $0\times 2$는 $\Theta$의 동일한 섬유에 속해 있으며, 이는 루슈티그 가족을 이룬다는 것을 확인한다.
• 바일 군 $B_2$에서 $\sigma = 11\times 0$인 단순 모듈 $\bar{L}(\sigma)$의 디랙 코호몰로지는 $\sigma \otimes \bigwedge \mathfrak{h} = (11\times 0) + (1\times 1) + (0\times 2)$로 나타나며, 이는 디랙 사상의 비자명한 이미지를 확인한다.