The Greenberg functor revisited

We extend Greenberg’s original construction to arbitrary schemes over (certain types of) local artinian rings. We then establish a number of properties of the extended functor and determine, for example, its behavior under Weil restriction. We also discuss a formal analog of the functor.