[논문 리뷰] Log canonical models for the moduli space of pointed stable rational curves

Han‐Bom Moon|arXiv (Cornell University)|2011. 01. 06.

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

한 줄 요약

이 논문은 F-예측을 가정하지 않고, 분할점이 있는 안정적 타원곡선의 모듈리 공간 $\overline{M}_{0,n}$ 에 대해 $K_{\overline{M}_{0,n}} + \sum a_i\psi_i$ 를 포함한 로그 캐논리컬 모델이 허스타드의 가중치가 부여된 안정적 타원곡선의 모듈리 공간 $\overline{M}_{0,\mathcal{A}}$ 와 구조적으로 동일하다는 것을 증명한다. 증명은 교차류의 푸시-풀 및 양의 성질을 이용하여 캐논리컬 교차류의 푸시포워드가 앰플리터리하다는 것을 보여, 허스타드의 공간과 직접적으로 일치하는 비라시onal 모델을 확립한다.

ABSTRACT

We run Mori's program for the moduli space of pointed stable rational curves with divisor $K +\sum a_{i}ψ_{i}$. We prove that, without assuming the F-conjecture, the birational model for the pair is the Hassett's moduli space of weighted pointed stable rational curves, without any modification of weight coefficients.

연구 동기 및 목표

• 모리의 프로그램을 이용하여 $\overline{M}_{0,n}$ 의 비라시onal 모델을 $K_{\overline{M}_{0,n}} + \sum a_i\psi_i$ 를 이용해 수립하기.
• 이 모델이 임의의 가중치 데이터 $\mathcal{A} = (a_1, \dots, a_n)$ 에 대해 허스타드의 모듈리 공간 $\overline{M}_{0,\mathcal{A}}$ 와 동형임을 증명하기.
• 이전 결과에서 로그 캐논리컬 모델과 가중치 모듈리 공간을 연결하는 데 사용된 F-예측의 가정을 제거하기.
• 푸시포워드 및 앰플리터리 성질에 기반한 논리적 해석을 통해 로그 캐논리컬 모델이 $\overline{M}_{0,\mathcal{A}}$ 로서의 모듈리 공간 해석을 제공하기.

제안 방법

• $\overline{M}_{0,n}$ 과 $\overline{M}_{0,\mathcal{A}}$ 상에서 교차류의 푸시포워드 및 풀백을 계산하여 $\Delta_{\mathcal{A}} = K_{\overline{M}_{0,n}} + \sum a_i\psi_i$ 와 감소 사상 $\varphi_{\mathcal{A}}$ 를 연결하기.
• $\Delta_{\mathcal{A}} - \varphi_{\mathcal{A}}^*\varphi_{\mathcal{A}*}(\Delta_{\mathcal{A}})$ 가 효과적이고 $\varphi_{\mathcal{A}}$ 의 예외적 집합에 포함됨을 보이기.
• [Deb01, Lemma 7.11] 을 이용해 $\overline{M}_{0,n}$ 상에서 $\mathcal{O}(l\Delta_{\mathcal{A}})$ 의 전역 절단을 $\overline{M}_{0,\mathcal{A}}$ 상의 전역 절단과 식별하기.
• $\varphi_{\mathcal{A}*}(\Delta_{\mathcal{A}})$ 가 $\overline{M}_{0,\mathcal{A}}$ 상에서 앰플리터리하다는 것을 보이기 위해, 모든 곡선과의 교차가 음이 아니며, 비어 있는 편경의 극한임을 보여주기.
• Fedorchuk의 양의 성질 결과와 차원에 대한 귀납법을 적용하여 $\varphi_{\mathcal{A}*}(\Delta_{\mathcal{A}})$ 의 네파성 증명하기.
• $N^1(\overline{M}_{0,\mathcal{A}})$ 가 경계 교차류들에 의해 생성됨을 이용하여, 모든 곡선과의 교차가 음이 아니므로 앰플리터리함을 결론 내리기.

실험 결과

연구 질문

• RQ1 F-예측을 가정하지 않고, 분할점이 있는 안정적 타원곡선의 모듈리 공간 $\overline{M}_{0,n}$ 에 대해 $K_{\overline{M}_{0,n}} + \sum a_i\psi_i$ 를 포함한 로그 캐논리컬 모델이 허스타드의 모듈리 공간 $\overline{M}_{0,\mathcal{A}}$ 와 동형인지 여쭙기.
• RQ2 교차류의 푸시-풀 및 양의 성질 기법을 사용하여 $\varphi_{\mathcal{A}*}(\Delta_{\mathcal{A}})$ 가 $\overline{M}_{0,\mathcal{A}}$ 상에서 앰플리터리하다는 것을 보일 수 있는가?
• RQ3 로그 캐논리컬 모델의 구성 $\mathrm{Proj}\big(\bigoplus H^0(\overline{M}_{0,n}, \mathcal{O}(l\Delta_{\mathcal{A}}))\big)$ 가 $\overline{M}_{0,\mathcal{A}}$ 를 모듈리 공간으로 산출하는가?
• RQ4 만약 $\varphi_{\mathcal{A}}^*\varphi_{\mathcal{A}*}(\Delta_{\mathcal{A}})$ 가 로그 캐논리컬이 아니더라도, $\varphi_{\mathcal{A}*}(\Delta_{\mathcal{A}})$ 의 앰플리터리성은 확립될 수 있는가?

주요 결과

• 모든 가중치 데이터 $\mathcal{A} = (a_1, \dots, a_n)$ 에 대해, 로그 캐논리컬 모델 $\overline{M}_{0,n}(K_{\overline{M}_{0,n}} + \sum a_i\psi_i)$ 는 F-예측을 가정하지 않고도 $\overline{M}_{0,\mathcal{A}}$ 와 동형이다.
• 푸시포워드 $\varphi_{\mathcal{A}*}(\Delta_{\mathcal{A}})$ 는 $\overline{M}_{0,\mathcal{A}}$ 상에서 앰플리터리하다. 이는 로그 캐논리컬 모델의 동형성과 직접적으로 연결된다.
• 증명은 $\Delta_{\mathcal{A}} - \varphi_{\mathcal{A}}^*\varphi_{\mathcal{A}*}(\Delta_{\mathcal{A}})$ 가 효과적이고 예외적 집합에 포함됨을 보여, $\overline{M}_{0,n}$ 상의 $\mathcal{O}(l\Delta_{\mathcal{A}})$ 절단이 $\overline{M}_{0,\mathcal{A}}$ 상의 절단과 대응됨을 보여준다.
• 푸시포워드의 앰플리터리성은 귀납법과 양의 성질을 통해 확립되며, 모든 곡선과의 교차가 음이 아니며 경계 교차류에 의한 소규모 변형에서도 네파성 유지됨을 보여준다.
• 모든 $\overline{M}_{0,\mathcal{A}}$ 상의 기약 곡선 $B$ 에 대해 $\varphi_{\mathcal{A}*}(\Delta_{\mathcal{A}}) \cdot B$ 의 교차수에 대해 전역적인 양의 하한 $\epsilon_{\mathcal{A}}$ 가 존재한다.
• 이 결과는 심미적 대칭이 아닌 가중치에 대해서도 심프슨의 정리(정리 1.2)를 일반화하며, 대칭 경우는 항등식 $K_{\overline{M}_{0,n}} + \alpha\psi = (1+\alpha)(K_{\overline{M}_{0,n}} + \frac{2\alpha}{1+\alpha}D)$ 를 통해 기존 결과를 복원한다.