[논문 리뷰] Rational and trigonometric degeneration of the double affine Hecke algebra of type $A$

Takeshi Suzuki|ArXiv.org|2005. 02. 25.

Advanced Algebra and Geometry참고 문헌 7인용 수 6

한 줄 요약

이 논문은 유리형 체레드니크 대수의 범주 $\mathcal{O}$ 를 비퇴화 이중 아핀 히드라 대수(DAHA)의 범주 $\mathcal{O}$ 로의 완전 충실한 임bedding을 알지브라적 임베딩과 유도 함수를 통해 구축한다. 주요 결과는 이 함수가 기저 모듈과 기저가 아닌 모듈을 그대로 유지한다는 점으로, 표현 이론적 결과의 이행이 가능하게 하며, 이는 $\mathcal{O}^{ss}$의 기저 모듈의 분류를 가능하게 한다.

ABSTRACT

We study a connection between the representation theory of the rational Cherednik algebra of type $GL_n$ and the representation theory of the degenerate double affine Hecke algebra (the degenerate DAHA). We focus on an algebra embedding from the rational Cherednik algebra to the degenerate DAHA and investigate the induction functor through this embedding. We prove that this functor embeds the category ${\mathcal O}$ for the rational Cherednik algebra fully faithfully into the category ${\mathcal O}$ for the degenerate DAHA. We also study the full subcategory ${\mathcal O}^{ss}$ of ${\mathcal O}$ consisting of those modules which are semisimple with respect to the commutative subalgebra generated by Cherednik-Dunkl operators. A classification of all irreducible modules in ${\mathcal O}^{ss}$ for the rational Cherednik algebra is obtained from the corresponding result for the degenerate DAHA.

연구 동기 및 목표

• 유리형 체레드니크 대수 $\mathbf{H}_\kappa$ 와 비퇴화 DAHA $\widetilde{\mathbf{H}}_\kappa$ 의 표현 이론 간의 연결을 수립하기 위해.
• 모듈러라이제이션 이sov모피즘으로 확장되는 $\mathbf{H}_\kappa$ 에서 $\widetilde{\mathbf{H}}_\kappa$ 로의 알지브라적 임베딩을 구성하기 위해.
• 유도 함수 $\widetilde{\mathbf{H}}_\kappa \otimes_{\mathbf{H}_\kappa} (-)$ 와 그 범주 $\mathcal{O}$ 에 대한 작용을 연구하기 위해.
• 비퇴화 DAHA의 알려진 결과를 활용하여 유리형 체레드니크 대수의 $\mathcal{O}^{ss}$ 내 기저 모듈을 분류하기 위해.

제안 방법

• 모듈러라이제이션과 $\mathbf{H}_\kappa$ 와 $\widetilde{\mathbf{H}}_\kappa$ 사이의 이sov모피즘으로 확장되는 알지브라적 임베딩 $\mathbf{H}_\kappa \to \widetilde{\mathbf{H}}_\kappa$ 를 구성한다.
• 유도 함수 $\widetilde{\mathbf{H}}_\kappa \otimes_{\mathbf{H}_\kappa} (-)$ 를 사용하여 $\mathbf{H}_\kappa$-mod 에서 $\widetilde{\mathbf{H}}_\kappa$-mod 로 모듈을 매핑한다.
• 이 함수를 $\mathcal{O}(\mathbf{H}_\kappa)$ 를 $\mathcal{O}(\widetilde{\mathbf{H}}_\kappa)$ 로 완전 충실하게 매핑하도록 제한하며, 표준 모듈과 기저 모듈을 유지한다.
• 비퇴화 부분범주 $\mathcal{O}^{ss}$ 는 체레드니크-던클 연산자에 의해 생성되는 교환 부분대수에 대해 반복적으로 분해 가능한 모듈들로 정의된다.
• 유도 함수는 $\mathcal{O}^{ss}(\mathbf{H}_\kappa)$ 를 $\mathcal{O}^{ss}(\widetilde{\mathbf{H}}_\kappa)$ 로 매핑하며, $\widetilde{\mathbf{H}}_\kappa$ 에 대한 알려진 분류 결과를 활용한다.
• 유도 함수를 통해 $\mathcal{O}^{ss}(\mathbf{H}_\kappa)$ 내 기저 모듈의 분류는 $\mathcal{O}^{ss}(\widetilde{\mathbf{H}}_\kappa)$ 의 분류로부터 유도된다.

실험 결과

연구 질문

• RQ1 유리형 체레드니크 대수의 표현 이론은 비퇴화 DAHA의 표현 이론과 어떻게 연결될 수 있는가?
• RQ2 알지브라적 임베딩 $\mathbf{H}_\kappa \to \widetilde{\mathbf{H}}_\kappa$ 에 의해 유도되는 유도 함수는 범주 $\mathcal{O}$ 의 구조를 유지하는가?
• RQ3 비퇴화 DAHA의 $\mathcal{O}^{ss}$ 내 기저 모듈의 분류를 활용하여 유리형 체레드니크 대수의 기저 모듈을 분류할 수 있는가?
• RQ4 유도 함수는 $\mathcal{O}$ 의 표준 모듈과 기저 모듈에 대해 어떻게 작용하는가?
• RQ5 표준 모듈의 구성 계열 내 기저 모듈의 중복도는 $\mathbf{H}_\kappa$, $\widetilde{\mathbf{H}}_\kappa$, 원래의 이중 아핀 히드라 대수 간에 어떻게 비교되는가?

주요 결과

• 유도 함수 $\widetilde{\mathbf{H}}_\kappa \otimes_{\mathbf{H}_\kappa} (-)$ 는 $\mathcal{O}(\mathbf{H}_\kappa)$ 를 $\mathcal{O}(\widetilde{\mathbf{H}}_\kappa)$ 로 완전 충실하게 매핑한다.
• 이 함수는 표준 모듈을 유지한다: $\mathbf{H}_\kappa$ 의 표준 모듈은 $\widetilde{\mathbf{H}}_\kappa$ 의 표준 모듈로 매핑된다.
• 이 함수는 기저성(기저 모듈의 기저성)을 유지한다: $\mathbf{H}_\kappa$ 의 기저 모듈은 $\widetilde{\mathbf{H}}_\kappa$ 의 기저 모듈로 매핑된다.
• 표준 모듈의 구성 계열 내 기저 모듈의 중복도는 이 함수에 의해 유지되며, 따라서 $\mathbf{H}_\kappa$, $\widetilde{\mathbf{H}}_\kappa$, 원래의 이중 아핀 히드라 대수 간에 동일하다.
• 부분범주 $\mathcal{O}^{ss}(\mathbf{H}_\kappa)$ 는 유도 함수에 의해 $\mathcal{O}^{ss}(\widetilde{\mathbf{H}}_\kappa)$ 로 완전 충실하게 매핑된다.
• $\kappa \in \mathbb{Z}_{>0}$ 인 경우, $\mathcal{O}^{ss}(\mathbf{H}_\kappa)$ 내 기저 모듈은 $\bigsqcup_{m=1}^n \Lambda^+_{\kappa}(m,n)$ 의 분할 $\lambda$ 와 일대일 대응된다. 여기서 $\Lambda^+_{\kappa}(m,n) = \{\lambda \in \Lambda^+(m,n) \mid \kappa - m - \lambda_1 + \lambda_m \in \mathbb{Z}_{\geq 0}\}$.