[論文レビュー] Bethe algebra and algebra of functions on the space of differential operators of order two with polynomial solutions

E. Mukhin, V. Tarasov+1 more|ArXiv.org|May 28, 2007

Advanced Topics in Algebra参考文献 8被引用数 5

ひとこと要約

本稿は、多項式解をもつモニックな2階微分作用素の空間上の関数代数と、$\rho_{\mathfrak{gl}_2}$-加群のテンソル積における特異ベクトル空間に作用するベーテ代数の間の同型を確立する。この同型は、微分作用素の固有値とベーテアンザッツ固有値のスペクトル対応を通じて構成され、可換作用素と多項式解を通じてシューベルト計算と可積分系を結ぶ。

ABSTRACT

We show that the following two algebras are isomorphic. The first is the algebra $A_P$ of functions on the scheme of monic linear second-order differential operators on $\C$ with prescribed regular singular points at $z_1,..., z_n, \infty$, prescribed exponents $\La^{(1)}, ..., \La^{(n)}, \La^{(\infty)}$ at the singular points, and having the kernel consisting of polynomials only. The second is the Bethe algebra of commuting linear operators, acting on the vector space $\Sing L_{\La^{(1)}} \otimes ... \otimes L_{\La^{(n)}}[\La^{(\infty)}]$ of singular vectors of weight $\La^{(\infty)}$ in the tensor product of finite dimensional polynomial $gl_2$-modules with highest weights $\La^{(1)},..., \La^{(n)}$.

研究の動機と目的

• グラスマン多様体上の多項式部分空間のシューベルト計算に由来する代数と、量子可積分系におけるベーテ代数の間の深い構造的同型を確立すること。
• 特異点と多項式核を指定された微分作用素のscheme上の関数代数に関連付けることで、ベーテ代数の幾何学的・代数的性質を明確にすること。
• 微分作用素の固有値とベーテ代数の固有値の間のスペクトル対応を確立し、微分方程式と表現論を結びつけること。
• シューベルトサイクルの交差上の関数代数がベーテ代数と同型であることを示し、代数的作用素の幾何的解析を可能にすること。

提案手法

• 正則な特異点 $z_1, \dots, z_n, \infty$ を持ち、所定の指数を持ち、多項式核をもつ $\mathbb{C}$ 上のモニック2階微分作用素のscheme上の関数代数 $A_P$ を構成する。
• テンソル積 $L_{\Lambda^{(1)}} \otimes \cdots \otimes L_{\Lambda^{(n)}}$ 内の重み $\Lambda^{(\infty)}$ の特異ベクトル空間に作用する、高次のゴードンハミルトニアンによって生成される可換代数としてベーテ代数 $A_L$ を定義する。
• モノドロミーと正則特異点の条件を用いて、パラメータ空間 $\mathbb{C}^n$ の点と微分作用素 $\mathcal{D}_{\mathbf{h}(\mathbf{p})}$ の固有値の間の対応を確立する。
• ベーテアンザッツを用いて、ベーテ代数 $A_L$ の固有ベクトルを、多項式解をもつ微分方程式 $\mathcal{D}_{\mathbf{h}(\mathbf{p})}u(x) = 0$ の解に結びつける。
• スペクトル対応とシャポバロフ形式の非退化性を用いて、ベーテ代数から微分作用素空間上の関数代数への写像 $\psi_{ML}$ が同型であることを証明する。
• グロテンディーク形式とシャポバロフ形式を活用し、写像 $\xi$ の核が双線形形式の根基に一致することを示し、これにより理想 $(F)$ が乗法作用素 $L_F$ の像として特定されることを示す。

実験結果

リサーチクエスチョン

• RQ1 多項式解をもつ2階微分作用素の空間上の関数代数と、特異ベクトルに作用するベーテ代数との間に自然な同型が存在するか？
• RQ2 ベーテ代数の固有値は、所定の特異点と多項式解をもつ微分作用素の係数として実現可能か？
• RQ3 多項式部分空間のグラスマン多様体におけるシューベルトサイクルの幾何は、ベーテ代数の表現論的構成とどのように関係するか？
• RQ4 シャポバロフ形式は、二つの代数の同型を確立する上で果たす役割は何か？
• RQ5 シューベルトサイクルの交差上の関数代数 $A_G$ にべき等元をもつ条件は何か？ また、これはベーテ代数とどのように関係するか？

主な発見

• 正則特異点 $z_1, \dots, z_n, \infty$ を持ち、所定の指数を持ち、多項式核をもつモニック2階微分作用素のscheme上の関数代数 $A_P$ は、$L_{\Lambda^{(1)}} \otimes \cdots \otimes L_{\Lambda^{(n)}}$ 内の重み $\Lambda^{(\infty)}$ の特異ベクトル空間に作用するベーテ代数 $A_L$ と同型である。
• $q_{-1}(\mathbf{h}(\mathbf{p})) = 0$, $q_0(\mathbf{h}(\mathbf{p})) = 0$ かつ $\mathcal{D}_{\mathbf{h}(\mathbf{p})}u = 0$ のすべての解が多項式であるような任意の点 $\mathbf{p} \in \mathbb{C}^n$ に対して、$\psi_{ML}(H_s)v = h_s(\mathbf{p})v$ $(s = 1, \dots, n)$ を満たす固有ベクトル $v \in \operatorname{Sing} L_{\boldsymbol{\Lambda}}[\Lambda^{(\infty)}]$ が存在する。
• $\psi_{ML}$ は $A_P$ と $A_L$ 間の $\mathbb{C}$-代数同型を誘導し、ベーテ代数の固有値は微分作用素 $\mathcal{D}_{\mathbf{h}(\mathbf{p})}$ の係数に対応する。
• $A_D$ 上の双線形形式 $(\,,\,)_{S}$ の核は、写像 $\xi$ の核と一致し、この核は形式の根基に正確に一致するため、商において非退化性が保証される。
• $A_D$ 内の $F$ で生成される理想 $(F)$ は、$J = \{ f \in A_D \mid fg = 0 \text{ for all } g \in \ker \psi_{DP} \}$ に等しく、乗法作用素 $L_F$ の像が $A_L$ に同型であることが示される。
• $A_P$ 上の乗法作用素の代数はベーテ代数 $A_L$ と同型であり、この同型は微分作用素とベーテアンザッツ固有値の間のスペクトル対応によって実現される。