{"id":{"repo_id":"cambridge","oai_identifier":"oai:www.repository.cam.ac.uk:1810/262483"},"canonical_url":"https://search.dev.ndltd.org/etd/cambridge/oai:www.repository.cam.ac.uk:1810/262483","repository":{"repo_id":"cambridge","name":"Cambridge University","base_url":"https://api.repository.cam.ac.uk/server/oai/request"},"display":{"title":"$\\textit{K}$-Theory of Fermat Curves","abstract":"I investigate the $K_2$ groups of the quotients of Fermat curves given in projective coordinates by the equation $F_n:X^n+Y^n=Z^n$. On any quotient where the number of known elements is equal to the rank predicted by Beilinson’s Conjecture I verify numerically that the determinant of the matrix of regulator values agrees with the leading coefficient of the L-function up to a simple rational number. The main source of $K_2$ elements are the so-called “symbols with divisorial support at infinity” that were found by Ross in the 1990’s. These consist of symbols of the form {$\\textit{f, g}$} where $\\textit{f}$ and $\\textit{g}$ have divisors whose points $\\textit{P}$ all satisfy $\\textit{XY Z(P)}$ = 0. The image of this subgroup under the regulator is computed and is found to be of rank predicted by Beilinson’s Conjecture on eleven nonisomorphic quotients of dimension greater than one. The $\\textit{L}$-functions of these quotients are computed using Dokchitser’s ComputeL package and Beilinson’s Conjecture is verified numerically to a precision of 200 decimal digits. In chapter five, with careful analysis of a certain 2 × 2 determinant it is shown that a particular hyperelliptic quotient of all the Fermat curves has $K_2$ group of rank at least two. In the last chapter of the dissertation, a computational method is used in order to discover new elements of $K_2$. These elements are rigorously proven to be tame and allow for the full verification of Beilinson’s Conjecture on the Fermat curves $F_7$ and $F_9$. Also the method allows us to verify Beilinson’s Conjecture on certain hyperelliptic quotients of $F_8$ and $F_{10}$. Quotients where a similar method might be successful are also suggested.","abstract_html":"I investigate the <span class=\"etd-inline-math\">K<sub>2</sub></span> groups of the quotients of Fermat curves given in projective coordinates by the equation <span class=\"etd-inline-math\">F<sub>n</sub>:X<sup>n</sup>+Y<sup>n</sup>=Z<sup>n</sup></span>. On any quotient where the number of known elements is equal to the rank predicted by Beilinson’s Conjecture I verify numerically that the determinant of the matrix of regulator values agrees with the leading coefficient of the L-function up to a simple rational number. The main source of <span class=\"etd-inline-math\">K<sub>2</sub></span> elements are the so-called “symbols with divisorial support at infinity” that were found by Ross in the 1990’s. These consist of symbols of the form {<span class=\"etd-inline-math\"><em>f, g</em></span>} where <span class=\"etd-inline-math\"><em>f</em></span> and <span class=\"etd-inline-math\"><em>g</em></span> have divisors whose points <span class=\"etd-inline-math\"><em>P</em></span> all satisfy <span class=\"etd-inline-math\"><em>XY Z(P)</em></span> = 0. The image of this subgroup under the regulator is computed and is found to be of rank predicted by Beilinson’s Conjecture on eleven nonisomorphic quotients of dimension greater than one. The <span class=\"etd-inline-math\"><em>L</em></span>-functions of these quotients are computed using Dokchitser’s ComputeL package and Beilinson’s Conjecture is verified numerically to a precision of 200 decimal digits. In chapter five, with careful analysis of a certain 2 × 2 determinant it is shown that a particular hyperelliptic quotient of all the Fermat curves has <span class=\"etd-inline-math\">K<sub>2</sub></span> group of rank at least two. In the last chapter of the dissertation, a computational method is used in order to discover new elements of <span class=\"etd-inline-math\">K<sub>2</sub></span>. These elements are rigorously proven to be tame and allow for the full verification of Beilinson’s Conjecture on the Fermat curves <span class=\"etd-inline-math\">F<sub>7</sub></span> and <span class=\"etd-inline-math\">F<sub>9</sub></span>. Also the method allows us to verify Beilinson’s Conjecture on certain hyperelliptic quotients of <span class=\"etd-inline-math\">F<sub>8</sub></span> and <span class=\"etd-inline-math\">F<sub>10</sub></span>. Quotients where a similar method might be successful are also suggested.","abstract_has_math":true,"creators":["Cain, Christopher"],"institution":"University of Cambridge","degree_name":"Doctor of Philosophy (PhD)","degree_level":"Doctoral","degree_discipline":null,"degree_department":null,"school":null,"contributors":[],"advisors":["Scholl, Anthony"],"committee_chairs":[],"committee_members":[],"year":2017,"date_issued":"2017-01-10","date_published":"2017-01-10","updated_at":"2026-07-22T22:24:16Z","subjects":[],"languages":["en"],"rights":[],"rights_urls":["https://apollo8-f-pro.lib.cam.ac.uk/bitstreams/26058c3d-b2a9-4bed-ac39-206de8834802/download","https://www.rioxx.net/licenses/all-rights-reserved/"],"identifier_entries":[]},"links":{"outbound_url":"https://doi.org/10.17863/CAM.7284","outbound_label":"DOI","outbound_source":"dc:identifier.doi"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor.advisor","label":"Advisor","values":["Scholl, Anthony"]},{"key":"dc:creator","label":"Author","values":["Cain, Christopher"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date.issued","label":"Date","values":["2017-01-10"]},{"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/262483"]},{"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":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language","label":"Dc Language","values":["en"]},{"key":"dc:rights","label":"Dc Rights","values":["https://apollo8-f-pro.lib.cam.ac.uk/bitstreams/26058c3d-b2a9-4bed-ac39-206de8834802/download","https://www.rioxx.net/licenses/all-rights-reserved/"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier.doi","label":"DOI","values":["10.17863/CAM.7284"]},{"key":"dc:identifier.uri","label":"Identifier URI","values":["https://apollo8-f-pro.lib.cam.ac.uk/bitstreams/3ace7758-ea44-4e7e-9002-ff997962aee3/download"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description.abstract","label":"Abstract","values":["I investigate the $K_2$ groups of the quotients of Fermat curves given in projective coordinates by the equation $F_n:X^n+Y^n=Z^n$. On any quotient where the number of known elements is equal to the rank predicted by Beilinson’s Conjecture I verify numerically that the determinant of the matrix of regulator values agrees with the leading coefficient of the L-function up to a simple rational number. The main source of $K_2$ elements are the so-called “symbols with divisorial support at infinity” that were found by Ross in the 1990’s. These consist of symbols of the form {$\\textit{f, g}$} where $\\textit{f}$ and $\\textit{g}$ have divisors whose points $\\textit{P}$ all satisfy $\\textit{XY Z(P)}$ = 0. The image of this subgroup under the regulator is computed and is found to be of rank predicted by Beilinson’s Conjecture on eleven nonisomorphic quotients of dimension greater than one. The $\\textit{L}$-functions of these quotients are computed using Dokchitser’s ComputeL package and Beilinson’s Conjecture is verified numerically to a precision of 200 decimal digits. In chapter five, with careful analysis of a certain 2 × 2 determinant it is shown that a particular hyperelliptic quotient of all the Fermat curves has $K_2$ group of rank at least two. In the last chapter of the dissertation, a computational method is used in order to discover new elements of $K_2$. These elements are rigorously proven to be tame and allow for the full verification of Beilinson’s Conjecture on the Fermat curves $F_7$ and $F_9$. Also the method allows us to verify Beilinson’s Conjecture on certain hyperelliptic quotients of $F_8$ and $F_{10}$. Quotients where a similar method might be successful are also suggested."]},{"key":"dc:format.checksum.md5","label":"Dc Format Checksum Md5","values":["50527ba17ba3af27cc4096434624e690","87eda9de84448d1f82354d60eee3eb5f"]},{"key":"dc:title","label":"Title","values":["$\\textit{K}$-Theory of Fermat Curves"]}]}],"canonical_facts":{"dc:contributor.advisor":["Scholl, Anthony"],"dc:creator":["Cain, Christopher"],"dc:date.issued":["2017-01-10"],"dc:description.abstract":["I investigate the $K_2$ groups of the quotients of Fermat curves given in projective coordinates by the equation $F_n:X^n+Y^n=Z^n$. On any quotient where the number of known elements is equal to the rank predicted by Beilinson’s Conjecture I verify numerically that the determinant of the matrix of regulator values agrees with the leading coefficient of the L-function up to a simple rational number. The main source of $K_2$ elements are the so-called “symbols with divisorial support at infinity” that were found by Ross in the 1990’s. These consist of symbols of the form {$\\textit{f, g}$} where $\\textit{f}$ and $\\textit{g}$ have divisors whose points $\\textit{P}$ all satisfy $\\textit{XY Z(P)}$ = 0. The image of this subgroup under the regulator is computed and is found to be of rank predicted by Beilinson’s Conjecture on eleven nonisomorphic quotients of dimension greater than one. The $\\textit{L}$-functions of these quotients are computed using Dokchitser’s ComputeL package and Beilinson’s Conjecture is verified numerically to a precision of 200 decimal digits. In chapter five, with careful analysis of a certain 2 × 2 determinant it is shown that a particular hyperelliptic quotient of all the Fermat curves has $K_2$ group of rank at least two. In the last chapter of the dissertation, a computational method is used in order to discover new elements of $K_2$. These elements are rigorously proven to be tame and allow for the full verification of Beilinson’s Conjecture on the Fermat curves $F_7$ and $F_9$. Also the method allows us to verify Beilinson’s Conjecture on certain hyperelliptic quotients of $F_8$ and $F_{10}$. Quotients where a similar method might be successful are also suggested."],"dc:format.checksum.md5":["50527ba17ba3af27cc4096434624e690","87eda9de84448d1f82354d60eee3eb5f"],"dc:identifier.doi":["10.17863/CAM.7284"],"dc:identifier.uri":["https://apollo8-f-pro.lib.cam.ac.uk/bitstreams/3ace7758-ea44-4e7e-9002-ff997962aee3/download"],"dc:language":["en"],"dc:publisher.institution":["University of Cambridge"],"dc:relation.isreferencedby.uri":["https://www.repository.cam.ac.uk/handle/1810/262483"],"dc:rights":["https://apollo8-f-pro.lib.cam.ac.uk/bitstreams/26058c3d-b2a9-4bed-ac39-206de8834802/download","https://www.rioxx.net/licenses/all-rights-reserved/"],"dc:title":["$\\textit{K}$-Theory of Fermat Curves"],"dc:type":["Thesis"],"dc:type.qualificationlevel":["Doctoral"],"dc:type.qualificationname":["Doctor of Philosophy (PhD)"]},"updated_at":"2026-07-22T22:24:16Z"}