[논문 리뷰] Boundedness of families of canonically polarized manifolds: A higher dimensional analogue of Shafarevich's conjecture

Sándor J. Kovács, Max Lieblich|arXiv (Cornell University)|2006. 11. 22.

Algebraic Geometry and Number Theory참고 문헌 17인용 수 13

한 줄 요약

이 논문은 기저 다양체의 비정상적 국소에서 캐논ical로 극화된 다양체의 가중치 유형의 유한성에 대해 스택 이론적 방법을 사용하여 모듈리 스택의 컴팩티피케이션 문제를 우회함으로써, 이를 고차원으로 일반화한 샤파레비치의 추측을 증명한다. 주요 결과는 이러한 변형 유형의 수가 유한하며, 모든 유한형 가속에서 균일하게 유계임을 보이며, 이는 샤파레비치의 추측을 고차원으로 일반화한 것이다.

ABSTRACT

We show that the number of deformation types of canonically polarized manifolds over an arbitrary variety with proper singular locus is finite, and that this number is uniformly bounded in any finite type family of base varieties. As a corollary we show that a direct generalization of the geometric version of Shafarevich's original conjecture holds for infinitesimally rigid families of canonically polarized varieties.

연구 동기 및 목표

• 캐논ical로 극화된 다양체에 대한 샤파레비치의 추측의 고차원 해석을 확립하기 위해.
• 파르신-아라켈로프 재구성에서 문제 (B)인 유한성 문제를 해결하기 위해, 기저 위에서 유한형 모듈리 스택이 존재하지 않음에도 불구하고 변형 유형의 유한성을 증명하기 위해.
• 스택 이론적 업로드 기법을 통해 캐논ical 볼륨의 정도의 약한 유한성(WB)이 추상적 유한성(B)을 유도함을 보이며.
• 캐논ical로 극화된 다양체의 무한소적으로 강한 가속이 유한 개임을 보여주어, 샤파레비치의 추측의 직접적인 일반화를 확인하기 위해.
• 기본적으로 캐논ical 다항식의 유한 생성성이나 완전한 모듈리 컴팩티피케이션에 의존하지 않는 고차원에서의 유한성 결과를 위한 프레임워크를 제공하기 위해.

제안 방법

• 기저 위에서 유한형 모듈리 스택이 존재하지 않는 문제를 우회하기 위해, 캐논ical로 극화된 다양체의 모듈리 공간에 대한 스택 이론적 대체물(프록시)을 구성하기 위해.
• 불변성의 정리(세미안정 환원 정리)를 적용하여 특이점을 해결하고 기저의 유한 커버 위로 가속을 확장함으로써, 유한성 추론을 가능하게 하기 위해.
• 베두레브와 비에흐베그(2000)의 직접 이미지의 다중 캐논ical 선다이프의 정도에 대한 약한 유한성 결과를 사용하여 수치적 유계를 도출하기 위해.
• 캐논ical로 극화된 다양체의 스택으로의 추상 모듈리 사상의 업로드를 통해 구조적 유한성과 변형 유형의 유한성을 복원하기 위해.
• 비에흐베그-조의 결정성 선다이프의 양성 결과를 활용하여, 기저 변경 하에서 캐논ical 볼륨 선다이프의 정도를 제어하기 위해.
• 상대 캐논ical 모델 이론과 스택 이론적 컴팩티피케이션 이론을 적용하여, 수치적 불변량의 유한성은 변형 유형의 유한성으로 이어짐을 보여주기 위해.

실험 결과

연구 질문

• RQ1 기저 다양체의 비정상적 국소에서 모듈리 스택 컴팩티피케이션이 실패하더라도, 캐논ical로 극화된 다양체의 변형 유형의 유한성은 고차원에서 확립될 수 있는가?
• RQ2 캐논ical 볼륨의 약한 유한성(즉, $f_* \bar{\theta}^m$의 유한 정도)이 고차원에서 추상 유한성(B)을 유도하는가?
• RQ3 기저가 개방된 다양체인 캐논ical로 극화된 다양체의 가속에 대해 샤파레비치의 추측의 고차원 해석이 존재하는가?
• RQ4 무한소적으로 강한 캐논ical로 극화된 다양체의 가속이 유한 개임을 보일 수 있는가? 이는 샤파레비치의 추측의 기하학적 일반화를 확인하는가?
• RQ5 스택 이론적 방법은 어떤 정도까지 기저 위에서 유한형 모듈리 스택의 존재를 기대하지 않는 유한성 추론에서 대체 가능한가?

주요 결과

• 기저 다양체의 비정상적 국소를 가진 캐논ical로 극화된 다양체의 변형 유형의 수는 유한하다.
• 이 유한성은 모든 유한형 기저 다양체 가속에서 균일하게 유계이다.
• 베두레브와 비에흐베그([BV00])의 결과에서 유도된 캐논ical 볼륨의 약한 유한성은 스택 이론적 업로드를 통해 추상 유한성(B)을 유도하며, 이는 모듈리 스택이 유한형이 아니어도 성립한다.
• 캐논ical로 극화된 다양체의 무한소적으로 강한 가속은 유한 개이며, 이는 샤파레비치의 추측의 직접적인 일반화를 확인한다.
• 이 유한성 결과는 곡선이 아닌, 임의의 기저 다양체의 비정상적 국소에 대해서도 성립한다.
• 이 증명은 캐논ical 다항식의 유한 생성성에 의존하지 않으며, 최소 모델 프로그램에 기반한 최근 결과들과의 대안을 제공한다.