SMF

Estimation du nombre de Picard des surfaces par la cohomologie $p$-adique

Bounding Picard numbers of surfaces using $p$-adic cohomology

Timothy G. Abbott, Kiran S. Kedlaya, David Roe
     
                
  • Année : 2011
  • Tome : 21
  • Format : Papier
  • Langue de l'ouvrage :
    Anglais
  • Class. Math. : Primary 14C22, 14F30; secondary 14F40, 14G10, 14G15, 14G50, 14J20.
  • Pages : 125-159
Nous décrivons un algorithme qui permet de calculer une borne supérieure sur le nombre de Picard (arithmétique ou géométrique) d'une surface lisse projective sur un corps fini, en utilisant un calcul de l'action de Frobenius sur la cohomologie $p$-adique en petite précision ; cette question est suggérée par une application à la théorie des codes algébro-géométriques de type LDPC (« low density parity check »), décrits par Voloch et Zarzar. Grâce à une implémentation de cet algorithme en Magma, nous présentons divers exemples : des surfaces quartiques sur $\mathbb {F}_2$ et $\mathbb {F}_3$ dont le nombre de Picard arithmétique est égal à $1$, et une surface quintique sur $\mathbb {F}_2$ dont le nombre de Picard géométrique est égal à $1$. De plus, nous présentons des exemples d'une construction de van Luijk, de certaines surfaces K3 sur un corps fini avec groupe d'automorphismes géométriques trivial ; ceci nécessite de vérifier que le nombre de Picard géométrique de ces surfaces est égal à $2$.
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 $\mathbb {F}_2$ and $\mathbb {F}_3$ with arithmetic Picard number $1$, and a smooth quintic over $\mathbb {F}_2$ with geometric Picard number $1$. We also produce some examples of a construction of van Luijk of K3 surfaces over finite fields with trivial geometric automorphism group ; this requires verifying that these surfaces have geometric Picard number $2$.
Nombre de Picard, surfaces sur les corps finis, cohomologie $p$-adique, cohomologie de de Rham, théorie des codes.
Picard number, surfaces over finite fields, $p$-adic cohomology, de Rham cohomology, coding theory.