Symmetries from outer automorphisms and unorthodox group extensions

TL;DR

This paper explores how to construct and classify symmetries in quantum field theories through group extensions, including unorthodox ones, with applications to multi-Higgs-doublet models and implications for model building.

Contribution

It introduces a framework for generating symmetry groups via outer automorphisms and unorthodox extensions, applied to scalar potentials in multi-Higgs-doublet models.

Findings

All symmetry groups in 2HDM can be obtained from extensions of CP1.

Scanning group extensions aids in identifying possible QFT symmetries.

Many constructible groups may not be realizable due to accidental symmetries.

Abstract

Symmetries play an essential role in the construction and phenomenology of quantum field theories (QFTs). We discuss how to construct symmetries of QFTs by extending minimal "seed" symmetry groups to larger groups that contain the seed(s) as subgroup(s). On the one hand, there are so-called "normal" extensions, which are given by outer automorphisms of the original symmetry group (including the trivial one) and contain the seed as a normal subgroup. On the other hand, there can be "unorthodox extensions" which do not have this property. We demonstrate our logic on the most general scalar potentials of the two- and three-Higgs-doublet models (2HDM and 3HDM). For the 2HDM, we show that all symmetry groups, including the different possible classes of CP and continuous symmetry groups, can be obtained from extensions of the smallest possible symmetry CP1 by consecutive outer automorphisms. Scanning over normal and unorthodox group extensions might be the easiest way to "machine learn" the possible symmetries of a QFT. However, many of the groups constructible in this way may not be realizable in a concrete model, in the sense that they lead to additional accidental symmetries. Hence, we also comment on a different, "top-down" way to obtain the possible realizable symmetry groups of a QFT based on the covariant transformation of couplings under the most general basis changes.