[논문 리뷰] Generic positivity and applications to hyperbolicity of moduli spaces

Benoît Claudon, Stefan Kebekus외 1명|arXiv (Cornell University)|2016. 10. 31.

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

한 줄 요약

이 논문은 로그 canonical 쌍 위에서 로그 미분형식의 Campana와 Pâun의 일반적 준양성 정리에 대한 종합적인 기초적 서술을 제공하며, Viehweg의 초평면성 추측을 증명하는 데 필수적인 기본 준양성 성질을 확립한다. 분수적 잡아내는 군과 승수 이상의 기법을 통해 Miyaoka의 준양성 결과를 로그 쌍으로 일반화함으로써, 캐논적으로 극화된 다양체의 가속도에서 상대적 쌍대화층이 일반적으로 준양성임을 입증하며, 모듈리 공간의 초평면성을 이끌어낸다.

ABSTRACT

The proof of the celebrated Viehweg's hyperbolicity conjecture is a consequence of two remarkable results: Viehweg and Zuo's existence results for global pluri-differential forms induced by variation in a family of canonically po-larised manifolds and Campana and Pǎun's vast generalisation of Miyaoka's generic semipositivity result for non-uniruled varieties to the context of pairs. The aim of this chapter is an exposition of Campana-Pǎun's generic semipositivity theorem .

연구 동기 및 목표

• 로그 canonical 쌍 위에서 로그 미분형식의 Campana와 Pâun의 일반적 준양성 정리를 상세히 서술하는 것.
• 캐논적으로 극화된 다양체의 가속도에서 상대적 쌍대화층의 일반적 준양성 성질을 확립하는 것.
• Viehweg의 모듈리 공간에서의 초평면성 추측을 증명하기 위해 필요한 분석적 및 대수적 기초 도구를 마련하는 것.
• 분수 극의 차수를 가진 로그 쌍의 맥락으로 Miyaoka의 일반적 준양성 결과를 일반화하는 것.
• 이러한 가속도에서 전역적인 다중 미분형식의 존재가 기저 모듈리 공간의 Brody 초평면성과 어떻게 관련되는지 보여주는 것.

제안 방법

• 유리수 계수의 초면에 沿해 접속층의 포화를 통해 분수 접선과 분수 잡아내는 군을 도입하는 것.
• 유리수 계수의 초면에 沿해 미분형식층의 포화를 사용하여 분수 극의 차수를 가진 로그 미분형식의 층을 정의하는 것.
• 포화된 잡아내는 군의 잎 공간을 통해 다양체 X에서 정규 프로젝티브 다양체 Z로의 유리 사상 ψ: X ⇢ Z를 구성하는 것.
• Zariski의 주요 정리를 적용하여 잎 공간 위의 유도된 사상이 개방 임베딩임을 보여주어 등차원성을 확보하는 것.
• 이동 가능한 곡선 위의 교차 이론을 사용하여 분할의 접속층과 경계 초면의 수평 부분의 차수를 비교하는 것.
• 상대적 쌍대화층이 일반적으로 준양성이 아니라고 가정할 경우, 이는 이동 가능한 곡선과의 음수 교차를 유도하며, 이는 상대적 쌍대화층의 알려진 준양성과 모순됨을 보여주는 것.

실험 결과

연구 질문

• RQ1 Miyaoka의 일반적 준양성 정리는 어떻게 유리수 계수의 경계 초면을 가진 로그 canonical 쌍의 경우로 일반화될 수 있는가?
• RQ2 캐논적으로 극화된 다양체의 가속도에서 상대적 쌍대화층의 일반적 준양성 성질이 보장되기 위한 조건은 무엇인가?
• RQ3 가속도에서 전역적인 다중 미분형식의 존재는 기저 모듈리 공간의 초평면성과 어떻게 관련되는가?
• RQ4 포화된 잡아내는 군의 구조는 준양성 성질을 제어하는 유리 사상으로 이어질 수 있는가?
• RQ5 경계 초면 Δ를 수평부분과 수직부분으로 분해하는 것이 준양성 결과를 증명하는 데 어떤 역할을 하는가?

주요 결과

• 분수 극의 차수를 가진 로그 미분형식의 층은 로그 canonical 쌍 위에서 일반적으로 준양성임을 보였다.
• 캐논적으로 극화된 다양체의 가속도에서 상대적 쌍대화층은 이동 가능한 곡선을 통한 모순 기법을 통해 일반적으로 준양성임을 입증하였다.
• 적극적인 제한된 접속층을 가진 곡선의 가속도에서 유래된 포화된 잡아내는 군은 일반적인 다양체로의 주로 유리 사상으로 이어지며, 그 잎은 대수적 잎이 된다.
• 교차 수 $ C_{γ} ⋂ [\gamma^{[*]}\scr{T}_{X/Z}] $ 는 $ C_{γ} ⋂ [\gamma^{*}\Delta^{\text{trans}}] $ 를 엄격히 초월하며, 이는 분할의 접속층의 준양성과 관련이 있다.
• 상대적 쌍대화층이 일반적으로 준양성이 아니라고 가정할 경우, 이는 이동 가능한 곡선과의 음수 교차를 유도하며, 이는 Theorem 7.1에서 확립된 준양성과 모순된다.
• 일반적 준양성의 증명은 $ \Delta = \Delta^{\text{horiz}} + \Delta^{\text{vert}} $ 의 분해에 의존하며, 여기서 $ \Delta^{\text{horiz}} $ 는 경계의 수평 부분에 대응하고, 이는 이동 가능한 곡선과의 교차를 통해 준양성의 제어를 가능하게 한다.