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? For projective varieties you can approximate the defining equations (though even in this case I don't think I can rigorously write down the details).
3 of 5
added 14 characters in body; edited title
Any real algebraic variety is diffeomorphic to a real algebraic variety defined over $\mathbb{Q}$
user145520