On the Structure of Anomalous Composite Higgs Models

We describe the anomaly structure of an composite Higgs model in which the $SO(5)/SO(4)$ coset structure of the minimal model is extended by an additional, non-linearly-realized $U(1)_{\eta}$. In addition, we show that the effective lagrangian admits a term that, like the Wess-Zumino-Witten term in the chiral lagrangian for QCD, is not invariant under the non-linearly realized symmetries, but rather changes by a total derivative. This term is unlike the Wess-Zumino-Witten term in that it does not arise from anomalies. If present, it may give rise to the rare decay $\eta \rightarrow h W^+ W^- Z$. The phenomenology of the singlet in this model differs from that in a model based on $SO(6)/SO(5)$, in that couplings to both gluons and photons, arising via anomalies, are present. We show that while some tuning is needed to accommodate flavour and electroweak precision constraints, the model is no worse than the minimal model in this regard.


Introduction
In recent years, theorists have devoted much attention to models in which the electroweak hierarchy problem is solved by postulating that the Higgs boson arises as a composite pseudo-Goldstone boson of some new, TeV-scale strong dynamics [1][2][3].
If this is really what happens in Nature, then it is interesting to ask how we might go about figuring out what the underlying UV dynamics is, given our current rather poor theoretical understanding of strongly-coupled dynamics.
One way in which may we may do so is via triangle anomalies, which are not renormalized and so, if present in the UV, must be reproduced in the IR, either by massless fermions or by terms involving the pseudo-Goldstone bosons. Such anomalies are not only not renormalized, but they are also topological in nature. This means that by measuring them in the IR, we may gain concrete information about the UV dynamics. The classic example, of course, is in QCD, where the measurement of the decay rate π 0 → γγ (which arises via the electromagnetic anomaly [4,5]) enables us to infer that N c = 3.
In order to make such spectacular inferences, one must be lucky enough to have a low-energy lagrangian that admits a non-trivial anomaly structure. The minimal, and by far the most popular, composite Higgs model, based on SO(5)/SO(4) [6] does not feature anomalies. However, the 'next-to-minimal' model based on SO(6)/SO(5) [7], which is just as good from the phenomenological point of view, does. Compared to the minimal model, it features only an additional electroweak singlet scalar, which couples to electroweak gauge bosons via a single SO(6) 3 triangle anomaly.
Here we wish to describe yet another model, based on SO(5) × U (1)/SO (4). It is just as minimal as the SO(6)/SO(5) model, in the sense that it features only an additional electroweak singlet scalar. But it turns out to have a much richer anomaly structure, with several novel features.
A first novel feature is that there are now 3 distinct triangle anomalies, which give rise, at leading order, to couplings of the singlet to both gluons and electroweak bosons.
A second novel feature is that the higher-order structure of the anomalous effective action is not unique. Indeed, we exhibit two solutions to the Wess-Zumino consistency conditions. As far as we are aware, this phenomenon has not been observed before in the literature on sigma models.
A third novel feature is that the effective lagrangian admits a term that is not invariant, but rather changes by a total derivative, under the non-linearly realized symmetries. Such a term is much like the Wess-Zumino-Witten (WZW) term in the chiral lagrangian of QCD, which allows processes violating a putative internal symmetry under which Goldstone bosons change sign, such as K + K → 3π [8,9]. But there is one noteworthy distinction between the WZW-like term presented here and WZW term in QCD. In the latter, the presence of the anomaly implies the presence of the WZW term, in the sense that the low-energy effective action reproducing the anomaly reduces to the WZW term when the gauge fields vanish. In the model presented here, this is not so. This phenomenon is also, we believe, unknown in the sigma-model literature. The WZW-like term is also of phenomenological interest, in that it may lead to a rare decay of the singlet via η → hW + W − Z.
The outline is as follows. In the next Section, we present the pattern of symmetry breaking and sketch the concomitant anomalies. We then present a full discussion of the anomaly structure and the WZW-like term in §3. In §4, we describe the couplings to fermions and the implications for flavour physics. In §5, we discuss the form of the scalar potential that is induced by the couplings to gauge fields and fermions. We conclude in §6. Two more technical discussions are relegated to appendices.

