Skip to main content
1 of 2
Will Sawin
  • 148.6k
  • 9
  • 324
  • 563

You are completely right that for any 4 rational points on the projective line, two have equal reductions mod two. However this does not create a singularity of the underlying surface.

The reason is that if we blow up $[1,0,0], [0,1,0],[1,1,0]$ in $\mathbb P^2_{\mathbb Z}$, we can then blow up, not the inverse image of the copy of $\operatorname{Spec} \mathbb Z$ defined by $[1,-1,0]$, but instead its strict transform. The strict transform can be defined as the closure in the blown-up surface of the relevant rational point. From this it is easy to see that the strict transform is isomorphic to $\operatorname{Spec} \mathbb Z$ and that the surface is smooth at it, so there is no problem blowing it up to obtain a smooth surface.

Explicitly, we can see that the strict transform of $[1,-1,0]$ intersects $[1,1,0]$ in the direction given by $\frac{ [1,-1,0]- [1,1,0]}{2} = [0,-1,0]$ - i.e. at the intersection of the exceptional divisor and the strict transform of the line that both points lie on.

Will Sawin
  • 148.6k
  • 9
  • 324
  • 563