[논문 리뷰] Vanishing theorems for threefolds in characteristic $p>5$.

Fabio Bernasconi, Janós Kollár|arXiv (Cornell University)|2020. 12. 15.

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

한 줄 요약

이 논문은 특성 p > 5인 3차원 dlt 쌍에 대해 Grauert-Riemenschneider 유형의 소멸 정리들을 수립하며, 가벼운 특이성과 완전한 잔여체를 가진 경우 특정 선다발의 고차 직접 이미지가 소멸함을 증명한다. 주요 결과는 특성 >5인 완전한 체 위의 우아한 dlt 3차원 다양체로의 소멸 정리를 확장하여, 양의 특성에서 유리 특이성과 Mori fiber 공간에의 응용을 가능하게 한다.

ABSTRACT

We prove Grauert-Riemenschneider-type vanishing theorems for excellent dlt threefolds pairs whose closed points have perfect residue fields of positive characteristic $p>5$. Then we discuss applications to dlt singularities and to Mori fiber spaces of threefolds.

연구 동기 및 목표

• 고전적인 Grauert-Riemenschneider 소멸 정리를 특이한 설정으로 확장하여 특성 p > 5인 3차원 다양체에 대해 소멸 정리를 수립하는 것.
• 특성 p > 5에서 완전한 잔여체를 가진 우아한 dlt 3차원 쌍에 대해 G-R 소멸 정리가 성립함을 증명하는 것.
• 소멸 결과를 응용하여, 양의 특성과 혼합 특성에서 dlt 쌍의 국소적 유리성 및 유리 특이성 성질을 도출하는 것.
• 특성 p ≥7인 완전한 체 위에서 3차원에서의 Mori fiber 공간의 이전 가능성과 유리성에 대해 연구하는 것.
• 특성 p ≥7에서 비자명한 비-로지컬 특이성을 가진 기저를 가진 3차원 Mori fiber 공간의 새로운 병리적 예를 구성하는 것.

제안 방법

• dlt 3차원 쌍의 해소에서 최소 모델 프로그램(MMP)을 실행하고, 로그 해소를 사용하는 것.
• 표면 소멸 정리로의 환원을 통해, 분할 수축과 플립에 대해 G-R 소멸 정리가 유지됨을 증명하는 것.
• 특성 p > 5인 완전한 체 위에서 델 페초 유형 표면에 대한 핵심 소멸 정리를 적용하는 것.
• S2-껍질과 반사적 층 기법을 사용하여 특이 표면 위의 대응 층과 제약 수열을 분석하는 것.
• 완전한 체 위에서 차원 3에서 klt 및 dlt 특이성이 유리 특이성을 암시함을 이용하는 것.
• Yasuda의 불변량 DV를 사용하여 야생 몫 특이성을 통해 반례를 구성하는 것.

실험 결과

연구 질문

• RQ1 특성 p > 5인 3차원 dlt 쌍에 대해 Grauert-Riemenschneider 소멸 정리가 성립하는가?
• RQ2 특성 p > 5에서 적절한 네프 및 빅 조건 하에 Weil 다발의 고차 직접 이미지가 소멸할 수 있는가?
• RQ3 특성 p ≥7인 완전한 체 위에서 Mori fiber 공간의 기저는 유리 특이성을 가진다?
• RQ4 특성 p > 0에서 비-로지컬 기저를 가진 3차원 Mori fiber 공간을 구성할 수 있는가?
• RQ5 비유리 사상 또는 klt 쌍 간의 수축이 윌트 벡터 위로 올라갈 수 있는 조건은 무엇인가?

주요 결과

• 특성 p > 5인 완전한 잔여체를 가진 우아한 스킴 위에서 3차원 dlt 쌍 (X, ∆) 에 대해 G-R 소멸 정리가 성립한다.
• p > 5라는 조건은 최적이며, p ≤ 5인 경우 반례가 존재함을 보였다.
• −(KX + ∆)가 f-빅이고 f-네프인 로그 팔리오 수축 f: X → Z에 대해, 자연스러운 사상 OZ → Rf∗OX 는 특성 p ≥7에서 동형이다.
• 특성 p ≥7인 완전한 체 k일 때, 3차원 콘비드러 컨벡터 π: X → S의 기저 스킴 S는 유리 특이성을 가진다.
• 특성 p ≥5에서 정점이 있는 총공간과 비-로지컬 기저를 가진 3차원 Mori fiber 공간이 존재한다.
• 이러한 Mori fiber 공간의 기저는 초함수 특이성을 가지며, 총공간은 Cohen-Macaulay가 아니므로, 특성 p > 0에서 병리적인 행동을 보임을 보여준다.