Text this: Hypoelliptic estimates and spectral theory for fokker-planck operators and witten laplacians