[논문 리뷰] Crystalline Galois Representations arising from K3 Surfaces

Bruno Chiarellotto, Christopher Lazda외 1명|arXiv (Cornell University)|2017. 01. 11.

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

한 줄 요약

이 논문은 p-진 필드 위의 K3 표면에서 에탈 코hom로지 표현이 크리스탈린인 것은, 표면이 유한한 비분열 확장 후 양호한 균열을 얻을 때이고 그 때에만 성립함을 증명한다. 또한 포르탱과 키신의 함자들이 극소적 특이점이 있는 모델의 특별한 섹션의 최소 해소의 크리스탈린 코호몰로지를 계산함을 보여준다.

ABSTRACT

Let $K$ be a $p$-adic field and let $X$ be a K3 surface over $K$. Assuming potential semi-stable reduction, we show that the ${ m Gal}(\overline{K}/K)$-representation on $H^2_{ m et}(X_{\overline{K}},{\mathbb Q}_p)$ is crystalline if and only if $X$ has good reduction after a finite and unramified extension of $K$. However, $X$ usually does not have good reduction over $K$ in this case, but it admits a model over ${\mathcal O}_K$, whose special fiber ${\cal X}_0$ has canonical singularities. Moreover, we show that functors of Fontaine and Kisin compute the crystalline cohomology of the minimal resolution of singularities of ${\cal X}_0$.

연구 동기 및 목표

• p-진 필드 위의 K3 표면에서 에탈 코호몰로지의 갈루아 표현이 크리스탈린이 되는 정확한 조건을 규명하는 것.
• 특히 기저 필드에서의 양호한 균열이 발생하지 않지만 비분열 확장 후에만 발생하는 K3 표면의 균열 행동을 분석하는 것.
• 기저 필드의 정수환 위의 K3 표면 모델의 특별한 섹션을 연구하여, 이가 극소적 특이점을 가짐을 보여주는 것.
• 포르탱과 키신의 함자가 특별한 섹션의 특이점의 최소 해소의 크리스탈린 코호몰로지를 계산함을 확립하는 것.

제안 방법

• 잠재적 준안정 균열 가정을 사용하여 $ H^2_{\text{ét}}(X_{\bar{K}}, \bbQ_p) $ 위의 갈루아 표현의 구조를 분석한다.
• 네론 모델 이론과 네론의 최소 모델 계획 이론을 적용하여 $ \bbZ_p $ 위의 K3 표면에 대한 모델 $ \frak{X}_0 $를 구성하며, 이는 극소적 특이점을 가짐을 보장한다.
• 로그 구조 이론과 준안정 균열 이론을 활용하여 일반 섹션의 코호몰로지 성질과 특별한 섹션의 성질을 연결한다.
• 포르탱과 키신의 함자를 사용하여 $ \frak{X}_0 $의 최소 해소의 크리스탈린 코호몰로지를 계산함으로써, p-진 호드 이론과 산술 기하학을 연결한다.
• 크리스탈린 케이스에서 에탈과 크리스탈린 코호몰로지 사이의 비교 동형을 이용하여, 함자들이 해소와의 호환성을 가짐을 검증한다.

실험 결과

연구 질문

• RQ1 p-진 필드 $ K $ 위의 K3 표면 $ X $에 대해, $ H^2_{\text{ét}}(X_{\bar{K}}, \bbQ_p) $ 위의 갈루아 표현이 언제 크리스탈린인가?
• RQ2 크리스탈린 표현의 존재는 K의 유한한 비분열 확장 후에 K3 표면이 양호한 균열을 얻는다는 것을 의미하는가?
• RQ3 K에서 양호한 균열이 없는 경우, $ X $의 $ \bbZ_K $ 위의 모델의 특별한 섹션은 어떤 성질을 가질까?
• RQ4 포르탱과 키신의 함자를 사용하여 특별한 섹션의 특이점의 최소 해소의 크리스탈린 코호몰로지를 계산할 수 있는가?
• RQ5 특별한 섹션의 특이점은 일반 섹션의 코호몰로지 성질과 어떻게 관련이 있는가?

주요 결과

• 잠재적 준안정 균열을 가정할 때, $ H^2_{\text{ét}}(X_{\bar{K}}, \bbQ_p) $ 위의 갈루아 표현이 크리스탈린이 되는 것은, $ X $가 $ K $의 유한한 비분열 확장 후에만 양호한 균열을 얻을 때이다.
• 특히 $ X $가 $ K $에서 양호한 균열을 가지지 않더라도, 특별한 섹션 $ \frak{X}_0 $가 극소적 특이점만을 가지는 $ \bbZ_K $ 위의 모델을 가짐을 보였다.
• 최소 해소의 $ \frak{X}_0 $는 잘 정의된 크리스탈린 코호몰로지를 가지며, 이는 포르탱과 키신의 함자에 의해 계산된다.
• 최소 해소의 $ \frak{X}_0 $의 크리스탈린 코호몰로지는 $ H^2_{\text{ét}}(X_{\bar{K}}, \bbQ_p) $ 위의 갈루아 표현의 $ \bbQ_p $-실현과 동형이며, p-진 호드 이론과의 호환성을 확인한다.
• 특별한 섹션 $ \frak{X}_0 $의 특이점은 온전히 경미한(극소적) 특이점이므로, 해소가 코호몰로지 불변량이 제어된 매끄러운 표면임을 보장한다.