[논문 리뷰] $p$-adic vanishing cycles as Frobenius-fixed points

Matthew Morrow|arXiv (Cornell University)|2018. 02. 09.

Algebraic Geometry and Number Theory참고 문헌 15인용 수 5

한 줄 요약

이 논문은 균일한 형식 스킴에 대한 특성 혼합의 완전체 필드의 정수환 위에서 $p$-adic 소실 순환을, 특정한 프로체계의 de Rham–Witt 복합체의 프로베니우스 고정점과 동형으로 규명한다. $p$-adic 카르티에 동형과 프로체계에서의 프로베니우스 빼기 제약 사상의 호모토피 필터를 활용하여, 저자들은 $p$-adic 소실 순환을 $F - R$의 핵으로 식별함으로써, 정수 $p$-adic 호드 이론에서 프로베니우스 고정점의 구조를 통해 이러한 코homological 불변량에 대한 새로운 해석을 제공한다.

ABSTRACT

Given a smooth formal scheme over the ring of integers of a mixed-characteristic perfectoid field, we study its $p$-adic vanishing cycles via de Rham--Witt and $q$-de Rham complexes.

연구 동기 및 목표

• p-adic 호드 이론에서 정수 코homology 이론의 프로베니우스 고정점으로서 $p$-adic 소실 순환을 해석하는 것.
• de Rham–Witt 및 $q$-de Rham 복합체의 프레임워크를 완전체 링 위의 형식 스킴로 확장하는 것.
• 프로체계의 $\widetilde{W_r\Omega}_{\mathfrak{X}}\{j\}$에서 $F - R$의 호모토피 필터와의 관련성을 통해 $p$-adic 소실 순환에 대한 새로운 시각을 제공하는 것.
• 기존의 격자값 필드에서의 게이세너–헤셀홀트 결과를 완전체 기하학을 통해 대수적 폐쇄로 일반화하는 것.
• 프로베니우스 고정점들을 통해 $p$-adic 소실 순환과 $q$-de Rham 복합체 $\mathbb{A}\Omega_{\mathfrak{X}}\{j\}$ 사이의 구조적 연결 고리를 확립하는 것.

제안 방법

• 저자들은 프로-에테일 위상과 특수 섹션의 에테일 스킴 위에서 $W_r(\mathcal{O})$-모듈의 프로-복합체 $\tau^{\leq j}\widetilde{W_r\Omega}_{\mathfrak{X}}\{j\}$를 구성한다.
• 그들은 $p$-adic 카르티에 동형을 적용하여 $\widetilde{W_r\Omega}_{\mathfrak{X}}\{j\}$의 코homology를 상대 de Rham–Witt 복합체 $W_r\Omega^{\bullet}_{\mathfrak{X}/\mathcal{O}}$와 연결한다.
• 핵심 구성은 $\tau^{\leq j}\widetilde{W_r\Omega}_{\mathfrak{X}}\{j\} \to \tau^{\leq j}\widetilde{W_{r-1}\Omega}_{\mathfrak{X}}\{j\}$의 사상 $F - R$의 호모토피 필터이며, 이는 $p$-adic 소실 순환을 포착한다.
• 그들은 $\tau^{\leq j}Rb_*\mathbb{Z}/p^N\mathbb{Z}(j)$와 프로체계의 $F - R$ 사상에 대한 필터 수열이 정확하다는 것을 증명하며, 소실 순환을 핵으로 식별한다.
• 증명은 $F - R$이 de Rham–Witt 층에서의 상사상성 덕분에 $p$-adic 코homology의 장점 수열이 짧은 정확 수열로 분해된다는 것을 보여, 이를 통해 이루어진다.
• 그들은 $\mathbb{A}\Omega_{\mathfrak{X}}\{j\} = \varprojlim_{r, F} \widetilde{W_r\Omega}_{\mathfrak{X}}\{j\}$의 $q$-de Rham 복합체를 사용하여, Bhatt–Morrow–Scholze의 기존 결과인 $p$-adic 소실 순환을 $\ker(1 - \varphi^{-1})$로 회복한다.

