pith. sign in

arxiv: math/0601508 · v2 · submitted 2006-01-20 · 🧮 math.NT · math.AG

Bounding Picard numbers of surfaces using p-adic cohomology

classification 🧮 math.NT math.AG
keywords picardgeometricnumbersmoothp-adicarithmeticcohomologyexamples
0
0 comments X
read the original abstract

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 upper bound on the arithmetic or geometric Picard number of a smooth projective surface over a finite field, by computing the Frobenius action on p-adic cohomology to a small degree of p-adic accuracy. We have implemented this procedure in Magma; using this implementation, we exhibit several examples, such as smooth quartics over F_2 and F_3 with arithmetic Picard number 1, and a smooth quintic over F_2 with geometric Picard number 1. We also produce some examples of smooth quartics with geometric Picard number 2, which by a construction of van Luijk also have trivial geometric automorphism group.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.