The model
We wish to consider composite Higgs models based on a homogeneous space G/H that feature triangle anomalies. 1 The minimal model [6], based on SO(5)/SO(4) (or SO(5)/O(4) with custodial protection of Z → bb [11]), features no triangle anomalies. The 'next-to-minimal' model based on SO(6)/SO(5) [7] does, however, feature triangle anomalies. Indeed the Goldstone bosons transform as the 5-d irrep of SO (5), which, on restriction to the SO(4) subgroup, yields both a 4-d irrep (viz. the Higgs field) and a singlet. Moreover, since SO(6) is locally isomorphic to SU (4), we have the possibility of an SU (4) 3 triangle anomaly. 2 This anomaly leads to an interaction, at leading order, of the form 1 neither a coupling to gluons nor to photons [12]. The absence of a coupling to photons in this model is something of a group-theoretical accident, in that there are couplings to ZZ, γZ, and W W . But the absence of a coupling to gluons looks, at first sight, to be a generic problem in a composite Higgs model, given that the rôle of the new strong dynamics is to break the electroweak symmetry, independently of the SU (3) C dynamics. In fact, this is not so, since a consequence of partial compositeness is that the new strong sector must be charged under SU (3) C [13]. So it seems quite plausible that the elementary fermions of the UV theory could generate an anomaly involving SU (3) C .
One way to get couplings of the singlet to both electroweak gauge bosons and to gluons via anomalies is to include both SU (3) C and SU (2) L or U (1) Y in some simple subgroup of G. But such a strategy will lead to additional coloured Goldstone bosons, with potentially dangerous phenomenological implications. 3 A safer, and simpler, strategy is to modify the minimal model by adding a non-linearly realized U (1) η factor, such that the symmetry breaking pattern in the strong sector becomes where U (1) X denotes the usual U (1) needed in composite Higgs models to give the correct hypercharge assignments to SM fermions. This model features an additional SM singlet compared to the minimal composite Higgs model. We remark that, unlike the SO(6)/SO(5) model, this coset space allows for two distinct decay constants, f and f η , associated with the Higgs boson and the η, respectively. We assume henceforth that these are generated by the same strong dynamics, and hence are of the same order of magnitude. Let us now consider the possible triangle anomalies in this model. As we shall see in §3, triangle anomalies in G are admissible only if they vanish on restriction to H. Thus, our model admits 3 possible sources of triangle anomalies, namely SU (3) 2 C U (1) η and SO(5) 2 U (1) η anomalies, and anomalies involving U (1) η and U (1) X .
The leading contributions to the resulting low-energy effective action arise at dimension-5, taking the form where the coefficients are real, but otherwise arbitrary (corresponding to the freedom to arbitrarily choose the U (1) η irreps of fermions in the UV theory that contribute to the anomaly).

Anomalies and WZW-like terms
We now discuss the anomaly structure of the model in more detail, together with the phenomenological consequences. Let us begin with a general discussion. A theory with internal global symmetry group G may be anomalous, in the sense 4 that there is no way to regularise the theory such that the divergences of 3-point functions of conserved currents are all vanishing. Such anomalies are not renormalized and must be reproduced at all energies, with consequences for low-energy physics. One consequence is a consistency condition on the possible pattern of symmetry breaking at low energy: if a subgroup H ⊂ G is linearly realized at low energy, then H must be anomaly free. The reason [16] is that we could perturb the theory in an arbitrarily small way by gauging the whole of G, but choosing the gauge coupling to be arbitrarily small. If there were anomalies in H, the gauge bosons in H could get masses via a loop diagram formed out of two anomalous vertices, implying that H could not be linearly realised.
Once this restriction has been taken into account, it can be shown that the remaining anomalies can be reproduced satisfactorily at low-energies by Goldstone boson contributions [17] and an explicit formula for the anomalous contribution to the low-energy effective action for a reductive homogeneous space G/H can be found (see also [18]). As in [17], in this Section we employ the langauge of differential forms and omit normalization factors, giving the result only for the special case of a symmetric space, which is sufficient for our needs. The formula is most conveniently written in the fully-gauged case; the result for gauging a subset F ⊂ G can be obtained by setting the corresponding gauge fields to zero in the formula. 5 Let g and h be the Lie algebras of G and H. Since G/H is reductive and symmetric, ∃ a split, g = h + k, such that [h, k] ⊆ k and [k, k] ⊆ h, together with an 'internal parity' automorphism of g given by h → h and k → −k. Letting A be a g-valued 1-form representing the gauge fields and letting the coset representative be e ξ , with ξ ∈ k, we have that where A t = e tξ (A + d)e −tξ =⇒ F t = e tξ F e −tξ , c ± are arbitrary coefficients and Here, G ± are the positive/negative eigenstates with respect to the internal parity and the subscripts h and k denote projections onto the corresponding subspaces, such that The action (3.1) is unique in the sense that it is the only action which vanishes when the Goldstone bosons vanish and whose anomaly is given by δ α Γ = ± c ± trαG ± [A] [18]. But it is not unique in the sense that the anomaly can take many forms, corresponding to the addition of local counterterms to the effective action. (For a counterexample, it suffices to choose H = 0, for which any form G[A] for the anomaly is reproduced by the effective action Γ = 1 0 dt x trξG[A t ].) The action (3.1) is the one obtained by starting from the canonical form of the anomaly (which is symmetric with respect to G) and subtracting a 5 We caution the reader that the symmetry group of the resulting theory is not G, even at the classical level, but rather is the normalizer of F in G [19].
counterterm that enforces the vanishing of the anomaly on H [17]. Hadronic data suggest that this is the option chosen by the strong interactions, but we are unaware of an argument that it is the only consistent option.
Even though its raison d'être is to reproduce anomalies that arise due to gauging, (3.1) may not vanish in the limit that gauge fields vanish. In that limit, we obtain Such a term, which contains an undifferentiated Goldstone boson at leading order is not invariant under a G transformation, but rather changes by a total derivative. We will call such non-invariant lagrangian terms 'WZW terms', in honour of their prototype in the chiral lagrangian. It was shown in [20] that for compact G in d = 4, and for field configurations in the trivial fourth homotopy class, 6 such terms are in 1-1 correspondence with the generators of the fifth de Rham cohomology group of G/H. We caution the reader that not all such terms can arise from effective actions reproducing triangle anomalies. By way of a counterexample, consider the homogeneous space SU (2) × SU (2)/U (1), where the U (1) is included in one of the SU (2)s. This space is equivalent as a smooth manifold to S 3 × S 2 and a straightforward generalization of the arguments presented below shows that H 5 dR (S 3 × S 2 ) = R. Thus, there is a WZW term in this case, but since SU (2) has no triangle anomalies, it cannot arise from reproducing them. 7 There are, however, higher-order corrections for the SO(5) 2 U (1) anomaly, the detailed calculation of which we relegate to Appendix B. The next-to-leading order corrections arise at dimension 7, up to which order the effective action is given, in the operator basis of [21], by

