[論文レビュー] Intersections of Schubert varieties and highest weight vectors in tensor products of sl_{N+1}-representations

Inna Scherbak|ArXiv.org|Sep 19, 2004

Algebraic structures and combinatorial models参考文献 18被引用数 7

ひとこと要約

本稿は、有理正規曲線の接フラグによって定義されるシューベルト多様体の交わりにおける非退化平面と、$mathfrak{sl}_{N+1}$-表現のギャウディン模型におけるベーテベクトルとの間の対応を確立する。この幾何的対応を活用して、標準表現の対称冪である一つの表現を含むテンソル積におけるベーテベクトルを、ワロンスキー条件とマスターファンクションの臨界点から導かれる多項式基底を用いて明示的に計算する。

ABSTRACT

There is a correspondence between highest weight vectors in the tensor product of finite-dimensional irreducible sl(N+1)-modules marked by distinct complex numbers, on the one hand, and elements of the intersection of the Schubert varieties taken with respect to the osculating flags of the normal rational curve at the points corresponding to these complex numbers, on the other hand. The highest weight vectors are the Bethe vectors of the sl(N+1) Gaudin model and the elements are the (N+1)-dimensional non-degenerate planes in the vector space of complex polynomials. In the present paper we exploit this correspondence in order to calculate Bethe vectors is the tensor product of two irreducible finite-dimensional sl(N+1)-representations. We find the Bethe vector in the case when one of the two representations is a symmetric power of the standard one. The idea is to look for the intersection of Schubert varieties related to a Bethe vector. We present explicitly a basis of the corresponding (N+1)-dimensional plane in the space of polynomials.

研究の動機と目的

• テンソル積における最高重量ベクトル（ベーテベクトル）とシューベルト多様体の交わりの要素との間の幾何的対応を確立すること。
• 一つの因子が標準表現の対称冪であるテンソル積におけるベーテベクトルの明示的表現を計算すること。
• マスターファンクションの臨界点がシューベルト交わりにおける非退化平面に対応し、それらがベーテベクトルをもたらすことを示すこと。
• 多項式基底とワロンスキー条件を用いたアルゴリズム的手法により、ベーテベクトルを構成する方法を提供すること。

提案手法

• 有理正規曲線の接フラグに関連するシューベルト多様体の交わりにおける非退化平面とギャウディン模型におけるベーテベクトルとの対応を利用する。
• $(x+1)^d$ の明示的多項式分解を用いて、多項式空間内の$(N+1)$次元平面の基底を構成する。
• 中間的ワロンスキー行列式の追加の根を計算して、ベーテアンツァツ変数$t_i(j)$を特定する。これらはベーテベクトルをパrameter化する。
• ワロンスキー根から得られる臨界点に、普遍的重み関数$\mathbf{v}(\mathbf{t})$を適用し、ベーテベクトルを生成する。
• ワロンスキー行列式が共通の根を持たず、結果として得られる平面が非退化であることを確認することで、シューベルト交わりの非退化性を検証する。
• マスターファンクションの非零臨界値を持つ臨界点を用いて、関連するベーテベクトルとその重みを特定する。

実験結果

リサーチクエスチョン

• RQ1 一つの表現が標準$mathfrak{sl}_{N+1}$-表現の対称冪である場合、$mathfrak{sl}_{N+1}$ギャウディン模型におけるベーテベクトルはどのように計算できるか？
• RQ2 接フラグによって定義されるシューベルト多様体の交わりと、$mathfrak{sl}_{N+1}$-加群のテンソル積における最高重量ベクトルとの間の正確な幾何的対応は何か？
• RQ3 ワロンスキー多項式の根は、ベーテベクトルの構成におけるベーテアンツァツ変数とどのように関係するか？
• RQ4 多項式基底とワロンスキー条件を用いて、シューベルト交わりの非退化性をアルゴリズム的に検証できるか？
• RQ5 マスターファンクションは、シューベルト計算とギャウディン模型のベーテベクトルを結ぶ役割を果たすか？

主な発見

• 一つの表現が標準$mathfrak{sl}_{N+1}$-表現の対称冪である場合、シューベルト交わりの多項式基底から導かれるワロンスキー多項式の根を特定することにより、ベーテベクトルが明示的に構成される。
• 重み$L_{2\lambda_1 + \lambda_2} \otimes L_{2\lambda_1 + \lambda_2}$に対応するベーテベクトルは、$Q_1(x) = 1+5x$、$Q_2(x) = 10x^2 + 10x^3$、$Q_3(x) = 5x^4 + x^5$で張られるシューベルト交わりから生じ、臨界点は$t(2) = -1/5$および$t_{1,2}(1) = (-2 \pm i)/5$である。
• $\mathbf{w} = (3,0)$の場合、ベーテベクトルは重み$\Lambda_{\mathbf{w}^*} = 3\lambda_1 + 3\lambda_2$に対応し、3つのベーテ変数は$W_2(x) = 5(4x^3 + 6x^2 + 4x + 1)$の根である。$\alpha_2$は寄与しない。なぜなら$W_1(x) = 1$は根を持たないからである。
• $\mathbf{w} = (2,1,0)$の場合、ベーテベクトルは$W_2(x) = Q_2'(x)$の根および$W_3(x) = Q_2' Q_3'' - Q_2'' Q_3'$の非ゼロ根によって決定され、重みは$\Lambda_{\mathbf{w}^*} = \Lambda(0) + \Lambda(-1) - 2\alpha_1 - \alpha_2$となる。
• 非退化シューベルト交わりは、$(x+1)^4 - \frac{2}{5}(x+1)^5 = Q_1 + Q_2 - Q_3$から得られ、$Q_1 = \frac{3}{5} + 2x$、$Q_2 = 2x^2$、$Q_3 = x^4 + \frac{2}{5}x^5$である。これにより、根$x = -3/10$および$x = -3/5$を普遍的重み関数に代入することで、重み$2\lambda_1$のベーテベクトルが得られる。
• この手法により、ベーテアンツァツ変数における初等対称関数が多項式$T_{N+1-i}(x)$の係数で表されることを確認でき、普遍的重み関数がこれらの多項式を用いて再定式化可能であると示唆される。