[논문 리뷰] Projective klt pairs with nef anti-canonical divisor

Frédéric Campana, Junyan Cao외 1명|arXiv (Cornell University)|2019. 10. 15.

Algebraic Geometry and Number Theory참고 문헌 24인용 수 12

한 줄 요약

이 논문은 반가속적 klt 쌍 $(X,\Delta)$ 에서 $-(K_X + \Delta)$ 가 편의적일 때, 반가속적 쌍의 수치적 차원이 최대 유리적 연결(MRC) 피브레이션을 통해 보존됨을 증명한다. 즉, 일반적인 섬유 $X_y$ 에 대해 $\mathrm{nd}(-(K_X + \Delta)) = \mathrm{nd}(-(K_{X_y} + \Delta_{X_y}))$ 이다. 이 결과는 Ejiri-Gongyo의 코다이라 차원에 관한 작업을 일반화하며, Hacon-M^c Kernan의 질문을 더 강한 수치적 형태로 해결한다. 또한 Cao-Höring의 구조 정리가 klt 쌍으로 확장됨을 보여주며, MRC 피브레이션은 수치적으로 자명한 캐논리컬 딜레르트를 가진 매끄러운 다양체로의 매핑임을 밝힌다.

ABSTRACT

In this paper, we study a projective klt pair $(X, Δ)$ with the nef anti-log canonical divisor $-(K_X+Δ)$ and its maximally rationally connected fibration $ψ: X \dashrightarrow Y$. We prove that the numerical dimension of the anti-log canonical divisor $-(K_X+Δ)$ on $X$ coincides with that of the anti-log canonical divisor $-(K_{X_y}+Δ_{X_y})$ on a general fiber $X_y$ of $ψ: X \dashrightarrow Y$, which is an analogue of Ejiri-Gongyo's result formulated for the Kodaira dimension. As a corollary, we reveal a relation between positivity of the anti-canonical divisor and the rational connectedness, which gives a sharper estimate than the question posed by Hacon-$\mathrm{M^{c}}$Kernan. Moreover, in the case of $X$ being smooth, we show that a maximally rationally connected fibration $ψ: X o Y$ can be chosen to be a morphism to a smooth projective variety $Y$ with numerically trivial canonical divisor, and further that it is locally trivial with respect to the pair $(X, Δ)$, which can be seen as a generalization of Cao-Höring's structure theorem to klt pair cases. Finally, we study the structure of the slope rationally connected quotient for a pair $(X, Δ)$ with $-(K_X +Δ)$ nef, and obtain a structure theorem for projective orbifold surfaces.

연구 동기 및 목표

• 편의적 반가속적 딜레르트를 가진 매끄러운 다양체에 대한 Cao-Höring의 구조 정리를 klt 쌍의 경우로 일반화하기.
• Hacon-M^c Kernan의 질문, 즉 $-(K_X + \Delta)$ 의 양성과 유리적 연결성 간의 관계를 코다이라 차원에서 수치적 차원으로 대체함으로써 해결하기.
• 편의적 반가속적 딜레르트를 가진 프로젝티브 오비폴드 표면에 대한 기울기 유리적 연결(sRC) 몫에 대한 구조 정리 수립하기.
• klt 쌍에서 $-(K_X + \Delta)$ 가 편의적일 경우, MRC 피브레이션 $\psi: X \dashrightarrow Y$ 가 수치적으로 자명한 캐논리컬 딜레르트를 가진 매끄럽고 프로젝티브 다양체 $Y$ 로의 매핑임을 보여주기.

제안 방법

• 특이 헤르미트 메트릭과 수치적 평탄성에 의한 편의적 상대 반가속적 딜레르트의 직접 이미지 층의 양성적 성질 활용.
• 수치적으로 평탄한 벡터 번들의 이론과 평탄한 번들의 절단을 이용해 수치적 차원을 제어하기.
• 특이점 해소와 딜레르트의 당김을 통한 총공간과 섬유에서의 수치적 클래스 비교하기.
• MRC 피브레이션을 유리적 매핑으로 간주하고, 캐논리컬 특이점 해소 기법을 통해 이를 매핑으로 수정하기.
• 오비폴드의 기울기 유리적 연결(sRC) 몫을 도입하고 분석하여, 편의적 반가속적 딜레르트를 가진 쌍의 구조를 연구하기.
• 양의 코어언트의 극한과 $\beta \to 0^+$ 에서의 수치적 클래스의 점근적 행동을 이용해 수치적 동치 관계 유도하기.

실험 결과

연구 질문

• RQ1 klt 쌍에서 $-(K_X + \Delta)$ 의 수치적 차원이 MRC 피브레이션을 통해 보존되는가?
• RQ2 편의적 반가속적 딜레르트를 가진 매끄러운 다양체에 대한 Cao-Höring의 구조 정리를 klt 쌍으로 확장할 수 있는가?
• RQ3 편의적 반가속적 딜레르트를 가진 프로젝티브 오비폴드 표면에 대한 기울기 유리적 연결(sRC) 몫의 구조는 어떠한가?
• RQ4 MRC 피브레이션에서의 섬유의 유리적 연결성과 $-(K_X + \Delta)$ 의 양성 간의 관계는 어떠한가?

주요 결과

• MRC 피브레이션의 일반적인 섬유 $X_y$ 에서 $X$ 에서의 $-(K_X + \Delta)$ 의 수치적 차원과 $X_y$ 에서의 $-(K_{X_y} + \Delta_{X_y})$ 의 수치적 차원이 같으며, 즉 $\mathrm{nd}(-(K_X + \Delta)) = \mathrm{nd}(-(K_{X_y} + \Delta_{X_y}))$ 이다.
• MRC 피브레이션 $\psi: X \dashrightarrow Y$ 는 $X$ 가 매끄러울 경우, $K_Y$ 가 수치적으로 자명한 매끄럽고 프로젝티브 다양체 $Y$ 로의 매핑으로 선택할 수 있다.
• 피브레이션은 쌍 $(X,\Delta)$ 에 대해 국소적으로 자명하며, Cao-Höring의 결과를 klt 쌍으로 일반화한다.
• 편의적 반가속적 딜레르트를 가진 프로젝티브 오비폴드 표면에 대해, sRC 몫은 수치적으로 자명한 캐논리컬 딜레르트를 가진 매끄러운 오비폴드이며, 잘 제어된 분기 딜레르트를 가진다.
• 기저의 캐논리컬 딜레르트의 당김은 $f^*(K_Z + D_Z) \equiv \text{효과적 딜레르트} - \text{효과적 딜레르트} + \text{극한 클래스}$ 를 만족하며, 일반 곡선과의 교차수를 0으로 이끈다.
• 증명은 일반 곡선 $C'$ 에 대해 $C' \cdot f^*(K_Z + D_Z) = 0$ 이며, 주어진 조건 하에 $f^*(K_Z + D_Z)$ 가 섬유에서 수치적으로 자명하다는 것을 보여준다.