[논문 리뷰] On the log minimal model program for irreducible symplectic varieties

Christian Lehn, Gianluca Pacienza|arXiv (Cornell University)|2014. 05. 22.

Algebraic Geometry and Number Theory참고 문헌 18인용 수 6

한 줄 요약

이 논문은 $X$가 극대 단일성과 함께 캐논리컬 특이성을 가진 심플렉틱 다양체이고 $\Delta$가 효과적이고 네프인 $\mathbb{R}$-카르티에 인수인 로그-칸론리컬 쌍 $(X, \Delta)$ 에 대해 프로젝티브 비가역 심플렉틱 다양체 위에서 로그 최소 모형 프로그램(log-MMP)의 종료를 확립한다. 증명은 쇼쿠로프의 기준을 최소 로그 불일치도(mld)를 통해 활용하며, 국소적 평탄한 변형에 의해 특이성이 플립 동안 제어됨을 보이고, mld 집합에 대한 카와카타의 ACC 결과를 적용한다.

ABSTRACT

We show the termination of any log-minimal model program for a pair $(X,Δ)$ of a symplectic manifold $X$ and an effective $\mathbb R$-divisor $Δ$.

연구 동기 및 목표

• 비가역 심플렉틱 다양체 위에서 로그-칸론리컬 쌍에 대한 로그 최소 모형 프로그램(log-MMP)의 종료를 확립하는 것.
• 이러한 쌍에 대한 모든 로그-MMP가 캐논리컬 특이성과 네프 경계 인수를 가진 최소 모형에서 종료됨을 보이는 것.
• 국소적 평탄한 변형에 대한 최소 로그 불일치도(mld)의 불변성을 증명함으로써 쇼쿠로프의 종료 기준을 특이성을 가진 심플렉틱 다양체로 확장하는 것.
• MMP의 플립이 캐논리컬 해상이 존재하는 심플렉틱 다양체의 성질을 유지함을 보여주어 유한한 특이성 클래스를 보장하는 것.

제안 방법

• 플립의 종료를 위한 쇼쿠로프의 기준을 사용하며, 최소 로그 불일치도(mld)의 하부 반연속성(LSC)과 상승 체인 조건(ACC)에 기반한다.
• 만약 다양체 $Y$에 캐논리컬 해상이 존재하고, 그 해상인 $X$에서 LSC가 성립한다면, 인수의 당김과 특이성 불변성을 통해 $Y$에서도 LSC가 성립함을 증명한다.
• 정리 3.1을 적용하여 MMP의 플립 수열에서의 모든 다양체 $X_i$가 상호 국소적 평탄한 변형임을 보이고, mld 집합을 유지함을 보인다.
• 국소적 평탄성 조건 하에 고정된 계수 집합 $\Gamma$에 대해 카와카타의 결과를 적용하여 mld 집합 $M_\Gamma(X)$ 가 유한함을 보인다.
• 플립과 인수 수축을 거쳐도 심플렉틱 구조와 캐논리컬 해상이 유지됨을 보여, 중간 다양체들이 특이성의 유한한 클래스에 속함을 보장한다.
• 변형 불변성 덕분에 MMP 수열 전반에 걸쳐 최소 로그 불일치도 집합 $\Omega(X)$ 가 유한하고 불변함을 증명하며, 이는 ACC 조건을 만족시켜 종료를 보장한다.

실험 결과

연구 질문

• RQ1 비가역 심플렉틱 다양체 위의 로그-칸론리컬 쌍에 대해 로그 최소 모형 프로그램(log-MMP)은 종료되는가?
• RQ2 특이성이 발생할 경우, MMP의 플립 동안 최소 로그 불일치도(mld)는 제어 가능한가?
• RQ3 캐논리컬 해상이 존재하는 심플렉틱 다양체의 플립은 그 성질을 유지하는가?
• RQ4 심플렉틱 다양체의 플립 수열에서 최소 로그 불일치도 집합은 유계인가?
• RQ5 서로 국소적 평탄한 변형 관계에 있는 심플렉틱 다양체는 항상 동일한 mld 집합을 가진다 할 수 있는가?

주요 결과

• 프로젝티브 비가역 심플렉틱 다양체 $X$ 위의 임의의 로그-칸론리컬 쌍 $(X, \Delta)$ 에 대해 로그-MMP는 유한한 단계 내에 종료된다.
• 종료 시점에 도달한 최소 모형 $(X', \Delta')$ 는 $X'$ 가 캐논리컬 특이성을 가진 심플렉틱 다양체이고 $\Delta'$ 가 효과적이고 네프인 $\mathbb{R}$-카르티에 인수임을 보장한다.
• MMP 수열에서 나타나는 모든 다양체 $X_i$ 는 상호 국소적 평탄한 변형 관계에 있으며, 이는 국소적 특이성 불변량의 불변성을 보장한다.
• 국소적 평탄성 덕분에 최소 로그 불일치도(mld) 집합은 MMP 전반에 걸쳐 유한하고 불변하며, ACC 조건을 만족한다.
• MMP에서 만날 수 있는 특이성의 클래스가 유한함을 증명하여, 카와카타의 mld에 대한 ACC 결과 적용이 가능함을 보였다.
• 경계 인수를 이동 가능로 요구하지 않는 한에서, Matsumoto와 Zhang의 이전 결과를 개선하여 종료를 증명하였다.