IMPLICATIONS: spectral theory, Novikov conjecture, Gromov-Lawson conjecture