[논문 리뷰] Triangular Schlesinger systems and superelliptic curves

Vladimir Dragović, Renat Gontsov외 1명|arXiv (Cornell University)|2018. 12. 23.

Advanced Differential Equations and Dynamical Systems인용 수 1

한 줄 요약

이 논문은 고유값이 등차수열을 이루는 삼각형 슈레스링거 시스템과 초타원형 리만 곡면 위의 유리형 미분형식의 주기 사이의 연결 고리를 설정한다. 대수기하학을 통해 명시적 해를 유도함으로써 슈레스링거 시스템에 다항식 및 유리함수 해를 얻고, 편미분 방정식 PVI에 대해 일차 매개변수 유족을 구성하며, 특정 가르니에 시스템에 대해 대수적 해를 도출한다. 특히 $w^m = \prod (z - a_i)$ 형태의 곡선에서 잔여치 계산을 통해 이루어진다. 주요 기여는 초타원형 곡선 주기와 단일성 고려를 활용한 체계적 해 구축이다.

ABSTRACT

We study the Schlesinger system of partial differential equations in the case when the unknown matrices of arbitrary size $(p imes p)$ are triangular and the eigenvalues of each matrix form an arithmetic progression with a rational difference $q$, the same for all matrices. We show that such a system possesses a family of solutions expressed via periods of meromorphic differentials on the Riemann surfaces of superelliptic curves. We determine the values of the difference $q$, for which our solutions lead to explicit polynomial or rational solutions of the Schlesinger system. As an application of the $(2 imes2)$-case, we obtain explicit sequences of rational solutions and one-parameter families of rational solutions of Painlev\'e VI equations. Using similar methods, we provide algebraic solutions of particular Garnier systems.

연구 동기 및 목표

• 유리수 차이 $q = n/m$ 를 가진 등차수열을 이루는 고유값을 가진 상삼각형 슈레스링거 시스템을 연구한다.
• 초타원형 리만 곡면 $w^m = \prod_{i=1}^N (z - a_i)$ 위의 유리형 미분형식 주기를 사용하여 슈레스링거 시스템의 명시적 해를 구성한다.
• $q$ 의 값 중 다항식 또는 유리함수 해를 갖는 경우를 식별하여 명시적 매개변수화를 가능하게 한다.
• 결과를 적용하여 편미분 방정식 PVI에 대해 유리함수 해와 일차 매개변수 유족을 생성한다.
• 초타원형 곡선 위에서 잔여치 기반 구조를 사용하여, 특정 이변수 가르니에 시스템에 대해 대수적 해를 구축하는 프레임워크를 확장한다.

제안 방법

• 초타원형 곡선 $\hat{\Gamma}_a = \{(z,w) \in \mathbb{C}^2 \mid w^m = \prod_{i=1}^N (z - a_i)\}$ 위의 유리형 미분형식 주기를 사용하여 슈레스링거 시스템의 해를 유도한다.
• 리만-로흐 정리와 잔여치 계산을 활용하여 $\Omega_i = \frac{dz}{w(z - a_i)}$ 와 같은 미분형식으로부터 선형 독립 해를 계산한다.
• 등단일변형 변형 이론과 말랑주의 $\tau$-함수를 적용하여 시스템의 일致성과 적분 가능성을 확보한다.
• $N=3$, $p=2$, $q = \pm 1/2$ 로 특수화하여 편미분 방정식 PVI의 유리함수 해를 구성하며, 타원곡선 위의 피카르-프류크 방정식과 연결한다.
• 잔여치 벡터를 조합하고 계수에 대한 다항식 조건을 풀어 이변수 가르니에 시스템에 대해 두 매개변수 유족의 대수적 해를 구성한다.
• 오카모토의 비라시오널 변환과 단일성 분류를 활용하여 해의 대수적 성격을 해석한다.

실험 결과

연구 질문

• RQ1 유리수 값 $q = n/m$ 중에서 초타원형 곡선 주기를 통해 삼각형 슈레스링거 시스템이 다항식 또는 유리함수 해를 갖는 경우는 언제인가?
• RQ2 행렬 해 $B(i)$ 의 성분은 초타원형 곡선 위의 유리형 미분형식 주기로 어떻게 명시적으로 표현될 수 있는가?
• RQ3 $q = \pm 1/2$ 인 $2 \times 2$ 삼각형 슈레스링거 시스템으로부터 유도된 편미분 방정식 PVI의 유리함수 해의 구조는 어떠한가?
• RQ4 이러한 시스템으로부터 편미분 방정식 PVI의 일차 매개변수 유족의 유리함수 해를 체계적으로 구성할 수 있는가?
• RQ5 이변수 가르니에 시스템의 대수적 해는 어떤 조건에서 삼각형 슈레스링거 등단일변형 가족으로부터 유도되는가?

주요 결과

• 논문은 초타원형 곡선 $w^m = \prod_{i=1}^N (z - a_i)$ 위의 유리형 미분형식 주기를 사용하여 삼각형 슈레스링거 시스템의 명시적 해를 구성하며, 행렬 성분 $b_{kl}^i(a)$ 는 이러한 주기의 선형 조합으로 표현된다.
• $q = \pm 1/2$ 인 경우, $N=3$ 과 $p=2$ 로 특수화함으로써 편미분 방정식 PVI의 유리함수 해를 포함한 일차 매개변수 유족을 도출한다.
• $p=2$, $N=3$, $q = \pm 1/2$ 인 경우, 해가 타원곡선 $v^2 = u(u-1)(u-x)$ 위의 $du/v$ 의 주기와 대응됨을 보이며, 고전적 피카르-프류크 방정식을 복원한다.
• $2 \times 2$ 경우, 논문은 편미분 방정식 PVI의 명시적 유리함수 해와 일차 매개변수 유족의 유리함수 해를 도출하며, $\Omega_i = dz/(w(z - a_i))$ 의 잔여치를 통한 행렬 성분의 명시적 표현을 제공한다.
• 이 방법은 잔여치 벡터 세 개를 조합하고 $z$ 에 대한 자유 매개변수 $c_1, c_2$ 를 가진 이차 다항식을 구성함으로써, 가르니에 시스템 $G_2(\varepsilon_1, \varepsilon_2, \varepsilon_3, \varepsilon_4, 3)$ 에 대해 두 매개변수 유족의 대수적 해를 도출한다. 이로 인해 대수적 함수 $u_1, u_2$ 가 유도된다.
• 해의 단일성은 아벨 군과 일致하며, 알려진 분류 결과와 일致하며, 특정 가르니에 시스템에 대해 명시적 대수적 해를 제공한다. 이는 $M=2$, $n=-1$, $M$ 이 짝수인 경우를 포함한다.