[논문 리뷰] An affine open covering of $\mathcal{M}_g$ for $g \le 5$

Claudio Fontanari, Stefano Pascolutti|arXiv (Cornell University)|2011. 03. 14.

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

한 줄 요약

이 논문은 $2 \leq g \leq 5$ 인 모든 $g$ 에 대해, 종수 $g$ 의 매끄러운 곡선의 모듈리 공간 $\sigma\mathcal{M}_g$ 가 $g-1$ 개의 아핀 열린 부분집합의 합집합임을 증명한다. 이는 Looijenga 의 추측을 확인하는 것이다. 증명은 모듈라 형식과 테타 특성치를 사용하며, Satake 컴actsification $\mathcal{A}_g^*$ 에서 테타 상수와 2차 구조를 연결한 모듈라 형식의 영점의 위치를 통해 명시적인 아핀 열린 덮개를 구성한다. 핵심 결과는 $g=4$ 와 $g=5$ 에 대한 이러한 덮개의 구성으로, 이는 $g=2,3$ 에 대한 기존 결과를 확장한다. 방법론은 Satake 컴actsification 내의 특정 디바이저가 낮은 종수 곡선의 주기의 곱을 포함함을 보여, 그 여집합이 아phin 임을 보장한다.

ABSTRACT

We prove that the moduli space $\mathcal{M}_g$ of smooth curves of genus $g$ is the union of $g-1$ affine open subsets for every $g$ with $2 \le g \le 5$, as predicted by an intriguing conjecture of Eduard Looijenga.

연구 동기 및 목표

• Looijenga 의 추측을 증명하는 것: $2 \leq g \leq 5$ 에 대해 $\mathcal{M}_g$ 가 $g-1$ 개의 아핀 열린 부분집합의 합집합임을 입증한다.
• $g=2,3$ 에 대한 기존 결과를 모듈라 형식과 테타 특성치를 사용하여 $g=4,5$ 로 확장하는 것.
• Satake 컴actsification $\mathcal{A}_g^*$ 에서 모듈라 형식의 영점의 위치를 통해 $\mathcal{M}_g$ 의 명시적 아핀 열린 덮개를 구성하는 것.
• $\mathcal{M}_g$ 의 특정 디바이저의 여집합이 아phin 임을 보이기 위해, 그 폐쇄가 낮은 종수 곡선의 주기의 곱을 포함함을 확인하는 것.
• $\mathcal{M}_g$ 에서 핵심 디바이저들의 교집합이 공집합임을 확립하여 열린 덮개 조건이 성립함을 보장하는 것.

제안 방법

• 주로 평탄한 편의를 가진 아벨 다양체의 모듈리 공간의 Satake 컴actsification $\mathcal{A}_g^* = \operatorname{Proj}(A(\Gamma))$ 를 사용한다.
• $\mathcal{M}_4$ 에서 세 개의 핵심 디바이저 $\Theta_{\text{null}}$, $D_1$, $D_H$ 를 정의하며, 그 여집합이 아핀 열린 집합의 후보가 된다.
• $g=5$ 에서는 추가로 디바이저 $D_T$ 를 포함하여 열린 덮개를 구성하며, $D_H$ 와 $D_T$ 는 각각 모듈라 형식 $F_H$ 와 $F_T$ 의 영점에 의해 정의된다.
• 보조정리 1 을 적용하여, 각 디바이저의 여집합이 아phin 임을 보이기 위해, 그 폐쇄가 매끄럽고 노드가 있는 곡선의 주기의 곱을 포함함을 보여준다.
• 블록 대각형 주기 행렬에서 테타 상수의 분할 성질을 활용하여, 이러한 곱 위에서 영이 되는 테타 상수의 수를 계산한다.
• 레마 3 을 활용하여, 만약 어떤 곱 주기 위에서 $v(g)$ 보다 더 많은 짝수 테타 상수가 영이 된다면, 모듈라 형식 $F_H$ 또는 $F_T$ 가 영이 되며, 이는 주기가 디바이저의 폐쇄에 속해 있음을 의미한다.

실험 결과

연구 질문

• RQ1 Looijenga 의 추측에 따르면 $g=4$ 와 $g=5$ 에서 $\mathcal{M}_g$ 는 $g-1$ 개의 아핀 열린 부분집합의 합집합이 될 수 있는가?
• RQ2 특정 모듈라 형식 $F_H$ 와 $F_T$ 의 영점의 위치가 $\mathcal{A}_g[2]$ 에서 정의하는 디바이저가 $\mathcal{M}_g$ 에서 여집합이 아phin 임을 보장하는가?
• RQ3 $\Theta_{\text{null}}$, $D_1$, $D_H$ (또는 $D_T$) 의 교집합이 $\mathcal{M}_g$ 에서 공집합인가? 이는 열린 덮개 조건이 성립함을 보장한다.
• RQ4 $\mathcal{A}_g^*$ 에서 $D_H$ 의 폐쇄가 모든 낮은 종수 곡선의 주기 곱을 포함하는가?
• RQ5 주기 행렬의 곱 위에서 영이 되는 짝수 테타 상수의 수를 사용하여, 어떤 점에서 모듈라 형식이 영이 되는지 확인할 수 있는가?

주요 결과

• $g=4$ 에서 $\mathcal{M}_4$ 는 세 개의 아핀 열린 부분집합의 합집합이다: $\mathcal{M}_4 \setminus \Theta_{\text{null}}$, $\mathcal{M}_4 \setminus D_1$, $\mathcal{M}_4 \setminus D_H$ 이며, $D_H$ 는 모듈라 형식 $F_H$ 의 영점에 의해 정의된다.
• $g=5$ 에서 $\mathcal{M}_5$ 는 네 개의 아phin 열린 부분집합의 합집합이다: $\mathcal{M}_5 \setminus \Theta_{\text{null}}$, $\mathcal{M}_5 \setminus D_1$, $\mathcal{M}_5 \setminus D_H$, $\mathcal{M}_5 \setminus D_T$ 이며, $D_T$ 는 모듈라 형식 $F_T$ 의 영점에 의해 정의된다.
• $\mathcal{A}_4^*$ 에서 $D_H$ 의 폐쇄는 종수 2와 2 또는 종수 1과 3인 매끄럽고 노드가 있는 곡선의 주기 곱을 모두 포함한다. 이는 $v(4)=10$ 보다 더 많은 짝수 테타 상수가 이러한 점에서 영이 되기 때문이다.
• $\mathcal{A}_5^*$ 에서 $D_H$ 의 폐쇄는 종수의 합이 5인 형태 $\operatorname{diag}(\tau_1, \tau_2)$ 의 주기 행렬 위에서 $v(5)=66$ 보다 더 많은 짝수 테타 상수가 영이 되기 때문에, 모든 이러한 주기 곱을 포함한다.
• $\mathcal{M}_4$ 에서 $\Theta_{\text{null}} \cap D_1 \cap D_H$ 는 공집합이며, $\mathcal{M}_5$ 에서 $\Theta_{\text{null}} \cap D_1 \cap D_T \cap D_H$ 도 공집합이다. 이는 열린 덮개 조건이 성립함을 보장한다.
• $\mathcal{M}_g \setminus D_H$ 와 $\mathcal{M}_g \setminus D_T$ 는 아phin 임을 보장한다. 왜냐하면 $\mathcal{A}_g^*$ 에서 $D_H$ 와 $D_T$ 의 폐쇄가 관련된 경계 계층(주기 곱의 곱)을 포함하기 때문이다.