[논문 리뷰] Behavior of canonical divisors under purely inseparable base changes

Hiromu Tanaka|arXiv (Cornell University)|2015. 02. 04.

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

한 줄 요약

이 논문은 정규 대상 $X$가 불완전한 체 $k$ 위에서 정의된 경우, 양의 특성에서 캐논리컬 딜라이터와 순수하게 비가역적인 기저 변경 사이의 핵심 관계를 확립한다: $X$의 정규화 $Y$에 대한 캐논리컬 딜라이터 $K_Y$는 $K_Y + C = f^*K_X$를 만족한다. 여기서 $C$는 효과적 딜라이터이다. 이 결과는 불완전한 체 위에서의 비라시오널 기하학에 새로운 적용을 가능하게 하며, 비정규성 있는 섬유를 가진 $K_X$-비틀림 피브레이션의 유일루드성, 모리 피브레이션의 일반 섬유의 유리 사슬 연결성, 표면 및 삼차원 다각형에 대한 약화된 코ーン 정리 등이 포함된다.

ABSTRACT

Let $k$ be an imperfect field. Let $X$ be a regular variety over $k$ and set $Y$ to be the normalization of $(X imes_k k^{1/p^{\infty}})_{ m red}$. In this paper, we show that $K_Y+C=f^*K_X$ for some effective divisor $C$ on $Y$. We obtain the following three applications. First, we show that a $K_X$-trivial fiber space with non-normal fibers is uniruled. Second, we prove that general fibers of Mori fiber spaces are rationally chain connected. Third, we obtain a weakening of the cone theorem for surfaces and threefolds defined over an imperfect field.

연구 동기 및 목표

• 양의 특성에서 기저 체가 불완전할 경우 순수하게 비가역적인 기저 변경 하에서 캐논리컬 딜라이터의 행동을 이해하는 것.
• 기저 변경된 정규 대상이 항상 정규적이거나 축소되지 않을 수 있는 도전 과제를 해결하기 위해, 축소된 기저 변경의 정규화를 연구하는 것.
• 어떤 효과적 $C$에 대해 $K_Y + C = f^*K_X$라는 캐논리컬 딜라이터 관계를 확립함으로써, 불완전한 체 위에서의 기하 문제를 완전하거나 대수적으로 닫힌 체 위의 문제로 환원할 수 있도록 하는 것.
• 이 결과를 적용하여 비정규 섬유를 가진 $K_X$-비틀림 피브레이션의 유일루드성, 모리 피브레이션의 일반 섬유의 유리 사슬 연결성, 표면 및 삼차원 다각형에 대한 약화된 코너 정리 등을 증명하는 것.

제안 방법

• 기저 체 $k$가 함수체 $K(X)$ 내에서 순수하게 비가역적으로 닫혀 있을 경우를 중심으로, $X imes_k k^{p^{-lat}}$의 기저 변경을 분석하기 위해 체 이론 기법을 사용한다.
• 레마 3.3를 적용하여, 유한한 순수하게 비가역적 확장 $k' / k$에 대해 $K(X) igotimes_k k'$가 여전히 체임을 보여주며, 이는 기저 변경의 기하학적 기하학적 불가분성을 보장한다.
• 축소된 스킴 $(X imes_k k^{p^{-lat}})_{ ext{red}}$의 정규화인 $Y$를 구성하고, 사상 $f: Y o X$를 정의한다.
• 이중화층 $ ilde{ heta}_{Y/k^{p^{-lat}}}$가 $Y$ 위에서 $f^* ilde{ heta}_{X/k} \bigotimes \tilde{ heta}_{Y/k^{p^{-lat}}}(C) \big|_{Y_{\text{reg}}}$가 정규 위치에서의 $f^* ilde{ heta}_{X/k}$ 제한과 동형임을 증명한다.
• 얻어진 딜라이터 관계를 바탕으로, 특히 피브레이션과 모리 피브레이션에 대해 기저 변경과 갈루아 이론을 통해 기하학적 결과를 도출한다.
• 주요 정리를 적용하여, 네론-세버리 코어의 구조와 섬유 기하학을 분석함으로써 유일루드성, 유리 사슬 연결성, 약화된 코너 정리를 증명한다.

실험 결과

연구 질문

• RQ1 기저 체가 불완전할 경우, 양의 특성에서 순수하게 비가역적인 기저 변경 하에서 캐논리컬 딜라이터는 어떻게 행동하는가?
• RQ2 기저 변경된 정규 대상의 정규화의 캐논리컬 딜라이터가 원래 캐논리컬 딜라이터의 풀백과 선형적으로 동치가 되는 조건은 무엇인가?
• RQ3 이 캐논리컬 딜라이터 관계를 통해 양의 특성에서의 유일루드성 또는 유리 사슬 연결성과 같은 기하학적 성질을 유도할 수 있는가?
• RQ4 이 딜라이터 관계를 사용하여 표면 및 삼차원 다각형에 대해 코너 정리를 어느 정도 약화시킬 수 있는가?

주요 결과

• 주요 결과는 $Y$ 위의 효과적 딜라이터 $C$에 대해 $K_Y + C = f^*K_X$임을 보여주며, 여기서 $Y$는 $(X imes_k k^{p^{-lat}})_{\text{red}}$의 정규화이다. 이때 $C = 0$이 되는 것은 $X$가 $k$에 대해 기하학적으로 정규일 때이고 그 경우에만 성립한다.
• 만약 $k$가 양의 특성에서 대수적으로 닫힌 체이고, $K_X$-비틀림 피브레이션의 일반 섬유가 비정규일 경우, $X$는 유일루드적이다.
• 어느 필드에서든 양의 특성에서 정의된 모리 피브레이션의 일반 섬유는, 총공간이 $\bQ$-팩터리얼이고 $-K_X$가 $\bpi$-강한, $\rho(X/S) = 1$를 만족할 경우, 유리 사슬 연결적이다.
• 불완전한 체 위에서 정규 표면에 대해, 곡선의 코어는 $\bar{NE}(X) = \bar{NE}(X)_{K_X + \triangle + A \neq 0} + \text{유한 생성된 유리 광선들}$을 만족하며, 이는 약화된 코어 정리를 증명한다.
• $\bQ$-팩터리얼 삼차원 다각형에 대해 불완전한 체 위에서 $K_X + \triangle$가 네프가 아닐 경우, 곡선의 코어는 $\bar{NE}(X) = \bar{NE}(X)_{K_X + \triangle + A \neq 0} + \text{유한 개의 유리 광선들}$로 분해되며, 다시 한번 약화된 코어 정리이다.
• 이 결과는 표준 가정 하에, 어떤 필드 위의 $\bQ$-팩터리얼 파노 다양체에서 수치적으로 자명한 카르티에 딜라이터는 토르션이며, 즉 어떤 $n > 0$에 대해 $\bO_X(nD) \to \bO_X$임을 의미한다.