[논문 리뷰] Remarks on the abundance conjecture

Kenta Hashizume|arXiv (Cornell University)|2015. 09. 15.

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

한 줄 요약

이 논문은 상대적 풍부성 추측이 $(n-1)$-다양체에 대해 성립한다고 가정할 때, 경계 배수체가 크고 로그 캐논리컬 $n$-다양체에 대해 그 추측을 증명한다. 스케일링을 동반한 로그 최소 모형 프로그램과 기존의 종료 결과를 이용하여, 네비티브 조건 하에서 로그 캐논리컬 배수체의 준단조성을 확립함으로써, 로그 MMP의 완전한 종료와 4차원에서의 인접 링의 유한 생성성을 이룩한다.

ABSTRACT

We prove the abundance theorem for log canonical $n$-folds such that the boundary divisor is big assuming the abundance conjecture for log canonical $(n-1)$-folds. We also discuss the log minimal model program for log canonical $4$-folds.

연구 동기 및 목표

• 경계 배수체가 클 때 로그 캐논리컬 $n$-다양체에 대해 상대적 풍부성 추측을 증명하며, 이는 $(n-1)$-다양체에 대해 추측이 성립한다고 가정할 때를 전제로 한다.
• 경계 배수체가 큰 로그 캐논리컬 4-다양체에 대해 최소 모형 프로그램(MMP)을 확장하여 종료성과 양호한 최소 모형의 존재를 증명한다.
• 동일한 귀납적 가정 하에, 경계 배수체가 큰 로그 캐논리컬 4-다양체에 대해 인접 링의 유한 생성성을 증명한다.
• 모든 차원에서 로그 플립의 존재를 전제로 하여, 경계 배수체가 큰 로그 캐논리컬 4-다양체에 대해 완전한 최소 모형 이론을 제공한다.

제안 방법

• 차원에 대한 귀납법을 사용하며, 로그 캐논리컬 $(n-1)$-다양체에 대해 풍부성 추측이 성립한다고 가정하여 $n$-다양체에 대해 이를 증명한다.
• 스케일링을 동반한 로그 최소 모형 프로그램을 적용하여 문제를 유한한 플립 및 배수체 수축의 순서로 환원한다.
• 이전 연구에서 확립된 바에 따라, $\mathbb{Q}$-팩터링 dlt 4-다양체에 대해 스케일링을 동반한 로그 MMP의 종료가 알려져 있음을 이용한다.
• 모든 차원에서 로그 쌍에 대해 플립이 존재함을 이용하여 MMP의 실행을 가능하게 한다.
• 네비티브 조건 하에서 상대적 풍부성과 준단조성의 동치성을 이용하여 문제를 준단조성의 증명으로 환원한다.
• 논문 [B2]와 [F4]의 스케일링을 동반한 로그 MMP 종료 결과를 활용하여, 무한한 경우에 모순을 이끌어내어 종료를 증명한다.

실험 결과

연구 질문

• RQ1 $(n-1)$-다양체에 대해 상대적 풍부성 추측이 성립한다고 가정할 때, 경계 배수체가 큰 로그 캐논리컬 $n$-다양체에 대해 추측이 성립하는가?
• RQ2 경계 배수체가 큰 로그 캐논리컬 4-다양체에 대해 스케일링을 동반한 로그 최소 모형 프로그램이 완전히 종료되는가?
• RQ3 경계 배수체가 큰 로그 캐논리컬 4-다양체에 대해 인접 링이 유한 생성되는가?
• RQ4 경계 배수체가 클 조건 하에서 상대적 풍부성 추측이 4차원에서 양호한 최소 모형 또는 모리 피브리제이션의 존재를 암시하는가?
• RQ5 로그 캐논리컬 4-다양체에 대해 경계 배수체가 크고, 로그 캐논리컬 배수체가 기저에 대해 준효율적일 경우, 로그 MMP가 종료되는가?

주요 결과

• 경계 배수체가 클 때, $(n-1)$-다양체에 대해 상대적 풍부성 추측이 성립한다고 가정하면, 로그 캐논리컬 $n$-다양체에 대해 추측이 성립한다.
• 경계 배수체가 큰 로그 캐논리컬 4-다양체에 대해 스케일링을 동반한 로그 최소 모형 프로그램은 종료되며, 이는 양호한 최소 모형 또는 모리 피브리제이션을 제공한다.
• 로그 캐논리컬 배수체가 기저에 대해 준효율적일 경우, 경계 배수체가 큰 로그 캐논리컬 4-다양체에 대해 어떤 MMP도 종료된다.
• 로그 캐논리컬 4-다양체에 대해 경계 배수체가 큰 $n$ 개의 $\mathbb{Q}$-카르티에 배수체의 인접 링은 $\mathcal{O}_U$-대수로서 유한 생성된다.
• 모든 차원에서 로그 플립의 존재는 경계 배수체가 큰 로그 캐논리컬 4-다양체에 대해 로그 MMP의 완전한 구현을 가능하게 한다.
• 증명은 무한한 플립 순서에 의한 모순에 기반하며, 이는 $\mathbb{Q}$-팩터링 dlt 4-다양체에 대해 알려진 종료 결과에 의해 제거된다.