Skip to main content
1 of 3
jmc
  • 5.5k
  • 27
  • 60

The only natural thing I can think of is the following:

Let $R_{\mathcal{P}}$ be the ring of integers of $K_{\mathcal{P}}$ (the completion at the prime). Let $S$ be the spectrum of $R_{\mathcal{P}}$. Since $A$ has good reduction, there is an abelian scheme $\mathcal{A}$ over $S$, with $A$ as generic fibre, and the reduction as special fibre (which we will denote $A_{0}$.

Now look at maps $S[\varepsilon] \to \mathcal{A}$, where $S[\varepsilon]$ is $S \times \mathrm{Spec}(\mathbb{Z}[\varepsilon]/(\varepsilon^{2}))$. Such maps $S[\varepsilon] \to \mathcal{A}$ restrict to tangent vectors on the generic fibre and the special fibre. So you get maps $$ T_{e}A \longleftarrow \mathrm{Hom}_{S}(S[\varepsilon],\mathcal{A}) \longrightarrow T_{e}A_{0}. $$

jmc
  • 5.5k
  • 27
  • 60