Adic Sheafiness of $A_{\text{inf}}$ Witt Vectors over Perfectoid Rings

Fuente: arXiv
Salvato in:
Dettagli Bibliografici
Autore principale: Liu, Zongze
Natura: Preprint
Pubblicazione: 2024
Soggetti:
Accesso online:
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
_version_ 1866916512275628032
author Liu, Zongze
author_facet Liu, Zongze
contents For $(R, R^{+})$ an analytic perfectoid ring in char $p$, let $A_{\text{inf}}(R^{+})$ be the ring of Witt vectors with the induced topology from $(R, R^{+})$. We prove that $\text{Spa}(A_{\text{inf}}(R^{+}),A_{\text{inf}}(R^{+}))$ is sheafy and its structure sheaf is acyclic. We first show $A_{\text{inf}}(R^{+})$ is a stably uniform Banach ring using elements from the theory of prisms. The "stably uniform implies sheafy" argument is applied to Tate Huber rings in Buzzard-Verberkmoes(2015) and is generalized to analytic Huber rings in Kedlaya(2019). Here we show that the "stably uniform implies sheafy" argument in Kedlaya(2019) can be applied to general stably uniform Banach rings whose underlying topological ring is a Huber ring. Finally we show the equivalence of categories of vector bundles over $\text{Spa}(A_{\text{inf}}(R^{+}),A_{\text{inf}}(R^{+}))$ and finite projective modules over $A_{\text{inf}}(R^{+})$.
format Preprint
id arxiv_https___arxiv_org_abs_2411_03573
institution arXiv
publishDate 2024
record_format arxiv
spellingShingle Adic Sheafiness of $A_{\text{inf}}$ Witt Vectors over Perfectoid Rings
Liu, Zongze
Number Theory
Algebraic Geometry
13F35, 14G22, 32K99, 32P05
For $(R, R^{+})$ an analytic perfectoid ring in char $p$, let $A_{\text{inf}}(R^{+})$ be the ring of Witt vectors with the induced topology from $(R, R^{+})$. We prove that $\text{Spa}(A_{\text{inf}}(R^{+}),A_{\text{inf}}(R^{+}))$ is sheafy and its structure sheaf is acyclic. We first show $A_{\text{inf}}(R^{+})$ is a stably uniform Banach ring using elements from the theory of prisms. The "stably uniform implies sheafy" argument is applied to Tate Huber rings in Buzzard-Verberkmoes(2015) and is generalized to analytic Huber rings in Kedlaya(2019). Here we show that the "stably uniform implies sheafy" argument in Kedlaya(2019) can be applied to general stably uniform Banach rings whose underlying topological ring is a Huber ring. Finally we show the equivalence of categories of vector bundles over $\text{Spa}(A_{\text{inf}}(R^{+}),A_{\text{inf}}(R^{+}))$ and finite projective modules over $A_{\text{inf}}(R^{+})$.
title Adic Sheafiness of $A_{\text{inf}}$ Witt Vectors over Perfectoid Rings
topic Number Theory
Algebraic Geometry
13F35, 14G22, 32K99, 32P05
url https://arxiv.org/abs/2411.03573