[논문 리뷰] Lectures on quasi-invariants of Coxeter groups and the Cherednik algebra

Pavel Etingof, Elisabetta Strickland|ArXiv.org|2002. 04. 09.

Algebraic structures and combinatorial models참고 문헌 10인용 수 17

한 줄 요약

이 논문은 유한 코xeter 군에 대한 준불변량 이론에 대한 접근 가능한 소개를 제공하며, 이는 유계 리아프라트 차레드니크 대수와 통합 시스템과 연결된다. 이 논문은 $ Q_m $의 링이 코hen-맥컬레이와 고크라인임을 증명하고, 리아프라트 차레드니크 대수의 표현 이론과 특이 다양체 $ X_m $ 위의 미분 연산자들을 이용하여 $ \mathbb{C}[\mathfrak{h}]^W $ 위에서의 자유성도 증명한다. 주요 기여는 $ Q_m $ 위에 유일한 $ eH_m e $-모듈 구조를 구성함으로써 깊이 있는 기하학적 및 대수적 성질을 이끌어내는 것이다.

ABSTRACT

The paper an elementary introduction for non-specialists to the theory of quasi-invariants of Coxeter groups. The main object of study is the variety X_m of quasi-invariants for a finite Coxeter group, which arose in a work of O.Chalykh and A.Veselov about 10 years ago, as the spectral variety of the quantum Calogero-Moser system. Despite being singular, this variety has very nice properties (Cohen-Macaulay, Gorenstein, simplicity of the ring of differential operators, explicitly given Hilbert series). It is interesting that although the definition of X_m is completely elementary, to understand the geometry of X_m it is helpful to use representation theory of the rational degeneration of Cherednik's double affine Hecke algebra, and the theory of integrable systems.

연구 동기 및 목표

• 비전문가를 대상으로 유한 코xeter 군에 대한 준불변량 이론에 대해 자립적이고 초보자 수준의 소개를 제공하는 것.
• 준불변량의 링의 스펙트럼인 다양체 $ X_m $의 기초 기하학적 성질을 확립하는 것, 특히 코hen-맥컬레이와 고크라인 성질을 포함한다.
• 리아프라트 차레드니크 대수와 통합 시스템을 통해 $ Q_m $의 대수적 구조를 표현 이론과 미분 연산자들을 통해 연결하는 것.
• 리아프라트 차레드니크 대수의 작용과 $ \mathcal{O} $ 범주 기법을 사용하여 $ Q_m $이 $ \mathbb{C}[\mathfrak{h}]^W $ 위에서 자유 모듈임을 증명하는 것.

제안 방법

• 모든 반사 $ s \in \Sigma $에 대해 $ q(x) - q(sx) $ 가 $ \alpha_s(x)^{2m_s+1} $ 로 나누어지는 다항식 $ q \in \mathbb{C}[\mathfrak{h}] $ 를 $ m $-준불변량으로 정의한다.
• 베이커-아키에세르 함수와 통합 시스템을 사용하여 준불변량이 양자 칼로제오-모저 시스템의 스펙트럼 다양체로서 자연스럽게 나타나는 것을 동기화한다.
• 리아프라트 차레드니크 대수 $ H_c $ 의 이론을 발전시키며, 특히 부분대수 $ eH_c e $ 와 그 $ \mathbb{C}[\mathfrak{h}]^W $ 위의 작용에 집중한다.
• 다음 조건을 만족하는 $ Q_m $ 위에 $ eH_m e $ 의 유일한 표현을 구성한다: $ \mathbb{C}[\mathfrak{h}]^W $ 는 곱셈으로 작용하고, $ \mathbb{C}[\mathfrak{h}^*]^W $ 는 미분 연산자 $ L_q $ 로 작용한다.
• 일반적인 $ c $ 에 대해 $ H_c $ 가 단순임을 이용하고 $ \mathcal{O} $ 범주 이론을 적용하여 $ Q_m $ 이 $ eM(0,\tau) $ 모듈의 직합임을 도출함으로써, $ \mathbb{C}[\mathfrak{h}]^W $ 위에서의 자유성을 증명한다.
• 모든 비영인 양측 이상이 $ Q_m $ 과 교차함을 보여 $ \mathcal{D}(X_m) $ 의 링이 단순함을 증명한다.

실험 결과

연구 질문

• RQ1 준불변량은 특히 양자 칼로제오-모저 시스템의 맥락에서 어떻게 자연스럽게 나타나는가?
• RQ2 준불변량의 링의 스펙트럼인 특이 다양체 $ X_m $ 의 기하학적 및 대수적 성질은 무엇인가?
• RQ3 리아프라트 차레드니크 대수 $ H_c $ 는 링 $ Q_m $ 에 어떻게 작용하며, 이 작용이 유도하는 구조는 무엇인가?
• RQ4 $ Q_m $ 이 왜 $ \mathbb{C}[\mathfrak{h}]^W $ 위에서 자유 모듈인지, 그리고 이는 $ eH_m e $ 의 표현 이론으로부터 어떻게 유도되는가?
• RQ5 부분대수 $ \mathbb{C}[\mathfrak{h}^*]^W $ 는 $ Q_m $ 의 구조에서 어떤 역할을 하는가? 그리고 이는 미분 연산자와 어떻게 관련되어 있는가?

주요 결과

• $ m $-준불변량의 링 $ Q_m $ 는 $ \mathbb{C}[\mathfrak{h}]^W $-대수로서 유한 생성이며, $ \mathbb{C}[\mathfrak{h}] $-모듈로서 유한하다.
• 다양체 $ X_m = \mathrm{Spec}(Q_m) $ 는 특이함에도 불구하고 코hen-맥컬레이이자 고크라인임이 증명된다.
• 미분 연산자 링 $ \mathcal{D}(X_m) $ 는 단순함을 보이며, 임의의 비영인 양측 이상은 반드시 1을 포함한다.
• $ Q_m $ 는 $ \mathbb{C}[\mathfrak{h}]^W $ 위에서 자유 모듈이며, 기저는 $ W $-표현 $ \tau $ 에 대한 불가약한 $ eM(0,\tau) $ 모듈의 분해로 주어진다.
• 대수 $ eH_m e $ 는 $ Q_m $ 위에 고유한 작용을 가지며, 이는 $ \mathbb{C}[\mathfrak{h}]^W $ 의 곱셈 작용과 $ \mathbb{C}[\mathfrak{h}^*]^W $ 의 미분 연산자 $ L_q $ 작용을 확장한다.
• $ W = \mathbb{Z}/2 $ 인 경우, $ Q_m $ 는 $ \mathbb{C}[x^2] \oplus x^{2m+1}\mathbb{C}[x^2] $ 로 분해되며, 이는 $ eM(0,\mathbf{1}) \oplus eM(0,\varepsilon) $ 와 동형이 되어 자유성과 성분의 불가약성을 확인한다.