Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

It is well-known that it is consistent with $ZF$ that the only automorphisms of the complex field $\mathbb{C}$ are the identity map and complex conjugation. For example, we have that $|Aut(\mathbb{C})| = 2$ in $L(\mathbb{R})$. But suppose that we are given a nonprincipal ultrafilter $\mathcal{U}$ over the natural numbers $\mathbb{N}$. Is there any way to use $\mathcal{U}$ to define a third automorphism of $\mathbb{C}$?

Some background ... the "obvious" approach would be to note that the ultraproduct $\prod_{\mathcal{U}} \bar{\mathbb{F}}_{p}$ of the algebraic closures of the fields of prime order $p$ has lots of automorphisms arising as ultraproducts of Frobenius automorphisms. Of course, working in $ZFC$, this ultraproduct is isomorphic to $\mathbb{C}$ and hence we obtain many "strange " automorphisms of $\mathbb{C}$. However, the isomorphism makes heavy use of the Axiom of Choice and these fields are not isomorphic in $L(\mathbb{R})[\mathcal{U}]$. So a different approach is necessary if we are to find a third automorphism of $\mathbb{C}$ just in terms of $\mathcal{U}$ ...

Edit: Joel Hamkins has reminded me that I should mention that I always assume the existence of suitable large cardinals when I discuss properties of $L(\mathbb{R})$ and $L(\mathbb{R})[\mathcal{U}]$. For example, if $V = L$, then $L(\mathbb{R}) = L= V$ and so $L(\mathbb{R})$ is a model of $ZFC$. Of course, nobody would dream of studying $L(\mathbb{R})$ under the assumption that $V = L$ ...

share|improve this question
4  
+1 because I like ultrafilters and don't get to see them very often as a number theorist. I tried to imitate the finite field trick to construct an automorphism of the ultrapower $\prod_{\mathcal{U}}\mathbb{C}$ and then push down to $\mathbb{C}$, but it only gives you complex conjugation. Interesting. –  Matthew Morrow May 9 '10 at 21:49
3  
For those of us who are not so well versed in these matters but curious nevertheless, what is the L(R) which appears here? –  Spencer May 13 '10 at 19:03
4  
$L(\mathbb{R})$ is the smallest inner model of $ZF$ that contains all of the reals ... not just the constructible reals. You can find a more details at: en.wikipedia.org/wiki/… –  Simon Thomas May 24 '10 at 22:25
20  
For nearly two years that missing parenthesis was bugging me. Now I have the reputation to correct it, and now the post "compiles"! Muahaha. :-) –  Asaf Karagila Feb 4 '12 at 0:36
5  
More to the point, why only 7 days? @FrançoisG.Dorais Didn't we think at some point of requesting more flexibility on bounty times? 7 days for everything is kind of silly. –  Andres Caicedo Jun 26 '13 at 0:34

protected by Andres Caicedo Oct 10 '13 at 1:49

Thank you for your interest in this question. Because it has attracted low-quality answers, posting an answer now requires 10 reputation on this site.

Would you like to answer one of these unanswered questions instead?

Browse other questions tagged or ask your own question.