Relative spectral norm on algebraic numbers (Q2655859)

Summary: Let \(K\) be a subfield of \(\overline{\mathbb Q}\), a fixed algebraic closure of \(\mathbb Q\), the field of rational numbers. Let \(G_K = \mathrm{Gal}(\overline{\mathbb Q}/K)\) be the absolute Galois group of \(K\). For any \(x \in \overline{\mathbb Q}\), we consider the \(K\)-spectral norm: \(\| x \|_K = \max\{|\sigma(x)| : \sigma \in G_K\}\). Let \(\overline{e}\) be the conjugation automorphism of \(\overline{\mathbb Q}\) and let \(\mathcal C (G_K)\) be the Banach algebra of all continuous mappings defined on the compact group \(G_K\) with values in \(\mathbb C\). Let \(\mathcal C_{\mathrm{sym}} (G_K)\) be the Banach algebra over \(\tilde{K}\) of all symmetric functions of \(\mathcal C (G_K)\). Here \(\tilde{K}= \mathbb R\) or \(\mathbb C\) is the completion of \(K\) relative to the usual absolute value \(|\cdot|\). A function \(f\) is said to be symmetric if \(f(\overline{e}\sigma) = \overline{e}(f (\sigma))\) for any \(\sigma \in G_K\) (when \(\overline{e} \in G_K\)). Let \(\tilde{\mathbb Q}_K\) be the completion of \(\overline{\mathbb Q}\) with respect to \(\| \cdot \|_K\). In this paper we prove that \(\tilde{\mathbb Q}_K \cong \mathcal C_{\mathrm{sym}} (G_K)\) if \(\overline{e} \in G_K\) and \(\tilde{\mathbb Q}_K \cong \mathcal C (G_K)\) if \(\overline{e} \notin G_K\). These last isomorphisms are \(K\)-isomorphisms of Banach algebras. We give some other properties of the closed subalgebras of \(\mathcal C (G_K)\) in connection with some subfields of algebraic numbers.