A question concerning archimedean places on number fields

184 Views Asked by At

Let $L$ be a number field and $G=Aut(L\mid \mathbb{Q})$. Let $|\cdot|$ be the usual archimedean value on $\mathbb{C}$ and, by abuse of notation, its restriction to $\mathbb{Q}$. Then the archimedean values on $L$ are of the form $|w|_{\sigma,s}:=|\sigma(w)|^s$ for all $w\in L$, a positive $s$ and $\sigma$ an embedding of $L$ into $\mathbb{C}$. By taking non-equivalent such $\sigma$ (equivalent here meaning equal modulo composition with complex conjugation) we may identify the archimedean places on $L$ with all the $|\cdot|_{\sigma,1}$. and $w\in L$ defines an archimedean absolute value on $L$. Take two such non equivalent embeddings and the corresponding places $v_1$, $v_2$ and their completions $L_{v_1}$ and $L_{v_2}$. By Ostrowski's theorem both completions must be isomorphic to $\mathbb{R}$ or $\mathbb{C}$. Let us assume they are both isomorphic to $\mathbb{R}$, that is, $|w|_{v_1}=|\tau(w)|^s$ and $|w'|_{v_2}=|\tau'(w')|^t$ for some positive reals $s,t$ and all $w\in L_g$, $w'\in L_{g'}$ ($\tau$ and $\tau'$ are the aforementioned isomorphisms). We must have $s=t=1$ because $v_1$ and $v_2$ coincide with $|\cdot|$ on $\mathbb{Q}$. We must also have $\text{id}=\tau'\circ\tau^{-1}$ (because there are no nontrivial field automorphisms of $\mathbb{R}$) so for $w=w'\in L$ the above becomes \begin{equation}|w|_{v_1}=|w|_{v_2} \end{equation} which is a contradiction Question: where is the error?

1

There are 1 best solutions below

0
On

The error is in writing $\tau'\circ \tau^{-1}= id$. This composition doesn't even make sense if you're considering both sides as maps $\mathbb{R}\to\mathbb{R}$, since $\tau$ does not have an inverse as a map $L\to\mathbb{R}$ (it only has an inverse when its codomain is restricted to $\tau(L)$). We can write that $\tau'\circ \tau^{-1}$ is a field isomorphism from $\tau(L)$ to $\tau'(L)$, but this isomorphism need not extend to an isomorphism $\mathbb{R}\to\mathbb{R}$ between their completions because it does not preserve the absolute value. So you don't get an automorphism of $\mathbb{R}$, and you can't conclude $\tau$ and $\tau'$ are the same.