[논문 리뷰] A Compactification of the Space of Plane Curves

Paul Hacking|ArXiv.org|2001. 04. 19.

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

한 줄 요약

이 논문은 $d \geq 4$인 매끄러운 평면 곡선의 모듈리 공간의 기하학적이고 명시적으로 계산 가능한 컴팩티피케이션을 구축한다. 이는 $X$가 준-로그-칸론(del Pezzo) 표면이고 $dK_X + 3D \sim 0$인 안정 쌍 $(X,D)$의 모듈리 스택 $\mathcal{M}_d$를 정의함으로써 이루어지며, 안정 쌍에서 나타나는 기하학적로 붕괴된 표면의 완전한 분류가 이루어지고, $d=4,5,6$에 대해 명시적인 결과를 도출한다. 또한 $\mathcal{M}_d$가 $\mathbb{Q}$-코렌스타인 변형 이론과 $\alpha \to 3/d^+$로의 극한 구성에 의해, 원래의 $\mathcal{M}_d^\alpha$ 접근 방식에서 발생하는 기술적 문제를 피하면서도, 올바르고 분리된 딜레인–멈포르 스택임을 증명한다. 특히 $3 \nmid d$일 경우 $\mathcal{M}_d$는 스무스하다.

ABSTRACT

We define a geometrically meaningful compactification of the moduli space of smooth plane curves, which can be calculated explicitly. The basic idea is to regard a plane curve D in P^2 as a pair (P^2,D) of a surface together with a divisor, and allow both the surface and the curve to degenerate. For plane curves of degree d at least 4, we obtain a compactification M_d which is a moduli space of stable pairs (X,D) using the log minimal model program. A stable pair (X,D) consists of a surface X such that -K_X is ample and a divisor D in a given linear system on X with specified singularities. Note that X may be non-normal, and K_X is Q-Cartier but not Cartier in general. We give a rough classification of stable pairs of arbitrary degree, a complete classification in degrees 4 and 5, and a partial classification in degree 6. The compactification is particularly simple if d is not a multiple of 3 - in particular the surface X has at most 2 components. We give a characterisation of these surfaces in terms of the singularities and the Picard numbers of the components. Moreover, we show that M_d is smooth in this case.

연구 동기 및 목표

• 매끄러운 평면 곡선의 모듈리 공간 $V_d$에 대해 $d \geq 4$일 때 기하학적이고 명시적으로 계산 가능한 컴팩티피케이션을 구축하는 것.
• 안정 쌍 $(X,D)$의 모듈리 스택 $\mathcal{M}_d$를 정의하여 $K_X + D$가 준-로그-칸론적이고 앰플리피케이티브하며, 콜라르–시프리드-바론의 모듈리 공간을 일반화하는 것.
• 특히 유형 A, B, C, D를 구분하고 유형 B*를 배제하는 바탕이 되는, 차수 $d$의 안정 쌍에서 발생할 수 있는 모든 가능한 붕괴된 표면 $X$를 분류하는 것.
• 상대적인 최소 모델 프로그램과 $\mathbb{Q}$-코렌스타인 변형 이론을 사용하여 $\mathcal{M}_d$가 올바르고 분리된 딜레인–멈포르 스택임을 확립하는 것.
• $3 \nmid d$일 때 $\mathcal{M}_d$가 스무스함을 증명하기 위해, $K_X$의 지수에 대한 명시적 상한과 변형 이론적 기법을 사용하는 것.

제안 방법

