[논문 리뷰] On Kawamata--Viehweg type vanishing for three dimensional Mori fiber spaces in positive characteristic

Tatsuro Kawakami|arXiv (Cornell University)|2020. 04. 13.

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

한 줄 요약

이 논문은 양의 특성에서 3차원 모리 피브리이션 공간에 대해 카와마타–비에흐베그 유형의 퇼딩 정리 수립을 통해, 매끄러운 파노 3차곡면, 캐논리컬 델 페초 표면, 그리고 델 페초 피브리이션에서 $ H^1(Y, \mathbb{Q}_Y(-D)) $ 의 퇼딩을 증명한다. 여기서 $ D $ 는 네프이자 빅인 $ \mathbb{Q} $-카르티에 위일 다이버서 $ D $ 이다. 결과적으로 특성 0 에서의 알려진 퇼딩을 양의 특성으로 확장하며, 이전 작업의 격차를 보완하고 $ p \geq 3 $ 인 경우의 열린 사례를 해결한다.

ABSTRACT

In this paper, we prove a Kawamata--Viehweg type vanishing theorem for smooth Fano threefolds, canonical del Pezzo surfaces and del Pezzo fibrations in positive characteristic.

연구 동기 및 목표

• 고전적 퇼딩이 실패하는 양의 특성에서 3차원 모리 피브리이션 공간에 대해 카와마타–비에흐베그 유형의 퇼딩 정리를 수립하기 위해.
• 특성 $ p \geq 3 $ 에서 캐논리컬 델 페초 표면에 대해 카와마타–비에흐베그 퇼딩이 성립하는지 여부에 대한 열린 문제를 해결하기 위해, 이는 $ p = 2,3 $ 에서 반례가 발견된 이후이다.
• 매끄러운 델 페초 피브리이션에 대해 패타크팔비–월드론의 퇼딩 결과를 $ \mathbb{Q} $-팩터리얼 3차원 다양체와 고립된 특이점을 가지며 네프인 $ \mathbb{Q} $-카르티에 위일 다이버서 $ D $ 로 일반화하기 위해.
• [29, Remark 1.11] 을 다루기 위해, $ p $, 스무스니스, 앰플리스에 대한 추가 조건 하에서 $ H^2(Y, \mathcal{O}_Y(-D)) $ 의 퇼딩을 증명하기 위해.
• [33, Theorem 1.4] 에서 $ p = 2,3 $ 인 경우의 격차를 메우기 위해, $ D $ 에 추가 조건을 부여함으로써 퇼딩이 성립함을 증명하기 위해.

제안 방법

• 극단적 수축을 통해 매끄러운 파노 3차곡면의 경우를 피카르 랭크 1 인 경우로 감소시키고, 시더필드-바론의 결과를 적용한다.
• 특이점의 해소와 캐논리컬 특이점 조건을 사용하여 캐논리컬 델 페초 표면의 $ H^1(X, \mathcal{O}_X(-D)) $ 를 분석한다.
• 긍정성과 네프성에 기반한 $ D $ 의 조건을 제어하기 위해 수치적 차원 $ \nu(X,D) > 1 $ 이론을 적용한다.
• 피브리이션 $ f: Y \to Z $ 의 비정규 섬유를 분석하여 $ H^2(Y, \mathcal{O}_Y(-D)) $ 의 퇼딩을 유도한다. 이는 패타크팔비–월드론의 프레임워크를 기반으로 한다.
• 세르의 퇼딩 정리와 프로베누스를 통한 순수 비가역 기저 변경을 사용하여 $ -K_Z $ 가 수치적으로 양의 성질을 가지는 다양체 $ Z $ 를 구성한다.
• 조정 공식과 최소 모델 프로그램을 사용하여, 작고 반대표준도를 가지는 유리곡선의 존재로부터 모순을 도출한다.

실험 결과

연구 질문

• RQ1 캐논리컬 델 페초 표면에 대해 양의 특성 $ p \geq 3 $ 에서 카와마타–비에흐베그 퇼딩이 성립하는가?
• RQ2 매끄럽지 않은 $ \mathbb{Q} $-팩터리얼 3차원 다양체와 고립된 특이점을 가지며, 양의 특성에서 네프이자 빅인 $ \mathbb{Q} $-카르티에 위일 다이버서 $ D $ 를 가진 경우, $ H^1(Y, \mathcal{O}_Y(-D)) $ 의 퇼딩이 매끄러운 경우로 확장 가능한가?
• RQ3 특성 $ p \geq 11 $ 에서 매끄러운 델 페초 피브리이션에서 앰플인 $ D $ 에 대해 $ H^2(Y, \mathcal{O}_Y(-D)) = 0 $ 이 성립하는가?
• RQ4 [33, Theorem 1.4] 에서 $ p = 2,3 $ 인 경우의 격차를 $ \nu(X,D) > 1 $ 과 같은 추가 조건을 통해 메울 수 있는가?
• RQ5 매끄럽지 않은 경우를 포함한 모리 피브리이션 공간에 대해 카와마타–비에흐베그 퇼딩의 양의 특성에 해당하는 유사 정리가 존재하는가?

주요 결과

• 특성 $ p > 0 $ 에서 매끄러운 파노 3차곡면 $ X $ 에 대해, 만약 $ D $ 가 $ \mathcal{O}_X(D) \subset \Omega_X $ 를 만족하는 카르티에 다이버서이면 $ \kappa(X,D) = -\infty $ 이고, $ D $ 가 네프이자 $ \nu(X,D) > 1 $ 이면 $ H^1(X, \mathcal{O}_X(-D)) = 0 $ 이다.
• 캐논리컬 특이점을 가지며 $ \kappa(X) = -\infty $ 인 정규 프로젝티브 표면 $ X $ 와 $ p \neq 2 $ 에 대해, 모든 네프이자 빅인 $ \mathbb{Q} $-카르티에 위일 다이버서 $ D $ 에 대해 $ H^1(X, \mathcal{O}_X(-D)) = 0 $ 이다.
• 특성 $ p > 0 $ 인 대수적으로 닫힌 체 위의 매끄러운 곡선 $ Z $ 로 향하는 고립된 특이점을 가지며 정규 프로젝티브 3차원 다양체에서의 모리 피브리이션 $ f: Y \to Z $ 와 네프인 $ \mathbb{Q} $-카르티에 위일 다이버서 $ D $ 에 대해 $ \nu(X,D) > 1 $ 이면 $ H^1(Y, \mathcal{O}_Y(-D)) = 0 $ 이다.
• 만약 $ p \geq 11 $, $ Y $ 가 매끄럽고 $ D $ 가 앰플이라면 $ H^2(Y, \mathcal{O}_Y(-D)) = 0 $ 이다. 이는 [29, Remark 1.11] 을 해결한다.
• 논문은 [33, Theorem 1.4] 를 보완하여, $ p = 2,3 $ 에서도 $ \nu(X,D) > 1 $ 이라는 추가 조건 하에 퇼딩이 성립함을 보여, 원래 증명에서 누락된 조건을 보완한다.
• 증명은 프로베누스 기저 변경을 통해 $ -K_Z $ 가 수치적으로 양의 성질을 가지는 다양체 $ Z $ 를 구성하며, 조정과 유리곡선 분석을 통해 $ H^1 $ 또는 $ H^2 $ 이 퇼딩되지 않을 경우 모순이 발생함을 도출한다.