[논문 리뷰] Special Linear Series and Syzygies of Canonical Curves of Genus 9

Michael Sagraloff|ArXiv.org|2006. 05. 30.

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

한 줄 요약

이 논문은 종수 9인 매끄럽고 기약적이며 캐논칼 곡선에 대한 Betti 표의 완전한 분류를 제공하며, 이러한 표와 곡선 위의 특수 선형 계열(예: $g^1_5$, $g^2_7$)의 수와 유형 사이의 직접적 대응 관계를 확립한다. 클리포드 지수 3인 곡선은 반드시 오각형이며, 스크롤을 통한 그들의 심보 해상표를 구성한다. 주요 결과로는 7개의 가능한 Betti 표의 목록이 완전히 제시되고, 평면 오차형 모델의 이중점에서의 사영을 통한 $g_5^1$ 선형 계열의 특성화가 이루어진다.

ABSTRACT

In this thesis we give a complete description of the syzygies of irreducible, nonsingular, canoncial curves $C$ of genus 9. This includes a collection of all possible Betti tables for $C$. Moreover a direct correspondence between these Betti tables and the number and types of special linear series on $C$ is given. Especially for $\operatorname{Cliff}(C)=3$ the curve $C$ is contained in determinantal surface $Y$ on a 4-dimensional rational normal scroll $X\subset \mathbb{P}^8$ constructed from a base point free pencil of divisors of degree 5.

연구 동기 및 목표

• 매끄럽고 기약적이며 캐논칼 곡선의 종수 9에 대한 Betti 표의 완전한 분류를 제공한다.
• 이러한 곡선 위의 Betti 표와 특수 선형 계열(예: $g^1_5$, $g^2_7$)의 수와 유형 사이의 직접적 대응 관계를 확립한다.
• 클리포드 지수가 3인 곡선이 오각형임을 특성화하고, 그들의 심보 해상표의 구조를 규명한다.
• 세 개의 $g^1_5$ 선형 계열이 존재하면 $g^2_7$가 존재함을 증명하고, 이를 스크롤 구성과 변형 이론을 통해 검증한다.

제안 방법

• 도수 5인 점이 없는 선형 계열의 패밀리로부터 $\mathbb{P}^8$에 포함된 4차원의 유리 정규 스크롤 $X \subset \mathbb{P}^8$를 구성하여 캐논칼 곡선 $C$를 포함시킨다.
• $\mathcal{O}_X$와 $\omega_X$의 최소 자유 해상표에 대한 맵핑 콘 구조를 적용하여 $\mathcal{O}_C$의 $\mathcal{O}_{\mathbb{P}^8}$-모듈러스로서의 해상표를 계산한다.
• 리만-로흐 정리와 코hom로지 계산을 적용하여 도수 5인 분할자 $D$에 대해 $H^0(C, \mathcal{O}_C(nD))$의 차원을 결정하고, 스크롤 유형을 $S(2,1,1,1)$, $S(2,2,1,0)$, 또는 $S(3,1,1,0)$으로 분류한다.
• 도수 7의 평면 모델에서 이중점을 사영하여 $g^1_5$ 계열을 얻고, 클리포드 지수가 3일 경우 이러한 계열이 모든 $g^1_5$ 선형 계열을 포함함을 보인다.
• 변형 이론과 결정식 표면 이론을 활용하여 다양한 선형 계열 조건 하에서 Betti 표의 존재성과 유일성을 검증한다.
• 컴퓨터 보조 계산을 통해 Betti 표를 검증하고, 이전에 슈레이어가 제기한 종수 9 곡선에 대한 추측과 비교한다.

실험 결과

연구 질문

• RQ1 매끄럽고 기약적이며 캐논칼 곡선의 종수 9에 대해 가능한 모든 Betti 표는 무엇이며, 곡선의 특수 선형 계열과 어떻게 관련되어 있는가?
• RQ2 종수 9 캐논칼 곡선의 클리포드 지수가 그 최소 자유 해상표의 구조를 어떻게 결정하는가?
• RQ3 종수 9 곡선 위에 다수의 $g^1_5$ 선형 계열이 존재할 경우, 이는 $g^2_7$의 존재를 유추하는 데 사용될 수 있는가?
• RQ4 클리포드 지수가 3인 종수 9 캐논칼 곡선의 기하학적 구조는 무엇이며, 스크롤에 어떻게 매장되어 있는가?
• RQ5 이러한 곡선의 심보는 유리 정규 스크롤 위의 결정식 표면 기하학으로부터 어떻게 유도되는가?

주요 결과

• 매끄럽고 기약적이며 캐논칼 곡선의 종수 9에 대해 정확히 일곱 개의 서로 다른 Betti 표가 존재하며, 이는 특수 선형 계열의 다양한 구성과 대응된다.
• 클리포드 지수가 3인 캐논칼 곡선은 반드시 오각형이며, 이는 $g^1_5$ 선형 계열을 포함함을 의미한다.
• 세 개의 $g^1_5$ 계열이 존재하면 $g^2_7$ 계열이 존재하며, 이는 오차형 모델에 여섯 개의 이중점이 있는 평면 오차형 모델을 통해 기하학적으로 실현된다.
• 클리포드 지수가 3인 곡선에 대해 $g^2_7$와 여섯 개의 $g^1_5$ 계열이 존재할 경우 Betti 표는 다음과 같이 유일하게 결정된다: $\beta_{1,2} = 64$, $\beta_{1,3} = 70$, $\beta_{1,4} = 24$, $\beta_{2,4} = 24$, $\beta_{2,5} = 70$, $\beta_{2,6} = 64$, $\beta_{3,7} = 1$, 나머지 모든 $\beta_{i,j} = 0$.
• 클리포드 지수가 3인 종수 9의 사각형 곡선에 대해 Betti 표는 $\beta_{1,2} = 64$, $\beta_{1,3} = 75$, $\beta_{1,4} = 44$, $\beta_{2,4} = 44$, $\beta_{2,5} = 75$, $\beta_{2,6} = 64$, $\beta_{3,7} = 1$로 특성화되며, 이는 $g^2_6$ 또는 $g^3_8$ 계열이 존재하지 않음을 확인한다.