• 차수 $d$의 안정 쌍 $(X,D)$를 $X$가 준-로그-칸론적인 델 페초 표면이고 $dK_X + 3D \sim 0$이며, 작은 $\epsilon > 0$에 대해 $K_X + (3/d + \epsilon)D$가 준-로그-칸론적임을 만족하는 쌍으로 정의한다.
• 원래의 $\alpha$-변형 프레임워크에서 발생하는 기술적 문제를 피하기 위해, $\mathcal{M}_d^\alpha$-컴팩티피케이션의 극한으로서 $\mathcal{M}_d$를 구성한다. 이는 $\alpha \to 3/d^+$로의 극한을 취함으로써 이루어진다.
• 섹션 10에서 개발된, 준-로그-칸론 표면에 대한 $\mathbb{Q}$-코렌스타인 변형 이론을 활용하여 $K_{\mathcal{X}/S}$와 $\mathcal{D}$가 $\mathbb{Q}$-카르티에임을 보장함으로써 변형을 제어할 수 있도록 한다.
• 상대적인 최소 모델 프로그램(MMP)을 적용하여, 값의 기준과 상대 MMP의 존재를 이용해 $\mathcal{M}_d$가 분리되고 올바름을 증명한다.
• 붕괴된 표면 $X$를 네 가지 유형으로 분류한다: A(정규), B(두 개의 성분을 가진 비정규), C와 D(비정규이면서 기하학적으로 붕괴된 코의 표면), 그리고 비정규성에 의해 회복 불가능한 유형 B*는 존재하지 않음을 증명한다.
• $dK_X + 3D \sim 0$ 조건을 이용하여 $\operatorname{Cl}X$에서 $K_X$의 지수를 유계화함으로써, $3 \nmid d$일 경우 $X$는 만네티 표면 또는 유형 B일 수 있음을 보여주며, 이는 명시적인 분류를 가능하게 한다.

실험 결과

연구 질문

• RQ1 차수 $d$의 안정 쌍 $(X,D)$에서 나타날 수 있는 가능한 붕괴된 표면 $X$는 무엇인가?
• RQ2 비정규적이고 접힌 이중 곡선을 가진 유형 B* 표면은 왜 어떤 안정 쌍에서도 발생하지 않는가?
• RQ3 $3 \nmid d$일 때 조건 $dK_X + 3D \sim 0$은 $X$의 기하학적 성질과 특이점에 어떤 제약을 가하는가?
• RQ4 상대적 스무스화 조건을 생략할 경우 왜 모듈리 스택 $\mathcal{M}_d$는 대수적 스택가 되지 않는가?
• RQ5 표면 $X$가 스무스화 불가능한 성분을 가질 경우, 안정 쌍 $(X,D)$의 변형 공간의 구조는 어떻게 되며, 이는 $\mathcal{M}_d$의 국소적 구조에 어떤 영향을 미치는가?

주요 결과

• $\mathcal{M}_d$는 올바르고 분리된 딜레인–멈포르 스택이며, $d \geq 4$인 매끄러운 평면 곡선의 모듈리 공간 $V_d$에 대한 기하학적 컴팩티피케이션을 제공한다.
• 유형 B* 표면는 형식적으로 가능하나, 6장에서 보여지듯이 $\mathbb{P}^2$로의 스무스화를 허용하지 않기 때문에 어떤 안정 쌍에서도 발생하지 않는다.
• $3 \nmid d$일 경우, $\mathcal{M}_d$는 스무스하다. 이는 $\operatorname{Cl}X$에서 $K_X$의 3-나누어떨어짐 성질에 기인하며, 이는 $X$가 만네티 표면 또는 유형 B일 수 있음을 제한한다.
• $d=4,5$일 경우 붕괴된 표면 $X$의 분류는 완전하며, $X$ 위에서의 $D$의 가능한 특이점들이 완전히 규명되어 있다.
• $d=6$일 경우 최대 18개의 성분을 가진 표면 $X$가 존재할 수 있으며(예: 16.5 예), 유형 C와 D의 후보 목록이 제시되지만, 스무스화 가능성은 아직 미결정이다.
• $3 \mid d$일 경우, 16.6 예에서 보여지듯이 $\mathcal{M}_d$는 스무스하지 않다. 이는 변형 공간 내에서 스무스화 불가능한 성분이 존재하기 때문이다.