[논문 리뷰] Semi-positivity of logarithmic cotangent bundle and Shafarevich-Viehweg's conjecture, after Campana, Paun, Taji...

Benoît Claudon|arXiv (Cornell University)|2016. 03. 31.

Algebraic Geometry and Number Theory인용 수 6

한 줄 요약

이 논문은 로그 canonical 쌍에 대해 로그 코탄제트 배럴의 준양성(semi-positivity)을 증명하며, 로그 canonical 배럴의 준효율성(pseudo-effective)을 가정할 때, 미야오카의 일반 준양성 결과를 오르비폴드 설정으로 확장한다. 주요 기여는 새로운 폴란세이션(foliation) 적분 가능성 기준과 오르비폴드 일반화된 양성 정리들을 통해 모듈리 공간의 초구형성(hyperbolicity)에 대한 비에흐베그의 추측을 해결하는 것이다.

ABSTRACT

Proven by A. Parshin and S. Arakelov in the early 70's, Shafaverich hyperbolicity conjecture states that a family of curves of genus $g\ge2$ parametrized by a non hyperbolic curve (\emph{i.e.} isomorphic to $\mathbb{P}^1$, $\mathbb{C}$, $\mathbb{C}^*$ or an elliptic curve) has to be isotrivial : the moduli of smooth fibres are constant. In higher dimensions, Viehweg's works on moduli of canonically polarized manifolds led him to generalize this statement in the following way: if a family of canonically polarized manifolds (parametrized by a quasi-projective base) has maximal variation, the base is then of log-general type. It can be thought as an algebraic hyperbolicity property which is expected to hold for the moduli space.Adapting results due to Y. Miyoaka on generic semi-positivity of cotangent bundle to the framework of pairs, F. Campana and M. Păun recently obtained a positive answer to Viehweg's conjecture. We will also take the opportunity of this talk to present the classification of orbifolds as developed in Campana's works. This setting is moreover the right one to state the optimal version of Viehweg's conjecture proven by B. Taji

연구 동기 및 목표

• 접선 배럴의 미야오카의 일반 준양성 정리를 로그 및 오르비폴드 설정으로 확장하기.
• 이동 가능한 클래스에 대한 최소 기울기의 양성성을 이용한 폴란세이션의 대수적 적분 가능성에 대한 기준 설정하기.
• 오르비폴드 양성 정리를 통해 캐논적으로 극화된 다양체의 모듈리 공간의 초구형성에 대한 비에흐베그의 추측을 증명하기.
• 정규 교차 분할을 가진 콪팩티피케이션으로의 캄파나, 파운, 타지의 결과를 일반화하기.
• 오르비폴드 기법을 사용하여 비이소트로피적 가족의 기저에 대한 비에흐베그-쯔오 정리의 새로운 증명 제공하기.

제안 방법

• 정규 교차 분할을 가지며 계수가 [0,1]에 속하는 Q-분할자 Δ로 정의된 오르비폴드 구조를 사용하여, X의 분지 커버 위에서 오르비폴드 코탄제트 배럴을 정의한다.
• 오르비폴드 버전의 미야오카의 양성 결과를 적용하여, 오르비폴드 코탄제트 배럴의 m차 텐서 거듭제곱의 임의의 몫의 결정식이 준효율적임을 보인다.
• 폴란세이션의 대수적 적분 가능성에 대한 새로운 기준 도입: 이동 가능한 클래스에 대한 폴란세이션의 최소 기울기가 양수이면, 잎은 그 닫힘에서 자리지-오픈이며, 유리적으로 연결된 부분다양체가 된다.
• 모순 증명을 사용: 로그 canonical 배럴이 준효율적이지만 다양체가 유리다양체가 아니면, 양수 기울기 폴란세이션은 존재해야 하며, 이는 K_X + Δ의 준효율성과 모순된다.
• 캐논적으로 극화된 다양체의 가족의 상대 로그 코탄제트 배럴에 오르비폴드 양성 결과를 적용하여, 기저가 최대 칸타르 차원을 가짐을 유도한다.
• 이동 가능한 곡선 이론과 안정층 이론을 사용하여 부분다양체의 기울기를 분석하고, 최대 양수 기울기 폴란세이션을 구성한다.

실험 결과

연구 질문

• RQ1 어떤 조건에서 쌍 (X, Δ)의 로그 코탄제트 배럴이 준양성인가?
• RQ2 이동 가능한 클래스에 대한 최소 기울기의 양성이 폴란세이션의 적분 가능성으로 특징지어질 수 있는가?
• RQ3 K_X + Δ의 준효율성이 캐논적으로 극화된 다양체의 가족 기저가 최대 칸타르 차원을 가짐을 의미하는가?
• RQ4 미야오카의 일반 준양성 정리는 오르비폴드 설정으로 어떻게 일반화될 수 있는가?
• RQ5 오르비폴드 코탄제트 배럴은 모듈리 초구형성에 대한 비에흐베그의 추측을 증명하는 데 어떤 역할을 하는가?

주요 결과

• K_X + Δ가 준효율적일 경우, 쌍 (X, Δ)의 오르비폴드 코탄제트 배럴은 임의의 m차 텐서 거듭제곱의 몫의 결정식이 준효율적이라는 의미에서 준양성이다.
• 이동 가능한 클래스에 대해 최소 기울기가 양수인 스무스 프로젝티브 다양체 위의 폴란세이션은 대수적으로 적분 가능하며, 그 잎은 유리적으로 연결된 부분다양체이다.
• 비에흐베그의 모듈리 공간의 초구형성에 대한 추측은 해결되었다: 가족이 최대 변화를 가진다면, K_Y + D는 최대 칸타르 차원을 가진다.
• 증명은 기저가 정규 교차 분할을 가진 준사영 기저 위에 있는 캐논적으로 극화된 다양체의 가정에서, 변화가 최대일 경우 기저가 로그 일반형(log general type)임을 보여준다.
• 미야오카–캄파나–파운의 양성 정리의 오르비폴드 일반화는 모듈리 공간 기하학을 연구하는 데 새로운 도구를 제공한다.
• 이 결과는 정규 교차 분할 경계 분할을 가진 최대 변화 가정의 경우, 캄파나의 모듈리 스택의 초구형성 추측을 확장한다.