Simon Thomas asked in
> [Ultrafilters and automorphisms of the complex field][1]

whether the existence of non-principal ultrafilters (over the natural numbers) suffices to imply the existence of a nontrivial automorphism of the complex field $\mathbb C$. In set theoretic terms, the question is whether (under appropriate large cardinal assumptions) there is such an automorphism in $L(\mathbb R)[\mathcal U]$ where $\mathcal U$ is a nonprincipal ultrafilter on $\mathbb N$.


  [1]: https://mathoverflow.net/q/24047/6085