[論文レビュー] Poset models for Weyl group analogs of symmetric functions and Schur functions

Robert G. Donnelly|arXiv (Cornell University)|Nov 26, 2018

Algebraic structures and combinatorial models参考文献 55被引用数 6

ひとこと要約

本稿は、Weyl群の対称関数およびシュール関数の類似物をモデル化するための新しい組合せ的枠組みを提示する。この枠組みは、エッジ彩色付きのランク付きposet（分裂posetと呼ばれる）を用い、Lie代数表現理論に依存しない形で、古典的対称関数をWeyl群の対称性によって一般化する。頂点彩色技術と新しい分裂定理を導入し、『結晶的分裂poset』を構成することで、Weyl双代数関数をモデル化し、それらのガウス性を証明するとともに、Bender–Knuth予想およびシミプレクティック類似の新証明を提供する。

ABSTRACT

The `Weyl symmetric functions' studied here naturally generalize classical symmetric (polynomial) functions, and `Weyl bialternants,' sometimes also called Weyl characters, analogize the Schur functions. For this generalization, the underlying symmetry group is a finite Weyl group. A `splitting poset' for a Weyl bialternant is an edge-colored ranked poset possessing a certain structural property and a natural weighting of its elements so that the weighted sum of poset elements is the given Weyl bialternant. Connected such posets are of combinatorial interest in part because they are rank symmetric and rank unimodal and have nice quotient-of-product expressions for their rank generating functions. Supporting graphs of weight bases for irreducible semisimple Lie algebra representations provide one large family of examples. However, many splitting posets can be obtained outside of this Lie theoretic context. This monograph provides a tutorial on Weyl bialternants / Weyl symmetric functions and splitting posets that is largely self-contained and independent of Lie algebra representation theory. New results are also obtained.

研究の動機と目的

• 本稿の目的は、Lie代数表現理論に依存しない、Weyl対称関数および双代数関数の自己完結的で組合せ的な枠組みを提供することである。
• Weyl双代数関数に一意的な分裂posetを有するものと、そのような関数を最小小および準最小小重みに関連付ける特徴づけを分類することである。
• 本稿の目的には、Lie理論的文脈を超えた範囲で分裂posetを構成するための新しい組合せ的基準を開発することも含まれる。
• 本稿は、結晶グラフ理論に類似した分岐および積分解明をモデル化するための『結晶的分裂poset』を導入する。
• 本稿の目的は、ガウス性poset、Littlewood–Richardson規則、および重み基底支持グラフに関する結果をposet構造的手法を用いて統一的かつ一般化することである。

提案手法

• 本稿は、『分裂poset』—エッジ彩色付きのランク付きposetで、自然な重み付けを備え、その重み付き和が与えられたWeyl双代数関数に一致する—という概念を導入する。
• Stembridgeのキャンセル補題の再考により、posetが分裂であるための新しい組合せ的基準を確立し、結晶的分裂posetの構成を可能にする。
• 頂点に色を割り当てる新規な『頂点彩色』技術を開発し、部分面を特定し、分裂条件を検証する。
• 本手法は、新しい分裂定理を適用して、各要素のP(ω)-色頂点に色を付けることで、すべての標準的結晶グラフを含む結晶的分裂posetを構成する。
• 分配的ラティスが鎖積（例：L(Mω)）と同型である構造を用い、Weyl双代数関数をモデル化し、それらのガウス性を証明する。
• この枠組みをGelfand型パターンに適用し、特定のシミプレクティックおよび直交的Weyl双代数関数が分配的ラティスによってモデル化されることを示す。

実験結果

リサーチクエスチョン

• RQ1 どのWeyl双代数関数が一意的な分裂posetを有するか。また、それらをどのように組合せ的に特徴づけられるか。
• RQ2 分裂posetの概念を、分裂に加えて積分解明（Littlewood–Richardson）および分岐則をモデル化するようにどのように拡張できるか。
• RQ3 特にLie代数表現の文脈を超えて、posetが分裂posetであるための組合せ的条件は何か。
• RQ4 頂点彩色技術を用いて、非結晶的である可能性のある新しい家族の分裂posetを構成できるか。
• RQ5 新しい分裂poset基準は、Bender–Knuth予想およびそのシミプレクティック類似とどのように関係するか。

主な発見

• 本稿は、ダイヤモンド彩色分配的ラティスL(Mω)がWeyl双代数関数χMωの分裂分配的ラティスであることを証明し、P(Mω)がガウス的であることを示した。
• 頂点彩色と新しい分裂基準を用いて、Proctor–Stanleyのガウス的poset定理の新証明を提供した。
• poset構造的手法を用いて、Bender–Knuthのex-予想を再証明し、この恒等式の新しいシミプレクティック類似も確立した。
• 本稿は、一意的な分裂posetを有するWeyl双代数関数を分類し、最小小および準最小小の支配的重みに関連する分裂posetの新しい組合せ的特徴づけを提供した。
• 特定のGelfand型パターンラティスが、シミプレクティックおよび直交的Weyl双代数関数をモデル化することを示し、既知のposetモデルの範囲を拡張した。
• 頂点彩色法により、すべての結晶グラフが結晶的分裂posetとして正しく構成され、積構成のもとでそれらの一意性が証明された。