[논문 리뷰] Subrepresentations in the Polynomial Representation of the Double Affine Hecke Algebra of type $GL_n$ at $t^{k+1}q^{r-1}=1$

Masahiro Kasatani|arXiv (Cornell University)|2005. 01. 18.

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

한 줄 요약

이 논문은 특수화된 매개변수 $t^{k+1}q^{r-1}=1$에서 $GL_n$의 이중 아핀 히브르트 대수의 다항식 표현에서 비대칭 휠 조건을 사용하여 일련의 부분표현을 구성한다. 아이디얼 $I_1^{(k,r)}$가 기약임을 증명하고, $\beta^{(k,r)}$를 만족하는 분할로 색인화된 비대칭 맥도널드 다항식을 이용한 명시적 기저를 제공함으로써 대칭 결과를 비대칭 설정으로 확장한다.

ABSTRACT

We study a Laurent polynomial representation $V$ of the double affine Hecke algebra of type $GL_n$ for specialized parameters $t^{k+1}q^{r-1}=1$. We define a series of subrepresentations of $V$ by using a vanishing condition. For some cases, we give an explicit basis of the subrepresentation in terms of nonsymmetric Macdonald polynomials. These results are nonsymmetric versions of \cite{FJMM} and \cite{KMSV}.

연구 동기 및 목표

• 이중 아핀 히브르트 대수의 다항식 표현에서 아이디얼에 대한 대칭 결과를 비대칭 케이스로 확장하기.
• 라그랑주 다항식 표현에서 새로운 소멸 조건인 '비대칭 휠 조건'을 정의하고 이를 연구하기.
• 특수화된 매개변수를 사용하여 비대칭 맥도널드 다항식을 통해 이러한 부분표현의 명시적 기저를 구성하기.
• 첫 번째 부분표현 $I_1^{(k,r)}$의 기약성을 증명하고 쌍대성 및 필터링 기법을 통해 그 특성함수를 확립하기.
• 모든 연속적인 몫 $I_m^{(k,r)}/I_{m-1}^{(k,r)}$가 기약임을 추측하고, $n = k+1$인 경우에 이를 검증하기.

제안 방법

• 일부 변수 비율이 $x_{i_{l,a+1}} = x_{i_{l,a}} t q^{s_{l,a}}$로 일치할 때 다항식이 0이 되는 조건—즉, '비대칭 휠 조건'—을 라그랑주 다항식에 도입한다. 이 조건은 인덱스와 지수에 대한 제약 조건을 수반한다.
• 인덱스와 지수에 대한 제약 조건을 만족하는 $m$개의 서로소 이웃 영역 $(k+1, r-1)$에 대해 이 조건을 만족하는 라그랑주 다항식의 공간으로 아이디얼 $I_m^{(k,r)}$를 정의한다.
• 비대칭 맥도널드 다항식의 쌍대성 관계를 사용하여 극과 영점의 차수를 분석하고, 특수화된 매개변수 $t = u^{(r-1)/M}, q = \tau u^{-(k+1)/M}$에서의 극이 존재하지 않음을 보장한다.
• 다항식 표현에 필터링 $V_{(M)}$을 구성하고, 텐서 공간과의 비퇴화 쌍대성을 정의하여 $I_1^{(k,r)} \cap V_{(M)}$의 특성함수를 추정한다.
• 상호연결 연산자를 사용하여 $\lambda \in B^{(k,r)}$인 모든 $E_\lambda$가 $I_1^{(k,r)}$의 순환 벡터임을 보이고, 기약성을 증명한다.
• 특수한 경우 $n = k+1$에서 $V/I_1^{(n-1,r)}$가 기약임을 증명하고, 기저로 $\{E_\lambda \mid \lambda \in S^{(n-1,r)}\}$를 제공한다.

실험 결과

연구 질문

• RQ1 다항식 표현에서 아이디얼에 대한 대칭적 휠 조건은 비대칭 설정으로 어떻게 일반화할 수 있는가?
• RQ2 특수화된 매개변수 $t^{k+1}q^{r-1}=1$에서 이중 아핀 히브르트 대수의 다항식 표현에서 부분표현 $I_1^{(k,r)}$의 구조는 어떠한가?
• RQ3 특수화된 매개변수에서 비대칭 맥도널드 다항식을 사용하여 $I_1^{(k,r)}$의 명시적 기저를 구성할 수 있는가?
• RQ4 모든 $m$에 대해 몫 $I_m^{(k,r)}/I_{m-1}^{(k,r)}$는 기약인가?
• RQ5 특수한 경우 $n = k+1$에서 몫 $V/I_1^{(n-1,r)}$의 특성함수와 기약성 상태는 어떠한가?

주요 결과

• 특수화된 매개변수 $t^{k+1}q^{r-1}=1$에서 아이디얼 $I_1^{(k,r)}$는 이중 아핀 히브르트 대수 $\mathcal{H}_n^{(k,r)}$의 기약 표현이다.
• $I_1^{(k,r)}$의 기저는 $\lambda \in B^{(k,r)}$인 비대칭 맥도널드 다항식 $E_\lambda$로 주어지며, $B^{(k,r)}$는 $\lambda_{i_a} - \lambda_{i_{a+k}} \geq r$ 또는 $\lambda_{i_a} - \lambda_{i_{a+k}} = r-1$이면서 $i_a < i_{a+k}$를 만족하는 정수 수열의 집합이다.
• $\lambda \in B^{(k,r)}$인 다항식 $E_\lambda$는 특수화된 매개변수 $t = u^{(r-1)/M}, q = \tau u^{-(k+1)/M}$에서 잘 정의되어 있으며, 극이 존재하지 않는다.
• $n = k+1$인 경우 몫 $V/I_1^{(n-1,r)}$는 기약이며, 기저 $\{E_\lambda \mid \lambda \in S^{(n-1,r)}\}$를 갖는다. 여기서 $S^{(n-1,r)}$는 최대 하나의 $(k+1, r-1)$ 유형 이웃 영역을 갖는 $\lambda$의 집합이다.
• 몫 $I_1^{(1,r)}/I_1^{(1,r)}$는 기약이지만 $Y$-반단순적이지 않으며, 이는 고차 몫에서 비트레비얼한 표현 구조를 시사한다.
• 모든 몰입 $I_m^{(k,r)}/I_{m-1}^{(k,r)}$가 기약임을 추측하는 것이 $n = k+1$인 경우에 검증되었고, 다른 경우에도 부분적인 증거에 의해 지지된다.