Bounding Picard numbers of surfaces using p-adic cohomology

Thumbnail Image

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

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.
34 pages; v2: refereed version, to appear in proceedings "Arithmetic, Geometry, and Coding Theory (AGCT-10)"

Keywords

Number Theory, Algebraic Geometry, 14C22, 14F30

Citation

URI

http://salesiana.dossiersoluciones.com/handle/123456789/122127

Consulte el texto completo en el siguiente enlace:

https://arxiv.org/abs/math/0601508
 http://arxiv.org/abs/math/0601508

Collections

arXiv