[논문 리뷰] Dimension counts for singular rational curves via semigroups

Ethan Cotterill, Lia Feital외 1명|arXiv (Cornell University)|2015. 11. 26.

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

한 줄 요약

이 논문은 프로젝티브 공간 내에서 특이 점을 가진 유리 곡선을 매개변수화하는 Severi 유형의 다양체의 차원을 그들의 값 반군 분석을 통해 조사한다. $\gamma^*$-hyperelliptic 반군을 이용해 쌍정점 특이점을 모델링하고, 기대보다 더 적은 선형 조건을 유도하는 단일 쌍정점 유리 곡선의 명시적 가중족을 구성함으로써, $n \geq 8$ 인 경우 Severi 유형의 다양체 $M^n_{d,g}$ 가 $g$-노달 곡선의 폐쇄에 포함되지 않는 초과 성분을 포함함을 증명한다. 이는 다양체의 비기약성을 반박하고 자연스러운 코디멘션 히ュ리스틱을 뒤집는 결과를 낳는다.

ABSTRACT

We study singular rational curves in projective space, deducing conditions on their parametrizations from the value semigroups $\sss$ of their singularities. In particular, we prove that a natural heuristic for the codimension of the space of nondegenerate rational curves of arithmetic genus $g>0$ and degree $d$ in $\mb{P}^n$, viewed as a subspace of all degree-$d$ rational curves in $\mb{P}^n$, holds whenever $g$ is small. On the other hand, we show that this heuristic fails in general, by exhibiting an infinite family of examples of Severi-type varieties of rational curves containing "excess" components of dimension strictly larger than the space of $g$-nodal rational curves.

연구 동기 및 목표

• 프로젝티브 공간 $\mathbb{P}^n$ 내에서 산술 기하학적 종수 $g > 0$ 이고 차수 $d$ 인 비퇴화 유리 곡선의 공간의 코디멘션과 노달 곡선 히ュ리스틱에 기반한 기대 차원이 일치하는지 확인하는 것.
• 특히 $n \geq 3$ 인 경우에 대해, 값 반군이 특이점 분류에서 수행하는 역할을 분석함으로써 이 히ュ리스틱이 단일 쌍정점 유리 곡선에 대해서도 성립하는지 조사하는 것.
• 매개변수화가 $(n-2)g$ 개의 독립 조건을 유도하지 못하는, $g = 3\gamma + 1$ 종수를 가진 명시적 예시를 구성함으로써, 노달 히ュ리스틱을 위반하는 것.
• 초과 성분이 $g$-노달 지역의 폐쇄에 포함되지 않는 것을 보여줌으로써, $n \geq 8$ 인 경우 Severi 유형 다양체 $M^n_{d,g}$ 가 비기본적임을 입증하는 것.

제안 방법

• 저자들은 두 조건을 만족하는 수치 반군으로서 $\gamma^*$-hyperelliptic 반군을 정의한다: $1$ 에서 $4\gamma - 2$ 까지의 모든 짝수 정수를 포함하고, $4\gamma$ 도 포함한다.
• 일반적인 고차 계수를 가진 $i = 0, \dots, \gamma - 1$ 에 대해 $f_i(t) = t^{2(\gamma + i)} + O(t^{2(\gamma + i)+1})$ 의 $t$-거듭제곱 급수 매개변수화를 구성하여, 단지브랜치 특이점을 모델링한다.
• 결과적으로 유도된 쌍정점의 값 반군 $\mathrm{S}^*$ 는 $\mathrm{S}^* = \mathrm{S}^*_0 + \mathrm{S}^*_1$ 로 분해되며, 여기서 $\mathrm{S}^*_0 = \langle 2\gamma, \dots, 4\gamma - 2 \rangle$ 는 짝수 값의 반군이고 $\mathrm{S}^*_1 = \langle 4\gamma + 5, \dots, 6\gamma + 3 \rangle$ 는 홀수 값의 반군이다.
• 쌍정점으로 인한 분기 조건은 $r(f) = \frac{(5\gamma - 3)\gamma}{2} - 1$ 공식을 통해 세어지며, 이는 편도함수가 0이 되는 계수에 대한 선형 조건을 세는 데 쓰인다.
• 반군의 종수는 $g(\mathrm{S}^*) = 3\gamma + 1$ 으로 계산되며, 이는 $G_0 = \{2, 4, \dots, 2\gamma - 2\}$ 와 $G_1 = \{1, 3, \dots, 4\gamma + 3\}$ 이라는 갭 집합의 서로소 합집합에서 유도된다.
• 반면에 $r(f)$ 와 기대 코디멘션 $(n-2)g(\mathrm{S}^*)$ 를 비교함으로써, $n \geq 8$ 이고 $\gamma \geq 8$ 인 경우 $r(f) < (n-2)g(\mathrm{S}^*)$ 임을 보여, 초과 차원을 증명한다.

