Isogeny

Last updated June 25, 2024

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 \to B$ of the underlying algebraic varieties which is surjective with finite fibres is automatically an isogeny, provided that $f (1 A) = 1 B$ . 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 \to B$ be isogeny between two algebraic groups. This mapping induce pullback mapping $f* : K(B) \to K(A)$ between their rational function fields. Since mapping is nontrivial, it is a field embedding and $imf^{*}$ is a subfield of $K(A)$ . The degree of extension $K(A)\im f*$ is called degree of isogeny:

\deg f:=[K(A):imf^{*}]

Properties of degree:

If $f:X\rightarrow Y$ , $g:Y\rightarrow Z$ are isogenies of algebraic groups, then: $\deg(g\circ f)=\deg g\cdot \deg f$
If $char\;K\nmid \deg f$ , then $\deg f=|ker\;f|$

Case of abelian varieties

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

Let E₁ and E₂ be abelian varieties of the same dimension over a field k. An isogeny between E₁ and E₂ is a dense morphism $f : E 1 \to E 2$ of varieties that preserves basepoints (i.e. f maps the identity point on E₁ to that on E₂).

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 E₁ and E₂ are called isogenous if there is an isogeny $E 1 \to E 2$ . 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.

Related Research Articles

In algebra, a homomorphism is a structure-preserving map between two algebraic structures of the same type. The word homomorphism comes from the Ancient Greek language: ὁμός meaning "same" and μορφή meaning "form" or "shape". However, the word was apparently introduced to mathematics due to a (mis)translation of German ähnlich meaning "similar" to ὁμός meaning "same". The term "homomorphism" appeared as early as 1892, when it was attributed to the German mathematician Felix Klein (1849–1925).

In mathematics, a profinite group is a topological group that is in a certain sense assembled from a system of finite groups.

In mathematics, specifically abstract algebra, the isomorphism theorems are theorems that describe the relationship between quotients, homomorphisms, and subobjects. Versions of the theorems exist for groups, rings, vector spaces, modules, Lie algebras, and various other algebraic structures. In universal algebra, the isomorphism theorems can be generalized to the context of algebras and congruences.

In category theory, an epimorphism is a morphism f : X → Y that is right-cancellative in the sense that, for all objects Z and all morphisms g₁, g₂: Y → Z,

An exact sequence is a sequence of morphisms between objects such that the image of one morphism equals the kernel of the next.

Homological algebra is the branch of mathematics that studies homology in a general algebraic setting. It is a relatively young discipline, whose origins can be traced to investigations in combinatorial topology and abstract algebra at the end of the 19th century, chiefly by Henri Poincaré and David Hilbert.

In mathematics, particularly in algebraic geometry, complex analysis and algebraic number theory, an abelian variety is a projective algebraic variety that is also an algebraic group, i.e., has a group law that can be defined by regular functions. Abelian varieties are at the same time among the most studied objects in algebraic geometry and indispensable tools for research on other topics in algebraic geometry and number theory.

In mathematics, an algebraic group is an algebraic variety endowed with a group structure that is compatible with its structure as an algebraic variety. Thus the study of algebraic groups belongs both to algebraic geometry and group theory.

In mathematics, a vector bundle is a topological construction that makes precise the idea of a family of vector spaces parameterized by another space $: to every point of the space we associate a vector space in such a way that these vector spaces fit together to form another space of the same kind as, which is then called a vector bundle over .$

In mathematics, an algebraic torus, where a one dimensional torus is typically denoted by $,, or, is a type of commutative affine algebraic group commonly found in projective algebraic geometry and toric geometry. Higher dimensional algebraic tori can be modelled as a product of algebraic groups . These groups were named by analogy with the theory of tori in Lie group theory. For example, over the complex numbers the algebraic torus is isomorphic to the group scheme, which is the scheme theoretic analogue of the Lie group . In fact, any -action on a complex vector space can be pulled back to a -action from the inclusion as real manifolds.$

In mathematics, localization of a category consists of adding to a category inverse morphisms for some collection of morphisms, constraining them to become isomorphisms. This is formally similar to the process of localization of a ring; it in general makes objects isomorphic that were not so before. In homotopy theory, for example, there are many examples of mappings that are invertible up to homotopy; and so large classes of homotopy equivalent spaces. Calculus of fractions is another name for working in a localized category.

In category theory, a branch of mathematics, a pullback is the limit of a diagram consisting of two morphisms $f : X \to Z$ and $g : Y \to Z$ with a common codomain. The pullback is written

In arithmetic geometry, the Weil–Châtelet group or WC-group of an algebraic group such as an abelian variety A defined over a field K is the abelian group of principal homogeneous spaces for A, defined over K. John Tate named it for François Châtelet who introduced it for elliptic curves, and André Weil, who introduced it for more general groups. It plays a basic role in the arithmetic of abelian varieties, in particular for elliptic curves, because of its connection with infinite descent.

In algebraic geometry, a finite morphism between two affine varieties $is a dense regular map which induces isomorphic inclusion between their coordinate rings, such that is integral over . This definition can be extended to the quasi-projective varieties, such that a regular map between quasiprojective varieties is finite if any point has an affine neighbourhood V such that is affine and is a finite map.$

In mathematics, specifically in category theory, F-algebras generalize the notion of algebraic structure. Rewriting the algebraic laws in terms of morphisms eliminates all references to quantified elements from the axioms, and these algebraic laws may then be glued together in terms of a single functor F, the signature.

In algebraic geometry, an étale morphism is a morphism of schemes that is formally étale and locally of finite presentation. This is an algebraic analogue of the notion of a local isomorphism in the complex analytic topology. They satisfy the hypotheses of the implicit function theorem, but because open sets in the Zariski topology are so large, they are not necessarily local isomorphisms. Despite this, étale maps retain many of the properties of local analytic isomorphisms, and are useful in defining the algebraic fundamental group and the étale topology.

In algebraic geometry, the Chow groups of an algebraic variety over any field are algebro-geometric analogs of the homology of a topological space. The elements of the Chow group are formed out of subvarieties in a similar way to how simplicial or cellular homology groups are formed out of subcomplexes. When the variety is smooth, the Chow groups can be interpreted as cohomology groups and have a multiplication called the intersection product. The Chow groups carry rich information about an algebraic variety, and they are correspondingly hard to compute in general.

In mathematics, a dual abelian variety can be defined from an abelian variety A, defined over a field k. A 1-dimensional abelian variety is an elliptic curve, and every elliptic curve is isomorphic to its dual, but this fails for higher-dimensional abelian varieties, so the concept of dual becomes more interesting in higher dimensions.

In algebraic geometry, a morphism between algebraic varieties is a function between the varieties that is given locally by polynomials. It is also called a regular map. A morphism from an algebraic variety to the affine line is also called a regular function. A regular map whose inverse is also regular is called biregular, and the biregular maps are the isomorphisms of algebraic varieties. Because regular and biregular are very restrictive conditions – there are no non-constant regular functions on projective varieties – the concepts of rational and birational maps are widely used as well; they are partial functions that are defined locally by rational fractions instead of polynomials.

This is a glossary of algebraic geometry.

References

External links

Lang, Serge (1983). Abelian Varieties. Springer Verlag. ISBN 3-540-90875-7.
Mumford, David (1974). Abelian Varieties. Oxford University Press. ISBN 0-19-560528-4.

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.