[論文レビュー] Dyck tilings and the homogeneous Garnir relations for graded Specht modules

Matthew Fayers|arXiv (Cornell University)|Sep 25, 2013

Algebraic structures and combinatorial models被引用数 6

ひとこと要約

本稿は、歪ヤング図形のカバーを含むダイクタイリングと、対称群の置換モジュールの基底間の遷移行列の間の関係を確立し、タイリング数の再帰的関係を用いて、これらの行列が互いに逆行列であることを証明する。この結果を応用して、クーロミック・クーヴィー・ヘッケ代数における階数付きスペクトモジュールの同型なガーナール関係を、簡略化された、縮約表現形に導く。

ABSTRACT

Suppose $λ$ and $μ$ are integer partitions with $λ\supseteqμ$. Kenyon and Wilson have introduced the notion of a cover-inclusive Dyck tiling of the skew Young diagram $λ\setminusμ$, which has applications in the study of double-dimer models. We examine these tilings in more detail, giving various equivalent conditions and then proving a recurrence which we use to show that the entries of the transition matrix between two bases for a certain permutation module for the symmetric group are given by counting cover-inclusive Dyck tilings. We go on to consider the inverse of this matrix, showing that its entries are determined by what we call cover-expansive Dyck tilings. The fact that these two matrices are mutual inverses allows us to recover the main result of Kenyon and Wilson. We then discuss the connections with recent results of Kim et al, who give, a simple expression for the sum, over all $μ$, of the number of cover-inclusive Dyck tilings of $λ\setminusμ$. Our results provide a new proof of this result. Finally, we show how to use our results to obtain simpler expressions for the homogeneous Garnir relations for the universal Specht modules introduced by Kleshchev, Mathas and Ram for the cyclotomic quiver Hecke algebras.

研究の動機と目的

• 対称群の置換モジュールの基底間の遷移行列の構造を、ダイクタイリングを用いて明確化すること。
• ケネソンとウィルソンの行列の逆行列を、カバー拡張的ダイクタイリングを用いて、新たな組合せ的解釈を与えること。
• 生成子 $ \rho_i $ の縮約表現を用いて、階数付きスペクトモジュールの同型なガーナール関係を簡略化すること。
• すべての部分分割 $ \nu \trianglelefteq \nu $ におけるカバーを含むダイクタイリングの総和に関するキムらの公式の新たな証明を提供すること。
• タイリングの数え上げと、クーロミック・ヘッケ代数における表現論的構造との関係を結ぶこと。

提案手法

• 歪ヤング図形上にカバーを含むおよびカバー拡張的ダイクタイリングを、組合せ的対象として導入する。
• 双対的構成を用いて、カバーを含むおよびカバー拡張的ダイクタイリングの数の再帰的関係を導出する。
• ヤング置換モジュールの二つの基底間の遷移行列が、カバーを含むダイクタイリングの数によって符号化されることを特定する。
• カバー拡張的タイリングによって符号化された逆行列を用いて、二つの行列が互いに逆行列であることを証明する。
• 分割に定義される関数 $ F $ を定義し、$ F(\nu) $ について再帰的関係を証明する。この再帰的関係はタイリングの再帰的関係と一致する。
• タイリング数と関数 $ F $ の双対性を応用して、同型なガーナール関係の新たな表現を導出する。

実験結果

リサーチクエスチョン

• RQ1 ダイクタイリングのカバーを含む性質と同値となる組合せ的条件は何か？
• RQ2 カバーを含むおよびカバー拡張的ダイクタイリングの再帰的関係は、どのように構成され、行列の逆行列を証明するために用いられるか？
• RQ3 すべての $ \nu \trianglelefteq \nu $ におけるカバーを含むダイクタイリングの総和と関数 $ F $ の間にはどのような関係があるか？
• RQ4 タイリングデータを用いて、階数付きスペクトモジュールの同型なガーナール関係を、縮約表現の形にどのように表現できるか？
• RQ5 タイリングの数え上げの結果を用いて、キムらの和の公式のような既知の公式を再導出または簡略化できるか？

主な発見

• 対称群の置換モジュールの二つの基底間の遷移行列の成分は、$ \nu \backslash \nu' $ のカバーを含むダイクタイリングの数によって与えられる。
• 逆行列の成分はカバー拡張的ダイクタイリングの数によって与えられ、二つの行列は互いに逆行列である。
• すべての $ \nu \trianglelefteq \nu $ における $ \nu \backslash \nu $ のカバーを含むダイクタイリングの数の総和は $ F(\nu) $ に等しく、キムらの公式の新たな証明が得られる。
• 関数 $ F $ は、カバーを含むタイリング数の再帰的関係と同一の形の再帰的関係を満たし、和の公式の直接的な組合せ的導出を可能にする。
• ユニバーサル・スパルトモジュールのためのクーロミック・クーヴィー・ヘッケ代数における同型なガーナール関係は、生成子 $ \rho_i $ のみを用いた縮約表現に書き直すことができ、計算的および理論的利用が簡略化される。
• このフレームワーク全体は、ケネソンとウィルソンの行列の逆行列に関する結果を、元々のドミアモデルの導出とは独立して、タイリングに基づく新たな証明を提供する。