The Picard group of a $K3$ surface and its reduction modulo $p$

Abstract

We present a method to compute the geometric Picard rank of a $K3$ surface over $\mathbb{Q}$. Contrary to a widely held belief, we show that it is possible to verify Picard rank $1$ using reduction at a single prime.