{"id":{"repo_id":"mit","oai_identifier":"oai:dspace.mit.edu:1721.1/127911"},"canonical_url":"https://search.dev.ndltd.org/etd/mit/oai:dspace.mit.edu:1721.1/127911","repository":{"repo_id":"mit","name":"MIT","base_url":"https://dspace.mit.edu/oai/request"},"display":{"title":"Explicit division and torsion points on superelliptic Curves and jacobians","abstract":"In this thesis, I study two problems in the arithmetic of superelliptic curves. By a superelliptic curve, I mean the smooth projective model of the affine plane curve y[superscript n] = f(x) where f(x) is separable, n is coprime to deg(f), and the characteristic of the ground field does not divide n. When n = 2, this is commonly referred to as a hyperelliptic curve. I first generalize Zarhin's formula for division by 2 [68] on hyperelliptic curves to the superelliptic case. Rather than divide by n, I invert the 1[zeta] endomorphism on the jacobian. My formula reduces to Zarhin's when n = 2. Next, I study torsion points on superelliptic curves. Work of Coleman [15] and Grant-Shaulis [29] together classifies all torsion points on the hyperelliptic curve y² = x[superscript d] + 1, where d >/= 5 is prime. I extend their results to the superelliptic curve y[superscript n] = x[superscript d] + 1, where n, d >/= 2 are coprime. Using a specialization argument, I also classify torsion points on a generic superelliptic curve, extending Theorem 7.1 of Poonen-Stoll [57] to the hyperelliptic case. In order to classify torsion points, I prove a result about Galois action on the p-torsion of the jacobian of y[superscript p] = x[superscript q]+1, where p and q are distinct primes. This problem is equivalent to a new p-adic congruence for Jacobi sums, which I state and prove. This congruence is related to (but does not follow from) a congruence of Uehara [63].","abstract_html":"In this thesis, I study two problems in the arithmetic of superelliptic curves. By a superelliptic curve, I mean the smooth projective model of the affine plane curve y[superscript n] = f(x) where f(x) is separable, n is coprime to deg(f), and the characteristic of the ground field does not divide n. When n = 2, this is commonly referred to as a hyperelliptic curve. I first generalize Zarhin's formula for division by 2 [68] on hyperelliptic curves to the superelliptic case. Rather than divide by n, I invert the 1[zeta] endomorphism on the jacobian. My formula reduces to Zarhin's when n = 2. Next, I study torsion points on superelliptic curves. Work of Coleman [15] and Grant-Shaulis [29] together classifies all torsion points on the hyperelliptic curve y² = x[superscript d] + 1, where d >/= 5 is prime. I extend their results to the superelliptic curve y[superscript n] = x[superscript d] + 1, where n, d >/= 2 are coprime. Using a specialization argument, I also classify torsion points on a generic superelliptic curve, extending Theorem 7.1 of Poonen-Stoll [57] to the hyperelliptic case. In order to classify torsion points, I prove a result about Galois action on the p-torsion of the jacobian of y[superscript p] = x[superscript q]+1, where p and q are distinct primes. This problem is equivalent to a new p-adic congruence for Jacobi sums, which I state and prove. This congruence is related to (but does not follow from) a congruence of Uehara [63].","abstract_has_math":false,"creators":["Arul, Vishal."],"institution":"Massachusetts Institute of Technology","degree_name":"Doctoral","degree_level":null,"degree_discipline":null,"degree_department":"Massachusetts Institute of Technology. Department of Mathematics","school":null,"contributors":[],"advisors":["Bjorn Mikhail Poonen."],"committee_chairs":[],"committee_members":[],"year":2020,"date_issued":"2020","date_published":"2020","updated_at":"2026-07-22T22:22:00Z","subjects":["Mathematics."],"languages":["eng"],"rights":["MIT theses may be protected by copyright. Please reuse MIT thesis content according to the MIT Libraries Permissions Policy, which is available through the URL provided."],"rights_urls":["http://dspace.mit.edu/handle/1721.1/7582"],"identifier_entries":[]},"links":{"outbound_url":"https://hdl.handle.net/1721.1/127911","outbound_label":"Handle","outbound_source":"dc:identifier.uri"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor.advisor","label":"Advisor","values":["Bjorn Mikhail Poonen."]},{"key":"dc:contributor.department","label":"Department","values":["Massachusetts Institute of Technology. Department of Mathematics","Math"]},{"key":"dc:contributor.other","label":"Dc Contributor Other","values":["Massachusetts Institute of Technology. Department of Mathematics."]},{"key":"dc:creator","label":"Author","values":["Arul, Vishal."]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date.accessioned","label":"Dc Date Accessioned","values":["2020-10-08T21:30:01Z"]},{"key":"dc:date.available","label":"Dc Date Available","values":["2020-10-08T21:30:01Z"]},{"key":"dc:date.issued","label":"Date","values":["2020"]},{"key":"dc:publisher","label":"Institution","values":["Massachusetts Institute of Technology"]},{"key":"dc:type","label":"Dc Type","values":["Thesis"]},{"key":"thesis:degree_name","label":"Degree Name","values":["Doctoral"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["Mathematics."]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language.iso","label":"Language (ISO)","values":["eng"]},{"key":"dc:rights","label":"Dc Rights","values":["MIT theses may be protected by copyright. Please reuse MIT thesis content according to the MIT Libraries Permissions Policy, which is available through the URL provided."]},{"key":"dc:rights.uri","label":"Rights URI","values":["http://dspace.mit.edu/handle/1721.1/7582"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier.uri","label":"Identifier URI","values":["https://hdl.handle.net/1721.1/127911"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description","label":"Description","values":["Thesis: Ph. D., Massachusetts Institute of Technology, Department of Mathematics, May, 2020","Cataloged from the official PDF of thesis.","Includes bibliographical references (pages 113-116)."]},{"key":"dc:description.abstract","label":"Abstract","values":["In this thesis, I study two problems in the arithmetic of superelliptic curves. By a superelliptic curve, I mean the smooth projective model of the affine plane curve y[superscript n] = f(x) where f(x) is separable, n is coprime to deg(f), and the characteristic of the ground field does not divide n. When n = 2, this is commonly referred to as a hyperelliptic curve. I first generalize Zarhin's formula for division by 2 [68] on hyperelliptic curves to the superelliptic case. Rather than divide by n, I invert the 1[zeta] endomorphism on the jacobian. My formula reduces to Zarhin's when n = 2. Next, I study torsion points on superelliptic curves. Work of Coleman [15] and Grant-Shaulis [29] together classifies all torsion points on the hyperelliptic curve y² = x[superscript d] + 1, where d >/= 5 is prime. I extend their results to the superelliptic curve y[superscript n] = x[superscript d] + 1, where n, d >/= 2 are coprime. Using a specialization argument, I also classify torsion points on a generic superelliptic curve, extending Theorem 7.1 of Poonen-Stoll [57] to the hyperelliptic case. In order to classify torsion points, I prove a result about Galois action on the p-torsion of the jacobian of y[superscript p] = x[superscript q]+1, where p and q are distinct primes. This problem is equivalent to a new p-adic congruence for Jacobi sums, which I state and prove. This congruence is related to (but does not follow from) a congruence of Uehara [63]."]},{"key":"dc:description.degree","label":"Dc Description Degree","values":["Ph. D."]},{"key":"dc:title","label":"Title","values":["Explicit division and torsion points on superelliptic Curves and jacobians"]}]}],"canonical_facts":{"dc:contributor.advisor":["Bjorn Mikhail Poonen."],"dc:contributor.department":["Massachusetts Institute of Technology. Department of Mathematics","Math"],"dc:contributor.other":["Massachusetts Institute of Technology. Department of Mathematics."],"dc:creator":["Arul, Vishal."],"dc:date.accessioned":["2020-10-08T21:30:01Z"],"dc:date.available":["2020-10-08T21:30:01Z"],"dc:date.issued":["2020"],"dc:description":["Thesis: Ph. D., Massachusetts Institute of Technology, Department of Mathematics, May, 2020","Cataloged from the official PDF of thesis.","Includes bibliographical references (pages 113-116)."],"dc:description.abstract":["In this thesis, I study two problems in the arithmetic of superelliptic curves. By a superelliptic curve, I mean the smooth projective model of the affine plane curve y[superscript n] = f(x) where f(x) is separable, n is coprime to deg(f), and the characteristic of the ground field does not divide n. When n = 2, this is commonly referred to as a hyperelliptic curve. I first generalize Zarhin's formula for division by 2 [68] on hyperelliptic curves to the superelliptic case. Rather than divide by n, I invert the 1[zeta] endomorphism on the jacobian. My formula reduces to Zarhin's when n = 2. Next, I study torsion points on superelliptic curves. Work of Coleman [15] and Grant-Shaulis [29] together classifies all torsion points on the hyperelliptic curve y² = x[superscript d] + 1, where d >/= 5 is prime. I extend their results to the superelliptic curve y[superscript n] = x[superscript d] + 1, where n, d >/= 2 are coprime. Using a specialization argument, I also classify torsion points on a generic superelliptic curve, extending Theorem 7.1 of Poonen-Stoll [57] to the hyperelliptic case. In order to classify torsion points, I prove a result about Galois action on the p-torsion of the jacobian of y[superscript p] = x[superscript q]+1, where p and q are distinct primes. This problem is equivalent to a new p-adic congruence for Jacobi sums, which I state and prove. This congruence is related to (but does not follow from) a congruence of Uehara [63]."],"dc:description.degree":["Ph. D."],"dc:identifier.uri":["https://hdl.handle.net/1721.1/127911"],"dc:language.iso":["eng"],"dc:publisher":["Massachusetts Institute of Technology"],"dc:rights":["MIT theses may be protected by copyright. Please reuse MIT thesis content according to the MIT Libraries Permissions Policy, which is available through the URL provided."],"dc:rights.uri":["http://dspace.mit.edu/handle/1721.1/7582"],"dc:subject":["Mathematics."],"dc:title":["Explicit division and torsion points on superelliptic Curves and jacobians"],"dc:type":["Thesis"],"thesis:degree_name":["Doctoral"]},"updated_at":"2026-07-22T22:22:00Z"}