{"id":"arxiv/2609.30236","url":"https://arxiv.org/abs/2609.30236","tags":["math.AG","math.NT"],"score":0,"title":"Frobenius lifts and point counting for smooth curves","domain":"math.AG","source":"arxiv","authors":["Amnon Besser","Rob de Jeu","Pengju Guan","Muxi Li"],"reviews":0,"subject":"math.AG","summary":"We describe an algorithm for computing the zeta function of a proper, smooth curve over a finite field $k$ of characteristic $p$, when the curve is given together with some auxiliary data, including a lift $C$ to the valuation ring in a finite extension of $\\Q_p$. The algorithm is denominator-free if the ramification is at most $p$. Our method computes the matrix of the action of a semilinear Frobenius on the first de Rham cohomology group of the curve by means of Poincaré duality, using cup products that can be computed from local expansions of a globally defined lift of Frobenius. Its…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-24","reactions":{}}