{"id":{"repo_id":"cambridge","oai_identifier":"oai:www.repository.cam.ac.uk:1810/369243"},"canonical_url":"https://search.dev.ndltd.org/etd/cambridge/oai:www.repository.cam.ac.uk:1810/369243","repository":{"repo_id":"cambridge","name":"Cambridge University","base_url":"https://api.repository.cam.ac.uk/server/oai/request"},"display":{"title":"Explicit moduli spaces for curves of genus 1 and 2","abstract":"In this thesis we study pairs of $N$-congruent elliptic curves. That is, we study pairs of elliptic curves whose $N$-torsion subgroups are isomorphic as Galois modules. In particular, we study the moduli surfaces $Z_{N,r}$ which parametrise $N$-congruences of elliptic curves which raise the Weil pairing to a power of $r$. We first study the birational geometry of the surfaces $Z_{N,r}^{\\text{sym}}$ which arise as quotients of the surfaces $Z_{N,r}$ by the involution swapping the roles of the $N$-congruent elliptic curves. Building on previous work of Kani--Schanz and Hermann we compute the geometric genus of $Z_{N,r}^{\\text{sym}}$ and place them within the Enriques--Kodaira classification in many cases. As a corollary we deduce that the Humbert surface of discriminant $N^2$ is rational if and only if $N \\leq 16$, or if $N = 18$, $20$, or $24$. We then study $N$-congruences between quadratic twists of elliptic curves. If $N$ has exactly two distinct prime factors we show that these are parametrised by double covers of certain modular curves. In many, but not all, cases the modular curves in question correspond to the normaliser of a Cartan subgroup of $\\operatorname{GL}_2(\\mathbb{Z}/N\\mathbb{Z})$. By computing explicit models for these double covers we find all pairs, $(N,r)$, such that there exist infinitely many $j$-invariants of elliptic curves $E/\\mathbb{Q}$ which are $N$-congruent with power $r$ to a quadratic twist of $E$. We also find an example of a $48$-congruence over $\\mathbb{Q}$. We make a conjecture classifying nontrivial $(N,r)$-congruences between quadratic twists of elliptic curves over $\\mathbb{Q}$. We give a more detailed analysis of the level 15 case and use elliptic Chabauty to determine the rational points on a modular curve of genus 2 and Jacobian of rank $2$ which arises as a double cover of the modular curve $X(\\mathrm{ns}\\, 3^+, \\mathrm{ns}\\, 5^+)$. As a consequence we obtain a new proof of the class number 1 problem. We construct infinite families of pairs of (geometrically non-isogenous) $12$ and $14$-congruent elliptic curves defined over $\\mathbb{Q}$. We also find two pairs of $15$-congruent elliptic curves over $\\mathbb{Q}$. Our approach is to compute explicit birational models for the moduli surfaces $Z_{N,r}$ for each $N = 12$, $14$ and $15$. A key ingredient in the proof is to construct simple (algebraic) conditions for the $2$, $3$, or $4$-torsion subgroups of a pair of elliptic curves to be isomorphic as Galois modules. These conditions are given in terms of the $j$-invariants of the pair of elliptic curves. Finally, we study an application of congruences to visualising elements of the Tate--Shafarevich group of an abelian variety. In particular, we construct a number of genus 2 Jacobians $J/\\mathbb{Q}$ with real multiplication by $\\mathbb{Z}[\\sqrt{2}]$ and whose Tate--Shafarevich groups contain an element of order $7$. Our approach is to find elliptic curves whose $7$-torsion subgroups are isomorphic as Galois modules to the $(3 \\pm \\sqrt{2})$-torsion subgroups of $J/\\mathbb{Q}$.","abstract_html":"In this thesis we study pairs of $N$-congruent elliptic curves. That is, we study pairs of elliptic curves whose $N$-torsion subgroups are isomorphic as Galois modules. In particular, we study the moduli surfaces <span class=\"etd-inline-math\">Z<sub>N,r</sub></span> which parametrise $N$-congruences of elliptic curves which raise the Weil pairing to a power of $r$. We first study the birational geometry of the surfaces <span class=\"etd-inline-math\">Z<sub>N,r</sub><sup>\\text{sym}</sup></span> which arise as quotients of the surfaces <span class=\"etd-inline-math\">Z<sub>N,r</sub></span> by the involution swapping the roles of the $N$-congruent elliptic curves. Building on previous work of Kani--Schanz and Hermann we compute the geometric genus of <span class=\"etd-inline-math\">Z<sub>N,r</sub><sup>\\text{sym}</sup></span> and place them within the Enriques--Kodaira classification in many cases. As a corollary we deduce that the Humbert surface of discriminant <span class=\"etd-inline-math\">N<sup>2</sup></span> is rational if and only if $N \\leq 16$, or if $N = 18$, $20$, or $24$. We then study $N$-congruences between quadratic twists of elliptic curves. If $N$ has exactly two distinct prime factors we show that these are parametrised by double covers of certain modular curves. In many, but not all, cases the modular curves in question correspond to the normaliser of a Cartan subgroup of <span class=\"etd-inline-math\">\\operatorname{GL}<sub>2</sub>(\\mathbb{Z}/N\\mathbb{Z})</span>. By computing explicit models for these double covers we find all pairs, $(N,r)$, such that there exist infinitely many $j$-invariants of elliptic curves $E/\\mathbb{Q}$ which are $N$-congruent with power $r$ to a quadratic twist of $E$. We also find an example of a $48$-congruence over $\\mathbb{Q}$. We make a conjecture classifying nontrivial $(N,r)$-congruences between quadratic twists of elliptic curves over $\\mathbb{Q}$. We give a more detailed analysis of the level 15 case and use elliptic Chabauty to determine the rational points on a modular curve of genus 2 and Jacobian of rank $2$ which arises as a double cover of the modular curve <span class=\"etd-inline-math\">X(<span class=\"etd-inline-math-roman\">ns</span>  3<sup>+</sup>, <span class=\"etd-inline-math-roman\">ns</span>  5<sup>+</sup>)</span>. As a consequence we obtain a new proof of the class number 1 problem. We construct infinite families of pairs of (geometrically non-isogenous) $12$ and $14$-congruent elliptic curves defined over $\\mathbb{Q}$. We also find two pairs of $15$-congruent elliptic curves over $\\mathbb{Q}$. Our approach is to compute explicit birational models for the moduli surfaces <span class=\"etd-inline-math\">Z<sub>N,r</sub></span> for each $N = 12$, $14$ and $15$. A key ingredient in the proof is to construct simple (algebraic) conditions for the $2$, $3$, or $4$-torsion subgroups of a pair of elliptic curves to be isomorphic as Galois modules. These conditions are given in terms of the $j$-invariants of the pair of elliptic curves. Finally, we study an application of congruences to visualising elements of the Tate--Shafarevich group of an abelian variety. In particular, we construct a number of genus 2 Jacobians $J/\\mathbb{Q}$ with real multiplication by $\\mathbb{Z}[\\sqrt{2}]$ and whose Tate--Shafarevich groups contain an element of order $7$. Our approach is to find elliptic curves whose $7$-torsion subgroups are isomorphic as Galois modules to the $(3 \\pm \\sqrt{2})$-torsion subgroups of $J/\\mathbb{Q}$.","abstract_has_math":true,"creators":["Frengley, Samuel"],"institution":"University of Cambridge","degree_name":"Doctor of Philosophy (PhD)","degree_level":"Doctoral","degree_discipline":null,"degree_department":null,"school":null,"contributors":[],"advisors":["Fisher, Thomas"],"committee_chairs":[],"committee_members":[],"year":2023,"date_issued":"2023-12-02","date_published":"2023-12-02","updated_at":"2026-07-22T22:24:23Z","subjects":["Arithmetic Geometry","Elliptic curves","Galois representations","Hilbert modular surfaces","Modular curves","Number Theory"],"languages":["eng"],"rights":[],"rights_urls":["https://apollo8-f-pro.lib.cam.ac.uk/bitstreams/825a6bd0-d11b-4e1b-8110-ea21b4b96977/download","https://www.rioxx.net/licenses/all-rights-reserved/"],"identifier_entries":[{"key":"dc:creator.authoridentifier","label":"Author Identifier","values":["0000000289046253"],"render_values":[{"text":"0000-0002-8904-6253","href":"https://orcid.org/0000-0002-8904-6253","code":true}]}]},"links":{"outbound_url":"https://doi.org/10.17863/CAM.109127","outbound_label":"DOI","outbound_source":"dc:identifier.doi"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor.advisor","label":"Advisor","values":["Fisher, Thomas"]},{"key":"dc:contributor.sponsor","label":"Sponsor","values":["Woolf Fisher Scholarship (Woolf Fisher Trust and Cambridge Trust)"]},{"key":"dc:creator","label":"Author","values":["Frengley, Samuel"]},{"key":"dc:creator.authoridentifier","label":"Author Identifier","values":["0000000289046253"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date.issued","label":"Date","values":["2023-12-02"]},{"key":"dc:publisher.institution","label":"Dc Publisher Institution","values":["University of Cambridge"]},{"key":"dc:relation.isreferencedby.uri","label":"Dc Relation Isreferencedby URI","values":["https://www.repository.cam.ac.uk/handle/1810/369243"]},{"key":"dc:type","label":"Dc Type","values":["Thesis"]},{"key":"dc:type.qualificationlevel","label":"Dc Type Qualificationlevel","values":["Doctoral"]},{"key":"dc:type.qualificationname","label":"Dc Type Qualificationname","values":["Doctor of Philosophy (PhD)"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["Arithmetic Geometry","Elliptic curves","Galois representations","Hilbert modular surfaces","Modular curves","Number Theory"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language","label":"Dc Language","values":["eng"]},{"key":"dc:rights","label":"Dc Rights","values":["https://apollo8-f-pro.lib.cam.ac.uk/bitstreams/825a6bd0-d11b-4e1b-8110-ea21b4b96977/download","https://www.rioxx.net/licenses/all-rights-reserved/"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier.doi","label":"DOI","values":["https://doi.org/10.17863/CAM.109127"]},{"key":"dc:identifier.uri","label":"Identifier URI","values":["https://apollo8-f-pro.lib.cam.ac.uk/bitstreams/685d73ae-c387-49c5-aef7-4817ed03c91a/download"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description.abstract","label":"Abstract","values":["In this thesis we study pairs of $N$-congruent elliptic curves. That is, we study pairs of elliptic curves whose $N$-torsion subgroups are isomorphic as Galois modules. In particular, we study the moduli surfaces $Z_{N,r}$ which parametrise $N$-congruences of elliptic curves which raise the Weil pairing to a power of $r$. We first study the birational geometry of the surfaces $Z_{N,r}^{\\text{sym}}$ which arise as quotients of the surfaces $Z_{N,r}$ by the involution swapping the roles of the $N$-congruent elliptic curves. Building on previous work of Kani--Schanz and Hermann we compute the geometric genus of $Z_{N,r}^{\\text{sym}}$ and place them within the Enriques--Kodaira classification in many cases. As a corollary we deduce that the Humbert surface of discriminant $N^2$ is rational if and only if $N \\leq 16$, or if $N = 18$, $20$, or $24$. We then study $N$-congruences between quadratic twists of elliptic curves. If $N$ has exactly two distinct prime factors we show that these are parametrised by double covers of certain modular curves. In many, but not all, cases the modular curves in question correspond to the normaliser of a Cartan subgroup of $\\operatorname{GL}_2(\\mathbb{Z}/N\\mathbb{Z})$. By computing explicit models for these double covers we find all pairs, $(N,r)$, such that there exist infinitely many $j$-invariants of elliptic curves $E/\\mathbb{Q}$ which are $N$-congruent with power $r$ to a quadratic twist of $E$. We also find an example of a $48$-congruence over $\\mathbb{Q}$. We make a conjecture classifying nontrivial $(N,r)$-congruences between quadratic twists of elliptic curves over $\\mathbb{Q}$. We give a more detailed analysis of the level 15 case and use elliptic Chabauty to determine the rational points on a modular curve of genus 2 and Jacobian of rank $2$ which arises as a double cover of the modular curve $X(\\mathrm{ns}\\, 3^+, \\mathrm{ns}\\, 5^+)$. As a consequence we obtain a new proof of the class number 1 problem. We construct infinite families of pairs of (geometrically non-isogenous) $12$ and $14$-congruent elliptic curves defined over $\\mathbb{Q}$. We also find two pairs of $15$-congruent elliptic curves over $\\mathbb{Q}$. Our approach is to compute explicit birational models for the moduli surfaces $Z_{N,r}$ for each $N = 12$, $14$ and $15$. A key ingredient in the proof is to construct simple (algebraic) conditions for the $2$, $3$, or $4$-torsion subgroups of a pair of elliptic curves to be isomorphic as Galois modules. These conditions are given in terms of the $j$-invariants of the pair of elliptic curves. Finally, we study an application of congruences to visualising elements of the Tate--Shafarevich group of an abelian variety. In particular, we construct a number of genus 2 Jacobians $J/\\mathbb{Q}$ with real multiplication by $\\mathbb{Z}[\\sqrt{2}]$ and whose Tate--Shafarevich groups contain an element of order $7$. Our approach is to find elliptic curves whose $7$-torsion subgroups are isomorphic as Galois modules to the $(3 \\pm \\sqrt{2})$-torsion subgroups of $J/\\mathbb{Q}$."]},{"key":"dc:format.checksum.md5","label":"Dc Format Checksum Md5","values":["87eda9de84448d1f82354d60eee3eb5f","12ce9ad370bab6076d9fcc75ab0c2642"]},{"key":"dc:title","label":"Title","values":["Explicit moduli spaces for curves of genus 1 and 2"]}]}],"canonical_facts":{"dc:contributor.advisor":["Fisher, Thomas"],"dc:contributor.sponsor":["Woolf Fisher Scholarship (Woolf Fisher Trust and Cambridge Trust)"],"dc:creator":["Frengley, Samuel"],"dc:creator.authoridentifier":["0000000289046253"],"dc:date.issued":["2023-12-02"],"dc:description.abstract":["In this thesis we study pairs of $N$-congruent elliptic curves. That is, we study pairs of elliptic curves whose $N$-torsion subgroups are isomorphic as Galois modules. In particular, we study the moduli surfaces $Z_{N,r}$ which parametrise $N$-congruences of elliptic curves which raise the Weil pairing to a power of $r$. We first study the birational geometry of the surfaces $Z_{N,r}^{\\text{sym}}$ which arise as quotients of the surfaces $Z_{N,r}$ by the involution swapping the roles of the $N$-congruent elliptic curves. Building on previous work of Kani--Schanz and Hermann we compute the geometric genus of $Z_{N,r}^{\\text{sym}}$ and place them within the Enriques--Kodaira classification in many cases. As a corollary we deduce that the Humbert surface of discriminant $N^2$ is rational if and only if $N \\leq 16$, or if $N = 18$, $20$, or $24$. We then study $N$-congruences between quadratic twists of elliptic curves. If $N$ has exactly two distinct prime factors we show that these are parametrised by double covers of certain modular curves. In many, but not all, cases the modular curves in question correspond to the normaliser of a Cartan subgroup of $\\operatorname{GL}_2(\\mathbb{Z}/N\\mathbb{Z})$. By computing explicit models for these double covers we find all pairs, $(N,r)$, such that there exist infinitely many $j$-invariants of elliptic curves $E/\\mathbb{Q}$ which are $N$-congruent with power $r$ to a quadratic twist of $E$. We also find an example of a $48$-congruence over $\\mathbb{Q}$. We make a conjecture classifying nontrivial $(N,r)$-congruences between quadratic twists of elliptic curves over $\\mathbb{Q}$. We give a more detailed analysis of the level 15 case and use elliptic Chabauty to determine the rational points on a modular curve of genus 2 and Jacobian of rank $2$ which arises as a double cover of the modular curve $X(\\mathrm{ns}\\, 3^+, \\mathrm{ns}\\, 5^+)$. As a consequence we obtain a new proof of the class number 1 problem. We construct infinite families of pairs of (geometrically non-isogenous) $12$ and $14$-congruent elliptic curves defined over $\\mathbb{Q}$. We also find two pairs of $15$-congruent elliptic curves over $\\mathbb{Q}$. Our approach is to compute explicit birational models for the moduli surfaces $Z_{N,r}$ for each $N = 12$, $14$ and $15$. A key ingredient in the proof is to construct simple (algebraic) conditions for the $2$, $3$, or $4$-torsion subgroups of a pair of elliptic curves to be isomorphic as Galois modules. These conditions are given in terms of the $j$-invariants of the pair of elliptic curves. Finally, we study an application of congruences to visualising elements of the Tate--Shafarevich group of an abelian variety. In particular, we construct a number of genus 2 Jacobians $J/\\mathbb{Q}$ with real multiplication by $\\mathbb{Z}[\\sqrt{2}]$ and whose Tate--Shafarevich groups contain an element of order $7$. Our approach is to find elliptic curves whose $7$-torsion subgroups are isomorphic as Galois modules to the $(3 \\pm \\sqrt{2})$-torsion subgroups of $J/\\mathbb{Q}$."],"dc:format.checksum.md5":["87eda9de84448d1f82354d60eee3eb5f","12ce9ad370bab6076d9fcc75ab0c2642"],"dc:identifier.doi":["https://doi.org/10.17863/CAM.109127"],"dc:identifier.uri":["https://apollo8-f-pro.lib.cam.ac.uk/bitstreams/685d73ae-c387-49c5-aef7-4817ed03c91a/download"],"dc:language":["eng"],"dc:publisher.institution":["University of Cambridge"],"dc:relation.isreferencedby.uri":["https://www.repository.cam.ac.uk/handle/1810/369243"],"dc:rights":["https://apollo8-f-pro.lib.cam.ac.uk/bitstreams/825a6bd0-d11b-4e1b-8110-ea21b4b96977/download","https://www.rioxx.net/licenses/all-rights-reserved/"],"dc:subject":["Arithmetic Geometry","Elliptic curves","Galois representations","Hilbert modular surfaces","Modular curves","Number Theory"],"dc:title":["Explicit moduli spaces for curves of genus 1 and 2"],"dc:type":["Thesis"],"dc:type.qualificationlevel":["Doctoral"],"dc:type.qualificationname":["Doctor of Philosophy (PhD)"]},"updated_at":"2026-07-22T22:24:23Z"}