[논문 리뷰] Hodge-Tate decomposition for non-smooth spaces

Haoyang Guo|arXiv (Cornell University)|2019. 09. 22.

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

한 줄 요약

이 논문은 특이성이 있는 경우에도, 특성 0인 완비 대수적으로 닫힌 비아르키메데스 체 위의 고정된 린드스키 공간에 대해 Hodge-Tate 분해를 일반화한다. 프로-에테일 코homology, 에테일-h 위상, 그리고 특이점의 해소를 이용하여, $E_2$에서 분해되는 스펙트럴 시퀀스를 수립함으로써, 기존의 매끄러운 경우에만 성립하던 고전적 Hodge-Tate 결과를 특이적인 설정으로 확장한다.

ABSTRACT

In this article, we generalize the Hodge-Tate decomposition of p-adic étale cohomology to non-smooth rigid spaces. Our strategy is to study pro-étale cohomology of rigid spaces introduced by Scholze, using the resolution of singularities and the simplicial method.

연구 동기 및 목표

• 완비 대수적으로 닫힌 비아르키메데스 체 위의 특성 0에서, 원래 매끄러운 고정된 린드스키 공간에 대해 유효한 Hodge-Tate 분해를, 특이성이 있는 경우에도 확장한다.
• 에테일-h 위상과 그에 관련된 미분형식의 층을 도입하여 특이 린드스키 공간을 위한 코homological 프레임워크를 개발한다.
• p-진 에테일 코hom로지와 에테일-h 사이트에서의 미분형식의 코herent 코hom로지를 연결하는 스펙트럴 시퀀스를 수립하고, 이를 매끄러운 경우로 일반화한다.
• 단순체계 기법과 특이점의 해소를 이용하여, 특이성이 있는 고정된 린드스키 공간에 대해서도 스펙트럴 시퀀스가 $E_2$-페이지에서 분해됨을 증명한다.
• 공간이 이산적으로 값이 부여된 부분체 위에서 정의되고 잔여체가 완전한 경우, 표준적인 갈루아-등변 Hodge-Tate 분해를 회복한다.

제안 방법

• 특이점의 해소를 통해 국소적으로 매끄럽게 만들 수 있도록, 에테일 코팅, 전이가치 동형사상, 블로우업 코팅으로 생성되는 린드스키 공간 위의 $\acute{\textrm{e}}$h 위상을 도입한다.
• $\acute{\textrm{e}}$h 위상에서 연속적인 미분형식 층을 층화함으로써, $\Omega^j_{\acute{\textrm{e}}h,/K}$의 $\acute{\textrm{e}}$h-미분형식 층을 정의한다.
• 슐로체가 개발한 린드스키 공간의 프로-에테일 코homology를 사용하여, p-진 에테일 코hom로지와 구조 층의 유도된 직접상한을 연결한다.
• 미분형식의 $\acute{\textrm{e}}$h-내림과 스펙트럴 시퀀스의 분해를 통해, (프로-에테일)-$\acute{\textrm{e}}$h de Rham 비교 동형을 수립한다.
• 단순체계 기법과 린드스키 공간의 강한 올림 가능성을 적용하여, 유도된 직접상한 $R\nu_*\widehat{\mathcal{O}}_X$가 편향된 $\acute{\textrm{e}}$h-코homology 그룹들의 직합과 준동형임을 보인다.
• 분해 정리(정리 7.4.9)와 유한성 결과(정리 6.0.2)를 활용하여 스펙트럴 시퀀스가 $E_2$에서 분해됨을 증명한다.

실험 결과

연구 질문

• RQ1 완비 대수적으로 닫힌 비아르키메데스 체 위의 특성 0에서, 특이성이 있는 고정된 린드스키 공간에 대해 Hodge-Tate 스펙트럴 시퀀스를 확장할 수 있는가?
• RQ2 에테일-h 위상은 특이 공간에서 Hodge-Tate 구조를 포착하는 코herent 코hom로지 이론을 어떻게 정의할 수 있는가?
• RQ3 p-진 에테일 코hom로지와 에테일-h-코hom로지의 미분형식을 연결하는 스펙트럴 시퀀스는 특이 린드스키 공간에서 $E_2$에서 분해되는가?
• RQ4 특이 공간에 대해 Hodge-Tate 분해가 표준적인 갈루아-등변 분해를 갖는 조건은 무엇인가?
• RQ5 린드스키 공간의 프로-에테일 코hom로지는 편향된 $\acute{\textrm{e}}$h-코hom로지의 미분형식 그룹들의 직합으로 표현될 수 있는가?

주요 결과

• 완비 대수적으로 닫힌 비아르키메데스 체 위의 특성 0에서, 고정된 린드스키 공간에 대해 Hodge-Tate 스펙트럴 시퀀스는 특이성이 있더라도 $E_2$-페이지에서 분해된다.
• 모든 고정된 린드스키 공간 $X$에 대해, $E_2^{i,j} = \mathrm{H}^i(X_{\acute{\textrm{e}}h}, \Omega^j_{\acute{\textrm{e}}h,/K})(-j) \Longrightarrow \mathrm{H}^{i+j}(X_{\acute{\textrm{e}}t}, \mathbb{Q}_p) \otimes_{\mathbb{Q}_p} K$ 형태의 스펙트럴 시퀀스가 존재하며, 이는 $E_2$에서 분해된다.
• 공간 $X$가 매끄러울 경우, $\mathrm{H}^i(X_{\acute{\textrm{e}}h}, \Omega^j_{\acute{\textrm{e}}h,/K})(-j)$는 $\mathrm{H}^i(X, \Omega^j_{X/K})(-j)$와 동형이 되며, 고전적 Hodge-Tate 스펙트럴 시퀀스를 복원한다.
• $\mathrm{H}^i(X_{\acute{\textrm{e}}h}, \Omega^j_{\acute{\textrm{e}}h,/K})(-j)$의 코homology 군은 유한차원 $K$-벡터 공간이며, $0 \leq i,j \leq \dim X$일 때만 비영이 된다.
• 공간 $X$가 이산적으로 값이 부여된 부분체 $K_0$ 위에서 정의되고 잔여체가 완전한 경우, 스펙트럴 시퀀스는 갈루아-등변이며, 다음과 같이 표준적으로 분해된다: $\mathrm{H}^n(X_{\acute{\textrm{e}}t}, \mathbb{Q}_p) \otimes K = \bigoplus_{i+j=n} \mathrm{H}^i(X_{\acute{\textrm{e}}h}, \Omega^j_{\acute{\textrm{e}}h,/K_0})(-j) \otimes_{K_0} K$.
• 스펙트럴 시퀀스의 분해는 분해 정리(정리 7.4.9)에 기반하며, 강한 올림 가능성과 미분형식의 $\acute{\textrm{e}}$h-내림에 의존한다.