Quadrangulation moves

Abstract

We prove that any two quadrangulations of the same surface, i.e., decompositions of a surface into squares, can be transformed into one another by a finite sequence of two-dimensional local cubical Pachner moves and non-local subdivision transformations.