## kernel of an isogeny and coker of its induced map on the Tate module

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

In a proof in Milne's note "Abelian Variety" (top on p.52), I saw an equality: $\mathrm{Ker}(\beta)(l) = \mathrm{Coker}(T_{l}(\beta))$, here $\beta$ is an (separable) isogeny of an abelian variety $A/k$, $l$ is a prime number different from the characteristic of the base field $k$, $(l)$ means the torsion points of order a power of $l$, $T_{l}(\beta)$ is the induced map of $\beta$ on the Tate module of $A$.

I can't figure out why this equality holds. Do we have a natural map for these two groups?

-

## 1 Answer

Let $x$ be an $l^n$-torsion point in the kernel of the isogeny. Take any point $y$ such that $l^ny=x$. $l^n\beta(y)=\beta(l^ny)=\beta(x)=0$, so $\beta(y)$ is an $l^n$-torsion point. This is well-defined up to the image of an $l^n$-torsion point under the isogeny, since a division by $l^n$ is well-defined up to an $l^n$-torsion point. This gives a map from the $l^n$-torsion points of the kernel to the cokernel of the isogeny on $l^n$-torsion points. Take the limit of this chain of maps to get a map on Tate modules.

-

Thank you, that's clear. – unknown (google) Jun 7 at 8:34
{"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": 22, "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.9064728617668152, "perplexity_flag": "head"}