Cartier's first theorem for Witt vectors on Z_(≥0)~n - 0

摘要

We show that the dual of the Witt vectors on Z_(≥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 A~n → G, and that the Witt vectors are self-dual for Q-algebras or when n = 1.