[논문 리뷰] Normal forms for rank two linear irregular differential equations and moduli spaces

Karamoko Diarra, Frank Loray|arXiv (Cornell University)|2019. 07. 17.

Nonlinear Waves and Solitons참고 문헌 23인용 수 4

한 줄 요약

이 논문은 리만 구면 위의 랭크 두 개의 비정칙 유리형 연결에 대해, 잠재적 특이점과 바이르코프-그로텐디크 분해를 고정시킴으로써 고유한 정규형을 수립한다. 이 연결의 모듈리 공간의 열린 부분집합을 히르체브루흐 표면의 블로우업 위의 점들의 힐베르트 스킴의 열린 부분집합과 동일시한다. 이는 이전의 로그 형태 결과를 일반화하며, 등모노드롬 변형 시스템과 호환되는 심플렉틱 구조를 제공한다.

ABSTRACT

We provide a unique normal form for rank two irregular connections on the Riemann sphere.In fact, we provide a birational model where we introduce apparent singular points and where the bundlehas a fixed Birkhoff-Grothendieck decomposition. The essential poles and the apparent poles provide twoparabolic structures. The first one only depend on the formal type of the singular points. The latter one determine the connection (accessory parameters). As a consequence, an open set of the corresponding moduli space of connections is canonically identified with an open set of some Hilbert scheme of points on the explicit blow-up of some Hirzebruch surface. This generalizes to the irregular case a description dueto Oblezin, and Saito-Szabo in the logarithmic case. This approach is also very close to the work of Dubrovin-Mazzocco with the cyclic vector.

연구 동기 및 목표

• P^1 위의 랭크 두 개 비정칙 연결의 모듈리 공간에 대한 명시적 비유리 모델을 구성하는 것.
• 이러한 연결의 모듈리 공간을 히르체브루흐 표면의 블로우업 위의 점들의 힐베르트 스킴의 열린 부분집합과 동일시하는 것.
• 등모노드롬 변형과 호환되는 모듈리 공간 위의 심플렉틱 구조를 수립하는 것.
• 이전의 Szabó와 Oblezin의 로그 형태 결과를 비정칙 경우로 일반화하는 것.
• 형식적 불변량(필수 극점)과 보조 매개변수(잠재적 극점)를 분리하는 표준 정규형을 제공하는 것.

제안 방법

• 특이점을 제거하기 위해 잠재적 특이점을 추가함으로써 특이점을 해결하는 비유리 변환을 도입하고, 배럴의 바이르코프-그로텐디크 분해를 고정한다.
• 두 개의 파라보릭 구조를 정의한다: 하나는 형식적 유형(필수 극점)에서 유래하고, 다른 하나는 연결에서 유래한다(잠재적 극점), 이는 보조 매개변수를 포함한다.
• 모듈리 공간 M_μ^Λ에서 힐베르트 스킴 Hilb^{n−3}(Ω_D)로의 비유리 사상 Φ를 구성한다. 여기서 Ω_D는 Ω^1_{P^1}(D) 선다발의 전체 공간이다.
• 코탄제인 벡터 필드 Ω_0 위의 리우빌 심플렉틱 형식을 사용하여 Hilb^{n−3}(Ω_D)의 열린 부분집합 위로 심플렉틱 구조를 끌어내고, 이것이 M_μ^Λ 위의 자연스러운 심플렉틱 형식으로 끌어올려진다는 것을 보인다.
• 연결을 스칼라 두 번째 차수 미분방정식으로 변환하기 위해 동반 행렬 정규화를 적용하여 문헌에서 알려진 심플렉틱 형식과의 비교를 가능하게 한다.
• 모듈리 공간 위의 심플렉틱 형식 ω = ∑ dp_j ∧ dq_j 가 문헌(예: [12], [4], [20])에서 알려진 형식과 명시적 좌표 비교를 통해 일치한다는 것을 검증한다.

실험 결과

연구 질문

• RQ1 P^1 위의 랭크 두 개 비정칙 연결에 대해, 형식적 불변량과 보조 매개변수를 분리하는 고유한 정규형을 구성할 수 있는가?
• RQ2 이러한 연결의 모듈리 공간은 히르체브루흐 표면의 블로우업 위의 점들의 힐베르트 스킴과 비유리적으로 동치인가?
• RQ3 모듈리 공간 위의 심플렉틱 구조는 비유리 사상 Φ를 통해 리우빌 형식의 끌어올림과 일치하는가?
• RQ4 정규형은 알려진 스칼라 방정정식과 로그 형태의 심플렉틱 구조와 어떻게 관련이 있는가?
• RQ5 Komyo의 후속 연구에 의해 확인된 것처럼, 이 정규형을 사용하여 등모노드롬 해밀턴 시스템을 구성할 수 있는가?

주요 결과

• μ-안정인 Λ-연결의 모듈리 공간 M_μ^Λ는 힐베르트 스킴 Hilb^{n−3}(Ω_D)로의 비유리 사상 Φ를 갖는다. 여기서 n = deg(D).
• M_μ^Λ 위의 심플렉틱 구조는 Φ를 통해 심플렉틱 형식 ∑_{j=1}^{n−3} dp_j ∧ dq_j 로 끌어올려지며, 문헌에서 알려진 형식과 일치한다.
• Φ는 Komyo [13]에 의해 확인된 바와 같이 심플렉틱이며, 푸크시안의 경우와 비정칙의 경우 최대 5개의 극점까지 명시적으로 검증되었다.
• 정규형은 형식적 자료(필수 극점)와 보조 매개변수(잠재적 극점)를 분리하며, 후자는 연결을 유일하게 결정한다.
• 이러한 구성은 이전의 Szabó와 Oblezin의 결과를 로그 형태에서 비정칙 형태로 일반화한다.
• 정규형과 관련된 스칼라 미분방정식은 Okamoto와 Kimura의 연구에서 알려진 형태와 일치하여 심플렉틱 구조의 일관성을 확인한다.