[논문 리뷰] Log pluricanonical representations and abundance conjecture

Osamu Fujino, Yoshinori Gongyo|arXiv (Cornell University)|2011. 04. 03.

Algebraic Geometry and Number Theory참고 문헌 31인용 수 20

한 줄 요약

이 논문은 반만족가능한 로그 카날로니컬 쌍의 경우에 대해 로그 플루리카날 표현의 유한성을 확립하며, 이러한 쌍과 관련된 비라시onal 동형군이 유한하다는 것을 증명한다. 주요 기여는 반만족가능한 로그 카날로니컬 쌍의 부유성 추측을 정규화를 통해 로그 카날로니컬 케이스로 환원함으로써 고차원에서의 최소 모델 프로그램에 대한 귀납적 접근법을 가능하게 한다.

ABSTRACT

We prove the finiteness of log pluricanonical representations for projective log canonical pairs with semi-ample log canonical divisor. As a corollary, we obtain that the log canonical divisor of a projective semi log canonical pair is semi-ample if and only if so is the log canonical divisor of its normalization. We also treat many other applications.

연구 동기 및 목표

• 반만족가능한 로그 카날로니컬 쌍에서 로그 플루리카날 표현의 유한성을 증명한다.
• 반만족가능한 로그 카날로니컬 쌍에 대한 로그 부유성 추측을 정규화를 통해 로그 카날로니컬 쌍의 경우로 환원한다.
• 고차원에서의 최소 모델 프로그램에 대한 귀납적 접근법을 위한 기초 단계를 제공한다.
• 반만족성과 비라시onal 유한성에 관한 결과를 로그 카날로니컬 쌍과 반만족가능한 로그 카날로니컬 쌍으로 일반화한다.
• 비라시onal 동형군의 유한성과 최소 모델 프로그램 내의 부유성 추측 및 확장 추측 간의 연결 고리를 제공한다.

제안 방법

• 서브 카와마타 로그 카날로니컬 쌍에 대해 $\widetilde{B}$-비라시onal 사상과 $\widetilde{B}$-비라시onal 표현의 개념을 도입하여, 고차원 일반화를 위한 새로운 기술적 도구를 제공한다.
• 상대적 카와마타–비에흐 방영 정리와 코homological injectivity를 적용하여 로그 카날로니컬 중심에서의 제한 사상 분석을 수행한다.
• 이타카 분할과 상대적 반만족성을 활용하여 문제를 저차원 사례로 환원한다.
• 글로벌 ACC 추측과 로그 카날로니컬 임계값에 대한 ACC를 적용하여 비영 추측을 스무스 케이스로 환원한다.
• 쇼쿠로프의 다각체 추론을 활용하여 반만족성 추론에서 $\mathbb{Q}$-다중분포에서 $\mathbb{R}$-다중분포로 결과를 확장한다.
• 콜라르의 접합 이론과 앰블 스케일링을 동반한 상대적 MMP를 활용하여 추측적 조건 하에서 양호한 최소 모델을 구성한다.

실험 결과

연구 질문

• RQ1 로그 카날로니컬 쌍 $(X,\Delta)$에 대해 로그 플루리카날 표현 $\rho_m(\mathrm{Bir}(X,\Delta))$가 어떤 조건에서 유한한가?
• RQ2 반만족가능한 로그 카날로니컬 쌍에서 로그 카날로니컬 다중분포 $K_X + \Delta$가 언제 반만족적인가, 그리고 이는 그 정규화와 어떻게 관련되는가?
• RQ3 반만족가능한 로그 카날로니컬 쌍에 대한 부유성 추측은 어떻게 로그 카날로니컬 케이스로 환원할 수 있는가?
• RQ4 로그 카날로니컬 중심 $S$에 대해 제한 사상 $H^0(X, \mathcal{O}_X(m(K_X + \Delta))) \to H^0(S, \mathcal{O}_S(m(K_X + \Delta)))$의 상사성은 어떤 조건에서 보장되는가?
• RQ5 기존의 추측을 활용하여 비영 추측과 확장 추측을 어느 정도까지 저차원 또는 단순한 케이스로 환원할 수 있는가?

주요 결과

• 로그 플루리카날 표현 $\rho_m(\mathrm{Bir}(X,\Delta))$는 $K_X + \Delta$가 반만족적이고 $m(K_X + \Delta)$가 카르티에일 때 유한하다. 이는 후지노와 곤료의 추측을 해결한다.
• 비라시onal 동형군 $\mathrm{Bir}(X,\Delta)$는 $K_X + \Delta$가 빅일 때 유한하다. 이는 카치올라와 타신의 질문에 대한 답이다.
• 반만족가능한 로그 카날로니컬 쌍에서 로그 카날로니컬 다중분포 $K_X + \Delta$가 반만족적일 조건은 그 정규화로의 역상이 반만족적일 때이고, 이는 핵심적인 환원 단계를 제공한다.
• 로그 카날로니컬 쌍에 대한 부유성 추측은 로그 부유성과 네프성 조건을 가정할 경우 성립하며, 이는 기존의 카와마타 로그 카날로니컬 쌍 결과를 일반화한다.
• 반만족가능한 다중분포를 가진 다중분포 로그 카날로니컬 쌍에 대해 확장 추측은 성립하며, 이는 저차원에서의 부유성 추측에 따라 따른다.
• 기저 위에서 양호한 최소 모델의 존재는 차원 $n$에서의 부유성 추측 및 관련 추측에 의해 암시되며, 표준적인 추측적 조건 하에 성립한다.