Composite Higgs model anomalies
where W i and B are the field strength 2-forms and f is the non-linear scale. These corrections to the leading-order action appear to constitute a definite prediction of the model, once c 5 has been determined from measurements at leading-order. Unfortunately, the issue of non-uniqueness discussed above now rears its ugly head. Indeed, it is easy to check that the the leading-order action (2.2) alone also provides a solution of the Wess-Zumino consistency conditions that vanishes on SO(4) and so is, ceteris paribus, just as good a candidate for the anomalous action. It corresponds to a regularization of the SO(5) 2 U (1) anomaly such that it is appears entirely in the U (1) symmetry, whereas our action corresponds to an anomaly that is symmetric with respect to the broken generators in U (1) and SO (5). Whether there exist yet more consistent effective actions is an open question.
The two anomalous effective actions that we have found differ structurally only in their higher-order terms. But this does not mean that the non-uniqueness is phenomenologically inconsequential. Indeed, different choices of regulator for the anomaly lead to different values of the coefficient of the leading order term. In particular, the coefficient that corresponds to an anomaly that is symmetrized amongst all three currents is 1 3 that of the coefficient that corresponds to the anomaly that is contained wholly in a single current. So the resolution of the non-uniqueness issue will be crucial, if we want to make inferences about the UV structure of the theory (in particular its fermionic representation content), using experimental data.
Even if this non-uniqueness can be resolved, one should also bear in mind that the couplings of the Goldstone bosons to SM fermions will also generate loop contributions to the couplings in the anomalous effective action.

