[論文レビュー] Tableaux on k+1-cores, reduced words for affine permutations, and k-Schur expansions

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

Advanced Combinatorial Mathematics参考文献 7被引用数 16

ひとこと要約

この論文は、$k$-有界分割と$k+1$-コアの間の双対写像を用いて、$k$-ヤングラティスとアフィン対称群$\tilde{S}_{k+1}$の最大パラボリック部分群による商の弱順序の間の組合せ的同型を確立する。$k+1$-コア上の$k$-テーブルックスを導入することで、$k$-コスタ係数の組合せ的解釈が得られ、これらのテーブルックス上またはアフィン置換の短縮語上の$q,t$-統計量が一般化された$q,t$-コスタ多項式を記述する可能性がある。

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$-コアとテーブルックスを用いて$k$-ヤングラティスの組合せ的モデルを確立すること。
• アフィン対称群$\tilde{S}_{k+1}$における短縮語と$k$-シュール関数の$k$-ピエリ則を結びつけること。
• $k$-コスタ行列を$k+1$-コア上の$k$-テーブルックスの数え上げとして組合せ的に解釈すること。
• 一般化された$q,t$-コスタ多項式の正値性を実現する、$k$-テーブルックス上またはアフィン置換の短縮語上の$q,t$-統計量を提案すること。

提案手法

• $k+1$-コアと$k$-有界分割の間の双対写像$\mathfrak{p}$を、フック長を用いて定義する。
• $k$-テーブルックスを、半標準テーブルックスに類似した、$k+1$-コア上の新たなテーブルックス族として導入する。
• $k+1$-コアを保存する作用素を用いて、$k$-ヤングラティスにおける被覆関係をモデル化する。
• 双対写像$\mathfrak{p}$を介して、$k$-ヤングラティスと$\tilde{S}_{k+1}/S_{k+1}$の弱順序との同型を確立する。
• $\mathfrak{p}$-写像を活用し、$k$-共役をコア共役の$\mathfrak{p}$-像として定義する。
• 予想される$k$-ピエリ則を用いて、$k$-コスタ係数を、与えられた形状と評価を持つ$k$-テーブルックスの数として解釈する。

実験結果

リサーチクエスチョン

• RQ1 $k$-ヤングラティスは、$\tilde{S}_{k+1}/S_{k+1}$の弱順序と同型であるか？
• RQ2 $k$-コスタ係数$K_{\mu\lambda}^{(k)}$は、形状$\mathfrak{c}(\mu)$と評価$\lambda$を持つ$k$-テーブルックスの個数として組合せ的に解釈可能か？
• RQ3 $k$-テーブルックス上またはアフィン置換の短縮語上の$q,t$-統計量が、一般化された$q,t$-コスタ多項式を実現するか？
• RQ4 予想される$k$-ピエリ則は、評価の順序に依存しない$k$-テーブルックスの個数を意味するか？

主な発見

• $k$-ヤングラティスは、$k$-有界分割と$k+1$-コアの間の双対写像を介して、$\tilde{S}_{k+1}/S_{k+1}$の弱順序と同型である。
• 形状$\mathfrak{c}(\mu)$と評価$\lambda$を持つ$k$-テーブルックスの個数は、$k$-コスタ係数$K_{\mu\lambda}^{(k)}$に等しい（$k$-ピエリ則を仮定）。
• $k$-共役写像$\lambda \mapsto \lambda^{\omega_k}$は、$k+1$-コア上のコア共役の$\mathfrak{p}$-像として実現される。
• 形状$\mathfrak{c}(\mu)$の標準$k$-テーブルックスの個数は、アフィン置換$\sigma_\mu \in \tilde{S}_{k+1}/S_{k+1}$の短縮語の個数に等しい。
• 予想される$k$-ピエリ則は、$\mathcal{T}_\alpha^k(\mu)$内の$k$-テーブルックスの個数が評価の順序$\alpha$に依存しないことを示唆しており、一般化されたベンダ-クナウス対合の存在を示唆する。
• $k$-シュール関数は、斉次基底とユニトリ角行列関係にあり、$K_{\lambda\lambda}^{(k)} = 1$および$\mu \not\trianglerighteq \lambda$のとき$K_{\lambda\mu}^{(k)} = 0$を確認する。