[논문 리뷰] Rigid analytic reconstruction of Hyodo--Kato theory

Veronika Ertl, Kazuki Yamada|arXiv (Cornell University)|2019. 07. 25.

Algebraic Geometry and Number Theory참고 문헌 14인용 수 4

한 줄 요약

이 논문은 로그 리지드 코homology를 이용하여 하이도–카토 코hom로지와 하이도–카토 사상의 새로운 리지드 해석적 구성법을 제시한다. 이는 통일자 선택에 의존하지 않고, 오직 $p$-진 로그 함수의 분지에만 의존한다. 구성법은 명시적이고, 체치 코사이클을 통한 계산이 가능하며, 고전적 크리스탈린 하이도–카토 이론과 그로스세-클론네의 리지드 접근법과 모두 호환된다.

ABSTRACT

We give a new and very intuitive construction of Hyodo--Kato cohomology and the Hyodo--Kato map, based on logarithmic rigid cohomology. We show that it is independent of the choice of a uniformiser and study its dependence on the choice of a branch of the $p$-adic logarithm. Moreover, we show the compatibility with the classical construction of Hyodo--Kato cohomology and the Hyodo--Kato map.)

연구 동기 및 목표

• 계산적으로 명시적이고 기하학적으로 직관적인 리지드 해석적 하이도–카토 코호몰로지의 버전을 개발하기 위해.
• 하이도–카토 사상에서 통일자 선택에 의존하는 것을 제거하고, 대신 $p$-진 로그 함수의 분지에 의존하도록 하기 위해.
• 고전적 크리스탈린 하이도–카토 이론과 그로스세-클론네의 리지드 해석적 구성법과의 호환성을 확립하기 위해.
• 로그 과수렴 $F$-이스코일레르의 계수를 가진 코호몰로지로의 일반화에 적합한 프레임워크를 제공하기 위해.

제안 방법

• 저자들은 키문과 헤인의 영감을 얻어, 열린 단위 디스크 위의 다거 스페이스 위에 복합체 $\omega^{\bullet}_{\mathcal{Z}/W^{\varnothing},\mathbb{Q}}[u]$를 사용하여 리지드 하이도–카토 코호몰로지를 정의한다.
• 그들은 리지드 코호몰로지에서 딜람 코호몰로지로의 자연스러운 준동형을 이용하여 리지드 하이도–카토 사상 $\Psi_{\pi,q}$를 정의함으로써, 체치 코사이클을 통한 명시적 계산이 가능하게 한다.
• 이 구성법은 로그 리지드 코호몰로지와 약형 포물형 스킴, 그리고 편의형 완비성 개념을 갖는 의사-와이프 알제브라에 기반하며, 약형 완비성의 상대적 개념을 가능하게 한다.
• 사상 $\Psi_{\pi,q}$는 통일자 $\pi$에 대해 독립적이며, 오직 $V$의 최대 아이디얼에서 0이 아닌 원소인 $q$에 의해 표현되는 $p$-진 로그 함수의 분지에만 의존한다.
• 단순화된 로그 스킴의 리지드 코호몰로지와 그 특수화 표면을 연결하는 가환 다이어그램을 사용하여, 새로운 사상이 고전적 및 그로스세-클론네의 구성법과 비교된다.
• 리지드 복합체의 공리체화에서 프로베누스 호환성과 함의성의 성질을 사용하여, 새로운 사상이 고전적 단면 $s_\pi$와 일치함을 증명함으로써 호환성이 확립된다.

실험 결과

연구 질문

• RQ1 어떻게 하이도–카토 코호몰로지를 계산적으로 명시적이고 통일자 선택에 영향을 받지 않는 리지드 해석적 환경에서 재구성할 수 있는가?
• RQ2 하이도–카토 사상은 $p$-진 로그 함수의 분지 선택에 대해 정확히 어떻게 의존하는가?
• RQ3 새로운 리지드 해석적 구성법은 고전적 크리스탈린 하이도–카토 이론과 그로스세-클론네의 리지드 해석적 접근법과 호환되는가?
• RQ4 새로운 구성법은 로그 과수렴 $F$-이스코일레르의 계수를 가진 코호몰로지로 확장될 수 있는가?

주요 결과

• 리지드 하이도–카토 코호몰로지 $R\Gamma_{\mathrm{HK}}^{\mathrm{rig}}(\mathcal{X})$는 다거 스페이스 위의 복합체를 통해 구성되며, 체치 코사이클을 통한 명시적 계산이 가능하다.
• 리지드 하이도–카토 사상 $\Psi_{\pi,q}$는 통일자 $\pi$에 대해 독립적이며, 오직 $V$의 최대 아이디얼 내의 0이 아닌 원소 $q$에 의해 정의되는 $p$-진 로그 함수의 분지에만 의존한다.
• 사상 $\Psi_{\pi,q}$의 구성은 고전적 크리스탈린 하이도–카토 사상 $\Psi_{\pi}^{\mathrm{cris}}$와 호환되며, 준위상동형과 프로베누스 호환성을 포함하는 가환 다이어그램을 통해 증명된다.
• $q = \pi$인 경우, 사상 $\Psi_{\pi,q}$는 그로스세-클론네의 리지드 하이도–카토 사상과 일치하며, 이는 이전의 리지드 해석적 접근법과의 일致성을 보장한다.
• 새로운 구성법은 프로베누스 작용과 호환되며, 다이어그램의 사상 복합은 프로베누스와 가환하므로 $(\varphi,N)$-모듈의 $\varphi$-구조와 일致함을 보장한다.
• 저자들은 다이어그램의 사상 복합이 특수화 사상의 단면임을 증명하였으며, 프로베누스 호환성에 의해 고전적 단면 $s_\pi$와 일치함을 보여, 완전한 호환성을 입증한다.