{"id":{"repo_id":"mit","oai_identifier":"oai:dspace.mit.edu:1721.1/126924"},"canonical_url":"https://search.dev.ndltd.org/etd/mit/oai:dspace.mit.edu:1721.1/126924","repository":{"repo_id":"mit","name":"MIT","base_url":"https://dspace.mit.edu/oai/request"},"display":{"title":"Computability of rational points on curves over function fields in characteristic p","abstract":"The motivating problem of this thesis is that of explicitly computing the K-rational points of a regular nonsmooth curve X over a αnitely generated αeld K of characteristic p. We start with an in-depth study of such curves in general and the tools exclusive to characteristic p geometry needed to compute their K-points. We describe a combined going-down and going-up approach to compute X(K) that generalizes and makes effective the proof of finiteness of X(K) given by Voloch ([39]). We break the problem up into three separate cases according to the absolute genus of X. In the absolute genus 0 case, we give an algorithm to compute X(K) that is an effective version of a method given by Jeong ([16]). We also implement a special case of this algorithm in Sage and apply it to example curves. In the absolute genus 1 case, we give an algorithm to compute X(K) that works when we make extra assumptions about X, and we make some remarks in the case where those assumptions are removed. In the absolute genus at least 2 case, we give an unconditional algorithm to compute X(K). Some tools and algorithms we provide along the way do not directly involve regular nonsmooth curves and are interesting in their own right. We describe ways to effectively descend curves with respect to transcendental or purely inseparable field extensions. We explore the methods of p-descent on elliptic curves in characteristic p and provide explicit equations defining Z/pZ- and [ mu]p-torsors over them. We prove an effective de Franchis-Severi theorem for characteristic p that generalizes the one given by Baker, et al. over number fields ([3]). Lastly, we use a height bound proved by Szpiro ([34]) to give an algorithm to compute Y (K) for any smooth nonisotrivial curve Y over K followed by an algorithm to compute Y (K¹/p[infinity]), which was proved to be finite by Kim ([17]).","abstract_html":"The motivating problem of this thesis is that of explicitly computing the K-rational points of a regular nonsmooth curve X over a αnitely generated αeld K of characteristic p. We start with an in-depth study of such curves in general and the tools exclusive to characteristic p geometry needed to compute their K-points. We describe a combined going-down and going-up approach to compute X(K) that generalizes and makes effective the proof of finiteness of X(K) given by Voloch ([39]). We break the problem up into three separate cases according to the absolute genus of X. In the absolute genus 0 case, we give an algorithm to compute X(K) that is an effective version of a method given by Jeong ([16]). We also implement a special case of this algorithm in Sage and apply it to example curves. In the absolute genus 1 case, we give an algorithm to compute X(K) that works when we make extra assumptions about X, and we make some remarks in the case where those assumptions are removed. In the absolute genus at least 2 case, we give an unconditional algorithm to compute X(K). Some tools and algorithms we provide along the way do not directly involve regular nonsmooth curves and are interesting in their own right. We describe ways to effectively descend curves with respect to transcendental or purely inseparable field extensions. We explore the methods of p-descent on elliptic curves in characteristic p and provide explicit equations defining Z/pZ- and [ mu]p-torsors over them. We prove an effective de Franchis-Severi theorem for characteristic p that generalizes the one given by Baker, et al. over number fields ([3]). Lastly, we use a height bound proved by Szpiro ([34]) to give an algorithm to compute Y (K) for any smooth nonisotrivial curve Y over K followed by an algorithm to compute Y (K¹/p[infinity]), which was proved to be finite by Kim ([17]).","abstract_has_math":false,"creators":["Hewett, Campbell L.(Campbell Lucas)"],"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 Poonen."],"committee_chairs":[],"committee_members":[],"year":2020,"date_issued":"2020","date_published":"2020","updated_at":"2026-07-22T22:21:18Z","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/126924","outbound_label":"Handle","outbound_source":"dc:identifier.uri"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor.advisor","label":"Advisor","values":["Bjorn 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":["Hewett, Campbell L.(Campbell Lucas)"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date.accessioned","label":"Dc Date Accessioned","values":["2020-09-03T16:40:53Z"]},{"key":"dc:date.available","label":"Dc Date Available","values":["2020-09-03T16:40:53Z"]},{"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/126924"]}]},{"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 103-105)."]},{"key":"dc:description.abstract","label":"Abstract","values":["The motivating problem of this thesis is that of explicitly computing the K-rational points of a regular nonsmooth curve X over a αnitely generated αeld K of characteristic p. We start with an in-depth study of such curves in general and the tools exclusive to characteristic p geometry needed to compute their K-points. We describe a combined going-down and going-up approach to compute X(K) that generalizes and makes effective the proof of finiteness of X(K) given by Voloch ([39]). We break the problem up into three separate cases according to the absolute genus of X. In the absolute genus 0 case, we give an algorithm to compute X(K) that is an effective version of a method given by Jeong ([16]). We also implement a special case of this algorithm in Sage and apply it to example curves. In the absolute genus 1 case, we give an algorithm to compute X(K) that works when we make extra assumptions about X, and we make some remarks in the case where those assumptions are removed. In the absolute genus at least 2 case, we give an unconditional algorithm to compute X(K). Some tools and algorithms we provide along the way do not directly involve regular nonsmooth curves and are interesting in their own right. We describe ways to effectively descend curves with respect to transcendental or purely inseparable field extensions. We explore the methods of p-descent on elliptic curves in characteristic p and provide explicit equations defining Z/pZ- and [ mu]p-torsors over them. We prove an effective de Franchis-Severi theorem for characteristic p that generalizes the one given by Baker, et al. over number fields ([3]). Lastly, we use a height bound proved by Szpiro ([34]) to give an algorithm to compute Y (K) for any smooth nonisotrivial curve Y over K followed by an algorithm to compute Y (K¹/p[infinity]), which was proved to be finite by Kim ([17])."]},{"key":"dc:description.degree","label":"Dc Description Degree","values":["Ph. D."]},{"key":"dc:title","label":"Title","values":["Computability of rational points on curves over function fields in characteristic p"]}]}],"canonical_facts":{"dc:contributor.advisor":["Bjorn Poonen."],"dc:contributor.department":["Massachusetts Institute of Technology. Department of Mathematics","Math"],"dc:contributor.other":["Massachusetts Institute of Technology. Department of Mathematics."],"dc:creator":["Hewett, Campbell L.(Campbell Lucas)"],"dc:date.accessioned":["2020-09-03T16:40:53Z"],"dc:date.available":["2020-09-03T16:40:53Z"],"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 103-105)."],"dc:description.abstract":["The motivating problem of this thesis is that of explicitly computing the K-rational points of a regular nonsmooth curve X over a αnitely generated αeld K of characteristic p. We start with an in-depth study of such curves in general and the tools exclusive to characteristic p geometry needed to compute their K-points. We describe a combined going-down and going-up approach to compute X(K) that generalizes and makes effective the proof of finiteness of X(K) given by Voloch ([39]). We break the problem up into three separate cases according to the absolute genus of X. In the absolute genus 0 case, we give an algorithm to compute X(K) that is an effective version of a method given by Jeong ([16]). We also implement a special case of this algorithm in Sage and apply it to example curves. In the absolute genus 1 case, we give an algorithm to compute X(K) that works when we make extra assumptions about X, and we make some remarks in the case where those assumptions are removed. In the absolute genus at least 2 case, we give an unconditional algorithm to compute X(K). Some tools and algorithms we provide along the way do not directly involve regular nonsmooth curves and are interesting in their own right. We describe ways to effectively descend curves with respect to transcendental or purely inseparable field extensions. We explore the methods of p-descent on elliptic curves in characteristic p and provide explicit equations defining Z/pZ- and [ mu]p-torsors over them. We prove an effective de Franchis-Severi theorem for characteristic p that generalizes the one given by Baker, et al. over number fields ([3]). Lastly, we use a height bound proved by Szpiro ([34]) to give an algorithm to compute Y (K) for any smooth nonisotrivial curve Y over K followed by an algorithm to compute Y (K¹/p[infinity]), which was proved to be finite by Kim ([17])."],"dc:description.degree":["Ph. D."],"dc:identifier.uri":["https://hdl.handle.net/1721.1/126924"],"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":["Computability of rational points on curves over function fields in characteristic p"],"dc:type":["Thesis"],"thesis:degree_name":["Doctoral"]},"updated_at":"2026-07-22T22:21:18Z"}