[논문 리뷰] Vanishing and semipositivity theorems for semi-log canonical pairs

Osamu Fujino|arXiv (Cornell University)|2015. 09. 02.

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

한 줄 요약

이 논문은 혼합 호지 구조의 변동을 사용하지 않고 반-로그 캘러니안 쌍에 대한 효과적인 소멸 정리와 반정성 정리를 수립한다. 논문은 로그 플루리 canonical 번들의 직접 이미지에 대한 효과적인 소멸 정리를 증명하고, 이를 이용해 곡선 위의 상대 로그 플루리 canonical 번들의 직접 이미지에 대한 반정성 정리를 유도한다. 이는 안정 다양체의 모듈리 공간의 프로젝티브성을 함의한다.

ABSTRACT

We prove an effective vanishing theorem for direct images of log pluricanonical bundles of projective semi-log canonical pairs. As an application, we obtain a semipositivity theorem for direct images of relative log pluricanonical bundles of projective semi-log canonical pairs over curves, which implies the projectivity of the moduli spaces of stable varieties. It is worth mentioning that we do not use the theory of variation of (mixed) Hodge structure.

연구 동기 및 목표

• 프로젝티브 반-로그 캘러니안 쌍에서 로그 플루리 canonical 번들의 직접 이미지에 대한 효과적인 소멸 정리를 수립하는 것.
• 혼합 호지 구조의 변동을 사용하지 않고 곡선 위의 상대 로그 플루리 canonical 번들의 직접 이미지에 대한 반정성 정리를 증명하는 것.
• 안정 다양체의 모듈리 공간의 프로젝티브성을 새로운, 호지 이론에 의존하지 않는 방식으로 증명하는 것.
• 고급 호지 이론적 장비에 의존하지 않고 2012년 Fujino의 기본 반정성 정리에 대한 간결하고 접근 가능한 증명을 제공하는 것.
• Fujino (2012)의 결과를 보완하여, 보다 간단하고 직접적인 방법을 통해 그 결과들을 더 쉽게 접근 가능하게 만드는 것.

제안 방법

• Castelnuovo–Mumford 정규성에 기반한 명시적 코hom로지컬 소멸 경계를 갖는 $ f_*\mathcal{O}_X(D) \otimes \mathcal{O}_Y(lL) $ 에 대한 효과적인 소멸 정리(정리 1.1)를 증명한다.
• 핵심 기술적 요소로는 반-로그 캘러니안 쌍에 대한 Kollár–Ohsawa 유형의 소멸 정리(정리 3.1)를 적용한다.
• 콤���트 지지 코호몰로지 위의 혼합 호지 구조 이론을 사용하여 단순 정규 교차 쌍에 대해 소멸을 확립한다.
• 반복적 곡선 곱 $ X^{(s)} $ 를 구성하고, 특이점을 유지하면서 로그 캘러니안 성질을 보존하는 블로우업을 통한 순열적 변형을 적용한다.
• 해결된 다양체들 사이의 캘러니안 선다발을 연결하기 위해 일반적으로 동형인 포함관계 $ g_*\omega_Z(\Delta_Z) \subset \omega_{X^{(s)}}(D^{(s)}) $ 를 활용한다.
• 전역 생성성은 $ \mathcal{M} = \omega_C \otimes \mathcal{L}^{\otimes 2} $ 를 통해 유도하여, 호지 이론 없이도 $ f_*\omega_{X/C}(D) $ 가 네프임을 증명한다.

실험 결과

연구 질문

• RQ1 혼합 호지 구조의 변동에 의존하지 않고 반-로그 캘러니안 쌍에 대한 효과적인 소멸 정리를 수립할 수 있는가?
• RQ2 상대 로그 플루리 canonical 번들의 직접 이미지에 대한 반정성은 소멸 정리만으로 증명 가능한가?
• RQ3 안정 다양체의 모듈리 공간의 프로젝티브성은 호지 이론적 방법에 의존하지 않고도 증명 가능한가?
• RQ4 단순 정규 교차 쌍에 대해 기본 반정성 정리가 성립하는 최소한의 조건은 무엇인가?
• RQ5 Fujino (2012, 정리 1.9)의 증명을 자가 포함되며 호지 이론에 의존하지 않는 방식으로 만들 수 있는가?

주요 결과

• 효과적인 소멸 정리(정리 1.1)가 수립됨: $ H^i(Y, f_*\mathcal{O}_X(D) \otimes \mathcal{O}_Y(lL)) = 0 $ for $ i > 0 $ and $ l \geq (k-1)(n+1-t) - t + 1 $, 전역 생성성은 $ l \geq (k-1)(n+1-t) - t + 1 + n $ 에서 성립.
• 반정성 정리(정리 1.2)가 증명됨: $ f_*\mathcal{O}_X(k(K_{X/Y} + \Delta)) $ 는 평탄한 사상 $ f: X \to Y $ 에 대해 네프이며, $ Y $ 가 매끄러운 곡선이고, 반-로그 캘러니안 및 생성 조건을 만족할 때 성립.
• 기본 반정성 정리(정리 1.4)가 호지 이론 없이 재증명됨: $ f_*\omega_{X/C}(D) $ 는 단순 정규 교차 쌍 $ (X,D) $ 에 대해 $ f: X \to C $ 가 평탄하고 모든 스트라투즘이 $ C $ 에 포괄적일 때 네프임을 보임.
• 완전한 모듈리 공간의 부분공간의 프로젝티브성(정리 1.3)이 Kollár의 기준과 반정성 결과를 통해 증명됨.
• 기본 반정성 정리의 증명이 단순화되었고, 순차적 극대화된 혼합 호지 구조의 변동에 의존하지 않음.
• 해결 $ g: Z \to X^{(s)} $ 와 $ \Delta_Z $ 가 단순 정규 교차 분할이 되도록 구성함으로써 캘러니안 선다발의 호환성과 전역 생성성 추론이 가능해짐.