  We construct the first aperiodic tiles for two amenable 3-dimensional Lie
groups: Sol and the Heisenberg group. Our construction relies on the use of
higher-dimensional uniformly finite homology. In particular, we settle
completely the existence of aperiodic tiles for all of the non-compact
geometries of 3-manifolds appearing in the geometrization conjecture.
