Saturday, 11 November 2006

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.

No comments:

Post a Comment