The symplectic geometry of Penrose rhombus tilings (Q953996)

The purpose of this article is to view Penrose rhombus tiling from the perspective of symplectic geometry. There are constructed quasifolds \(M_R\) and \(M_r\) from special choices of one thick, i.e. one thin rhombus in a given Penrose tiling. The quasifold \(M_R\) is global quotient of the product of spheres \(S^2_R\) by the finitely generated group \(\Gamma\), while \(M_r\) is quotient of the product of \(S^2_r\) by \(\Gamma\). Both spaces are invariant under the Hamiltonian action of a 2-dimensional quasitorus, and the images of the corresponding moment mappings give the rhombuses back. It is shown that all the other thick rhombuses of the tiling correspond to \(M_R\), and all other thin rhombuses to \(M_r\). The spaces \(M_R\) and \(M_r\) are diffeomorphic but not symplectomorphic.