[论文解读] 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. Shapiro猜想，表明若一组多项式的Wronskian仅具有实根，则这些多项式的复线性张成空间存在一组实多项式基。证明方法基于Gaudin模型中的Bethe Ansatz，利用欧氏空间上对称算子具有实谱的性质，建立了可积系统与实代数几何之间的深刻联系。

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. Shapiro猜想，即若一个多项式子空间的Wronskian仅具有实根，则该子空间必由实多项式张成。
• 建立一个几何推论：若复射影平面$\mathbb{C}\mathbb{P}^r$中一条有理曲线的所有分支点位于黎曼球面上的一个圆周上，则该曲线将此圆周映射到一个实射影子空间$\mathbb{R}\mathbb{P}^r$。
• 将Gaudin模型中主函数临界点的实性与相应多项式组的实性联系起来。
• 证明对于$A_r$、$B_r$和$C_r$型李代数，在实参数条件下，主函数的临界点可产生实多项式解。

提出的方法

• 在Gaudin模型中使用Bethe Ansatz方法，构造与主函数临界点相关的Gaudin哈密顿算子的本征向量（Bethe向量）。
• 分析多项式子空间$V$的基本微分算子，证明其核为$V$，且其系数为实数当且仅当$V$为实子空间。
• 证明$V$的基的Wronskian是一个多项式，其根通过猜想决定了$V$的实性。
• 应用对称线性算子在欧氏空间上的谱定理，证明实谱蕴含实本征向量，这是Bethe向量实性的基础。
• 从主函数的临界点$\boldsymbol{t}$构造微分算子$D_{\boldsymbol{t}}$，证明其奇点为正则奇点，且其指标由权和参数决定。
• 通过Wronskian和首一多项式基，从$D_{\boldsymbol{t}}$的核重构多项式组$\boldsymbol{y}^\boldsymbol{t}$，将代数数据与几何对象联系起来。

实验结果

研究问题

• RQ1 在何种条件下，一个Wronskian仅具有实根的多项式子空间会存在一组实多项式基？
• RQ2 复射影平面$\mathbb{C}\mathbb{P}^r$中一条有理曲线的分支点的实性如何影响其在黎曼球面上的圆周的像？
• RQ3 当参数$\boldsymbol{z}$为实数时，Gaudin模型中主函数的临界点是否在复共轭下保持不变？
• RQ4 对于哪些李代数，实参数$\boldsymbol{z}$能保证对应的Bethe向量生成实多项式组？
• RQ5 格拉斯曼流形中Schubert循环的横截相交与Gaudin哈密顿算子谱的简洁性之间存在何种关系？

主要发现

• B.和M. Shapiro猜想被证明：若多项式子空间$V \subset \mathbb{C}[x]$的维数为$r+1$，且其Wronskian仅具有实根，则$V$存在一组实多项式基。
• 几何推论成立：若一条有理曲线$\phi: \mathbb{C}\mathbb{P}^1 \to \mathbb{C}\mathbb{P}^r$的所有分支点位于一个圆周上，则$\phi$将该圆周映射到一个实射影子空间$\mathbb{R}\mathbb{P}^r$。
• 在Gaudin模型中，Bethe Ansatz构造的微分算子$D_{\boldsymbol{t}}$的核为多项式空间$V_{\boldsymbol{t}}$，当$\boldsymbol{z}$为实数时，相应的多项式组$\boldsymbol{y}^\boldsymbol{t}$为实多项式。
• 对于$A_r$、$B_r$和$C_r$型李代数，在实参数$\boldsymbol{z}$条件下，主函数临界点产生实多项式组的猜想已得证明。
• Gaudin哈密顿算子的谱为简洁当且仅当格拉斯曼流形中某些Schubert循环横截相交，此结果在附录A中建立。
• 微分算子$D_{\boldsymbol{t}}$的核是$r+1$维多项式空间，且相应的$\boldsymbol{y}^\boldsymbol{t}$组可由该核的首一基的Wronskian唯一重构。