Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

This is a variation on Poonen's question, taking Buzzard's fabulous example into account. It was earlier a part of this other question.

Question. Is there a smooth proper scheme $X\to\operatorname{Spec}(\mathbb{Z})$ such that $X(\mathbb{Q}_v)\neq\emptyset$ for every place $v$ of $\ \mathbb{Q}$ (including $v=\infty$), and yet $X(\mathbb{Q})=\emptyset$ ?

I believe the answer is No. The evidence is flimsy : $X$ cannot be a curve or a torsor under an abelian variety (Abrashkin-Fontaine) or a twisted form of $\mathbb{P}_n$.

I haven't gone through a list of smooth projective $\mathbb{Q}$-varieties which contradict the Hasse principle to check if any of them has good reduction everywhere, but the chances of such a thing are slim.

Colliot-Thélène and Xu give a systematic treatement of many known examples of quasi-projective $\mathbb{Z}$-schemes $Y$ such that $Y(\mathbb{Z}_p)\neq\emptyset$ for every prime $p$ and $Y(\mathbb{R})\neq\emptyset$, but $Y(\mathbb{Z})=\emptyset$. Some of these schemes might even be smooth over $\mathbb{Z}$, but none of them is proper.

Fontaine's letter to Messing (MR1274493) might be of some relevance here.

share|improve this question
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.