Misplaced Pages

Isogeny

Article snapshot taken from Wikipedia with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.
Type of map between algebraic groups
This article includes a list of references, related reading, or external links, but its sources remain unclear because it lacks inline citations. Please help improve this article by introducing more precise citations. (June 2024) (Learn how and when to remove this message)

In mathematics, particularly in algebraic geometry, an isogeny is a morphism of algebraic groups (also known as group varieties) that is surjective and has a finite kernel.

If the groups are abelian varieties, then any morphism f : A → B of the underlying algebraic varieties which is surjective with finite fibres is automatically an isogeny, provided that f(1A) = 1B. Such an isogeny f then provides a group homomorphism between the groups of k-valued points of A and B, for any field k over which f is defined.

The terms "isogeny" and "isogenous" come from the Greek word ισογενη-ς, meaning "equal in kind or nature". The term "isogeny" was introduced by Weil; before this, the term "isomorphism" was somewhat confusingly used for what is now called an isogeny.

Degree of isogeny

Let f : A → B be isogeny between two algebraic groups. This mapping induces a pullback mapping f* : K(B) → K(A) between their rational function fields. Since mapping is nontrivial, it is a field embedding and im ⁡ f ∗ {\displaystyle \operatorname {im} f^{*}} is a subfield of K(A). The degree of the extension K ( A ) / im ⁡ f ∗ {\displaystyle K(A)/\operatorname {im} f^{*}} is called degree of isogeny:

deg ⁡ f := [ K ( A ) : im ⁡ f ∗ ] {\displaystyle \deg f:=}

Properties of degree:

  • If f : X → Y {\displaystyle f:X\rightarrow Y} , g : Y → Z {\displaystyle g:Y\rightarrow Z} are isogenies of algebraic groups, then: deg ⁡ ( g ∘ f ) = deg ⁡ g ⋅ deg ⁡ f {\displaystyle \deg(g\circ f)=\deg g\cdot \deg f}
  • If c h a r K ∤ deg ⁡ f {\displaystyle char\;K\nmid \deg f} , then deg ⁡ f = | ker f | {\displaystyle \deg f=|\ker \;f|}

Case of abelian varieties

Isogenous elliptic curves to E can be obtained by quotienting E by finite subgroups, here subgroups of the 4-torsion subgroup.

For abelian varieties, such as elliptic curves, this notion can also be formulated as follows:

Let E1 and E2 be abelian varieties of the same dimension over a field k. An isogeny between E1 and E2 is a dense morphism f : E1 → E2 of varieties that preserves basepoints (i.e. f maps the identity point on E1 to that on E2).

This is equivalent to the above notion, as every dense morphism between two abelian varieties of the same dimension is automatically surjective with finite fibres, and if it preserves identities then it is a homomorphism of groups.

Two abelian varieties E1 and E2 are called isogenous if there is an isogeny E1 → E2. This can be shown to be an equivalence relation; in the case of elliptic curves, symmetry is due to the existence of the dual isogeny. As above, every isogeny induces homomorphisms of the groups of the k-valued points of the abelian varieties.

See also

References

External links

Category: