[논문 리뷰] Rational Cherednik algebras of $G(\ell,p,n)$ from the Coulomb perspective

Elise LePage, Ben Webster|arXiv (Cornell University)|2019. 11. 29.

Algebraic structures and combinatorial models참고 문헌 7인용 수 4

한 줄 요약

이 논문은 비단순 복소 반사군 $G(\ell,p,n)$에 대한 유리 Cherednik 대수의 쿨롱 브랜치 해석을 수립하며, 그들의 구면 부분대수가 3차원 $\mathcal{N}=4$ 게이지 이론에서 선 결함을 가진 쿨롱 브랜치로 나타남을 증명한다. 또한 구면 대수가 주어진 갈로아 순서이자, 이중 캐논리컬 기저 성질을 갖는 분할된 기하학적 분류를 갖는 분할된 범주 $\mathcal{O}$의 격자 상향 구조를 구축하며, Clifford 이론과 기하학적 표현 이론을 통해 $G(\ell,1,n)$의 경우에서의 결과를 $G(\ell,p,n)$의 경우로 확장하여 Dunkl-Opdam 모듈의 단순 모듈에 대한 분류를 수행한다.

ABSTRACT

We prove a number of results on the structure and representation theory of the rational Cherednik algebra of the imprimitive reflection group $G(\ell,p,n)$. In particular, we: (1) show a relationship to the Coulomb branch construction of Braverman, Finkelberg and Nakajima, and 3-dimensional quantum field theory; (2) show that the spherical Cherednik algebra carries the structure of a principal Galois order; (3) construct a graded lift of category $\mathcal{O}$ and the larger category of Dunkl-Opdam modules, whose simple modules have the properties of a dual canonical basis and (4) give the first classification of simple Dunkl-Opdam modules for the rational Cherednik algebra of the imprimitive reflection group $G(\ell,p,n)$.

연구 동기 및 목표

• 유리 Cherednik 대수의 표현 이론을 $G(\ell,1,n)$에서 $p \mid \ell$ 인 비단순 군 $G(\ell,p,n)$로 확장하기 위해.
• 구면 Cherednik 대수의 물리적 실현을 3차원 $\mathcal{N}=4$ 게이지 이론에서 선 결함을 가진 쿨롱 브랜치로 확립하기 위해.
• 구면 Cherednik 대수 $H^{\text{sph}}_p$ 가 주어진 갈로아 순서임을 증명하기 위해.
• 분할된 범주 $\mathcal{O}$와 더 큰 Dunkl-Opdam 모듈의 범주를 격자 상향 구조로 구축하고, 이에 이중 캐논리컬 기저 성질을 부여하기 위해.
• 유리 Cherednik 대수의 $G(\ell,p,n)$에 대한 첫 번째 단순 Dunkl-Opdam 모듈의 분류를 제공하기 위해.

제안 방법

• Braverman, Finkelberg, Nakajima의 쿨롱 브랜치 구조를 활용하여, 구면 Cherednik 대수를 3차원 $\mathcal{N}=4$ 초대칭 게이지 이론에서의 쿨롱 브랜치로 해석한다.
• $G(\ell,1,n)$에서의 결과를 $G(\ell,p,n)$로 확장하기 위해 Clifford 이론을 적용하며, 특히 Dunkl-Opdam 모듈의 분류에 초점을 맞춘다.
• 아핀 그라스만이안과 $G((t))$-_bundle의 모듈라이 공간의 기하학을 활용하여 Ext 군을 계산하고, 구면 대수가 선 연산자 간의 Ext 군들의 직합임을 식별한다.
• 몫 $V[[t]]/G[[t]]$ 위에서 $t^{\ell/p}(\ell)$의 작용을 통해 자동형사를 정의하고, 이가 $\mathbb{Z}/p\mathbb{Z}$-작용을 유도함으로써 Theorem 5.5의 동형사상 구축에 기여한다.
• 주어진 갈로아 순서 이론을 활용하여, 구면 Cherednik 대수 $H^{\text{sph}}_p$ 가 주어진 갈로아 순서임을 증명하며, 이는 $G(\ell,1,n)$의 경우에서의 결과를 일반화한다.
• 혼합성과 코즐리티를 갖는 분할된 범주 $\mathcal{O}$의 격자 상향 구조를 활용하여 분해 수를 캐논리컬 기저의 계수로 해석하고, 이를 $G(\ell,p,n)$로 확장한다.

실험 결과

연구 질문

• RQ1 구면 Cherednik 대수 $H^{\text{sph}}_p$ 가 3차원 $\mathcal{N}=4$ 게이지 이론에서 비자명한 선 결함을 가진 쿨롱 브랜치로 어떻게 유도되는가?
• RQ2 구면 Cherednik 대수 $H^{\text{sph}}_p$ 는 주어진 갈로아 순서인가? 이는 $G(\ell,1,n)$의 경우로 어떻게 일반화되는가?
• RQ3 $G(\ell,p,n)$에 대해 분할된 범주 $\mathcal{O}$와 Dunkl-Opdam 모듈의 범주를 이중 캐논리컬 기저 성질을 갖는 격자 상향 구조로 어떻게 구축할 수 있는가?
• RQ4 유리 Cherednik 대수의 $G(\ell,p,n)$에 대한 단순 Dunkl-Opdam 모듈의 분류는 무엇인가?
• RQ5 Ext 군 $\operatorname{Ext}^\bullet_\hbar(\mathfrak{p}_k, \mathfrak{p}_m)$ 는 어떻게 구면 Cherednik 대수 $H^{\text{sph}}_p$ 를 Ext 군들의 직합으로 실현하는가?

주요 결과

• 구면 Cherednik 대수 $H^{\text{sph}}_p$ 는 비자명한 선 결함을 가진 3차원 $\mathcal{N}=4$ 게이지 이론에서의 쿨롱 브랜치로 실현되며, 이는 $G(\ell,1,n)$의 경우를 일반화한다.
• 구면 Cherednik 대수 $H^{\text{sph}}_p$ 는 주어진 갈로아 순서이며, 이는 $G(\ell,1,n)$의 경우에서의 결과를 일반화한다.
• $G(\ell,p,n)$에 대해 분할된 범주 $\mathcal{O}$와 Dunkl-Opdam 모듈의 범주를 격자 상향 구조로 구축하였으며, 단순 모듈은 이중 캐논리컬 기저 성질을 갖는다.
• $G(\ell,p,n)$의 범주 $\mathcal{O}$에서의 분해 수는 혼합성과 코즐리티 덕분에 캐논리컬 기저의 계수로 해석된다.
• Clifford 이론을 통해 유리 Cherednik 대수의 $G(\ell,p,n)$에 대한 첫 번째 단순 Dunkl-Opdam 모듈의 분류가 이루어졌으며, Suzuki 및 Rouquier 등 이전의 결과를 확장한다.
• Ext 군 $\operatorname{Ext}^\bullet_\hbar(\mathfrak{p}_k, \mathfrak{p}_m)$ 는 $H^{\text{sph}}_p$ 의 $m-k$-차수 조각과 동형이며, 전체 대수 $H^{\text{sph}}_p$ 는 $\bigoplus_{i=0}^{p-1} \operatorname{Ext}^\bullet_\hbar(\mathfrak{p}_0, \mathfrak{p}_i)$ 와 동형이며, 곱셈은 후퇴 후 복합으로 주어진다.