Let $K$ be a number field. I am wondering if the following exact sequence $$1 \longrightarrow[\widehat{\mathcal O}_K^\times] \longrightarrow Gal(K^{ab}/K) \overset{\pi}{\longrightarrow} Cl_K \longrightarrow 1$$ splits, i.e. if there is a homomorphism $s:Cl_K \to Gal(K^{ab}/K)$ such that $s \circ \pi = id$. Here $[\widehat{\mathcal O}_K^\times]$ stands for the image of $\widehat{\mathcal O}_K^\times$ in $Gal(K^{ab}/K)$ under Artin's reciprocity morphism and $Cl_K$ denotes the ideal class group of $K$.

Equivalently we can rewrite the above sequence idelically as

$$1 \to \widehat{\mathcal O}_K^\times / \overline{\mathcal O _{K,+} ^\times} \to \widehat{\mathcal O}_K^\natural / \overline{\mathcal O _{K,+}^\natural} \to \widehat{\mathcal O}_K^\natural / (\widehat{\mathcal O}_K^\times \cdot \mathcal O _{K,+}^\natural) \to 1,$$ where $\mathcal O _K ^\natural = \mathcal O _K - \{ 0 \} $, $\widehat{\mathcal O}_K^\natural = \mathbb A _{K,f}^\times \cap \widehat{\mathcal O}_K$. Further, subscript $+$ denotes totally positive elements and over lined objects are meant to be closures in the idele topology. (I don't know if this is helpful.)