[논문 리뷰] Rigid connections, $F$-isocrystals and integrality

Hélène Esnault, Michael Groechenig|arXiv (Cornell University)|2017. 07. 03.

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

한 줄 요약

이 논문은 복소수 위의 매끄럽고 사영적인 다양체 위에서의 기하학적 기원을 지닌 불가약한 강한 평탄한 접속의 핵심 성질을 확인한다. 구체적으로, 이러한 접속이 소수 모듈로 환원을 통해 $F$-이소크리스탈로 올라가며, 큰 소수 $p$에 대해 $p$-곡률이 멱등임을 증명하고, $p$-곡률이 0이면 유니타리임을 보여, 그로테인드-카츠 $p$-곡률 추측의 새로운 케이스를 도출한다. 또한, 코homologically rigid한 $F$-이소크리스탈에 대한 완전한 동반자 대응 관계를 수립한다.

ABSTRACT

An irreducible integrable connection $(E, abla)$ on a smooth projective complex variety $X$ is called rigid if it gives rise to an isolated point of the corresponding moduli space $\mathcal{M}_{dR}(X)$. According to Simpson's motivicity conjecture, irreducible rigid flat connections are of geometric origin, that is, arise as subquotients of a Gaus-Manin connection of a family of smooth projective varieties defined on an open dense subvariety of $X$. In this article we study mod $p$ reductions of irreducible rigid connections and establish results which confirm Simpson's prediction. In particular, for large $p$, we prove that $p$-curvatures of mod $p$ reductions of irreducible rigid flat connections are nilpotent, and building on this result, we construct an $F$-isocrystalline realization for {irreducible} rigid flat connections. More precisely, we prove that there exist smooth models $X_R$ and $(E_R, abla_R)$ of $X$ and $(E, abla)$, over a finite type ring $R$, such that for every Witt ring $W(k)$ of a finite field $k$ and every homomorphism $R o W(k)$, the $p$-adic completion of the base change $(\widehat{E}_{W(k)},\widehat{ abla}_{W(k)})$ on $\widehat{X}_{W(k)}$ represents an $F$-isocrystal. Subsequently we show that {irreducible} rigid flat connections with vanishing $p$-curvatures are unitary. This allows us to prove new cases of the Grothendieck--Katz $p$-curvature conjecture. We also prove the existence of a complete companion correspondence for $F$-isocrystals stemming from irreducible cohomologically rigid connections.

연구 동기 및 목표

• 복소수 위의 매끄럽고 사영적인 다양체에서 정의된 불가약한 강한 평탄한 접속의 기하학적 기원에 관한 심슨의 모티비티스 추측의 예측을 검증하는 것.
• 소수 모듈로 환원을 통한 불가약한 강한 평탄한 접속에 대한 $F$-이소크리스탈 실현의 존재를 확립하는 것.
• 소수 $p$-곡률이 0인 불가약한 강한 평탄한 접속이 유니타리임을 증명하여, 그로테인드-카츠 $p$-곡률 추측을 뒷받침하는 것.
• 코homologically rigid한 접속으로부터 유도된 $F$-이소크리스탈에 대한 완전한 동반자 대응 관계를 구축하는 것.

제안 방법

• 복소수 위의 매끄럽고 사영적인 다양체에서 정의된 불가약한 강한 평탄한 접속의 소수 모듈로 환원을 분석하며, 큰 소수 $p$에 초점을 맞춘다.
• 이러한 환원의 $p$-곡률이 충분히 큰 $p$에 대해 멱등임을 증명한다.
• 유한 유형의 환 $R$ 위에서 $X_R$와 $(E_R, \nabla_R)$의 매끄러운 모델을 구성하여, $W(k)$로의 기저 변경이 $p$-진 완비화 후 $F$-이소크리스탈을 얻도록 한다.
• $p$-곡률의 멱등성을 이용해, $p$-곡률이 0일 경우 강한 평탄한 접속이 유니타리가 됨을 유도한다.
• $F$-이소크리스탈 이론 및 그 동반자 이론을 적용하여, 코homologically rigid한 $F$-이소크리스탈에 대한 완전한 동반자 대응 관계를 수립한다.
• $W(k)$ 위에서의 $p$-진 완비화를 통해 기저 변경된 $(E_R, \nabla_R)$의 $p$-진 완비화가 기저 변경의 형식적 완비화 위에서 $F$-이소크리스탈을 나타냄을 활용한다.

실험 결과

연구 질문

• RQ1 복소수 위의 매끄럽고 사영적인 다양체에서 정의된 불가약한 강한 평탄한 접속이 큰 소수 $p$에 대해 소수 모듈로 환원을 통해 $F$-이소크리스탈 실현을 갖는가?
• RQ2 불가약한 강한 평탄한 접속의 소수 모듈로 환원의 $p$-곡률이 큰 소수 $p$에 대해 멱등인가?
• RQ3 불가약한 강한 평탄한 접속이 소수 $p$-곡률이 0일 경우 어떤 조건에서 유니타리가 되는가?
• RQ4 코homologically rigid한 접속으로부터 유도된 $F$-이소크리스탈에 대해 완전한 동반자 대응 관계를 수립할 수 있는가?
• RQ5 이 결과들이 그로테인드-카츠 $p$-곡률 추측의 새로운 케이스를 확인하는가?

주요 결과

• 큰 소수 $p$에 대해, 불가약한 강한 평탄한 접속의 소수 모듈로 환원의 $p$-곡률은 멱등이다.
• 소수 $p$-곡률이 0인 불가약한 강한 평탄한 접속은 유니타리이며, 이는 그로테인드-카츠 $p$-곡률 추측의 새로운 케이스를 제공한다.
• 유한 유형의 환 $R$ 위에서 매끄러운 모델 $X_R$와 $(E_R, \nabla_R)$가 존재하여, $W(k)$로의 기저 변경이 $p$-진 완비화 후 $F$-이소크리스탈을 얻는다.
• $(E_R, \nabla_R)$의 $W(k)$로의 기저 변경의 $p$-진 완비화는 모든 환형사상 $R \to W(k)$에 대해 $\widehat{X}_{W(k)}$ 위의 $F$-이소크리스탈을 나타낸다.
• 코homologically rigid한 접속으로부터 유도된 $F$-이소크리스탈에 대해 완전한 동반자 대응 관계가 존재한다.
• $F$-이소크리스탈 실현의 구성은 $p$-진 설정에서 심슨의 모티비티스 추측의 핵심 예측을 확인한다.