Cartier's first theorem for Witt vectors on Z_{>= 0}^n - 0

Abstract

We show that the dual of the Witt vectors on Z_{\geq 0}^n - 0 as defined by Angeltveit, Gerhardt, Hill, and Lindenstrauss represent the functor taking a commutative formal group G to the maps of formal schemes Ahat^n -> G, and that the Witt vectors are self-dual for Q-algebras or when n=1.

arXiv commentCorrected an error in the previous version of the main theorem, which is now stated in terms of the dual of the Witt vectors. The original statement holds under the additional hypothesis that we are working over a Q-algebra. To appear in Algebraic Topology: Applications and New Directions, Proceedings of the Stanford Symposium 2012. 7 pages, AIM preprint number AIM 2012-80