[논문 리뷰] Heisenberg algebras and rational double affine Hecke algebras

Peng Shan, Éric Vasserot|arXiv (Cornell University)|2010. 11. 30.

Algebraic structures and combinatorial models참고 문헌 31인용 수 13

한 줄 요약

이 논문은 순환 유리 이중아핀 히젠버그 대수(RDAHA)의 $\mathcal{O}$ 범주를 통해 파동 공간(Fock space) 위의 히젠버그 대수 작용의 분류화를 수립한다. 이는 $\mathcal{O}$의 코herent 군의 지지 필터링을 히젠버그 작용에 의해 정의된 표현론적 그레디에이션과 연결한다. 이는 에팅오프의 추측을 해결하며, 수준-랭크 dualities와 함께 분류화된 히젠버그 작용을 통해 유한차원 RDAHA 모듈의 수를 명시적인 공식으로 제공한다.

ABSTRACT

In this paper we categorify the Heisenberg action on the Fock space via the category O of cyclotomic rational double affine Hecke algebras. This permits us to relate the filtration by the support on the Grothendieck group of O to a representation theoretic grading defined using the Heisenberg action. This implies a recent conjecture of Etingof.

연구 동기 및 목표

• 순환 유리 이중아핀 히젠버그 대수(RDAHA)의 $\mathcal{O}$ 범주를 사용하여 파동 공간 $\mathcal{F}_\ell$ 위의 히젠버그 대수 작용의 분류화를 수립하기.
• $\mathcal{O}(\Gamma_n)$의 코herent 군에 대한 지지 필터링을 히젠버그 작용에 의해 정의된 표현론적 그레디에이션과 연결하기.
• 히젠버그 작용에 의한 파동 공간 $\mathcal{F}_\ell$의 그레디에이션과 $H(\Gamma_n)$-모듈의 지지 사이의 관계를 밝혀내는 에팅오프의 추측을 증명하기.
• 이전까지 알려지지 않았던, 유한차원 $H(\Gamma_n)$-모듈의 수를 명시적인 공식으로 제공하기.

제안 방법

• 순환 RDAHA의 $\mathcal{O}$ 범주의 유도 범주 $D^b(\mathcal{O}(\Gamma))$를 사용하여 파동 공간 $\mathcal{F}_\ell$ 위의 히젠버그 대수 작용을 분류화하기.
• $\mathcal{O}(\Gamma)$ 위에 정의된 함자 $a^*_\lambda$, $a_{\lambda,*}$를 정의하여, 코herent 군 $[\mathcal{O}(\Gamma)]$ 위의 히젠버그 작용을 유도하기.
• 루아퀴에의 동치를 사용하여 $\mathcal{O}(\Gamma_n)$를 $\zeta$-Schur 대수 $\mathbf{S}_\zeta(n,m)$의 모듈 범주와 연결함으로써 표현론적 해석 가능하게 하기.
• 수준-랭크 대칭을 적용하여 $\widehat{\mathfrak{gl}}_\ell$-모듈 $\mathcal{F}_\ell$를 $\widehat{\mathfrak{gl}}_\ell$ 위의 수준 $m$ 작용과 연결함으로써 $\mathcal{F}_{m,\ell}$과 $\mathcal{F}_\ell$를 연결하기.
• 유도 범주 $D^b(\mathcal{O}(\Gamma))$ 위에서 유도된 함자 $A_{\lambda,!}, A_\lambda^*, A_{\lambda,*}$와 그들의 $\mathfrak{S}_r$-동차 구조를 사용하여 분류화된 작용을 구성하기.
• KZ 함자와 $\operatorname{Rep}(\mathbf{S}_\zeta(n,m))$ 위의 브레이드된 텐서 구조를 사용하여 분류화된 히젠버그 작용을 파동 공간의 그레디에이션과 연결하기.

실험 결과

연구 질문

• RQ1 순환 유리 이중아핀 히젠버그 대수의 표현론을 사용하여 파동 공간 위의 히젠버그 대수 작용을 어떻게 분류화할 수 있는가?
• RQ2 $[\mathcal{O}(\Gamma_n)]$ 위의 지지 필터링과 히젠버그 작용에 의해 정의된 표현론적 그레디에이션 사이의 정확한 관계는 무엇인가?
• RQ3 파동 공간 위의 히젠버그 작용의 분류화는 $H(\Gamma_n)$-모듈의 지지와 관련된 에팅오프의 추측을 해결하는가?
• RQ4 이 분류화를 통해 유한차원 $H(\Gamma_n)$-모듈의 수를 명시적으로 계산할 수 있는가?
• RQ5 이 맥락에서 수준-랭크 대칭은 $\widehat{\mathfrak{sl}}_m$-모듈 $\mathcal{F}_{m,\ell}$과 $\widehat{\mathfrak{sl}}_\ell$-모듈 $\mathcal{F}_\ell$ 사이의 연결을 어떻게 매개하는가?

주요 결과

• 논문은 순환 RDAHA의 $\mathcal{O}$ 범주를 통해 파동 공간 $\mathcal{F}_\ell$ 위의 히젠버그 대수 작용의 분류화를 구성하며, 기하학적 지지와 대수적 그레디에이션 사이의 연결 고리를 확립한다.
• $\mathcal{O}(\Gamma_n)$의 코herent 군에 대한 지지 필터링이 히젠버그 작용에 의해 정의된 표현론적 그레디에이션과 정확히 일치함을 보였다.
• 분류화는 에팅오프의 추측을 증명한다: $H(\Gamma_n)$-모듈의 지지는 파동 공간 $\mathcal{F}_\ell$ 위의 히젠버그 그레디에이션과 대응하며, 이는 필터링의 표현론적 해석을 제공한다.
• 분류화된 히젠버그 작용과 수준-랭크 대칭을 사용하여 유한차원 $H(\Gamma_n)$-모듈의 수를 명시적인 공식으로 유도하였다.
• 수준-랭크 대칭을 사용하여 $\widehat{\mathfrak{gl}}_\ell$-모듈 $\mathcal{F}_\ell$를 $\widehat{\mathfrak{gl}}_\ell$ 위의 수준 $m$ 작용과 동치로 간주함으로써, 구조를 $\mathcal{F}_{m,\ell}$에서 $\mathcal{F}_\ell$로 이전할 수 있게 되었다.
• 유도된 함자에 대한 $\mathfrak{S}_r$-동차 구조와 $\operatorname{Rep}(\mathbf{S}_\zeta(n,m))$ 위의 브레이드된 텐서 구조를 사용하여 분류화된 히젠버그 작용을 정의하였다.