[논문 리뷰] Representation theory of the cyclotomic Cherednik algebra via the Dunkl-Opdam subalgebra

Ben Webster|arXiv (Cornell University)|2016. 09. 18.

Algebraic structures and combinatorial models참고 문헌 26인용 수 16

한 줄 요약

이 논문은 덱스-오파다 부분대수를 명시적으로 포함하는 원형 유리 체르넥니크 대수의 대체 표현을 제안하며, 다이어그램적이고 국소적 관계 기반의 접근을 가능하게 한다. KZ 함자의 직접적인 대수적 구성, 덱스-오파다 부분대수 위의 단순 모듈의 분류, 그리고 3차원 게이지 이론의 쿨롱 브랜치와 구구적 체르넥니크 대수 사이의 자연스러운 동형사상 수립을 통해, 체르넥니크 대수와 기하학적 표현 이론 및 수학적 물리학을 연결하는 새로운 프레임워크를 제공한다.

ABSTRACT

We give an alternate presentation of the cyclotomic rational Cherednik algebra, which has the useful feature of compatibility with the Opdam-Dunkl subalgebra. This presentation has a diagrammatic flavor, and it provides a simple explanation of several surprising facts about this algebra. It allows direct proof of the connection of category $\mathcal{O}$ to weighted KLR algebras, allows us to classify the simple Dunkl-Opdam modules over the Cherednik algebra and provides an algebraic construction of the KZ functor. Furthermore, one of prime motivations for considering this approach is to provide a better framework for connecting Cherednik algebras to Coulomb branches of 3-d gauge theories.

연구 동기 및 목표

• 덱스-오파다 부분대수를 명시적으로 포함하는, 다이어그램적 성향을 띠는 원형 유리 체르넥니크 대수의 새로운 표현을 제공하는 것.
• 글_n에서의 겔판트-츠틀린 모듈과 유사하게, 체르넥니크 대수 내에서 덱스-오파다 부분대수 위의 단순 모듈을 분류하는 것.
• 분석적 방법을 회피하고, 임의의 특성 0 체에서 Knizhnik-Zamolodchikov(KZ) 함자를 직접 대수적으로 구성하는 것.
• 이 프레임워크에서, 구구적 체르넥니크 대수와 3차원 N=4 게이지 이론의 쿨롱 브랜치 사이의 자연스러운 동형사상을 확립하는 것.
• 이 프레임워크를 유리 갈로와스 오더로 일반화하고, 양의 특성에서의 체르넥니크 대수를 연구하기 위한 기반을 마련하는 것.

제안 방법

• 파rameter $k$, $h_r$, 그리고 단위근 $\zeta$를 포함하는 관계를 사용하여 덱스-오파다 부분대수를 명시적으로 드러내는 생성자와 관계를 통한 원형 체르넥니크 대수의 새로운 표현을 도입한다.
• 상호작용하는 $u_i = y_i x_i + k \sum_{j>i} \sum_p t_i^p t_j^{-p} (ij) + p(t_i)$를 정의하며, 이들은 서로 교환되며 다항식 부분대수를 생성한다.
• 덱스-오파다 부분대수의 가중치 공간을 사용하여 체르넥니크 대수의 표현 이론을 분석하고, 카테고리 O의 직접적 해석과 가중치가 부여된 KLR 대수와의 관계를 가능하게 한다.
• 덱스-오파다 부분대수의 가중치 공간의 직접 합으로 KZ 함자를 구성하며, 이는 임의의 특성 0 체에서 유효하다.
• Iwahori-Hecke 대수 표현을 통한 3차원 게이지 이론의 양자 쿨롱 브랜치와의 동형사상을 수립한다.
• 다이어그램적 추론과 체르니 클래스 계산을 사용하여, $e'He'$ 내의 이동 원소의 작용이 쿨롱 브랜치의 슈부르트 세포 클래스와 일치함을 검증한다.

실험 결과

연구 질문

• RQ1 어떻게 원형 체르넥니크 대수를 재표현하여 덱스-오파다 부분대수를 명시적으로 드러내고, 그 구조와 호환되게 할 수 있는가?
• RQ2 원형 체르넥니크 대수 내에서 덱스-오파다 부분대수 위의 단순 모듈은 어떻게 분류되는가?
• RQ3 이 새로운 표현을 통해 KZ 함자를 직접 대수적으로 구성하고, 임의의 특성 0 체에서 정의할 수 있는가?
• RQ4 이 프레임워크에서, 구구적 체르넥니크 대수와 3차원 게이지 이론의 쿨롱 브랜치 사이에 자연스러운 동형사상이 존재하는가?
• RQ5 이 표현은 대수의 표현 이론과 힐베르트 스킴, 일관성 섬유층과의 연결을 기하학적 또는 다이어그램적 이해로 어떻게 촉진하는가?

주요 결과

• 새로운 원형 체르넥니크 대수 표현은 덱스-오파다 부분대수를 명시적으로 드러내며, 서로 교환되는 생성자 $u_i$가 다항식 부분대수를 이룬다.
• KZ 함자는 덱스-오파다 부분대수의 가중치 공간의 직접 합으로 표현되며, 임의의 특성 0 체에서 유효한 순수 대수적 구성이다.
• 덱스-오파다 부분대수 위의 단순 모듈은 분류되었으며, 체르넥니크 대수의 맥락에서 겔판트-츠틀린 유사 모듈과 대응된다.
• 이 표현에서, 구구적 체르넥니크 대수와 3차원 게이지 이론의 쿨롱 브랜치 사이의 동형사상은 자연스럽고 명시적이며, 핵심 기하학적 추측을 해결한다.
• $e'He'$ 내의 이동 원소 $e'x_{\ell-1}^1 \sigma e'$의 작용은 아핀 그라스만이안의 타우토로지컬 번들 체르니 클래스와 일치하며, 이는 양자 쿨롱 브랜치와의 동형사상을 검증한다.
• $e'He'$에서 양자 쿨롱 브랜치 $A'$로의 사상은 단순 반사의 작용을 통해 모든 슈부르트 세포의 기본 클래스를 포함하므로, 전사적이다.