In this generality, the answer is no. The projective curve $2y^2z^2 = x^4 - 17z^4$ over the rationals satisfies the HP, since it has local points everywhere (the affine part $z \neq 0$ is given by $2y'^2=x'^4-17$, which is the famous Reichardt-Lind equation which is known to be everywhere locally soluble) and it has the unique rational point $(0:1:0)$. However, this point is singular, and on the normalization there are two non-rational points above it. If you restrict to smooth varieties however, the answer is yes: by Lang-Nishimura, if $X$ and $X'$ are smooth varieties over any field $k$ that are birational to each other, then $X$ has a $k$ point iff $X'$ does.
R.P.
- 4.7k
- 19
- 43
- 67