  We prove that a local domain $R$, essentially of finite type over a field, is
regular if and only if for every regular alteration $\pi : X \to Spec R$, we
have that $R \pi_* \mathcal{O}_X$ has finite (equivalently zero in
characteristic zero) projective dimension.
