[논문 리뷰] Symmetric polynomials vanishing on the shifted diagonals and Macdonald polynomials

Boris Feigin, M. Jimbo외 2명|ArXiv.org|2002. 09. 04.

Algebraic structures and combinatorial models참고 문헌 2인용 수 18

한 줄 요약

이 논문은 $ t^{k+1}q^{r-1} = 1 $에서 매크도날드 다항식으로 특징지어지는 이중 대칭 다항식의 이상의 $ q $-변형을 제안한다. 몫 대수는 $ \widehat{\mathfrak{sl}}_r $의 수준 $ k $ 적분 표현의 단항기저를 유지하며, 현재 대수 관계의 변형을 제공하고 매크도날드 다항식을 통해 상관 함수와 연결한다.

ABSTRACT

For each pair (k,r) of positive integers with r>1, we consider an ideal I^(k,r)_n of the ring of symmetric polynomials in n variables. The ideal I_n^(k,r) has a basis consisting of Macdonald polynomials P(x_1,...,x_n;q,t) at t^{k+1}q^{r-1}=1, and is a deformed version of the one studied earlier in the context of Jack polynomials. In this paper we give a characterization of I^(k,r)_n in terms of explicit zero conditions on the k-codimensional shifted diagonals of the form x_{2}=tq^{s_1}x_1,...,x_{k+1}=tq^{s_k}x_k. The ideal I^(k,r)_n may be viewed as a deformation of the space of correlation functions of an abelian current of the affine Lie algebra \hat{sl_r}. We give a brief discussion about this connection.

연구 동기 및 목표

• 이상 $ I_n^{(k,r)} $가 $ k $-차원 이격 대각선에서 0이 되는 대칭 다항식을 매크도날드 다항식을 사용해 특징짓기.
• 수준 $ k $에서 $ \widehat{\mathfrak{sl}}_r $의 현재 대수 관계에 대한 $ q $-변형을 수립하고, 단항기저의 구조를 유지하기.
• 변형된 대수를 적분 표현에서 아벨형인 전류의 상관 함수와 연결하기.
• 적분 표현에서 전류의 행렬 원소에 대한 0 조건 특성화를 $ \widehat{\mathfrak{sl}}_r $-표현으로부터 $ q $-변형된 설정으로 일반화하기.

제안 방법

• 이상 $ I_n^{(k,r)} $를 $ t^{k+1}q^{r-1} = 1 $에서 매크도날드 다항식 $ P_\lambda(x_1,\dots,x_n;q,t) $의 스칼라 결합으로 정의한다.
• 직접적인 0 조건을 통해 $ I_n^{(k,r)} $를 특징짓는 이격 대각선: $ x_{i+1} = t q^{s_i} x_i $ ($ 1 \leq i \leq k $), $ 0 \leq s_1 \leq \cdots \leq s_k \leq r-2 $.
• 모든 $ s_i $에 대해 $ e(z) e(tq^{s_1}z) \cdots e(t^k q^{s_k}z) = 0 $을 만족하는 변형된 아벨 전류 $ e(z) = \sum e_i z^i $를 구성한다.
• 이 곱의 푸리에 계수들이 $ \mathbb{C}[\{e_i\}_{i \in \mathbb{Z}}] $ 내에서 이상 $ \tilde{\mathcal{J}}(q,t) $를 생성하며, 몫이 수준 $ k $에서 $ \widehat{\mathfrak{sl}}_r $의 진공 표현과 동일한 단항기저를 가짐을 증명한다.
• 매크도날드 다항식의 구조와 $ t^{k+1}q^{r-1} = 1 $에서의 특수화를 사용해 0 조건과 기저 성질을 분석한다.
• 변형된 대수 $ E_{k,r}(q,t) $를 와이유 군 작용과 연결하고, 일반적인 $ q,t $에서 $ \widehat{\mathfrak{sl}}_r $의 기약 표현이 $ E_{k,r}(q,t) $로 제한될 때도 기약성을 유지함을 보인다.

실험 결과

연구 질문

• RQ1 대칭 다항식의 이상 $ I_n^{(k,r)} $를 특징짓는 이격 대각선에서의 정확한 0 조건은 무엇인가?
• RQ2 수준 $ k $의 $ \widehat{\mathfrak{sl}}_r $ 적분 표현을 $ q,t $-매개변수를 통해 어떻게 변형할 수 있으며, 이때 단항기저를 유지할 수 있는가?
• RQ3 매크도날드 다항식은 변형된 이상을 특징짓고 현재 대수 관계와의 관계를 어떻게 정의하는가?
• RQ4 이중 전류 $ e(z) $의 $ q $-변형, 즉 $ e(z)e(tq^{s_1}z)\cdots e(t^k q^{s_k}z) = 0 $을 만족하는 관계는 상관 함수의 구조와 어떻게 관련되는가?
• RQ5 적분 표현에서 전류 $ e(z) $의 행렬 원소는 수준 $ k+1 $의 대각선에서의 $ q $-변형된 0 조건으로 특징지어질 수 있는가?

주요 결과

• 이상 $ I_n^{(k,r)} $는 모든 형태의 이격 대각선 $ x_{i+1} = t q^{s_i} x_i $ ($ 1 \leq i \leq k $), $ 0 \leq s_1 \leq \cdots \leq s_k \leq r-2 $에서 대칭 다항식이 0이 되는 조건으로 특징지어진다.
• $ t^{k+1}q^{r-1} = 1 $에서 매크도날드 다항식 $ P_\lambda(x_1,\dots,x_n;q,t) $는 $ I_n^{(k,r)} $의 기저를 이룬다. 이는 잭 다항식 이상의 변형된 형태이다.
• 일반적인 $ q,t $에서 $ t^{k+1}q^{r-1} = 1 $을 만족할 경우, 몫 대수 $ \mathbb{C}[\{e_i\}_{i \geq 1}] / \mathcal{J}(q,t) $는 $ \widehat{\mathfrak{sl}}_r $의 수준 $ k $ 진공 표현의 주요 부분공간과 동일한 단항기저를 가진다.
• 변형된 전류 $ e(z) $는 모든 $ 0 \leq s_1 \leq \cdots \leq s_k \leq r-2 $에서 $ e(z)e(tq^{s_1}z)\cdots e(t^k q^{s_k}z) = 0 $을 만족하며, $ t=1, q=\tau $에서의 비변형 관계 $ e(z)^{k+1} = 0 $을 일반화한다.
• $ E_{k,r}(q,t) = \mathbb{C}[D,D^{-1}] \ltimes \mathbb{C}[\{e_i\}_{i \in \mathbb{Z}}] / \tilde{\mathcal{J}}(q,t) $ 대수의 기약 표현은 $ \widehat{\mathfrak{sl}}_r $의 표현의 변형이며, 제한 시에도 기약성을 유지한다.
• $ q $-변형은 전류 $ e(z) $의 적분 조건을 명시적이고 $ q $-의존적인 방식으로 특징지어주며, 비변형 경우에서는 암묵적인 조건이 된다.