[논문 리뷰] Tableaux on k+1-cores, reduced words for affine permutations, and k-Schur expansions

Luc Lapointe, Jennifer Morse|ArXiv.org|2004. 02. 19.

Advanced Combinatorial Mathematics참고 문헌 7인용 수 16

한 줄 요약

이 논문은 $k$-bounded 분할과 $k+1$-core 사이의 이분사 사상에 기반하여, 애질리프 대칭군 $\tilde{S}_{k+1}$ 의 최대 근본 부분군에 대한 商군 위의 약한 순서와 $k$-Young 격자 사이의 조합적 동형을 수립한다. $k$-tableaux를 $k+1$-core 위에 도입하여 $k$-Kostka 계수의 조합적 해석을 제공하며, 이 테이블로 또는 애질리프 순열의 기저 표현에 대한 $q,t$-통계량이 일반화된 $q,t$-Kostka 다항식을 기술할 수 있음을 시사한다.

ABSTRACT

The $k$-Young lattice $Y^k$ is a partial order on partitions with no part larger than $k$. This weak subposet of the Young lattice originated from the study of the $k$-Schur functions(atoms) $s_λ^{(k)}$, symmetric functions that form a natural basis of the space spanned by homogeneous functions indexed by $k$-bounded partitions. The chains in the $k$-Young lattice are induced by a Pieri-type rule experimentally satisfied by the $k$-Schur functions. Here, using a natural bijection between $k$-bounded partitions and $k+1$-cores, we establish an algorithm for identifying chains in the $k$-Young lattice with certain tableaux on $k+1$ cores. This algorithm reveals that the $k$-Young lattice is isomorphic to the weak order on the quotient of the affine symmetric group $ ilde S_{k+1}$ by a maximal parabolic subgroup. From this, the conjectured $k$-Pieri rule implies that the $k$-Kostka matrix connecting the homogeneous basis $\{h_\la\}_{\la\in\CY^k}$ to $\{s_\la^{(k)}\}_{\la\in\CY^k}$ may now be obtained by counting appropriate classes of tableaux on $k+1$-cores. This suggests that the conjecturally positive $k$-Schur expansion coefficients for Macdonald polynomials (reducing to $q,t$-Kostka polynomials for large $k$) could be described by a $q,t$-statistic on these tableaux, or equivalently on reduced words for affine permutations.

연구 동기 및 목표

• 주어진 $k+1$-core와 $k$-bounded 분할 사이의 이분사 사상에 기반하여 $k$-Young 격자에 대한 조합적 모델을 수립한다.
• $k$-Schur 함수에 대한 $k$-Pieri 법칙을 애질리프 대칭군 $\tilde{S}_{k+1}$ 의 기저 표현과 연결한다.
• $k$-Kostaka 행렬의 조합적 해석을 $k+1$-core 위의 $k$-tableaux 수로 제공한다.
• 일반화된 $q,t$-Kostaka 다항식의 양의성을 실현할 수 있는 $k$-tableaux 또는 기저 표현에 대한 $q,t$-통계량을 제안한다.

제안 방법

• $k+1$-core와 $k$-bounded 분할 사이의 이분사 사상 $\mathfrak{p}$ 를 고리 길이를 이용해 정의한다.
• $k$-tableaux를 $k+1$-core 위에 정의된 새로운 표준형 표기법으로 도입하며, 반정규 표기법과 유사하다.
• $k+1$-core를 유지하는 연산자를 사용하여 $k$-Young 격자의 커버링 관계를 모델링한다.
• $\mathfrak{p}$-이분사 사상에 의해 $k$-Young 격자와 $\tilde{S}_{k+1}/S_{k+1}$ 위의 약한 순서 사이의 동형을 수립한다.
• $\mathfrak{p}$-사상에 기반하여 $k$-conjugation 을 $k+1$-core 위의 코어 쌍대성의 $\mathfrak{p}$-이미지로 정의한다.
• 추측된 $k$-Pieri 법칙을 활용하여 $k$-Kostaka 계수를 주어진 형상과 평가를 가진 $k$-tableaux의 수로 해석한다.

실험 결과

연구 질문

• RQ1 $k$-Young 격자가 $\tilde{S}_{k+1}/S_{k+1}$ 위의 약한 순서와 동형인가?
• RQ2 $k$-Kostaka 계수 $K_{\mu\lambda}^{(k)}$ 는 형상 $\mathfrak{c}(\mu)$ 와 평가 $\lambda$ 를 가진 $k$-tableaux의 수로 조합적으로 해석될 수 있는가?
• RQ3 $k$-tableaux 또는 애질리프 순열의 기저 표현에 대한 $q,t$-통계량이 일반화된 $q,t$-Kostaka 다항식을 실현할 수 있는가?
• RQ4 추측된 $k$-Pieri 법칙은 $k$-tableaux의 수가 평가 순서 $\alpha$ 에 관계없이 일정함을 의미하는가?

주요 결과

• $k$-Young 격자는 $k$-bounded 분할과 $k+1$-core 사이의 이분사 사상에 의해 $\tilde{S}_{k+1}/S_{k+1}$ 위의 약한 순서와 동형이다.
• 형상 $\mathfrak{c}(\mu)$ 와 평가 $\lambda$ 를 가진 $k$-tableaux의 수는 $k$-Kostaka 계수 $K_{\mu\lambda}^{(k)}$ 와 같다. 이는 $k$-Pieri 법칙을 가정할 때 성립한다.
• $k$-conjugation 사상 $\lambda \mapsto \lambda^{\omega_k}$ 는 $k+1$-core 위의 코어 쌍대성의 $\mathfrak{p}$-이미지로 실현된다.
• 형상 $\mathfrak{c}(\mu)$ 를 가진 표준형 $k$-tableaux의 수는 애질리프 순열 $\sigma_\mu \in \tilde{S}_{k+1}/S_{k+1}$ 의 기저 표현 수와 같다.
• 추측된 $k$-Pieri 법칙은 $\mathcal{T}_\alpha^k(\mu)$ 내의 $k$-tableaux의 수가 평가 순서 $\alpha$ 에 관계없이 일정함을 시사하며, 일반화된 Bender-Knuth 치환의 존재를 암시한다.
• $k$-Schur 함수는 동차 기저와 유니트리앙귤러하게 관련되어 있으며, 이는 $K_{\lambda\lambda}^{(k)} = 1$ 과 $\mu \not\trianglerighteq \lambda$ 이면 $K_{\lambda\mu}^{(k)} = 0$ 임을 확인한다.