Proof of a conjecture of Wong concerning octahedral Galois representations of prime power conductor (Q2343175)

The authors prove a conjecture of \textit{S. Wong} [ibid. 145, 245--272 (2014; Zbl 1300.11108)] concerning octahedral Galois representations of prime power conductor: Let \(K_4/\mathbb{Q}\) be an \(S_4\)-quartic field such that the discriminant \(|d_{K_4}|\) is a power of a prime \(p >3\). Let \(K_3/\mathbb{Q}\) be a cubic subfield of the Galois closure of \(K_4/\mathbb{Q}\). Denote by \(\tilde{\rho}\) the projective \(2\)-dimensional Artin representation associated to \(K_4/\mathbb{Q}\). 1. Suppose \(K_3/\mathbb{Q}\) is totally real. If \(\tilde{\rho}\) has conductor \(p^2\), then \(v_p(d_{K_4}) =1\). 2. Suppose \(K_3/\mathbb{Q}\) is not totally real. If \(\tilde{\rho}\) has conductor \(p^2\) then \(v_p(d_{K_4}) =3\), otherwise \(v_p(d_{K_4}) =1\).