[論文レビュー] Bethe algebra of the gl_{N+1} Gaudin model and algebra of functions on the critical set of the master function

E. Mukhin, V. Tarasov+1 more|ArXiv.org|Oct 24, 2009

Algebraic structures and combinatorial models参考文献 1被引用数 5

ひとこと要約

本稿は、gl_{N+1} Gaudin模型における多重度空間に作用するBethe代数と、関連するマスターファンクションの臨界集合上の関数の代数との間の同型を確立する。Betheアンザッツを用いて、この関数代数を多重度空間へ線形埋め込みし、その像におけるBethe代数の作用が関数代数の正則表現と同型であることを示す。これにより、異なる臨界点から得られるBetheベクトルの線形独立性と非零性が証明される。

ABSTRACT

Consider a tensor product of finite-dimensional irreducible gl_{N+1}-modules and its decomposition into irreducible modules. The gl_{N+1} Gaudin model assigns to each multiplicity space of that decomposition a commutative (Bethe) algebra of linear operators acting on the multiplicity space. The Bethe ansatz method is a method to find eigenvectors and eigenvalues of the Bethe algebra. One starts with a critical point of a suitable (master) function and constructs an eigenvector of the Bethe algebra. In this paper we consider the algebra of functions on the critical set of the associated master function and show that the action of this algebra on itself is isomorphic to the action of the Bethe algebra on a suitable subspace of the multiplicity space. As a byproduct we prove that the Bethe vectors corresponding to different critical points of the master function are linearly independent and, in particular, nonzero.

研究の動機と目的

• gl_{N+1} Gaudin模型における多重度空間に作用するBethe代数と、マスターファンクションの臨界集合上の関数の代数との間の深い代数的同型を確立すること。
• マスターファンクションの異なる臨界点から構成されたBetheベクトルが線形独立かつ非零であることを証明すること。
• Gaudin模型における3つの主要な代数的構造を統合すること：Bethe代数、臨界集合上の関数の代数、およびシューベルトサイクルによる幾何的実現。
• Bethe代数と臨界集合上の関数代数の正則表現との関連を用いて、Gaudin模型における幾何的ラングランズ対応の表現論的基盤を提供すること。

提案手法

• マスターファンクション Φ(t) 及びその臨界集合 CΦ を定義し、臨界点は ∂Φ/∂t_ij = 0 の解として得られる。
• 各臨界点 p における局所代数 A_{p,Φ} の直和として、CΦ 上の正則関数の代数 AΦ を構成する。
• 重み関数 ω(t) を用いて、f ∈ AΦ が点 p に台を持つとき、f を ω(p) に写像する線形写像 α: AΦ → Sing LΛ[λ^{(∞)}] を定義する。
• α(AΦ) が多重度空間における B_{Λ,λ^{(∞)},z}-部分加群であり、Bethe代数の作用が AΦ の正則表現と同型であることを証明する。
• 局所代数上の双線型形式とトレース形式を用いた双対性により、AΦ から AB（Bethe代数の像）への代数同型 β: AΦ → AB を構成する。
• 双線型形式 (·,·)_p の非退化性および臨界点におけるヘッセ行列の構造を用いて、主要な作用素の逆可換性と同型 β の正体を証明する。

実験結果

リサーチクエスチョン

• RQ1 Bethe代数の多重度空間への作用は、マスターファンクションの臨界集合上の関数代数の正則表現と同型か？
• RQ2 マスターファンクションの異なる臨界点から得られるBetheベクトルは線形独立かつ非零か？
• RQ3 マスターファンクションの臨界集合上の関数代数を、Bethe代数作用を尊重する形で多重度空間へ埋め込むことは可能か？
• RQ4 gl_{N+1} Gaudin模型における幾何的ラングランズ対応は、マスターファンクションの臨界集合上の関数代数を自然に含む形で拡張可能か？
• RQ5 マスターファンクションの臨界点における局所環の正確な代数的構造は何か？ また、Bethe代数とはどのように関係しているか？

主な発見

• 埋め込み α: AΦ → Sing LΛ[λ^{(∞)}] の像におけるBethe代数の作用は、AΦ の正則表現と同型である。
• 写像 α: AΦ → Sing LΛ[λ^{(∞)}] は単射であり、異なる臨界点に対応するBetheベクトルが線形独立であることが証明される。
• 任意の臨界点 p に対して、Betheベクトル ω(p) は非零である。これにより、Betheアンザッツの構成における非退化性が確認される。
• 同型 β: AΦ → AB により、α(AΦ) 上におけるBethe代数の作用が AΦ の正則表現と一致し、標準的な同型が確立される。
• 代数 AB は各臨界点 p_s における局所代数 A_{p_s,B} の直和と同型であり、α(AΦ) は部分加群 M_{p_s} の直和に分解される。
• A_{p,Φ} 上のトレース形式 (·,·)_p は非退化であり、ヘッセ要素 H_p がトレース形式を生成する。これにより、同型を確立するための双対性構造が保証される。