Show simple item record

dc.rights.licenseCC-BY-NC-ND
dc.contributor.advisorCornelissen, Gunther
dc.contributor.authorWennekes, Marlien
dc.date.accessioned2022-07-29T00:00:45Z
dc.date.available2022-07-29T00:00:45Z
dc.date.issued2022
dc.identifier.urihttps://studenttheses.uu.nl/handle/20.500.12932/42019
dc.description.abstractThere is a growing body of research on dynamics of maps over finite sets; such a map f : X → X is described by a finite directed graph with vertex set X and edges from x ∈ X to f(x) ∈ X. In general one finds that maps with algebraic properties give more symmetrical graphs than random graphs. In this context, we study endomorphisms of ordinary elliptic curves over finite fields with endomorphism ring equal to the maximal order of a quadratic number field. We translate the graph theory problem into an algebraic number-theoretic one. We use the theory of rational maps by x-coordinate projection of endomorphisms by Ugolini, and on dynamics of Dedekind domains by Qureshi and Reis, to derive precisely the cycles and trees that the graphs consist of. Next, we look at the curve E : y^2 = x^3 − x over Fp to apply this theory. We run some computer experiments for endomorphisms α = a ± bi with 1 ≤ a, b ≤ 9 for the first 1000 prime numbers where E is ordinary. We look at two invariants: the number of points in cycles and the maximal cycle length. We study the proportion of points in cycles, looking at the density of primes where this proportion is maximal. Using congruence relations, we find a lower bound for endomorphisms which do not contain split primes. We also find more general results concerning the proportion of points experimentally. Next, we look at the proportion of cyclic points that are contained in the maximal cycle. We study experimentally how the proportion behaves as p increases in size; and find a big difference in the case where the norm of the endomorphism is even or odd. Further, we look into when the proportion is maximal. In the even case, the maximum proportion is 1; in the odd case it is < 1. For the odd case, we give a conjecture describing the value of the maximum proportion as a function of the endomorphism, which we base on the experimental data and on the case where the graph has only a minimal number of points.
dc.description.sponsorshipUtrecht University
dc.language.isoEN
dc.subjectThe object of study is endomorphisms of ordinary elliptic curves over finite fields which have endomorphism ring equal to the maximal order of a quadratic number field. Let φ be an elliptic curve E over a finite field Fq with q a prime power. We consider a graph with vertices all the points on E(Fqn ) and draw an arrow from a point P to Q if and only if φ(P ) = Q. Of this graph, we describe the cycles (periodic points) and trees, and consider how invariants of the graph change when we vary p.
dc.titleGraphs of endomorphisms of elliptic curves over finite fields
dc.type.contentMaster Thesis
dc.rights.accessrightsOpen Access
dc.subject.keywordselliptic curves;dynamical systems;endomorphism;graph;
dc.subject.courseuuMathematical Sciences
dc.thesis.id7327


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record