[논문 리뷰] A decomposition theorem for projective manifolds with nef anticanonical bundle

Jingyi Cao, Andreas Höring|arXiv (Cornell University)|2017. 06. 27.

Algebraic Geometry and Number Theory인용 수 4

한 줄 요약

이 논문은 약한 반대표준선다발을 가진 프로젝티브 다양체에 대한 분해 정리를 수립한다: 다양체가 단순연결이면, 유리적으로 연결된 다양체와 표준선다발이 자명한 다양체의 곱으로 분해된다. 증명은 직접 이미지 층의 양성과 비라션 기하학을 이용하여 헬름홀로픽 피브리어션 구조를 구성하며, 궁극적으로 MRC 피브리어션이 유리적으로 연결된 섬유와 표준선다스가 자명한 기저를 가진 국소적으로 자명한 피브리어션임을 보인다.

ABSTRACT

Let X be a simply connected projective manifold with nef anticanonical bundle. We prove that X is a product of a rationally connected manifold and a manifold with trivial canonical bundle. As an application we describe the MRC fibration of any projective manifold with nef anticanonical bundle.

연구 동기 및 목표

• 자기 기본군이 자명하다는 가정 하에 약한 반대표준선다발을 가진 프로젝티브 다양체에 대한 분해 정리를 증명하기.
• 이러한 다양체의 MRC 피브리어션의 구조를 기술하여, 이가 국소적으로 자명한 피브리어션으로서 유리적으로 연결된 섬유를 가짐을 보이기.
• MRC 피브리어션의 기저가 표준선다스가 자명함을 증명하여, 베유빌-보고몰로프 추측을 프로젝티브 경우로 확장하기.
• 직접 이미지 층 기법을 이용하여 비준비유한 대상의 준프로젝티브 다양체에서 약한 반대표준선다발을 가진 다양체의 기하적 특성 기술하기.
• 이전의 알바네제 피브리어션 결과를 바탕으로 하여, 프로젝티브 설정에서 MRC 피브리어션의 구조를 해결하기.

제안 방법

• MRC 피브리어션을 거의 헬름홀로픽 사상으로 간주하고, 일반 섬유의 찬 공간을 통해 비라션 모델을 구성하기.
• 찬 공간의 성분 중 하나 위의 전체 가족에 대한 해소 $\varphi: \Gamma \to Y$ 를 정의하며, $\pi: \Gamma \to X$ 는 비라션이다.
• 큰 $m$ 과 나누어떨어지는 $p$ 에 대해 직접 이미지 층 $\mathcal{V}_p := \varphi_* \mathcal{O}_\Gamma(pL + pmE - \frac{p}{r}\varphi^* \det \varphi_* \mathcal{O}_\Gamma(L + mE))$ 를 연구하기.
• 이러한 층들이 단순연결된 열린 부분집합 $Y_0 \subset Y$ 에서 정수 힐베르트 함수만을 가지는 영역에서 자명한 벡터 번들의 성질을 증명하기.
• [DPS94]의 기법을 적용하여 $\varphi^{-1}(Y_0) \dashrightarrow Y_0 \times F$ 의 비라션 사상 유도하기. 여기서 $F$ 는 일반적인 MRC 섬유이다.
• X의 조밀한 열린 부분집합에서 유도된 접속층의 분해를 이용하여 전역적 분해를 유도하기.

실험 결과

연구 질문

• RQ1 단순연결된 프로젝티브 다양체가 약한 반대표준선다발을 가질 때, 이는 유리적으로 연결된 다양체와 표준선다스가 자명한 다양체의 곱으로 분해될 수 있는가?
• RQ2 약한 반대표준선다발을 가진 프로젝티브 다양체의 MRC 피브리어션은 헬름홀로픽이고 국소적으로 자명한 구조를 가질 수 있는가?
• RQ3 비콤팩트 준프로젝티브 기저 위에서 직접 이미지 층의 양성을 이용하여 MRC 피브리어션의 구조를 기술할 수 있는가?
• RQ4 조밀한 열린 부분집합에서 접속층의 분해가 다양체의 전역적 곱 구조를 유도하는 데 얼마나 강력한 영향을 미치는가?
• RQ5 베유빌-보고몰로프 추측은 약한 반대표준선다발을 가진 프로젝티브 다양체에 대해 성립하는가?

주요 결과

• 모든 단순연결된 프로젝티브 다양체가 약한 반대표준선다스를 가질 때, $X \simeq Y \times F$ 의 곱으로 분해되며, 여기서 $K_Y \sim 0$ 이고 $F$ 는 유리적으로 연결되어 있다.
• 약한 반대표준선다스를 가진 모든 프로젝티브 다양체의 MRC 피브리어션은 국소적으로 자명한 피브리어션으로서 유리적으로 연결된 섬유와 표준선다스가 자명한 기저를 가진다.
• MRC 피브리어션의 기저는 코다이라 차수 0을 가지며, 추측적 베유빌-보고몰로프 분해와 일치한다.
• Zariski 열린 부분집합 $Y_0 \subset Y$ 에서의 직접 이미지 층 $\mathcal{V}_p$ 는 자명한 벡터 번들이며, 이는 비라션 곱 구조의 구성에 기여한다.
• X의 코디멘션 2 이상의 보조 집합의 보조에서 접속층의 분해는 두 개의 대수적으로 통합 가능한 평행이차형을 이끌어내며, 이는 전역적 곱 분해로 이어진다.
• 결과적으로 이는 약한 반대표준선다스를 가진 프로젝티브 다양체에 대해 베유빌-보고몰로프 추측을 확인하며, 이전의 더 강한 가정 하에서의 결과를 확장한다.