[논문 리뷰] Pluri-canonical maps of varieties of maximal Albanese dimension in positive characteristic

Yuchen Zhang|arXiv (Cornell University)|2012. 03. 07.

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

한 줄 요약

이 논문은 정수 계수의 대수적으로 닫힌 체 위의 일반형인 매끄럽고 사영적인 다양체 $X$에 대해, $X$가 최대 알바네제 차원을 가지며 알바네제 사상이 분리 가능하다면, 선형 계량 $|4K_X|$ 가 유리형 사상(induces a birational map)을 유도함을 증명한다. 증명은 특성 0에서의 기법을 특성 0에서의 푸리에-무카이 변환, 시험 이상, 프로베누스와 세르의 퇄소를 이용하여 특성 0에서의 카와마타-비에흐 퇄소의 실패를 보완함으로써 특성 0의 기법을 특성 양으로 확장한다.

ABSTRACT

We show that if X is a nonsingular projective variety of general type over an algebraically closed field k of positive characteristic and X has maximal Albanese dimension and the Albanese map is separable, then |4K_X| induces a birational map.

연구 동기 및 목표

• 특성 0에서의 다중표준 사상 결과를 특성 양으로 확장하기 위해.
• 다양체가 최대 알바네제 차원을 가지며 알바네제 사상이 분리 가능할 때, $|mK_X|$ 가 유리형 사상 유도하는 데 필요한 최적의 $m$ 값을 결정하기 위해.
• 특성 양에서의 카와마타-비에흐 퇄소의 실패를 프로베누스와 세르의 퇄소를 이용하여 시험 이상으로 다중이상 이상을 대체함으로써 보완하기 위해.
• 특성 0에서의 $|3K_X|$ 유리형 사상 결과를 특성 양에서 $|4K_X|$로 일반화하기 위해, 최대 알바네제 차원과 분리 가능 알바네제 사상 조건 하에.
• 푸리에-무카이 변환과 점차적 시험 이상이 특성 양에서 일반형 다양체의 유리형 기하학을 연구하는 데 효과적으로 사용될 수 있음을 확립하기 위해.

제안 방법

• 알바네제 다양체 위에서의 푸리에-무카이 변환을 사용하여 코homological 퇄소를 통해 $mK_X$의 점근적 절단을 생성하기 위해.
• 특성 0에서의 다중이상 이상을 특성 양에서의 시험 이상으로 대체하고, 프로베누스 사상과 추적 사상의 성질을 활용하기 위해.
• 정수 $e$에 대해 추적 사상 $\operatorname{Tr}^e$의 $e$-번 반복을 적용하여, 이상적 순서의 이상적 이상 $\tau(\mathfrak{a}_\bullet^\lambda)$를 정의하기 위해.
• 선형 계량에 대해선 등식 $\tau(\lambda \cdot \|D\|) = \tau(\mathfrak{a}_\bullet^\lambda)$를 사용하여, 다항식에 관련된 시험 이상을 정의하기 위해.
• 카와마타-비에흐 퇄소의 대체로 프로베누스와 세르의 퇄소를 사용하여 특성 양에서 코homological 퇄소를 보장하기 위해.
• 프로베누스 $F^e_*$-역상과의 시퀀스를 통해 층의 사상 체계를 구성하고, 그 행동을 0차원 스킴에서 분석하여 $|4K_X|$ 의 유리형 사상 성질을 증명하기 위해.

실험 결과

연구 질문

• RQ1 특성 양에서 일반형 다양체가 최대 알바네제 차원을 가지면, $|mK_X|$ 가 유리형 사상 유도하는 데 필요한 최소의 $m$ 값은 무엇인가요?
• RQ2 특성 양에서의 카와마타-비에흐 퇄소의 실패는 다중표준 사상의 맥락에서 프로베누스와 세르의 퇄소를 통해 극복될 수 있는가요?
• RQ3 시험 이상 이론이 특성 양에서의 유리형 기하학 연구에 다중이상 이상을 얼마나 효과적으로 대체할 수 있는가요?
• RQ4 푸리에-무카이 변환과 점차적 시험 이상은 특성 양에서 어떻게 $mK_X$의 절단을 생성합니까?
• RQ5 특성 0에서의 $|3K_X|$ 유리형 사상 결과는 최대 알바네제 차원과 분리 가능 알바네제 사상 조건 하에 특성 양에서 $|4K_X|$로 확장 가능한가요?

주요 결과

• 대수적으로 닫힌 체 위의 특성 양에서 일반형인 매끄럽고 사영적인 다양체 $X$에 대해, $X$가 최대 알바네제 차원을 가지며 알바네제 사상이 분리 가능하다면, $|4K_X|$ 는 유리형 사상 유도한다.
• 증명 과정에서 특성 0의 다중이상 이상과 카와마타-비에흐 퇄소는 특성 양에서의 시험 이상과 프로베누스/세르의 퇄소로 대체된다.
• 점차적 시험 이상 $\tau(\|3\Delta\|)$ 는 $\mathcal{O}_X(4K_X)$ 를 뒤틀어, 그 결과로 얻는 층 $\mathcal{O}_X(4K_X) \otimes \tau(\|3\Delta\|)$ 가 일반적인 점에서의 접선 벡터를 분리한다.
• 푸리에-무카이 변환은 코homological 퇄소를 통해 $mK_X$ 의 절단을 생성하는 데 사용되며, 핵심 단계는 알바네제 다양체에서의 전역 절단의 상사성이다.
• 구성은 일반적인 $x \in X$ 에 대해, 층 $\mathcal{F}_3 = \mathcal{O}_X(4K_X) \otimes \tau(\|3\Delta\|)$ 가 $x$ 와 $x$ 에 중심을 둔 길이 2의 0차원 스킴에서의 접선 벡터를 분리함을 보여준다.
• 결과는 주어진 조건 하에서 $|4K_X|$ 가 유리형 사상임을 확인하며, 특성 0에서의 $|3K_X|$ 결과에 대한 특성 양에서의 해석을 제공한다.