[논문 리뷰] The Kodaira dimensions of $\overline{\mathcal{M}}_{22}$ and $\overline{\mathcal{M}}_{23}$

Gavril Farkas, David Jensen외 1명|arXiv (Cornell University)|2020. 05. 01.

Algebraic Geometry and Number Theory참고 문헌 58인용 수 10

한 줄 요약

이 논문은 선형 계열의 2차 관계를 가진 랭크 6의 선형 계열에서 가상의 디바이저 클래스를 이용하고, 새로운 토폴로지적 기법을 개발하여 기울기가 $\frac{13}{2}$ 이하인 효과적 디바이저를 구성함으로써, $\overline{\mathcal{M}}_{22}$와 $\overline{\mathcal{M}}_{23}$의 기하학적 종류 성격을 증명한다. 이는 $\overline{\mathcal{M}}_g$의 코다이라 차원 분류에서 오랫동안 미해결이었던 경우를 해결하며, $g \geq 24$일 때 이전에 얻어진 결과들을 확장한다. 주요 결과는 $\overline{\mathcal{M}}_{22}$와 $\overline{\mathcal{M}}_{23}$가 기하학적 종류임을 확인함으로써, 모듈리 이론 분야의 주요 미해결 문제를 해결한다.

ABSTRACT

We prove that the moduli spaces of curves of genus 22 and 23 are of general type. To do this, we calculate certain virtual divisor classes of small slope associated to linear series of rank 6 with quadric relations. We then develop new tropical methods for studying linear series and independence of quadrics and show that these virtual classes are represented by effective divisors.

연구 동기 및 목표

• 모듈리 곡선 공간의 분류에서 미해결이었던 $\overline{\mathcal{M}}_{22}$와 $\overline{\mathcal{M}}_{23}$의 코다이라 차원을 해결하기 위해.
• 기하학적 종류임을 증명하기 위해 $\overline{\mathcal{M}}_{22}$와 $\overline{\mathcal{M}}_{23}$에 기울기가 작은 효과적 디바이저를 구성하기 위해.
• 선형 계열의 고차원 위치에서 유도된 가상 디바이저 클래스를 고차원 위치로 일반화하여, 교차 이론과 전이성 문제에 직면한 과제를 극복하기 위해.
• 사슬 모양의 루프 위에서 선형 계열과 2차형식의 독립성을 분석하기 위한 새로운 토폴로지적 기법을 개발하여, 가상 클래스의 효과성을 증명하기 위해.
• 가상의 분리 위치 클래스의 투영이 효과적임을 입증하고, 그 기울기가 $\frac{13}{2}$ 이하임을 확인하여 기하학적 종류 성격을 확인하기 위해.

제안 방법

• 선형 계열의 곱셈 사상 $\phi_L: \mathrm{Sym}^2 H^0(X,L) \to H^0(X,L^{\otimes 2})$의 분리 위치를 통해 가상 디바이저 클래스를 구성한다. 여기서 $L \in W^6_{g+3}(X)$이다.
• 쌍 $[X,L]$의 공간에서 분리 위치의 기대 차원 수 $g - 20$을 이용하여, $\overline{\mathcal{M}}_g$에서 차원 1 이미지가 예상됨을 유도한다.
• 사슬 모양의 루프 위에서 선형 계열을 연구하기 위해 토폴로지 기하학을 적용하고, 기울기 수열과 허용 가능한 함수를 사용하여 2차형식의 독립성을 검증한다.
• 루프와 다리에 대해 허용 가능한 함수를 할당하는 템플릿 알고리즘을 개발하여, $\mathcal{B} = \{\varphi_{i,j} \mid 0 \leq i \leq j \leq 6\}$의 28개 기저 함수가 모두 고려됨을 보장한다.
• 분리 위치 $Z$가 그 이미지 위로 일반적으로 유한한 사상임을 증명함으로써, 가상 클래스가 효과적 디바이저로 투영됨을 유도한다.
• $h^0(X,L) = 7$, $h^1(X,L) = 3$, $\dim \mathrm{Sym}^2 H^0(X,L) = 28$를 사용하여 기대 차원과 가상 디바이저의 기울기를 계산한다.

실험 결과

연구 질문

• RQ1 모듈리 공간 $\overline{\mathcal{M}}_{22}$와 $\overline{\mathcal{M}}_{23}$는 기하학적 종류인가? 이는 $\overline{\mathcal{M}}_g$의 코다이라 차원 분류에서 오랫동안 미해결이었던 문제를 해결한다.
• RQ2 고차원 위치에서 유도된 가상 디바이저 클래스가 $\overline{\mathcal{M}}_g$에서 효과적임을 입증할 수 있는가?
• RQ3 토양 기하학적 방법을 사용하여, 랭크 6의 특수한 선형 계열을 가진 곡선에서 선형 계열의 2차형식의 독립성을 검증할 수 있는가?
• RQ4 기울기 $g = 22$와 $g = 23$에 대해 곱셈 사상 $\phi_L$의 분리 위치에서 유도된 가상 디바이저 클래스의 기울기는 얼마인가?
• RQ5 분리 위치의 가상 클래스의 투영이 기울기가 $\frac{13}{2}$ 이하인 효과적 디바이저를 생성하는가? 이는 기하학적 종류 성격을 확인한다.

주요 결과

• 모듈리 공간 $\overline{\mathcal{M}}_{22}$와 $\overline{\mathcal{M}}_{23}$는 기하학적 종류이며, $\overline{\mathcal{M}}_g$의 코다이라 차원 분류에서 오랫동안 미해결이었던 경우를 해결한다.
• 곱셈 사상 $\phi_L$의 분리 위치에 관련된 가상 디바이저 클래스는 기울기가 $\frac{13}{2}$ 이하이며, 이는 캐논ical 디바이저의 기울기와 같다. 이는 기하학적 종류 성격을 확인한다.
• 28개의 기저 함수가 2차형식 공간에 속해 있음을 확인하는 데 새로운 토폴로지 알고리즘을 사용하여 가상 클래스의 효과성을 입증하였다.
• 이전의 슬로프 추측에 대한 반례를 일반화하여, 기울기가 작은 디바이저의 수열을 $g = 22$와 $g = 23$까지 확장하였다.
• 전이성과 교차 이론의 과제를 토폴로지적 기법을 통해 극복하여, 분리 위치가 $\overline{\mathcal{M}}_g$의 이미지 위로 일반적으로 유한한 사상임을 검증하였다.
• 기하학적 종류 성격을 입증하기 위해, $\mathbb{P}^6$로의 $g+3$차 사상의 이미지가 2차형식에 포함되는 곡선의 위치가 $\overline{\mathcal{M}}_{22}$와 $\overline{\mathcal{M}}_{23}$에 기울기가 작은 효과적 디바이저를 정의함을 증명하였다.