Arithmetic geometry concerns the number-theoretic properties of geometric objects defined by polynomials. Mathematicians are interested in the rational solutions to these geometric objects. However... Show moreArithmetic geometry concerns the number-theoretic properties of geometric objects defined by polynomials. Mathematicians are interested in the rational solutions to these geometric objects. However, it is usually very difficult to answer questions like this.A. Beilinson and S. Bloch conjectured a very general height theory in 1980s, which was used by B. Gross and R. Schoen in their study of the Gross-Schoen cycles. The height of canonical Gross-Schoen cycles is conjectured to be non-negative. This was verified when the curve is an elliptic or hyperelliptic curve, while very few are known in the non-hyperelliptic case.During my PhD study, I study the Beilinson-Bloch height of canonical Gross-Schoen cycles on curves with an emphasis on the genus 3 case (almost all genus 3 curves are non-hyperelliptic). I studied its unboundedness and singular properties, and did explicit computation for the height of the canonical Gross-Schoen cycle of a specific plane quartic curve.The method used in my thesis should be helpful for verifications. Show less
In this thesis we study the moduli space of genus g curves, and the differential forms that occur naturally on this moduli space. We show that the rings of these tautological differential forms are... Show moreIn this thesis we study the moduli space of genus g curves, and the differential forms that occur naturally on this moduli space. We show that the rings of these tautological differential forms are finite-dimensional, and discuss algorithms that can be used to compute relations among tautological differential forms. Show less