실험 결과

연구 질문

• RQ1 완전체 링 위의 de Rham–Witt 복합체의 맥락에서 $p$-adic 소실 순환을 프로베니우스 고정점으로 어떻게 해석할 수 있는가?
• RQ2 프로체계 $\widetilde{W_r\Omega}_{\mathfrak{X}}\{j\}$와 $p$-adic 에테일 코homology $Rb_*\mathbb{Z}/p^N\mathbb{Z}(j)$ 사이의 정확한 관계는 무엇인가?
• RQ3 절단된 de Rham–Witt 복합체에서의 $F - R$ 사상은 소실 순환을 실현하는 필터 수열을 유도하는가?
• RQ4 특성 $\mathbb{F}_p$-스킴에서의 $F - R$ 사상의 상사상성은 $p$-adic 코homology 장점 수열의 분해를 증명하는 데 사용될 수 있는가?
• RQ5 $q$-de Rham 복합체 $\mathbb{A}\Omega_{\mathfrak{X}}\{j\}$는 프로베니우스 고정점들을 통해 어떻게 $p$-adic 소실 순환을 인코딩하는가?

주요 결과

• 수열 $\tau^{\leq j}Rb_*\mathbb{Z}/p^N\mathbb{Z}(j) \to \varprojlim'_{r, R} \tau^{\leq j}\widetilde{W_r\Omega}_{\mathfrak{X}}\{j\} \xrightarrow{F-R} \varprojlim'_{r, R} \tau^{\leq j}\widetilde{W_{r-1}\Omega}_{\mathfrak{X}}\{j\}$은 프로체계에서의 $F - R$의 핵으로서 $p$-adic 소실 순환을 식별한다.
• $p$-adic 카르티에 동형은 $H^j(\widetilde{W_r\Omega}_{\mathfrak{X}}\{j\}) \cong W_r\Omega^j_{\mathfrak{X}/\mathcal{O}}$를 보장하여, 복합체의 코homology를 de Rham–Witt 형식과 연결한다.
• $F - R$의 상사성 덕분에 $p$-adic 코homology의 장점 수열이 짧은 정확 수열로 분해되며, 이는 $\mathbb{F}_p$-경우와 미세한 경우로의 환원을 통해 증명된다.
• 아핀이고 유한형인 $\mathbb{F}_p$-스킴 $Y$에 대해 사상 $F - R: W_r\Omega^j_{Y/\mathbb{F}_p} \to W_{r-1}\Omega^j_{Y/\mathbb{F}_p}$는 상사적이며, $\varprojlim^1$ 장애를 방지한다.
• 프로체계 $\mathbb{A}\Omega_{\mathfrak{X}}\{j\} = \varprojlim_{r, F} \widetilde{W_r\Omega}_{\mathfrak{X}}\{j\}$는 $\tau^{\leq j}(\mathbb{A}\Omega_{\mathfrak{X}}\{j\}/p^N) \xrightarrow{1 - \varphi^{-1}} \tau^{\leq j}(\mathbb{A}\Omega_{\mathfrak{X}}\{j\}/p^N)$를 만족하며, 핵으로서 $\tau^{\leq j}R\nu_*\mathbb{Z}/p^N\mathbb{Z}(j)$를 제공하여 Bhatt–Morrow–Scholze의 기존 결과를 복원한다.
• $\mathbb{A}\Omega_{\mathfrak{X}}\{j\}/p^N$의 프로베니우스 고정점은 $p$-adic 소실 순환 $\tau^{\leq j}Rb_*\mathbb{Z}/p^N\mathbb{Z}(j)$와 동형이며, 정수 $p$-adic 호드 이론에서 프로베니우스 고정점의 구조를 통해 이러한 코homological 불변량에 대한 새로운 해석을 제공한다.