<p>In this paper, we develop an algorithm for computing Coleman–Gross (and hence Nekovář) <i>p</i>-adic heights on hyperelliptic curves over number fields with arbitrary reduction type above <i>p</i>. This height is defined as a sum of local heights at each finite place and we use algorithms for Vologodsky integrals, developed by Katz and the second-named author, to compute the local heights above <i>p</i>. We also discuss an alternative method to compute these for odd degree genus&#xa0;2 curves via <i>p</i>-adic sigma functions, via work of the first-named author. For both approaches one needs to choose a splitting of the Hodge filtration. A canonical choice for this is due to Blakestad in the case of an odd degree curve of genus&#xa0;2 that has semistable ordinary reduction at <i>p</i>. We provide an algorithm to compute Blakestad’s splitting, which is conjecturally the unit root splitting for the action of Frobenius. We give several numerical examples, including the first worked quadratic Chabauty example in the literature for a curve with bad reduction.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Algorithms for p-adic heights on hyperelliptic curves of arbitrary reduction

  • Francesca Bianchi,
  • Enis Kaya,
  • J. Steffen Müller

摘要

In this paper, we develop an algorithm for computing Coleman–Gross (and hence Nekovář) p-adic heights on hyperelliptic curves over number fields with arbitrary reduction type above p. This height is defined as a sum of local heights at each finite place and we use algorithms for Vologodsky integrals, developed by Katz and the second-named author, to compute the local heights above p. We also discuss an alternative method to compute these for odd degree genus 2 curves via p-adic sigma functions, via work of the first-named author. For both approaches one needs to choose a splitting of the Hodge filtration. A canonical choice for this is due to Blakestad in the case of an odd degree curve of genus 2 that has semistable ordinary reduction at p. We provide an algorithm to compute Blakestad’s splitting, which is conjecturally the unit root splitting for the action of Frobenius. We give several numerical examples, including the first worked quadratic Chabauty example in the literature for a curve with bad reduction.