[논문 리뷰] Examples of non--effective rays at the boundary of the Mori cone of blow--ups of the plane

Ciro Ciliberto, Rick Miranda|arXiv (Cornell University)|2021. 11. 04.

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

한 줄 요약

이 논문은 $ d \geq 4 $ 이면, 점 하나에서 다중도 $ d - m $ 를 가지며 일반 점 $ m(2d - m) $ 개를 통과하는 평면 곡선의 선형 계수에서, $ 2 \leq m \leq d - 2 $ 일 때 어떤 양의 배수에 대해서도 효과적이지 않음을 증명한다. $ m $ 에 대한 유도와 열화 기법을 사용하여, 블로우업의 네로-세베르 공간에서 해당 사슬이 네프이지만 효과적이지 않음을 보이며, 모리 코너의 경계에 있는 효과적이지 않은 사슬의 새로운 예를 제공한다 — 나가타 정리의 일반화이다.

ABSTRACT

In this paper we prove that no multiple of the linear system of plane curves of degree $d\geq 4$ with a point of multiplicity $d-m$ (with $2 \leq m \leq d$) and $m(2d-m)$ simple general points is effective.

연구 동기 및 목표

• 13개의 일반 점에서의 평면 블로우업에서 특정 선형 계수의 효과성에 관해 마사렌티와 멜라가 제기한 질문을 해결하기 위해.
• 일반 점에서 고다중도를 갖는 선형 계수의 비효율성에 관한 나가타 정리를 일반화하기 위해.
• $ \mathbb{P}^2 $ 의 블로우업의 네로-세베르 공간에서 모리 코너의 경계에 위치한 네프이지만 효과적이지 않은 사슬의 명시적 예를 구성하기 위해.
• 열화 기법과 크레모나 변환을 사용하여 이러한 비효율적 사슬을 식별하는 체계적인 방법을 제공하기 위해.
• 자기자기 교차수 0과 다수의 기저점이 있는 선형 계수의 모리 코너의 구조에 대한 이해를 확장하기 위해.

제안 방법

• 디스크 위의 표면 가닥에서 열화 기법을 적용하여, 중심 섹션을 $ \mathbb{P}^2 $ 와 히르체브루흐 표면 $ F_1 $ 의 복사로 분해하고, 극한 선형 계수를 분석한다.
• $ \mathcal{O}_X(-lP) $ 를 사용한 왜곡된 가닥을 통해 서로 다른 극한 번들 생성을 가능하게 하여, 구성 요소들 사이의 다중 매칭 조건을 허용한다.
• 특히 $ m = 2 $ 경우에서 극한 시에 다수의 $ (-1) $-곡선이 분리되는 경우를 다루기 위해 정밀한 매칭 조건을 적용한다.
• 크레모나 변환을 사용하여 $ \mathbb{P}^2 $ 에서의 극한 계수를 단순화하여, $ (n+1)^2 $ 개의 다중도 $ t $ 인 점들과 추가 제약 조건을 갖는 계수로 변환한다.
• 유도와 특수화를 통해 결과 계수의 공집합을 증명하여, 다중도 조건을 만족하는 임의의 곡선이 고정 곡선을 포함해야 하며, 이는 자명하지 않은 경우에 모순을 일으킴을 보인다.
• $ m $ 에 대한 유도를 사용하여 $ m > 2 $ 경우를 $ m = 2 $ 경우로 감소시키며, 이 경우는 열화 기법과 극한 계수의 세밀한 분석을 통해 다룬다.

실험 결과

연구 질문

• RQ1 다항식의 차수 $ d \geq 4 $ 인 곡선에서 다중도 $ d - m $ 를 가지며 일반 기저점 $ m(2d - m) $ 개를 지나는 선형 계수는 $ 2 \leq m \leq d - 2 $ 일 때 어떤 양의 배수에 대해서도 효과적인가?
• RQ2 자기자기 교차수 0과 고다중도 제약 조건을 갖는 선형 계수의 비효율성을 열화 기법을 사용하여 증명할 수 있는가?
• RQ3 네로-세베르 공간에서 $ \mathbb{P}^2 $ 의 블로우업에서 네프 사슬이 효과적이지 않은 조건은 무엇이며, 이러한 사슬은 어떻게 구성할 수 있는가?
• RQ4 크레모나 변환과 정밀한 매칭 조건은 열화 증명에서 극한 선형 계수를 분석하는 데 어떻게 기여하는가?
• RQ5 $ m = 2 $ 의 경우는 높은 $ m $ 에 대한 비효율성의 유도 증명의 기초 사례로 사용될 수 있는가?

주요 결과

• 모든 $ d \geq 4 $ 와 $ 2 \leq m \leq d - 2 $ 에 대해, $ k\xi_{d,m} $ 는 $ k \geq 1 $ 인 어떤 경우에도 효과적이지 않으며, 이는 시스템의 양의 배수에 비영단의 절단이 존재하지 않음을 의미한다.
• 일반 점 $ m(2d - m) + 1 $ 개에서의 블로우업의 네로-세베르 공간에서 $ \xi_{d,m} $ 가 생성하는 사슬은 네프이지만 효과적이지 않으며, 이는 모리 코너의 경계에 위치한다.
• $ m = 2 $ 의 경우는 유도의 핵심 기초 사례로서, 열화와 다수의 $ (-1) $-곡선을 포함한 극한 계수의 세밀한 분석을 통해 증명된다.
• 크레모나 변환 이후 $ \mathbb{P}^2 $ 에서의 극한 계수는, 다중도 조건을 만족하는 임의의 곡선이 고정 곡선을 포함해야 하며, 이는 자명하지 않은 경우에 모순을 일으킴을 보여 비어 있음을 증명한다.
• $ m \geq 3 $ 의 경우, 유도를 통해 $ m = 2 $ 의 경우로 감소시키며, 이는 이중 곡선을 따라 시스템이 소멸하기 때문에 $ \mathbb{P}^2 $ 구성 요소에서의 커널 시스템이 비어 있음을 보여준다.
• 열화 매개수의 $ t = 0 $ 의 경우도 배제된다. 이 경우에 해당하는 절단은 $ \mathbb{P}^2 $ 구성 요소에서 식별적으로 0이 되어야 하며, 이는 극한 곡선의 존재 불가를 확인한다.