The basic geometry of Witt vectors. II: Spaces

DOI10.1007/S00208-010-0608-1MaRDI QIDQ652250zbMATH OpenOpenAlexWikidataFDO

Publication date 14 December 2011

Published in Mathematische Annalen (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1006.0092

\(E\)-typical Witt functor algebraic spaces étale topology

Witt vectors and related rings (13F35) Étale and other Grothendieck topologies and (co)homologies (14F20) (p)-adic cohomology, crystalline cohomology (14F30)

Abstract: This is an account of the algebraic geometry of Witt vectors and arithmetic jet spaces. The usual, "p-typical" Witt vectors of p-adic schemes of finite type are already reasonably well understood. The main point here is to generalize this theory in two ways. We allow not just p-typical Witt vectors but those taken with respect to any set of primes in any ring of integers in any global field, for example. This includes the "big" Witt vectors. We also allow not just p-adic schemes of finite type but arbitrary algebraic spaces over the ring of integers in the global field. We give similar generalizations of Buium's formal arithmetic jet functor, which is dual to the Witt functor. We also give concrete geometric descriptions of Witt spaces and arithmetic jet spaces and investigate whether a number of standard geometric properties are preserved by these functors.

Review text

Let \(R\) be a ring, \(E\) a set of finitely presented maximal ideals \(\mathfrak{m}\) of \(R\) so that each \(R_{\mathfrak m}\) is a discrete valuation ring with finite residue field, and \(n\in \bigoplus_E\mathbb N\). In [\textit{J. Borger}, Algebra Number Theory 5, No. 2, 231--285 (2011; Zbl 1276.13018)], the author constructed the \(E\)-typical Witt functor \(W_n=W_{R,E,n}\) from the category of \(R\)-algebras to itself. In the case where \(E\) consists of the single maximal ideal \(p\mathbb Z\) of \(\mathbb Z\), this is the \(p\)-typical Witt functor. The functor \(W_{R, E, n}\) has a left adjoint. Let \(S=\mathrm{Spec}\,R\), let \(\mathbf{Aff}_S\) be the category of affine \(S\)-schemes, and let \(W_n(\mathrm{Spec}\,A)=\mathrm{Spec}\,W_n(A)\). For any sheaf of sets \(X\) on \(\mathbf{Aff}_S\) with respect to the étale topology, we define \[ W_{n\ast}(X)=X\circ W_n. \] \(W_{n\ast}\) is a functor from the category \(\mathbf{Sp}_S\) of sheaves of sets on \(\mathbf{Aff}_S\) to itself. It has a left adjoint \(W_n^\ast\) satisfying \[ W_n^\ast(X)=\mathrm{colim}_U W_n(U), \] where \(U\) runs over the category of affine schemes equipped with a map to \(X\) and the affine scheme \(W_n(U)\) is considered as an object in \(\mathbf{Sp}_S\) which it represents. The main result of the paper says that if \(X\) is an algebraic space, then so are \(W_n^\ast(X)\) and \(W_{n\ast}(X)\), and if \(X\) is a scheme, then so are \(W_n^\ast(X)\) and \(W_{n\ast}(X)\).

Recommendations

Cites work

Cited in

(23)

This page was built for publication: The basic geometry of Witt vectors. II: Spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q652250)