[논문 리뷰] Finite braid group orbits in Aff(C)-character varieties of the punctured sphere

Gaël Cousin, Delphine Moussard|arXiv (Cornell University)|2016. 04. 14.

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

한 줄 요약

이 논문은 $n \geq 4$ 개의 구멍이 있는 리만 구면의 $\mathrm{Aff}(\mathbb{C})$-표현 다양체에서 유한 브레인 군 궤도의 완전한 분류를 제공한다. 이는 융합과 유한 복소 반사군을 이용한 것이다. 주요 결과는 어떤 선형 단일 회전 부분이 유한 궤도를 유도하는지 정확히 규명하며, Garnier 시스템의 대수적 해와 $F_D$-형 라우리켈라 초함수 사이의 새로운 특성화를 이끌어낸다.

ABSTRACT

We give a complete description of finite braid group orbits in Aff(C)-character varieties of the punctured Riemann sphere. This is performed thanks to a coalescence procedure and to the theory of finite complex reflection groups. We then derive consequences in the theory of differential equations. These concern algebraicity of isomonodromic deformations for reducible rank two logarithmic connections on the sphere, the Riemann-Hilbert problem and F_D-type Lauricella hypergeometric functions.

연구 동기 및 목표

• 모든 순수 브레인 군 작용이 $n \geq 4$ 개의 구멍이 있는 리만 구면의 $\mathrm{Aff}(\mathbb{C})$-표현 다양체에 대해 유한 궤도를 가지는 경우를 분류하는 것.
• 유한 브레인 군 궤도와 $\mathbb{CP}^1$ 상에서 랭크 2의 분해 가능 로그 연결성의 대수적 등단일 변형 간의 연관성을 설정하는 것.
• 단일 회전 군의 유한성에 기반해 Garnier 시스템과 $F_D$-형 라우리켈라 초함수의 대수적 해에 대한 새로운 특성화를 도출하는 것.
• 표현 다양체와 그 $\mathbb{C}\mathbb{P}^2$ 및 $\mathbb{C}\mathbb{P}^3$ 상의 동역학적 행동을 고려하여, 유한 복소 반사군 $G_{25}$와 $G_{32}$에 대한 체계적 연구를 제공하는 것.
• Schlesinger 변형에서 유도된 평탄한 접속과 $F_D$-초함수를 묘사하는 접속 사이의 코어루션을 보여주며, Schwarz의 목록을 복구하고 보완하는 것.

제안 방법

• 4개의 구멍에서 시작하여 $n$개의 구멍이 있는 경우를 더 낮은 $n$으로 줄이기 위해 융합 절차를 사용하는 것.
• 아핀 표현의 선형 부분으로 매개화된 선형 역학으로 브레인 군 작용을 줄이는 것. 이때 선형 성분을 고정한다.
• Shephard-Todd의 유한 복소 반사군 분류를 적용하여 $G_{25}$와 $G_{32}$에 대해 $\mathbb{C}\mathbb{P}^2$ 및 $\mathbb{C}\mathbb{P}^3$ 상의 궤도의 유한성 분석을 수행하는 것.
• 평탄한 접속 $d_\theta$를 $F_D$-초함수 시스템으로 코어루션하기 위한 상수 행렬 $G = K + L + M$을 구성하는 것. $K$, $L$, $M$에 대한 명시적 공식을 제공한다.
• 공식 $\det(G) = (-1)^{N+1}\theta_1(\alpha\theta_{N+1})^N$을 사용하여 코어루션을 검증하고 단일 회전의 유한성을 분석하는 것.
• Schlesinger 시스템과 $F_D$-초함수 시스템 간의 사영적 단일 회전 대응을 통해 Schwarz 유형 조건을 복구하는 것.

실험 결과

연구 질문

• RQ1 구멍이 $n$ 개인 리만 구면의 기본군에 대한 $\mathrm{Aff}(\mathbb{C})$-표현에서 어떤 선형 단일 회전 부분이 브레인 군 궤도를 유한하게 만드는가?
• RQ2 융합 절차는 $n > 4$에서의 유한 궤도 분류를 어떻게 $n=4$로 줄일 수 있는가?
• RQ3 $F_D$-초함수의 유한 분岐와 표현 다양체에서 브레인 군 궤도의 유한성 사이의 정확한 대응은 무엇인가?
• RQ4 Schlesinger 접속과 $F_D$-초함수 시스템 간의 코어루션은 어떻게 $F_D$-시스템에 대한 Schwarz의 목록을 새롭게 유도하는가?
• RQ5 $F_D$-초함수의 분지가 유한해지는 조건은 파라미터 $\alpha, \beta_1, \ldots, \beta_N, \gamma$에 대해 어떤가? 이는 단일 회전의 유한성과 어떻게 관련되는가?

주요 결과

• $n=4$일 때, 선형 부분이 $\mathrm{GL}_2(\mathbb{C})$의 유한부분군을 생성할 경우에만 브레인 군 궤도가 유한해지며, 이는 Schwarz에 의해 분류된 바가 있다.
• 융합 방법을 통해 $n \geq 4$에 대해 모든 유한 궤도를 완전히 분류할 수 있으며, 이는 $n=4$의 경우로 환원하고 이후로는 끝없이 유한한 선형 군만 분석하면 된다.
• $\mathbb{C}\mathbb{P}^2$와 $\mathbb{C}\mathbb{P}^3$ 상에서 각각 $G_{25}$와 $G_{32}$에 대해 유한 궤도가 완전히 분류되어 있다.
• 논문은 Schlesinger 변형에서 유도된 평탄한 접속과 $F_D$-초함수 시스템을 연결하는 명시적 코어루션 행렬 $G = K + L + M$을 제공하며, $\det(G) = (-1)^{N+1}\theta_1(\alpha\theta_{N+1})^N$임을 보여준다.
• 정리 6.3.1은 $N > 1$일 때, $F_D$-초함수의 분지가 유한한 것은 다음 조건과 동치임을 증명한다: (a) $N=2$이고 네 개의 $\theta_i$가 $\mathbb{Z}$ 모듈로 $\pm\frac{1}{6}$임, 또는 (b) $N=3$이고 여섯 개의 $\theta_i$가 모두 $\mathbb{Z}$ 모듈로 $\pm\frac{1}{6}$임.
• 이 연구는 기존의 $F_D$-초함수에 대한 Schwarz의 목록을 복구하고 보완하였으며, 분해 가능 케이스의 이동 부분과 궤도 구조에 대한 추가 데이터를 제공한다.