Skip to main content
2 of 3
Made huge simplification in the method, so I deleted the earlier one.
nfdc23
  • 968
  • 26
  • 39

[The following is a vast simplification of an answer I gave a bit earlier, so I deleted most of the earlier answer. For anyone who cares about the sanctity of upvoting points it is all OK since I am certain anyone who upvoted the earlier answer would upvote this one too.]

Any specific endomorphism is defined over an actual number field $K$ inside $\overline{\mathbf{Q}}$, and in case of semistable reduction the formation of the identity component of the special fiber of the Neron model commutes with any local extension of the discrete valuation ring. Thus, we can work relative to the discrete valuation ring $O_{K, \mathfrak{p}}$ (localization at a prime over $p$). It is sufficient to prove more generally that if $A$ and $B$ are nonzero abelian varieties (or just elliptic curves) over the fraction field $F$ of a discrete valuation ring $R$ with residue field $k$ and their Neron models $\mathcal{A}$ and $\mathcal{B}$ over $R$ have $k$-fibers with semistable reduction then the natural map $${\rm{Hom}}_F(A,B) = {\rm{Hom}}_R(\mathcal{A}, \mathcal{B}) \rightarrow {\rm{Hom}}_k(\mathcal{A}^0_k, \mathcal{B}^0_k)$$ is injective. In what follows one can work throughout with elliptic curves if that is preferred, and the main idea can be carried out in more elementary terms for elliptic curves, but I give the general case because it is more attractive.

The first thing to observe is that if $n$ is a nonzero integer then its effect on the nonzero semi-abelian identity components of the special fibers of the Neron models is nonzero (by viewing such identity components as extensions of abelian varieties by tori, and noting that a nonzero integer acts in a nonzero way on any nonzero torus and on any nonzero abelian variety).

The next thing to observe is the consequence that an isogeny of abelian varieties induces an isogeny between such identity components of special fibers is an isogeny of abelian varieties admits an "isogeny inverse": a map in the opposite direction such that the composition in both directions is multiplication by a common nonzero integer. In particular, an isogeny between abelian varieties over $F$ with semistable reduction induces an isogeny between identity components of special fibers of the Neron model. (This already settles the case of elliptic curves!)

Consequently, for our purpose we can replace either of $A$ or $B$ with an $F$-isogenous abelian variety (which always has semistable reduction too: this is well-known for elliptic curves, and follows from Grothendieck's inertial semistable reduction criterion in general). Thus, in case either of $A$ or $B$ are not $F$-simple (though they are for the case of elliptic curves) we can apply the Poincare reducibility theorem to reduce to the case when both are $F$-simple. But then any nonzero $F$-homomorphism between them is an isogeny and hence as we have seen above induces an isogeny between identity components of special fibers of the Neron models. In particular, the induced map between such special fibers is nonzero.

nfdc23
  • 968
  • 26
  • 39