English

Rational Witt vectors and associated sheaves

Commutative Algebra 2025-08-08 v1 Algebraic Geometry

Abstract

We study the sheafification of Wrat(O)W_{\mathrm{rat}} (\mathcal{O}) and of the maps ZOWrat(O)\underline{\mathbb{Z}} \mathcal{O} \to W_{\mathrm{rat}} (\mathcal{O}) and Wrat(O)WJ(O)W_{\mathrm{rat}} (\mathcal{O}) \to W_J (\mathcal{O}) in various Grothendieck topologies, both subcanonical and non-subcanonical. Here, for a commutative ring AA, ZA\underline{\mathbb{Z}} A is the reduced monoid algebra on (A,)(A , \cdot) and Wrat(A)W_{\mathrm{rat}} (A) is the subring of rational functions in the big Witt ring W(A)W (A). Moreover, WJW_J is the ind-scheme representing WratW_{\mathrm{rat}} on Fatou rings which was introduced by Hazewinkel and which we prove to be an ind-ring scheme. It turns out, for example that for any field KK, we have Wrat(K)=Γ(specK,(ZO))W_{\mathrm{rat}} (K) = \Gamma (\mathrm{spec}\, K , (\underline{\mathbb{Z}}\mathcal{O})^{\sharp}) where \sharp denotes the associated sheaf in the finite flat topology. More generally, this is true for Dedekind rings. By comparing our results with work of Suslin and Voevodsky we found an isomorphism of Wrat(A)W_{\mathrm{rat}} (A) for normal domains AA with a ring of universally integral finite relative correspondences. This gives a new geometric interpretation of Almkvist's theorem on cyclic KK-theory for such rings and suggests a number of interesting questions.

Keywords

Cite

@article{arxiv.2508.05329,
  title  = {Rational Witt vectors and associated sheaves},
  author = {Christopher Deninger},
  journal= {arXiv preprint arXiv:2508.05329},
  year   = {2025}
}
R2 v1 2026-07-01T04:38:58.979Z