[논문 리뷰] Nonsymmetric Macdonald polynomials, Demazure modules and PBW filtration

Evgeny Feigin, Ievgen Makedonskyi|arXiv (Cornell University)|2014. 07. 23.

Algebraic structures and combinatorial models참고 문헌 19인용 수 12

한 줄 요약

이 논문은 특정 경우에 대해 A형에서 Cherednik-Orr 추측을 증명한다: 즉, 무게 λ의 쌍대가 기본 무게의 배수이거나 첫 번째와 마지막 기본 무게의 선형 조합일 때이다. 비대칭 맥도널드 다항식의 $t\to\infty$ 극한이 수준 1의 Demazure 모듈의 PBW-왜곡된 특징과 일치함을 보이며, 조합 공식과 PBW 필터링 구조를 사용한다.

ABSTRACT

The Cherednik-Orr conjecture expresses the $t o\infty$ limit of the nonsymmetric Macdonald polynomials in terms of the PBW twisted characters of the affine level one Demazure modules. We prove this conjecture in several special cases.

연구 동기 및 목표

• 비대칭 맥도널드 다항식 $E_\lambda(x,q,t)$의 $t\to\infty$ 극한이 애파인 Demazure 모듈의 PBW-왜곡 특징과 관련된 Cherednik-Orr 추측을 검증하는 것.
• 현재 대수의 표현 이론과 맥도널드 다항식의 조합론적 구조 사이의 연결 고리를 설정하는 것.
• A형에서 특수 Demazure 모듈의 PBW 특징에 대한 명시적 조합 공식을 제공하는 것.
• A형에서 무게의 쌍대가 기본 무게의 배수이거나 첫 번째와 마지막 기본 무게의 조합일 경우 추측을 증명하는 것.

제안 방법

• 비대칭 맥도널드 다항식을 조합적으로 표현하기 위해 Haglund-Haiman-Loehr 공식을 사용한다.
• $E_\lambda(x,q,t)$의 $t\to\infty$ 극한을 분석하여, 이가 $x$와 $q^{-1}$의 다항식으로서 음이 아닌 계수를 가짐을 보인다.
• Demazure 모듈에 PBW 필터링을 구성하고, 명시적 기저를 통해 그 관련 순서 특징을 계산한다.
• $q$-다항계수와 격자 경로 위의 가중합을 사용하여 PBW 특징을 모델링한다.
• $q$-계수의 재귀 관계와 대칭성을 활용하여 $t\to\infty$ 극한과 PBW 특징을 일치시킨다.
• n-순환 작용을 통한 순환 이동 추론을 사용하여 다항식 전개에서 서로 다른 위치 간 계수를 연결한다.

실험 결과

연구 질문

• RQ1 비대칭 맥도널드 다항식 $E_\lambda(x,q,t)$의 $t\to\infty$ 극한이 수준 1의 Demazure 모듈 $W_\lambda$의 PBW-왜곡 특징과 일치하는가?
• RQ2 Cherednik-Orr 추측은 A형 리 대수에서 특정 무게 클래스에 대해 검증될 수 있는가?
• RQ3 반-우세 무게와 관련된 Demazure 모듈의 PBW 특징 뒤에 있는 조합적 구조는 무엇인가?
• RQ4 $q$-다항계수와 가중 격자 경로는 Demazure 모듈에 대한 PBW 필터링을 어떻게 표현하는가?
• RQ5 PBW 특징의 계수 구조에 대칭성 또는 순환 성질이 존재하여 재귀적 검증이 가능한가?

주요 결과

• A형에서 $\lambda^*$가 기본 무게의 배수이거나 첫 번째와 마지막 기본 무게의 선형 조합일 경우 Cherednik-Orr 추측이 성립한다.
• 대체 $p = q$를 적용할 때, $t\to\infty$ 극한 $E_\lambda(x,q^{-1},\infty)$가 PBW-왜곡 특징 $\mathop{\rm ch}_{\rm PBW}W_\lambda$와 일치함을 보였다.
• Demazure 모듈 $W_\lambda$의 PBW 특징은 $q$-다항계수와 가중 지수를 포함한 합으로 명시적으로 계산된다.
• PBW 특징에서 $x_1^{k_1}\cdots x_n^{k_n}$의 계수는 순환 이동 추론을 통해 $t\to\infty$ 극한 $E_\lambda(x,q^{-1},\infty)$의 계수와 일치한다.
• 계수 $c^{(\lambda)}_{j|1}$ 간의 재귀 관계에 기반하여, 항등식 $c^{(\lambda)}_{j|1} = c^{(\lambda)}_{j+1|1} - (1-q^{m_2})c^{\lambda}_{j+1|1}$을 사용해 위치 간 일관성을 입증한다.
• PBW 필터링의 구조는 $l_i, p_i$에 대한 합으로 특징을 조합적으로 실현할 수 있으며, 이는 $q^{l_1p_1 + l_{j+1} + \cdots + l_n}$의 무게를 가지며, 지정된 경우에 추측을 확인한다.