Skip to main content
TeXed
Source Link

Examples are also in my paper "Murphy's Law in Algebraic Geometry", which you can get from my preprints page

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!

In characteristic >2$>2$, consider the blow up P^2of $\mathbf{P}^2$ at the Fp$\mathbf{F}_p$-valued points of the plane. Take a Galois cover of this surface, with Galois group (Z/2)^3$(\mathbf{Z}/2)^3$, branched only over the proper transform of the lines, and the transform of another high degree curve with no F_p$\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 P^2$\mathbf{P}^2$, meaning that any deformation must preserve the data of those p^2+p+1$p^2+p+1$ lines meeting p+1$p+1$ to a point, which forces you to live over Z/p$\mathbf{Z}/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 Z/p^{10}$\mathbf{Z}/p^{10}$ but still not to Z_p$\mathbf{Z}_p$.

Examples are also in my paper "Murphy's Law in Algebraic Geometry", which you can get from my preprints page

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!

In characteristic >2, consider blow up P^2 at the Fp-valued points of the plane. Take a Galois cover of this surface, with Galois group (Z/2)^3, branched only over the proper transform of the lines, and the transform of another high degree curve with no 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 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 Z/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 Z/p^{10} but still not to Z_p.

Examples are also in my paper "Murphy's Law in Algebraic Geometry", which you can get from my preprints page

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!

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$.

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$.

Source Link
Ravi Vakil
  • 3.9k
  • 4
  • 36
  • 34

Examples are also in my paper "Murphy's Law in Algebraic Geometry", which you can get from my preprints page

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!

In characteristic >2, consider blow up P^2 at the Fp-valued points of the plane. Take a Galois cover of this surface, with Galois group (Z/2)^3, branched only over the proper transform of the lines, and the transform of another high degree curve with no 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 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 Z/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 Z/p^{10} but still not to Z_p.