The tame-wild principle for discriminant relations for number fields (Q2509413)

Let \(G\) be a finite group and \(\phi_1,\dots,\phi_r\) permutation characters of \(G\). One says that a tuple \((K_1,\dots,K_r)\) of separable algebras over a common ground field \(F\) has type \((G,\phi_1,\dots,\phi_r)\) if for a joint splitting field \(K^{\mathrm{gal}}\) one can identify \(\text{Gal}(K^{\mathrm{gal}}/F)\) with a subgroup of \(G\) such that the action of \(\text{Gal}(K^{\mathrm{gal}}/F)\) on \(\Hom_F(K_i,K^{\mathrm{gal}})\) has character \(\phi_i\). Let \(F\) be a local field or a number field. Then it is not too hard to examine all possible divisibility relations among the discriminants \({\mathcal D}_{K_i}/F\), where \((K_1,\dots,K_r)/K\) varies over all possible \textit{tame} extensions of a given type \((G,\phi_1,\dots,\phi_r)\). In fact, as the authors notice, the description can be given in group-theoretic terms only. What about the divisibility relations if one considers generic extensions and not just tame extensions? In the notation of the authors, if for a type \((G,\phi_1,\dots,\phi_r)\) the divisibility relations for tame \((K_1,\dots,K_r )/F\) hold also for arbitrary \((K_1,\dots,K_r)/F\) of the same type, then the tame-wild principle holds for \((G,\phi_1,\dots,\phi_r)\). Moreover, if the tame-wild principle holds for a group \(G\) and any possible choice of \(\phi_1,\dots,\phi_r\), then we say that it holds \textit{universally} for \(G\). In the paper under review, there are both positive and negative results to this question. A positive results is that the tame-wild principle holds for all groups such that all the inertial subgroups are \(U\)-groups (i.e., if they have the property that every non-identity element is contained in exactly one maximal cyclic subgroup). On the contrary, the tame-wild principle fails to be true in general, and a number of explicit examples are given. Apart for these general results, the authors explore many other examples in which the tame-wild principle holds, having in mind the aim of tabulating number fields of small discriminant.