[논문 리뷰] Finite dimensional representations of rational Cherednik algebras

Yuri Berest, Pavel Etingof외 1명|ArXiv.org|2002. 08. 19.

Advanced Topics in Algebra참고 문헌 16인용 수 29

한 줄 요약

이 논문은 A형 유형의 유리성 Cherednik 대수의 유한차원 기약 표현에 대한 완전한 분류와 특성 공식을 제공하며, 이러한 표현은 매개수 $ c = \pm r/n $ 인 경우에만 존재하며, 이때 $ \gcd(r,n) = 1 $ 이고, 유한차원 기약 모듈은 $ c = r/n $ 에서는 $ L(\text{triv}) $, $ c = -r/n $ 에서는 $ L(\text{sign}) $ 이다. 또한 기하적 실현을 통해 이러한 표현을 Hilbert 스킴과 흐름성층과 연결하고, $ (q,t) $-Catalan 수와 Kostka 다항식을 포함하는 이중중량 특성에 대한 추측을 제기한다.

ABSTRACT

A complete classification and character formulas for finite-dimensional irreducible representations of the rational Cherednik algebra of type A is given. Less complete results for other types are obtained. Links to the geometry of affine flag manifolds and Hilbert schemes are discussed.

연구 동기 및 목표

• 유한차원 기약 표현을 모두 분류하는 것, 즉 $ W = S_n $ 인 $ A_{n-1} $ 유형의 유리성 Cherednik 대수 $ \mathcal{H}_c(S_n) $ 에 대해.
• 이 표현들의 특성 공식을 유도하고, 매개수 $ c \in \mathbb{C} $ 에 따른 그들의 구조를 이해하는 것.
• Hilbert 스킴과 같은 모듈라이 공간과의 기하적 연결 고리를 확립하는 것, 특히 $ \mathbb{C}^2 $ 상의 점들의 Hilbert 스킴에 대해.
• $ L(\text{triv}) $ 의 관련 그룹화 모듈과의 정확한 관계를 추측하는 것, 이는 $ (q,t) $-Catalan 수와 Kostka 다항식을 포함한다.

제안 방법

• 표준 모듈 생성법 $ M(\tau) = \mathcal{H}_c \otimes_{\mathbb{C}[\mathfrak{h}^*]\#W} \tilde{\tau} $ 를 사용하며, 여기서 $ \tilde{\tau} $ 는 $ W $-모듈 $ \tau $ 를 교차곱 대수로 확장한 것이다.
• 카테고리 $ \mathcal{O}(\mathcal{H}_c) $ 의 이론을 적용하며, 이는 $ \mathfrak{h} $-행동이 국소적으로 비가역인 유한 생성 $ \mathcal{H}_c $-모듈의 카테고리로 정의된다.
• $ L_c(\text{triv}) $ 의 최저 무게 모듈에 대해 $ \mathfrak{h} $ 의 작용을 이용해 필터를 구성하고, 관련 그룹화 모듈 $ \mathtt{gr} L_c(\text{triv}) $ 을 이중중량 공간으로서 분석한다.
• $ \mathbf{e} $ 를 원시 아이디포텐트로 정의하고, $ \mathtt{gr}(\mathbf{e} \cdot L_c(\text{triv})) $ 의 이중중량 특성 함수를 정의하며, 이를 $ \text{Hilb}^n_o(\mathbb{C}^2) $ 상의 선다발의 코homology 와 연결한다.
• $ \mathcal{H}_c \cong \mathcal{H}_{\varepsilon \cdot c} $ 의 동형사상, 즉 군 특성 $ \varepsilon $ 에 의한 전개를 통해 $ c $ 와 $ \varepsilon \cdot c $ 에서의 표현을 연결하고, 표현 카테고리의 동치를 유지한다.
• $ \mathtt{gr} L_c(\text{triv}) $ 와 $ H^0(\text{Hilb}^n_o(\mathbb{C}^2), \mathscr{R} \otimes \mathcal{L}^{\otimes k}) $ 사이의 정확한 관계를 추측하며, 여기서 $ \mathscr{R} $ 는 정규 $ S_n $-행동를 갖는 타우토로지컬 번들이다.

실험 결과

연구 질문

• RQ1 복소수 매개수 $ c \in \mathbb{C} $ 가 어떤 값일 때, $ \mathcal{H}_c(S_n) $ 의 유한차원 기약 표현이 존재하는가?
• RQ2 이러한 표현이 존재할 경우, 그들의 명시적 특성 공식은 무엇인가?
• RQ3 이 표현들은 Hilbert 스킴 또는 $ \text{Hilb}^n(\mathbb{C}^2) $ 상의 층 코homology 를 통해 어떻게 기하학적으로 실현되는가?
• RQ4 $ L_c(\text{triv}) $ 의 관련 그룹화 모듈의 이중중량 구조와 $ (q,t) $-Catalan 수 또는 Kostka 다항식 사이의 정확한 관계는 무엇인가?
• RQ5 $ \mathcal{H}_c $-모듈 $ L_c(\text{triv}) $ 는 점이 있는 Hilbert 스킴 상의 선다발의 코homology 를 통해 $ W $--equivariant $ \mathbb{T} $-모듈로 실현될 수 있는가?

주요 결과

• 유한차원 기약 표현은 $ r \in \mathbb{N} $ 이고 $ \gcd(r,n) = 1 $ 인 경우에만 $ c = \pm r/n $ 에서 존재하며, 이러한 매개수 외에는 존재하지 않는다.
• $ c = r/n $ 에서는 유일한 유한차원 기약 표현은 $ L(\text{triv}) $ 이고, $ c = -r/n $ 에서는 $ L(\text{sign}) $ 이며, 이는 A형에서의 완전한 분류를 확립한다.
• 관련 그룹화 모듈 $ \mathtt{gr} L_c(\text{triv}) $ 는 $ \mathfrak{h} $-행동로부터 자연스러운 이중중량을 지니며, 그 이중중량 특성 함수는 $ c = 1/n + k $ 일 때 $ (q,t) $-Catalan 수 $ C_n^{(k)}(q,t) $ 로 추측된다.
• 추측 7.10 은 $ \mathtt{gr}(\mathbf{e} \cdot L_c(\text{triv})) $ 를 $ H^0(\text{Hilb}^n_o(\mathbb{C}^2), \mathcal{L}^{\otimes k}) $ 와 동일시하며, 이는 모듈의 구조에 대한 기하적 실현을 제공한다.
• 추측 7.11 은 $ \mathtt{gr} L_c(\text{triv}) $ 를 $ \mathsf{sign} \otimes H^0(\text{Hilb}^n_o(\mathbb{C}^2), \mathscr{R} \otimes \mathcal{L}^{\otimes k}) $ 와 연결하며, 여기서 $ \mathscr{R} $ 는 정규 $ S_n $-행동를 갖는 타우토로지컬 번들이다.
• 추측 7.11 의 $ k = 0 $ 인 경우는 알려진 사실이며, Gordon 의 대각 조화 다항식 결과를 복원하여 초기 경우에서의 추측을 확인한다.