[논문 리뷰] Finiteness of étale fundamental groups by reduction modulo $p$

Bhargav Bhatt, Ofer Gabber외 1명|arXiv (Cornell University)|2017. 05. 20.

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

한 줄 요약

이 논문은 특성 0에서 에테일 국소 기본군의 유한성을, 양의 특성에서의 그들의 에테일 기본군에 대한 유계성으로부터 유도하는 확산 기법을 수립한다. 다항식적으로 유계된 $p$-멱의 순서가 소수와 서로소 몫에서만 충분함을 보여, 특성 $p$ 방법을 사용하여 klt 특이점에 대한 Xu의 유한성 결과를 재증명하며, 구조성과 프로피니트 군 기준을 통해 더 간단한 새로운 증명을 제공한다.

ABSTRACT

We introduce a spreading out technique to deduce finiteness results for étale fundamental groups of complex varieties by characteristic $p$ methods, and apply this to recover a finiteness result proven recently for local fundamental groups in characteristic $0$ using birational geometry.

연구 동기 및 목표

• 특성 0에서의 에테일 기본군의 유한성을, 양의 특성에서의 유계성으로부터 일반적인 방법으로 유도하는 것.
• 특성 $p$ 기법을 사용하여 특성 0에서 klt 특이점에 대한 Xu의 유한성 결과를 재증명하는 것.
• 구조성과 확산을 활용하여 klt 특이점에 대한 국소 에테일 기본군의 유한성에 대한 새로운, 보다 간단한 증명을 제공하는 것.
• 특이점 제약 없이 산술 가중치에서 희생적 국소 기본군의 구조성 결과를 개발하는 것.
• 준비형 또는 분할 도구에 의존하지 않는, 글로벌 유한성 결과에 대한 갈루아 이론적 증명을 제시하는 것.

제안 방법

• 체 $\mathbf{C}$ 위의 스킴을 유한 생성된 $\mathbf{Z}$-대수 $A$로 올리는 확산 기법을 도입하여, $p$로 모듈로 환원할 수 있도록 한다.
• 정리 1.2를 사용하여, 만약 양의 특성에서의 $\pi_1^{\text{loc}}(X_{\bar{y}},x_{\bar{y}})$의 소수와 서로소 몫이 어떤 $c$에 대해 모든 큰 특성 $p$에서 $p^{c}$ 이내로 유계이면, 특성 0에서의 $\pi_1^{\text{loc}}(X,x)$의 유한성을 유도한다.
• 산술 가중치에서 희생적 국소 기본군의 구조성 결과(정리 4.1)를 적용하여, 가중치를 따라 기본군의 행동을 제어한다.
• 프로피니트 군에 대한 추상적 유한성 기준(정리 5.1)을 활용하여, 양의 특성에서의 유계성과 특성 0에서의 유한성 간의 연결을 맺는다.
• 특성 0에서의 klt 특이점은 양의 특성에서 강력한 $F$-정규 특이점으로 특성화되며, 여기서 유한성은 알려져 있다.
• 문헌 [PT]에서의 $F$-서명 하한을 사용하여, $d = \dim X_{\mathbf{C}}$에 대해 필요한 다항식 유계성 $\#\pi_1^{\text{loc}}(X_{\bar{y}},x_{\bar{y}}) \leq p^{d}$를 확립한다.

실험 결과

연구 질문

• RQ1 특성 0에서의 에테일 국소 기본군의 유한성은 $p$로 모듈로 환원한 결과에 대한 유계성으로부터 유추될 수 있는가?
• RQ2 양의 특성에서 국소 기본군의 소수와 서로소 몫에 대한 $p$에 대한 다항식 유계성이 특성 0에서의 유한성으로 이어지는가?
• RQ3 특성 0에서의 klt 특이점에 대한 유한성 결과는 오직 양의 특성 기법과 확산 기법만을 사용하여 재증명될 수 있는가?
• RQ4 산술 가중치에서의 희생적 국소 기본군의 행동은 어떠한가? 특이점 제약 없이 그들의 구조성이 입증될 수 있는가?
• RQ5 준비형 또는 분할 도구에 의존하지 않는, 글로벌 유한성 결과에 대한 갈루아 이론적 증명을 제시할 수 있는가?

주요 결과

• 정리 1.2는, 만약 양의 특성에서 국소 에테일 기본군의 소수와 서로소 몫이 어떤 $c$에 대해 $p^c$ 이내로 유계이면, 특성 0에서의 국소 기본군이 유한함을 확립한다.
• 논문은 오직 특성 $p$ 기법만을 사용하여 특성 0에서 klt 특이점에 대한 $\pi_1^{\text{loc}}(X,x)$의 유한성 결과를 재증명한다.
• 산술 가중치에서 희생적 국소 기본군에 대한 구조성 결과가 증명되었으며, 이는 특이점 제약 없이도 성립한다(정리 4.1).
• 정리 5.1의 유한성 기준은, 다항식 성장조차도 허용하는 양의 특성에서의 유계성으로부터 프로피니트 군의 유한성을 유도할 수 있도록 한다.
• 강력한 $F$-정규 특이점에 대해, 큰 양의 특성에서 $d = \dim X_{\mathbf{C}}$에 대해 $\#\pi_1^{\text{loc}}(X_{\bar{y}},x_{\bar{y}}) \leq p^d$의 유계성이 확립된다.
• 이전 연구에서의 준비형 가정을 피한, 글로벌 유한성 결과(정리 1.5)에 대한 갈루아 이론적 증명이 제시된다.