p-adic Integration on Hyperelliptic Curves of Bad Reduction: Algorithms and Applications

Enis Kaya

Research output: ThesisThesis fully internal (DIV)

372 Downloads (Pure)

Abstract

For curves over the field of p-adic numbers, there are two notions of p-adic integration: Berkovich-Coleman integrals which can be performed locally, and Vologodsky integrals with desirable number-theoretic properties. These integrals have the advantage of being insensitive to the reduction type at p, but are known to coincide with Coleman integrals in the case of good reduction. Moreover, there are practical algorithms available to compute Coleman integrals.

Berkovich-Coleman and Vologodsky integrals, however, differ in general. In this thesis, we give a formula for passing between them. To do so, we use combinatorial ideas informed by tropical geometry. We also introduce algorithms for computing Berkovich-Coleman and Vologodsky integrals on hyperelliptic curves of bad reduction. By covering such a curve by basic wide open spaces, we reduce the computation of Berkovich-Coleman integrals to the known algorithms on hyperelliptic curves of good reduction. We then convert the Berkovich-Coleman integrals into Vologodsky integrals using our formula.

As an application, we provide an algorithm for computing Coleman-Gross p-adic heights on Jacobians of bad reduction hyperelliptic curves, whose definition relies on Vologodsky integration. This algorithm, for instance, can be used in the quadratic Chabauty method to find rational points on hyperelliptic curves of genus at least two.
Original languageEnglish
QualificationDoctor of Philosophy
Awarding Institution
  • University of Groningen
Supervisors/Advisors
  • Top, Jaap, Supervisor
  • Müller, Steffen, Co-supervisor
Award date1-Oct-2021
Place of Publication[Groningen]
Publisher
DOIs
Publication statusPublished - 2021

Fingerprint

Dive into the research topics of 'p-adic Integration on Hyperelliptic Curves of Bad Reduction: Algorithms and Applications'. Together they form a unique fingerprint.

Cite this