[論文レビュー] Schubert calculus and representations of general linear group

E. Mukhin, V. Tarasov+1 more|ArXiv.org|Nov 26, 2007

Advanced Topics in Algebra参考文献 10被引用数 20

ひとこと要約

この論文は、$\mathfrak{gl}_N[t]$ の評価加群のテンソル積の多重度空間に作用するベーテ代数と、グラスマン多様体におけるシューベルト多様体の系列的交差の間の標準的同型を確立する。この空間におけるベーテ代数の表現が、交差のコリーガラル表現に同型であることを証明することで、シューベルト多様体の横断的交差性と、実数パラメータにおけるベーテ代数のスペクトルの単純性を示している。

ABSTRACT

We construct a canonical isomorphism between the Bethe algebra acting on a multiplicity space of a tensor product of evaluation gl_N[t]-modules and the scheme-theoretic intersection of suitable Schubert varieties. Moreover, we prove that the multiplicity space as a module over the Bethe algebra is isomorphic to the coregular representation of the scheme-theoretic intersection. In particular, this result implies the simplicity of the spectrum of the Bethe algebra for real values of evaluation parameters and the transversality of the intersection of the corresponding Schubert varieties.

研究の動機と目的

• 量子可積分系におけるベーテ代数と、グラスマン多様体におけるシューベルト多様体の系列的交差との間の深い代数的同型を確立すること。
• テンソル積の$\mathfrak{gl}_N[t]$-加群の多重度空間が、ベーテ代数のコリーガラル表現を担うことを証明すること。
• 実数評価パラメータにおけるシューベルト多様体の交差の横断的性に関する長年の予想を解決すること。
• 実数パラメータにおけるベーテ代数のスペクトルが単純であり、すべての固有空間が1次元であることを示すこと。
• モニックのフックス型微分作用素と多項式核をもつものによる、ベーテ代数の固有値の幾何的解釈を提供すること。

提案手法

• 形式的パラメータをもつ評価加群のテンソル積の部分加群として、循環的$\mathfrak{gl}_N[t]$-加群$\mathcal{V}^S$を構成する。
• 自然な同型を用いて、ベーテ代数$\mathcal{B}_{\boldsymbol{\lambda}}$をシューベルト胞体上の関数代数と特定する。
• ベーテアンザッツの完全性と次数付き特徴の一致を用いて、$\mathcal{B}_{\boldsymbol{\lambda}}$が自由多項式代数であり、特異ベクトル空間$({\mathcal{V}}^{S})_{\boldsymbol{\lambda}}^{sing}$に正則表現で作用することを示す。
• 評価パラメータを特殊化して、ウェイル加群に同型な商加群を得る。これにより、シューベルト胞体代数の対応する商を得る。
• ウェロンスキー写像の系列的ファイバーと、ウェイル加群における特異ベクトルに作用するベーテ代数$\mathcal{B}_{\boldsymbol{\lambda},\boldsymbol{a}}$との同型を確立する。
• 固有空間の正則的依存性と、ウェロンスキー写像の像の路連結性を用いて、モノドロミーの推移的性と微分作用素の解析的接続を証明する。

実験結果

リサーチクエスチョン

• RQ1 $\mathfrak{gl}_N[t]$-加群の多重度空間に作用するベーテ代数と、グラスマン多様体におけるシューベルト多様体の系列的交差との間に標準的同型が存在するか？
• RQ2 ベーテ代数の多重度空間への作用が、系列的交差のコリーガラル表現と一致するか？
• RQ3 実数評価パラメータに対応するシューベルト多様体は、横断的に交わっているか？
• RQ4 実数パラメータにおけるベーテ代数のスペクトルは単純（すなわち、すべての固有空間が1次元）か？
• RQ5 ベーテ代数の固有値と、多項式核をもつモニックのフックス型微分作用素との間に一対一対応が存在するか？

主な発見

• ベーテ代数$\mathcal{B}_{\boldsymbol{\lambda},\boldsymbol{a}}$は、$N$次元部分空間のグラスマン多様体におけるシューベルト多様体の系列的交差に同型である。
• ベーテ代数の多重度空間への作用は、系列的交差のコリーガラル表現に同型である。
• 実数評価パラメータにおけるシューベルト多様体の交差の横断的性が証明され、長年の予想が確認された。
• 実数評価パラメータにおけるベーテ代数のすべての固有空間は1次元であり、一般にスペクトルが単純であることが示された。
• ベーテ代数の固有値と、$N$次、$k+1$個の特異点と多項式核をもつモニックのフックス型微分作用素との間に一対一対応が存在する。
• パラメータ空間内のループに沿った微分作用素の解析的接続は、固有空間の置換に対応し、モノドロミー群は固有空間の集合に推移的に作用する。