실험 결과

연구 질문

• RQ1 n \geq 3 인 경우, $\mathbb{P}^n$ 내에서 종수 $g > 0$ 인 비퇴화 유리 곡선의 공간의 코디멘션은 $g$-노달 곡선에 기반한 히ュ리스틱과 일치하는가?
• RQ2 일단브랜치 특이점의 값 반군은 Severi 유형의 유리 곡선 다양체의 차원을 체계적으로 분류하고 추정하는 데 사용될 수 있는가?
• RQ3 n \geq 8 인 경우, 매개변수화가 $(n-2)g$ 개의 독립 조건을 유도하지 못하는 단일 쌍정점 유리 곡선의 예가 존재하는가? 이는 노달 히ュ리스틱을 위반하는가?
• RQ4 n \geq 8 인 경우, Severi 유형 다양체 $M^n_{d,g}$ 는 여전히 기하학적으로 비기본적인가, 아니면 $g$-노달 지역의 폐쇄에 포함되지 않는 초과 성분을 포함하는가?
• RQ5 $\gamma^*$-hyperelliptic 반군의 구성 방식을 일반화하여 더 많은 비기본적 Severi 유형 다양체의 예를 도출할 수 있는가?

주요 결과

• n \geq 8 인 경우, $g = 3\gamma + 1$ 이고 $d \gg g$ 인 Severi 유형 다양체 $M^n_{d,g}$ 는 $g$-노달 유리 곡선의 지역의 폐쇄에 포함되지 않는 초과 성분을 포함한다.
• 구성된 쌍정점 특이점의 값 반군 $\mathrm{S}^*$ 는 $\gamma^*$-hyperelliptic 이며, 종수는 $g(\mathrm{S}^*) = 3\gamma + 1$ 이며, 이는 각각 크기가 $\gamma - 1$ 과 $2\gamma + 2$ 인 갭 집합 $G_0$ 와 $G_1$ 에서 유도된다.
• 쌍정점이 유도하는 분기 조건의 수 $r(f)$ 는 $\frac{(5\gamma - 3)\gamma}{2} - 1$ 이며, $n \geq 8$ 이고 $\gamma \geq 8$ 인 경우 기대 코디멘션 $(n-2)g(\mathrm{S}^*)$ 보다 엄밀히 작다. 이는 기대 코디멘션 히ュ리스틱을 위반한다.
• n \geq 8 인 경우 Severi 유형 다양체 $M^n_{d,g}$ 는 비기본적이다. 왜냐하면 $\gamma^*$-hyperelliptic 쌍정점에서 유도된 초과 성분들이 $g$-노달 지역의 폐쇄에 포함되지 않기 때문이다.
• 이 구성은 일반적인 고차 계수를 가진 $t$-거듭제곱 급수 $f_i(t) = t^{2(\gamma + i)} + O(t^{2(\gamma + i)+1})$ 에 기반하며, 잘 정의된 분해 가능한 값 반군을 가진 단일브랜치 특이점을 유도한다.
• 결과적으로 노달 곡선에 기반한 자연스러운 히ュ리스틱은 고차원 환경에서는 실패하며, 모듈라이 공간 내에서 특이 유리 곡선의 정확한 차원 추정을 위해서는 반군 기반의 분할 전략이 필수적임을 보여준다.