[논문 리뷰] On the characterization of abelian varieties in characteristic $p>0$

Christopher D. Hacon, Zsolt Patakfalvi|arXiv (Cornell University)|2016. 02. 04.

Algebraic Geometry and Number Theory참고 문헌 10인용 수 3

한 줄 요약

이 논문은 특성 $p > 0$인 대수적으로 닫힌 체 위의 정규, 사영 대상 $X$가 아벨 다양체와 유리형일 조건을 아르바노 제형과 코다이라 차수를 분석함으로써 설정한다. F-특이점과 카르티에 모듈러스 기법을 사용하여, 만약 $\kappa(K_X) = 0$ 이고 아르바노 사상이 일반적으로 유한하며 그 차수가 $p$로 나누어지지 않거나, 사상이 분리 가능하고 목표 아벨 다양체가 보통 또는 초순수이면, $X$는 아벨 다양체와 유리형이다.

ABSTRACT

This article is superseded by 1703.06631. We keep this version here since some of the arguments for the special cases treated here are different than those of 1703.06631.

연구 동기 및 목표

• 최대 아르바노 차수를 가진 다양체에 대한 카와마타-비에흐와그의 특성 0 결과를 양의 특성으로 일반화하기 위해.
• 특성 $p > 0$에서 $\kappa(K_X) = 0$인 정규 사영 다양체 $X$가 아벨 다양체와 유리형일 조건을 규명하기 위해.
• F-특이점과 일반적인 소멸 이론의 도구를 적응하여 특성 0 결과를 양의 특성으로 확장하기 위해.
• 특히 높이 1 이so지니를 포함한 아르바노 사상이 순수하게 비분리되는 경우를 다루고, 초순수 및 보통 아벨 다양체를 다루기 위해.
• 특성 양에서 특이점의 해소가 없을 경우에 Weil 분할에 대해 $\kappa(K_X) = 0$의 개념을 정의하고 사용하기 위해.

제안 방법

• 아르바노 사상 $a: X \to A$를 사용하여 문제를 아벨 다양체 $A$ 위에서의 $X$의 기하학으로 축소하기 위해.
• 분할의 일반적인 섹션에 대한 코다이라 차수의 하위加법성 적용을 통해 스텐 인자화의 일반 섹션을 분석하기 위해.
• 카르티에 모듈러스와 $S_0$-구성법을 사용하여 캐논리컬 선다발 $a_*\omega_X$의 푸시포워드를 분석하기 위해.
• 섹션의 비영인 라인다발의 $V^0(K_X)$-지역을 사용하여 캐논리컬 다항식의 지지부를 제약하기 위해.
• 포이카레 환원과 타원 곡선으로의 이소지니를 통해 초순수 및 보통 아벨 다양체의 구조를 활용하여.
• 상대 프로베니우스와 군집 이론을 사용하여 높이 1의 순수하게 비분리 아르바노 사상의 경우를 분석하기 위해.

실험 결과

연구 질문

• RQ1 특성 $p > 0$인 체 위에서 $\kappa(K_X) = 0$인 정규 사영 다양체 $X$가 아벨 다양체와 유리형일 조건은 무엇인가?
• RQ2 아르바노 사상이 반드시 분리 가능하지 않은 경우에도, 최대 아르바노 차수를 가진 다양체에 대한 특성 0 결과를 양의 특성으로 확장할 수 있는가?
• RQ3 캐논리컬 선다발과 그 아르바노 사상에 의한 푸시포워드의 행동이 양의 특성에서 $X$의 기하학을 어떻게 제약하는가?
• RQ4 아르바노 사상의 높이가 아벨 다양체와의 유리형을 결정하는 데 어떤 역할을 하는가?
• RQ5 아르바노 다양체의 구조(예: 보통 또는 초순수)가 분리 가능성 또는 차수 제약 없이도 유리형 결과를 회복하는 데 기여할 수 있는가?

주요 결과

• 아르바노 사상 $a: X \to A$가 일반적으로 유한하고 $p \nmid \deg a$, $\kappa(K_X) = 0$이면, $a$는 유리형이므로 $X$는 아벨 다양체와 유리형이다.
• 만약 $a$가 분리 가능하고 $A$가 보통 또는 초순수이며 $\kappa(K_X) = 0$이면, $a$는 유리형이므로 $X$는 아벨 다양체와 유리형이다.
• 만약 $a$가 유한하고 순수하게 비분리적이며 높이 1이고 $X$가 매끄럽다면, $a$는 유리형이므로 $X$는 아벨 다양체와 유리형이다.
• 정리 0.2의 증명은 $a$가 분리 가능하고 $\kappa(K_X) = 0$이면 $a$가 전사임을 보여주며, 이는 유리형으로 가는 핵심 단계이다.
• 초순수 $A$의 경우, 아르바노 사상이 큰 열린 부분집합에서 에탈레임을 보여주며, 분지의 순수성에 의해 유리형임을 암시한다.
• 캐논리컬 선다발 $\omega_X$가 $c_1(a_*\omega_X) = 0$임을 보여주며, 이는 분리 가능성과 함께 $a$가 큰 열린 집합에서 에탈레임을 뜻하며, 결과적으로 유리형으로 이어진다.