[논문 리뷰] The cone of moving curves of a smooth Fano-threefold

Sammy Barkowski|ArXiv.org|2007. 03. 01.

Geometry and complex manifolds참고 문헌 5인용 수 4

한 줄 요약

이 논문은 BDPP 정리에 의한 강한 가시적 쌍대성과 통해, 매끄러운 팔로 3차원 다양체 위의 움직이는 곡선의 쌍대가 다각형임을 증명한다. 움직이는 쌍대는 모리 수축의 특이 초면체와의 비음성 교차수로 정의되며, 네론-세베르 공간에서 유한한 다각형적 구조를 가진다.

ABSTRACT

In this short note we show that the closed cone of moving curves of a smooth Fano-threefold is polyhedral. The proof relies on a famous result of Bucksom, Demailly, Paun and Peternell which says that the strongly movable cone is dual to the cone of pseudoeffective divisors. Finally, we relate the extremal rays of the cone of moving curves on a threefold with extremal rays in the cone of strongly movable curves on a birational model obtained by a Mori contraction.

연구 동기 및 목표

• 매끄러운 팔로 3차원 다양체 위의 움직이는 곡선 쌍대의 다각형적 구조를 확립하기 위해.
• 움직이는 쌍대가 분할 모리 수축의 특이 초면체와의 비음성 교차수로 정의됨을 증명하기 위해.
• 3차원 다양체에서 움직이는 쌍대의 극단선을 모리 수축을 통해 얻어진 비라션 모델의 강한 가시적 쌍대의 극단선과 연결하기 위해.
• BDPP(2004)의 강한 가시적 쌍대성 결과를 사용하여 간결한 증명을 제공하기 위해.
• 바티레브(1992)와 아라우호(2005)의 이전 주장에서 존재하는 격차를 팔로 3차원 다양체의 경우에 완전한 논증을 제시함으로써 해결하기 위해.

제안 방법

• 강한 가시적 쌍대가 네론-세베르 공간에서 허위 효과적 초면체 쌍대와 이중임을 나타내는 BDPP 쌍대 정리(정리)를 적용한다.
• 3차원에서의 최소 모델 프로그램(MMP)을 사용하여 모리 수축을 통해 얻어진 비라션 모델을 분석한다.
• 비라션 사상에 의한 1-사이클의 수치적 역상과 정상화를 정의하여 다양한 모델 간의 움직이는 클래스를 연결한다.
• 투영 공식과 네프 및 효과적 초면체의 성질을 적용하여, 역상에 의한 교차수의 양성 유지 보장을 한다.
• 비라션 모델 $Y$에서의 강한 가시적 쌍대의 극단선이 원래 다양체 $X$에서의 움직이는 쌍대의 극단선과 대응됨을 증명한다.
• 매끄러운 팔로 3차원 다양체의 효과적 쌍대가 유한한 유리 다각형임을 보여주는 독립 결과(Küronya와 Szabó)를 이용하여, 쌍대성에 의해 움직이는 쌍대의 다각형성 결론을 이끌어낸다.

실험 결과

연구 질문

• RQ1 매끄러운 팔로 3차원 다양체 위의 움직이는 곡선 쌍대가 다각형인가?
• RQ2 움직이는 쌍대의 극단선은 비라션 모델에서의 강한 가시적 쌍대의 극단선과 어떻게 관련되어 있는가?
• RQ3 움직이는 쌍대는 모리 쌍대와 특이 초면체로 정의된 반공간들의 교차로 기술될 수 있는가?
• RQ4 강한 가시적 쌍대와 허위 효과적 초면체 쌍대 간의 쌍대성은 팔로 3차원 다양체에서 움직이는 쌍대의 다각형성을 암시하는가?
• RQ5 모리 수축은 다양한 비라션 모델 간의 움직이는 곡선 클래스를 어떻게 연결하는가?

주요 결과

• 매끄러운 팔로 3차원 다양체 $X$에서 움직이는 곡선의 쌍대 $\overline{\mathrm{NM}}(X)$ 는 $N_1(X)_{\mathbb{R}}$ 에서 닫힌 볼록 다각형 쌍대이다.
• 움직이는 쌍대는 $\overline{\mathrm{NM}}(X) = \{[c] \in \overline{\mathrm{NE}}(X) \mid c \cdot E_i \geq 0 \text{ for all } i\}$ 로 특징지어지며, 여기서 $E_i$ 는 분할 모리 수축의 특이 초면체이다.
• 원래 다양체 $X$에서 움직이는 쌍대의 극단선은 모리 수축을 통해 얻어진 비라션 모델 $Y$에서의 강한 가시적 쌍대의 극단선과 대응된다.
• 강한 가시적 쌍대와 허위 효과적 초면체 쌍대 간의 쌍대성(BDPP 정리)은 허위 효과적 쌍대가 유한한 유리 다각형일 경우 움직이는 쌍대가 다각형임을 암시한다.
• 이 결과는 바티레브와 아라우호의 이전 주장에서 존재하는 격차를 메우며, 특수한 경우에 추측을 확인한다.
• 수치적 역상과 투영 공식을 이용하여 다양한 비라션 모델 간의 클래스를 연결함으로써 증명이 이루어지며, 이는 교차수의 양성을 유지한다.