In this paper, we introduce an algorithm for computing $p$-adic integrals on bad reduction hyperelliptic curves. For bad reduction curves, there are two notions of $p$-adic integration: Berkovich–Coleman integrals, which can be performed locally, and abelian integrals with desirable number-theoretic properties. By covering a bad reduction hyperelliptic curve with basic wide-open sets, we reduce the computation of Berkovich–Coleman integrals to the known algorithms on good reduction hyperelliptic curves. These are due to Balakrishnan, Bradshaw, and Kedlaya and to Balakrishnan and Besser for regular and meromorphic $1$-forms, respectively. We then employ tropical geometric techniques due to the 1st-named author with Rabinoff and Zureick-Brown to convert the Berkovich–Coleman integrals into abelian integrals. We provide examples of our algorithm, verifying that certain abelian integrals between torsion points vanish.
Vologodsky's theory of p-adic integration plays a central role in computing several interesting invariants in arithmetic geometry. In contrast with the theory developed by Coleman, it has the advantage of being insensitive to the reduction type at p. Building on recent work of Besser and Zerbes, we describe an algorithm for computing Vologodsky integrals on bad reduction hyperelliptic curves. This extends previous joint work with Katz to all meromorphic differential forms. We illustrate our algorithm with numerical examples computed in Sage.
In this paper, we introduce an algorithm for computing p-adic integrals on bad reduction hyperelliptic curves. For bad reduction curves, there are two notions of p-adic integration: Berkovich-Coleman integrals which can be performed locally; and abelian integrals with desirable number-theoretic properties. By covering a bad reduction hyperelliptic curve by annuli and basic wide open sets, we reduce the computation of Berkovich-Coleman integrals to the known algorithms on good reduction hyperelliptic curves. These are due to Balakrishnan, Bradshaw, and Kedlaya, and to Balakrishnan and Besser for regular and meromorphic 1-forms on good reduction curves, respectively. We then employ tropical geometric techniques due to the first-named author with Rabinoff and Zureick-Brown to convert the Berkovich-Coleman integrals into abelian integrals.We provide examples of our algorithm, verifying that certain abelian integrals between torsion points vanish.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.