covering manifolds, spectral gaps, residually finite groups,
min-max principle