[논문 리뷰] The Riemann-Hilbert mapping for $\\mathfrak{sl}_2$ -systems over genus two curves

Gabriel Calsamiglia, Bertrand Deroin외 2명|arXiv (Cornell University)|2016. 02. 06.

Algebraic Geometry and Number Theory참고 문헌 7인용 수 8

한 줄 요약

이 논문은 두 가지의 독립적인 분석적이고 기하학적 접근법을 사용하여, 종수 2 리만 곡면 위의 기약 $σ\mathfrak{sl}_2$-계열에서 $σ\mathrm{SL}_2$-표현 다양체로의 리만-힐베르트 단일화 지도가 국소 미분동형임을 증명한다. 이 결과는 고종수에서는 성립하지 않으며, 이는 해석적 접속과 단일화 표현의 기하학에서 종수 2가 특별한 역할을 한다는 것을 강조한다.

ABSTRACT

We prove in two different ways that the monodromy map from the space of irreducible $\\mathfrak{sl}_2$-differential-systems on genus two Riemann surfaces, towards the character variety of $\\mathrm{SL}_2$-representations of the fundamental group, is a local diffeomorphism. This is motivated by a question raised by \\'Etienne Ghys about Margulis' problem: existence of curves of negative Euler characteristic in compact quotients of $\\mathrm{SL}_2(\\mathbb{C})$.

연구 동기 및 목표

• 기본 수체 2인 리만 곡면 위의 기약 $σ\mathfrak{sl}_2$-미분계열에서 $σ\mathrm{SL}_2$-표현 다양체로의 단일화 지도의 국소적 행동을 규명하는 것.
• 에티enn 라스가 제기한 질문, 즉 $σ\mathrm{SL}_2(\mathbb{C})$ 몫에서 음의 오일러 지표를 가진 곡선의 존재 문제를 단일화 표현을 통해 해결하는 것.
• 종수 2를 초월한 경우 단일화 지도가 국소 미분동형이 아니라는 것을 보여주며, 종수 2가 임계적인 경우임을 규명하는 것.
• 해석적 $σ\mathfrak{sl}_2$-계열, 사영 기하학, 표현의 모듈리 공간 기하학 사이의 연결 고리를 설정하는 것.

제안 방법

• 각 기약 $σ\mathfrak{sl}_2$-계열에 대해 그 단일화 표현을 $σ\mathrm{SL}_2(\mathbb{C})$-표현 다양체에 대응시켜 리만-힐베르트 단일화 지도 $σ\mathrm{Mon}: \mathrm{Syst}^{\text{irr}} \to \Xi^{\text{irr}}$를 구성하는 것.
• 기본 해의 해석적 계속을 통해 $A \in \mathfrak{sl}_2(\Omega^1(X))$에 대응하는 단일화 표현 $\rho_A$를 정의하는 것.
• 두 가지 다른 방법을 적용: 하나는 분지된 사영 기하학의 변형 이론과 해석적 가족의 개발 함수에 기반하고, 다른 하나는 보편 곡선 번들의 기하학과 해석적 평탄화에 기반하는 것.
• 분지된 사영 기하학의 개발 함수가 샤우르지안 도함수를 통해 유리형 2차 미분형식을 유도하며, 이가 기저 곡선으로 내림내림된다는 사실을 활용하는 것.
• 표현의 기저 위에서의 피브레이션의 국소 해석적 평탄성을 이용하여 국소 모델을 붙여 전체적인 해석적 변형을 구성하는 것.
• 비공轭 표현이 서로 다른 단일화 계열을 유도하고, 개발 함수가 섬유 위에서 단사임을 보여 단일화 지도의 단사성을 증명하는 것.

실험 결과

연구 질문

• RQ1 기본 수체 2인 리만 곡면 위의 기약 $σ\mathfrak{sl}_2$-계열에 대해 리만-힐베르트 단일화 지도가 국소 미분동형인지 여쭤보는 것.
• RQ2 단일화 지도가 고종수에서도 여전히 국소 미분동형인지, 아니면 위상적 이유로 실패하는지 여쭤보는 것.
• RQ3 기본 수체 2 곡선 위의 해석적 $σ\mathfrak{sl}_2$-계열을 사용하여 곡선에서 $σ\mathrm{SL}_2(\mathbb{C})$의 컴acts 몫으로의 해석적 사상들을 구성할 수 있는지 여쭤보는 것.
• RQ4 샤우르지안 도함수는 기본 수체 2 곡선 위의 분지된 사영 기하학의 변형을 특징짓는 데 어떤 역할을 하는지 여쭤보는 것.
• RQ5 쌍 $(X, \alpha)$의 등주기 변형이 기약 케이스에서 비자명한 단일화를 유지하는 변형의 존재와 어떻게 관련되어 있는지 여쭤보는 것.

주요 결과

• 기본 수체 2 리만 곡면에 대해 리만-힐베르트 단일화 지도 $σ\mathrm{Mon}: \mathrm{Syst}^{\text{irr}} \to \Xi^{\text{irr}}$는 국소 미분동형이다.
• 종수 $g \geq 3$에서는 단일화 지도가 국소 미분동형이 아니며, 분지 덮개를 통해 종수 2 곡선의 시스템을 옮겨서 명시적인 반례를 구성한 바 있다.
• 단일화 지도가 국소 미분동형이 되기 위해서는 기약성이 필수적이다. 대각 및 니트렌트 시스템은 비자명한 등단일화 변형을 갖는다.
• 계열의 단일화 계열은 게이지 변환 $A \mapsto MAM^{-1}$에 대해 불변하므로, $\mathrm{Syst}$ 정의에서 $\mathrm{SL}_2(\mathbb{C})$에 대한 몫을 취하는 것이 정당화된다.
• $\mathrm{Syst}^{\text{irr}}$와 $\Xi^{\text{irr}}$는 모두 복소 해석적 다양체이며, 차원은 $6g - 6$이며, 종수 2일 경우 6이다.
• 분지된 사영 기하학의 모듈리 공간 $\mathcal{M}_k$의 점들이 분리되는 것은 해석적 가정에서 샤우르지안 도함수의 극한이 유일하기 때문이며, 이는 $\mathcal{M}_k$가 하우스도르프임을 의미한다.