[논문 리뷰] Moduli of Singular Curves

Jack Hall|arXiv (Cornell University)|2010. 11. 28.

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

한 줄 요약

이 논문은 사영 공간의 Hilbert 스킴를 이용한 명시적 스무스 코버를 구성하여, 임의의 특이점, 비재수성, 다중성도 허용하는 모든 곡선을 매개변수화하는 대수적 스택 $υ_S$의 존재성을 확립한다. 주요 기여는 이 스택이 대수적임을 증명하고, 국소적으로 유한형이며, 유계성과 유계성 조건을 만족하는 대수적 스택임을 보이며, 고정된 산술 기하학적 종수와 유한한 수의 성분을 가진 기하학적으로 연결된 곡선에 대해 유계성을 입증하는 것이다.

ABSTRACT

The purpose of this note is to prove that there is an algebraic stack U parameterizing all curves. The curves that appear in the algebraic stack U are allowed to be arbitrarily singular, non-reduced, disconnected, and reducible. We also prove the boundedness of the open substack of U parameterizing geometrically connected curves with fixed arithmetic genus g and $\leq$ e irreducible components. This is an updated and expanded version of [arXiv:0902.3690v2, Appendix B].

연구 동기 및 목표

• 기본 스킴 $S$ 위의 모든 곡선—임의의 특이점, 비재수성, 비연결 또는 다중성 성분을 포함—을 매개변수화하는 보편 모듈리 스택 $υ_S$를 구성하는 것.
• Artin 기준에 의존하지 않는 논리적 독립성 있는 $υ_S$의 대수성 증명을 제공하는 것. 이를 위해 명시적 Hilbert 스킴 표현을 사용한다.
• 고정된 산술 기하학적 종수 $g$와 최대 $e$개의 기약 성분을 가진 기하학적으로 연결된 곡선의 열린 부분스택에 대해 유계성을 확립하는 것.
• 사영 곡선의 보편 변형 공간이 $\mathbb{Z}$ 위에서 정의됨을 보이며, 특성 0에서 정수 계수를 가진 정의 방정식을 가질 수 있음을 해결하는 비명백한 정수성 문제를 해결하는 것.
• 다양한 기하 조건(예: 재수성, Cohen-Macaulay, lci, 정수성 등)이 $υ_S$의 대수적 부분스택을 정의함을 보이며, 정밀한 모듈리 구성이 가능함을 보여주는 것.

제안 방법

• 1차원 기하학적 섬유를 가진, 완비, 평탄, 유한형 사상으로서의 $T$-곡선을 정의하고, 각 $S$-스킴 $T$에 대해 $T$-곡선의 군족을 할당하는 에탈레 스택 $\mathcal{U}_S$를 구성한다.
• 코homological 소멸성과 투영 공식을 이용하여 충분히 큰 $m$에 대해 $H^1(C, \mathscr{L}^m(-2c)) = 0$임을 보이며, 모든 $T$-곡선이 에탈로컬로 사영적임을 증명한다.
• 종수 $g$, 성분 수 $e$, 특이점 불변량 $\delta_c$ 등을 사용하여 특이 곡선의 차수와 임bedding 차원을 유계함을 보이며, 차수와 사영 임베딩 차원에 대한 유계값 $D_{g,e}$ 및 $N_{g,e}$를 도출한다.
• 유계 차수와 종수를 가진 $\mathbb{P}^{N_{g,e}}$ 내 곡선의 Hilbert 스킴 $W_{g,e}$ 위에 보편 가족을 구성하고, 유도된 사상 $W_{g,e} \to \mathfrak{W}_{g,e,0}$ 가 전사임을 보인다.
• 고정된 Hilbert 다항식 성분의 사영성에 기반한 Hilbert 스킴의 유계성 이론을 이용하여, 기하학적으로 연결되고 재수적이며 종수 $g$이고 최대 $e$개의 성분을 가진 곡선의 부분스택 $\mathfrak{W}_{g,e,0}$ 가 유계임을 증명한다.
• 평탄한 가족과 층 복합체의 코homology 이론을 적용하여, $h^1(L_{X/T}) = 3$ 또는 유한한 자동사상 군과 같은 조건이 인버트 전이 조건을 유지하는 조건을 통해 대수적 부분스택을 정의함을 보인다.

실험 결과

연구 질문

• RQ1 Artin 기준에 의존하지 않고, 특이점, 비재수성, 다중성, 비연결성을 허용하는 모든 곡선을 매개변수화하는 보편 대수적 스택을 구성할 수 있는가?
• RQ2 특성 0에서 정수 계수를 가지지 않는 정의 방정식을 가질 수 있는 사영 곡선의 보편 변형 공간은 $\mathbb{Z}$ 위에서 정의되는가?
• RQ3 고정된 산술 기하학적 종수 $g$와 유한한 성분 수 $e$를 가진 기하학적으로 연결된 곡선의 부분스택은 유계이고 유계인가?
• RQ4 $\mathcal{U}_S$ 내부에서 기하학적으로 연결된 곡선의 기하 조건(예: 재수성, Cohen-Macaulay, 정수성 등)이 대수적 부분스택을 정의하는가?
• RQ5 고정된 종수와 성분 수를 가진 곡선의 임베딩 차수와 사영 차원은 통일적으로 제어될 수 있는가?

주요 결과

• 기본 스킴 $S$ 위의 모든 곡선을 매개변수화하는 스택 $\mathcal{U}_S$ 는 대수적 스택이며, 국소적으로 유한형이며, 유계이고 분리된 대각선을 가진다.
• $\mathcal{U}_S$ 는 사영 공간의 Hilbert 스킴에 의한 명시적 스무스 코버를 가지며, Artin 기준에 의존하지 않는 대수성의 구성적 증명을 제공한다.
• 모든 고정된 삼중조합 $(g, n, e)$ 에 대해, 산술 기하학적 종수 $g$, $n$개의 마킹된 점, 최대 $e$개의 기약 성분을 가진 기하학적으로 연결되고 재수적인 곡선의 스택 $\mathcal{W}_{S,g,n,e}$ 는 대수적이고 유한형이며, 유계이고 분리된 대각선을 가진다.
• 모든 이러한 곡선의 차수는 $D_{g,e} = 2(g+e-1)(g+e) + e$ 이하로 유계이며, 사영 임베딩 차원은 $N_{g,e} \leq (g+e)^2 + 1$ 이하로 유계이다.
• 모든 특이점의 임베딩 차원은 $(g+e)^2$ 이하로 유계이며, 이러한 곡선의 시컨트 및 탄젠트 다양체의 차원은 각각 최대 3 및 $(g+e)^2 + 1$ 이다.
• 보조정리 1.2는 임의의 사영 곡선의 보편 변형 공간이, 원래의 임베딩에서 초월적 항목을 사용하더라도 정수 계수의 방정식으로 정의됨을 암시한다.