[論文レビュー] New Descriptions of Demazure Tableaux and Right Keys, with Applications to Convexity

Matthew J. Willis|arXiv (Cornell University)|Jul 29, 2014

Advanced Combinatorial Mathematics参考文献 8被引用数 6

ひとこと要約

本稿では、補助的な組合せ的構造を用いずに、半標準ヤング盤の右キーを計算するための新しい走査法を導入する。これにより、デマズール盤の要素の直接的記述が可能になる。主な貢献は完全な特徴付けである：部分ステアカ形状 λ = (n, n−1, ..., 2, 1) に対して、デマズール盤の集合 Dλ(w) が R|λ| 内の凸多面体であるための必要十分条件は、w が 312 を避けることである。

ABSTRACT

The right key of a semistandard Young tableau is a tool used to find Demazure characters for $sl_n(\mathbb{C})$. This thesis gives methods to obtain the right and left keys by inspection of the semistandard Young tableau. Given a partition $λ$ and a Weyl group element $w$, there is a semistandard Young tableau $Y_λ(w)$ of shape $λ$ that corresponds to $w$. The Demazure character for $λ$ and $w$ is known to be the sum of the weights of all tableaux whose right key is dominated by $Y_λ(w)$. The set of all such tableaux is denoted $\mathcal{D}_λ(w)$. Exploiting the method mentioned above for obtaining right keys, this thesis describes the entry at each location in any $T \in \mathcal{D}_λ(w)$. Lastly, we will consider $\mathcal{D}_λ(w)$ as an integral subset of Euclidean space. The final results present a condition that is both necessary and sufficient for this subset to be convex.

研究の動機と目的

• 補助的な組合せ的ツール（例：キーポリノミアルや左キー）に依存せずに、半標準ヤング盤の右キーを直接、盤のみを用いて計算する方法を開発すること。
• 新しい走査法を用いて、デマズール集合 Dλ(w) 内のすべての盤の各要素を明示的に記述すること。
• ユークリッド空間の部分集合として、集合 Dλ(w) が凸であるための正確な条件を、部分ステアカ形状 λ = (n, n−1, ..., 2, 1) に限定して特定すること。

提案手法

• 『走査法』を導入する—視覚的で、行単位および列単位のアルゴリズムを用いて、半標準ヤング盤から直接右キーを計算する。
• 走査経路に基づく局所的条件集合を定義し、右キーの比較と優越関係の特定に用いる。
• 走査法を用いて、任意の盤 T ∈ Dλ(w) の各位置における要素を、Yλ(w) の右キーがどのように制約を及えるかを分析することで記述する。
• Dλ(w) を R|λ| の部分集合としてモデル化し、各盤をその要素の列として点として扱う。
• 312 を避ける置換の構造を分析することで、凸性の必要十分条件を確立する。
• Reiner と Shimozono ([RS]) および Postnikov と Stanley ([PS]) の結果を活用し、凸性条件の文脈的・検証的根拠を提供する。

実験結果

リサーチクエスチョン

• RQ1 半標準ヤング盤の右キーは、キーポリノミアルや左キーなどの補助的組合せ的対象を用いずに計算可能か？
• RQ2 与えられた w と形状 λ に対して、デマズール集合 Dλ(w) 内のすべての盤の要素を、正確にどのように記述できるか？
• RQ3 Weyl 群の元 w が、形状 λ が部分ステアカ形状 (n, n−1, ..., 2, 1) のとき、集合 Dλ(w) が凸であるのはどのような場合か？
• RQ4 w が 312 を避ける性質であることは、ユークリッド空間におけるデマズール盤集合の凸性とどのように関係するか？
• RQ5 凸性に関する結果は、部分ステアカ形状 λ = (n, n−1, ..., 2, 1) を超えて、どの程度一般化可能か？

主な発見

• 走査法により、盤の要素とその位置のみを用いて、任意の半標準ヤング盤の右キーを直接的かつ視覚的に計算できる。
• 任意の T ∈ Dλ(w) に対して、位置 (i,j) の要素は、Yλ(w) の右キーと、走査プロセスから得られる局所的制約によって完全に決定される。
• λ = (n, n−1, ..., 2, 1) のとき、集合 Dλ(w) が R|λ| 内で凸であるための必要十分条件は、w が 312 を避けることである。
• 本研究は、デマズール盤集合の凸性について完全かつ必要十分な条件を確立し、従来のレベルベースの結果に残されたギャップを解消した。
• 本稿では、w が 312 を避ける場合、デマズール盤集合 Dλ(w) が対応するフラグ付きシュール多項式に寄与する盤の集合と完全に一致することを示した。これは、先行研究を拡張するものである。
• 312 を含む置換の場合は、Dλ(w) は凸でないことが示された。具体的には、2つの有効な盤を結ぶ線分が、非半標準盤を通過する例を構成することで確認された。