The WZW term
There is a possible WZW term in the model, as we can see by computing (4)). Recalling that SO(n+1)/SO(n) and S n are equivalent as smooth manifolds, we thus have that where we used the Künneth formula and the fact that H i dR (S n ) vanishes unless i = 0 or i = n, in which case it is isomorphic to R). Thus, the theory admits a WZW term.
We may easily find the form of the WZW term, at least for field configurations that correspond to the trivial class of the fourth homotopy group. These may be written [20] as the integral over a 5-ball, whose boundary is the spacetime S 4 , of a G-invariant 5-form, whose existence is guaranteed by the the non-vanishing fifth de Rham cohomology group. 8 For G/H S 4 × S 1 it is just the product of the usual volume forms on the hyperspheres. At leading order in the fields, we can integrate over the 5-ball to get where h i are co-ordinates in the neighbourhood of the identity on S 4 . 9 In As expected, the leading order term is invariant under the linearly-realized subgroup SO(4) and changes by a total derivative under a shift of the Goldstone bosons, corresponding to an infinitesimal SO(5) × U (1) transformation.
As we see in Appendix B, the WZW term does not arise from (3.1), which vanishes when the gauge fields vanish. Thus, unlike in QCD, the WZW term and the anomaly are independent, at least for this choice of regularization of the anomaly. 8 Unfortunately, this trick does not work for a general field configuration, because the fourth homotopy 9 This term was also singled out in [22], but for different reasons.
The WZW term is in fact the leading-order term coupling all 5 Goldstone bosons to each other. This can be seen by forming lagrangian invariants of the sigma model in the usual way out of the objects dη and e ξ de −ξ , which transform as adjoints under H. By Lorentz invariance, all terms involve an even number of derivatives. Terms with no derivatives are forbidden by the non-linearly realized symmetry, while terms with two derivatives are forbidden, because such a term must take the form ∂ µ η tr e ξ ∂ µ e −ξ = 0. A possible term with 4 derivatives takes the form ∂ µ η tr (e ξ ∂ ν e −ξ )(e ξ ∂ σ e −ξ )(e ξ ∂ ρ e −ξ ). Since SO(5) is free of triangle anomalies, the trace term must be antisymmetric in its 3 entries and so a non-vanishing Lorentz-invariant can be obtained only by contracting with µνσρ , such that we can revert to the language of differential forms. We have that e ξ de −ξ = dξ + 1 2 [ξ, dξ] + . . . , such that the leading order term involving all Goldstone bosons takes the form 3 2 dηtrdξdξ[ξ, dξ]. We need this to be non-vanishing when each ξ corresponds to a distinct Goldstone boson and one easily check using the basis in (B.11) that this is not so.
To explore the physics of the WZW term, we first gauge the SM subgroup. Since this is a subgroup of H, under which the WZW term transforms linearly, we may follow the usual prescription of promoting derivatives to covariant derivatives, obtaining Being of high dimension, the WZW leads to small contributions to low-energy physics. They may, nevertheless, be observable at a future high-precision collider, if sufficiently exotic. As an example, by the Goldstone boson equivalence theorem and by the antisymmetry in the fields, the WZW term leads, after electroweak symmetry breaking, to a coupling involving η, h, W + , W − , and Z and hence a possible decay mode η → hW + W − Z.
We remark that, whilst the WZW term is the leading order term coupling all 5 Goldstone bosons to one another, this does not necessarily imply that it gives the dominant contribution to this decay mode. Indeed, once we switch on the gauging and other symmetrybreaking couplings, we may well get contributions to this decay at lower orders, albeit paying the price of small, symmetry breaking couplings instead.

Discrete symmetries and Z → bb
As we have already remarked, the fact that SO(5) × U (1)/SO(4) is a symmetric space means that the Lie algebra possesses the 'internal parity' automorphism h → h, k → −k. The terms in the effective action giving rise to production and decay of the η are odd under this, so it could only be a symmetry of the dynamics if it were accompanied by a spatial inversion. In any case, the internal parity is broken in the vacuum by the Higgs VEV.
A more desirable symmetry to have, perhaps, is one that protects the decay rate for Z → bb [11]. In the minimal model based on G = SO(5), this is achieved by enlarging the linearly-realized subgroup from SO(4) to O(4). 10 The same enlargement could, of course, 10 In fact, if we wish to include matter fields in the theory in spinor representations, then we should consider not SO(5) but rather its universal cover Sp (2). As described in [23], the relevant homogeneous spaces without and with custodial protection of Z → bb are Sp(2)/(Sp(1) × Sp(1)) and Sp(2)/(Sp(1) × Sp(1) Z2), where the homomorphism in the semi-direct product maps the non-trivial element in Z2 to the outer automorphism of Sp(1) × Sp(1) that interchanges the two Sp(1)s. The homogeneous spaces are homeomorphic to SO(5)/SO(4) and SO(5)/O(4), respectively, and the discussion given here can be carried be carried out in the model described here, but it has the consequence that the WZW term is forced to vanish. Indeed, the usual action of SO(5) on R 5 gives rise to transitive actions on both S 4 (included in R 5 as the set of points equidistant from the origin) and RP 4 (given as the set of lines through the origin in R 5 and which we may also think of as the sphere with antipodal points identified). The stability subgroup in the former case is isomorphic to SO(4), while in the latter case it is O(4). Thus SO (5) 11 as do its other de-Rham cohomology groups (excepting of course H 0 dR ), and so the Künneth formula tells us that with O(4) included in this way, H 5 dR (SO(5) × SO(2)/O(4)) = 0, such that there can be no WZW term.
The WZW term may, however, be resurrected by changing the inclusion of the custodial O(4) in G. To understand this, it is useful to see more explicitly why the leading-order WZW term is forbidden in the standard implementation. To this end, choose co-ordinates (h, 1) on the unit 4-sphere included in R 5 in the neighbourhood of the stability point (0, 1).  Clearly, we can resurrect the WZW term, at least at leading order, by arranging for the O(4) custodial group to be included in G in such a way that the action of elements in O(4) disconnected from the identity also sends η → −η. To achieve this, set G = SO(5) × O (2) and let H be the subgroup

