Skip to main content
3 of 4
Better late than never: edited the last part of the answer following user27920's comment

Let $f:X\to $ Spec $\mathbb Z[1/n]$ be a morphism of finite type. As $f$ is generically flat, there is a finite set of primes $S$ such that $X\to $ Spec $\mathbb Z$ is flat over Spec $\mathbb Z - S$. (This is easy to show, so let's assume $f$ is flat now.)

If $f$ is generically smooth, then there is a finite set of primes $S$ such that $X\to $ Spec $\mathbb Z[1/n]$ is smooth over Spec $\mathbb Z - S$.

You can't weaken finite type to locally of finite type here.

To prove this, you can proceed in many ways. One way is to use the sheaf of differentials. That sheaf is locally free [Edit: of rank $\dim X_{\mathbb{Q}}$] if and only if the morphism is smooth.