Repository logo

$\textit{K}$-Theory of Fermat Curves



Change log


Cain, Christopher 


I investigate the K2 groups of the quotients of Fermat curves given in projective coordinates by the equation Fn:Xn+Yn=Zn. 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 K2 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 {f, g} where f and g have divisors whose points P all satisfy 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 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 K2 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 K2. These elements are rigorously proven to be tame and allow for the full verification of Beilinson’s Conjecture on the Fermat curves F7 and F9. Also the method allows us to verify Beilinson’s Conjecture on certain hyperelliptic quotients of F8 and F10. Quotients where a similar method might be successful are also suggested.




Scholl, Anthony



Doctor of Philosophy (PhD)

Awarding Institution

University of Cambridge
Is supplemented by: