[논문 리뷰] W-exponentials, Schur elements, and the support of the spherical representation of the rational Cherednik algebra

Stephen Griffeth, Daniel Juteau|arXiv (Cornell University)|2017. 07. 25.

Advanced Algebra and Geometry참고 문헌 13인용 수 4

한 줄 요약

이 논문은 복소 반사군에 대한 유리 Cherednik 대수의 구면 기약 표현 $L_c(\mathbf{1})$ 의 지지집합을 $W$-지수함수와 유한 Hecke 대수의 Schur 원소를 이용하여 계산한다. 핵심 결과는 지지집합이 $W$-오빗의 한 조각들의 닫힘임을 밝혀내며, 이 조각들이 포함되는 것은 오직 특정 재정규화된 $W$-지수함수의 값이 0이 아닐 때에만 성립한다. 이는 파라미터 공간 내에서의 정규화된 파라보릭 부분군에 대한 상대 Schur 원소가 양의 초평면에서 0이 아닐 때 정확히 발생한다.

ABSTRACT

Given a complex reflection group W we compute the support of the spherical irreducible module of the rational Cherednik algebra of W in terms of the simultaneous eigenfunction of the Dunkl operators and Schur elements for finite Hecke algebras.

연구 동기 및 목표

• 유리 Cherednik 대수 $H_c(W)$ 에서 복소 반사군 $W$ 에 대해 구면 기약 모듈 $L_c(\mathbf{1})$ 의 지지집합을 결정하는 것.
• 지지집합 계산 문제를 각 조각 $S$ 와 관련된 재정규화된 $W$-지수함수 $F_S(c)$ 의 영점으로 환원하는 것.
• 파라보릭 부분군과 관련된 유한 Hecke 대수의 Schur 원소를 이용해 $L_c(\mathbf{1})$ 이 유한차원이 되는지를 통일된 기준으로 설정하는 것.
• 기존의 실 반사군 및 무한계열 $G(r,1,n)$ 에 대한 결과를 모든 복소 반사군으로 일반화하는 것.

제안 방법

• Dunkl 연산자의 공동 고유함수로서 고유값 $\lambda$ 를 가지며 $e(0,\lambda,c) = 1$ 으로 정규화된 $W$-지수함수 $e(x,\lambda,c)$ 를 정의한다.
• 함수 $c$ 에 관해 $e(x,\lambda,c)$ 의 특이점을 탐지하는 $F_S(c)$ 라는 해석적 재정규화 함수를 도입하며, $F_S(c)e(x,\lambda,c)$ 는 $c$ 에 대해 전체 함수가 된다.
• 유한 Hecke 대수 $\mathcal{H}$ 와 $\mathcal{H}_S$ 의 유도와 제약 함자 사이의 이수반성 관계를 이용해 상대 Schur 원소 $s(q_c) = |W:W_S|_{q_c}$ 를 정의한다.
• $F_S(c)$ 가 정확히 Schur 원소 $s(q_c)$ 가 0이 되는 양의 초평면에서만 0이 되며, 이는 지지집합과 $s(q_c)$ 의 비영점성과 연결됨을 보인다.
• 컴퓨터 대수 시스템(CHEVIE) 과 대칭형이 존재한다는 추측을 활용하여, 특히 $G_{34}, E_6, E_7, E_8$ 를 포함한 예외적 군들에 대해 $s(q_c)$ 를 명시적으로 계산한다.
• 파arameter의 양의 콘 $c_{H,\chi} \geq 0$ 의 양의 성질을 활용하여 다항식 표현 $\Delta_c(\mathbf{1})$ 의 프로젝티브성을 분석하고, 이는 $W_S$ 에 대한 자명 표현의 비프로젝티브성을 검출하기 위해 Schur 원소를 사용할 수 있도록 한다.

실험 결과

연구 질문

• RQ1 모든 복소 반사군에 대해 파arameter $c$ 가 어떤 경우에 구면 표현 $L_c(\mathbf{1})$ 이 유한차원이 되며, 이를 통일된 기준으로 어떻게 특징지을 수 있는가?
• RQ2 지지집합 $L_c(\mathbf{1})$ 이 Dunkl 연산자의 공동 고유함수, 특히 $W$-지수함수 $e(x,\lambda,c)$ 와 어떻게 관련되어 있는가?
• RQ3 Schur 원소가 $L_c(\mathbf{1})$ 의 지지집합을 검출하는 데 정확히 어떤 역할을 하는가? 이는 모듈러 표현 이론에서의 고전적 프로젝티브성 기준을 어떻게 일반화하는가?
• RQ4 모든 복소 반사군에 대해 상대 Schur 원소 $|W:W_S|_{q_c}$ 를 사용하여 $L_c(\mathbf{1})$ 의 지지집합을 통일적으로 묘사할 수 있는가?
• RQ5 Schur 원소 $|W:W_S|_{q_c}$ 가 전체 양의 초평면 $C$ 에서 얼마나 자주 0이 되며, 이는 지지집합의 구조에 어떤 영향을 미치는가?

주요 결과

• 지지집합 $L_c(\mathbf{1})$ 은 $V$ 에서 동일한 정 stabilizer 부분군 $W_p = W_q$ 를 가진 조각들의 $W$-오빗의 닫힘이다.
• 조각 $S$ 가 $L_c(\mathbf{1})$ 의 지지집합에 포함되는 것은 오직 재정규화된 $W$-지수함수 $F_S(c)$ 가 0이 아닐 때에만 성립한다.
• Schur 원소 $s(q_c) = |W:W_S|_{q_c}$ 는 정확히 $F_S(c)$ 가 0이 되는 양의 초평면에서만 0이 되며, 따라서 지지집합의 경계를 검출한다.
• 모든 복소 반사군, 특히 예외적 타입인 $G_{34}, E_6, E_7, E_8$ 에 대해 Schur 원소는 원분 다항식 $\Phi_n(x_1)$ 의 곱으로 명시적으로 계산되며, $|W:W_S|_{q_c}$ 는 $q_c$ 에 대한 로렌츠 다항식으로 표현된다.
• 지지집합이 유한차원이 되는 것은 $s(q_c)$ 가 0이 되는 모든 양의 초평면을 피할 때에만 성립하며, 이는 이전의 실 반사군 및 $G(r,1,n)$ 에 대한 결과를 일반화한다.
• 결과는 모든 복소 반사군에 대해 대칭형이 존재한다는 추측과 일치하며, 이는 CHEVIE 를 통해 Schur 원소를 명시적으로 계산할 수 있도록 한다.