[논문 리뷰] Projectivity of the moduli space of stable log-varieties and subadditvity of log-Kodaira dimension

Sándor J. Kovács, Zsolt Patakfalvi|arXiv (Cornell University)|2015. 03. 10.

Algebraic Geometry and Number Theory참고 문헌 28인용 수 8

한 줄 요약

이 논문은 강화된 약한 앰플리튜드 보조정리와 행렬식 선다발, 그리고 로그-카다이라 차원의 가역성에 기반하여 일반형의 안정 로그다양체의 계수 모듈리공간의 프로젝티브성을 증명함으로써, 일반형의 안정 로그다양체에 대한 계수 모듈리공간의 프로젝티브성을 확립한다. 주요 결과는 고정된 부피, 차원, 계수 집합을 가진 이러한 모든 모듈리공간이 정수의 특성 0인 대수적으로 닫힌 체 위의 프로젝티브 다양체라는 것이다.

ABSTRACT

We prove a strengthening of Kollár's Ampleness Lemma and use it to prove that any proper coarse moduli space of stable log-varieties of general type is projective. We also prove subadditivity of log-Kodaira dimension for fiber spaces whose general fiber is of log general type.

연구 동기 및 목표

• 일般형의 안정 로그다양체에 대한 계수 모듈리공간의 프로젝티브성을 확립함으로써, 고차원 모듈리이론에서의 핵심적 빈도를 메우는 것.
• 전통적인 GIT 방법이 실패하는 고차원에서 모듈러 프로젝티브 컴actsification을 구성하는 데서 발생하는 문제를 해결하는 것.
• 분수 경계 계수를 가진 고차원 로그다양체로까지 모듈리공간 이론을 확장하는 것.
• 통합점과 비단순 기저를 모두 수용할 수 있는 모듈리 함자에 대한 프레임워크를 제공하여 이 분야의 기초적 문제를 명확히 하는 것.
• 일반형 로그다양체를 갖는 피복 공간에 대해 로그-카다이라 차원의 가역성이 성립함을 증명함으로써, 기존의 비라션 기하학 결과를 일반화하는 것.

제안 방법

• 거의 정규 다양체 위의 큰 선다발을 다룰 수 있도록 콜라르의 앰플리튜드 보조정리의 강화된 형태를 개발한다.
• 로그-칸론리카 선다발의 편제를 통한 행렬식 선다발을 이용하여 모듈리공간 위의 앰플리튜드 다항식을 구성한다.
• 반안정 환원 이론과 기저 변경 이론을 적용하여 변형에 따른 로그-칸론리 다항식의 행동을 통제한다.
• 스타인 분해와 비라션 기하학을 활용하여 총공간의 다양한 모델 간의 카다이라 차원을 연결한다.
• 벡터다발의 대칭 거듭제곱의 일반적 전역 생성성을 활용하여 편제의 크기성을 증명한다.
• 최대 변화량과 거의 정규 기저의 개념을 적용하여 결과를 프로젝티브 기저를 초월해 확장한다.

실험 결과

연구 질문

• RQ1 일반형의 안정 로그다양체의 계수 모듈리공간이 어떤 조건에서 프로젝티브가 되는가?
• RQ2 일반적인 섬유가 로그일반형인 피복 공간에 대해 로그-카다이라 차원의 가역성이 성립하는가?
• RQ3 GIT에 의존하지 않고도 모듈리공간 위의 행렬식 선다발의 앰플리튜드성을 확립할 수 있는가?
• RQ4 경계다양체가 통합점을 갖는 경우에 변형에 따른 로그-칸론리 다항식의 행동은 어떻게 변화하는가?
• RQ5 특히 거의 정규 기저의 경우에, 로그-칸론리 선다발의 편제가 기저에서 크기가 큰 조건은 무엇인가?

주요 결과

• 고정된 부피, 차원, 계수 집합을 가진 안정 로그다양체의 모듈리함자에 대한 계수 모듈리공간은 항상 특성 0인 대수적으로 닫힌 체 위의 프로젝티브 다양체이다.
• 충분히 나누어지는 q > 0에 대해 로그-칸론리 선다발의 편제의 행렬식은 크기가 크며, 이는 모듈리공간의 프로젝티브성을 보장한다.
• 일반 섬유가 klt이고 변화량이 최대인 피복 공간 f: (X, D) → Y에 대해 로그-카다이라 차원의 가역성이 성립하며, κ(KX/Y + D) ≥ κ(KXη + Dη) + max{Var fcan, κ(M)} 를 만족하는 어떤 M이 존재한다.
• 거의 프로젝티브 기저 위의 안정 로그다양체의 가속에 대해, 모든 충분히 나누어지는 q > 0에 대해 f∗OX(q(KX/Y + D))는 크기가 크다.
• 로그-칸론리 선다발의 편제의 크기성은 기저 변경과 스타인 분해에 의해 보존되며, 이는 결과를 비프로젝티브 기저로까지 확장할 수 있게 한다.
• 거의 정규 기저 이론을 통해 앰플리튜드와 크기성 결과를 프로젝티브 기저를 초월해 확장할 수 있으며, 새로운 앰플리튜드 보조정리와 일반적 전역 생성성 논증을 활용한다.