## Can proper-smooth base change be used to show that varieties cannot be lifted to characteristic zero?

Recall the following corollary to the proper and smooth base change theorems:

Let $\pi: X \to S$ be a proper, smooth morphism. Then the direct images $R^i \pi_* \mathcal{F}$ are locally constant constructible for any l.c.c. sheaf $\mathcal{F}$ (with torsion prime to the characteristic of the residue fields) on $X_{et}$.

It follows in particular that if $S$ is the Spec of a DVR (say with an algebraically closed residue field), then the cohomology of the generic fiber (at least base-changed to a separable closure) is the same as that of the specific fiber. Consider the case where $S$ has unequal characteristic --- then essentially, this means that the special fiber $X_0$ admits a (smooth) lifting to characteristic zero. Then the above observations says something about what the cohomology of $X_0$ has to be (by comparing to the cohomology of the generic fiber, which is also the complex cohomology).

Can this be used to show that schemes in characteristic $p$ aren't liftable to characteristic zero? I don't know if this is easy, because etale cohomology groups seem to satisfy many of the same properties (e.g. Poincare duality, dimensional vanishing) of complex cohomology. Milne's book seems to list this as an application of proper-smooth base change but does not actually give an example.

-
What you state is not quite correct: for example, if $\mathcal{F}$ is the constant sheaf $\mathbb{Z}/l$ then the residue characteristic should be prime to $l$. To see this is necessary consider a family of elliptic curves and $R^1\pi_*$. – ulrich Jun 11 2011 at 6:20
Thanks for the correction! – Akhil Mathew Jun 11 2011 at 13:05
Here are two instances: if Hodge symmetry fails, then the proper smooth variety cannot be lifted (e.g. Serre's example of a proj. smooth surface); if $h^n(X,\mathbb Q_l)\ne\sum_{p+q=n}h^{pq},$ then it cannot be lifted. – shenghao Jun 11 2011 at 15:46
@shenghao Can you expand on that second point at all? That isn't obvious to me. In fact, several counterintuitive examples have been constructed with respect to liftings. Essentially what you've claimed is that any liftable variety has equal Hodge and $\ell$-adic Betti numbers. William Lang constructed an example of a liftable surface for which the de Rham and Hodge Betti numbers are not equal, and I've thought a bit about this comparison. I haven't actually put thought into the $\ell$-adic vs Hodge comparison which is why this surprises me a little. – Matt Jul 3 2011 at 23:37
Ah. (Almost) figured it out. $Y\to S$ a lifting of $X$ as in question, then by the Theorem in the question $h^n(X, \mathbb{Q}_\ell)=h^n(\overline{Y}_\eta, \mathbb{Q}_\ell)$. But now we have a smooth variety over an algebraically closed field of char $0$, so $\ell$-adic is the same as de Rham and Hodge-de Rham SS degenerates to give $h^n(\overline{Y}_\eta, \mathbb{Q}_\ell)=h^n_{dR}(\overline{Y}_\eta)=\sum_{p+q=n} h^{pq}$. Actually, to finish we need a reason $\sum h^{pq}$ stays constant in the family as well... – Matt Jul 5 2011 at 18:48