[論文レビュー] A Pieri rule for Demazure characters of the general linear group

Sami Assaf, Danjoseph Quijada|arXiv (Cornell University)|Aug 22, 2019

Advanced Combinatorial Mathematics参考文献 22被引用数 4

ひとこと要約

本稿は、一般線型群における単一部のキー多項式と任意のキー多項式の積のキー多項式展開について、キャンセルフリーで重複フリーな組合せ論的公式を提示する。これは古典的ピエリ則の一般化である。証明には、ロビンソン＝シェンステッド＝クヌース対応を拡張する、Kohnert図形への新規挿入アルゴリズムが用いられ、符号は符号反転自己同型ではなく、重複する像の和集合から生じる。

ABSTRACT

The Pieri rule is a nonnegative, multiplicity-free formula for the Schur function expansion of the product of an arbitrary Schur function with a single row Schur function. Key polynomials are characters of Demazure modules for the general linear group that generalize the Schur function basis of symmetric functions to a basis of the full polynomial ring. We prove a nonsymmetric generalization of the Pieri rule by giving a cancellation-free, multiplicity-free formula for the key polynomial expansion of the product of an arbitrary key polynomial with a single part key polynomial. Our proof is combinatorial, generalizing the Robinson--Schensted--Knuth insertion algorithm on tableaux to an insertion algorithm on Kohnert diagrams.

研究の動機と目的

• シュール多項式の古典的ピエリ則を、一般線型群のデムアール多項式（キー多項式）の設定に一般化すること。
• 任意のキー多項式と単一部のキー多項式の積の、キャンセルフリーで重複フリーな公式を提供すること。
• RSK対応を一般化するKohnert図形上の組合せ論的挿入アルゴリズムを構築すること。
• 挿入像の構造を用いて、このような積のキー多項式展開が非負となる条件を同定すること。

提案手法

• 著者らは、非対称な設定へのRSK挿入を一般化するKohnert図形上の新規挿入アルゴリズムを定義する。
• 挿入プロセスを制御し、定義の明確さを保つために、Kohnert図形上の左交換順序を導入する。
• 主な双対写像は、3つの主要な写像（下部挿入、正規化、上部挿入）を用いて構成され、これらが互いに逆写像であることが証明されている。
• 挿入プロセスは、キー多項式に1行分のシュール関数を乗じる効果を追跡し、重複する像成分から符号が生じる。
• 証明は、挿入プロセスに基づくKohnert図形の層化に依存し、単射な層写像と像の特徴付けが行われる。
• 符号反転自己同型を避けるために、挿入像の構造を直接分析し、それが必ずしも互いに素でない可能性がある。

実験結果

リサーチクエスチョン

• RQ1 シュール多項式の古典的ピエリ則を、キー多項式の非対称な設定にどのように一般化できるか？
• RQ2 どのKohnert図形上の組合せ論的挿入アルゴリズムが、単一部のキー多項式との積の展開における構造定数を実現するか？
• RQ3 なぜ展開に符号が現れるのか？また、展開が実際に非負となるのはいつか？
• RQ4 挿入写像の像は、結果として得られるキー多項式展開の構造とどのように関係するか？
• RQ5 この挿入に基づくアプローチは、キー多項式のリトルウッド＝リチャードソン則やシューベルト構造定数の理解に新たな知見をもたらすか？

主な発見

• 本稿は、任意のキー多項式と単一部のキー多項式の積について、係数が{1, -1}であるキャンセルフリーで重複フリーな公式を確立した。
• Kohnert図形上の挿入アルゴリズムはRSK対応を一般化し、非対称ピエリ則の直接的な組合せ論的証明を提供する。
• 挿入写像の像は、必ずしも互いに素でないKohnert図形の和集合であり、これにより展開に符号が現れる理由が説明される。
• 著者らは、キー展開が非負となる条件を同定した：正確には、挿入写像の像が互いに素である場合に限る。これは入力図形に関する特定の組合せ論的条件に依存する。
• この結果により、ベクシラリーの場合のキー展開の非負性に対する、より簡潔な証明が得られ、シューベルト多項式を介した幾何的動機づけも提示された。
• この枠組みは、キー多項式の完全なリトルウッド＝リチャードソン則への道筋を示唆し、長年の問題であるシューベルト構造定数の計算に寄与する可能性を秘めている。