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?
Any real algebraic variety is diffeomorphic to a real algebraic variety defined over $\mathbb{Q}$
user145520