The stability group of the sphere is then
H is still isomorphic to O(4), but now the action of elements in O(4) disconnected from the identity sends η → −η. We conjecture therefore that H 5 dR = 0 in this case, such that there is a WZW term. over straightforwardly. 11 The reason for this is that the volume form on S 4 , which is given by the pull-back to S 4 via the inclusion . . dx 4 (where in the ellipsis we omit dx i ), is not identical at antipodal points; this is consistent with the non-orientability of RP 4 .

Couplings to fermions and flavour violation
We now discuss the couplings of the η singlet to SM fermions. We postulate that the SM fermion Yukawa couplings are generated via the paradigm of Partial Compositeness (PC) [24]. The basic assumption is that elementary states f i (where f ∈ {Q L , u R , d R , L L , e R } and i is the family index) couple linearly to fermionic operators O f i of the strong sector: We simplify the description of the strong sector as in [25], assuming a single strong coupling g ρ , and a single mass scale m ρ . The linear mixing parameters a i are taken to be hierarchical in order to reproduce the pattern of masses and mixing of the SM fermions. In particular, it can be shown that the Yukawa couplings of up and down quarks and of charged leptons are given by Throughout this Section, we use the symbol ∼ to indicate a relation that holds up to an unknown O(1) complex coefficient whose value is determined by the unknown strong sector dynamics. As in [15,26], a viable choice of the mixing parameters is given in Fig. 1. We remark that we have tacitly assumed, for simplicity, that every elementary field f a i couples to a single operator of the strong sector. In that case, it is easy to derive the coupling of the goldstone boson η to the fermions f i . Indeed, it is enough to replace fη η Z f i in the EFT of the usual composite Higgs model based on SO(5) × U (1) X , where Z f i is the U (1) η charge. As we shall see in §5, there is a price to be paid for this assumption, namely that one then requires an additional source of explicit U (1) η breaking in the model in order to generate a potential for the singlet. We expect, however, that relaxing this assumption will lead to comparable bounds.
Without specifying the details and quantum numbers of the composite operators under SO(5) × U (1) X , integrating away the heavy sector at the scale m ρ and keeping the leading term in H/f and η/f η , we get (in complete generality) that The Yukawa couplings are specified in a basis where the SM fields have specific charge assignments under U (1) η . The Yukawa matrices are diagonalised by bi-unitary transformations:Ŷ The expected size of the entries of these unitary matrices are linked to the mixing parameters in the following way (4.8) and similarly for the leptonic sector.
Rewriting the lagrangian in the mass basis and replacing the Higgs doublet with its VEV, one may deduce the flavour-and CP-violating couplings of the η to SM fermions: The typical size of the induced flavor violating Yukawa couplings depends on the structure dictated by partial compositeness and by the U (1) η charge assignment of the different fields. It is easy to show that TheẐ matrices are diagonal and contain the Z-charges of the fields; in particular we have With these expressions in hand, let us consider to what extent the suppression provided by the partial compositeness ansatz is sufficient to protect the model from dangerous flavour-and CP-violating contributions to physical observables.
If we assume the 'worst-case scenario' of an anarchic charge assignment ( , we obtain couplings of the following sizes:  These couplings are subject to phenomenological constraints. Bounds derived from flavour and CP violating processes induced by the exchange of the η boson can be found in the model independent analysis of [27]. We translate these into bounds on the combination Z fη , as reported in Fig. 2. It is clear from these results that, in order to pass the bounds imposed by observables involving the first two families of quarks, we need 10 −2 . The values of Z and f η are unknown and depend on the details of the strongly coupled sector. However, the most natural expectation is that f η ∼ f and Z ∼ 1, because the composite Higgs and the composite η are generated from the same strong dynamics. If this is the case, an extra source of flavour protection is required. An easy fix to this problem is to assume that the η PNGB couples to flavour in a universal way. More specifically, we can impose that Z f i = Z f for i = {1, 2, 3}. In this case the η and the Higgs boson couplings to fermions are aligned in each sector, such that All the flavour and CP problems are solved, since this pattern is flavour diagonal. 12 It is, moreover, rather predictive. Indeed the η, like the Higgs, couples predominantly to the third generation. This could have important implications for the production and decay mechanisms of the singlet, as we now discuss.
Bound In the narrow width approximation the prompt η production at the LHC can be expressed in terms of the relevant decay widths where √ s is the center of mass energy of the collider and C P P (M η , s) parametrise the relevant parton luminosities. In our framework the relevant partons to be taken into account are expected to be the gluons (if the associated anomalous term in Eq.(2.2) is present) and the bottom quarks. The explicit expressions for the partial widths are given by The mechanism of partial compositeness allows also to predict the dominant decay mode to be into top-quarks if m η > 2 m t . Depending on the value of the mass of the PNGB, phase space could be important and the expression for the decay width in this channel is given by The large coupling of η with the heaviest fermion allows for its production at LHC in association with top quarks. A recent analysis from the ATLAS collaboration [29], using data at √ s = 13 TeV, leads to the following bound: for a mass of the PNGB m η < 1 TeV. We conclude this section noticing that the simple flavour structure that we have just described, while guaranteeing immunity from flavour problems, does not allow one to generate a scalar potential (and hence a mass) for the singlet from fermionic couplings. As we discuss in the next Section, to do so requires that at least one of the elementary fermions in the partial compositeness scenario mixes with multiple strong-sector operators. Even if one tries to do so in a way that is as safe as possible (for example by allowing the right-handed up quarks to couple to strong-sector operators with just two values of the U (1) η charge), one ends up re-introducing flavour-violation in the right-handed up sector at a level comparable to that obtained with anarchic charge assignments in Fig. 2, which is itself comparable to that obtained in the minimal composite Higgs model. Thus, if one wishes to generate the scalar potential from fermionic couplings, it would seem that either a mild tuning or some kind of flavour-alignment mechanism (such as those advanced in [30]) is required.

The scalar potential
Since the η singlet is protected by a shift symmetry, its mass and non-derivative interactions must be proportional to U (1) η -breaking couplings. The elementary fermion couplings to the strong sector are the main source of such global symmetry violations, and the η singlet then obtains a potential via the same Coleman-Weinberg mechanism that radiatively generates the pseudo-Goldstone Higgs potential at one loop. This must originate from fermion couplings, since no potential is generated by gauge couplings in the absence of anomalies, because U (1) η commutes with the rest of G. 13 The particular form of the symmetry breaking from Yukawa couplings is, in general, model-dependent.
To illustrate the mechanism in a minimal phenomenological model, we take an elementary top-right coupling to two strong-sector operators with different U (1) η charges such that the symmetry is explicitly broken by a collective mechanism. 14 The doubling of the top-right operator is necessary to break the U (1) η symmetry, since with only one operator, we can restore it by assigning a suitable U (1) η charge to the elementary fermion.
The simplest realisation of the model is to extend the minimal composite Higgs with the elementary fermions q L , u R , and d R uplifted to a spinorial representation of SO (5), under which the corresponding composite operators O q , O u 1 , O u 2 and O d transform. Summing implicitly over three flavours, the relevant Lagrangian terms may be written as We see that if one of the two top-right couplings is set to zero then a U (1) η symmetry may be restored. The doubling of the corresponding u R operator thereby provides a collective mechanism for breaking the symmetry. The elementary fermions embedded in complete spinorial representations of SO(5) decompose as 4 = (2, 1)+(1, 2) under SU (2) L ×SU (2) R . By completing the representation with spurious fermions they can be represented by fields transforming under this symmetry as where the superscript Z represents the U (1) η charges and the subscript is the U (1) X charge assigned by requiring Y = T 3 R + X. We have set to zero the non-dynamical spurions that complete the SU (2) L (SU (2) R ) representation in the upper (lower) two components of the multiplet, though they are formally required to restore the global SO(5) symmetry.
The Coleman-Weinberg effective potential may be derived by writing the most general SO(5)×U (1) X ×U (1) η -invariant effective action then setting the spurions to zero to recover the effective Lagrangian, as detailed in Appendix A. The quadratic terms in the background of the Higgs and singlet are then responsible for the one-loop effective action. Assuming real CP-conserving form factors, we obtain for the third-generation q L = (t L , b L ), t R sector, in momentum space, where H c ≡ iσ 2 H with H the usual complex Higgs doublet and fη (Zr−Zs)η = c rs η + is rs η .
We have also defined c h ≡ cos (h/f ), s h ≡ sin (h/f ), c rs η ≡ cos a = 1, 2, 3, 4. The Π 0,1 , M 1 functions are form factors that encapsulate effects from strong dynamics. The resulting potential is detailed in Appendix A with the leading-order approximation found to be of the form where α, β, α 12 , and β 12 are coefficients related to momentum integrals of the π 0,1 , M 1 form factors. Thus, the resulting potential is almost identical to that obtained in the minimal model in [6], but with the coefficients replaced by α, β → α + α 12 c 12 η , β + β 12 c 12 η . The potential has extrema occuring at s 12 η = 0 =⇒ c 12 η = ±1 15 and c h = − 1 2 α±α 12 β±β 12 . As is usual in composite Higgs models, we find that with O(1) values for the coefficients, v ∼ f is expected and so a slight tuning is needed to obtain the required suppression of the the weak scale for compatibility with electroweak precision tests.
There is no mixing between the Higgs and η, so no risk of running into bounds from existing observations in the Higgs sector. The non-vanishing second derivatives are given by Thus, once we have tuned the electroweak vev to be small compared to f , we will also obtain a corresponding suppression of the Higgs mass-squared, exactly as one finds in [6]. The mass of η, however, is unsuppressed, so we obtain a hierarchy of scales, of parametric size v/f (assuming f η ∼ f ) between the η mass and either the electroweak scale or the mass of the Higgs boson. An identical conclusion is reached if we instead embed the elementary fermions in the fundamental, 5-d representation of SO(5), as we describe in Appendix A. (In this case, as we discuss in Appendix 3, we can also protect the Zb L b L coupling by a custodial symmetry.) The hierarchy of scales is, in fact, generic, and follows from the fact that the scalar potential is an even function of h. Indeed, with V (h, η) = f (h 2 , η), we obtain that ∂V ∂h 2 = 4v 2 ∂f /∂h 2 | v , at an electroweak-symmetry-breaking minimum. One can also see that any mixing between the mass eigenstates of the singlet and the Higgs will also be v/f suppressed.
Although this hierarchy of scales is generic, it may be affected by the well-known difficulty (see e.g. [31] for a comprehensive discussion) of accommodating a Higgs mass as low as 125 GeV in composite Higgs models, given the size of contributions to the Higgs potential from top quark loops. If the required additional suppression is an accidental tuning, then we expect no corresponding suppression in the η mass. But if it is achieved by the presence of light top partners that cut off all contributions to the scalar potential, then one should find a corresponding suppression of the η mass.

Conclusion
Composite Higgs models remain viable possibilities for solving the electroweak hierarchy problem. Here we introduced the most minimal extension of the coset structure allowing a non-trivial anomaly structure and discussed the details of the low-energy action reproducing 15 We remark that a vacuum with c 12 η = −1 does not imply spontaneous violation of CP , because CP sends η → −η and because physics is periodic in the argument of the cosine. the anomalies. We showed that there can be higher-order corrections, beyond dimension 5, to the action reproducing the SO(5) 2 U (1) anomaly, but also pointed out that the effective action is not unique. We also showed that the structure of the coset space admits a possible Wess-Zumino-Witten term, by which we mean a term in the effective lagrangian which is not invariant under the non-linearly realized symmetries, but rather shifts by a total derivative. Unlike in QCD, this term is not contained in the anomalous effective action that we consider. If present, the term leads to an exotic phenomenological signature in the form of the singlet decay η → hW + W − Z.
The discussion of the anomaly structure in this specific model highlights three questions that it would be interesting to resolve in models based on a general coset space, G/H. Firstly: is there a way to resolve the non-uniqueness issue of the low-energy anomalous effective action? Secondly: do Wess-Zumino-Witten terms that are not required to reproduce triangle anomalies have some other purpose? Thirdly, is there an elegant way to write the Wess-Zumino-Witten term for coset spaces whose fourth homotopy group is non-vanishing?
The anomaly-induced production and decays of the singlet may induce flavour violation of its couplings to fermions and we have shown how they can be kept under control without fine-tuning if the η couples in a flavour-universal way through the mechanism of partial compositeness. For natural O(1) charge assignments, this pattern of coupling predicts a large decay width through the tt final state.
We also showed how the potential for the PNGB Higgs and singlet can be generated by elementary fermion couplings to the strong sector that break the global symmetry, though this requires a slight departure from the flavour-universal pattern of couplings, because of the need for a collective breaking mechanism to give mass to the singlet. We find that the singlet mass is naturally unsuppressed relative to the Higgs mass and electroweak scale, thus requiring no additional tuning beyond the usual ones needed for a small electroweak scale and light Higgs mass in composite models. Since the form of the potential contains no mixing between the Higgs and the singlet there are no further bounds from the Higgs sector.
Should the Higgs arise as a pseudo-Nambu-Goldstone boson, it will be imperative to determine the new strong sector responsible for it. Given our current limited understanding of strongly-coupled theories, the anomaly structure, if present, may be crucial in gaining some insight as to the nature of the underlying UV dynamics. We hope that the model described here, or some variant thereof, may be useful in this regard.

A Scalar potential computations
Higgs-singlet potential in the extension of the MCHM4 The elementary fermions are uplifted to a 4 of SO (5), which decomposes as 4 = (2, 1) + (1, 2) under SU (2) L ×SU (2) R . The most general SO(5)×U (1) X ×U (1) η -invariant effective action up to quadratic order can then be written in momentum space as where the pseudo-Goldstone singlet η and Higgs doublet h a = (h 1 , h 2 , h 3 , h 4 ) are given here by Explicit expressions for the SO(5) gamma matrices Γ i can be found in Ref. [6]. The Π(p), M (p) functions are form factors that encapsulate information from the strong sector.
Setting to zero the non-dynamical spurions that complete the Ψ representation, we obtain the quadratic terms in the Lagrangian for the third generation q L = (t L , b L ), t R sector, where H c ≡ iσ 2 H and H is the complex Higgs doublet. Assuming real CP-conserving form factors, this becomes where Π 12 0,1 ≡ Π u 1 0,1 + Π u 2 0,1 . Including the SU (2) L gauge field contributions with form factors Π 0 and Π 1 as defined in Ref. [6], the resulting Coleman-Weinberg potential generated at one loop is given by Assuming the form factors decrease fast enough with increasing momentum, the logarithm may be expanded to give the leading-order approximation for the potential, The coefficients are related to the form factor integrals as Higgs-singlet potential in the extension of the MCHM5 The elementary fermions may instead be embedded in the fundamental representation of SO (5). Such a setup can also be extended to protect the Zb L b L coupling by a custodial symmetry if we assume that q L is embedded such that it couples to two operators with different U (1) X charges. The resulting Lagrangian of the effective coupling to the composite operators can be written as The fields transforming under the 5 of SO(5) with non-dynamical spurions completing the representation (which we again set here to zero) are chosen to be The superscripts and subscripts denote the U (1) η and U (1) X charges respectively. It might initially seem that an explicit breaking of U (1) η from q L coupling to two different operators will generate a potential for the singlet, thus making the doubling of the top-right couplings redundant, but it turns out that the unbroken U (1) X symmetry forbids the necessary η coupling in the effective action. For this reason we minimally extend the top-right sector as in the previous model and fix Z q 1 = Z q 2 = Z q . The most general effective action under SO(5) × U (1) X × U (1) η is then Setting the non-dynamical spurions to zero to keep the relevant terms for computing the Coleman-Weinberg effective potential, omitting the bottom contributions, we find Assuming real form factors with CP conservation, in the unitary gauge this gives for the top quark sector the quadratic Lagrangian The resulting Coleman-Weinberg potential is V (h, η) = 9 2 d 4 p (2π) 4 log 1 + B Higher-order contributions to the anomalous effective action To compute higher-order contributions to the anomalous effective action (3.1) for the SO(5) × U (1)/SO(4) model, it is useful to consider what happens if we start from some G/H and add an additional, broken, ungauged, U (1) factor, along with a G 2 U (1) triangle anomaly. We thus need to add a Goldstone boson η to the existing Goldstone bosons, ξ, and to make the replacements A t → A t − tdη =⇒ F t → F t , A 2 t → A 2 t . We observe that η can appear in G ± in (3.1) only in the terms Since we must take the trace of this with a Goldstone boson ξ in G/H in order to get a non-vanishing contribution via the anomaly, and since the generators in g are orthogonal, the sole such contribution to the action is given by (B.1) In addition, we get contributions where we take terms in G ± not involving η, of the form These simplify dramatically. Indeed, orthogonality of generators, together with tr(A 2 k F k + A k F k A k + F k A 2 k ) = trA 2 k F k = 0, implies that G − = 0. Moreover, since tr(A t ) 4 k = 0, we see that there can be no WZW term arising from our anomalous effective action in the ungauged limit.
All in all, we find that the anomalous action can be simplified to We now consider the contributions of each of the triangle anomalies in turn. For SU (3) 2 U (1) and the anomalies involving U (1)s, the effective action just reduces to to all orders. Things are somewhat more complicated for the SO(5) 2 U (1) anomaly. Let us content ourselves with computing the action at the next-to-leading order. Evidently, we have that  From which it is clear that the first corrections arise not at dimension 6, but at dimension 7. Explicitly, we find 16 To convert this into an explicit formula in terms of SU (2) × U (1) invariant operators in the basis of [21], we use the basis for so (5)  where W i and B are the field strength 2-forms.
Putting everything together, we obtain the expression in eq. 3.5.