[논문 리뷰] Reducibility of the polynomial representation of the degenerate double affine Hecke algebra

Pavel Etingof|ArXiv.org|2007. 06. 28.

Advanced Algebra and Geometry참고 문헌 6인용 수 7

한 줄 요약

이 논문은 비퇴화 이중아핀 히브 대수(DAHA) 또는 삼각형 치레니크 대수의 다항식 표현이 비가역이 되는 매개변수 $ c $ 의 값을 결정한다. 치레니크 대수의 기하적 접근을 통해, 비가역성이 발생하는 것은 정확히 $ c $ 가 같은 계수를 가진 루트 계수부분계수 $ R' \subset R $ 와 관련된 유계 치레니크 대수의 비가역성 점일 때임을 보여준다. 이는 Borel-de Siebenthal 알고리즘에 의해 분류된 바와 같다. 이는 삼각법적 경우의 비가역성의 구조를 해결하고, 이전에 이해하기 어려웠던 $ B_n $, $ F_4 $, $ G_2 $ 유형에서의 추가 비가역성 선들을 설명한다. 결과는 임의의 유한군 작용을 가진 매끄러운 다양체로 일반화되며, 유한차원 표현에 대한 카테고리적 동치를 제공한다.

ABSTRACT

In this note we determine the values of parameters c for which the polynomial representation of the degenerate double affine Hecke algebra (DAHA), i.e. the trigonometric Cherednik algebra, is reducible. Namely, we show that c is a reducibility point for the polynomial representation of the trigonometric Cherednik algebra for a root system R if and only if it is a reducibility point for the rational Cherednik algebra for the Weyl group of some root subsystem R' of R of the same rank; such subsystems for any R are given by the well known Borel-de Siebenthal algorithm. This result has been proved by Cherednik using a case-by-case method.

연구 동기 및 목표

• 비퇴화 DAHA(삼각형 치레니크 대수)의 다항식 표현이 비가역이 되는 매개변수 $ c $ 의 완전한 집합을 결정하는 것.
• 단순히 루트 시스템이 아닌 $ B_n $, $ F_4 $, $ G_2 $ 와 같은 비단순 루트 시스템에서 나타나는 추가 비가역성 점의 기원을 명확히 하는 것.
• 비퇴화 DAHA의 비가역성과 더 작은 루트 시스템에 대한 유계 치레니크 대수의 표현 이론을 연결하는 기하적 프레임워크를 수립하는 것.
• 결과의 범위를 토러스와 웨일 군을 넘어서, 임의의 매끄러운 대수적 다양체에 대한 유한군 작용으로 일반화하는 것.

제안 방법

• 논문은 [E2]에서 개발된 치레니크 대수의 기하적 접근을 사용하며, 이는 매끄러운 다양체에 유한군 작용이 있을 때 치레니크 대수를 구성한다.
• 최대 안정자군을 가진 점들의 집합 $ \Sigma \subset H $ (즉, 군 작용의 중심화군이 리 대수의 계수와 같은 점들) 을 식별하며, 이들은 유한하며 같은 계수의 루트 계수부분계수에 대응한다.
• 각 $ x \in \Sigma $ 에 대해, 안정자군 $ G_x \subset G $ 는 접공간 $ T_xX $ 에 작용하며, 원래의 $ c $ 에서 유도된 반사들에 대한 매개변수 함수 $ c_x $ 가 정의된다.
• 다항식 표현의 비가역성은 $ c_x $ 가 유계 치레니크 대수 $ H_{c_x}(G_x, T_xX) $ 에 대해 특이 매개변수일 때와 동치임을 보이며, 이는 [DJO]에서 알려진 분류를 활용한다.
• 증명은 비퇴화와 비비퇴화 DAHA가 원주율이 아닌 경우에 동일한 비가역성 질문을 가지며, 기하적 구성이 모든 경우에 통일된 처리를 가능하게 한다는 사실에 기반한다.
• 임의의 매끄러운 다양체로의 일반화는 Cherednik 대수의 층 $ H_{1,c,0,X,G} $ 를 정의하고 표현의 지지부를 분석함으로써 달성된다.

실험 결과

연구 질문

• RQ1 비퇴화 DAHA의 다항식 표현이 비가역이 되는 매개변수 $ c $ 는 어떤 값인가?
• RQ2 왜 $ B_n $, $ F_4 $, $ G_2 $ 유형에서는 비단순 루트 시스템에서 추가 비가역성 선이 나타나지만 $ C_n $ 에서는 나타나지 않는가? 이들의 루트 시스템 이론적 기원은 무엇인가?
• RQ3 비퇴화 DAHA의 다항식 표현의 비가역성은 더 작은 루트 시스템에 대한 유계 치레니크 대수의 표현 이론으로 환원될 수 있는가?
• RQ4 [E2]의 기하적 프레임워크는 토러스와 웨일 군을 넘어서 비가역성 기준을 일반화할 수 있는가?
• RQ5 비퇴화 DAHA의 유한차원 표현은 안정자군 $ G_x $ 에 대한 유계 치레니크 대수의 표현과 어떻게 관련이 있는가?

주요 결과

• 비퇴화 DAHA의 다항식 표현은 정확히 루트 계수부분계수 $ R' \subset R $ 와 관련된 유계 치레니크 대수의 비가역성 점일 때 비가역이 된다.
• 삼각법적 경우의 비가역성 점은 Borel-de Siebenthal 알고리즘에 의해 완전히 분류되며, 이는 루트 시스템의 같은 계수 통합을 분류한다.
• $ B_n $ ($ n \geq 3 $), $ F_4 $, $ G_2 $ 유형에서는 추가 비가역성 선이 나타나지만 $ C_n $ 에서는 나타나지 않으며, 이는 각각 $ D_n \subset B_n $, $ B_4, A_3 \times A_1 \subset F_4 $, $ A_2 \subset G_2 $ 와 같은 특정 같은 계수 루트 계수부분계수 때문이 다.
• 비가역성 조건은 $ c \in \bigcup_{x \in \Sigma} \text{Sing}_x(G,X) $ 와 동치이며, 여기서 $ \Sigma $ 는 최대 안정자군을 가진 유한 점들의 집합이고, $ \text{Sing}_x $ 는 점 $ x $ 에서의 국소 유계 치레니크 대수의 특이 매개변수를 나타낸다.
• 결과는 임의의 유한군 작용 $ G $ 와 매끄러운 대수적 다양체 $ X $ 에 대해서도 일반화되며, 다항식 표현의 비가역성은 국소 매개변수 $ c_x $ 가 점 $ x $ 에서의 유계 치레니크 대수에 대해 특이할 때와 동치이다.
• 비퇴화 DAHA의 유한차원 표현은 점 $ x \in \Sigma $ 에서의 안정자군 $ G_x $ 에 대한 유계 치레니크 대수의 유한차원 표현의 직합과 카테고리적으로 동치이며, 이 동치는 구형성을 유지한다.