Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2507.12458 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866915811598270464 |
|---|---|
| author | Hu, Xiaowen |
| author_facet | Hu, Xiaowen |
| contents | We study the algebraic $K$-theory of smooth schemes over $W_n(\Bbbk)$, where $\Bbbk$ is a perfect field of characteristic $p>0$. For a $p$-adic smooth scheme $X_{\centerdot}$ over $W_{\centerdot}(k)$, we introduce complexes $p^{r,m}_{r,n}Ω^{\bullet}_{X_{\centerdot}}$ and infinitesimal motivic complexes $\mathbb{Z}_{X_n}(r)$, and for $0 \leq i \leq p-4$, we establish a Chern character isomorphism between the sheaf $\mathcal{K}_{X_n,X_{m},i}$ and the direct sum of certain cohomology sheaves of $p^{r,m}_{r,n}Ω^{\bullet}_{X_{\centerdot}}$ with $1\leq r\leq i$. This leads to a criterion for $K$-theoretic infinitesimal deformations, which is related to Emerton's $p$-adic variational Hodge conjecture. By taking the limit $n \rightarrow \infty$ with $m=1$, we recover a theorem of Bloch, Esnault, and Kerz on continuous relative algebraic $K$-theory.
The proof combines Brun's isomorphism relating $K$-theory to derived cyclic homology, computations of relative cyclic homology over $W(\Bbbk)$, and an analysis of multiplicative structures of the mod $p$ relative $K$-theory. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2507_12458 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | On the algebraic $K$-theory of smooth schemes over truncated Witt vectors Hu, Xiaowen Algebraic Geometry K-Theory and Homology 19D50, 19D55, 14B10 We study the algebraic $K$-theory of smooth schemes over $W_n(\Bbbk)$, where $\Bbbk$ is a perfect field of characteristic $p>0$. For a $p$-adic smooth scheme $X_{\centerdot}$ over $W_{\centerdot}(k)$, we introduce complexes $p^{r,m}_{r,n}Ω^{\bullet}_{X_{\centerdot}}$ and infinitesimal motivic complexes $\mathbb{Z}_{X_n}(r)$, and for $0 \leq i \leq p-4$, we establish a Chern character isomorphism between the sheaf $\mathcal{K}_{X_n,X_{m},i}$ and the direct sum of certain cohomology sheaves of $p^{r,m}_{r,n}Ω^{\bullet}_{X_{\centerdot}}$ with $1\leq r\leq i$. This leads to a criterion for $K$-theoretic infinitesimal deformations, which is related to Emerton's $p$-adic variational Hodge conjecture. By taking the limit $n \rightarrow \infty$ with $m=1$, we recover a theorem of Bloch, Esnault, and Kerz on continuous relative algebraic $K$-theory. The proof combines Brun's isomorphism relating $K$-theory to derived cyclic homology, computations of relative cyclic homology over $W(\Bbbk)$, and an analysis of multiplicative structures of the mod $p$ relative $K$-theory. |
| title | On the algebraic $K$-theory of smooth schemes over truncated Witt vectors |
| topic | Algebraic Geometry K-Theory and Homology 19D50, 19D55, 14B10 |
| url | https://arxiv.org/abs/2507.12458 |