Let $F$ be a set-valued (contravariant) functor on the category of schemes. Let $F\_{\mathbb Q}$ be the associated functor on the category of schemes over $\mathbb Q$.


Suppose that $F\_{\mathbb Q}$ is representable by a scheme (over $\mathbb Q$). Does it follow that $F\_{\mathbb Z[1/n]}$ is representable for some large integer $n$? (No.)


I can easily imagine cases this could fail to be the case.


I'm actually wondering what the minimal hypothesis is on $F$ for the answer to be positive. For instance, what if we assume $F$ is a sheaf in the etale topology? 



On functors which are generically representable
Being a sheaf in the étale topology is insufficient. Begin with the locally ringed space $(\text{Spec}\mathbb{Z},\mathcal{O}\_{\text{Spec}\mathbb{Z}})$. Let $$i:X\hookrightarrow \text{Spec}\mathbb{Z}$$ 
be the complement of the generic point $\langle 0 \rangle$. Give $X$ the sheaf of rings $\mathcal{O}\_X := i^{-1}\mathcal{O}\_{\text{Spec}\mathbb{Z}}$. Let $$i^\#:\mathcal{O}\_{\text{Spec}\mathbb{Z}} \to i\_\*\mathcal{O}\_X,$$  

be the natural map defined by adjunction of $i^{-1}$ and $i\_\*$. Then $(i,i^\#)$ is a morphism of locally ringed spaces. Moreover, $(i,i^\#)$ has the following universal property: for every locally ringed space $(T,\mathcal{O}\_T)$ and for every morphism of locally ringed spaces
$$ (f,f^\#):(T,\mathcal{O}\_T) \to (\text{Spec}\mathbb{Z},\mathcal{O}\_{\text{Spec}\mathbb{Z}}),$$
(of course there is a unique such morphism!), there exists a morphism of locally ringed spaces
$$ (g,g^\#):(T,\mathcal{O}\_T) \to (X,\mathcal{O}\_X),$$
with $(i,i^\#)\circ(g,g^\#) = (f,f^\#)$ if and only if $g(T)$ is contained in $i(X)$, in which case the morphism $(g,g^\#)$ is unique. To learn more about any of this, please read about the "max spectrum".


Now consider the Yoneda functor $h\_X$ of $(X,\mathcal{O}\_X)$, but restricted to the full category of schemes. This is simply the functor that associates to every scheme $(T,\mathcal{O}\_T)$ the singleton set if every residue field has positive characteristic, and that associates the empty set if some residue field has characteristic $0$. This is an étale sheaf. It is representable by the empty set if you restrict to the category of $\mathbb{Q}$-schemes. However, it is not representable by a scheme or algebraic space, not even when restricted to the category of $\mathbb{Z}[1/n]$-schemes. To see this, let $p$ be any prime not dividing $n$, and consider the value of the functor restricted to the sequence of schemes $$(\text{Spec}\mathbb{Z}/p^r\mathbb{Z},\mathcal{O}\_{\text{Spec}\mathbb{Z}/p^r\mathbb{Z}})\_r$$
as well as the scheme $(\text{Spec}\widehat{\mathbb{Z}}\_p,\mathcal{O})$. Since the functor fails to be *effectively* prorepresentable, it is not a scheme or algebraic space.


