[논문 리뷰] On base point freeness in positive characteristic

Paolo Cascini, Hiromu Tanaka외 1명|arXiv (Cornell University)|2013. 05. 15.

Algebraic Geometry and Number Theory참고 문헌 26인용 수 11

한 줄 요약

이 논문은 프로베니우스 관련 기법을 사용하여 양의 특성에서의 인접 분할에 대한 기저 점 자유성 및 앰플리티 기준을 수립한다. $(X, B)$가 강한 $F$-정칙이고 $A$가 앰플리하며 $K_X + A + B$가 стрictly 네프이면, $K_X + A + B$는 앰플리하다는 것을 증명한다—이는 강한 $F$-정칙성 하에서 카와마타의 기저 점 자유 정리에 대한 양의 특성 해석이다.

ABSTRACT

We prove that if $(X,A+B)$ is a pair defined over an algebraically closed field of positive characteristic such that $(X,B)$ is strongly $F$-regular, $A$ is ample and $K_X+A+B$ is strictly nef, then $K_X+A+B$ is ample. Similarly, we prove that for a log pair $(X,A+B)$ with $A$ being ample and $B$ effective, $K_X+A+B$ is big if it is nef and of maximal nef dimension. As an application, we establish a rationality theorem for the nef threshold and various results towards the minimal model program in dimension three in positive characteristic.

연구 동기 및 목표

• 고전적 소멸 정리가 실패하는 특성 0이 아닌 특성에서, 고전적 소멸 정리가 실패함에 따라 기저 점 자유 정리를 수립한다.
• 강한 $F$-정칙성과 $A$의 앰플리티 조건 하에서, стрictly 네프 인접 분할 $K_X + A + B$가 앰플리하다는 것을 증명한다.
• 양의 특성에서 네프 감소 사상과 네프 임계값의 유리성에 관한 결과를 확장한다.
• 알gebraically closed field의 양의 특성에서 차원 3에서의 최소 모델 프로그램을 위한 기초를 마련한다.

제안 방법

• 프로베니우스의 추적 사상과 $F$-조정을 사용하여 특성 $p>0$에서 로그 극점 중심의 대체로 0차원의 $F$-순 중심을 구성한다.
• $F$-임계값 함수를 도입하여 고전적 $F$-순 임계값을 대체하고, 프로베니우스의 회전을 통한 절편 승격을 가능하게 한다.
• 네프 감소 사상을 적용하여 최대 네프 차원을 갖는 분할을 분석하고, 수치적 및 수치적 양성성 성질과 연관시킨다.
• 귀납법과 부분 스킴 커팅 기법을 사용하여 중심을 분리하고 MMP 설정에서 특이점을 통제한다.
• 알바네제 사상과 스텐 인자 분해를 사용하여 피브레이션과 곡선 및 표면에서의 수치적 영성분을 분석한다.
• [FT12]과 [Keel99]의 결과를 적용하여 양호한 최소 모델에서 MMP를 수행하고, 반-앰플리티를 도출한다.

실험 결과

연구 질문

• RQ1 양의 특성에서 어떤 조건 하에 $K_X + A + B$가 стрictly 네프인 인접 분할이 앰플리하다고 할 수 있는가?
• RQ2 소멸 정리에 의존하지 않고, 양의 특성에서 네프 임계값의 유리성을 확립할 수 있는가?
• RQ3 프로베니우스 기법을 사용하여 기저 점 자유성의 절편 승격을 위한 나델형 소멸 정리를 어떻게 대체할 수 있는가?
• RQ4 이 결과들이 양의 특성에서의 차원 3 최소 모델 프로그램에 어떤 영향을 미치는가?
• RQ5 네프 차원이 작을 때 네프 감소 사상을 사용하여 반-앰플리티를 증명할 수 있는가?

주요 결과

• $(X, B)$가 강한 $F$-정칙이고 $A$가 앰플리하며 $K_X + A + B$가 стрictly 네프이면, $K_X + A + B$는 앰플리하다.
• 네프 임계값 $\lambda = \min\{t > 0 \mid K_X + B + tA \text{ is nef}\}$은 유리수이며, $(K_X + \lambda A + B) \cdot C = 0$을 만족하는 곡선 $C$가 존재한다.
• 강한 $F$-정칙 쌍 $(X, \Delta)$에 대해 $K_X + \Delta$가 크고 STRONGLY 네프이면, 그것은 앰플리하다.
• $K_X + B$가 네프이고 최대 네프 차원을 갖는다면, 이는 이동 가능한 곡선에서 수치적으로 양성일 경우 크다.
• 차원 3에서 $K_X + B$는 $n(K_X + B) \leq 2$이면 반-앰플리하다. 이 경우 $n=1$은 피브레이션과 알바네제 분석을 통해 해결되었다.
• $\kappa(X, K_X + B) = 3$이면, 키틀의 정리에 의해 반-앰플리티가 도출되며, $n(K_X + B) = 0$이면 $K_X + B \sim_\mathbb{Q} 0$이면 $\overline{\mathbb{F}}_p$에서 반-앰플리티가 성립한다.