Assume that X and Y are abelian schemes (or even abelian varieties) over a base T. If $\ S > T$ is a PD nilpotent thickening (i.e. the ideal of $\ S$ in $ \ T$ is a nilpotent divided power ideal) and S is of characteristic $\ p>0$ . If $\ X_{0}$ and $ \ Y_{0}$ are reductions of $\ X$ and $\ Y$ to $\ S$. If $\ f_{0} : X_{0} > Y_{0} $ is an isomorphism over S, is this true that this isomorphism (if it can be lifted!) lifts to an isomorphism $\ f : X > Y$ ? one may also assume that $ \ H¹_ {cris} (f_{0})$ preserves the Hodge filtration.

$\begingroup$ I deleted my answer since I think I had misunderstood the question. Are you asking whether any lift of $f_0$ to a morphism $f:X \to Y$ is necessarily an isomorphism? $\endgroup$– nafSep 23 '11 at 11:31

$\begingroup$ Yes! in fact this is what I ask and I think your answer was correct. and if I remember properly your counterexample also satisfied the condition on Hodge filtration.So it perfectly answered my question. Thank you very much. $\endgroup$– JackSep 23 '11 at 18:00

$\begingroup$ Now I am confused since in my example there was no lift. In fact, I think that if a lift exists then it must indeed be an isomorphism. $\endgroup$– nafSep 24 '11 at 14:47

$\begingroup$ As far as I remember, in your answer you took $S = Spec(\mathbb{Z}/p)$ and $T = Spec(\mathbb{Z}/p^2)$ and then using the fact that The versal deformation space of an elliptic curve $E$ over $S$ is isomorphic to $Spec(\mathbb{Z}_p[[x]])$, you rgued that there are lifts of $E$ that are not isomorphims over $T$. So in particular the identitity map of $E$ does not lift to an isomorphism. $\endgroup$– JackSep 24 '11 at 19:44

$\begingroup$ Yes, that's right. Since that's what you wanted I will undelete the answer. $\endgroup$– nafSep 25 '11 at 6:51
No, this is very far from being true.
For a counterexample, let $S = Spec(\mathbb{Z}/p)$ and $T = Spec(\mathbb{Z}/p^2)$. The versal deformation space of an elliptic curve $E$ over $S$ is isomorphic to $Spec(\mathbb{Z}_p[[x]])$ so lifts of $E$ to $T$ are parametrized by the set of homomorphisms of local algebras $Hom(\mathbb{Z}_p[[x]], \mathbb{Z}/p^2) = p\mathbb{Z}/p^2$. So there do exist lifts for which the identity map of $E$ does not lift to an isomorphism.

3$\begingroup$ Won't the condition on the Hodge filtration sort this out though? More generally, I thought the statement the OP wants follows from SerreTate theory...? $\endgroup$– anonSep 22 '11 at 19:08

$\begingroup$ I don't understand the relevance of SerreTate theory to the question. In any case, according to the OP what I wrote does answer his question. $\endgroup$– nafSep 25 '11 at 6:53