[論文レビュー] Plane partitions in the work of Richard Stanley and his school

C. Krattenthaler|arXiv (Cornell University)|Mar 19, 2015

Architecture and Art History Studies被引用数 4

ひとこと要約

この論文は、リチャード・スタンレーの研究およびその研究室の視点から、平面分割の理論を概説し、対称関数、表現論、組合せ的数え上げとの関係を強調している。主な結果として、マクマホンの平面分割の生成関数（a×b×cのボックス内）が非交差格子路とシュール関数を用いて導出され、平面分割と六角形の平行四辺形タイル張りの間の双対性が確立されており、行列式による公式を用いた洗練された組合せ的証明と数え上げが可能になる。

ABSTRACT

These notes provide a survey of the theory of plane partitions, seen through the glasses of the work of Richard Stanley and his school.

研究の動機と目的

• リチャード・スタンレーおよびその共同研究者らが進展させた平面分割理論の発展を概説すること。
• 平面分割、対称関数、古典的群の表現論との深い関係を明確にすること。
• 側辺長 a, b, c の六角形の平行四辺形タイル張りと平面分割との間の組合せ的双対性を提示すること。
• 非交差格子路法と行列式／パフィアンの公式が、平面分割の対称性クラスの数え上げを可能にする仕組みを説明すること。
• マクマホンの平面分割の生成関数が、特殊化されたシュール関数に等しいことを示すこと。

提案手法

• 平面分割の3次元立方体積み木表現を用い、側辺長 a, b, c, a, b, c の六角形の平行四辺形タイル張りとの双対性を確立する。
• リンストローム＝ゲゼル＝ヴィオンの補題を適用して非交差格子路を数え、行列式による公式を導出する。
• 石崎と若山の小行列式和定理を用いて、出発点または終点が集合内で変動する場合のパス数え上げを一般化する。
• 回転と行インデックスの加算を施して平面分割を半標準ヤング盤に変換し、シュール関数と結びつける。
• ウェイルのキャラクター公式とバーデン＝バーデン行列式を用いて特殊化されたシュール関数を評価し、マクマホンの生成関数を回復する。
• シュール関数に x_i = q^i の主特殊化を施し、平面分割の生成関数を q-級数の形で表現する。

実験結果

リサーチクエスチョン

• RQ1 非交差格子路と行列式による公式を用いて、平面分割をどのように数え上げることができるか？
• RQ2 平面分割と側辺長 a, b, c の六角形の平行四辺形タイル張りとの間にはどのような関係があるか？
• RQ3 対称関数と SL_n(C) の表現論は、平面分割の数え上げとどのように関係しているか？
• RQ4 小行列式和定理は、格子路数え上げを平面分割の対称性クラスへ拡張する上で果たす役割は何か？
• RQ5 シュール関数の主特殊化が、a×b×cボックス内のマクマホンの生成関数をどのように回復するか？

主な発見

• a×b×cボックス内の平面分割の生成関数は、積分式 ∏_{i=1}^a ∏_{j=1}^b ∏_{k=1}^c (i+j+k-1)/(i+j+k-2) で与えられ、これはマクマホンの公式の q→1 での極限である。
• 形状 (b,b,…,b) で要素が ≤c の平面分割と、側辺長 a, b, c, a, b, c の六角形の平行四辺形タイル張りとの間には双対性が存在する。
• a×b×cボックス内の平面分割の数は、回転とシフト変換を施した結果、形状 (b,b,…,b) の半標準ヤング盤で要素が {1,2,…,a+c} に属するものの数に等しい。
• a×b×cボックス内の平面分割 π についての生成関数 ∑_π q^|π| は、q^{-b binom(a+1,2)} とシュール関数 s_{(b,b,…,b)}(q, q^2, …, q^{a+c}) の積に等しい。
• ウェイルのキャラクター公式に x_i = q^i を特殊化すると、バーデン行列式の評価が得られ、マクマホンの公式が裏付けられる。
• 小行列式和定理を用いたパフィアンの公式の適用により、パスの出発点または終点が固定でない平面分割の対称性クラスの数え上げが可能になる。