[논문 리뷰] Purely log terminal threefolds with non-normal centres in characteristic two

Paolo Cascini, Hiromu Tanaka|arXiv (Cornell University)|2016. 07. 28.

Algebraic Geometry and Number Theory인용 수 5

한 줄 요약

이 논문은 특성 두에서 최소 모델 프로그램의 핵심 결과에 대한 반례를 구축하며, 순수하게 로그 단순형 (plt) 3차원 쌍이 비정규 중심을 가질 수 있음을 보여준다. 또한 klt 특이점이 유리적이거나 코hen–맥aulay가 아닐 수 있고, klt 팔로 3차원 다양체가 중간 코homology를 가지며 0이 아닐 수 있음을 밝힌다. klt 델 페초 표면에서 카와마타–비에흐 반영정리가 위반되는 원뿔 구조를 사용하여, 저자들은 특성 두에서 고전적인 반영정리가 실패함을 보이며, 양의 특성에서의 비라션 기하학의 기본 도구들이 붕괴됨을 보여준다.

ABSTRACT

We show that many classical results of the minimal model programme do not hold over an algebraically closed field of characteristic two. Indeed, we construct a three dimensional plt pair whose codimension one part is not normal, a three dimensional klt singularity which is not rational nor Cohen-Macaulay, and a klt Fano threefold with non-trivial intermediate cohomology.

연구 동기 및 목표

• 최소 모델 프로그램의 고전적 결과, 특히 plt 쌍에서 계수 1 부분의 정규성 여부가 양의 특성에서 유지되는지 조사하기.
• 특성 0에서 필수적인 카와마타–비에흐 반영정리가 특성 두에서 실패하는지 확인하기.
• 양의 특성에서 klt 특이점의 표준 성질과 로그 플루리칸올 확장의 반례를 명시적으로 구축하기.
• 특성 두에서 klt 팔로 3차원 다양체가 비자명한 중간 코homology를 가질 수 있음을 보여주어 특성 0의 행동과 모순됨을 입증하기.

제안 방법

• 특성 두에서 카와마타–비에흐 반영정리가 위반되는 klt 델 페초 표면 위에 원뿔 유사 피브리이션을 구축하기.
• $\rho(T)=1$인 표면 $T$ 위에서 $\mathbb{P}^1$-_bundle를 구성하고, 음의 섹션을 수축하여 3차원 다양체 $Z$를 형성하기.
• 상대적 및 절대적 세르 반영정리 정리를 적용하여 고차원 직접 이미지 $R^1g_*\mathcal{O}_Y$와 $R^1g_*\mathcal{O}_Y(-E^Y)$를 계산하고, 중심 $E^Z$의 비정규성을 탐지하기.
• 전체 공간 $Y$ 상의 정확한 수열을 분석하여 로그 플루리칸올 제약 맵의 전성 실패를 보여주기.
• 표면 $T$와 다발 $A$의 성질을 사용하여, 구축된 3차원 다양체 $Z$가 $\mathbb{Q}$-근본적, klt, 팔로이며 $\rho(Z)=1$임을 입증하기.
• $R^1h_*\mathcal{O}_W$와 $R^1g_*\mathcal{O}_Y$ 사이의 동형을 확립하고, $h^0(Z, R^1g_*\mathcal{O}_Y) = q-1$를 계산하여 $h^2(Z, \mathcal{O}_Z)$를 결정하기.

실험 결과

연구 질문

• RQ1 특성 두에서 plt 쌍의 계수 1 부분이 특성 0과 마찬가지로 정규성을 유지하는가?
• RQ2 특성 두에서 klt 델 페초 표면에 대해 카와마타–비에흐 반영정리가 실패할 수 있으며, 이는 새로운 반례를 가능하게 하는가?
• RQ3 특성 두에서 $H^2(X, \mathcal{O}_X)$가 0이 아닌 klt 팔로 3차원 다양체가 존재하는가, 특성 0의 경우와 모순되는가?
• RQ4 로그 플루리칸올 제약 맵이 비록 로그 캐논리컬 다발이 반단순적이어도, 양의 특성에서 전성에 실패할 수 있는가?
• RQ5 특성 두에서 유리적이지도, 코헨–맥컬레이도 아닌 klt 특이점이 존재하는가, 특성 0의 표준 성질을 위반하는가?

주요 결과

• 특성 두에서 $\mathbb{Q}$-근본적 plt 쌍 $(Z, E)$가 존재하며, 여기서 $E$는 정규가 아닌 소수 다발이 되어 특성 0의 정규성 성질을 위반한다.
• 특성 두에서 $\dim_k H^2(Z, \mathcal{O}_Z) = r$인 klt 팔로 3차원 다양체 $Z$가 존재하며, 이는 비자명한 중간 코homology를 보여준다.
• 특성 두에서 klt 특이점 $Z$가 존재하며, 이는 유리적이지도, 코헨–맥컬레이도 아니며 특성 0의 분류와 모순된다.
• 모든 $m > 0$에 대해 제약 맵 $H^0(Y, \mathcal{O}_Y(mm_0(K_Y + E + B))) \to H^0(E, \mathcal{O}_E(mm_0(K_Y + E + B)))$가 전성에 실패하여 확장 정리의 실패를 보여준다.
• $q \geq 2$일 때, $H^1(Z, \omega_Z) = 0$이고 $H^2(Z, \mathcal{O}_Z) = q-1 \neq 0$이므로, 구축된 3차원 다양체 $Z$는 코헨–맥컬레이가 아니며, 코헨–맥컬레이 조건을 위반한다.
• 표면 $T$를 통해 $H^1(T, \mathcal{O}_T(A)) = q-1$를 계산하고, 이는 $h^0(Z, R^1g_*\mathcal{O}_Y) = q-1$로 이어져 구축과 비자명한 코homology 간의 직접적인 연결을 확립한다.