What is an example of a smooth variety over a finite field F_p which does not lift to Z_p? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-22T04:09:19Z http://mathoverflow.net/feeds/question/423 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/423/what-is-an-example-of-a-smooth-variety-over-a-finite-field-f-p-which-does-not-lif What is an example of a smooth variety over a finite field F_p which does not lift to Z_p? David Zureick-Brown 2009-10-13T14:29:56Z 2012-05-11T03:57:13Z <p>Somebody answered this question instead of the question <a href="http://mathoverflow.net/questions/410/what-is-an-example-of-a-smooth-variety-over-a-finite-field-fp-which-does-not-emb" rel="nofollow">here</a>, so I am asking this with the hope that they will cut and paste their solution.</p> http://mathoverflow.net/questions/423/what-is-an-example-of-a-smooth-variety-over-a-finite-field-f-p-which-does-not-lif/428#428 Answer by S. Carnahan for What is an example of a smooth variety over a finite field F_p which does not lift to Z_p? S. Carnahan 2009-10-13T15:24:19Z 2009-10-13T15:24:19Z <p>There is an article by Illusie in <i>Fundamental Algebraic Geometry: Grothendieck's FGA Explained</i> that contains a construction of a non-liftable surface. The article is online (<a href="http://www.math.u-psud.fr/~illusie/illusie%5Ftrieste.pdf" rel="nofollow">pdf</a> - see section 6) and the construction is rather complicated. There are additional references to other nonliftability results (section 5F).</p> http://mathoverflow.net/questions/423/what-is-an-example-of-a-smooth-variety-over-a-finite-field-f-p-which-does-not-lif/429#429 Answer by Ravi Vakil for What is an example of a smooth variety over a finite field F_p which does not lift to Z_p? Ravi Vakil 2009-10-13T15:46:18Z 2012-05-11T03:57:13Z <p>Examples are also in my paper "Murphy's Law in Algebraic Geometry", which you can get from my <a href="http://math.stanford.edu/~vakil/preprints.html" rel="nofollow">preprints page</a> </p> <p>Here is a short (not quite complete) description of a construction, with two explanations of why it works. I hope I am remembering this correctly!</p> <p>In characteristic $>2$, consider the blow up of $\mathbf{P}^2$ at the $\mathbf{F}_p$-valued points of the plane. Take a Galois cover of this surface, with Galois group $(\mathbf{Z}/2)^3$, branched only over the proper transform of the lines, and the transform of another high degree curve with no $\mathbf{F}_p$-points. Then you can check that this surface violates the numerical constraints of the Bogomolov-Miyaoka-Yau inequality, which holds in characteristic zero; hence it doesn't lift. (This is in a paper by Rob Easton.) Alternatively, show that deformations of this surface must always preserve that Galois cover structure, which in turn must preserve the data of the branch locus back in $\mathbf{P}^2$, meaning that any deformation must preserve the data of those $p^2+p+1$ lines meeting $p+1$ to a point, which forces you to live over $\mathbf{Z}/p$.</p> <p>The two papers mentioned above give more exotic behavior too (of different sorts in the two papers), e.g. you an find a surface that lifts to $\mathbf{Z}/p^{10}$ but still not to $\mathbf{Z}_p$.</p>