[論文レビュー] Schur positivity conjectures: 2 1/2 are no more!

Thomas Lam, Alexander Postnikov+1 more|arXiv (Cornell University)|Feb 21, 2005

Advanced Combinatorial Mathematics被引用数 2

ひとこと要約

この論文は、対称関数論におけるシュール正性に関する3つの主要な予想を証明する：オクヌーフの予想、フォーミン＝フォンタイン＝リ＝プーンの予想、およびラスコー＝リュクレール＝チボンの予想の特殊ケース。最近のローデスとスカンダラーによる斜めシュール関数の構造に関する結果を用いて、特定のシュール関数の積から他の積を引いたものがある条件下でシュール非負性を示し、代数的組合せ論における長年の予想を確認するとともに、既知のシュール正性結果の範囲を拡張する。

ABSTRACT

Abstract. We prove Okounkov’s conjecture, a conjecture of Fomin-Fulton-Li-Poon, and a special case of Lascoux-Leclerc-Thibon’s conjecture on Schur positivity and derive several more general statements using a recent result of Rhoades and Skandera. 1. Schur positivity conjectures The ring of symmetric functions has a linear basis of Schur functions sλ labelled by partitions λ = (λ1 ≥ λ2 ≥ · · · ≥ 0). A symmetric function is called Schur nonnegative if it is a linear combination with nonnegative coefficients of the Schur functions. In particular, skew Schur functions sλ/µ are Schur nonnegative. For two symmetric functions f and g, the notation f ≥s g means that f − g is Schur nonnegative. Recently, a lot of work has gone into studying whether certain expressions of the form sλsµ − sνsρ were Schur nonnegative. Let us mention several conjectures due to Okounkov, Fomin-Fulton-Li-Poon, and Lascoux-Leclerc-Thibon of this form. Okounkov [Oko] studied branching rules for classical Lie groups and proved that the multiplicities were “monomial-log-concave ” in some sense. An essential combinatorial ingredient in his construction was the theorem that about monomial nonnegativity of some symmetric functions. He conjectured that these functions are Schur nonnegative, as well. For a partition λ with all even parts, let λ 2 denote the partition ( λ1

研究の動機と目的

• 特定の形 sλsµ − sνsρ の対称関数のシュール非負性に関する未解決の予想を解消すること。
• 表現論および組合せ論から生じる特定の対称関数のシュール正性を確立すること。
• ローデスとスカンダラーによる最近の定理を用いて、既知のシュール正性結果の範囲を拡張すること。
• 対称関数論における単項式非負性とシュール非負性の関係を明確にすること。

提案手法

• 斜めシュール関数の構造に関するローデスとスカンダラーの最近の結果を活用し、シュール非負性を分析する。
• 分割によって添え字付けられた対称関数およびシュール関数の理論を用いて、正性条件を評価する。
• 特に偶数部を持つ分割に対して λ/2 を定義することで、偶数部を持つ分割に関する組合せ的議論を展開する。
• 対称関数環における既知の基底と線形結合を用いて、予想的な正性に関する記述を検証可能な条件に翻訳する。
• シュール関数の基底を用いて、差 sλsµ − sνsρ のシュール非負性を決定する。
• 対称関数論の枠組みの中で、既知の正性性質に還元することで予想を確認する。

実験結果

リサーチクエスチョン

• RQ1 すべての部が偶数である分割に対して、オクヌーフが予想した対称関数はシュール非負性を満たすか？
• RQ2 フォーミン＝フォンタイン＝リ＝プーンが予想した sλsµ − sνsρ は、関連するすべての分割に対してシュール非負性を満たすか？
• RQ3 ラスコー＝リュクレール＝チボンの予想の特殊ケースとしてのシュール正性は、与えられた条件下で成り立つか？
• RQ4 ローデスとスカンダラーの最近の結果を用いて、より広範なシュール正性に関する記述を導出できるか？
• RQ5 対称関数の文脈において、単項式非負性とシュール非負性の関係は何か？

主な発見

• すべての部が偶数である分割に対して、オクヌーフのシュール非負性に関する予想が、真であることが証明された。
• フォーミン＝フォンタイン＝リ＝プーンのシュール正性に関する積の予想は、成り立つことが確認された。
• ラスコー＝リュクレール＝チボンの予想の特殊ケースとしてのシュール正性は、有効であることが確立された。
• ローデスとスカンダラーの結果を用いて、より一般化されたシュール正性に関する記述を複数導出した。
• 証明により、指定された条件下で差 sλsµ − sνsρ がシュール非負性を満たすことが示された。
• 本研究は、最近の斜めシュール関数の構造に関する進展を基盤として、対称関数論におけるシュール正性の理解を統一的な枠組みで提供する。