Hostname: page-component-8448b6f56d-c47g7 Total loading time: 0 Render date: 2024-04-24T13:21:37.410Z Has data issue: false hasContentIssue false
  • English
  • Français

Point counting on K3 surfaces and an application concerning real and complex multiplication

Part of: Surfaces and higher-dimensional varieties Arithmetic algebraic geometry Computational number theory Zeta and $L$-functions: analytic theory

Published online by Cambridge University Press:  26 August 2016

Andreas-Stephan Elsenhans  and
Jörg Jahnel
Andreas-Stephan Elsenhans
Affiliation:
Mathematisches Institut, Universität Paderborn, Warburger Straße 100, D-33098 Paderborn, Germany email elsenhan@math.uni-paderborn.de
Jörg Jahnel
Affiliation:
Department Mathematik, Universität Siegen, Walter-Flex-Straße 3, D-57068 Siegen, Germany email jahnel@mathematik.uni-siegen.de

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

We report on our project to find explicit examples of K3 surfaces having real or complex multiplication. Our strategy is to search through the arithmetic consequences of RM and CM. In order to do this, an efficient method is needed for point counting on surfaces defined over finite fields. For this, we describe algorithms that are $p$-adic in nature.

MSC classification

Primary: 14J28: $K3$ surfaces and Enriques surfaces
Secondary: 11G15: Complex multiplication and moduli of abelian varieties 11Y16: Algorithms; complexity 11M38: Zeta and $L$-functions in characteristic $p$
Type
Research Article
Information
LMS Journal of Computation and Mathematics , Volume 19 , Special Issue A: Algorithmic Number Theory Symposium XII , 2016 , pp. 12 - 28
Copyright
© The Author(s) 2016 

References

