[논문 리뷰] The B. and M. Shapiro conjecture in real algebraic geometry and the Bethe ansatz

E. Mukhin, V. Tarasov외 1명|ArXiv.org|2005. 12. 14.

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.

연구 동기 및 목표

• 와이언스키안이 모두 실근을 가지는 다항식 부분공간이 실계수 다항식들로 이루어진 기저를 가진다는 것을 증명하는 것.
• 기하학적 결과를 도출하는 것: 만약 복소 프로젝티브 공간 $\mathbb{C}\mathbb{P}^r$ 안의 유리곡선의 모든 분기점이 리만 구면의 원 위에 있다면, 그 곡선은 그 원을 실프로젝티브 부분공간 $\mathbb{R}\mathbb{P}^r$로 매핑한다.
• 가우딘 모델에서 마스터 함수의 임계점의 실성과 관련된 다항식 튜플의 실성 간의 연결 고리 설정.
• Lie 대수의 유형 $A_r$, $B_r$, $C_r$에 대해, 매개변수 $\boldsymbol{z}$가 실수일 때 마스터 함수의 임계점이 실계수 다항식 해를 유도함을 보이는 것.

제안 방법

• 마스터 함수의 임계점에 관련된 가우딘 해밀토니안의 고유벡터(베테 벡터)를 구성하기 위해 가우딘 모델에서 베테 앤티츠 방법을 사용한다.
• 다항식 부분공간 $V$의 기본 미분연산자를 분석하여, 그 핵이 $V$임을 보이고, $V$가 실수일 때와 오직 그 때에만 그 계수들이 실수임을 증명한다.
• 다항식 기저의 와이언스키안이 실근을 가지는 것은 추측을 통해 $V$의 실성 여부를 결정함을 확립한다.
• 유클리드 공간 위의 대칭 선형 연산자에 대한 스펙트럼 정리를 적용하여 실스펙트럼이 실고유벡터를 유도함을 증명하며, 이는 베테 벡터의 실성에 기초가 된다.
• 마스터 함수의 임계점 $\boldsymbol{t}$로부터 미분연산자 $D_{\boldsymbol{t}}$를 구성하여, 그 특이점이 정상적이고 지수들이 무게와 매개변수에 의해 결정됨을 보인다.
• 와이언스키안과 상위 다항식 기저를 사용하여 $D_{\boldsymbol{t}}$의 핵으로부터 다항식 튜플 $\boldsymbol{y}^\boldsymbol{t}$를 재구성함으로써, 대수적 자료와 기하적 대상 간의 연결 고리를 맺는다.

실험 결과

연구 질문

• RQ1 다항식 부분공간의 와이언스키안이 모두 실근을 가질 때, 어떤 조건에서 실계수 다항식들의 기저를 가질 수 있는가?
• RQ2 복소프로젝티브 공간 $\mathbb{C}\mathbb{P}^r$ 안의 유리곡선의 분기점들이 모두 원 위에 있을 경우, 리만 구면의 원의 이미지는 어떻게 영향을 받는가?
• RQ3 매개변수 $\boldsymbol{z}$가 실수일 때, 가우딘 모델의 마스터 함수의 임계점은 복소수 켤리함수에 대해 불변인가?
• RQ4 어떤 Lie 대수에서 매개변수 $\boldsymbol{z}$가 실수일 때, 관련된 베테 벡터가 실계수 다항식 튜플을 유도하는가?
• RQ5 그라스만만에서의 색세르 사이클의 횡단 교차와 가우딘 해밀토니안의 스펙트럼의 단순성 간의 관계는 무엇인가?

주요 결과

• B.와 M. 샤피로의 추측이 증명됨: $\mathbb{C}[x]$ 안의 다항식 부분공간 $V$의 차원이 $r+1$이고, 그 와이언스키안이 모두 실근을 가진다면, $V$는 실계수 다항식들의 기저를 가진다.
• 기하학적 결과가 도출됨: 만약 $\mathbb{C}\mathbb{P}^1 \to \mathbb{C}\mathbb{P}^r$인 유리곡선 $\phi$의 모든 분기점이 원 위에 있다면, $\phi$는 그 원을 실프로젝티브 부분공간 $\mathbb{R}\mathbb{P}^r$로 매핑한다.
• 가우딘 모델에서의 베테 앤티츠 구성은 $D_{\boldsymbol{t}}$라는 미분연산자를 유도하며, 그 핵은 다항식 공간 $V_{\boldsymbol{t}}$이고, 매개변수 $\boldsymbol{z}$가 실수일 때 관련된 다항식 튜플 $\boldsymbol{y}^\boldsymbol{t}$는 실수이다.
• Lie 대수의 유형 $A_r$, $B_r$, $C_r$에 대해, 매개변수 $\boldsymbol{z}$가 실수일 때 마스터 함수의 임계점이 실계수 다항식 튜플을 유도한다는 추측이 증명됨.
• 가우딘 해밀토니안의 스펙트럼이 단순한 것은 특정 색세르 사이클이 그라스만만에서 횡단으로 교차할 때에 한하여 성립하며, 이 결과는 부록 A에서 증명됨.
• $D_{\boldsymbol{t}}$의 핵은 다항식의 $(r+1)$차원 공간이며, 이 핵의 상위 기저의 와이언스키안으로부터 유일하게 $\boldsymbol{y}^\boldsymbol{t}$ 튜플을 복원할 수 있다.