[논문 리뷰] On asymptotic base loci of relative anti-canonical divisors of algebraic fiber spaces

Sho Ejiri, Masataka Iwai외 1명|arXiv (Cornell University)|2020. 05. 10.

Algebraic Geometry and Number Theory참고 문헌 32인용 수 5

한 줄 요약

이 논문은 대수적 섬유 공간 $\phi: X \to Y$ 에서 상대 반표준 분할자 $-K_{X/Y}$ 의 渐近적 기저 집합을 조사하며, 기저 집합과 양성에 관한 분석 결과를 대수적 방법으로 증명한다. 증명된 바에 따르면, 보완 및 제한 기저 집합은 공백이 아닐 경우 항상 수평 방향에 존재하며, Campana–Cao–Matsumura의 등식을 대수적으로 증명하고, 유한 에탈 기저 변경을 통한 반-표준 분할자의 준-산성일 경우의 곱 구조 추측을 부분적으로 확인한다.

ABSTRACT

In this paper, we study the relative anti-canonical divisor $-K_{X/Y}$ of an algebraic fiber space $ϕ: X o Y$, and we reveal relations among positivity conditions of $-K_{X/Y}$, certain flatness of direct image sheaves, and variants of the base loci including the stable (augmented, restricted) base loci and upper level sets of Lelong numbers. This paper contains three main results: The first result says that all the above base loci are located in the horizontal direction unless they are empty. The second result is an algebraic proof for Campana--Cao--Matsumura's equality on Hacon--$ m{M^c}$Kernan's question, whose original proof depends on analytics methods. The third result partially solves the question which asks whether algebraic fiber spaces with semi-ample relative anti-canonical divisor actually have a product structure via the base change by an appropriate finite étale cover of $Y$. Our proof is based on algebraic as well as analytic methods for positivity of direct image sheaves.

연구 동기 및 목표

• 상대 반표준 분할자 $-K_{X/Y}$ 에 대한 양성 조건이 대수적 섬유 공간에 미치는 기하적 제약을 이해하는 것.
• 기저 집합에 관한 분석 결과, 특히 Campana–Cao–Matsumura의 등식에 대해 대수적 증명을 확립하는 것.
• 준-산성인 상대 반표준 분할자 $-K_{X/Y}$ 가 유한 에탈 기저 변경 후 곱 구조를 띠는지 조사하는 것.
• 漸近적 기저 집합(보완, 제한, 안정), Lelong 수, 그리고 직접 이미지 층의 평탄성 간의 상호작용을 명확히 하는 것.

제안 방법

• 상대 반표준 분할자 $-K_{X/Y}$ 의 안정, 보완, 제한 기저 집합을 분석하기 위해 대수적 기법을 사용한다.
• 특히 특이 헤르미트 메트릭과 곡률 추정을 통한 직접 이미지 층의 양성 이론을 적용한다.
• 표준 특이 메트릭과 곡률 양성성을 활용해 섬유 위에서 기저 집합의 행동을 통제한다.
• 대수기하학과 분석 도구(예: Lelong 수, 수치 차원)를 결합하여 평탄성과 자명성 문제를 연구한다.
• klt 및 lc 쌍의 구조를 활용해 매끄러운 다양체를 초월한 일반화된 결과를 도출한다.
• 확장 정리와 코homological 소멸을 적용하여 전역 생성성과 기저 집합 통제를 유도한다.

실험 결과

연구 질문

• RQ1 보완 기저 집합 $\mathbb{B}_+(-K_{X/Y})$ 와 제한 기저 집합 $\mathbb{B}_-(-K_{X/Y})$ 가 어떤 조건에서 수평 방향에 포함되는가?
• RQ2 Campana–Cao–Matsumura의 기저 집합 등식을 분석적 방법 없이 대수적으로 증명할 수 있는가?
• RQ3 준-산성인 상대 반표준 분할자 $-K_{X/Y}$ 가 유한 에탈 기저 변경 후 $X$ 가 어떤 섬유 $F$ 와의 곱 $Y' \times F$ 와 유리형일 수 있는가?
• RQ4 Lelong 수와 수치적 평탄성은 직접 이미지 층 $\phi_*\mathcal{O}_X(m(-K_{X/Y}))$ 의 평탄성과 어떻게 관련되는가?
• RQ5 만약 $X$ 가 klt 특이성을 갖는 대신 lc 특이성을 가질 경우 기저 집합의 행동은 어떻게 되는가?

주요 결과

• 보완 기저 집합 $\mathbb{B}_+(-K_{X/Y})$ 는 공백이거나 $Y$ 로의 전방사일 것이며, $\dim Y > 0 $ 이면 $\dim \mathbb{B}_+(-K_{X/Y}) \geq \dim Y$ 이다.
• Campana–Cao–Matsumura의 등식에 대한 대수적 증명이 제시되어, 원래 분석적 방법으로 증명된 질문을 해결한다.
• lc 쌍 $(X, \Delta)$ 에 대해 $\mathbb{B}_+(-(K_{X/Y} + \Delta))$ 는 $Y$ 로의 전방사일 것이며, $Y$ 가 점일 경우를 제외한다.
• 제한 기저 집합 $\mathbb{B}_-(-K_{X/Y})$ 도 수평 방향에 포함되며, 비공백일 경우 섬유에 기하적 제약을 초래한다.
• 만약 $-K_{X/Y}$ 가 준-산성이라면, 유한 에탈 기저 변경 후 $X$ 는 어떤 섬유 $F$ 와의 곱 $Y' \times F$ 와 유리형이다.
• 일부 양성 조건 하에서 직접 이미지 층 $\phi_*\mathcal{O}_X(m(-K_{X/Y}))$ 는 수치적 평탄성을 띤다. 이는 에탈 의미에서의 평탄성을 암시한다.