×. , U. , and U. , relative effective Cartier divisor of primitive -torsion points. Since X ,U is a J(X) U -torsor over U , there is an induced map : J(X) U,prim

, Hence M is isomorphic to an irreducible component of J(X) U,prim [ ] × M ,U and via its first projection, it is surjective over J(X) U,prim, The closure of the image in X is a curve of X which intersects M infinitely many times by the non-injectivity of ?

, Shioda's conjecture holds, namely supersingular K3 surfaces are unirational. The proof we give here does not use this powerful theorem

, Let X a K3 surface over an algebraically closed field k. Suppose that the automorphism group of X is infinite. Then X contains infinitely many rational curves

S. Let and .. {c-1, Let g be an element in the kernel of ?. Then g fixes all the rational curves. By 4.2.2, every non-trivial effective divisor is linearly equivalent to a sum of rational curves. Hence g acts trivially on Pic(X). It follows that the kernel of ? is contained in the kernel of the morphism Aut(X) ? O(Pic(X)). The latter is finite by [64, Chapter 15, C r } be the finite set of rational curves on X. Then Aut(X) acts on S and defines a homomorphism ?

, Let X be a K3 surface with Picard number ? 20. Then X has infinitely many rational curves

, ] the automorphism group of X is infinite and the result follows from Proposition 4.4.1. If the Picard rank of X is equal to 20, then the height of X is finite and by [64

, is an isomorphism and K is the fraction field of W (k). Moreover, since X is not birationally ruled

(. Aut, By [99], the automorphism group of X K is infinite. Hence Aut(X) is infinite and by proposition 4.4.1 X has infinitely many rational curves

M. Abramowitz and I. A. Stegun, Handbook of mathematical functions with formulas, graphs, and mathematical tables, National Bureau of Standards Applied Mathematics Series, vol.55, 1964.

J. D. Achter and E. W. Howe, Split abelian surfaces over finite fields and reductions of genus-2 curves, Algebra Number Theory, vol.11, issue.1, pp.39-76, 2017.

Y. André, On the Shafarevich and Tate conjectures for hyper-Kähler varieties, Math. Ann, vol.305, issue.2, pp.205-248, 1996.

F. Andreatta, Z. Goren, B. Howard, and K. Pera, Height pairings on orthogonal Shimura varieties, Compos. Math, vol.153, issue.3, pp.474-534, 2017.

F. Andreatta, Z. Goren, B. Howard, and K. Pera, Faltings heights of abelian varieties with complex multiplication, Ann. of Math, vol.187, issue.2, pp.391-531, 2018.

W. L. Baily, J. , and A. Borel, Compactification of arithmetic quotients of bounded symmetric domains, Ann. of Math, vol.84, issue.2, pp.442-528, 1966.

P. Wolf, K. Barth, C. A. Hulek, A. Peters, and . Van-de-ven, Compact complex surfaces, of Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas, vol.4

. Springer-verlag, , 2004.

H. Bass, Clifford algebras and spinor norms over a commutative ring, Amer. J. Math, vol.96, pp.156-206, 1974.

A. Beauville, Surfaces algébriques complexes, 1978.

A. Beauville, Variétés Kähleriennes dont la première classe de Chern est nulle, J. Differential Geom, vol.18, issue.4, pp.755-782, 1983.

O. Benoist, Construction de courbes sur les surfaces K3 [suivant BogomolovHassett-Tschinkel

, ArXiv eprints, 2014.

Y. Benoist and H. Oh, Effective equidistribution of S-integral points on symmetric varieties, Ann. Inst. Fourier (Grenoble), vol.62, issue.5, pp.1889-1942, 2012.

N. Bergeron and C. Matheus, On special Lagrangian fibrations in generic twistor families of K3 surfaces, 2017.

F. A. Bogomolov and Y. Tschinkel, Density of rational points on elliptic K3 surfaces, Asian J. Math, vol.4, issue.2, pp.351-368, 2000.

F. Bogomolov, B. Hassett, and Y. Tschinkel, Constructing rational curves on k3 surfaces, Duke Math. J, vol.157, issue.3, pp.535-550, 2011.

R. E. Borcherds, Automorphic forms with singularities on Grassmannians, Invent. Math, vol.132, issue.3, pp.491-562, 1998.

R. E. Borcherds, The Gross-Kohnen-Zagier theorem in higher dimensions, Duke Math. J, vol.97, issue.2, pp.219-233, 1999.

R. E. Borcherds, L. Katzarkov, T. Pantev, and N. I. Shepherdbarron, Families of K3 surfaces, J. Algebraic Geom, vol.7, issue.1, pp.183-193, 1998.

A. Borel, Some metric properties of arithmetic quotients of symmetric spaces and an extension theorem, J. Differential Geometry, vol.6, pp.543-560, 1972.

A. Borel and L. Ji, Compactifications of symmetric and locally symmetric spaces, Mathematics : Theory & Applications, 2006.

E. Brieskorn, Die Milnorgitter der exzeptionellen unimodularen Singularitäten, Bonner Mathematische Schriften, vol.150

T. D. Browning and R. Dietmann, On the representation of integers by quadratic forms, Proc. Lond. Math. Soc, vol.96, issue.3, pp.389-416, 2008.

J. H. Bruinier, Borcherds products on O(2, l) and Chern classes of Heegner divisors, Lecture Notes in Mathematics, vol.1780, 2002.

J. H. Bruinier and J. Funke, On two geometric theta lifts, Duke Math. J, vol.125, issue.1, pp.45-90, 2004.

J. H. Bruinier and U. Kühn, Integrals of automorphic Green's functions associated to Heegner divisors, Int. Math. Res. Not, issue.31, pp.1687-1729, 2003.

J. H. Bruinier and M. Kuss, Eisenstein series attached to lattices and modular forms on orthogonal groups, Manuscripta Math, vol.106, issue.4, pp.443-459, 2001.

J. H. Bruinier and T. Yang, Faltings heights of CM cycles and derivatives of L-functions, Invent. Math, vol.177, issue.3, pp.631-681, 2009.

J. Carlson, S. Müller-stach, and C. Peters, Period Mappings and Period Domains, Cambridge Studies in Advanced Mathematics, 2003.

F. Charles, The Tate conjecture for K3 surfaces over finite fields, Invent. Math, vol.194, issue.1, pp.119-145, 2013.

F. Charles, On the Picard number of K3 surfaces over number fields. Algebra Number Theory, vol.8, pp.1-17, 2014.

F. Charles, Exceptional isogenies between reductions of pairs of elliptic curves, Duke Math. J, vol.167, issue.11, pp.2039-2072, 2018.

L. Clozel and E. Ullmo, Équidistribution de sous-variétés spé-ciales, Ann. of Math, vol.161, issue.2, pp.1571-1588, 2005.

P. Cohen, On the coefficients of the transformation polynomials for the elliptic modular function, Math. Proc. Cambridge Philos. Soc, vol.95, issue.3, pp.389-402, 1984.

A. , C. Cojocaru, and C. Hall, Uniform results for Serre's theorem for elliptic curves, Int. Math. Res. Not, issue.50, pp.3065-3080, 2005.

R. François, I. V. Cossec, and . Dolgachev, Enriques surfaces. I, Progress in Mathematics, vol.76, 1989.

P. Deligne and M. Rapoport, Les schémas de modules de courbes elliptiques, Lecture Notes in Math, vol.349, pp.143-316, 1973.

P. Deligne, Travaux de griffiths, number 12 in Séminaire Bourbaki, vol.70, p.376, 1969.

P. Deligne, Travaux de Shimura, Lecture Notes in Math, vol.244, pp.123-165, 1971.

P. Deligne, La conjecture de Weil pour les surfaces K3, Invent. Math, vol.15, pp.206-226, 1972.

P. Deligne, La conjecture de Weil. I. Inst. Hautes Études Sci. Publ. Math, issue.43, pp.273-307, 1974.

P. Deligne, Variétés de Shimura : interprétation modulaire, et techniques de construction de modèles canoniques, Automorphic forms, representations and L-functions (Proc. Sympos. Pure Math, pp.247-289, 1977.

P. Deligne, J. S. Milne, A. Ogus, and K. Shih, Hodge cycles, motives, and Shimura varieties, Lecture Notes in Mathematics, vol.900, 1982.

J. Demailly, Towards the Green-Griffiths-Lang conjecture, Analysis and geometry, vol.127, pp.141-159, 2015.

M. Einsiedler, G. Margulis, and A. Venkatesh, Effective equidistribution for closed orbits of semisimple groups on homogeneous spaces, Invent. Math, vol.177, issue.1, pp.137-212, 2009.

N. D. Elkies, Supersingular primes for elliptic curves over real number fields, Compositio Math, vol.72, issue.2, pp.165-172, 1989.

A. Eskin and H. Oh, Representations of integers by an invariant polynomial and unipotent flows, Duke Math. J, vol.135, issue.3, pp.481-506, 2006.

A. Eskin, Z. Rudnick, and P. Sarnak, A proof of Siegel's weight formula, Internat. Math. Res. Notices, issue.5, pp.65-69, 1991.

S. Filip, Counting special Lagrangian fibrations in twistor families of K3 surfaces, 2016.

H. Gillet, Arithmetic intersection theory on Deligne-Mumford stacks, Motives and algebraic cycles, vol.56, pp.93-109, 2009.

H. Gillet and C. Soulé, Arithmetic intersection theory, Inst. Hautes Études Sci. Publ. Math, issue.72, pp.93-174, 1990.

M. Goresky and W. Pardon, Chern classes of automorphic vector bundles, Invent. Math, vol.147, issue.3, pp.561-612, 2002.

P. Griffiths, Topics in algebraic and analytic geometry, Mathematical Notes, issue.13, 1974.

P. A. Griffiths, Periods of integrals on algebraic manifolds. I. Construction and properties of the modular varieties, Amer. J. Math, vol.90, pp.568-626, 1968.

V. Gritsenko, K. Hulek, and G. K. Sankaran, Moduli spaces of irreducible symplectic manifolds, Compos. Math, vol.146, issue.2, pp.404-434, 2010.

V. Gritsenko, K. Hulek, and G. K. Sankaran, Moduli of K3 surfaces and irreducible symplectic manifolds, Handbook of moduli, vol.I, pp.459-526, 2013.

B. Gross, W. Kohnen, and D. Zagier, Heegner points and derivatives of Lseries, II. Math. Ann, vol.278, issue.1-4, pp.497-562, 1987.

A. Grothendieck, Technique de descente et théoremes d'existence en géométrie algébrique. VI : Les schemas de Picard. Propriétés générales, Sem. Bourbaki, vol.14, issue.236, p.p, 1961.

J. Hanke, Local densities and explicit bounds for representability by a quadratric form, Duke Math. J, vol.124, issue.2, pp.351-388, 2004.

S. Helgason, Differential Geometry and Symmetric Spaces, 1964.

F. Hirzebruch and D. Zagier, Intersection numbers of curves on Hilbert modular surfaces and modular forms of Nebentypus, Invent. Math, vol.36, pp.57-113, 1976.

W. V. Hodge, The Theory and Applications of Harmonic Integrals, 1941.

B. Howard, K. , and M. Pera, Arithmetic of Borcherds products, 2017.

D. Huybrechts, Compact hyperkähler manifolds, Calabi-Yau manifolds and related geometries, pp.161-225, 2001.

D. Huybrechts, Lectures on K3 surfaces, vol.158, 2016.

Ö. Imamoglu, M. Raum, and O. K. Richter, Holomorphic projections and Ramanujan's mock theta functions, Proc. Natl. Acad. Sci. USA, vol.111, pp.3961-3967, 2014.

H. Iwaniec, Topics in classical automorphic forms, Graduate Studies in Mathematics, vol.17, 1997.

W. Kim and K. Pera, 2-adic integral canonical models, Forum Math. Sigma, vol.4, issue.28, 2016.

M. Kisin, Integral models for Shimura varieties of abelian type, J. Amer. Math. Soc, vol.23, issue.4, pp.967-1012, 2010.

Y. Kitaoka, Arithmetic of quadratic forms, Cambridge Tracts in Mathematics, vol.106, 1993.

S. Kond? and I. Shimada, On a certain duality of Néron-Severi lattices of supersingular K3 surfaces, Algebr. Geom, vol.1, issue.3, pp.311-333, 2014.

M. Kontsevich, Enumeration of rational curves via torus actions, The moduli space of curves, vol.129, pp.335-368, 1994.

M. Kuga and I. Satake, Abelian varieties attached to polarized K 3 -surfaces, Math. Ann, vol.169, pp.239-242, 1967.

S. Lang, Elliptic functions. Graduate texts in mathematics, 1987.

S. Lang and H. Trotter, Distribution of Frobenius automorphisms in GL 2 -extensions of the rational numbers, Lecture Notes in Mathematics, vol.504, 1976.

E. Lau, Relations between Dieudonné displays and crystalline Dieudonné theory. Algebra Number Theory, vol.8, pp.2201-2262, 2014.

J. Li and C. Liedtke, Rational curves on K3 surfaces, Inventiones mathematicae, vol.188, issue.3, pp.713-727, 2012.

S. Lichtenbaum, The period-index problem for elliptic curves, Amer. J. Math, vol.90, pp.1209-1223, 1968.

M. Lieblich and D. Maulik, A note on the cone conjecture for K3 surfaces in positive characteristic, 2011.

C. Liedtke, Supersingular K3 surfaces are unirational, Invent. Math, vol.200, issue.3, pp.979-1014, 2015.

. Keerthi-madapusi-pera, The Tate conjecture for K3 surfaces in odd characteristic, Invent. Math, vol.201, issue.2, pp.625-668, 2015.

. Keerthi-madapusi-pera, Integral canonical models for spin Shimura varieties, Compos. Math, vol.152, issue.4, pp.769-824, 2016.

F. Martin and E. Royer, Formes modulaires et périodes, Formes modulaires et transcendance, vol.12, pp.1-117, 2005.

D. Maulik, Supersingular K3 surfaces for large primes, Duke Math. J, vol.163, issue.13, pp.2357-2425, 2014.

W. J. Mcgraw, The rationality of vector valued modular forms associated with the Weil representation, Math. Ann, vol.326, issue.1, pp.105-122, 2003.

J. S. Milne, The points on a Shimura variety modulo a prime of good reduction, The zeta functions of Picard modular surfaces, pp.151-253, 1992.

B. Moonen, Models of Shimura varieties in mixed characteristics, Galois representations in arithmetic algebraic geometry, vol.254, pp.267-350, 1996.

S. Mori and S. Mukai, The uniruledness of the moduli space of curves of genus 11, Algebraic geometry, vol.1016, pp.334-353, 1982.

V. Kumar-murty, Automorphic forms, automorphic representations, and arithmetic, vol.66, pp.193-211, 1996.

N. Nygaard and A. Ogus, Tate's conjecture for K3 surfaces of finite height, Ann. of Math, vol.122, issue.2, pp.461-507, 1985.

K. Oguiso, Local families of K3 surfaces and applications, J. Algebraic Geom, vol.12, issue.3, pp.405-433, 2003.

H. Oh, Hardy-Littlewood system and representations of integers by an invariant polynomial, Geom. Funct. Anal, vol.14, issue.4, pp.791-809, 2004.

A. M. Chris, J. H. Peters, and . Steenbrink, Mixed Hodge structures, 3. Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas, vol.52

. Springerverlag, , 2008.

A. Peterson, Modular forms on the moduli space of polarised K3 surfaces, Korteweg-de Vries Institute for Mathematics, 2015.

P. Sarnak, Some applications of modular forms, Cambridge Tracts in Mathematics, vol.99, 1990.

W. Schmid, Variation of hodge structure : The singularities of the period mapping. Inventiones mathematicae, vol.22, pp.211-320, 1973.

J. Serre, Cours d'arithmétique. Presses Universitaires de France, Le Mathématicien, issue.2, 1977.

J. Serre, Abelian l-adic representations and elliptic curves, With the collaboration of Willem Kuyk and John Labute, vol.7, 1998.

A. N. Shankar and Y. Tang, Exceptional splitting of reductions of abelian surfaces, 2017.

T. Shioda and H. Inose, On singular K3 surfaces, pp.119-136, 1977.

T. Shioda, On the Picard number of a complex projective variety, Ann. Sci. École Norm. Sup, vol.14, issue.4, pp.303-321, 1981.

C. Siegel, Über die analytische Theorie der quadratischen Formen, Ann. of Math, vol.36, issue.2, pp.527-606, 1935.

C. Soulé-;-abramovich, J. Burnol, and J. Kramer, Lectures on Arakelov geometry, Cambridge Studies in Advanced Mathematics, vol.33, 1992.

S. G. Tankeev, Surfaces of K3 type over number fields and the Mumford-Tate conjecture, Izv. Akad. Nauk SSSR Ser. Mat, vol.54, issue.4, pp.846-861, 1990.

S. G. Tankeev, Surfaces of K3 type over number fields and the Mumford-Tate conjecture, II. Izv. Ross. Akad. Nauk Ser. Mat, vol.59, issue.3, pp.179-206, 1995.

S. Tayou, On the equidistribution of some Hodge loci, Journal für die

S. Tayou, Rational curves on elliptic K3 surfaces, 2018.

A. Vasiu, Integral canonical models of Shimura varieties of preabelian type, Asian J. Math, vol.3, issue.2, pp.401-518, 1999.

R. C. Vaughan, The Hardy-Littlewood method, Cambridge Tracts in Mathematics, vol.125, 1997.

C. Voisin, Théorie de Hodge et géométrie algébrique complexe, 2002.

A. Yafaev, The André-Oort conjecture-a survey, L-functions and Galois representations, vol.320, pp.381-406, 2007.

S. Zucker, Locally homogeneous variations of Hodge structure, Enseign. Math, vol.27, issue.2, pp.243-276, 1981.