Geometry of division rings

We prove an analog of Belyi’s theorem for the algebraic surfaces. Namely, any non-singular algebraic surface can be defined over a number field if and only it covers the complex projective plane with ramification at three knotted two-dimensional spheres.