[논문 리뷰] The trace map of Frobenius and extending sections for threefolds

Hiromu Tanaka|arXiv (Cornell University)|2013. 02. 13.

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

한 줄 요약

이 논문은 프로베니우스의 추적 사상(Trace map)을 사용하여 양의 특성에서의 매끄럽고 프로젝티브한 3차면에서 적당한 선다발의 단면에 대한 확장 정리를 수립한다. 경계 초면에 대해 네프성과 비자명한 이타카 체적 조건이 만족될 경우, 충분히 큰 승수에 대해 전반적 단면의 제약 사상이 전사가 되며, 이는 특성 0에서의 퇠퇴 정리에 대한 양의 특성 대응판을 제공한다.

ABSTRACT

In this paper, by using the trace map of Frobenius, we consider problems on extending sections for positive characteristic threefolds.

연구 동기 및 목표

• 3차원에서의 단면 확장에 대해 카이르라 퇠퇴 정리의 양의 특성 대응판을 수립하는 것.
• 기존의 반례에서 보여지듯이, 양의 특성에서 전반적 단면의 제약 사상이 실패하는 문제를 다루는 것.
• 경계 초면에서 네프성과 비자명한 이타카 체적이 만족될 경우, 큰 승수에 대해 제약 사상이 전사가 되는 것을 증명하는 것.
• 프로베니우스의 추적 사상의 프레임워크를 활용하여, 양의 특성 기하학에서 코homological 퇠퇴와 전사성 분석의 틀을 마련하는 것.
• 이타카 체적이 0일 경우 확장 정리의 타당성을 조사하며, 특성 2에서 부정적인 결과를 제공하는 것.

제안 방법

• 프로베니우스의 추적 사상으로 3차원과 그의 매끄러운 초면 사이의 코homology 군을 제약 사상과 추적 사상이 포함된 가환 다이어그램을 통해 연결하는 것.
• 큰 프로베니우스 거듭제곱에 대해 세르의 퇠퇴 정리를 적용하여 제약 사상의 전사성을 추적 사상의 전사성으로 환원하는 것.
• 경계 초면에서 네프성과 비자명한 이타카 체적이 만족될 경우, 추적 사상이 전사이거나 비자명하다는 것을 증명하는 것.
• 경계 초면에서의 추적 사상과 차원에 대한 귀납법을 사용하여 3차원의 경우를 표면의 경우로 환원하는 것.
• 최소 모델 프로그램과 비라시오널 기하학을 사용하여 캐논리컬 초면가 네프성인 경우로 환원하는 것.
• 풍부성 정리를 사용하여 준-능동성을 유도하고 곡선으로의 피브레이션을 구성함으로써 기본점 자유성과 코homological 내림을 사용할 수 있도록 하는 것.

실험 결과

연구 질문

• RQ1 만약 $ K_X + S + A $ 가 네프이고 $ \kappa(S, K_S + A|_S) \neq 0 $ 이면, $ H^0(X, m(K_X + S + A)) \to H^0(S, m(K_S + A|_S)) $ 의 제약 사상이 양의 특성에서 전사로 유지되는가?
• RQ2 카이르라 퇠퇴 정리가 실패할 경우, 프로베니우스의 추적 사상을 사용하여 제약 사상의 전사성을 확립할 수 있는가?
• RQ3 특성 2에서 $ \kappa(S, K_S + A|_S) = 0 $ 일 경우, 확장 성질은 어떻게 되는가?
• RQ4 매끄러운 경계 초면이 있는 3차원에서 카와마타–쇼쿠로프 기본점 자유 정리의 양의 특성 대응판이 존재하는가?
• RQ5 표면과 3차원에서 네프성과 비자명한 체적 조건이 만족될 경우, 프로베니우스의 추적 사상은 여전히 비자명하거나 전사인가?

주요 결과

• 매끄럽고 프로젝티브한 3차원 $ X $ 가 양의 특성에서 주어지며, $ K_X + S + A $ 가 네프이고 $ \kappa(S, K_S + A|_S) \neq 0 $ 이면, $ m_0 \in \mathbb{Z}_{>0} $ 가 존재하여 모든 $ m \geq m_0 $ 에 대해 제약 사상 $ H^0(X, m(K_X + S + A)) \to H^0(S, m(K_S + A|_S)) $ 가 전사가 된다.
• 매끄럽고 프로젝티브한 표면에서 $ H^0(C, K_C + A) \neq 0 $ 이면, 모든 $ e \in \mathbb{Z}_{>0} $ 에 대해 추적 사상 $ \operatorname{Tr}_C^e(A): H^0(C, K_C + p^e A) \to H^0(C, K_C + A) $ 는 비자명하다.
• 매끄럽고 프로젝티브한 표면에서 $ K_S + A $ 가 네프이고 $ \kappa(S, K_S + A) \neq 0 $ 이면, $ m_1 \in \mathbb{Z}_{>0} $ 가 존재하여 모든 $ m \geq m_1 $ 과 모든 $ e \in \mathbb{Z}_{>0} $ 에 대해 추적 사상 $ \operatorname{Tr}_S^e(A + m(K_S + A)) $ 가 전사가 된다.
• 특성 2에서, $ \kappa(S, K_S + A) = 0 $ 이지만 $ -K_S $ 가 앰플일 경우에도 추적 사상이 전사가 되지 않는 반례가 존재한다.
• 증명은 최소 모델 프로그램을 사용하여 3차원의 경우를 표면의 경우로 환원하고, 풍부성 정리를 사용하여 곡선으로의 피브레이션을 구성한다.
• 기본점 자유성과 기저에 대한 코homological 내림을 사용하여, 피브레이션을 통해 코homology를 내림함으로써 제약 사상이 전사임을 보인다.