## isogenies between abelian varieties that induce isomorphisms?

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

Let $\varphi : A \to B$ be an isogeny between 2 abelian varieties of dimension $g$. Are there known conditions for the $\ker\varphi$ so that this induces an isomorphism between $A$ and $B$? For example, if $\ker\varphi \cong (\mathbb{Z}/n\mathbb{Z})^{2g}$, then $A \cong B$, because $\varphi$ factors through the multiplication map $A \xrightarrow{\times n} A$ followed by an isomoprhism $A \to B$. I wonder if there are other cases that induce isomorphisms.

-

5
If I understand your question correctly, then there are many other cases. Take for example an elliptic curve $E$ with complex multiplication, and take any non-zero map $\phi:E\to E$. The kernel can be cyclic but $E$ is still isomorphic to $E$ mod $\ker(\phi)$. In general this has nothing much to do with abelian varieties, it's just group theory really. You're just asking, in some slightly cryptic manner, of examples of isogenies from an abelian variety to itself. You know about multiplication by $n$ but there can be far more than that; the situation is well-understood buttoolongtofitintothisbo – Kevin Buzzard Oct 11 2010 at 20:24

1
x.$\mathfrak{}$ – S. Carnahan♦ Oct 12 2010 at 2:51
Already the simplest criterion given here, seems to have non trivial applications. Here is a paper disproving the 30 year old Donagi conjecture on the Torelli problem for P=rym varieties, by Izadi and Lange. math.uga.edu/~izadi/papers/prymtornew3.pdf – roy smith Nov 13 2010 at 20:29

## 1 Answer

Kevin's comment is right on the money, but here it is in more detail: I will give a general criterion for an isogeny $\varphi: A \rightarrow B$ of abelian varieties to induce an isomorphism upon passage to the kernel.

Let me work over an unnamed algebraically closed field. Suppose that $A = B$ and $\eta \in \operatorname{End}(A)$ is a surjective endomorphism of $A$. (N.B.: If $A$ is simple -- i.e., contains no proper nontrivial subvariety -- then any nonzero endomorphism is surjective. In particular this holds for all elliptic curves.) Then $\eta$ is also an isogeny: i.e., its kernel is a finite subgroup scheme, say $K$ and -- essentially, by the first isomorphism theorem for groups, as Kevin says -- it follows that there is an induced isomorphism

`$A/K \stackrel{\sim}{\rightarrow} A$`.

This condition is also necessary: if $\varphi: A \rightarrow B$ is an isogeny such that $B \cong A$, then composing with this isomorphism gives a surjective endomorphism of $A$ and the resulting map factors through an isomorphism `$A/(\operatorname{ker}(\varphi)) \rightarrow B$`. Thus all examples arise from a surjective endomorphism of $A$ as above, well-defined up to isomorphisms on the source and target.

-
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 28, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9140642285346985, "perplexity_flag": "head"}