  We introduce a new obstruction to lifting smooth proper varieties in
characteristic $p>0$ to characteristic $0$. It is based on Grothendieck's
specialization homomorphism and the resulting discrete finiteness properties of
\'etale fundamental groups.
