{"id":"arxiv/2610.33970","url":"https://arxiv.org/abs/2610.33970","tags":["math.NT"],"score":0,"title":"Explicit Coleman integration over finite extensions of $\\mathbb{Q}_p$","domain":"math.NT","source":"arxiv","authors":["Yulin Cai","Timo Keller"],"reviews":0,"subject":"math.NT","summary":"Coleman integration is an important computational ingredient of the Chabauty--Coleman method and its extensions. We extend the Balakrishnan--Tuitman algorithm to general smooth projective curves with good reduction over arbitrary finite extensions of $\\mathbb{Q}_p$, allowing both ramification and nontrivial residue degree. Given a suitable plane model and integral bases, we provide explicit precision bounds and an accompanying Magma implementation. As an application, a single-prime computation at $p=19$ over the unramified quadratic extension $\\mathbb{Q}_{19^2}/\\mathbb{Q}_{19}$ recovers all…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-25","reactions":{}}