The reduction has equation . At the origin both first partial derivatives vanish, so the point is singular, also when . A lift reducing to the origin would require . Its two cubes would then lie in , whereas the right side of the original equation has valuation one. This is impossible.
For an example which does lift, choose
It has the same reduction and the rational point reduces to the origin. Over , which has characteristic zero, a singular affine point would require , which does not lie on this curve. Its projective closure is also smooth: the simultaneous partial derivatives of cannot vanish at a projective point. Thus this is a nonsingular curve for every prime , including three. A singular point in the reduction can therefore fail to lift or can lift, depending on the original equation.

Articles by others on the same topic (0)

There are currently no matching articles.