[논문 리뷰] An elementary semi-ampleness result for log canonical divisors

Shigetaka Fukuda|arXiv (Cornell University)|2010. 03. 06.

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

한 줄 요약

이 논문은 카와마타 로그 단절성 특이점을 가진 프로젝티브 다양체에서 로그 캐논리컬 분할수 $K_X + \Delta$ 가 반세미아미 $\mathbf{Q}$-분할수와 수치적으로 동치일 경우, $K_X + \Delta$ 자체도 반세미아미임을 증명한다. 증명은 상대적 반세미아미성 정리와 수치적 동치를 이용해 문제를 비라션 기하학적 추론으로 환원하며, 궁극적으로 자르스키의 주정리와 수치적 동치에 의한 앰플리튜드 보존성으로 인해 분할수가 반세미아미임을 도출한다.

ABSTRACT

If the log canonical divisor on a projective variety with only Kawamata log terminal singularities is numerically equivalent to some semi-ample $\mathbf{Q}$-divisor, then it is semi-ample.

연구 동기 및 목표

• 수치적으로 반세미아미 $\mathbf{Q}$-분할수와 동치인 로그 캐논리컬 분할수에 대한 반세미아미성 기준을 확립하기 위해.
• 카와마타 로그 단절성 쌍에 대한 로그 부풍의 추측의 특수한 경우에 대해 직접적이고 기본적인 증명을 제공하기 위해.
• 기존의 수치적으로 자명한 로그 캐논리컬 분할수에 관한 결과를 더 넓은 범위의 수치적으로 동치인 반세미아미 분할수의 설정으로 확장하기 위해.
• 주요 결과를 더 넓은 쌍의 범주로 일반화하는 로그 캐논리컬 특이점에 대한 보조 추측을 제안하기 위해.
• 고급 최소 모델 프로그램 기법을 피하면서도 상대적 반세미아미성과 수치적 동치를 이용한 자가 포함된 추론을 제공하기 위해.

제안 방법

• 충분히 크고 나누어떨어지는 $l$에 대해, $D$를 수치적으로 $K_X + \Delta$와 동치인 반세미아미 $\mathbf{Q}$-카르티어 $\mathbf{Q}$-분할수로 삼고, 선형 계수 $|lD|$ 를 통해 사상 $f: X \to Y$ 를 구성한다.
• 수치적으로 $f^*A$ 와 동치이므로, $K_X + \Delta$ 가 $f$-네프임을 구성에 의해 보인다. 여기서 $A$ 는 $Y$ 에서 앰플리튜드 분할수이다.
• 일반적인 섹션 $F$ 에 대해 $\mathbf{Q}$-선형 자명성 결과(정리 0.4)를 적용하여 $(K_X + \Delta)|_F$ 가 $\mathbf{Q}$-선형 자명함을 증명한다.
• 상대적 반세미아미성 정리(정리 0.7)를 적용하여 $K_X + \Delta$ 가 $f$-반세미아미임을 유추하며, 따라서 $m(K_X + \Delta) = g^*B$ 를 만족하는 $Z$ 에서의 $h$-앰플리튜드 분할수 $B$ 가 존재한다.
• 수치적으로 자명한 $f^*(mA - lB)$ 를 통해 $h: Z \to Y$ 가 비라션적이고 유한함을 증명하고, 자르스키의 주정리를 적용하여 $h$ 가 동형임을 도출한다.
• 결국 $lB$ 가 $Y$ 에서 앰플리튜드임을 증명하며, 이는 수치적 동치성과 앰플리튜드 보존성에 의해 $K_X + \Delta$ 가 반세미아미임을 확인한다.

실험 결과

연구 질문

• RQ1 카와마타 로그 단절성 특이점을 가진 다양체에서, 로그 캐논리컬 분할수 $K_X + \Delta$ 가 반세미아미 $\mathbf{Q}$-분할수와 수치적으로 동치일 경우, 어떤 조건에서 반세미아미가 되는가?
• RQ2 수치적 동치 조건 하에서 상대적 반세미아미성 정리로부터 $K_X + \Delta$ 의 반세미아미성이 유추될 수 있는가?
• RQ3 일반적인 섹션에 대한 $K_X + \Delta$ 의 제약이 $\mathbf{Q}$-선형 자명성을 띄면, 그것의 전반적 반세미아미성이 유도될 수 있는가?
• RQ4 카와마타 로그 단절성 설정에서, 반세미아미 분할수와의 수치적 동치를 통해 로그 부풍 추측에 접근할 수 있는가?
• RQ5 주요 결과가 확장되는 최소한의 특이점 조건은 무엇이며, 특히 로그 캐논리컬 쌍에 대해 어떤가?

주요 결과

• 카와마타 로그 단절성 특이점을 가진 프로젝티브 다양체에서, 로그 캐논리컬 분할수 $K_X + \Delta$ 가 반세미아미 $\mathbf{Q}$-카르티어 $\mathbf{Q}$-분할수와 수치적으로 동치일 경우, $K_X + \Delta$ 는 반세미아미이다.
• 증명은 $K_X + \Delta$ 와 수치적으로 동치인 반세미아미 분할수에 의해 유도된 사상 $f: X \to Y$ 에 대해 상대적 반세미아미성 정리(정리 0.7)를 적용하는 데 기반한다.
• 일반적인 섹션 $F$ 에 대한 $K_X + \Delta$ 의 제약은 정리 0.4에 의해 $\mathbf{Q}$-선형 자명함을 보장한다.
• 상대적 반세미아미성 정리에 의해 유도된 사상 $h: Z \to Y$ 는 자르스키의 주정리를 통해 동형임을 증명하며, 이는 $K_X + \Delta$ 가 반세미아미임을 의미한다.
• $lB$ 가 $Y$ 에서 앰플리튜드임을 $mA$ 의 앰플리튜드성과 수치적 동치성으로부터 도출하며, 이는 $K_X + \Delta$ 가 반세미아미임을 확인한다.
• 결과는 주요 결과를 더 넓은 범위의 로그 캐논리컬 특이점으로 일반화하는 보조 추측(추측 0.8)을 지지하며, 이후 공요에 의해 차원 ≤ 4에서 부분적으로 확인되었다.