Calculability and naturalness in gauge theories

Abstract
Calculability conditions are discussed for local gauge theories with Higgs-type symmetry breaking. We focus on the naturalness of μe universality, the naturalness of the Cabibbo angle θ, the naturalness of CP-violating phases, and the naturalness of the nonleptonic ΔI=12 rule. In this context we examine many published gauge models and construct others to illuminate the questions at hand. We note that naturalness of μe universality for charged currents does not necessarily imply universality for neutral currents (natural "restricted" universality), and we emphasize the need for νe-beam experiments. For SU(2) × U(1) and SU(2) × U(1) × U(1) we give first examples of how a nontrivial natural θ can appear. Models with CP violation are classified as to whether their CP-violating phases are natural or not. For O(4) × U(1) we give a first example in which all the above naturalness criteria can be implemented. Here the natural μe universality is necessarily restricted. The principal tool used in these investigations is the strict renormalizability relative to a gauge group enlarged by discrete symmetries, and the union of representations reducible under the gauge group to irreducible ones under the enlarged group. To implement this program, it is sometimes necessary to introduce Higgs couplings involving right-handed neutrinos; here the zero neutrino mass is associated with a discrete symmetry which remains unbroken upon spontaneous breakdown. We also find that strict renormalizability can lead to mass relations between fermions. In O(4) × U(1) models, such mass relations as well as right-handed neutrinos are necessary ingredients. Furthermore, for these models the spontaneity of CP violation acquired an operational significance, namely, as a discrete symmetry necessary (but not sufficient) to give a CP-violating phase a natural value (90°). While the models we discuss are rather cumbersome, particularly due to the complexity of the symmetry-breaking mechanism, we expect that the tools we have developed may well have wider applicability.