[논문 리뷰] Hamiltonian structures of isomonodromic deformations on moduli spaces of parabolic connections

Arata Komyo|arXiv (Cornell University)|2016. 11. 11.

Algebraic Geometry and Number Theory참고 문헌 23인용 수 3

한 줄 요약

이 논문은 파라볼릭 접속의 모듈리 공간에 대해, 모듈리 공간의 아핀 열개를 도입하고 각 열개 집합에서 해밀토니안 함수를 정의하여, 등단조형 변형에 대한 해밀토니안 구조를 구축한다. 핵심 결과는 등단조형 변형 벡터장을 해밀토니안 시스템으로 표현하는, 섬세한 심플렉틱 형식이며, 페인레베 방정식에 대한 기존 결과를 일반화하고 미분 갈루아 이론에서 비자기 해밀토니안 시스템의 기하학적 프레임워크를 제공한다.

ABSTRACT

In this paper, we treat moduli spaces of parabolic connections. We take étale coverings of the moduli spaces, and we construct a Hamiltonian structure of an algebraic vector field determined by the isomonodromic deformation for each étale morphism.

연구 동기 및 목표

• 파라볼릭 접속의 모듈리 공간에서의 등단조형 변형에 대한 해밀토니안 기술을 제공한다.
• 페인레베 VI 및 관련 해밀토니안 시스템에 대한 기존 결과를 일반적인 파라볼릭 접속으로 확장한다.
• 변형 벡터장을 해밀토니안 흐름으로 표현하는 상대 모듈리 공간에 심플렉틱 구조를 확립한다.
• 모듈리 공간의 아핀 열개 부분집합에서 국소 해밀토니안 함수를 정의하여 국소 해밀토니안 역학을 가능하게 한다.

제안 방법

• 파라볼릭 접속의 $ {\boldsymbol{\alpha}} $-안정성 조건을 만족하는 대상들을 매개변수화하는 상대 미세 모듈리 스킴 $ M_{{\mathcal{C}}/T}^{{\boldsymbol{\alpha}}}(\tilde{{\mathbb{t}}},r,d) \to T \times N^{(n)}_r(d) $ 를 구축한다.
• 시간 매개변수의 기저 위에서, $ M_{{\mathcal{C}}/T}^{{\boldsymbol{\alpha}}}(\bar{{\mathbb{t}}},r,d)_{{\boldsymbol{\nu}}} \to T $ 의 섬세한 열개인 아핀 열개 $ \{M_i\} $ 를 도입한다.
• 각 섬세한 열개에서 심플렉틱인 2형식 $ \omega $ 를 모듈리 공간에 정의하며, 그 핵은 등단조형 변형 벡터장과 정확히 일치한다.
• 코다이라-스펜서 클래스와 복합체 $ {\mathcal{F}}^\bullet $ 의 초공학수를 이용하여 각 $ M_i $ 에서 해밀토니안 함수 $ H_k $ 를 구성한다.
• 초공학수 $ \mathbb{H}^1({\mathcal{G}}^{\bullet}_M) $ 에서 대수적 다르부 좌표 $ \partial/\partial q_i, \partial/\partial p_i $ 가 존재한다고 가정하여 국소 해밀토니안 기술을 가능하게 한다.
• 등단조형 벡터장을 $ v_{\hat{\mu}_k} = \sum_i \left( dH_k(\partial/\partial p_i) \frac{\partial}{\partial q_i} - dH_k(\partial/\partial q_i) \frac{\partial}{\partial p_i} \right) $ 로 유도하여, 변형의 해밀토니안 성격을 확인한다.

실험 결과

연구 질문

• RQ1 파라볼릭 접속의 모듈리 공간에서의 등단조형 변형 벡터장은 국소적으로 해밀토니안 벡터장으로 표현될 수 있는가?
• RQ2 상대 모듈리 공간에 어떤 심플렉틱 구조를 구성할 수 있으며, 이는 변형 흐름과 호환되는가?
• RQ3 초공학수는 변형 벡터장 기술과 해밀토니안 기술을 가능하게 하는 데 어떤 역할을 하는가?
• RQ4 모듈리 공간의 아핀 열개 부분집합에서 국소 해밀토니안 함수를 정의할 수 있는 조건은 무엇인가?
• RQ5 파라볼릭 접속의 모듈리에 의한 페인레베 유형 해밀토니안 시스템은 기하학적으로 실현 가능한가?

주요 결과

• 모듈리 공간 $ M_{{\mathcal{C}}/T}^{{\boldsymbol{\alpha}}}(\tilde{{\mathbb{t}}},r,d)_{{\boldsymbol{\nu}}} \to T $ 는 섬세한 심플렉틱 형식 $ \omega $ 를 지닌다. 이때 $ \mathrm{Ker}(\omega) $ 는 정확히 등단조형 변형 벡터장과 일치한다.
• 각 아핀 열개 부분집합 $ M_i $ 에서 국소 해밀토니안 함수 $ H_k $ 를 통해 해밀토니안 구조를 구성하며, 이는 변형을 해밀토니안 흐름으로 실현한다.
• 등단조형 벡터장은 $ v_{\hat{\mu}_k} = \sum_i \left( dH_k(\partial/\partial p_i) \frac{\partial}{\partial q_i} - dH_k(\partial/\partial q_i) \frac{\partial}{\partial p_i} \right) $ 로 표현되며, 이는 변형의 해밀토니안 성격을 확인한다.
• 이 구성은 복합체 $ {\mathcal{F}}^\bullet $ 의 초공학수에 의존하며, 이는 변형 데이터를 코호몰로지 클래스와 연결함으로써 벡터장을 식별하는 데 기여한다.
• 논문은 $ \mathbb{H}^1({\mathcal{G}}^{\bullet}_M) $ 에서 대수적 다르부 좌표 $ \partial/\partial q_i, \partial/\partial p_i $ 가 존재한다고 가정하며, 이 가정이 성립한다면 완전한 국소 해밀토니안 기술이 가능하다.
• 결과는 기존 페인레베 VI에 대한 해밀토니안 구조를 일반화하며, 모듈리 이론에서 비자기 해밀토니안 시스템의 기하학적 프레임워크를 제공한다.