The Greenberg Functor is Site Cocontinuous

Geoff Vooys

In this paper we show that it is possible to define a topology on the category of formal schemes over a ring of $p$-adic integers such that the left adjoint of the Greenberg Transf…