  We prove the Sarkisov program for projective surfaces over excellent base
rings, including the case of non-perfect base fields of characteristic p>0. We
classify the Sarkisov links between Mori fibre spaces and their relations for
regular surfaces, generalising work of Iskovskikh. As an application, we
discuss rationality problems for regular surfaces and the structure of the
plane Cremona group.
