Relative semiampleness in mixed characteristic

Abstract: We show that a nef line bundle on a proper scheme over an excellent base is semiample if and only if it is semiample after restricting to characteristic zero and to positive characteristic. In the process of the proof, we provide a generalisation to mixed characteristic of the fact that the perfection of the Picard functor in positive characteristic is a stack in groupoids for the h-topology.