[論文レビュー] Gaudin functions, and Euler-Poincaré characteristics

Alain Lascoux|ArXiv.org|Sep 11, 2007

Advanced Combinatorial Mathematics参考文献 15被引用数 10

ひとこと要約

本稿では、パラメータ x_i, y_j および変形パラメータ t を含む有理行列の行列式から導かれる対称な有理関数として、任意のレベル r における Gaudin 関数を導入する。変数の特殊化と差分作用素の適用により、著者らはこれらの関数を代数的に特徴付け、レベル 1 の Gaudin 関数が旗多様体のオイラー・ポワンカーベの特徴として現れることを示し、対称関数論とシューベルト多項式を用いて Warnaar のマクドナルド多項式の生成関数を回復する。

ABSTRACT

Given two positive integers n,r, we define the Gaudin function of level r to be quotient of the numerator of the determinant det(1/ ((x_i-y_j)(x_i-ty_j) ... (x_i-t^r y_j)), i,j=1..n, by the two Vandermonde in x and y. We show that it can be characterized by specializing the x-variables into the y-variables, multiplied by powers of t. This allows us to obtain the Gaudin function of level 1 (due to Korepin and Izergin) as the image of a resultant under the the Euler-Poincaré characteristics of the flag manifold. As a corollary, we recover a result of Warnaar about the generating function of Macdonald polynomials.

研究の動機と目的

• 任意のレベル r における Gaudin 関数を、有理行列の行列式から生じる対称な有理関数として定義・特徴付ける。
• 特殊化と対称関数論を用いて、Gaudin 関数と旗多様体のオイラー・ポワンカーベの特徴との間の関係を確立する。
• レベル 1 の Gaudin 関数の幾何的解釈をもとに、マクドナルド多項式の生成関数である Warnaar の式を帰結として回復する。
• 対称関数論の文脈において、多重シュール関数、差分作用素、シューベルト多項式といった代数的構造を統一する。
• 代数的幾何学と表現論的道具を用いて、古典的なカウチ行列式およびその性質を、高レベルの有理関数へ一般化する。

提案手法

• Gaudin 関数のレベル r を、k = 0 から r までの項 (x_i - t^k y_j)^{-1} を含む行列式の商として定義し、x および y におけるバーデルンデルト行列式で正規化する。
• アルファベット {y_j^0, ..., y_j^r} に作用する差分作用素 ∂_{k}^{j} を用いて、カウチ行列式を高レベルの Gaudin 行列式に変換する。
• 得られた行列式を、□ = (n−1)^r である多変数シュール関数 S_{j;□}({f y}^i; {f y}^i - {f x}) の行列として表現する。
• 特に多重シュール関数の因数分解性を用いた対称関数の恒等式を適用し、行列式を初等対称関数および結果式（resultant）の形に書き直す。
• x_i を t のべきを用いて y_j に特殊化することで、レベル r の Gaudin 関数を x_i と y_j^i の差分に関する多重シュール関数の行列式として表現する。
• 旗多様体のオイラー・ポワンカーベの特徴を用いて、レベル 1 の Gaudin 関数を結果式の像として解釈し、代数的幾何学と対称関数論を結びつける。

実験結果

リサーチクエスチョン

• RQ1 任意のレベル r における Gaudin 関数は、レベル 1 の場合を越えて、どのように代数的に特徴付けられるか？
• RQ2 差分作用素は、古典的なカウチ行列式を高レベルの Gaudin 行列式に変換する際に果たす役割は何か？
• RQ3 旗多様体のオイラー・ポワンカーベの特徴は、レベル 1 の Gaudin 関数およびそれとマクドナルド多項式との関係において、どのように関与するか？
• RQ4 多重シュール関数と対称関数の恒等式は、レベル r における Gaudin 関数の導出をどのように促進するか？
• RQ5 レベル 1 における Gaudin 関数の幾何的・代数的解釈から、Warnaar のマクドナルド多項式の生成関数を回復できるか？

主な発見

• Gaudin 関数のレベル r は、k = 0 から r までの (x_i - t^k y_j)^{-1} を成分とする行列式から生じる対称な有理関数 F_n^r(x,y) として定義され、x および y におけるバーデルンデルト行列式で正規化される。
• レベル 1 の Gaudin 関数は、旗多様体のオイラー・ポワンカーベの特徴の下で結果式の像として現れ、幾何的解釈が与えられる。
• x_i を t のべきを用いて y_j に特殊化することで、Gaudin 関数のレベル r は、y_j^i - x_i の差分に関する多重シュール関数の行列式として表現される。
• アルファベット {y_j^0, ..., y_j^r} に作用する差分作用素の手法により、カウチ行列式は高レベルの Gaudin 行列式に変換され、再帰的な代数的構造が確立される。
• 重要な恒等式 S_{j;□}({f y}^i; {f y}^i - {f x}) = ∑_k S_k({f x}) S_{j-k,□}({f y}^i - {f x}) を用いることで、行列式がシュール関数の形に再表現され、対称関数論の適用が可能になる。
• 本稿では、ある重要な式の左辺を σ_1 関数の積とレベル 1 の Gaudin 関数として特定し、マクドナルド作用素の ω-変換および固有値性質を用いることで、Warnaar のマクドナルド多項式の生成関数の公式を回復する。