[논문 리뷰] Constancy of Newton polygons of $F$-isocrystals on Abelian varieties and isotriviality of families of curves

Nobuo Tsuzuki|arXiv (Cornell University)|2017. 04. 04.

Algebraic Geometry and Number Theory참고 문헌 25인용 수 6

한 줄 요약

이 논문은 유한체 위의 아벨 다양체에서 수렴하는 모든 $F$-이스وك리스탈에 대해 뉴턴 다각형의 일관성을 증명하며, $F$-이스وك리스탈의 기하학과 곡선의 가역적 가닥의 가역성 사이에 깊은 연관성을 설정한다. 주요 결과는 아벨 다양체 위에서의 이러한 가닥이 반드시 가역적이어야 한다는 것을 보여주며, $p$-진 단일화와 $F$-이스وك리스탈 불변량에 관한 기존 결과를 일반화한다.

ABSTRACT

We prove constancy of Newton polygons of all convergent $F$-isocrystals on Abelian varieties over finite fields. Applying the constancy, we prove the isotriviality of projective smooth families of curves over Abelian varieties. We also study the isotriviality over simply connected projective smooth varieties.

연구 동기 및 목표

• 유한체 위의 아벨 다양체에서 모든 수렴하는 $F$-이스وك리스탈에 대해 뉴턴 다각형의 일관성을 확립하는 것.
• 뉴턴 다각형의 일관성에 기반하여 아벨 다양체 위의 프로젝티브이고 매끄러운 곡선 가닥의 가역성 증명하기.
• 모든 수렴하는 $F$-이스وك리스탈이 일관된 뉴턴 다각형을 갖는 다양체를 분류하는 것.
• 에테일 기본군과 상수 $F$-이스وك리스탈의 범주 간의 관계를 조사하는 것.
• 양의 특성에서의 $p$-진 단일화와 $F$-이스وك리스탈 불변량에 대한 이해를 확장하는 것.

제안 방법

• 고정된 프로베누스 승수 $\sigma$를 갖는 유한체 위의 스킴에서의 수렴하는 $F$-이스وك리스탈 이론을 사용한다.
• 디외도니-마니에 분류를 적용하여 각 점 $x$에서의 $F$-공간 $i_{\overline{x}}^*\mathcal{M}$를 통해 뉴턴 다각형 $\mathrm{NP}(\mathcal{M},x)$를 정의한다.
• 카츠-크루 이론을 적용하여 $p$-진 갈루아 표현과 유닛루트 $F$-이스وك리스탈 간의 관계를 설정하고, $\pi_1^{\mathrm{et}}(X_{\overline{k}})$-불변량을 $F$-이스وك리스탈의 구조와 연결한다.
• 완비화와 갈루아 수축을 사용하여 $\mathcal{M}$의 코homological 자료로부터 $\pi_1^{\mathrm{et}}(X)$의 $K_\sigma$-표현 $V(\mathcal{M})$를 구성한다.
• 형식 스킴 $\mathrm{Spf}\,A_n$ 위에서의 극한 구성법을 적용하여, 완비화된 코homology 위에서 $1 - \Phi \otimes \widehat{\varphi}$의 핵으로서 $V^0(\mathcal{M})$를 정의한다.
• 사실 $V(\mathcal{M}) \cong V^0(\mathcal{M})$를 이용하여, $V(\mathcal{M})$ 내의 자명한 표현이 $\mathcal{M}$ 내의 자명한 부분대상으로 올라간다는 것을 보이며, 이는 레미마 A.7와 국소환 $A_x[1/p]$의 구조에 기반한다.

실험 결과

연구 질문

• RQ1 어떤 다양체에서 모든 $F$-이스وك리스탈에 대해 뉴턴 다각형이 일관될 경우, 그 위의 곡선 가닥이 가역적이어야 하는가?
• RQ2 유한체 위의 아벨 다양체에서, 일관된 뉴턴 다각형을 갖는 $F$-이스وك리스탈의 범주가 전체 범주 $F\mbox{-}\mathrm{Isoc}(X/K)$와 같은가?
• RQ3 $\pi_1^{\mathrm{et}}(X_{\overline{k}})$가 $X$ 위의 $F$-이스وك리스탈의 구조를 통해 탐지될 수 있는가?
• RQ4 비일관된 뉴턴 다각형을 갖는 비가역적 곡선 가닥이 아벨 다양체 위에 존재하는가?
• RQ5 어떤 조건을 갖는 다양체는 모든 수렴하는 $F$-이스وك리스탈이 일관된 뉴턴 다각형을 갖는가?

주요 결과

• 유한체 위의 아벨 다양체에서 수렴하는 임의의 $F$-이스وك리스탈의 뉴턴 다각형은 모든 기하적 점에서 일관된다.
• 유한체 위의 아벨 다양체에서 프로젝티브이고 매끄러운 곡선 가닥은 반드시 가역적이다. 즉, 유한한 기저 변경 후에 상수로 변환된다.
• 일관된 뉴턴 다각형을 갖는 $F$-이스وك리스탈의 범주는 아벨 다양체 위의 전체 범주 $F\mbox{-}\mathrm{Isoc}(X/K)$와 일치한다.
• 표현 $V(\mathcal{M})$ 내에 자명한 $\pi_1^{\mathrm{et}}$-표현이 존재하면, 레미마 A.7에 의해 $\mathcal{M}$ 내에 자명한 유닛루트 부분대상이 존재함을 의미한다.
• $V^0(\mathcal{M})$를 완비화된 코homology 위에서 $1 - \Phi \otimes \widehat{\varphi}$의 핵으로 정의함으로써, $V(\mathcal{M})$와 동형인 $K_\sigma$-표현을 얻으며, 크루의 이론과의 호환성을 확인한다.
• $A[1/p] = \bigcap_x A_x[1/p]$의 등식이 코드미네이션-1 점 $x$들에 대해 성립함으로써, $V_0 \subset M$ 이면 $V_0 \subset M \otimes_{A[1/p]} A_x[1/p]$이 성립함을 보장하며, 자명한 표현의 수축을 가능하게 한다.