Iterated Coleman integration for hyperelliptic curves

Abstract

The Coleman integral is a p-adic line integral. Double Coleman integrals on elliptic curves appear in Kim's nonabelian Chabauty method, the first numerical examples of which were given by the author, Kedlaya, and Kim. This paper describes the algorithms used to produce those examples, as well as techniques to compute higher iterated integrals on hyperelliptic curves, building on previous joint work with Bradshaw and Kedlaya.