skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


Title: Exceptional jumps of Picard ranks of reductions of K3 surfaces over number fields
Abstract Given a K3 surface X over a number field K with potentially good reduction everywhere, we prove that the set of primes of K where the geometric Picard rank jumps is infinite. As a corollary, we prove that either $$X_{\overline {K}}$$ has infinitely many rational curves or X has infinitely many unirational specialisations. Our result on Picard ranks is a special case of more general results on exceptional classes for K3 type motives associated to GSpin Shimura varieties. These general results have several other applications. For instance, we prove that an abelian surface over a number field K with potentially good reduction everywhere is isogenous to a product of elliptic curves modulo infinitely many primes of K .  more » « less
Award ID(s):
1801237 2100436 2337467
PAR ID:
10366115
Author(s) / Creator(s):
; ; ;
Date Published:
Journal Name:
Forum of Mathematics, Pi
Volume:
10
ISSN:
2050-5086
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. Let $$A$$ be a non-isotrivial ordinary abelian surface over a global function field of characteristic $p>0$ with good reduction everywhere. Suppose that $$A$$ does not have real multiplication by any real quadratic field with discriminant a multiple of $$p$$ . We prove that there are infinitely many places modulo which $$A$$ is isogenous to the product of two elliptic curves. 
    more » « less
  2. Abstract Given a Brauer class on a K3 surface defined over a number field, we prove that there exists infinitely many reductions where the Brauer class vanishes, under certain technical hypotheses, answering a question of Frei–Hassett–Várilly‐Alvarado. 
    more » « less
  3. Abstract We report on our results concerning the distribution of the geometric Picard ranks of K 3 surfaces under reduction modulo various primes. In the situation that $${\mathop {{\mathrm{rk}}}\nolimits \mathop {{\mathrm{Pic}}}\nolimits S_{{\overline{K}}}}$$ rk Pic S K ¯ is even, we introduce a quadratic character, called the jump character, such that $${\mathop {{\mathrm{rk}}}\nolimits \mathop {{\mathrm{Pic}}}\nolimits S_{{\overline{{\mathbb {F}}}}_{\!{{\mathfrak {p}}}}} > \mathop {{\mathrm{rk}}}\nolimits \mathop {{\mathrm{Pic}}}\nolimits S_{{\overline{K}}}}$$ rk Pic S F ¯ p > rk Pic S K ¯ for all good primes at which the character evaluates to $$(-1)$$ ( - 1 ) . 
    more » « less
  4. Abstract Let ℙ denote the weighted projective space with weights (1, 1, 1, 3) over the rationals, with coordinates x , y , z and w ; let $$\mathcal{X}$$ be the generic element of the family of surfaces in ℙ given by \begin{equation*}X\colon w^2=x^6+y^6+z^6+tx^2y^2z^2.\end{equation*} The surface $$\mathcal{X}$$ is a K3 surface over the function field ℚ( t ). In this paper, we explicitly compute the geometric Picard lattice of $$\mathcal{X}$$ , together with its Galois module structure, as well as derive more results on the arithmetic of $$\mathcal{X}$$ and other elements of the family X . 
    more » « less
  5. Abstract Given a smooth projective variety over a number field and an elementof its Brauer group, we consider the specialization of the Brauerclass at a place of good reduction for the variety and the class. Weare interested in the case of K3 surfaces.We show that a Brauer class on a very general polarized K3 surfaceover a number field becomes trivial after specialization at a set ofplaces of positive natural density. We deduce that there exist cubic fourfolds over number fields that are conjecturally irrational, with rational reduction at a positive proportion of places. We also deduce that there are twisted derivedequivalent K3 surfaces which become derived equivalent after reductionat a positive proportion of places. 
    more » « less