Let $K \subseteq \mathbb{C}$ be a number field (I'm fixing an embedding), and assume $K/\mathbb{Q}$ is Galois with Galois group $G$. Let $\tau \in G$ denote complex conjugation. This question concerns the condition, let's call it (\*), that $\tau$ is in the center of $G$. In other words, the condition says that $\sigma(\overline{\alpha}) = \overline{\sigma(\alpha)}$ whenever $\sigma \in G$ and $\alpha \in K$. 


Some observations: 


-(\*) is satisfied if $K \subseteq \mathbb{R}$, since $\tau$ is trivial then, and


-the condition (\*) is very restrictive on the structure of $G$ if $\tau$ is not trivial.


I feel like I have seen this condition in literature before, but I can't remember where, hence this question:


*Can you provide any references in the literature to this condition (such as theorems where it is a hypothesis or conclusion)?*


See also this slightly related post:
[Centraliser of the complex conjugation in the absolute Galois group](https://mathoverflow.net/questions/121083/centraliser-of-the-complex-conjugation-in-the-absolute-galois-group)


One may also ask whether (\*) holds for *every* embedding $K \hookrightarrow \mathbb{C}$, so references to this condition would also be appreciated.



When complex conjugation lies in the center of a Galois group
Your condition is that $K$ be a kroneckerian field, namely either a totally real (as you mention) field or a totally imaginary quadratic extension of a totally real field: in this second case $K$ is said to be *a CM field*.


Since you have already treated in your question the case when $K$ is totally real, let me assume $K$ is CM. In this case, one has to notice that since a compositum of totally real fields is again totally real, we can speak of the maximal totally real subextension, call it $K^+$ of $K$. By assumption, $K^+\subsetneq K$ and since there is a totally real subfield $F\subseteq K$ such that $[K:F]=2$ we deduce $F=K^+$. Since you assumed $K$ to be Galois over $\mathbb{Q}$, I claim that $K^+/\mathbb{Q}$ is also Galois: this boils down to the statement that all embeddings $\iota:K^+\hookrightarrow\mathbb{R}$ have the same set-theoretic image, because this would imply that all roots of a minimal polynomial ok $K^+/\mathbb{Q}$ already lie in $K^+$. To check this, call $\mathbb{K}$ the subfield of $\mathbb{C}$ which is the image of one, and hence all by normality, embeddings of $K$ into $\mathbb{C}$: let $\mathbb{K}^+=\mathbb{K}\cap\mathbb{R}$. Then, for every $\iota:K^+\hookrightarrow\mathbb{C}$ we have $\iota(K^+)=\mathbb{K}^+$ since the image has to be contained in $\mathbb{R}\cap\mathbb{K}$ and needs be maximal. We have thus proven that $\langle\tau\rangle$ is a normal subgroup in $G$. This means that for each $g\in G$ we have $g\tau g^{-1}\in\langle\tau\rangle$ and since $\tau$ has order $2$ the only possibility is $g\tau g^{-1}=\tau$, namely $g\tau=\tau g$, proving that $\tau$ is central.


The other direction is obvious: if $\tau$ is central, then $\langle\tau\rangle$ is normal and if we set $K^+:=K^{\tau}$ we find a normal extension of $\mathbb{Q}$ (hence, either totally real or totally imaginary) that is fixed by at least one complex conjugation, hence is not totally imaginary and therefore is totally real. As $[K:K^+]=\#\langle\tau\rangle=2$, $K$ is a CM field.


