Planar 1-ended graphs can be periodically coloured

We conclude an investigation of Abrishami, Esperet, Giocanti, Hamman, Knappe and Möller studying the existence of periodic colourings of locally finite graphs. A colouring of a graph $Γ$ is periodic if the resulting coloured graph has a finite number of orbits under its colour-preserving automorphisms, as such it is natural to consider those quasi-transitive graphs with finite quotient. In the case that the graph is planar and has 1-end we prove that it always permits a periodic proper vertex colouring. This is shown by constructing isometry respecting embedded maps into the Euclidean and hyperbolic planes and leveraging known properties of Euclidean and hyperbolic isometry groups. Moreover, in the case that a graph is Euclidean we show that this can always be done in 5 colours.