Let S be a finite set of primes in Q. What, if anything, do we know about K3 surfaces over Q with good reduction away from S? (To be more precise, I suppose I mean schemes over Spec Z[1/S] whose geometric fibers are (smooth) K3 surfaces, endowed with polarization of some fixed degree.) Are there only finitely many isomorphism classes, as would be the case for curves of fixed genus? If one doesn't know (or expect) finiteness, does one have an upper bound for the number of such K3 surfaces X/Q of bounded height?
There are no such varieties when S = 1. This is a consequence of a theorem of Fontaine, MR1274493 (Schémas propres et lisses sur Z).
I think that one should only expect finitely many such varieties for any fixed S. Let me give an argument that uses every possible conjecture I know. There may be an unconditional proof, but that would probably require knowing something about K3-surfaces.
I first want to claim that the ramification at primes q|S is "bounded" independently of X. The corresponding fact for elliptic curves will be that the power of the conductor for each q|N is bounded by 2 (if p > 3) or (if p = 2 or 3) by some fixed number I can't remember.
The most obvious argument along these lines is to consider the representation on inertia I
The next step is to use a Langlands-type conjecture. The p-adic representation V on H^2(X) may be reducible, but at least we know that each irreducible chunk will correspond to an irreducible Galois representation of Q into GL
Finally, I want to deduce from any equality H^2(X) = H^2(X') that X is (essentially) X'. From the Tate conjecture we deduce the existence of correspondences X~~>X' and X'~~>X over Q whose composition induces an isomorphism on H^2(X) --- and now hopefully some knowledge of the geometry of K3 surfaces is enough to show that these sets of "isogenous" K3 surfaces form a finite set.
As Buzzard points out, I obscured the fact in the last paragraph that some more arithmetic may be necessary. What I meant to say is that understanding isogeny classes of K3's over Q will first require understanding isogeny classes over C, and hopefully this second task will be the hard part.
As David points out, the Torelli theorem for K3 will surely be relevant here. I think there can be non-isomorphic isogenous K3s, however. If one takes an isogeny of abelian surfaces A->B then one can presumably promote this to an isogeny of the associated Kummer surfaces.
Here is another thought. Deligne proves the Weil conjecture for K3 surfaces:
The philosophy is that there should be an inclusion of motives H^2(X) --> H^1(A) tensor H^1(A) for some abelian variety A (possibly of some huge but uniformly bounded dimension, like 2^19). It may be possible (conjecturally or otherwise) to reduce your question to the analogous statement for A, for which it is known. (Prop 6.5 is relevant here). It may well be possible to show that the variety A is defined over Z[1/2S], for example. I could make this edit more coherent but I'm off to lunch, so treat this as a thought fragment.
Yves Andre has proved the finiteness of the number of K3 surfaces over a number field $K$ with a polarisation of fixed degree $d$ and having good reduction (as a polarised variety) outside a fixed finite set of primes.
The reference is: "On the Shafarevich and Tate conjectures for hyper-Kähler varieties".Math. Ann. 305 (1996), no. 2, 205–248.
One classical trick that may be useful for reduction to the abelian scheme case is the Kuga-Satake construction which takes a weight 2 Hodge structure of K3 type to a weight 1 Hodge structure built out of its Clifford algebra. Although I've never read it, there is a paper of Rizov (http://arxiv.org/abs/math/0608497) which is supposed to make this a priori transcendental construction work over a general base (when you start with an honest family of polarized K3 surfaces). There may still be an issue about working up to isogeny, but at least this may let you shortcut the arithmetic discussion.
Here is a result about Kummer surfaces (one of the K's in K3 stands for Kummer) proved by Tetsushi Ito in his unpublished Master's thesis (Tokyo). I have a copy dated January 2001.
Theorem 5.2 . Let $K$ be a number field, $S$ a finite set of places of $K$ containing all archimedean places, and $d$ an integer. There are only finitely many Kummer surfaces over $K$, polarised of degree $d$, which have a rational point and which have good reduction outside $S$.
He uses Faltings' proof of the Shafarevich Conjecture for abelian varieties.