The commands below create the multiplication by n map on an abelian variety, for any n. Other ways to create homomorphisms are described in other sections of this chapter. These include computing Hecke operators, Atkin-Lehner operators, and computing the full endomorphism and homomorphism rings, and choosing elements in them.
The identity homomorphism from the modular abelian variety A to A.
The zero homomorphism from the modular abelian variety A to A.
The multiplication by n isogeny on the modular abelian variety A, where n is a rational number or an integer.
> A := JZero(23); > IdentityMap(A); Homomorphism from JZero(23) to JZero(23) given on integral homology by: [1 0 0 0] [0 1 0 0] [0 0 1 0] [0 0 0 1] > ZeroMap(A); Homomorphism from JZero(23) to JZero(23) given on integral homology by: [0 0 0 0] [0 0 0 0] [0 0 0 0] [0 0 0 0] > nIsogeny(A,3); Homomorphism from JZero(23) to JZero(23) given on integral homology by: [3 0 0 0] [0 3 0 0] [0 0 3 0] [0 0 0 3] > nIsogeny(A,1/3); Homomorphism from JZero(23) to JZero(23) (up to isogeny) on integral homology by: [1/3 0 0 0] [ 0 1/3 0 0] [ 0 0 1/3 0] [ 0 0 0 1/3]
Suppose A is an abelian variety, B is an abelian subvariety of A, and φ is a homomorphism from A. Then the Restriction command computes the restriction of φ to B. If, moreover, φ is an endomorphism of A (i.e., also has codomain A) and φ(B) is contained in B, then RestrictEndomorphism computes the endomorphism of B induced by φ.
If f is a polynomial over the integers or rational numbers and φ is an endomorphism of an abelian variety, then the Evaluate command computes the endomorphism f(φ) (if f has denominators, then f(φ) might only be a morphism on abelian varieties up to isogeny). Together with the Kernel command, Evaluate is useful for cutting out subvarieties of an abelian variety.
The SurjectivePart, DivideOutIntegers, and UniversalPropertyOfCokernel commands can also all be useful in various contexts for constructing homomorphisms.
The restriction of the map of abelian varieties φ to a morphism from the abelian variety B to the codomain of φ , if this obviously makes sense.
The restriction of the map of abelian varieties φ to an endomorphism of the abelian variety B, if this obviously makes sense. If B is not left invariant by φ , an error may occur.
Suppose φ is an endomorphism of an abelian variety A and i:B to A is an injective morphism of abelian varieties such that i(B) is invariant under φ. This intrinsic computes the endomorphism ψ of B induced by φ. If i(B) is not left invariant by φ , an error may occur.
Suppose i:A to D and φ :D to B are morphisms of abelian varieties. This intrinsic computes the restriction of φ to the image of i. The resulting map is an endomorphism of the image of i.
The endomorphism f(φ ) of A, where f is a univariate polynomial and φ is an endomorphism of a modular abelian variety A.
If φ :A to B is a homomorphism of abelian varieties, find the largest integer n such that ψ =(1/n) * φ is also a homomorphism from A to B and return ψ and n.
Let φ :A to B be a homomorphism. This intrinsic returns the surjective homomorphism π :A to φ (A) induced by φ .
Uses the universal property of the cokernel to find the unique morphism with a certain property. More precisely, suppose π :B to C is the cokernel of a morphism, so π is surjective with kernel K. Suppose f:B to D is a morphism whose kernel contains K. By definition of cokernel, there exists a unique morphism ψ :C to D such that π * ψ = f. This intrinsic returns ψ . If we only have that the identity component of ker (π ) is contained in ker(f), then ψ will only be a homomorphism in the category of abelian varieties up to isogeny, i.e., it will have a nontrivial denominator.
> J := JZero(65);
> R<x> := PolynomialRing(RationalField());
> T2 := HeckeOperator(J,2);
> Factorization(CharacteristicPolynomial(T2));
[
<x + 1, 2>,
<x^2 - 3, 2>,
<x^2 + 2*x - 1, 2>
]
> phi := Evaluate(x^2-3,T2);
> _,A := Kernel(phi);
> A;
Modular abelian variety of dimension 2 and level 5*13 over Q
> J := JZero(65); > A,B,C := Explode(Decomposition(J)); > pi := NaturalMap(J,B+C); > IsSurjective(pi); true > f := NaturalMap(J,B); > psi := UniversalPropertyOfCokernel(pi,f); psi; Homomorphism from modular abelian variety of dimension 4 to 65B (up to isogeny) on integral homology by: (not printing 8x4 matrix) > Matrix(psi); [ 1/2 0 0 -1/2] [ 1/2 0 -1/2 1/2] [ 0 -1/2 1/2 0] [ 0 0 -1/2 1] [ 1/2 -1/2 -1/2 1/2] [ 1/2 0 -1/2 1/2] [ 0 1/2 0 0] [ 0 0 1/2 0] > pi*psi eq f; // apply pi then psi is the same as applying f. true > Denominator(psi); 2Since ψ has a denominator of 2, it is only a morphism in the category of abelian varieties up to isogeny. This is because only the connected component of the kernel of π is contained in the kernel of f.
> G := Kernel(pi); G;
Finitely generated subgroup of abelian variety with invariants
[ 2, 2, 2, 2, 2, 2 ]
> H, K := Kernel(f);
> H;
{ 0 }: finitely generated subgroup of abelian variety with
invariants []
> G subset K;
false
> phi := 10*HeckeOperator(JZero(23),3); phi; Homomorphism from JZero(23) to JZero(23) given on integral homology by: [-10 -20 20 0] [ 0 -30 20 -20] [ 20 -40 30 -20] [ 20 -20 0 10] > DivideOutIntegers(phi); Homomorphism from JZero(23) to JZero(23) given on integral homology by: [-1 -2 2 0] [ 0 -3 2 -2] [ 2 -4 3 -2] [ 2 -2 0 1] 10
> J := JZero(65);
> A := Decomposition(J)[2]; A;
Modular abelian variety 65B of dimension 2, level 5*13 and
conductor 5^2*13^2 over Q
> T := HeckeOperator(J,3);
> Factorization(CharacteristicPolynomial(T));
[
<x + 2, 2>,
<x^2 - 2*x - 2, 2>,
<x^2 - 2, 2>
]
> Restriction(T,A);
Homomorphism from modular abelian variety of dimension 2 to
JZero(65) given on integral homology by:
[-1 0 0 1 0 -1 0 0 0 0]
[-1 3 -1 1 -3 -1 1 2 -1 -2]
[-1 1 -1 3 -1 -1 -1 0 1 -2]
[-1 0 0 3 0 -1 -2 0 2 -2]
> TonA := RestrictEndomorphism(T,A); TonA;
Homomorphism from 65B to 65B given on integral homology by:
[-1 0 0 1]
[-1 3 -1 1]
[-1 1 -1 3]
[-1 0 0 3]
> Factorization(CharacteristicPolynomial(TonA));
[
<x^2 - 2*x - 2, 2>
]
Finally, we illustrate the SurjectivePart command
on the non-surjective morphism T3 + 2 of J0(65).
> phi := T+2; > IsSurjective(phi); false > pi := SurjectivePart(phi); > IsSurjective(pi); true > Codomain(pi); Modular abelian variety of dimension 4 and level 5*13 over Q
The category of abelian varieties is not an abelian category because kernels need not exist in this category. More precisely, if φ is a homomorphism A to B of abelian varieties, then the kernel of φ is usually not an abelian variety because it is rarely connected. Instead, the kernel fits into an exact sequence
0 to C to ker(φ) to G to 0,
where C is an abelian variety and G is a finite group, both defined over the same field as φ.
The ConnectedKernel command returns C.
The ComponentGroupOfKernel command returns G as a subgroup of A/C.
The Kernel command returns a finite subgroup of A that maps to G, the abelian variety C, and a map from C into A.
Note that if C != 0 then the finite group that the Kernel command returns is not canonical, since it is just some finite group that maps onto G via quotienting out by C. For the canonical component group, use the ComponentGroupOfKernel command, which gives a group defined over the same base field as φ, whose main drawback is that the component group is not contained in A.
Component group of ker (φ ) where φ is a homomorphism of abelian varieties.
The connected component C of ker (φ ) and a morphism from C to the domain of φ where φ is a homomorphism of abelian varieties.
Let φ be a homomorphism of abelian varieties. This intrinsic returns a finite subgroup G of A (the domain of φ) as a subgroup of an abelian variety, an abelian variety C such that ker (φ ) equals f(C) + G, and an injective map f from C to A. If C=0, then G has the same field of definition as φ ; otherwise, G is only known to be defined over the algebraic closure.
> J := JZero(65); > T := HeckeOperator(J,2); > phi := T^2-3; > ConnectedKernel(phi); Modular abelian variety of dimension 2 and level 5*13 over Q Homomorphism from modular abelian variety of dimension 2 to JZero(65) given on integral homology by: [ 1 0 0 0 0 1 -1 0 1 -1] [ 0 1 0 0 -1 0 0 1 0 -1] [ 0 0 1 0 0 0 -1 1 1 -1] [ 0 0 0 1 0 0 -1 0 1 -1] > Kernel(phi); Finitely generated subgroup of abelian variety with invariants [ 2, 2, 2, 2 ] Modular abelian variety of dimension 2 and level 5*13 over Q Homomorphism from modular abelian variety of dimension 2 to JZero(65) given on integral homology by: [ 1 0 0 0 0 1 -1 0 1 -1] [ 0 1 0 0 -1 0 0 1 0 -1] [ 0 0 1 0 0 0 -1 1 1 -1] [ 0 0 0 1 0 0 -1 0 1 -1] > G := ComponentGroupOfKernel(phi); G; Finitely generated subgroup of abelian variety with invariants [ 2, 2, 2, 2 ] > FieldOfDefinition(G); Rational FieldThough G is defined over Q, the ambient variety of G is the quotient of J0(65) by the two dimensional connected component of the kernel of T2 - 3.
> AmbientVariety(G); Modular abelian variety of dimension 3 and level 5*13 over QOn the other hand, the group returned by the Kernel command is a subgroup of J0(65).
> H, C := Kernel(phi); > H; Finitely generated subgroup of abelian variety with invariants [ 2, 2, 2, 2 ] > FieldOfDefinition(H); Algebraically closed field with no variables > AmbientVariety(H); Modular abelian variety JZero(65) of dimension 5 and level 5*13 over Q
These commands compute the image of a modular abelian variety or a finite group under a homomorphism φ of modular abelian varieties. Using @@, one can also compute a group lifting a given group. Note that this lift is not canonical unless φ has finite kernel, in which case G@@phi is the full inverse image of G.
The image of the abelian variety A under the map φ of abelian varieties, if this makes sense, i.e., if A is the domain of φ , or A has dimension 0, or one of the embeddings of A has codomain equal to the domain of φ .
The image of the subgroup G of an abelian variety under the map φ of abelian varieties, if this makes sense. If A is the ambient variety of G, then this makes sense if A is the domain of φ , or A has dimension 0, or one of the embeddings of A has codomain equal to the domain of φ .
The image C of the morphism φ of abelian varieties, which is a modular abelian subvariety contained in the codomain of φ , a morphism from C to the codomain of φ , and a surjective morphism from the domain of φ to C.
A finite group whose image under φ, a morphism of abelian varieties, is equal to the subgroup G of a modular abelian variety, if possible. If φ has finite kernel, then this is the exact inverse image of G under φ . If not, then this is a group generated by a choice of torsion inverse image for each generator of G, which may not be canonical.
> J := JZero(37); > phi := HeckeOperator(J,2); > phi(J); Modular abelian variety of dimension 1 and level 37 over Q > Image(phi); Modular abelian variety of dimension 1 and level 37 over Q Homomorphism from modular abelian variety of dimension 1 to JZero(37) given on integral homology by: [ 1 -1 1 0] [ 1 -1 -1 1] Homomorphism from JZero(37) to modular abelian variety of dimension 1 given on integral homology by: [ 0 -1] [ 1 0] [-1 1] [ 0 0]The Hecke operator T2 maps the 2-torsion subgroup of J0(37) maps onto the 2-torsion subgroup of the image of T2.
> G := nTorsionSubgroup(J,2); G; Finitely generated subgroup of abelian variety with invariants [ 2, 2, 2, 2 ] > phi(G); Finitely generated subgroup of abelian variety with invariants [ 2, 2 ]The homomorphism T2 - 1 is surjective, and the inverse image of the 2-torsion is a subgroup isomorphic to (Z/2Z)2 x (Z/6Z)2.
> IsSurjective(phi-1); true > psi := phi-1; > H := G@@(psi); H; Finitely generated subgroup of abelian variety with invariants [ 2, 2, 6, 6 ] > psi(H); Finitely generated subgroup of abelian variety with invariants [ 2, 2, 2, 2 ] > H := G@@psi; H; Finitely generated subgroup of abelian variety with invariants [ 2, 2, 6, 6 ] > psi(H); Finitely generated subgroup of abelian variety with invariants [ 2, 2, 2, 2 ]
The cokernel of the morphism φ of abelian varieties and a morphism from the codomain of φ to the cokernel.
> J := JZero(33);
> T := HeckeOperator(J,2);
> Factorization(CharacteristicPolynomial(T));
[
<x - 1, 2>,
<x + 2, 4>
]
> phi := T + 2;
> A, pi := Cokernel(phi);
> A;
Modular abelian variety of dimension 2 and level 3*11 over Q
> pi;
Homomorphism from JZero(33) to modular abelian variety of dimension
2 (not printing 6x4 matrix)
Homomorphisms are stored and worked with internally using the linear maps they induce on homology. The commands below provide access to those matrices.
The matrix on the chosen basis of rational homology that defines the morphism φ of abelian varieties.
The Eltseq of the underlying matrix that defines the morphism φ of abelian varieties. This is a sequence of integers or rational numbers.
The number of columns of the matrix which defines the morphism φ of abelian varieties. This is also the dimension of the homology of the codomain of φ .
The number of rows of the matrix that defines the morphism φ of abelian varieties. This is also the dimension of the homology of the domain of φ .
The sequence rows of the matrix that defines the morphism φ of abelian varieties.
The matrix which defines the morphism φ of abelian varieties, written with respect to integral homology.
The matrix which defines the morphism φ of abelian varieties, written with respect to integral homology.
The matrix which defines the morphism φ of abelian varieties, written with respect to real homology.
> phi := HeckeOperator(JZero(23),2); phi;
Homomorphism T2 from JZero(23) to JZero(23) given on integral homology by:
[ 0 1 -1 0]
[ 0 1 -1 1]
[-1 2 -2 1]
[-1 1 0 -1]
> Eltseq(phi);
[ 0, 1, -1, 0, 0, 1, -1, 1, -1, 2, -2, 1, -1, 1, 0, -1 ]
> IntegralMatrix(phi);
[ 0 1 -1 0]
[ 0 1 -1 1]
[-1 2 -2 1]
[-1 1 0 -1]
> Parent($1);
Full RMatrixSpace of 4 by 4 matrices over Integer Ring
> IntegralMatrixOverQ(phi);
[ 0 1 -1 0]
[ 0 1 -1 1]
[-1 2 -2 1]
[-1 1 0 -1]
> Parent($1);
Full Matrix Algebra of degree 4 over Rational Field
> Matrix(phi);
[ 0 1 -1 0]
[ 0 1 -1 1]
[-1 2 -2 1]
[-1 1 0 -1]
> Ncols(phi);
4
> Nrows(phi);
4
> RealMatrix(phi);
[ 0 1 -1 0]
[ 0 1 -1 1]
[ -1 2/1 -2/1 1]
[ -1 1 0 -1]
> Parent($1);
Full KMatrixSpace of 4 by 4 matrices over Real Field
> Rows(phi);
[
( 0 1 -1 0),
( 0 1 -1 1),
(-1 2 -2 1),
(-1 1 0 -1)
]
Magma supports many standard arithmetic operations with homomorphisms of abelian varieties, including composition, addition, subtraction, and exponentiation.
The inverse of φ and an integer d such that d * φ - 1 is a morphism of abelian varieties. More precisely, if φ is an isogeny, then the inverse of φ is a morphism in the category of abelian varieties up to isogeny. This intrinsic returns such a morphism or the actual inverse of φ if φ has degree 1.
The composition of the homomorphisms φ and ψ of abelian varieties.
The product of the rational number or integer a and the homomorphism φ of abelian varieties. The result might only be a homomorphism, up to isogeny.
The product of the matrix that defines the morphism φ of abelian varieties and the matrix ψ .
The product of the matrix ψ and the matrix that defines the morphism φ of abelian varieties.
The n-fold composition φ n of the endomorphism φ of an abelian variety with itself. If n= - 1, then this is the inverse of φ , in which case φ must be an isogeny or an error occurs.
The sum of the homomorphisms φ and ψ
The sum of the morphism multiplication by the rational number or integer n and the endomorphism φ of an abelian variety.
The sum of the endomorphism φ of an abelian variety and the endomorphism multiplication-by-n where n is an integer.
The sum of the matrix that defines the morphism φ of abelian varieties and the matrix ψ.
The sum of the matrix ψ and the matrix which defines the morphism φ of abelian varieties.
The difference between the homomorphisms φ and ψ of abelian varieties.
The difference between the morphism multiplication-by-n, where n is a rational number or an integer, and the endomorphism φ of an abelian variety.
The difference between the endomorphism φ of an abelian variety and the endomorphism multiplication-by-n where n is a rational number or an integer.
The difference between the matrix that defines the morphism φ of abelian varieties and the matrix ψ .
The difference between the matrix ψ and the matrix which defines the morphism φ of abelian varieties.
> J := JZero(23); > phi := HeckeOperator(J,2); > psi := HeckeOperator(J,3); > Matrix(phi)*Matrix(psi); [-2 1 -1 0] [ 0 -1 -1 1] [-1 2 -4 1] [-1 1 0 -3] > phi*psi; Homomorphism from JZero(23) to JZero(23) given on integral homology by: [-2 1 -1 0] [ 0 -1 -1 1] [-1 2 -4 1] [-1 1 0 -3] > Inverse(phi); Homomorphism from JZero(23) to JZero(23) given on integral homology by: [ 1 1 -1 0] [ 0 2 -1 1] [-1 2 -1 1] [-1 1 0 0] 1 > 1/3*phi; Homomorphism from JZero(23) to JZero(23) (up to isogeny) on integral homology by: [ 0 1/3 -1/3 0] [ 0 1/3 -1/3 1/3] [-1/3 2/3 -2/3 1/3] [-1/3 1/3 0 -1/3] > 2+phi; Homomorphism from JZero(23) to JZero(23) given on integral homology by: [ 2 1 -1 0] [ 0 3 -1 1] [-1 2 0 1] [-1 1 0 1] > phi+psi; Homomorphism from JZero(23) to JZero(23) given on integral homology by: [-1 -1 1 0] [ 0 -2 1 -1] [ 1 -2 1 -1] [ 1 -1 0 0] > phi^4; Homomorphism from JZero(23) to JZero(23) given on integral homology by: [ 2 -3 3 0] [ 0 -1 3 -3] [ 3 -6 8 -3] [ 3 -3 0 5] 1 > phi^(-4); Homomorphism from JZero(23) to JZero(23) given on integral homology by: [ 5 3 -3 0] [ 0 8 -3 3] [-3 6 -1 3] [-3 3 0 2] 1
The polynomial commands compute the characteristic and minimal polynomials of endomorphisms of modular abelian varieties. Each command requires that the input homomorphism be a genuine homomorphism (not just a morphism up to isogeny). The same computation could be done by first extracting the matrix of the endomorphism and using the analogous command on the matrix. However, in some special cases there may be special techniques which can be used to do the computation more quickly, so there can be some advantage to using the commands below.
The characteristic polynomial of the endomorphism φ of an abelian variety. We can sometimes use extra information about φ (e.g., how it was constructed, Deligne bounds) to gain an answer faster.
The factorization of the characteristic polynomial of the endomorphism φ of an abelian variety. We can sometimes use extra information about φ (e.g., how it was constructed, Deligne bounds), to gain an answer faster. These factored polynomials are cached.
The minimal polynomial of the endomorphism φ of an abelian variety. We can sometimes use extra information about φ (e.g., how it was constructed, Deligne bounds), to gain an answer faster.
> J := JZero(66);
> phi := HeckeOperator(J,2);
> R<x> := PolynomialRing(RationalField());
> CharacteristicPolynomial(phi);
x^18 + 4*x^17 + 8*x^16 + 8*x^15 + 6*x^14 - 20*x^12 - 56*x^11 -
55*x^10 - 4*x^9 + 36*x^8 + 48*x^7 + 104*x^6 + 128*x^5 -
32*x^4 - 192*x^3 - 112*x^2 + 64*x + 64
> CharacteristicPolynomial(Matrix(phi));
x^18 + 4*x^17 + 8*x^16 + 8*x^15 + 6*x^14 - 20*x^12 - 56*x^11 -
55*x^10 - 4*x^9 + 36*x^8 + 48*x^7 + 104*x^6 + 128*x^5 -
32*x^4 - 192*x^3 - 112*x^2 + 64*x + 64
> FactoredCharacteristicPolynomial(phi);
[
<x - 1, 4>,
<x + 1, 2>,
<x^2 - x + 2, 2>,
<x^2 + 2*x + 2, 4>
]
> MinimalPolynomial(phi);
x^6 + x^5 + x^4 + x^3 + 2*x^2 - 2*x - 4
> Factorization(MinimalPolynomial(phi));
[
<x - 1, 1>,
<x + 1, 1>,
<x^2 - x + 2, 1>,
<x^2 + 2*x + 2, 1>
]
It is possible to retrieve the domain and codomain of homomorphisms between abelian varieties. The degrees of such homomorphisms can be computed. Denominators of homomorphisms can be determined and cleared. A field over which a homomorphism is defined is available. The rank, nullity and trace of a homomorphism can also be computed.
The domain of the morphism φ of abelian varieties.
The codomain of the morphism φ of abelian varieties.
The degree of the morphism φ of abelian varieties, i.e. the cardinality of the kernel of φ. If the kernel of φ is not finite, then the degree is defined to be 0.
Given a morphism φ of abelian varieties return the smallest positive integer n such that n * φ is a homomorphism. This is also the denominator of the matrix that defines φ .
Return the morphism n * φ where φ is a morphism of abelian varieties and n is positive and the smallest such that n * φ is a genuine homomorphism.
A field of definition of the morphism φ of abelian varieties. This is only some field over which φ is defined, it is not guaranteed to be minimal.
The dimension of the kernel of the morphism φ of abelian varieties.
The dimension of the kernel of the morphism φ of abelian varieties.
The trace of any matrix which represents the action of the morphism φ of abelian varieties on integral homology. For example, the trace of multiplication by n on A is 2n dim(A).
> phi := NaturalMap(JZero(11),JZero(33)); > Codomain(phi); Modular abelian variety JZero(33) of dimension 3 and level 3*11 over Q > Domain(phi); Modular abelian variety JZero(11) of dimension 1 and level 11 over Q > Degree(phi); 1 > Denominator(1/5*phi); 5 > FieldOfDefinition(phi); Rational Field > Nullity(phi); 0 > Rank(phi); 1 > Trace(HeckeOperator(JZero(33),2)); -6 > Trace(nIsogeny(JZero(33),5)); 30
A range of predicates are provided allowing a morphism to be checked for whether it is an actual morphism or not, whether its kernel is finite, and whether it is injective or surjective or an isogeny. There are also commands for testing equality of homomorphisms and inclusion in a list.
Return true if and only if the map φ between abelian varieties is a morphism in the category of abelian varieties (not just in the category of abelian varieties up to isogeny).
Return true if the map φ between abelian varieties is not a homomorphism, but n * φ is a homomorphism for some positive integer n, i.e., φ is only a homomorphism in the category of abelian varieties up to isogeny.
Return true if the kernel of the homomorphism φ of abelian varieties is finite.
Return true if the map φ between abelian varieties is an injective homomorphism.
Return true if the homomorphism φ between abelian varieties is surjective.
Return true if the morphism φ between abelian varieties is an endomorphism, i.e., the domain and codomain of φ are equal.
Return true if the morphism φ between abelian varieties is multiplication by n for some integer n. If so, returns that n as well, otherwise, returns false.
Return true if the morphism φ between abelian varieties is a surjective homomorphism with finite kernel. Note that this definition differs from the one in Silverman's books on elliptic curves, agrees with the one in Milne's articles, and is an equivalence relation.
Return true if the morphism φ between abelian varieties is an isomorphism of abelian varieties.
Return true if the morphism φ between abelian varieties is an optimal quotient map, i.e., φ is surjective and has connected kernel.
Returns true if the morphism φ between abelian varieties was computed using the HeckeOperator command, and the argument n passed to the HeckeOperator command when φ was created, otherwise false.
Return true if the morphism φ of abelian varieties is the zero morphism.
Return true if the two homomorphisms of abelian varieties φ and ψ are equal.
Return true if the morphism φ between abelian varieties is equal to multiplication by the integer n.
Return true if the morphism φ between abelian varieties is one of the homomorphisms in the list X of homomorphisms.
> phi := HeckeOperator(JZero(65),2)-1; > HasFiniteKernel(phi); true > IsEndomorphism(phi); true > IsHeckeOperator(phi); false 0 > IsInjective(phi); false > IsInteger(phi); false > IsIsogeny(phi); true > IsIsomorphism(phi); false > IsMorphism(phi); true > IsMorphism(1/2*phi); false > IsSurjective(phi); true > IsZero(phi); false > OnlyUpToIsogeny(phi); false > 2 eq phi; false > phi eq 2; false > 2 eq nIsogeny(JZero(65),2); true > phi eq nIsogeny(JZero(65),2); false > phi in [* phi, nIsogeny(JZero(65),2) *]; true > IsIsomorphism(NaturalMap(JZero(11),JOne(11))); false > IsIsomorphism(NaturalMap(JZero(11)^2,JZero(22))); false > IsIsomorphism(NaturalMap(JZero(11),JZero(11))); true