[論文レビュー] Macdonald polynomials in superspace as eigenfunctions of commuting operators

Olivier Blondeau-Fournier, Patrick Desrosiers+2 more|arXiv (Cornell University)|Feb 17, 2012

Algebraic structures and combinatorial models参考文献 24被引用数 3

ひとこと要約

この論文は、2つの可換な作用素族の共通固有関数として、超空間上のマクドナルド多項式の存在と一意性を確立し、長年の予想を解決した。非対称マクドナルド多項式と反可換単項式を用いた構成により、三角性と直交性を証明し、正規化を除いて超多項式を一意に特徴づけた。

ABSTRACT

A generalization of the Macdonald polynomials depending upon both commuting and anticommuting variables has been introduced recently. The construction relies on certain orthogonality and triangularity relations. Although many superpolynomials were constructed as solutions of highly over-determined system, the existence issue was left open. This is resolved here: we demonstrate that the underlying construction has a (unique) solution. The proof uses, as a starting point, the definition of the Macdonald superpolynomials in terms of the Macdonald non-symmetric polynomials via a non-standard (anti)symmetrization and a suitable dressing by anticommuting monomials. This relationship naturally suggests the form of two family of commuting operators that have the defined superpolynomials as their common eigenfunctions. These eigenfunctions are then shown to be triangular and orthogonal. Up to a normalization, these two conditions uniquely characterize these superpolynomials. Moreover, the Macdonald superpolynomials are found to be orthogonal with respect to a second (constant-term-type) scalar product and its norm is evaluated. The latter is shown to match (up to a q-power) the conjectured norm with respect to the original scalar product. Finally, we recall the super-version of the Macdonald positivity conjecture and present two new conjectures which both provide a remarkable relationship between the new (q,t)-Kostka coefficients and the usual ones.

研究の動機と目的

• 超空間上のマクドナルド多項式の存在に関する未解決問題を解き、それまでは予想的にしか定義されていなかったこと。
• 非標準的な（反）対称化と反可換単項式の装着を介して、マクドナルド超多項式と非対称マクドナルド多項式との間の厳密な関係を確立すること。
• 2つの可換作用素族の固有関数として超多項式を特徴づけ、構成的かつ一意的な定義を提供すること。
• 2つの内積（標準的(q,t)内積と定数項型内積を含む）に関して直交性を証明し、超多項式のノルムを評価すること。
• 一般化された(q,t)-コスタ係数が古典的 ones とどのように関係するかを示す新しい予想を提示し、マクドナルド正値性予想を拡張すること。

提案手法

• 非対称マクドナルド多項式の非標準的（反）対称化に加え、反可換単項式による装着を用いてマクドナルド超多項式を定義する。
• 超多項式が共通固有関数である2つの可換作用素族（E₁ と E₂）を導出し、非対称多項式の構造から得られる。
• 単項式基底における超多項式の三角的分解を用いて、固有関数および三角性の条件下での一意性を証明する。
• 作用素の自己随伴性と双対性を用いて、標準的(q,t)内積に関して直交性を証明する。
• 第二の内積（定数項型）を導入し、超多項式がそれに関して直交することを示し、ノルムが元の内積における予想されたノルムとqのべき乗の違いを除いて一致することを確認する。
• 三角性と直交性の下での固有値問題の解の一意性を活用して、超多項式の存在を確認する。

実験結果

リサーチクエスチョン

• RQ1 三角性と直交性によって定義される過剰決定系の解として、超空間上のマクドナルド超多項式が存在するか？
• RQ2 マクドナルド超多項式は、2つの可換作用素のペアの固有関数として特徴づけられるか？
• RQ3 定数項型内積におけるマクドナルド超多項式のノルムは、標準的内積における予想されたノルムとqのべき乗の違いを除いて等しいか？
• RQ4 超多項式を用いて定義される一般化された(q,t)-コスタ係数と古典的(q,t)-コスタ係数との関係は何か？
• RQ5 一般化された(q,t)-コスタ係数は正値性を示し、精緻化された双対性または対称性を満たすか？

主な発見

• 超空間上のマクドナルド超多項式は存在し、標準的(q,t)内積における三角的分解と直交性によって一意に特徴づけられる。
• 超多項式は、非対称マクドナルド多項式の非標準的（反）対称化を経て構成される2つの可換作用素族 E₁ と E₂ の固有関数であることが示された。
• 定数項型内積におけるマクドナルド超多項式のノルムが計算され、元の内積における予想されたノルムとqのべき乗の違いを除いて一致することが判明した。
• 超多項式は標準的(q,t)内積および定数項内積の両方に関して直交しており、異なる内積間での一貫性が確認された。
• 2つの新しい予想が提示された：1つは一般化された(q,t)-コスタ係数と古典的 ones の間の双対性を示し、もう1つは一般化された係数の正値性を示唆するものである。
• この構成により、マクドナルド正値性予想の超バージョンが確認され、一般化されたコスタ係数の超対称的設定におけるさらなる探求のための枠組みが提供された。