{"id":"arxiv/2601.14006","url":"https://arxiv.org/abs/2601.14006","tags":["math.NT","math.AG"],"score":0,"title":"Computing Crystalline Cohomology and p-Divisible Groups for Curves over Finite Fields","domain":"math.NT","source":"arxiv","authors":["Jeremy Booher"],"reviews":0,"subject":"math.NT","summary":"Let $X$ be a smooth projective curve over a finite field of characteristic $p$. We describe and implement a practical algorithm for computing the $p$-divisible group $Jac(X)[p^\\infty]$ via computing its Dieudonné module, or equivalently computing the Frobenius and Verschiebung operators on the first crystalline cohomology of $X$. We build on Tuitman's $p$-adic point counting algorithm, which computes the rigid cohomology of $X$ and requires a ``nice'' lift of $X$ to be provided.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-01-20","reactions":{}}