An obstruction to lifting to characteristic $0$

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.