What is an explicit example of a variety X which is finite over Spec F_p but which does not lift to a scheme Y which is finite and flat over Spec Z_p?
Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)
|
15
7
|
|
|||||||||||
|
|
8
|
Am I missing something or is this the classical question of Serre? A class of examples is given in Exemples de variétés projectives en caractéristique p non relevables en caractéristique zéro. Proc. Nat. Acad. Sci. U.S.A. 47 1961 108–109. They come from the quotient of some complete intersections by some finite groups, but if you read closely the proof (by the theory of the étale fundamental group, the impossibility of constructing a lift is reduced to the impossibility of constructing some group representations), you see that the ideas are in fact quite general. In order to give a non vacuous answer, let me also draw your attention to the letter of Serre in the appendix of the document illusie_trieste.pdf on Luc Illusie's website. |
|||||
|
You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.
|
10
|
I received the following very explicit answer via private communication: the algebra $$ A = \mathbb{F}_p[x_1,\ldots,x_6]/(x_1^p,\cdots, x_6^p, x_1x_2 + x_3x_4 + x_5x_6) $$ does not lift to a finite flat $\mathbb{Z}_p$ algebra. (I am still working out the details of why this does not lift.) This is exampe 3.2(4) of Berthelot-Ogus. |
|||
|
|
