Let $k$ be a field and $A$ an abelian variety over $k$. Suppose that $B$ is an abelian subvariety of $A$. Consider the following fact:

There exists an abelian variety $C$ over $k$ and a surjective morphism $A\twoheadrightarrow C$ with kernel exactly $B$.

This is proved in section 9.5 of the book "Abelian varieties, theta functions and the Fourier transform" By Alexander Polishchuk on the way to proving Poincare reducibility. The proof there seems (to me) to be a bit complicated, so I'm wondering if anyone knows of a "simple" proof. I think I could probably devise a proof of the above fact using Poincare reducibility (employing the proof of the latter result in Milne's chapter of Cornell-Silverman, Proposition 12.1 to avoid circular logic), but somehow I'm not so satisfied by this as it seems like it ought to be an "easy" fact.

themethod to use in general when the base is not an artin ring), and then sometimes prove the alg. space quotient is a scheme (e.g., alg. space group lft over field is scheme...); sometimes qt isn't a scheme! In your case, trick via Poincare red. seems simplest (to me). $\endgroup$ – BCnrd Sep 2 '10 at 21:13