Abbott, T. G., Kedlaya, K. S. and Roe, D., ‘Bounding Picard numbers of surfaces usingp-adic cohomology’, Arithmetics, geometry, and coding theory (AGCT 2005) , Séminaires et Congrès 21 (Société Mathématique de France, Paris, 2010) 125–159.Google Scholar
Artin, E., ‘Quadratische Körper im Gebiete der höheren Kongruenzen II’, Math. Z. 19 (1924) 207–246.CrossRefGoogle Scholar
Borevich, Z. I. and Shafarevich, I. R., Number theory (Academic Press, New York, 1966).Google Scholar
Bosma, W., Cannon, J. and Playoust, C., ‘The Magma algebra system I. The user language’, J. Symbolic Comput. 24 (1997) 235–265.CrossRefGoogle Scholar
Charles, F., ‘On the Picard number of K3 surfaces over number fields’, Algebra Number Theory 8 (2014) 1–17.CrossRefGoogle Scholar
Cormen, T., Leiserson, C. and Rivest, R., Introduction to algorithms (MIT Press and McGraw-Hill, Cambridge, MA, and New York, 1990).Google Scholar
Costa, E., ‘Effective computations of Hasse–Weil zeta functions’, PhD Thesis, New York University, New York, 2015.Google Scholar
Deligne, P., ‘La conjecture de Weil I’, Publ. Math. Inst. Hautes Études Sci. 43 (1974) 273–307.CrossRefGoogle Scholar
Deligne, P., (with J. F. de Boutot, A. Grothendieck, L. Illusie and J.-L. Verdier), Cohomologie Étale, Séminaire de Géométrie Algébrique du Bois Marie (SGA $4\frac{1}{2}$ ), Lecture Notes in Mathematics 569 (Springer, Berlin, 1977).CrossRefGoogle Scholar
Deligne, P., ‘La conjecture de Weil II’, Publ. Math. Inst. Hautes Études Sci. 52 (1980) 137–252.Google Scholar
Deligne, P. and Katz, N., ‘Groupes de monodromie en géométrie algébrique’, Séminaire de Géométrie Algébrique du Bois Marie 1967–1969 (SGA 7) , Lecture Notes in Mathematics 288, 340 (Springer, Berlin, 1973).Google Scholar
Diagana, T., Non-Archimedean linear operators and applications (Nova Science Publishers, New York, 2007).Google Scholar
Dwork, B. M., ‘On the congruence properties of the zeta function of algebraic varieties’, J. reine angew. Math. 203 (1960) 130–142.Google Scholar
Dwork, B. M., ‘On the rationality of the zeta function of an algebraic variety’, Amer. J. Math. 82 (1960) 631–648.CrossRefGoogle Scholar
Elkies, N. and Kumar, A., ‘K3 surfaces and equations for Hilbert modular surfaces’, Algebra Number Theory 8 (2014) 2297–2411.CrossRefGoogle Scholar
Elsenhans, A.-S. and Jahnel, J., ‘K3 surfaces of Picard rank one and degree two’, Algorithmic number theory (ANTS 8) , Lecture Notes in Computer Science 5011 (Springer, Berlin, 2008) 212–225.Google Scholar
Elsenhans, A.-S. and Jahnel, J., ‘On Weil polynomials of K3 surfaces’, Algorithmic number theory (ANTS 9) , Lecture Notes in Computer Science 6197 (Springer, Berlin, 2010) 126–141.CrossRefGoogle Scholar
Elsenhans, A.-S. and Jahnel, J., ‘The Picard group of a K3 surface and its reduction modulo p ’, Algebra Number Theory 5 (2011) 1027–1040.Google Scholar
Elsenhans, A.-S. and Jahnel, J., ‘Kummer surfaces and the computation of the Picard group’, LMS J. Comput. Math. 15 (2012) 84–100.Google Scholar
Elsenhans, A.-S. and Jahnel, J., ‘Examples of K3 surfaces with real multiplication, in: Proceedings of ANTS 11’, LMS J. Comput. Math. 17 (2014) 14–35.Google Scholar
Elsenhans, A.-S. and Jahnel, J., ‘On the characteristic polynomial of the Frobenius on étale cohomology’, Duke Math. J. 164 (2015) 2161–2184.CrossRefGoogle Scholar
Forster, O., Algorithmische Zahlentheorie (Vieweg, Braunschweig, 1996).CrossRefGoogle Scholar
van Geemen, B., ‘Real multiplication on K3 surfaces and Kuga–Satake varieties’, Michigan Math. J. 56 (2008) 375–399.Google Scholar
Grothendieck, A., (with I. de Bucur, C. Houzel, L. Illusie and J.-P. Serre), Cohomologie $l$ -adique et fonctions  $L$ , Séminaire de Géométrie Algébrique du Bois Marie 1965–1966 (SGA 5), Lecture Notes in Mathematics 589 (Springer, Berlin, 1977).Google Scholar
Hartshorne, R., Algebraic geometry , Graduate Texts in Mathematics 52 (Springer, New York, 1977).Google Scholar
Harvey, D., ‘Computing zeta functions of arithmetic schemes’, Proc. Lond. Math. Soc. (3) 111 (2015) 1379–1401.Google Scholar
Hasse, H. and Witt, E., ‘Zyklische unverzweigte Erweiterungskörper vom Primzahlgrade p über einem algebraischen Funktionenkörper der Charakteristik p ’, Monatsh. Math. Phys. 43 (1936) 477–492.Google Scholar
Kedlaya, K., ‘Counting points on hyperelliptic curves using Monsky–Washnitzer cohomology’, J. Ramanujan Math. Soc. 16 (2001) 323–338.Google Scholar
Lauder, A. G. B., ‘A recursive method for computing zeta functions of varieties’, LMS J. Comput. Math. 9 (2006) 222–269.Google Scholar
Lauder, A. G. B. and Wan, D., ‘Counting points on varieties over finite fields of small characteristic’, Algorithmic number theory: lattices, number fields, curves and cryptography , MSRI Publications 44 (Cambridge University Press, Cambridge, 2008) 579–612.Google Scholar
van Luijk, R., ‘Rational points on K3 surfaces’, PhD Thesis, University of California, Berkeley, 2005.Google Scholar
van Luijk, R., ‘K3 surfaces with Picard number one and infinitely many rational points’, Algebra Number Theory 1 (2007) 1–15.Google Scholar
Miller, L., ‘The Hasse–Witt-matrix of special projective varieties’, Pacific J. Math. 43 (1972) 443–455.Google Scholar
Pancratz, S. and Tuitman, J., ‘Improvements to the deformation method for counting points on smooth projective hypersurfaces’, Found. Comput. Math. 15 (2015) 1413–1464.CrossRefGoogle Scholar
Satoh, T., ‘The canonical lift of an ordinary elliptic curve over a finite field and its point counting’, J. Ramanujan Math. Soc. 15 (2000) 247–270.Google Scholar
Schoof, R., ‘Counting points on elliptic curves over finite fields in: Les Dix-huitièmes Journées Arithmétiques (Bordeaux 1993)’, J. Théor. Nombres Bordeaux 7 (1995) 219–254.Google Scholar
Tankeev, S. G., ‘Surfaces of K3 type over number fields and the Mumford–Tate conjecture’, Izv. Akad. Nauk SSSR Ser. Mat. 54 (1990) 846–861 (Russian).Google Scholar
Tankeev, S. G., ‘Surfaces of K3 type over number fields and the Mumford–Tate conjecture II’, Izv. Ross. Akad. Nauk Ser. Mat. 59 (1995) 179–206 (Russian).Google Scholar
Wan, D., ‘Computing zeta functions over finite fields’, Finite fields: theory, applications, and algorithms (Waterloo 1997) , Contemporary Mathematics 225 (American Mathematical Society, Providence, RI, 1999) 131–141.Google Scholar
Wan, D., ‘Algorithmic theory of zeta functions over finite fields’, Algorithmic number theory: lattices, number fields, curves and cryptography , MSRI Publications 44 (Cambridge University Press, Cambridge, 2008) 551–578.Google Scholar
Zarhin, Yu. G., ‘Hodge groups of K3 surfaces’, J. reine angew. Math. 341 (1983) 193–220.Google Scholar
Zarhin, Yu. G., ‘Transcendental cycles on ordinary K3 surfaces over finite fields’, Duke Math. J. 72 (1993) 65–83.Google Scholar