Bounding Picard numbers of surfaces using p-adic cohomology

Timothy G. Abbott, Kiran S. Kedlaya, David Roe

Motivated by an application to LDPC (low density parity check) algebraic geometry codes described by Voloch and Zarzar, we describe a computational procedure for establishing an up…