Given a smooth proper real algebraic variety can you find a smooth proper real algebraic variety defined over $\mathbb{Q}$ that is diffeomorphic to it?