[논문 리뷰] On commuting ordinary differential operators with polynomial coefficients corresponding to spectral curves of genus two

V. N. Davletshina, Andrey E. Mironov|arXiv (Cornell University)|2016. 06. 04.

Advanced Algebra and Geometry참고 문헌 4인용 수 3

한 줄 요약

이 논문은 종수 2 스펙트럴 곡선에 대응하는 다항계수를 가진 교환 가능한 상미분연산자들의 새로운 가족을 구성하며, 일반적인 계수에 대해 첫 번째 와일 대수의 자동형사상군 작용 하에서 궤도의 집합이 무한하다는 것을 증명한다. 이 구성은 특정한 4차 연산자 $ L_4^{\flat} $ 와 그 고차수 동반자 $ L_{10}^{\flat} $ 를 사용하며, 여섯 개의 매개변수에 의존하는 계수를 가지며, $ \mathbb{C}^6 $ 에서 계수 공간 $ \mathbb{C}^5 $ 로의 주도적 사상(dominant morphism)을 통해 궤도의 무한성을 입증한다.

ABSTRACT

The group of automorphisms of the first Weyl algebra acts on commuting ordinary differential operators with polynomial coefficient. In this paper we prove that for fixed generic spectral curve of genus two the set of orbits is infinite.

연구 동기 및 목표

• 다항계수를 가진 교환 가능한 미분연산자 방정정식의 해들에 대한 $ \mathrm{Aut}(A_1) $ 작용 하에서 궤도의 구조를 조사하는 것.
• 종수 2의 일반적인 스펙트럴 곡선에 대해 궤도 집합이 유한한지 무한한지 결정하는 것.
• 첫 번째 와일 대수 내에서 종수 2의 초타원곡선 스펙트럴 곡선 방정식을 만족하는 명시적이고 단순한 교환 가능한 미분연산자 가족을 구성하는 것.
• 스펙트럴 곡선의 종수에 따라 궤도의 유한성에 대한 베레스트의 추측을 뒷받침하는 증거를 제공하는 것.

제안 방법

• 여섯 개의 복소수 매개변수 $ \alpha_i $ 에 의존하는 변수 계수를 가진 4차 미분연산자 $ L_4^{\flat} $ 를 구성하는 것.
• 직접 대수적 계산을 통해 $ L_4^{\flat} $ 와 교환 가능한 10차 연산자 $ L_{10}^{\flat} $ 를 명시적으로 계산하는 것.
• 계수 $ c_i $ 가 $ \alpha_i $ 의 다항함수인 스펙트럴 곡선 방정식 $ Y^2 = X^5 + c_4X^4 + \cdots + c_0 $ 을 유도하는 것.
• $ \mathbb{C}^6 \to \mathbb{C}^5 $ 사상으로서 매개변수 $ \alpha_i $ 를 계수 $ c_i $ 로 매핑하는 사상을 수립하고, 일반적인 점에서 그 미분이 전사임을 증명하는 것.
• 사상의 주도성(dominance)을 이용하여 일반적인 $ c_i $ 에 대해 1-매개변수 가족의 해가 존재함을 도출하는 것.
• 자동형사상이 매개변수 공간에 작용하는 방식을 분석하여, 이 가족에 속한 연산자들이 서로 다른 $ \mathrm{Aut}(A_1) $-궤도에 속해 있음을 보이는 것.

실험 결과

연구 질문

• RQ1 스펙트럴 곡선 $ Y^2 = X^5 + c_4X^4 + \cdots + c_0 $ 이 종수 2를 가지는 일반적인 경우에 대해 $ \mathrm{Aut}(A_1) $-궤도 집합은 유한한가 무한한가?
• RQ2 첫 번째 와일 대수 내에서 이러한 스펙트럴 곡선을 실현하는 명시적이고 단순한 교환 가능한 미분연산자 가족을 구성할 수 있는가?
• RQ3 1-매개변수 가족의 해가 존재한다는 것은 와일 대수 자동형사상군 작용 하에서 무한히 많은 서로 다른 궤도가 존재한다는 것을 의미하는가?
• RQ4 자기수반 연산자에 사용된 방법들을 비자기수반 케이스로 확장할 수 있는가, 교환 가능한 미분연산자의 맥락에서?

주요 결과

• $ g = 2 $ 인 경우, 모든 복소수 $ \alpha_i $ 에 대해 연산자 $ L_4^{\flat} = \left( (\alpha_1 x^2 + 1)\partial_x^2 + (\alpha_2 x + \alpha_3)\partial_x + \alpha_4 x + \alpha_5 \right)^2 + \alpha_1 \alpha_4 g(g+1)x + \alpha_6 $ 는 10차 연산자 $ L_{10}^{\flat} $ 와 교환된다.
• 쌍 $ (L_4^{\flat}, L_{10}^{\flat}) $ 는 계수 $ c_i $ 가 $ \alpha_i $ 의 다항함수로 표현되는 스펙트럴 곡선 방정식 $ Y^2 = X^5 + c_4X^4 + \cdots + c_0 $ 을 만족한다.
• $ \mathbb{C}^6 \to \mathbb{C}^5 $ 사상으로서 $ \alpha_i \mapsto c_i $ 는 일반적인 점에서 그 미분이 전사이므로 주도적(dominant)이다.
• 일반적인 $ c_i $ 에 대해 해 공간에는 1-매개변수 가족의 연산자가 포함되어 있으며, 이는 $ \mathrm{Aut}(A_1) $-궤도가 무한히 많음을 시사한다.
• 구성된 가족은 종수 2 곡선에 대응하는 다항계수를 가진 비자기수반 교환 가능한 연산자에 대해 알려진 유일한 단순한 예이다.
• 저자들은 $ L_4^{\flat} $ 가 모든 $ g $ 에 대해 순서 $ 4g+2 $ 인 연산자와 교환된다고 추측한다. 이는 $ g=2 $ 를 넘어서도 구성이 확장된다는 것을 의미한다.