ag.algebraic geometry - Smooth proper scheme over Z

Does every smooth proper morphism $X to operatorname{Spec} mathbf{Z}$ with $X$ nonempty have a section?

EDIT [Bjorn gave additional information in a comment below, which I am recopying here. -- Pete L. Clark]

Here are some special cases, according to the relative dimension $d$. If $d=0$, a positive answer follows from Minkowski's theorem that every nontrivial finite extension of $mathbf{Q}$ ramifies at at least one prime. If $d=1$, it is a consequence (via taking the Jacobian) of the theorem of Abrashkin and Fontaine that there is no nonzero abelian scheme over $mathbf{Z}$, together with (for the genus $0$ case) the fact that a quaternion algebra over $mathbf{Q}$ split at every finite place is trivial.

• Next gr.group theory - Finite groups with centerless quotients
• Previous gt.geometric topology - Seiberg-Witten theory on 4-manifolds with boundary