[논문 리뷰] Abundance for 3-folds with non-trivial Albanese maps in positive characteristic

Lei Zhang|arXiv (Cornell University)|2017. 05. 02.

Algebraic Geometry and Number Theory참고 문헌 36인용 수 7

한 줄 요약

이 논문은 특성 p > 5인 대수적으로 닫힌 체 위에서 비자명한 아르바네제 사상이 있는 3차원 다양체에 대해 로그 번영을 증명한다. 캐논리컬 번들 공식과 F-정규성 하에서의 층의 양성 결과를 이용하여, 일반 섬유의 코다이라 차원이 0 또는 1이거나, 비자명한 아르바네제 사상이 있는 타원적 분할일 경우에 로그 캐논리컬 딜로이드 K_X + B가 준단조임을 확립한다.

ABSTRACT

In this paper, we prove abundance for 3-folds with non-trivial Albanese maps, over an algebraically closed field of characteristic $p > 5$.

연구 동기 및 목표

• 특성 p > 5에서 비자명한 아르바네제 사상이 있는 klt, Q-팩터링, 프로젝티브 3차원 다양체에 대해 로그 번영을 확립하기 위해.
• 특성 p > 5에서 기하적 일반 섬유가 가능한 특이성을 가질 수 있는 분할에 대해 코다이라 차원의 하향성(이타카 추측)을 확장하기 위해.
• 일반 섬유와 상대 이타카 분할에 대한 특정 조건 하에서 K_X + B의 준단조성을 증명하기 위해.
• 비유계인 경우를 다루기 위해 특이 섬유가 있는 분할을 다루고 특성 p에서의 캐논리컬 번들 공식을 적용하기 위해.

제안 방법

• 강한 조건 하에서 B_Z가 유효하고 K_W ~_Q h^*(K_Z + B_Z가 되는 특성 p에서 상대 최소 타원적 분할에 대한 캐논리컬 번들 공식을 활용한다.
• F-정규성과 f-단조성 조건 하에서 약한 양성 층 f_*O_X(n(K_X/Y + B))에 대한 파르신과 에지리의 양성 결과를 적용한다.
• 로그 최소 모델과 스텐인 인수분해를 이용하여, 최대 아르바네제 차원을 가진 곡선 또는 표면 위의 분할로 감소시킨다.
• 일반 섬유의 코다이라 차원이 dim X/Y - 1일 때 상대 이타카 분할의 일반 섬유와 B가 만날 수 없도록 가정하여 타원적 분할의 구조를 보장한다.
• 정리 4.9를 적용하여 κ(X, K_X + B) ≥ 1 또는 K_X + B ~_Q 0일 경우 K_X + B의 준단조성을 결론짓는다.
• 차원 ≤ 3에서의 특이점 해소 결과와 [48] 및 [8]의 준단조성 결과를 비유계인 경우에 기반으로 한다.

실험 결과

연구 질문

• RQ1 특성 p > 5에서 비자명한 아르바네제 사상이 있는 3차원 다양체에 대해 로그 번영이 성립하는가?
• RQ2 특성 p > 5에서 기하적 일반 섬유가 특이성을 가질 수 있는 분할에 대해 코다이라 차원의 하향성이 확립될 수 있는가?
• RQ3 특성 p에서 상대 이타카 분할이 타원 곡선으로 분할되는 조건은 무엇인가?
• RQ4 특성 p에서 캐논리컬 번들 공식이 효과적으로 K_X + B의 준단조성을 증명하는 데 적용될 수 있는가?
• RQ5 비자명한 아르바네제 사상은 분할의 구조와 로그 캐논리컬 딜로이드의 행동에 어떤 영향을 미치는가?

주요 결과

• 정리 1.1은 특성 p > 5인 대수적으로 닫힌 체 위에서 비자명한 아르바네제 사상이 있는 klt, Q-팩터링, 프로젝티브 최소 3차원 다양체 X에 대해 K_X가 준단조임을 증명한다.
• 정리 1.2는 B와 상대 이타카 분할에 대한 지정된 조건 하에서 일반 섬유의 코다이라 차원이 0(= dim Y = 2) 또는 1(= dim Y = 1)일 경우 K_X + B가 준단조임을 증명한다.
• 정리 1.4는 상대 이타카 분할이 일반 섬유의 코다이라 차원이 dim X/Y - 1일 때 B를 피하는 조건 하에서 κ(X, K_X + B) ≥ κ(X_η, K_X_η + B_η) + κ(Y)의 부등식을 확립한다.
• 정리 1.6는 f: X → Y가 타원 곡선 또는 아벨 표면로의 분할이고 K_X + B가 f-크기일 경우 κ(K_X + B) ≥ κ(X_η, K_X_η + B_η)임을 보여준다.
• 정리 1.7은 f: X → Y가 종수 ≥ 1인 곡선으로의 분할이고 κ(X_η, (K_X + B)|_X_η) = 0일 경우 κ(X, K_X + B) ≥ κ(Y)임을 증명하며, K_X + B가 네프일 경우 준단조임을 보여준다.
• 증명은 κ(X, K_X + B) ≤ 0인 경우에 유일한 가능성은 κ(Y) = κ(X_η, (K_X + B)_η) = 0이며, 이 경우 [48] 또는 [20]의 알려진 결과로부터 번영이 도출됨을 확인한다.