Vtgyjfy

I read about so called "wild" automorphisms of the field of complex numbers (i.e. not the identity nor the complex conjugation). I suppose they must be rather weird and I wonder whether someone could explain in the simplest possible way (please) how I could imagine such wild automorphisms.

E.g. I suppose they are completely discontinuous.
E.g. are the real rational numbers fixed or any other set of complex numbers?
Can such an automorphism be pictured in a model?

Given any field automorphism of $mathbb C$, the rational numbers are fixed. In fact, any number that is explicitly definable in $mathbb C$ (in the first order language of fields) is fixed. (Actually, this means that we can only ensure that the rationals are fixed, I expand on this below.)

Any construction of a wild automorphism uses the axiom of choice. See here for a related open problem. In fact, there is a model of set theory first considered by Solovay (in this model the axiom of choice fails, but the model satisfies the axiom of "dependent choice", which suffices for classical analysis) where all sets of reals are Lebesgue measurable and have the property of Baire, and there the only automorphisms are the identity and complex conjugation.

Wild automorphisms are indeed far from continuous. Since choice is used explicitly in their construction, I am not sure there is an easy way to "imagine" them, though the example described below is in principle not too elaborate, given these caveats.

The first explicit construction in print seems to be in a paper by Kestelman,

H. Kestelman. Automorphisms of the field of complex numbers, Proceedings of the London Mathematical Society (2), 53, (1951), 1-12.

His paper however traces the first proof as being "implicitly" given by Steinitz, using a transcencence basis, call it $T$, of $mathbb C$ (called $Z$ in the paper) over $mathbb Q$ (called $R$ in the paper), so $mathbb C$ is algebraic over $mathbb Q(T)$. (Note that this is where choice is used, in verifying the existence of $T$ via, for example, Zorn's lemma.)

The point is that any such basis contains two points $x_0, x_1$ with $x_0notin{x_1,bar x_1}$. One can then consider any permutation $pi$ of $T$ mapping $x_0$ to $x_1$, and there is a unique extension of $pi$ to a field automorphism of $mathbb Q(T)$, which then can be lifted to an automorphism of $mathbb C$. Pages 4, 5 in the linked paper gives a few more details. The outline itself was pointed out by Rado.

After this is done, the paper discusses how very weak regularity conditions on an automorphism (continuity at a point, for example), trivialize it.

Let me close with some remarks. In particular, I want to expand on the remark on fixed points in the first paragraph.

The argument above indicates we can produce an automorphism by starting with a permutation of $T$, which gives rise to an automorphism of $mathbb Q(T)$, and then lift this to an automorphism of $mathbb C$. Note that different permutations of $T$ give rise to different automorphisms, that $|T|=mathfrak c=2^{aleph_0}$, and that there are $2^mathfrak c$ permutations of $T$. This means that there are at least $2^mathfrak c$ wild automorphisms. On the other hand, there are only $mathfrak c^mathfrak c=2^{mathfrak c}$ functions from $mathbb C$ to itself, regardless of whether they are field automorphisms or not. This means that there are precisely $2^{mathfrak c}$ (wild) field automorphisms of $mathbb C$.

The next thing to note is that there is some leeway here. We do not need to start with $T$. We could just as well take any subfield $mathbb F$ of $mathbb C$, take a transcendence basis over $mathbb F$, and repeat the argument above. In fact, we see this way that given any automorphism of $mathbb F$, there is a field automorphism of $mathbb C$ that extends it. This is explained in more detail in the paper linked by kahen in a comment below,

Paul B. Yale. Automorphisms of the complex numbers, Math. Mag. 39 (1966), 135-141. (Lester R. Ford Award, 1967.)

From basic field theory we know that for any irrational algebraic $alpha$ we can take $mathbb F$ to be the smallest subfield of $mathbb C$ containing all roots of the minimal polynomial of $alpha$ over $mathbb Q$, and that there are automorphisms of $mathbb F$ that move $alpha$. Since any such automorphism can be extended to one of $mathbb C$, this shows that no irrational algebraic number is fixed by all automorphisms of $mathbb C$.

Similarly, if $alpha$ and $beta$ are transcendental and algebraically independent, then there is a transcendence basis $T$ with $alpha,betain T$, and there is an automorphism of $mathbb Q(T)$ that maps $alpha$ to $beta$. Again, this extends to an automorphism of $mathbb C$, so no transcendental number is fixed by all automorphisms of $mathbb C$.

It follows that only the rational numbers are fixed by all automorphisms. On the other hand, again from basic field theory, we have that if $alpha$ is algebraic, then any automorphism must map $alpha$ to one of its conjugates, that is, to a root of the minimal polynomial of $alpha$ over $mathbb Q$. This means that there are only finitely many possible values the image of $alpha$ may take.

Finally, a technical remark that I had on a comment, but probably deserves better visibility: To construct Solovay's model referred to above requires an inaccessible cardinal. On the other hand, as shown by Shelah, no additional consistency strength is required to show that there are models of set theory without choice, where all sets of reals have the property of Baire. Now, if a field automorphism of $mathbb C$ is Lebesgue measurable, then it is trivial (the identity, or complex conjugation). Same if it is Baire measurable. In any model of set theory where all sets of reals have the property of Baire, all functions $f:mathbb Cto mathbb C$ are Baire measurable. It follows that in these models, the only automorphisms of $mathbb C$ are trivial.

The complex numbers can be characterized algebraically as the unique algebraically closed field of transcendence degree continuum over $mathbb{Q}$. I think the key to understanding automorphisms lies in thinking of $mathbb{C}$ in this way and forgetting any other structure like topology or embedding of $mathbb{R}$.

There are also lots of "good" subfields of $mathbb{C}$, like, say, algebraic extensions of $mathbb{Q}$, and any automorphism of a subfield can be extended to an automorphism of $mathbb{C}$ (this requires AC, of course). Moreover, in fact there are lots of endomorphisms that are not automorphisms, and lots of subfields of $mathbb{C}$ that are isomorphic to $mathbb{C}$.

All of them are quite "bad" analytically - in particular, not Lebesgue measurable (because even any measurable group homomorphism $mathbb{C} to mathbb{C}$ is automatically continuous).