[논문 리뷰] Non-symmetric Macdonald polynomials and Demazure-Lusztig operators

Per Alexandersson|arXiv (Cornell University)|2016. 02. 16.

Advanced Combinatorial Mathematics참고 문헌 11인용 수 21

한 줄 요약

이 논문은 비대칭 맥도널드 다항식의 일반화로 순열 매개변수 σ를 가진 뒷받치기 순열 맥도널드 다항식을 도입하며, 삼각성과 Demazure–Lusztig 연산자에 대해 잘 행동함을 보여준다. 핵심 기여는 대칭 맥도널드 다항식을 이들 다항식에 대한 양의 합으로 표현하는 통합 공식을 제시하는 것으로, 이는 기존의 Hall–Littlewood 다항식과 Demazure 원자로의 전개를 일반화하며, q=0에서 핵심 다항식과 원자의 t-변형이 명시적으로 나타남을 보여준다.

ABSTRACT

We extend the family non-symmetric Macdonald polynomials and define general-basement Macdonald polynomials. We show that these also satisfy a triangularity property with respect to the monomials bases and behave well under the Demazure-Lusztig operators. The symmetric Macdonald polynomials $J_λ$ are expressed as a sum of general-basement Macdonald polynomials via an explicit formula. By letting $q=0$, we obtain $t$-deformations of key polynomials and Demazure atoms and we show that the Hall--Littlewood polynomials expand positively into these. This generalizes a result by Haglund, Luoto, Mason and van Willigenburg. As a corollary, we prove that Schur polynomials decompose with non-negative coefficients into $t$-deformations of general Demazure atoms and thus generalizing the $t=0$ case which was previously known. This gives a unified formula for the classical expansion of Schur polynomials in Hall-Littlewood polynomials and the expansion of Schur polynomials into Demazure atoms.

연구 동기 및 목표

• 비대칭 맥도널드 다항식을 순열 매개변수 σ로 일반화하여, 새로운 가족인 뒷받치기 순열 맥도널드 다항식을 구성한다.
• 이 다항식이 모노미얼 기저에 대해 삼각성을 만족하고 Demazure–Lusztig 연산자에 대해 잘 행동함을 보여준다.
• 대칭 맥도널드 다항식 Pλ를 뒷받치기 순열 맥도널드 다항식의 형태로 명시적인 전개를 제공한다.
• Hall–Littlewood 및 슈어 다항식 전개에 대한 기존 결과를 일반화하여, q=0에서 t-변형된 원자에서의 양의 전개를 보여준다.
• 슈어 다항식의 전통적 전개가 Hall–Littlewood 다항식과 Demazure 원자로 분리되어 있음을 하나의 공식으로 통합한다.

제안 방법

• 증강 다이어그램에 고정된 기초 순열 σ와 {1,…,n}의 원소를 사용한 비공격적 채우기의 조합론적 통계, 예를 들어 역전치, 역역전치, 주요 지수를 정의한다.
• 상자들의 다리 길이와 팔 길이에 기반한 q- 및 t-변형된 가중치를 포함한 조합론적 공식을 통해 다항식을 정의한다.
• Demazure–Lusztig 연산자가 기초 매개변수 σ에 작용하는 방식을 특성화하며, 단순한 변환 규칙을 보여주어 재귀적 구성이 가능함을 보인다.
• 대칭 맥도널드 다항식의 전개를 연산자 ˜πσ가 비대칭 형태에 작용하는 방식을 이용해 유도하며, [HHL08]의 기존 결과를 활용한다.
• q=0에서의 특수화는 t-변형된 Demazure 원자와 Hall–Littlewood 다항식을 유도하며, 조합론적 계수를 통해 양의 전개를 확립한다.
• 이 방법은 비공격적 채우기 이론과 애फ인 히브 기하학의 작용, 특히 braid 및 취소 관계를 가진 ˜πσ 및 ˜θτ 연산자의 사용에 기반한다.

실험 결과

연구 질문

• RQ1 비대칭 맥도널드 다항식은 어떻게 순열 매개변수 σ를 기초에 포함시켜 일반화할 수 있으며, 이러한 새로운 다항식은 어떤 성질을 만족하는가?
• RQ2 대칭 맥도널드 다항식 Pλ는 뒷받치기 순열 맥도널드 다항식의 양의 선형 조합으로 표현될 수 있는가?
• RQ3 뒤섞인 기초를 가진 맥도널드 다항식은 q=0에서 어떻게 변형되며, 이는 Hall–Littlewood 및 Demazure 다항식과 어떻게 관련이 있는가?
• RQ4 슈어 다항식이 Hall–Littlewood 다항식과 Demazure 원자로 분리된 전개를 동시에 일반화하는 통합 공식이 존재하는가?
• RQ5 Demazure–Lusztig 연산자가 기초 순열 σ에 대해 제어 가능한 방식으로 작용하는가? 이는 재귀적 또는 조합론적 구성에 기여하는가?

주요 결과

• 대칭 맥도널드 다항식 Pλ(x; q, t)는 q- 및 t-변형된 가중치와 ttwinvπ(γ,σ) 요소를 포함한 뒷받치기 순열 맥도널드 다항식의 양의 합으로 전개된다.
• q=0에서, 뒷받치기 순열 맥도널드 다항식은 Demazure 원자의 t-변형이 되며, Hall–Littlewood 다항식은 이들로 양의 전개된다. 이는 Haglund 등이 제시한 결과를 일반화한다.
• 슈어 다항식은 t-변형된 Demazure 원자로 양의 전개가 가능하며, 계수는 Kostka–Foulkes 다항식 Kλγ(t)로 주어지며, 두 고전적 전개를 통합한다.
• 식 (40)의 전개 공식은 q=0에서 Hall–Littlewood 전개와 Demazure 원자 전개로 간소화되며, 둘 다를 동시에 일반화하는 단일 표현을 제공한다.
• Demazure–Lusztig 연산자가 기초 순열 매개변수 σ에 작용하는 방식이 단순하고 조합론적임을 보여주어 재귀적 구성과 삼각성 성질의 증명이 가능하다.
• 논문은 연산자 표현 ˜πσ˜θτxλ에서 발생하는 취소 수가 정확히 ttwinvπ(γ,σ)임을 증명하며, 최종 표현에서 정확한 t-변형 계수의 존재를 확인한다.