[논문 리뷰] Meromorphic Projective Structures, Opers and Monodromy

Titouan Sérandour|arXiv (Cornell University)|2023. 09. 05.

Geometric and Algebraic TopologyMathematics인용 수 3

한 줄 요약

이 논문은 1975년 헤지알의 복소 프로젝티브 구조에 대한 단일성 사상 결과를 고정된 잔여 유형을 가진 유리형 프로젝티브 구조로 일반화한다. 매끄러운 유리형 오퍼와 특이 리카티 분할을 구성하고, 등단일성 변형과 에르헤스만의 횡단성 원리를 사용하여, 이제 스토크스 데이터를 포함한 단일성 사상이 국소적으로 복소해석적 미분동형사상임을 증명한다. 이는 고전적인 미분동형사상 결과를 유리형 설정으로 확장한다.

ABSTRACT

The complex projective structures considered is this article are compact curves locally modeled on $\mathbb{CP}^1$. To such a geometric object, modulo marked isomorphism, the monodromy map associates an algebraic one: a representation of its fundamental group into $\operatorname{PGL}(2,\mathbb{C})$, modulo conjugacy. This correspondence is neither surjective nor injective. Nonetheless, it is a local diffeomorphism [Hejhal, 1975]. We generalize this theorem to projective structures admitting poles (without apparent singularity and with fixed residues): the corresponding monodromy map (including Stokes data) is a local biholomorphism.

연구 동기 및 목표

• 홀로모르픽에서 유리형 프로젝티브 구조로 단일성 사상이 국소 미분동형사상임을 보인 헤지알의 고전적 결과를 확장한다.
• 고정된 잔여 유형을 가진 유리형 프로젝티브 구조에 대해 스토크스 데이터를 단일성 대응에 통합한다.
• 고정된 극을 가진 유리형 프로젝티브 구조의 모듈리 공간과 스토크스 데이터를 가진 표현의 모듈리 공간 사이에 국소 복소해석적 미분동형사상을 확립한다.
• 유리형 프로젝티브 구조의 맥락에서 비정칙 특이점에 대해 리만-힐베르트 대응을 일반화한다.
• 오퍼와 리카티 분할을 통한 기하적 프레임워크를 제공하여 비정칙 특이점 존재 시 단일성 사상의 이해를 돕는다.

제안 방법

• 최소 브레드럴 모델을 통해 명백한 특이점이 없는 유리형 프로젝티브 구조와 관련된 매끄러운 PGL(2,C)-오퍼의 가 Families를 구성한다.
• 고정된 형식적 자료를 가진 특이 리카티 분할의 모듈리 공간을 정의하고, 등단일성 변형과의 호환성과 매끄러움을 보장한다.
• 프로젝트 공간의 곱 위에서 특이 리카티 분할의 보편 해석적 가 Families를 사용하여 국소적으로 등단일성 변형을 모델링한다.
• 프로젝티브 구조의 모듈리 공간을 리카티 분할의 모듈리 공간에 통합하는 데 있어 에르헤스만의 횡단성 원리를 적용하여 단일성 섬유와의 횡단성을 확보한다.
• 해석적 가 Families의 보편 성질을 활용하여 오퍼와 분할의 가 Families에 대해 국소적 단사 사상을 유도한다.
• 도메인의 불변성과 출발점과 도착점의 동일한 복소 차원을 활용하여 단일성 사상이 국소 복소해석적 미분동형사상임을 결론짓는다.

Figure 1: If the $\varphi_{ij}:=\varphi_{i}\circ\varphi_{j}^{-1}$ denote the change of coordinate charts of $P$ as well as the associated Möbius transformations, then the monodromy along the loop $\gamma$ covered by the charts $U_{0},\dots,U_{n}$ is obtained by composition of the $\varphi_{ij}$ : $\

실험 결과

연구 질문

• RQ1 PGL(2,C)-표현의 모듈리 공간에 속하는 표현이 고정된 극 잔여 유형을 가진 유리형 프로젝티브 구조의 단일성으로서 나타나는 조건은 무엇인가?
• RQ2 유리형 프로젝티브 구조의 모듈리 공간에서 스토크스 데이터를 가진 표현의 모듈리 공간으로 가는 단일성 사상은 국소 복소해석적 미분동형사상인가?
• RQ3 등단일성 변형과 비정칙 리만-힐베르트 대응은 유리형 오퍼와 리카티 분할의 맥락에서 어떻게 상호작용하는가?
• RQ4 스토크스 데이터를 포함할 경우, 유리형 프로젝티브 구조에 대해 단일성 사상이 국소적으로 단사가 될 수 있는가?
• RQ5 고정된 특이점을 가진 유리형 프로젝티브 구조의 모듈리 공간의 기하적 구조는 무엇이며, 표현 다양체와 어떻게 관련되어 있는가?

주요 결과

• 고정된 극 잔여 유형을 가진 유리형 프로젝티브 구조의 모듈리 공간에서 스토크스 데이터를 가진 PGL(2,C)-표현의 모듈리 공간으로 가는 단일성 사상은 국소 복소해석적 미분동형사상이다.
• 매끄러운 유리형 오퍼의 가 Families 구성은 관련된 리카티 분할이 등단일성 변형과 일관되게 매끄럽게 변함을 보장한다.
• 프로젝티브 구조의 모듈리 공간을 리카티 분할의 모듈리 공간에 통합하는 것은 단일성 사상의 섬유와 횡단적이며, 국소 단사성을 보장한다.
• 유리형 프로젝티브 구조의 모듈리 공간의 차원은 스토크스 데이터를 가진 표현 공간의 차원과 일치하여 복소해석적 미분동형사상 결론을 뒷받침한다.
• 등단일성 변형과 에르헤스만의 횡단성 원리를 활용하면 단사성 문제를 국소 미분기하학적 추론으로 환원할 수 있다.
• 결과는 헤지알의 1975년 C∞-미분동형사상 결과를 이제 스토크스 데이터를 포함한 유리형 케이스로 확장하여 복소해석적 범주에서 일반화한다.

Figure 2: The surface $\mathbb{S}_{P}$ with marked points $\mathbb{M}_{P}$ .