[論文レビュー] The B. and M. Shapiro conjecture in real algebraic geometry and the Bethe ansatz

E. Mukhin, V. Tarasov+1 more|ArXiv.org|Dec 14, 2005

Polynomial and algebraic computation参考文献 18被引用数 16

ひとこと要約

この論文は、実代数幾何におけるB.およびM.シャピロ予想を証明し、多項式の集合のロンスキアンがすべて実数の根を持つならば、その複素数スパンが実数多項式の基底を持つことを示している。証明は、ゲーディン模型におけるベーテのアンザッツ法を用い、ユークリッド空間上の対称作用素が実スペクトルを持つという事実を活用し、可積分系と実代数幾何の間に深い関係を確立している。

ABSTRACT

We prove the B. and M. Shapiro conjecture that says that if the Wronskian of a set of polynomials has real roots only, then the complex span of this set of polynomials has a basis consisting of polynomials with real coefficients. This in particular implies the following result: If all ramification points of a parametrized rational curve $ f : CP^1 o CP^r $ lie on a circle in the Riemann sphere $ CP^1 $, then $f$ maps this circle into a suitable real subspace $ RP^r \subset CP^r $. The proof is based on the Bethe ansatz method in the Gaudin model. The key observation is that a symmetric linear operator on a Euclidean space has a real spectrum. In Appendix we discuss properties of differential operators associated with Bethe vectors in the Gaudin model and, in particular, prove a conditional statement: we deduce the transversality of certain Schubert cycles in a Grassmannian from the simplicity of the spectrum of the Gaudin Hamiltonians.

研究の動機と目的

• ロンスキアンがすべて実数の根を持つ多項式部分空間が、実数多項式によって張られるべきであるというB.およびM.シャピロ予想を証明すること。
• 幾何的帰結を確立すること：複比空間 $\mathbb{C}\mathbb{P}^r$ 内の有理曲線のすべての分岐点がリーマン球面上の円周上にあるならば、その曲線はその円周を実射影部分空間 $\mathbb{R}\mathbb{P}^r$ に写す。
• ゲーディン模型におけるマスターファンクションの臨界点の実数性と、それに関連する多項式族の実数性の関係を確立すること。
• Lie代数の型 $A_r$、$B_r$、$C_r$ に対して、パrameter $\boldsymbol{z}$ が実数であるとき、マスターファンクションの臨界点が実数多項式解をもたらすことを示すこと。

提案手法

• マスターファンクションの臨界点に関連するゲーディンハミルトニアンの固有ベクトル（ベーテベクトル）を、ゲーディン模型におけるベーテのアンザッツ法を用いて構成する。
• 多項式部分空間 $V$ の基本微分作用素を分析し、その核が $V$ に一致することを示し、$V$ が実数であるための必要十分条件としてその係数が実数であることであることを示す。
• 部分空間 $V$ の基底のロンスキアンが、予想により $V$ の実数性を決定する多項式であることを確立する。
• ユークリッド空間上の線形対称作用素のスペクトル定理を適用し、実スペクトルが実固有ベクトルをもたらすことを証明し、これがベーテベクトルの実数性の根拠となる。
• マスターファンクションの臨界点 $\boldsymbol{t}$ から微分作用素 $D_{oldsymbol{t}}$ を構成し、その特異点が正則であり、指数が重みとパrameterによって決定されることを示す。
• Wronskianとモニック多項式基底を用いて、微分作用素 $D_{\boldsymbol{t}}$ の核から多項式族 $\boldsymbol{y}^\boldsymbol{t}$ を再構成し、代数的データと幾何的対象を結びつける。

実験結果

リサーチクエスチョン

• RQ1 ロンスキアンがすべて実数の根を持つ多項式部分空間が、実数多項式の基底を持つための条件は何か？
• RQ2 複比空間 $\mathbb{C}\mathbb{P}^r$ 内の有理曲線の分岐点がすべて実数の円周上にあるとき、リーマン球面上の円周の像はどのように影響を受けるか？
• RQ3 パrameter $\boldsymbol{z}$ が実数であるとき、ゲーディン模型におけるマスターファンクションの臨界点は、複素共役に関して不変か？
• RQ4 どのLie代数に対して、パrameter $\boldsymbol{z}$ が実数であることから、関連するベーテベクトルが実数多項式族をもたらすか？
• RQ5 グラスマン多様体におけるシューベル・サイクルの横断的交わりと、ゲーディンハミルトニアンのスペクトルの単純性との関係は何か？

主な発見

• B.およびM.シャピロ予想が証明された：多項式部分空間 $V \subset \mathbb{C}[x]$ が次元 $r+1$ を持ち、そのロンスキアンがすべて実数の根を持つならば、$V$ は実数多項式の基底を持つ。
• 幾何的帰結が成立する：有理曲線 $\phi: \mathbb{C}\mathbb{P}^1 \to \mathbb{C}\mathbb{P}^r$ のすべての分岐点が円周上にあるならば、$\phi$ はその円周を実射影部分空間 $\mathbb{R}\mathbb{P}^r$ に写す。
• ゲーディン模型におけるベーテのアンザッツ構成により、微分作用素 $D_{\boldsymbol{t}}$ が得られ、その核は多項式空間 $V_{\boldsymbol{t}}$ であり、パrameter $\boldsymbol{z}$ が実数であるとき、関連する多項式族 $\boldsymbol{y}^\boldsymbol{t}$ は実数である。
• Lie代数の型 $A_r$、$B_r$、$C_r$ に対して、パrameter $\boldsymbol{z}$ が実数であるとき、マスターファンクションの臨界点が実数多項式族をもたらすという予想が証明された。
• ゲーディンハミルトニアンのスペクトルが単純であるための必要十分条件は、あるシューベル・サイクルがグラスマン多様体で横断的に交わることである。この結果は付録Aで確立された。
• 微分作用素 $D_{\boldsymbol{t}}$ の核は $r+1$ 次元の多項式空間であり、関連する $\boldsymbol{y}^\boldsymbol{t}$ はその核のモニック基底のロンスキアンから一意に復元可能である。