[논문 리뷰] Finiteness of cohomology of local systems on rigid analytic spaces

Kiran S. Kedlaya, Ruochuan Liu|arXiv (Cornell University)|2016. 11. 21.

Algebraic structures and combinatorial models참고 문헌 10인용 수 6

한 줄 요약

이 논문은 $p$-진 필드 위의 매끄럽고 완비된 강한 해석적 공간에서 에탈 $\mathbb{Q}_p$-국소체계에 대한 코homology 군의 유한차원성을, 프로-에탈 위상에서의 상대적 $(\varphi,\Gamma)$-모듈의 새로운 프레임워크를 사용하여 확립한다. 핵심 결과는 $H^i(X,V)$ 가 $\mathbb{Q}_p$-벡터공간으로서 유한차원이며, $K$ 가 대수적으로 닫힌 경우 $i > 2\dim(X)$, $K$ 가 $\mathbb{Q}_p$ 의 유한 확장인 경우 $i > 2\dim(X)+2$ 에서는 0이 된다는 것이다. 이는 슈올체의 비교 등식을 대수기하학 외부의 해석적 국소체계로 확장한다.

ABSTRACT

We prove that the cohomology groups of an etale Q_p-local system on a smooth proper rigid analytic space are finite-dimensional Q_p-vector spaces, provided that the base field is either a finite extension of Q_p or an algebraically closed nonarchimedean field containing Q_p. This result manifests as a special case of a more general finiteness result for the higher direct images of a relative (phi, Gamma)-module along a smooth proper morphism of rigid analytic spaces over a mixed-characterstic nonarchimedean field.

연구 동기 및 목표

• 에탈 코homology 군의 유한차원성을 $p$-진 필드 위의 매끄럽고 완비된 강한 해석적 다양체에서 $\mathbb{Q}_p$-국소체계에 대해 확립한다.
• 슈올체의 $p$-진 비교 등식을 $\mathbb{Z}_p$-국소체계에서 유래하지 않는 해석적 국소체계, 예를 들어 타이트 균일화에서 유래하는 것들로 확장한다.
• 강한 해석적 공간 사이의 매끄럽고 완비된 사상에 沿해 상대적 $(\varphi,\Gamma)$-모듈의 고차 직접영상에 대한 일반 이론을 수립한다.
• 상대적 에탈-드람 비교 등식을 $\mathbb{Q}_p$-국소체계에 대해 확립하여 이전에 $\mathbb{Z}_p$-국소체계에 국한된 결과를 일반화한다.

제안 방법

• 프로-에탈 위상과 퍼펙트로이드 공간을 이용하여 프로세스 $\varphi$ 와 갈루아 작용 $\Gamma$ 를 갖는 $p$-진 주기층 $\tilde{\mathbf{C}}$ 를 구성함으로써, 코homology 의 모듈 이론적 재구성을 가능하게 한다.
• 국소체계 $\mathbb{Q}_p$ 를 $\tilde{\mathbf{C}}$ 와 텐서곱하여 상대적 $(\varphi,\Gamma)$-모듈로 변환하고, 코homology 를 복합체 $\mathcal{F} \xrightarrow{\varphi - 1} \mathcal{F}$ 의 초코homology 로 계산한다.
• 반노에테리안 가정에 의존하지 않는 벤락 공간 내의 완전 연속 호모모르피즘의 카르탕-세르 방법을 적용하여 유한차원성을 증명한다.
• 고차 직접영상이 기저 변경과 호환됨을 증명하고, 드람 $(\varphi,\Gamma)$-모듈이 완비 편광 아래에서 보존됨을 보인다.
• $(\varphi,\Gamma)$-모듈의 드람 조건을 이용하여 코homology 와 드람 코homology 를 $D_{\operatorname{dR}}(\mathcal{F})$ 를 통해 연결하고, $R^if_*D_{\operatorname{dR}}(\mathcal{F})$ 와 $D_{\operatorname{dR}}(R^if_{\operatorname{pro\acute{e}t}*}\mathcal{F})$ 사이의 등식을 증명한다.
• 프로-에탈 설정에서 아르틴-슐라이어 수열을 적용하여 $V$ 의 코homology 와 관련된 $(\varphi,\Gamma)$-모듈 $\mathcal{F}$ 의 코homology 를 연결한다.

실험 결과

연구 질문

• RQ1 에탈 $\mathbb{Q}_p$-국소체계 $V$ 를 갖는 매끄럽고 완비된 강한 해석적 공간 $X$ 에서의 코homology 군 $H^i(X,V)$ 는 $\mathbb{Q}_p$ 위에서 유한차원적인가?
• RQ2 유한차원성 결과는 $\mathbb{Z}_p$-국소체계에서 유래하지 않는 $\mathbb{Q}_p$-국소체계, 예를 들어 타이트 균일화에서 유래하는 것들로도 확장되는가?
• RQ3 에탈-드람 비교 등식은 $\mathbb{Z}_p$-국소체계에서 $\mathbb{Q}_p$-국소체계로 강한 해석적 설정에서 일반화될 수 있는가?
• RQ4 매끄럽고 완비된 사상에 沿해 상대적 $(\varphi,\Gamma)$-모듈의 고차 직접영상은 유한성과 드람 성질을 보존하는가?
• RQ5 프로-에탈 코homology 의 $\mathcal{F}$ 와 $R^if_*\mathcal{F}$ 의 드람 코homology 를 연결하는 상대적 등식이 존재하는가?

주요 결과

• 대수적으로 닫힌 비아르키메데스 필드 $K$ 가 $\mathbb{Q}_p$ 를 포함하는 경우, 매끄럽고 완비된 강한 해석적 공간 $X$ 에 대해 코homology 군 $H^i(X,V)$ 는 $\mathbb{Q}_p$-벡터공간으로서 유한차원이며, $i > 2\dim(X)$ 에서는 0이 된다.
• $K$ 가 $\mathbb{Q}_p$ 의 유한 확장인 경우, 코homology 군 $H^i(X,V)$ 는 $\mathbb{Q}_p$-벡터공간으로서 유한차원이며, $i > 2\dim(X) + 2$ 에서는 0이 된다.
• 매끄럽고 완비된 사상 $f: Y \to X$ 에 따라 상대적 $(\varphi,\Gamma)$-모듈 $\mathcal{F}$ 의 고차 직접영상 $R^if_{\operatorname{pro\acute{e}t}*}\mathcal{F}$ 는 $\tilde{\mathbf{C}}^{[s,r]}_X$ 위에서 유한차원이며, 드람 조건을 보존한다.
• 표준적 준동형사상 $R^if_*D_{\operatorname{dR}}(\mathcal{F}) \to D_{\operatorname{dR}}(R^if_{\operatorname{pro\acute{e}t}*}\mathcal{F})$ 는 등식이며, 상대적 에탈-드람 비교를 확립한다.
• $V$ 의 코homology 는 $R^if_{\operatorname{pro\acute{e}t}*}\mathcal{F}$ 의 $\varphi$-불변 부분공간과 동형이며, 즉 $R^if_{\operatorname{pro\acute{e}t}*}V \cong (R^if_{\operatorname{pro\acute{e}t}*}\mathcal{F})^{\varphi=1}$ 이다. 이는 코homology 의 모듈 이론적 계산을 가능하게 한다.
• 매끄러운 $X$ 에 대해, $R^if_*\Omega^j_{Y/X}$ 는 벡터 번들의 성질을 갖는다. 이는 자명한 국소체계 $V = \underline{\mathbb{Q}_p}$ 에 비교 등식을 적용함으로써 증명된다.