[논문 리뷰] The structure of surfaces mapping to the moduli stack of canonically polarized varieties

Stefan Kebekus, Sándor J. Kovács|ArXiv.org|2007. 07. 13.

Algebraic Geometry and Number Theory참고 문헌 15인용 수 11

한 줄 요약

이 논문은 캐논적으로 극화된 대상의 가속도가 준사영 표면 위에 정의된 가중치에 대해, 그 기저 위의 로그 최소 모형 프로그램(LMMP)과 모듈리 사상 사이의 정확한 연결고리를 확립한다. 로그 플루리 형식의 연장과 LMMP 분석을 통해, 가중치의 변동성이 최대일 경우 기저 표면은 로그 일반 유형이어야 한다는 것을 증명한다—이는 표면에 대해 비어 있는 비율의 비에흐베그 추측을 확인하고, 모듈리 사상의 피브레이션 구조를 명시적으로 묘사한다.

ABSTRACT

Generalizing the well-known Shafarevich hyperbolicity conjecture, it has been conjectured by Viehweg that a quasi-projective manifold that admits a generically finite morphism to the moduli stack of canonically polarized varieties is necessarily of log general type. Given a quasi-projective surface that maps to the moduli stack, we employ extension properties of logarithmic pluri-forms to establish a strong relationship between the moduli map and the minimal model program of the surface. As a result, we can describe the fibration induced by the moduli map quite explicitly. A refined affirmative answer to Viehweg's conjecture for families over surfaces follows as a corollary.

연구 동기 및 목표

• 캐논적으로 극화된 대상의 가속도가 모듈리 스택으로 가는 표면의 구조를 이해하기 위해.
• 기저 표면 위의 로그 최소 모형 프로그램(LMMP)과 모듈리 사상 사이의 강력한 관계를 확립하기 위해.
• 표면 위의 가중치에 대해 비에흐베그 추측의 개선된 형태를 증명하여, 최대 변동성일 경우 로그 일반 유형임을 보여주기 위해.
• 변동성이 최대가 아닐 경우, 비에르기오메트릭 기하학과 연장 기법을 사용하여 모듈리 사상의 피브레이션 구조를 묘사하기 위해.

제안 방법

• 새로운 연장 정리(정리 2.10)를 사용하여 코디멘션 1의 부분다양체 위에서 로그 플루리 형식을 연장한다.
• 비에흐베그-쯔오 층을 적용하여 로그 최소 모형 위에서 로그 캐논리컬 번들의 양성도를 분석한다.
• 로그 카다이라 차원이 0인 다양체를 다루기 위해 전역 인덱스-1 코팅을 사용한다.
• 기저 표면 $S^\circ$ 위에 피브레이션을 구성하기 위해 로그 최소 모형 프로그램(LMMP)을 활용한다.
• 에탈레 기저 변경과 비유사 변형에 대한 모듈리 사상의 행동을 분석한다.
• 조정 공식과 층 이론적 추론을 사용하여 $\kappa(S^\circ) = 0$ 경우의 모순을 유도한다.

실험 결과

연구 질문

• RQ1 캐논적으로 극화된 대상의 가중치 가속도가 기저 표면 위의 최소 모형 프로그램과 어떻게 관련이 있는가?
• RQ2 기저 표면의 로그 카다이라 차원이 2 미만일 경우, 가중치의 변동성은 어떻게 되는가?
• RQ3 비에흐베그 추측을 표면에 대해 개선하고, 조합론적 방법 대신 연장 기법을 사용하여 증명할 수 있는가?
• RQ4 언제 모듈리 사상이 기저 표면 위의 피브레이션을 통해 인수화되는가?
• RQ5 $\kappa(S^\circ) = 1$ 또는 $-\infty$일 경우, 모듈리 사상의 정확한 구조는 무엇인가?

주요 결과

• 만약 $\kappa(S^\circ) = -\infty$이면, $\operatorname{Var}(f^\circ) = 1$이며, 가중치는 일반 유형 표면으로부터의 역상이다.
• 만약 $\kappa(S^\circ) = 1$이면, 모듈리 사상은 일반적으로 타원곡선 또는 $\mathbb{C}^*$를 갖는 피브레이션을 통해 인수화되며, $\operatorname{Var}(f^\circ) = 1$이다.
• $\kappa(S^\circ) = 0$일 경우, 최대 변동성의 가정은 모순을 유도하므로, 그러한 가중치는 존재할 수 없다.
• 모듈리 사상은 항상 $\kappa(S^\circ) < 2$일 경우, $(S,D)$ 위의 LMMP에 의해 유도된 피브레이션을 통해 비유사적으로 인수화된다.
• 증명은 키틀-맥커넌의 마야니시 추측 해결책에 의존하지 않으며, 대신 연장 정리와 층의 양성도에 기반한다.
• 표면에 대한 비에흐베그 추측의 개선된 형태가 확인된다: $\operatorname{Var}(f^\circ) \leq \kappa(S^\circ)$이며, 등호는 $\kappa(S^\circ) = 2$일 때에만 성립한다.