[논문 리뷰] The space of Cohen-Macaulay curves

Katharina Heinrich|arXiv (Cornell University)|2014. 03. 24.

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

한 줄 요약

이 논문은 대상 $W$를 구성하여, $\pi: W \to \mathrm{CM}$가 표류 가능하고, 전성 및 매끄럽다는 조건을 만족시키며, $\mathbb{P}^n$으로의 유한한 사상과 일반적으로 닫힌 포함을 갖는 코hen–맥컬레이 곡선을 매개하는 모듈리 함수수 $\mathrm{CM}$가 대수적 공간임을 증명한다. 또한, 구조층의 코herent성과 깊이 조건에 기반한 명시적 기하적 추론을 통해 $\mathrm{CM}$이 적절성의 평가 기준을 충족함을 보여, 이는 $\mathrm{CM}$이 적절한 대수적 공간임을 확인한다.

ABSTRACT

One can consider the Hilbert scheme as a natural compactification of the space of smooth projective curves with fixed Hilbert polynomial. Here we consider a different modular compactification, namely the functor CM parameterizing curves together with a finite map to $\mathbb{P}^n$ that is generically a closed immersion. We prove that CM is an algebraic space by contructing a scheme W and a representable, surjective and smooth map W -> CM. Moreover, we show that CM satisfies the valuative criterion for properness.

연구 동기 및 목표

• 코헨–맥컬레이 곡선의 모듈리 함수수 $\mathrm{CM}$이 $\mathbb{P}^n$으로의 유한하고 일반적으로 닫힌 포함을 갖는 경우에 대해, 이전 증명의 결함을 메우며, 이가 대수적 공간으로 표현 가능하다는 것을 재증명하는 것.
• 이전에 불완전한 추론을 사용한 바, $\pi: W \to \mathrm{CM}$이 매끄럽고 전성이며 표류 가능하도록 하는 더 명시적이고 단순화된 $W$의 구축을 제공하는 것.
• 모듈리 공간의 적절성에 대한 평가 기준을, 추상적 기준이 아닌 깊이와 코herent성 성질에 기반한 직접적인 기하적 증명으로 확립하는 것.
• 히르츠 방식의 콪합화에서 나타나는 열화된 부분 스킴을 피하는 곡선의 모듈리 공간 기반 체계를 명확히 하고 강화하는 것.

제안 방법

• 기저 위에서 평탄한 $C$와 유한하고 일반적으로 닫힌 포함인 $i: C \to \mathbb{P}^n_S$를 갖는 쌍 $(C, i)$를 매개하는 스킴 $W$를 명시적 기하 데이터와 코herent층 구성으로 구성한다.
• $\mathrm{CM}(S)$를 이러한 쌍의 동형류 집합으로 정의하며, 이는 섬세성, 코헨–맥컬레이 성질, 그리고 섬세한 다항식 조건을 만족한다.
• 이산 평가환환 $R$ 위에서 $\mathbb{P}^n_R$의 이미지의 스킴 이론적 폐쇄를 사용하여 일반적인 가족의 극한을 구성한다.
• $Z$ 위의 밀도 있는 열린 부분집합 $U \subset Z$에서 $\mathcal{O}_{U_1}$와 $(h_K)_*\mathcal{O}_{C_K}$의 접합을 고려하여, $\mathcal{O}_Z$-대수 $\mathcal{A}$를 정의하고, $C := \mathbf{Spec}(\mathcal{A})$로 둔다.
• 차원과 깊이의 추론을 통해 $\mathcal{A}$가 $\mathcal{O}_Z$-모듈로써 코herent하고 코헨–맥컬레이임을 증명함으로써, $C$가 $\operatorname{Spec}(R)$ 위에서 평탄하고 코헨–맥컬레이임을 보장한다.
• 비코헨–맥컬레이 지점의 집합과 관련된 점을 분석함으로써, 닫힌 섬 $C_0$가 코헨–맥컬레이이고, $i_0$가 유한한 점들을 제외한 곳에서 동형임을 검증한다.

실험 결과

연구 질문

• RQ1 코헨–맥컬레이 곡선의 모듈리 함수수 $\mathrm{CM}$이 $\mathbb{P}^n$으로의 유한하고 일반적으로 닫힌 포함을 갖는 경우, 이는 대수적 공간으로 표현 가능한가?
• RQ2 이전에 불완전한 추론을 사용한 바, $\pi: W \to \mathrm{CM}$이 매끄럽고 전성이며 표류 가능하도록 하는 명시적 구축이 가능한가?
• RQ3 $\mathrm{CM}$이 적절성의 평가 기준을 충족하는가? 즉, 이는 이산 평가환환의 일반점 위의 모든 가정이 특별한 섬으로 유일하게 연장되는가?
• RQ4 구조층의 코herent성과 코헨–맥컬레이 성질은 열화의 경우 평탄성과 기하학적 유한성을 보장하는 데 어떻게 활용될 수 있는가?

주요 결과

• 표류 가능하고 전성이며 매끄러운 사상 $\pi: W \to \mathrm{CM}$을 갖는 스킴 $W$를 구성함으로써, 모듈리 함수수 $\mathrm{CM}$이 대수적 공간임을 입증하였다.
• $W$의 구성은 허슨(Hønsen)의 원래 증명에서 발견된 결함을 메우며, 이전 증명보다 더 명시적이고 단순화된 대체 방법을 제공한다.
• $\mathrm{CM}$은 적절성의 평가 기준을 충족하며, 이는 이산 평가환환의 일반점 위의 모든 가정이 특별한 섬으로 유일하게 연장된다는 것을 의미한다.
• 전체 공간 $C$의 구조층 $\mathcal{A}$는 $\mathcal{O}_Z$-모듈로써 코herent하고 코헨–맥컬레이임을 보여, $C$가 $\operatorname{Spec}(R)$ 위에서 평탄하고 코헨–맥컬레이임을 보장한다.
• 닫힌 섬 $C_0$는 코헨–맥컬레이이며, $i_0: C_0 \to \mathbb{P}^n_k$는 유한한 점들을 제외한 곳에서 동형임을 보여, $\mathrm{CM}$의 기하학적 조건을 충족한다.
• 힐베르트 다항식은 기저 변경에 대해 보존되며, 이는 극한 대상이 $\mathrm{CM}(\operatorname{Spec}(R))$에 속한다는 것을 확인한다.