[논문 리뷰] Uniruledness of stable base loci of adjoint linear systems with and without Mori Theory

Sébastien Boucksom, Amaël Broustet외 1명|arXiv (Cornell University)|2009. 02. 06.

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

한 줄 요약

이 논문은 klt 쌍에서의 인접 divisor에 대해 최소 모형 프로그램과 Takayama의 확장 기법을 사용하여 안정적이고 증강된 기저 위치의 uniruledness를 확립한다. $(X, \Delta)$가 klt일 경우, 인접 divisor $K_X + \Delta$의 비준거, 제한된, 증강된 기저 위치의 기약 성분들이 uniruled임을 증명하며, 이는 이전의 매끄러운 다양체와 준거정규 쌍에 대한 결과를 일반화한다.

ABSTRACT

We explain how to deduce from recent results in the Minimal Model Program a general uniruledness theorem for base loci of adjoint divisors. We also show how to recover special cases by extending a technique introduced by Takayama.

연구 동기 및 목표

• klt 쌍 $(X, \Delta)$에서의 인접 divisor $K_X + \Delta$에 대해 최소 모형 프로그램을 사용하여 기저 위치의 uniruledness를 확립한다.
• 일반화된 Takayama의 방법을 사용하여 $-K_X$ 또는 $L - K_X$가 준거정규일 경우 기저 위치의 uniruledness를 증명한다.
• 인접 선형계의 맥락에서 비준거, 제한된, 증강된 기저 위치 사이의 관계를 명확히 한다.
• 큰 및 편효용성 인접 divisor에 모두 적용 가능한 uniruledness 결과의 일반적 프레임워크를 제공한다.

제안 방법

• klt 쌍 $(X, \Delta)$에서의 기저 위치의 구조를 분석하기 위해 최소 모형 프로그램(MMP)을 사용한다.
• 안정 기저 위치 $\mathbb{B}(D)$를 $\mathbb{R}$-선형 동치인 효과적 divisor들의 지지집합의 교차로 정의한다.
• 점점 증가하는 선형 계열의 행동을 연구하기 위해 증강 기저 위치 $\mathbb{B}_+(D)$와 제한 기저 위치 $\mathbb{B}_-(D)$를 사용한다.
• 특수한 경우에서의 uniruledness를 유도하기 위해 로그-다중표준 형식에 대한 Takayama의 확장 정리를 적용한다.
• 디오판틴 근사법을 사용하여 기저 위치 임계값의 유리수 근사값을 구성하고, 감소 추론을 위해 활용한다.
• 보조 divisor들의 양성 또는 준거정규성의 검증으로 문제를 환원하기 위해 $\mathbb{Q}$-선형 동치에서의 분해 기법을 사용한다.

실험 결과

연구 질문

• RQ1 klt 쌍 $(X, \Delta)$에 대해, 안정 기저 위치 $\mathbb{B}(K_X + \Delta)$의 기약 성분들이 uniruled이 되는 조건은 무엇인가?
• RQ2 Takayama의 방법을 매끄럽지 않거나 $-K_X$의 소멸을 가정하지 않고도 기저 위치의 uniruledness를 증명하기 위해 일반화할 수 있는가?
• RQ3 인접 divisor에 대해 비준거 위치 $\mathop{\rm NNef}(D)$, $\mathbb{B}_-(D)$, $\mathbb{B}_+(D)$ 사이의 관계는 무엇인가?
• RQ4 $(X, \Delta)$가 klt가 아니라 로그-정규 특이성을 가질 경우, 기저 위치의 uniruledness 성질이 유지되는가?
• RQ5 큰 인접 divisor가 아닐 경우에도 uniruledness 결과를 일반화할 수 있는가?

주요 결과

• klt 쌍일 경우, 비준거 위치 $\mathop{\rm NNef}(K_X + \Delta)$의 모든 기약 성분은 uniruled이다.
• 큰 인접 divisor $K_X + \Delta$에 대해, $\mathbb{B}_+(K_X + \Delta)$의 모든 기약 성분은 uniruled이다.
• 만약 $X$가 매끄럽고 $-K_X$ 또는 $L - K_X$가 준거정규일 경우, $L$이 편효용성이라면 $\mathbb{B}_-(L)$의 모든 성분은 uniruled이다.
• $L$이 크고 $-K_X$ 또는 $L - K_X$가 준거정규일 경우, $\mathbb{B}(L)$ 및 $\mathbb{B}_+(L)$의 모든 성분은 uniruled이다.
• klt 쌍에 대해 $\mathop{\rm NNef}(K_X + \Delta) = \mathbb{B}_-(K_X + \Delta)$가 성립하며, 이 둘 모두의 성분은 uniruled이다.
• 로그-정규 쌍에 대해서는 일반적으로 결과가 성립하지 않으며, 이는 예제 6.4에서 반례로 제시된다.