[論文レビュー] Asymptotic solutions to the sl_2 KZ equation and the intersection of Schubert classes

Inna Scherbak|arXiv (Cornell University)|Jul 24, 2002

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

ひとこと要約

本稿は、$sl_2$ KZ方程式のマスター関数の臨界点の軌道数が、$sl_2$表現のテンソル積における特異ベクトルの空間の次元に等しいという予想について、より技術的でない証明を提供する。この証明は、臨界点とWronski写像の下での逆像との間の対応関係を確立し、シューベルト計算を用いてシューベルト類の交点数を計算することで達成される。この交点数は、特異ベクトル空間の次元と一致する。

ABSTRACT

The hypergeometric solutions to the KZ equation contain a certain symmetric ``master function'', [SV]. Asymptotics of the solutions correspond to critical points of the master function and give Bethe vectors of the inhomogeneous Gaudin model, [RV]. The general conjecture is that the number of orbits of critical points equals the dimension of the relevant vector space, and that the Bethe vectors form a basis. In [ScV], a proof of the conjecture for the sl_2 KZ equation was given. The difficult part of the proof was to count the number of orbits of critical points of the master function. Here we present another, ``less technical'', proof based on a relation between the master function and the map sending a pair of polynomials into the Wronski determinant. Within these frameworks, the number of orbits becomes the intersection number of appropriate special Schubert classes. Application of the Schubert calculus to the sl_p KZ equation is discussed.

研究の動機と目的

• マスター関数の臨界点の軌道数が、$sl_2$ 表現のテンソル積における特異ベクトル空間の次元に等しいという予想に対する代替的で、より技術的でない証明を提供すること。
• マスター関数の臨界点と、2次元部分空間のグリーンバーグラマンにおけるWronski写像の逆像との間の対応関係を確立すること。
• シューベルト計算を用いて、シューベルト類の交点数を計算し、それが臨界点軌道数の上界となるようにすること。
• $sl_p$ KZ方程式にこの手法を拡張し、$p$次元部分空間のWronski写像と関連する一般化されたマスター関数を用いること。
• シューベルト計算による上界が、特異ベクトル空間の次元と一致することを示し、ベーテベクトルが基底をなすことを確認すること。

提案手法

• マスター関数 $\Phi(t)$ は $\mathcal{C}_{k,n}(t,z)$ 上で定義され、臨界点は $sl_2$ オイラー・ガウジン模型のベーテ方程式の解に対応する。
• 多項式 $W(x) = \prod_{i=1}^n (x - z_i)^{m_i}$ に対するWronski写像の逆像における2次元部分空間と、臨界点の軌道との間の一対一対応が確立される。
• このような2次元部分空間の数は、グリーンバーグラマン $Gr(2, \text{Poly}_d)$ における特別なシューベルト類の交点数として計算される。
• この交点数は、臨界点軌道数の上界を提供し、それが $\text{Sing}_k$ の次元に等しいことが示される。
• $sl_p$ への拡張は、$p$次元部分空間のWronski写像に関連する一般化されたマスター関数を用いることで達成される。
• Wronski写像に対応するグリーンバーグラマン内の有理曲線は、単項式行 $F(\xi) = (\xi^d, \dots, 1)$ の微分行列によって特定される。

実験結果

リサーチクエスチョン

• RQ1 マスター関数の臨界点の軌道数は、$sl_2$ 表現のテンソル積における特異ベクトル空間の次元に等しいか？
• RQ2 Wronski写像を用いたシューベルト計算により、臨界点軌道数を計算できるか？
• RQ3 Wronski写像は、対称冪のテンソル積に対する $sl_p$ KZ方程式のマスター関数とどのように関係するか？
• RQ4 シューベルト類の交点数は、$sl_p$ の場合における臨界点軌道数の有効な上界か？
• RQ5 他のテンソル積に対して、$sl_p$ KZ方程式のマスター関数に対応するグリーンバーグラマン内の有理曲線は何か？

主な発見

• マスター関数 $\Phi(t)$ の非退化臨界点の軌道数は、重み $|M| - 2k$ の特異ベクトル空間 $\text{Sing}_k$ の次元に等しい。
• シューベルト計算による交点数から得られる上界が、$\text{Sing}_k$ の次元と一致し、$sl_2$ の場合における予想が確認された。
• $sl_p$ KZ方程式では、マスター関数の臨界点の軌道数が、対応する特異ベクトル空間 $\text{Sing}_{\mathbf{k}}L$ の次元に等しいことが示された。
• マスター関数は $p$次元部分空間のWronski写像と関連づけられ、臨界点軌道数はシューベルト類の交点数として計算された。
• $sl_p$ の場合で重みが2つのとき、最高重みがテンソル積に含まれる場合に臨界点数は1であり、そうでない場合は0であり、特異ベクトル空間の次元と一致する。
• Wronski写像は、単項式行 $F(\xi)$ の微分行列によって定義される有理曲線に対応し、マスター関数の幾何的解釈が得られた。