[논문 리뷰] The Canonical Model of a Singular Curve

Steven L. Kleiman, Renato Vidal Martins|ArXiv.org|2008. 03. 23.

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

한 줄 요약

이 논문은 종수 $g \geq 2$인 특이 정수 곡선 $C$의 캐논리컬 모델 $C'$에 대한 로젠리히트의 기초 결과들에 대해 현대적이고 정제된 증명을 제공한다. $C$와 $C'$가 서로 유리 동치일 조건은 $C$가 비초타원적일 때이고, 이 경우 $C'$는 캐논리컬 선다발 $\omega$에 대한 $C$의 블로우업과 동형임을 보여준다. 주요 기여는 $C'$가 유리 정규, 산술적으로 정규, 프로젝티브로 정규, 또는 선형으로 정규일 조건을 완전히 특성화한 것으로, 이는 거의 고페르스타인 조건과 특이점에서의 임bedding 차원과 같은 불변량을 사용한다.

ABSTRACT

We give refined statements and modern proofs of Rosenlicht's results about the canonical model C' of an arbitrary complete integral curve C. Notably, we prove that C and C' are birationally equivalent if and only if C is nonhyperelliptic, and that, if C is nonhyperelliptic, then C' is equal to the blowup of C with respect to the canonical sheaf ω. We also prove some new results: we determine just when C' is rational normal, arithmetically normal, projectively normal, and linearly normal.

연구 동기 및 목표

• 종수 $g \geq 2$인 특이 정수 곡선 $C$의 캐논리컬 모델 $C'$에 대한 로젠리히트 결과를 재증명하고 정제하기.
• $C$와 $C'$ 사이의 유리 동치 관계를 명확히 하여, $C$가 비초타원적일 때에만 이 둘이 서로 동형임을 보여주기.
• $C'$가 프로젝티브로 정규, 선형으로 정규, 산술적으로 정규, 또는 유리 정규일 조건을 정확히 규명하기.
• 특히 고페르스타인 조건이 아닌 경우를 포함해, 캐논리컬 선다발 $\omega$에 대한 블로우업을 통한 $C'$의 특성화하기.
• $C'$의 기하적 성질을 제어하는 불변량, 예를 들어 거의 고페르스타인 조건과 특이점에서의 임베딩 차원 등을 규명하기.

제안 방법

• 캐논리컬 선다발 $\omega$에 대한 블로우업을 사용하여, 정규화 $\overline{C}$ 위의 캐논리컬 사상의 상으로서 $C'$를 구성하기 위한 현대적 대수기하학 기법의 사용.
• 캐스트엘누오보 이론과 극단 곡선 이론을 적용하여 $C'$의 프로젝티브 정규성과 선형 정규성을 분석하기.
• 국소 대수, 특히 특이점에서의 국소환의 도전자 이상과 내적환을 사용하여, 비고페르스타인 점 근처의 $C'$의 구조를 연구하기.
• 층 코hom로지의 장점 긴 수열과 코hom로지 추론을 사용하여 $H^q(\mathcal{I}(l))$의 소멸 결과를 증명하고, 이는 $C'$의 정의 방정식을 제어한다.
• 거의 고페르스타인 조건 하에서, 프로젝티브 정규성, 선형 정규성, 극단성 간의 동치성을 증명하기.
• 후지타의 기준과 캐스트엘누오보–무미포드 정규성 조건을 사용하여, $C'$가 이차형과 삼차형에 의해 자르어지는 조건을 규명하기.

실험 결과

연구 질문

• RQ1 특이 곡선 $C$의 캐논리컬 모델 $C'$가 언제 프로젝티브로 정규이며, 이 성질을 보장하는 $C$의 조건은 무엇인가?
• RQ2 언제 $C'$가 선형으로 정규이며, 이는 프로젝티브 정규성과 어떻게 관련되는가?
• RQ3 언제 $C'$가 유리 정규이며, 이 경우 종수와 차수는 어떤 역할을 하는가?
• RQ4 특히 비고페르스타인 점에서의 $C$의 특이점은 $C'$의 기하학에 어떻게 영향을 미치는가?
• RQ5 $C'$와 $\omega$에 대한 $C$의 블로우업 사이의 정확한 관계는 무엇이며, 언제 이 둘이 동형이 되는가?

주요 결과

• 캐논리컬 모델 $C'$는 $C$가 비초타원적일 때에만 $C$의 $\omega$에 대한 블로우업과 동형이다.
• 캐논리컬 모델 $C'$가 프로젝티브로 정규일 조건은 선형으로 정규일 조건과 동치이며, 이는 $C$가 거의 고페르스타인 조건을 만족하고 $d' = g' + g - 1$을 만족할 때에만 성립한다.
• $C$가 비초타원적일 때, $C'$가 극단적(즉, 차수 $2g-2$에 대해 최대 종수를 가짐)일 조건은 $C$가 고페르스타인일 때이다.
• $C$가 거의 고페르스타인 조건을 만족하고 $\eta \geq 2$이면, $C'$는 이차형과 삼차형에 의해 자르어지며, $\eta \geq 2$이면 이차형만으로도 충분하다.
• 캐논리컬 모델 $C'$가 유리 정규일 조건은 $C$가 비초타원적이고, $C'$가 $\mathbb{P}^{g-1}$ 속에 존재하며, 차수와 종수가 모두 $g-1$일 때이다.
• $g=4$, $g'=2$, $d'=5$인 거의 고페르스타인 곡선의 경우, $C'$는 이차형만으로 자르어지지 않으며, 이는 삼차형이 때로 필요함을 보여준다.