[논문 리뷰] A theory of dormant opers on pointed stable curves -- a proof of Joshi's conjecture

Yasuhiro Wakabayashi|arXiv (Cornell University)|2014. 11. 05.

Algebraic Geometry and Number Theory참고 문헌 47인용 수 16

한 줄 요약

이 논문은 정수 계수에서의 지정된 안정 곡선 위의 특수한 접속인 침묵하는 opers에 대한 종합적인 이론을 수립한다. 이는 주요 군, 로그 연결, 모듈리 공간을 통합한다. Gromov-Witten 불변량을 이용해 Quot-스키마의 불변량을 통해 일반적인 침묵하는 $\mathrm{sl}_n$-opers의 수를 계산함으로써 조시의 추측을 증명하며, $p$-진 테이히뮐러 이론과 특성 $p$에서의 수세기 기하학 사이의 깊은 연관성을 드러낸다. 주요 결과는 루트의 합으로 표현된 모듈리 공간의 차수에 대한 명시적 공식으로, Vafa-Intriligator 유형의 불변량과 관련되어 있다.

ABSTRACT

This manuscript presents a detailed and original account of the theory of opers defined on pointed stable curves in arbitrary characteristic and their moduli. In particular, it includes the development of the study of dormant opers, which are opers of a certain sort in positive characteristic. The theory of dormant opers (or more generally, opers in positive characteristic) on pointed stable curves, which has proved to be rather rich and deep, was born in the work of S. Mochizuki, who developed the theory for $\mathfrak{sl}_2$-opers and used it to establish $p$-adic Teichmüller theory. Some parts of Mochizuki's work were later extended in the case of proper smooth curves by K. Joshi, C. Pauly, and other mathematicians. This manuscript represents an advance in the theory of opers that takes the subject beyond the work of Mochizuki, Joshi, and Pauly. In particular, we provide general unified formulations and the basics of principal bundles and connections defined on families of pointed stable curves. The notion of an oper is accordingly introduced in the context of logarithmic algebraic geometry. Some of the results can be regarded as generalizations of results obtained in the fundamental work on the geometric Langlands program developed by A. Beilinson and V. Drinfeld. We also describe various properties and assertions about (dormant) opers, such as duality, comparison with differential operators, and compactification of the moduli space. Our goal is to give an explicit formula, conjectured by Joshi, for the generic number of dormant $\mathfrak{sl}_n$-opers. We do so by obtaining a detailed understanding of the moduli space of dormant opers and computing the Gromov-Witten invariants for Quot-schemes in characteristic zero. This formula reveals an interaction between studies in $p$-adic Teichmüller theory and certain areas of mathematics, including Gromov-Witten theory.

연구 동기 및 목표

• 임의의 특성에서 지정된 안정 곡선 위의 opers, 특히 침묵하는 opers에 대한 통합 이론을 개발하는 것.
• 모치즈키와 조시–파울리의 $p$-진 테이히뮐러 이론 연구를 고차원 리 대수와 임의의 지정된 안정 곡선으로 일반화하는 것.
• 특성 $p$에서 종수 $g$의 일반 곡선 위에서 침묵하는 $\mathrm{sl}_n$-opers의 일반적인 수를 조시의 추측에 따라 계산하는 것.
• 특성 0에서의 Quot-스키마의 Gromov-Witten 불변량과 침묵하는 opers의 모듈리 공간 사이의 정확한 연결 고리를 확립하는 것.
• 양의 특성에서 opers의 융합 규칙과 대칭성의 기하학적 및 대수적 기초를 제공하는 것.

제안 방법

• 지정된 안정 곡선의 가족 위에서 로그 대수기하학과 $\hbar$-평탄 연결을 통해 opers를 형식화하는 것.
• Hitchin-Mochizuki 사상과 $p$-곡률 소멸 조건을 이용해 $(g, \hbar)$-opers의 개념과 그 모듈리 공간을 도입하는 것.
• 특성 0에서의 Quot-스키마 이론을 활용해 침묵하는 opers의 모듈리 공간의 차수를 결정하는 Gromov-Witten 불변량을 계산하는 것.
• 변형 이론과 코homological 기법을 적용해 침묵하는 opers의 무한소 변형을 분석하고, 모듈리 스택의 일반적 에탈리티를 증명하는 것.
• 가짜 융합 링 구조를 통해 직교와 심플렉틱 리 대수에 대한 opers 간의 대칭성을 수립하는 것.
• Vafa-Intriligator 공식을 활용해 루트의 단위근과 베르누이 수를 포함하는 잔여 계산으로 문제를 축소하는 것.

실험 결과

연구 질문

• RQ1 특성 $p$에서 종수 $g$의 일반적인 지정된 안정 곡선 위에서 침묵하는 $\mathrm{sl}_n$-opers의 일반적인 수는 무엇인가?
• RQ2 침묵하는 opers의 모듈리 공간은 특성 0에서의 Quot-스키마의 Gromov-Witten 불변량과 어떻게 관련이 있는가?
• RQ3 침묵하는 opers의 모듈리 스택의 기하학적 및 대수적 구조는 무엇이며, 곡선의 모듈리 공간 위에서 일반적으로 에탈리아은가?
• RQ4 특성 양에서 opers의 대칭성과 융합 규칙은 특히 고전적 리 대수에서 어떻게 나타나는가?
• RQ5 Vafa-Intriligator 공식은 잔여 이론적 방법을 통해 침묵하는 opers의 모듈리 공간의 차수를 계산하는 데 적응할 수 있는가?

주요 결과

• 특성 $p$에서 종수 $g$의 일반 곡선 위에서 침묵하는 $\mathrm{sl}_n$-opers의 일반적인 수는 $p$-단위근의 $n$-튜플(서로 다른 원소)에 대한 합으로 주어지며, 이는 $p^{(n-1)(g-1)-1}/n!$ 곱하기 루트의 단위근에 대한 대칭 유리함수와 같다.
• 특성 $n=3$일 때, 차수 $d_{3,g} = \deg(\mathcal{M}_{\mathrm{dorm}, \mathrm{sl}_3}^g)$ 는 $p$에 대한 차수 $2g-2$의 다항식이며, $g=6$까지 명시적으로 계산되었다.
• 침묵하는 $\mathrm{sl}_n$-opers의 모듈리 공간의 차수 공식은 특성 0에서 $\overline{\mathcal{M}}_{g,0}$ 위의 $\mathrm{Quot}_{n,0}^\Theta$에 대한 Vafa-Intriligator 공식과 정확히 일치한다.
• 침묵하는 opers의 모듈리 스택은 곡선의 모듈리 공간 위에서 일반적으로 에탈리아서, 이는 수의 유한성과 계산 가능성의 증명에 핵심적인 단계이다.
• 직교 $\mathrm{so}_{2l+1}$과 심플렉틱 $\mathrm{sp}_{2m}$ opers 간의 대칭성은 그들의 모듈리 공간 간의 동형사상으로 이어지며, 고전적 표현 이론의 대칭성을 일반화한다.
• 차수 계산은 $\sin(\pi \theta / p)$ 항을 포함하는 다변수 잔여 계산으로 축소되며, 이는 $\cot(\pi \theta / p)$의 로랑 전개와 베르누이 수와 관련되어 있다.