Fingerprints of heavy scales in electroweak effective Lagrangians

57 pages, 1 pdf figure. Version published at JHEP

section_content: The first LHC run has established the Standard Model (SM) as the correct theory of the fundamental interactions at the energy scales explored so far [1]. A Higgs boson with the expected properties has been found and its measured mass has determined the last free parameter of the electroweak Lagrangian. All SM ingredients are now verified and the experimental results are successfully explained with high precision, exhibiting an overwhelming success of the SM paradigm. At the same time, all LHC searches for exotic objects have given negative results, putting in trouble the most fashionable theoretical scenarios for physics beyond the SM. 

While new dynamics is needed to explain the many open questions which remain unanswered within the SM, the LHC data are pushing the energy scale where this new physics could sit beyond the reached experimental sensitivity, well above the TeV. The non-observation of new particle states suggests the existence of a mass gap between the electroweak and new-physics scales. This situation can be adequately described with effective field theory (EFT) methods [2, 3], writing the most general Lagrangian with the SM gauge symmetries in terms of the known light fields. The lowest-order term with dimension D = 4 corresponds to the SM, and any low-energy signals of new phenomena are parametrized in terms of higher-dimensional operators suppressed by the corresponding powers of the new-physics scale. The couplings of the effective Lagrangian contain all the dynamical information on the underlying ultraviolet (UV) dynamics which is accessible at low energies. 

When building the effective Lagrangian, one needs to specify the symmetry properties of the light degrees of freedom. In particular, whether the recently discovered Higgs field belongs to a SU(2) L doublet representation, as predicted in the SM, or it is a singlet field, detached from the electroweak Goldstones. The first possibility is usually assumed in most phenomenological analyses, since it provides a simpler and more predictive theoretical framework, based on a linear realization of the electroweak symmetry breaking. However, in order to actually test the validity of this assumption, the more general (and involved) non-linear realization with a singlet Higgs field must be adopted. 

The main weakness of the EFT approach is the large number of unknown low-energy couplings (LECs) that need to be taken into account to perform correct (no hidden assumptions) phenomenological analyses. With a single SM family of fermions and assuming
section_name: Introduction

section_content: the separate conservation of the baryon and lepton numbers, the most simple linear electroweak effective Lagrangian contains 1 59 independent operators with D = 6 [7, 8]. This number blows up to 1350 CP -even plus 1149 CP -odd operators when 3-generation flavour quantum numbers are included [9]. A much larger number of independent structures is of course present in the more general non-linear realization [10, 11]. 

Unless new particle states are soon discovered at the LHC, we need to face the involved structure of the electroweak EFT Lagrangian and learn how to identify the dynamics underlying any possible anomalous behaviour which could be observed in the data. In this paper we attempt a first step in this direction, exploring the low-energy consequences of generic couplings of the known particle fields to heavier states (resonances). To simplify the analysis, we only consider colour-singlet heavy fields with bosonic quantum numbers J P = 0 ± and 1 ± that are in singlet or triplet representations of the electroweak group, and work in the limit where CP is an exact symmetry. Moreover, we ignore QCD interactions and drop all operators containing gluon fields. 

We build a general effective Lagrangian, implementing the electroweak chiral symmetry breaking SU(2) L ⊗ SU(2) R → SU(2) L+R, which contains the SM fields and the heavier states. We adopt a generic non-linear realization of the electroweak symmetry breaking with a singlet Higgs, without making any assumption about its possible doublet structure. Integrating out the heavy particles, we recover the low-energy electroweak EFT with definite values for its LECs; they are functions of the masses and couplings of the heavy states which are no longer in the effective Lagrangian. The resulting pattern of LECs among the light fields characterizes the underlying dynamics at higher scales [12]. 

These generic predictions can be made more precise, assuming a given short-distance behaviour of the unknown fundamental theory, i. e., what is the expected fall-off at high momenta of specific Green functions. This is a very generic UV requirement, characterizing broad classes of theories. Imposing a proper UV behaviour on the effective Lagrangian which includes the heavy states, one gets constraints on its parameters with interesting implications for the LECs of the low-energy electroweak EFT [12]. 

Our approach follows the successful methodology [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] developed long time ago in QCD to uncover the dynamical information hidden in the LECs of Chiral Perturbation Theory (χPT) [24] [25] [26] [27] [28] [29] [30] [31] [32] [33]. We can profit now from this experience to explore the much more difficult electroweak case, where the fundamental theory is still unknown. 

We will first discuss the well-tested pattern of electroweak symmetry breaking (EWSB) and its associated custodial symmetry in section 2. The needed chiral tools to develop our formalism are given in section 3, where we describe the basic ingredients of the electroweak EFT and the power counting adopted to organize the low-energy Lagrangian. Our counting of infrared chiral dimensions differs from previous works [34] in the treatment of custodial symmetry-breaking operators. We introduce a more efficient power-counting assignment which reduces the number of relevant operators, taking into account the phenomenological suppression of these effects. The geometric CCWZ formalism [35, 36] is used in section 4
section_name: JHEP04(2017)012

section_content: to incorporate the heavy degrees of freedom and construct the high-energy resonance Lagrangian. We provide a complete classification of allowed structures, satisfying all symmetry requirements, and build the corresponding effective Lagrangian which couples the light and heavy fields, describing the massive spin-1 bosons through the usual Proca formalism. 

In section 5, the heavy states are integrated out with a compact (tree-level) functional procedure and the resulting low-energy Lagrangian is worked out. We collect there all contributions to the LECs from spin-0 and spin-1 massive fields, in the Proca four-vector representation. In some situations, spin-1 heavy particles allow for a more economical treatment in terms of rank-2 antisymmetric tensor fields R µν [14]. The alternative description of the electroweak spin-1 resonances with the antisymmetric formalism is presented in section 6, where the corresponding predictions for the LECs are worked out. The pattern of LECs obtained through a tree-level exchange of heavy spin-1 fields turns out to be completely different with the antisymmetric and Proca descriptions. Both formalisms are of course equivalent versions of the same EFT [14, 37, 38]. We give an explicit proof of this equivalence and demonstrate that the differences arising through a naive exchange of massive spin-1 fields are compensated by local operators without heavy states. In section 7, we show how the couplings of these local terms can be determined through short-distance conditions. Once a proper UV behaviour is imposed, the antisymmetric and Proca formalisms yield identical predictions for the wanted LECs. The more fashionable description of spin-1 massive bosons in terms of gauge fields is analyzed in section 8, showing that it corresponds to a particular case of the Proca formalism (a model), where the gauge symmetry generates directly the needed local terms to guarantee good UV properties. 

Our predictions for the low-energy EWET couplings are finally compiled in section 9. We discuss there the pattern implied by the different quantum numbers of the massive states which have been integrated out, and conclude with a few summarizing comments. Many technical details are given in several appendices.
section_name: JHEP04(2017)012

section_content: In order to generate the masses of the W ± and Z bosons, it is necessary to enlarge the massless SU(2) L ⊗ U(1) Y gauge theory with three additional degrees of freedom to account for the missing longitudinal polarizations of the three gauge bosons. The SM incorporates instead a complex scalar doublet Φ(x) containing four real fields and, therefore, one massive neutral scalar, the Higgs boson, remains in the spectrum after the EWSB. It is convenient to collect the four scalar fields in the 2 × 2 matrix [39] Σ

with Φ c = iσ 2 Φ * the charge-conjugate of the scalar doublet Φ. The SM scalar Lagrangian can then be written in the form [3, 29]
section_name: Custodial symmetry

section_content: where

µ is the usual gauge-covariant derivative and A denotes the trace of the 2 × 2 matrix A. 

The Lagrangian

while the vacuum choice 0|Φ 0 |0 = v is only preserved when g L = g R, i. e., by the custodial symmetry group SU(2) L+R [40]. In the SM, SU(2) L is promoted to a local gauge symmetry, but only the U(1) Y subgroup of SU(2) R is gauged. Therefore, the U(1) Y interaction in the covariant derivative breaks the SU(2) R symmetry. 

Let us use the polar decomposition

to parametrize the four degrees of freedom as excitations over the chosen vacuum. This separates in a clear way the Higgs field h(x), which is a singlet under G transformations, from the three Goldstones ϕ(x) appearing in the 2 × 2 matrix U(ϕ(x)) which transforms as

(2. 5)

One can rewrite L(Φ) in the form [39, 41, 42] :

with

Dropping the terms containing the Higgs field, eq. (2. 6) is the universal Goldstone Lagrangian associated with the symmetry breaking

(2. 7)

The same Lagrangian describes the low-energy dynamics of pions in two-flavour QCD, with v → f π and ϕ → π [3]. The electroweak precision data [43] have confirmed that (2. 7) is also the right pattern of symmetry breaking associated with the electroweak Goldstone bosons,

The unitary gauge, where the Goldstones are rotated away through an appropriate gauge transformation, corresponds to U = 1. The Goldstone Lagrangian in eq. (2. 6) reduces then to a quadratic mass term for the gauge bosons, giving the SM prediction for the W ± and Z masses:

and tan θ W = g /g. These masses are generated by the electroweak Goldstones, not by the Higgs field (the QCD pions generate a tiny correction

Before the Higgs discovery, the success of the SM mechanism of EWSB was only due to its pattern of symmetry breaking in eq. (2. 7), which is well established phenomenologically. The particular dynamical structure of the SM scalar Lagrangian can only be tested through the Higgs properties. The measured Higgs mass determines the quartic coupling, λ = m 2 h /(2v 2 ) = 0. 13, while its gauge couplings are consistent with the SM prediction within the present experimental uncertainties.
section_name: JHEP04(2017)012

section_content: The SM scalar doublet Φ gives rise to a renormalizable Lagrangian with good shortdistance properties. However, one would like to test phenomenologically whether this doublet structure is indeed the mechanism chosen by Nature to generate the EWSB or there is a different implementation of the pattern of symmetry breaking in eq. (2. 7). Therefore, we will build the electroweak effective theory (EWET) in terms of the Goldstone matrix U(ϕ(x)) and a singlet scalar field h(x), without assuming any relation among them. The Goldstone dynamics can be analyzed through an effective Lagrangian with the SM gauge symmetry realized non-linearly, 2 applying momentum expansion techniques analogous to those used in χPT to study low-energy QCD.
section_name: JHEP04(2017)012

section_content: The EWET is defined by the most general low-energy Lagrangian, containing the SM gauge bosons and fermions, the electroweak Goldstones and the Higgs field h, which satisfies the SM gauge symmetries. Our only assumption is the pattern of EWSB in eq. (2. 7). The Lagrangian will be organized as an expansion in powers of derivatives (momenta) over the EWSB (and/or any new physics) scale:

The first piece L

SM denotes the renormalizable massless (unbroken) SM Lagrangian, which only contains fermions and gauge bosons:

with the sum running over all fermions f in the SM, D µ being the covariant derivative of the SU(3) C × SU(2) L × U(1) Y SM gauge group and L YM the corresponding Yang-Mills Lagrangian. When we later study the chiral low-energy counting we will see that L (0) SM is part of the lowest-order (LO) Lagrangian L 2. The remaining LO terms related with the EWSB are contained in ∆L 2 and the dots stand for the infinite tower of higher-order operators in the chiral expansion. 

A very detailed description of the EWET has already been given in refs. [10, 11]. We will introduce a slightly modified formalism for the Goldstone fields, which is more appropriate to study their couplings to massive states [13].
section_name: Electroweak effective theory

section_content: The electroweak Goldstone bosons are parametrized by the SU(2
section_name: Bosonic fields

section_content: with g h (ϕ, g) ≡ g h a compensating transformation to preserve the chosen coset representative, which depends both on the Goldstone coordinates and the group element g [35, 36]. Since parity interchanges left and right, leaving SU(2) L+R invariant, the compensating transformation g h (ϕ, g) is the same in the two chiral sectors. We will adopt the canonical choice of coset representative u L (ϕ) = u † R (ϕ) = u(ϕ) [44, 45], 3 which transforms like

with the exponential representation u(ϕ) = exp{i σ ϕ/(2v)}. Its relation with the matrix U(ϕ) in eq. (2. 5) is given by

We formally introduce the SU(2) L and SU(2) R matrix fields, Ŵµ and Bµ respectively, transforming as

the covariant derivative

and the corresponding field-strength tensors

We can then build effective operators invariant under local SU(2) L ⊗ SU(2) R transformations. The identification [46] Ŵ

allows us to recover the SM gauge fields, breaking explicitly the SU(2) R symmetry group while preserving the SU(2) L ⊗ U(1) Y gauge symmetry. 

For the construction of the effective Lagrangian, it is convenient to define tensors transforming as SU(2) L+R triplets, X -→ g h X g † h, and their covariant derivatives

(3. 10)

The needed connection can be easily constructed with the left and right parts of the Goldstone coset representative [46] :
section_name: JHEP04(2017)012

section_content: which transform as

The quantities

turn out to be very useful building blocks, satisfying the required triplet transformation property:

In appendix A, we summarize how these bosonic chiral structures transform under discrete symmetries and Hermitian conjugation. 

The LO Goldstone Lagrangian in eq. (2. 6) can be written in terms of the invariant operator u µ u µ. Since the Higgs field is a singlet under SU(2) L × SU(2) R, we can multiply this structure with an arbitrary polynomial of h [47]. The powers of the Higgs field are compensated by corresponding powers of the electroweak scale v, as happens for the Goldstone fields in the non-linear representation given by u(ϕ). We will show later that they do not increase the chiral dimension, leading to a consistent power counting to organize the EWET [34]. The bosonic part of ∆L 2 is then given by

with

The SM scalar Lagrangian is recovered for c

= 1 and c (u) n>2 = 0. Since we expect the Higgs h and the electroweak Goldstones to have a similar underlying origin, we assume that the coefficients c (u) n are O(1), as those governing the expansion of u(ϕ) in terms of the ϕ fields. This is consistent with the present experimental situation, where the only coupling measured so far, c (u) 1, is found to be close to its SM value. 

The symmetry requirements allow one to multiply the quadratic derivative term of the Higgs with an arbitrary function F h (h/v). However, this function can be always reduced to F h = 1 through an appropriate Higgs field redefinition [48]. An explicit derivation is provided in appendix B.
section_name: JHEP04(2017)012

section_content: In order to embed the SM fermion multiplets in SU(2) L ⊗ SU(2) R, the symmetry group is extended to G = SU(2) L ⊗ SU(2) R ⊗ U(1) X with X = (B -L)/2, being B and L the baryon JHEP04(2017)012 and lepton quantum numbers, respectively [49]. The left and right chiralities of the SM fermions are arranged into SU(2) L and SU(2) R doublets:

with ψ L,R = P L,R ψ and P L,R = 1 2 (1 ∓ γ 5 ). The other quark and lepton doublets are organized similarly. The fermions transform under G like

with g X ∈ U(1) X. The corresponding covariant derivatives of these fermion doublets are given by

) where the SU(2) L,R auxiliary matrix fields Ŵµ and Bµ were introduced in the previous section, (B -L)/2 must be understood as an operator that acts on the fermions and the U(1) X field Xµ transforms like

The U(1) X field strength tensor

is a singlet under G. The SM gauge interactions are recovered when these auxiliary fields are forced to take the values given in eq. (3. 9) and Xµ = -g B µ. 

(

This introduces an explicit breaking of the symmetry group G to the SM subgroup SU(2

The bosonic formalism discussed in the previous subsection does not get modified by this enlargement of the symmetry group as for bosons one has B = L = 0. In order to construct the EWET operators, it is convenient to introduce the covariant fermion doublet fields

that transform with g h instead of g L,R :
section_name: Fermionic fields

section_content: The same transformation applies obviously to the combined fermion field ξ ≡ ξ L + ξ R. The corresponding covariant derivatives are easily found to be

and

Notice that the Goldstones disappear from the covariant form of the kinetic fermion Lagrangian:

In general, Goldstone fields are only required by the electroweak symmetry in fermionic terms that mix left and right chiralities, e. g., scalar, pseudoscalar and tensor fermion bilinears, contrary to vector and axial-vector ones:

The fermion masses are generated through Yukawa interactions that break explicitly the symmetry group G. To account for this type of symmetry breaking one introduces right-handed spurion fields transforming as

(3. 30)

The Yukawa interaction takes then the form

which is formally invariant under G transformations. The explicit symmetry breaking incorporated into the SM Lagrangian is recovered when the spurion field adopts the value [51, 52 ]

where [10] Ŷt

In order to incorporate the flavour structure, the fermion doublets ξ must be promoted to vectors ξ A in the generation space with family index A. The spurion field Y becomes then a 3 × 3 flavour matrix [53] with up-type and down-type components Ŷu (h/v) and Ŷd (h/v), which parametrize the custodial and flavour symmetry breaking. Moreover, different

flavour structures could appear at every order in the expansion in powers of the Higgs
section_name: JHEP04(2017)012

section_content: field h, unless additional dynamical inputs are introduced (chiral symmetry alone does not fix these structures). 4 For simplicity, in this article we will only consider a single fermion family and assume universality, i. e., that all families couple in exactly the same way. We postpone the study of the EWET flavour dynamics to future works. The fermionic fields are combined into generic bilinears J Γ with well-defined Lorentz transformation properties, which can be further used to build Lagrangian operators with an even number of fermion fields. Making explicit the spinorial (α, β) and SU(2) (m, n) indices, the covariant bilinears have the general form

where η, ζ are covariant spinor structures, Γ = {I, iγ 5, γ µ, γ µ γ 5, σ µν } the usual basis of Dirac matrices, and Tr D refers to the Dirac trace. The minus sign on the right-hand side is generated by the permutation of the two fermion fields. These bilinears transform covariantly,

and can be easily combined with other tensors O transforming like O → g h Og † h to build invariant operators under G:

The bilinears relevant for the present work are:

Some useful transformation properties of the covariant bilinears under discrete symmetries are compiled in appendix A.
section_name: JHEP04(2017)012

section_content: The LO bosonic Lagrangian ∆L Bosonic 2 involves terms with arbitrary powers of the Goldstone and Higgs fields, which are generated through the Taylor expansions of the non-linear coset representative u(ϕ) and the polinomic functions F u (h/v) and V (h/v) in eq. (3. 15). Therefore, the EWET operators cannot be simply ordered according to their canonical dimensions. One must use instead the so-called chiral dimension d which reflects their infrared behaviour at low momenta [24]. The effective Lagrangian is expressed as an infinite sum of terms, scaling with increasing powers of momenta in the limit p → 0:

Quantum loops are renormalized order by order in this low-energy expansion.
section_name: Chiral power counting

section_content: Owing to their non-linear transformation (2. 5), Goldstones do not have infrared dimension and their canonical field dimension is compensated by the intrinsic electroweak scale v characterizing the EWSB. Therefore u(ϕ) ∼ ϕ/v ∼ O(p 0 ). We assume that the same chiral counting applies to the light Higgs field. 5 erivatives bring one power of momenta. A consistent counting requires then that the external gauge sources Ŵµ, Bµ and Xµ, present in the covariant derivatives, carry the same infrared dimension d = 1. Moreover, since p 2 W,Z,h = m 2 W,Z,h, in the low-energy effective theory involving light W ±, Z and h fields, their masses must also be counted as O(p). Since m W = gv/2 and m Z = g 2 + g 2 v/2, this implies that g, g ∼ O(p), while W µ and B µ are O(p 0 ). 6 With these chiral counting rules, all terms in L YM and ∆L Bosonic 2 are of O(p 2 ), provided one assigns also this chiral dimension to the Higgs potential. 7 In particular, the kinetic, cubic and quartic gauge terms have all d = 2. Therefore, the chiral low-energy expansion preserves gauge invariance order by order [49]. 

The infrared dimension of chiral fermion fields is also one unit less that their canonical dimension, ξ L,R ∼ O(p 1/2 ), so that the fermionic component of

). The Yukawa couplings y ξ, and thus the SM fermion masses, are assigned chiral dimension d = 1; the fermion mass terms are then also of O(p 2 ). 

The EWET power-counting rules can be summarized as:

The infrared power counting leads to a well-defined loop expansion, because loops increase the chiral dimension and their divergences are then renormalized by higher-order operators. A standard dimensional analysis [24, 55], explained in detail in appendix C, shows that an arbitrary Feynman diagram Γ scales like [10, 11, 34, 49]

where L is the number of loops and N d indicates the number of vertices with a given value of d. Loops increase the chiral dimension by two units and are suppressed by the
section_name: JHEP04(2017)012

section_content: usual geometrical factor 1/(4π) 2, giving rise to a series expansion in powers of momenta over the electroweak chiral scale Λ EWET = 4πv ∼ 3 TeV. There will be in addition, operators generated by short-distance contributions from new physics, suppressed by the corresponding new-physics scale Λ NP. When momenta are low compared with these two scales, only a finite number of operators need to be taken into account, at a given order in p/Λ EWET and p/Λ NP. The precision can always be improved by going to the next order in the expansion, at the price of having more operators with their corresponding LECs. 

The LO contribution is generated by tree-level diagrams with the d = 2 Lagrangian L 2. Next-to-leading-order (NLO) corrections have d = 4 and originate from two different sources: 1) one-loop diagrams with the LO Lagrangian L 2, and 2) tree-level diagrams with one d = 4 operator and an arbitrary number of insertions of L 2, which do not increase the chiral dimension. 

According to the power-counting rules in eq. (3. 39), a four-fermion operator brings a chiral dimension 2. This is consistent with the light-boson-exchange amplitudes (φ = W ±, Z, γ, h) from L 2, which carry a factor g 2 φ /(p 2 -m 2 φ ) ∼ O(p 0 ) with g φ the appropriate coupling. However, those are non-local contributions. Local four-fermion operators in the EWET originate in short-distance exchanges of heavier states and will be suppressed by a factor g 2 NP /Λ 2 NP [34]. The same argument applies to operators with a higher number of fermion pairs. Therefore, one must assign an additional O(p) suppression to fermion bilinears, 8 originating from some new-physics coupling, in the same way we did before for the Yukawas. Therefore,

This assignment assumes that the SM fermions couple weakly to the strong sector [34]. 

The specific values assigned to the gauge sources in eqs. (3. 9) and (3. 22) introduce an explicit breaking of custodial symmetry that is transferred to higher orders through quantum loops. This is analogous to the explicit breaking of chiral symmetry through electromagnetic interactions in χPT [13, 56, 57]. This breaking can be easily incorporated into the effective theory through the right-handed spurion

or its covariant counterpart

Building invariant operators with an even number of spurion fields and making the identification

one formally obtains the custodial symmetry-breaking structures induced through quantum loops with internal B µ lines. Since each B µ field carries a coupling g, this spurion has chiral JHEP04(2017)012
section_name: JHEP04(2017)012

section_content: At NLO, one must consider one-loop contributions [58] [59] [60] [61] [62] [63] [64] [65] [66] [67] [68] with the LO Lagrangian plus O(p 4 ) local structures. The d = 4 Lagrangian for the Goldstone fields was analyzed long time ago in the case of a Higgsless effective theory [41, 42]. Including the additional operators with the singlet Higgs field, 10 the most general CP -invariant NLO bosonic Lagrangian has the form [12]
section_name: NLO Lagrangian

section_content: The coefficients F i (h/v) and F i (h/v) must be understood as polynomials of h/v, i. e.,

We have distinguished two types of CP -invariant operators, according to their even (O i ) or odd ( O i ) transformation property under parity. Our operator basis is given in table 1 [12]. 11 Once the auxiliary fields are forced to take the values in eqs. (3. 9) and (3. 22), the Higgsless term

a linear combination of the W µ and B µ Yang-Mills Lagrangians. Its effects could then be accounted for through a modification of the corresponding gauge couplings. 

The fermionic part of L 4 involves operators with one or two fermion bilinears:

The relevant CP -conserving operator structures for a single fermion doublet ψ, i. e., neglecting any kind of flavour structure, are shown in table 2. 12 The NLO fermionic Lagrangian could also include the operators J S T, u µ J µ V and u µ J µ A, which are of O(p 3 ) and, therefore, have a smaller chiral suppression than the ones in eq. (3. 48). Operators of this chiral order have in fact been previously considered in the literature [51, 52]. As demonstrated in appendix B, with a single fermion doublet these operators can be removed from the effective Lagrangian through appropriate redefinitions of the auxiliary fields T, Ŵµ and Bµ. With several fermion families, the scalar-current operator could still be removed, with all its flavour dependence being reabsorbed into the spurion Y. However, a non-trivial flavour structure in the vector and axial-vector O(p 3 ) operators could not be reabsorbed into the gauge sources, and would introduce interesting dynamical implications that we plan to study in future works.
section_name: JHEP04(2017)012

section_content: Our main goal is to estimate the contributions to the LECs of the NLO EWET coming from tree-level exchanges of heavy fields, not included in the low-energy effective theory. With this purpose, we build a more general EFT incorporating, in addition to the SM correspond to ±O3 -O1. The custodial-breaking structure O10 ∼ O L 0 was considered to be of O(p 2 ) in the Longhitano basis; this basis included additional operators with T spurions and more derivatives which, in our counting, are higher-order terms. The operators O6,7,8 with explicit derivatives of the Higgs field correspond to OD7,D8,D11 in ref. [10], while O2 and O2 are equal to O Xh2 ± O Xh1 /2. 

12 Using Fierz identities and SU(2) relations, one could eliminate six four-fermion operators in table 2. 

However, we prefer to keep the full basis with twelve operators because it is no-longer redundant when colour and/or flavour are included. 

) denote P -even (odd) structures. 

particles, heavier bosonic states (the lightest new-physics resonances). While the lowenergy EWET is only valid for energies smaller than the resonance masses, the high-energy resonance theory extends its validness to higher scales below the next heavier states not yet incorporated in its Lagrangian. 

We will consider generic massive states, transforming under G as SU(2

We will assume that the underlying strongly-coupled theory preserves charge conjugation (C) and parity (P ), so that we can work with massive eigenstates with definite C and P properties. For simplicity, we will restrict our present analysis to colour-singlet massive states with bosonic J P C quantum numbers 0 ++ (S), 0 -+ (P), 1 --(V) and 1 ++ (A). Their transformation properties [13, 14] under P, C and Hermitian conjugation can be found in appendix A. The masses of these heavy states are expected to be of the order of (or above) the electroweak chiral scale Λ EWET = 4πv ≈ 3 TeV. We will first construct an invariant chiral Lagrangian coupling these heavy states to the SM fields, at the lowest possible order in the chiral expansion. Since LHC searches have essentially excluded the presence of new particles below 1 TeV, we will later integrate out the heavy states R and R 1, and extract their corresponding contributions to the low-energy
section_name: Effective Lagrangian with heavy states

section_content: EWET. For our purposes, we only need to consider in the effective Lagrangian operators with a single massive state, because terms with a higher number of heavy fields do not contribute at O(p 4 ). 

The high-energy action is given by a Lagrangian with the structure

where the first piece on the right-hand side (rhs) contains resonance fields and light degrees of freedom φ and ψ whereas the second one only depends on the light fields. The term L non-R [φ, ψ] is formally identical to the EWET Lagrangian but with different couplings, because it describes the interactions of a different EFT valid at the resonance mass scale. Resonance exchanges among L Heavy Fields [R, φ, ψ] vertices will generate additional contributions to the LECs of the EWET which we want to identify. The chiral-invariant Lagrangian for the heavy fields takes the generic form

where the corresponding kinetic and mass terms are included in L R. 

4. 1 Spin-0 resonance Lagrangian (S, S 1, P, P 1 )

The relevant spin-0 resonance interactions take the form

In addition to the quadratic kinetic and mass pieces, there are terms linear in the heavy resonances with chiral structures containing light fields. At LO they are given by

for the triplets S and P, while the singlet operators are provided by

All these structures are of O(p 2 ) in the chiral power counting, except the λ hS 1 term which naively appears to be of O(p 0 ). We will see later that the coupling λ hS 1 must be assigned a chiral dimension two, so that all terms in (4. 6) are of the same order in the momentum expansion. 

Here and in what follows we reduce the number of chiral structures through the use of field redefinitions, partial integration, equations of motion (EoM) and algebraic Cayley-Hamilton relations. More details are given in appendix B. Since one may introduce an JHEP04(2017)012 arbitrary number of light Higgs fields without increasing the chiral dimension, all couplings must be understood as functions of h/v, so for instance

There is some freedom in choosing an explicit representation for the spin-1 fields. Although physics is independent of the adopted formalism (Proca, antisymmetric tensor or gauge-like field), a clever choice can provide a simpler interaction Lagrangian and be more convenient for phenomenological studies [13, 14]. For simplicity, we start using here the more common Proca representation and will later analyze the equivalence of the three formalisms and the interesting subtleties arising with the different options. 

Let us then describe the triplet and singlet spin-1 heavy particles through the Proca fields Rµ and Rµ 1, transforming under G as in eq. ( 4. 1), with R = V, A for the vector and axial-vector states. Including only interactions linear in the four-vector fields Rµ, the relevant chiral Lagrangians take the form

where

The tensors χµ R, χµν R ( χµ
section_name: JHEP04(2017)012

section_content: , χµν
section_name: R1

section_content: ) denote the most general triplet (singlet) chiral structures constructed with the SM fields, with the appropriate quantum numbers R = V, A (R 1 = V 1, A 1 ). Assuming invariance under the CP symmetry, their LO expressions involve the O(p 2 ) terms:

and
section_name: R1

section_content: In principle one could also write down the O(p 1 ) operators V µ u µ and Âµ u µ (P -odd and P -even, respectively), but they can be removed from the action by means of the field redefinitions described in appendix B. The structure of the P -even part of the Lagrangian agrees with that found in resonance models of QCD in the Proca formalism [14, 71].
section_name: JHEP04(2017)012

section_content: At energies much smaller than the resonance masses, the presence of the heavy states can be only inferred from their contributions to the LECs of the EWET Lagrangian. These effects can be formally computed integrating out the heavy fields from the generating functional and expanding the resulting non-local action in powers of momenta over the heavy scales. 

For sake of clarity we are going to separate the analysis of spin-0 and spin-1 resonance contributions. Furthermore, in what follows we will implicitly assume that the relevant chiral structures χ R do not contain couplings growing with the resonance mass. This is the decoupling behaviour expected in strongly-coupled scenarios. Therefore, our generic expressions for the LECs do not apply to renormalizable Higgsed models which require a more specific treatment. 13. 1 Spin-0 resonance contributions to the EWET

The LO contributions to the LECs correspond to tree-level exchanges of heavy fields. They can be easily obtained through the EoM of the massive resonances, which in the spin-0 case take the form:

We have employed the generic Lagrangians in eq. (4. 4) which only take into account interactions with a single heavy state. Moreover, we will only consider contributions to the tensors χ R and χ R 1 which are at most of O(p 2 ). The trace term ensures that the r. h. s. of the first equation is traceless, as it happens with the left-hand side (lhs). In the low-energy limit, the solutions for the heavy field EoM can be expanded in terms of local operators which only contain light fields [13] :

Substituting these solutions back into the resonance Lagrangian L R and L R 1 in eq. ( 4. 4), one obtains the corresponding contributions to the low-energy effective Lagrangian of the JHEP04(2017)012

These results must be finally simplified and written in our basis of O(p 4 ) operators. 

The singlet scalar S 1 couples directly to the Higgs field through the term χ h S 1 S 1 = λ hS 1 v h 2 S 1, which does not contain any explicit chiral suppression. The tree-level exchange of the massive S 1 state generates then the following correction to the O(p 2 ) EWET Lagrangian,

which is suppressed by two powers of the heavy mass scale M S 1. A consistent power counting requires to assign a chiral dimension 2 to the function λ hS 1 (h/v), so that the three terms in eq. ( 5. 4) have the same chiral order O(p 4 ), as all other resonance-exchange contributions in eq. ( 5. 3). Eq. (5. 4) should then be considered as an O(p 4 ) correction to the lowest-order operators in L 2. 

The (λ hS 1 ) 2 term represents a correction to the Higgs potential V (h/v) in eq. (3. 15), while the term proportional to λ hS 1 c d contributes to F (u) (h/v). In terms of the corresponding series-expansion coefficients in powers of h/v, one gets ∆c

(

The third term proportional to λ hS 1 c S 1 1 contributes to the LO fermionic Lagrangian, i. e., to the Yukawa coupling in eq. (3. 31). However, it only starts to contribute at O(h 2 ):

(5. 6)

The contributions to the O(p 4 ) operators in the EFT coming from spin-0 resonance exchanges are given in table 3. The LECs not listed in the table are not sensitive to the exchange of scalar or pseudoscalar heavy bosons, which only generates P -even structures. The bosonic LECs in the first column were already presented in ref. [12]. The triplet scalar field only contributes to the four-fermion operators O ψ
section_name: Integrating out the heavy states

section_content: The classical EoM for the Proca resonance fields are

contributions to the O(p 4 ) LECs from heavy S, S 1, P, P 1 exchanges. The remaining O(p 4 ) LECs, not listed here, do not receive contributions from these spin-0 resonances. 

For p M R, the solutions of the EoM for the heavy fields are given at LO by

Substituting them back into the Lagrangians L in eq. ( 4. 8), one obtains the contributions to the EWET coming from one-resonance spin-1 exchanges at low energies, ∆L

Expanding these results on our basis of EWET operators, one obtains the resonanceexchange predictions for their LECs shown in tables 4 and 5. The LECs not listed in the tables do not receive any contribution from the exchange of heavy spin-1 Proca fields. Notice that the tree-level exchange of heavy Proca fields can only generate O(p 4 ) EWET operators through the chiral structures χµ R and χµ
section_name: Spin-1 resonance contributions to the EWET in the Proca representation (P )

section_content: i ∆F

contributions to the purely bosonic and two-fermion O(p 4 ) LECs from heavy V, V 1, A, A 1 exchanges in the Proca formalism. The remaining O(p 4 ) LECs, not listed here, do not receive contributions from these spin-1 resonances. 

i ∆F

contributions to the four-fermion O(p 4 ) LECs from V, V 1, A and A 1 heavy-boson exchanges in the Proca formalism.
section_name: JHEP04(2017)012

section_content: Until this point we have described all the spin-1 resonances through 4-vector Proca fields Rµ. However, it is sometimes convenient to express the massive spin-1 fields in terms of rank-2 antisymmetric tensors R µν, a formalism widely used in χPT [13, 14] which is reviewed in appendix D. A comparative analysis of the two descriptions turns out to be very enlightening. 

In terms of tensor R µν fields, the spin-1 resonance Lagrangian takes the form
section_name: Antisymmetric spin-1 resonance fields (A)

section_content: At O(p 2 ), the most general expressions of the chiral tensors χ µν R and χ µν R 1 (R = V, A) are:

All these structures have an exact correspondence with the rank-two Proca tensors χµν R in eq. (4. 10). However, at O(p 2 ) the antisymmetric description cannot incorporate chiral interactions with a single Lorentz index, analogous to the χµ R terms in eq. ( 4. 11).
section_name: JHEP04(2017)012

section_content: The LO contributions to the LECs of the EWET can be easily obtained through the EoM associated with the generic Lagrangians in eq. ( 6. 1):

Expanding them in powers of momenta,

and substituting these expressions back into the resonance Lagrangian (6. 1), one obtains the corresponding contributions to the low-energy Lagrangian of the EWET:

Expressing these results in our basis of O(p 4 ) operators, one obtains the predictions for their LECs listed in tables 6 and 7, for the bosonic and fermion operators, respectively. Only those LECs receiving non-zero contributions are shown in the tables. The P -even contributions to the first column of table 6 agree with the results obtained previously in ref. [12]. The low-energy contributions from exotic J P C = 1 +-heavy states were analyzed in a similar way in ref. [73]. 

The predicted pattern of LECs is very rich with the antisymmetric description of heavy spin-1 bosons. The exchange of vector and axial-vector triplet states gives rise to

contributions to the O(p 4 ) LECs of bosonic operators from V, V 1, A and A 1 heavy-boson exchanges in the antisymmetric formalism. 

i ∆F. In all cases the 1 --and 1 ++ massive states contribute simultaneously to the LECs. 

The O(p 4 ) LECs which receive contributions from the tree-level exchange of antisymmetric spin-1 fields are different from the ones generated through Proca-exchange. This is not surprising, since the two mechanisms refer to completely different dynamical structures. In the antisymmetric formalism the LECs originate in χ µν R chiral structures, while in the Proca description only the χµ R terms contribute.
section_name: Integrating out the heavy spin-1 antisymmetric fields

section_content: The results shown in tables 4, 5, 6 and 7 look quite different. A naive resonance-exchange calculation leads to a pattern of EWET LECs which depends on the adopted representation to describe the heavy spin-1 fields, either Proca or antisymmetric. Clearly, we are still missing some important ingredient, because physically meaningful results must be independent of the particular mathematical formalism used in their description. 

As explicitly shown in appendix E, the Proca and antisymmetric formalisms can be related through a simple change of variables in the corresponding path integral [37, 38], transforming the Proca Lagrangian L

non-R, with (linear) resonance interactions determined by the chiral tensors

The operators with only light fields in the antisymmetric representation (A) are related to those in the Proca Lagrangian L (P ) non-R through [37, 38 ]

Expressions (6. 6) and (6. 7) provide an exact general relation between the Proca and antisymmetric representations, without any approximation or truncation. Therefore, the two descriptions are mathematically equivalent. More precisely, inserting the O(p 2 ) Proca chiral tensors of eqs. (4. 10) and (4. 11) into (6. 6) yields the following resonance interactions in the antisymmetric formalism:

JHEP04(2017)012

where χ

are the O(p 2 ) structures in eq. ( 6. 2), with the relations

The rank-two Proca tensors χµν R transform into the antisymmetric structures χ

. 

The additional derivative present in the Rµν fields gets traded by the factor M R in the couplings of the corresponding antisymmetric operators, reducing the overall chiral dimension. Therefore, the tree-level exchange of a spin-1 heavy boson between this type of chiral structures carries two powers of momenta less in the antisymmetric formalism, allowing it to generate contributions to the O(p 4 ) LECS which are absent in the Proca description. This behaviour gets reversed for the χµ R Proca structures, which transform into the O(p 3 ) terms in eq. (6. 8). The antisymmetric formalism requires an additional derivative to carry the missing Lorentz index, compensating its dimension with a 1/M R factor in the corre-

For these vertices, the spin-1 boson exchange carries two powers of momenta more in the antisymmetric description which, therefore, can only induce LECs with chiral dimension d ≥ 6, while the Proca formalism generates O(p 4 ) LECs. All differences among the two scenarios are of course compensated by the local structure in eq. (6. 7). 

Thus, both formalisms give obviously the same predictions for the LECs. However, the splitting between 'resonance-exchange' and 'local' contributions depends on the adopted prescription and, therefore, is unphysical [14]. Quantum fields are just integration variables in the corresponding path-integral formulation of the generating functional, and the effective Lagrangian takes different explicit forms with different (equivalent) choices of functional field representations. 

Tables 4, 5, 6 and 7 only contain the contributions to the EWET LECs generated through resonance exchange in the two spin-1 formalisms. To those predictions one should add local contributions from operators without explicit resonance fields. Unfortunately, the relation (6. 7) only determines the difference L (A) non-R -L (P) non-R. This is not enough to decide which ones of the values quoted in the tables (if any) are the correct predictions for the LECs. We need additional dynamical information in order to pin down those pieces of the short-distance Proca and antisymmetric Lagrangians which only contain light fields.
section_name: Equivalence of the antisymmetric and Proca descriptions

section_content: We have already noticed in eq. (6. 8) that, starting from O(p 2 ) chiral tensors in the Proca representation, one gets O(p 2 ) and O(p 3 ) contributions to the χ µν R tensors in the antisymmetric formalism. This just reflect the different momentum dependence of these two spin-1 field representations. The UV behaviour of the adopted resonance EFT turns out to be crucial to correctly determine the predicted LECs [14]. We are going to analyze it in the next section.
section_name: JHEP04(2017)012

section_content: Let us denote the antisymmetric and Proca short-distance effective theories as SDET-A and SDET-P, respectively. They contain the SM fields plus the heavy spin-1 vector and axialvector states in their corresponding formulations (antisymmetric or Proca), and the spin-0 resonances which are the same in both effective theories. In addition to operators including the heavy fields, the two effective theories contain terms with just light degrees of freedom, which are formally identical to those present in the low-energy EWET. However, their couplings are obviously different, since they belong to different effective theories. For every generic coupling F i of the EWET, we will denote as F SDA i and F SDP i the corresponding couplings in SDET-A and SDET-P:

where we have implicitly summed over all bosonic and fermionic operators. SDET-A and SDET-P are equivalent formulations of the same dynamical theory, i. e., they must contain the same physics. In order to relate the two descriptions, one must analyze their predictions for specific Green functions.
section_name: Short-distance constraints

section_content: Let us consider the vector and axial-vector currents, defined through functional derivatives of the action with respect to the corresponding external sources:

Their 2-Goldstone matrix elements are characterized by the vector and axial-vector form functions,

with s = (p 1 + p 2 ) 2. A simple tree-level calculation gives the results:

The form functions exhibit an unacceptable UV behaviour, growing linearly with the squared momentum transfer. In SDET-A the unphysical linear dependence with s is only generated by the local operators O 3 and O 1, while in SDET-P the non-local exchange of Proca fields also contributes. Requiring that F V ϕϕ (s) and F A ϕϕ (s) should not grow at large energies, we get the conditions:

The two formalisms give then identical form functions with the identifications:

These equalities are fully consistent with the relations between the Proca and antisymmetric couplings obtained in eq. (6. 9). Moreover, the differences

are in agreement with eq. (6. 7). Thus, the requirement of a good UV behaviour carries a very interesting implication. The O(p 4 ) Goldstone couplings F SDA Studying other Green functions, it is easy to prove the equivalence of the two formalisms in the bosonic sector. For instance, the high-energy behaviour of the two-Goldstone scattering amplitudes determines the LECs F 4 and F 5, and a similar thing occurs with the hh → ϕϕ, hh scattering and F 6,7,8. On the other hand, F 1, F 2 and F 2 can be fixed with the two-point correlators of vector and axial-vector currents. A detailed analysis of Higgsless bosonic operators is presented in appendix F, following the same procedure used before in QCD to exhibit the resonance saturation of the χPT LECs [14]. 

Imposing a proper UV behaviour, one finds that the O(p 4 ) LECs of SDET-A corresponding to bosonic operators must vanish,

and the exchange of massive spin-1 antisymmetric fields saturates the values of the corresponding EWET LECs F i and F i. On the other hand, in SDET-P the same predictions
section_name: Purely bosonic sector

section_content: results for the LECs must necessarily originate in local couplings, since the Proca-exchange contributions are at least of O(p 6 ). The third group of operators only receive contributions from the exchanges of Proca fields between χµ R vertices, which are not present in the antisymmetric description. They will be analyzed in the next subsection, together with the four-fermion vector and axialvector structures which have a similar origin.
section_name: JHEP04(2017)012

section_content: The terms

Xµν, and F ψ 2 1 J µν T f -µν involve the fermionic tensor bilinear. They can be studied considering again the vector and axial-vector currents, defined in eqs. (7. 2) and (7. 3), and

Assuming CP conservation, the corresponding two-fermion matrix elements are characterized by the form factors

We will focus on the second form-factor in the massless fermion limit. 14 At tree-level, e. g., for J = V 3, one has

(SDET-P). 

(7. 17)

Demanding that F V 3 2 (s) vanishes at high energies, we get the conditions:

The two formalisms give the same form-factor (and low-energy predictions) with the identifications,

in agreement with the general relations in eqs. (6. 7) and (6. 9). A similar result is obtained for J = A 3, V (0). In the three cases one finds that the corresponding O(p 4 ) LECs of SDET-A must vanish,
section_name: Form-factors

section_content: and the exchange of massive spin-1 fields in the antisymmetric formalism saturates the values of the EWET LECs of the analogous two-fermion operators. On the other hand, in SDET-P the same predictions are obtained through direct local couplings in the Lagrangian, i. e.,

The direct exchange of spin-1 Proca fields does not give any contribution to these O(p 4 ) LECs.
section_name: JHEP04(2017)012

section_content: The scattering amplitudes for ψ(p 1 ) ϕ(p 2 ) → ψ(p 3 ) ϕ(p 4 ) and ψ(p 1 ) ϕ(p 2 ) → ψ(p 3 ) h(p 4 ) receive contributions from heavy resonance exchanges and from the local 2-fermion operators

in addition to the resonance-exchange amplitudes. The exchange of spin-1 Proca fields does not contribute to any of these chiral structures, while only F ψ 2 2 and F ψ 2 2 get contributions in the antisymmetric formalism. The exchange of spin-0 resonances contributes to the LECs F ψ 2 1 and F ψ 2 5. In general, the spin-0 resonance-exchange amplitudes behave like M ψϕ→ψϕ, ψh ∼ E at high energies and do not violate the Froissart bound on the cross section, σ(s) < C ln 2 (s/s 0 ) (further constraints can be nevertheless imposed through a more thorough analysis of, e. g., partial-wave projections or forward scattering). This is not generally true for the spin-1 interactions through the J µν T resonance term. For instance, in the antisymmetric (Proca) case, the exchange of a triplet vector resonance between a fermionic tensor vertex

V µν [u µ, u ν ] ) scales at high energies like

A similar behaviour can be derived for the other contributions from J T terms to this type of processes, showing that the antisymmetric prediction does not violate the Froissart bound (in its simplest approach), on the contrary to what happens in the Proca realization which requires additional contributions to regulate the UV behaviour. Non-resonant contributions from the local O(p 4 ) terms F ψ 2, SDA 1,2,5,7, F ψ 2, SDA 2 scale at high energies like

and the same happens for the analogous F ψ 2, SDP 1,2,5,7, F ψ 2, SDP 2 contributions, in the Proca formalism.
section_name: ψ ϕ/h → ψ ϕ/h scattering

section_content: Hence, in order to preserve the good short-distance behaviour, the non-resonant contributions must vanish in the antisymmetric tensor realization, i. e.,

while in SDET-P appropriate non-zero values of F ψ 2, SDP 2 and F ψ 2, SDP 2 must be present to compensate the bad UV behaviour of the Proca-exchange contributions. The other couplings must also be zero in the Proca formalism: F ψ 2, SDP 1,5,7 = 0 (the exchange of vector or axial-vector bosons does not contribute to these operators).
section_name: JHEP04(2017)012

section_content: R χ R µ chiral structures

The four-fermion operators O ψ 4 5,6,7,8 and O ψ 4 1,2 and the custodial symmetry-breaking structures

cannot be generated through the exchange of antisymmetric spin-1 fields, but receive contributions from Procaexchange. They originate in the linear couplings Rµ χµ R and/or R1 µ χµ
section_name: χµ

section_content: , which can only be present in the Proca formulation. The short-distance behaviour generated by these structures is quite different from the one we studied before for the χ µν R terms. Let us consider a generic Green function associated with these chiral structures, in the Proca formulation. At tree-level it can be formally written as

which includes the local contribution from O(p 4 ) operators and the non-local exchanges of spin-1 fields. Using partial integration,

In four-fermion amplitudes the momentum-dependent pieces in the numerators of the spin-1 propagators transform into fermion masses because k µ J µ V,A ∼ m f. Therefore, the non-local contributions are well behaved at large energies. Working for simplicity with massless fermions, the same happens in processes with only two fermions and Goldstones. On the other side, the corresponding local operators have the same algebraic structure χµ R χ R µ but without the propagator momentum suppression (k 2 -M 2 R ) -1, giving rise to cross sections which would violate unitarity: M(ψ ψ → ψ ψ, ϕϕ) ∼ E 2. Therefore, a good (7. 26)

The limit of small momenta (k 2 M 2 R, M 2 R 1 ) reproduces then the predictions for the corresponding EWET LECs in tables 4 and 5. 

The relation (6. 7) determines the corresponding local terms in the antisymmetric formulation,

) which give identical predictions for the O(p 4 ) LECs of the EWET. The exchange of R µν fields involves in this case the O(p 3 ) pieces of the chiral structures χ µν in eq. (6. 8) and, therefore, generates non-local contributions with a bad UV behaviour plus local operators of O(p 6 ). The combined effect of these local O(p 6 ) terms and the O(p 4 ) operators in eq. ( 7. 27) restores the good unitarity properties, giving finally the same Green function than the Proca formalism.
section_name: R1

section_content: The different Lorentz structure of the antisymmetric R µν tensors and the Proca Rµ fields implies a different energy scaling of the corresponding spin-1 boson-exchange amplitudes. Although both descriptions are mathematically equivalent, once local terms are taken into account, the same physics gets splitted differently in local and non-local contributions. For any given Green function, a correct comparison of the two formalisms makes necessary to analyze the same physics at different chiral orders. 

In general, the description in terms of antisymmetric tensors R µν and χ µν R chiral structures is more efficient, giving a proper UV behaviour, which does not need to be corrected with local terms, and directly generating the wanted O(p 4 ) LECs through resonance exchange. The Proca description, on the other side, induces resonance-exchange amplitudes with a worse high-energy behaviour, which must be canceled by local operators with precisely the same values for their LECs. 

The situation is slightly different for the few O(p 4 ) LECs receiving direct contributions from the tree-level exchange of Proca Rµ fields. In all cases, these contributions are generated by χµ R structures, which cannot be present in the antisymmetric formulation. The corresponding Proca-exchange amplitudes have a good UV behaviour, implying the absence of the associated local operators in SDET-P and directly leading to the wanted LECs in the infrared. The antisymmetric tensor formalism can only account for these contributions through O(p 3 ) chiral structures of the type ∇ µ J ν -∇ ν J µ, with J µ = J µ V,A, u µ T, requiring an O(p 6 ) analysis to pin down the corresponding O(p 4 ) LECs. The final results
section_name: Short-distance summary

section_content: Thus, one gets the free Proca Lagrangian for the field Vµ plus specific interaction terms. Dropping the operators on the second line which involve two or more massive vector fields, we are left with the Proca Lagrangian L (P) V + L (P) non-R with its couplings determined in terms of g ρ :

and all the other couplings zero. The Vµ interactions in

are a particular version of the triplet vector Lagrangian in eqs. (4. 8) to (4. 11), without the Higgs field, fermions and P -odd terms, and with the additional constraint f V = 2 g V. This relation is a consequence of the specific HLS model (8. 2), which is not required by the assumed chiral symmetry. 

The predicted local terms F SDP i are in perfect agreement with our short-distance considerations in the previous section. The F SDP i values in eq. (8. 6) reproduce our more general results in eq. (7. 7) and eqs. (F. 3), (F. 8) and (F. 10) in appendix F, when particularized to the specific HLS couplings. Thanks to the underlying gauge symmetry, the term without the vector field in eq. (8. 5), i. e., L (P) non-R = (4g 2 ρ ) -1 Γ µν Γ µν, has the precise structure and couplings needed to compensate the bad UV behaviour of the Proca-exchange contributions and render the model well behaved at large momenta. Since vector-exchange only starts to contribute to the EWET LECs at O(p 6 ), the O(p 4 ) LECs are also fully determined by L (P) non-R, in nice agreement with the values quoted in table 6. 

One could easily extend the HLS model, using the difference Vµ = Vµ -ig -1 ρ Γ µ to build all additional invariants allowed by symmetry considerations, including the Higgs, fermions and P -odd operators. The terms linear in Vµ would be formally identical to the expressions in eqs. (4. 8), (4. 10) and (4. 11), with couplings f V, g V, f V, etc. Therefore, one would just reproduce the more general Proca Lagrangian with f V = 2 g V. The additional interaction vertices are no longer soft terms and would need to be corrected with another ∆L (P) non-R term in order to guarantee a proper UV behaviour of Green functions with light SM fields. The final result would be identical to the Proca formalism discussed in previous sections. 

Likewise, using the left and right connections in eq. (3. 11), it is possible to assign different transformation properties to the hidden gauge field. For instance, a SU(2) L triplet gauge field was considered in ref. [82].
section_name: JHEP04(2017)012

section_content: Direct searches for physics beyond the SM at the electroweak scale have been unsuccessful, pointing out the existence of a mass gap in the energy spectrum. The LHC is rising up the experimental sensitivity, but no clear hint for exotic phenomena has emerged so far, pushing the new physics frontier above the TeV. Unless a new discovery is made soon, EFT methods constitute for the time being the most efficient way to become sensitive to mass scales above the energy reach of present experimental facilities.
section_name: Summary

section_content: In this article, the EWET has been formulated as the most general EFT containing the SM symmetries and its low-energy degrees of freedom. It includes the SM bosons and fermions embedded in the extended symmetry group G = SU(2) L ⊗ SU(2) R ⊗ U(1) X, with L and R the left and right chiralities and X = (B -L)/2, given by the conserved baryon and lepton numbers, respectively. The Higgs is incorporated as a light scalar boson h, singlet under this group. Our only premise is the symmetry breaking pattern SU(2) L ⊗ SU(2) R → SU(2) L+R, which has been confirmed phenomenologically as the right dynamical framework for the electroweak Goldstone bosons. 

The low-energy EWET operators are organized according to their infrared behaviour, as an expansion in powers of derivatives over some higher energy scale. We have carefully analyzed the power counting of the EWET, introducing a more efficient assignment for the chiral dimension of custodial symmetry breaking operators that takes into account the phenomenological suppression of these effects. This allows for a sizeable reduction in the number of NLO structures that need to be handled. With a single fermion family, assuming B and L conservation and ignoring any QCD effects, the CP -invariant, O(p 4 ) effective Lagrangian only contains 11 (3) P -even (P -odd) operators in the bosonic sector (table 1 ), and 17 (5) operators containing fermions (table 2 ). 

All accessible informations on heavier new-physics states are encoded in the LECs of the EWET operators, which parametrize any possible deviations from the SM predictions at low energies. We have explored the low-energy consequences of generic heavy states with different quantum numbers, coupled to the SM particles, i. e., the fingerprints they leave on the LECs. Similar studies have been done before for specific weakly-coupled models of new physics [83] [84] [85] [86] [87] [88] [89] [90], within the much simpler linear framework with a SM doublet Higgs; in some cases, even at the one-loop level [91] [92] [93] [94] [95] [96] [97] [98] [99] [100] in the usual perturbative expansion in powers of small couplings. However, the LECs of the generic non-linear EWET have remained largely unexplored until now [12, 72, 73]. 

To simplify the discussion, we have focused on colour-singlet heavy bosons with J P C = 0 ++, 0 -+, 1 --, 1 ++, assuming a CP -invariant underlying dynamics. In addition, we have considered a single SM fermion family, leaving for future works the more involved study of a non-trivial flavour structure. We have first built a general short-distance effective Lagrangian, involving the resonances and the SM fields, which incorporates the assumed pattern of EWSB and has the minimum possible number of derivatives. We have also assumed that the resonance couplings to the light fields do not increase with the resonance mass; i. e., we have assumed a decoupling behaviour as expected in strongly-coupled scenarios. Therefore, our generic results cannot be directly applied to renormalizable Higgsed models, which require a more specific treatment of O(M 2 R ) terms. At O(1/M 2 R ), which is the accuracy needed to determine the O(p 4 ) LECs, one only needs to consider operators with at most one heavy field. In order to compute the LECs, one must integrate out from the action the heavy fields and expand in powers of momenta the resulting non-local expression. Using the classical EoM of the massive states, all lowenergy implications of tree-level resonance exchanges among the SM fields can be easily determined, and expressed as a sum of EWET operators multiplied by LECs with a structure ∼ g 1 g 2 /M 2 R, where g 1,2 are the specific short-distance resonance couplings contributing to a given operator. QCD structures. The study of the flavour dynamics within the EWET framework is a more challenging enterprise that we plan also to address.
section_name: JHEP04(2017)012

section_content: When deriving these results, we have only required very mild UV conditions on the spin-1 fields which should be fulfilled in any sensible dynamical framework. As shown in ref. [12], additional constraints can be obtained, imposing stronger short-distance conditions on specific Green functions. In this way, one can get relations among different resonance couplings, which are valid in broad classes of underlying dynamical theories. For instance, in the absence of P -odd couplings, requiring the two Weinberg sum rules (WSR) [101] to be valid for the W 3 B correlator (they are fulfilled in asymptotically free theories [102] ) leads to a more predictive tree-level result for the oblique S parameter and its relevant LEC [12, 103, 104],

A )/4. Comparing the experimental bounds on the S parameter [105] [106] [107] with the one-loop resonance calculation [44, 45], one then obtains the determination of F 1 [0] in terms of M V shown in figure 1 [12]. One can also derive positivity constraints, based on generic properties such as unitarity, analyticity and crossing, which get translated into restrictions on the LECs [108] [109] [110]. A well-known example are the LECs involved in the Goldstone scattering amplitudes, which must obey the relations F 4 > 0 and F 4 + F 5 > 0 [67, 108, 111, 112] that are of course satisfied by our predictions in table 8. The study of these additional high-energy conditions and their phenomenological implications is beyond the scope of the present analysis and will be pursued in future works. 

At present, the experimental information on the LECs is rather scarce. F 1 is the most constrained one, since it contributes at tree level to the oblique S parameter. The bosonic LECs F 1-5 and F 1,2 account for anomalous gauge couplings. The quartic gauge couplings F 4,5 are expected to be significantly bounded by forthcoming run-II data at the LHC and its future high-luminosity upgrade. The Higgs-related LECs F 6-9 and F 3 are still poorly constrained or unbounded. In the fermion sector, the constraints on (flavour-conserving) pure vector and axial-vector structures are probably similar to the ones derived within the Table 12. Transformation properties of the fermionic bilinears (J S ) mn = ξn ξ m, (J P ) mn = i ξn γ 5 ξ m, (J µ V ) mn = ξn γ µ ξ m, (J µ A ) mn = ξn γ µ γ 5 ξ m and (J µ T ) mn = ξn σ µν ξ m. 

Γ P algebra C algebra CP algebra h. c. algebra ( γ 0 Γγ 0 ) ( -γ 0 γ 2 Γ t γ 2 γ 0 ) ( -γ 2 Γ t γ 2 ) ( γ 0 Γ † γ 0 ) Table 14. Transformation properties of J P C = 0 ++ (S), 0 -+ (P ), 1 --(V ) and 1 ++ (A) multiplets [13, 14]. The transposition operation t is absent for singlet resonances. 

The kinetic derivative term of the Higgs in eq. (3. 15) can be multiplied with an arbitrary function F h (h/v); i. e., an operator of the form The massive singlet scalar S 1 could couple to the Higgs through terms of the form

The couplings a and b would generate a mixing between S 1 and h; they can be eliminated through a proper redefinition of both scalar fields and their masses. The c n operators can be written through partial integration in the form:

Applying the S 1 and h EoM on the rhs, O n can be expressed in terms of other operators included in the effective Lagrangian. 

In general, any coupling of the form ∂ µ R χ µ can be written through partial integration as -R ∂ µ χ µ. Therefore, the interaction terms in eqs. (4. 4) do not include operators with derivatives of the heavy states. 

When using the Proca description of vector and axial-vector fields, the effective Lagrangians L R (R = V, A) in eq. (4. 8) could also include the O(p) operators V µ u µ and Âµ u µ (P -odd and P -even, respectively). This type of operators lead to Âµ -ϕ mixing terms between the spin-0 components of the axial-vector Proca fields and the Goldstones. These operators can be removed from the action by means of the field redefinitions

with R µν = Rµν -α R f -µν. Tuning α R conveniently, one can remove the undesired terms while keeping the same formal structures in the Lagrangian (4. 8). These redefinitions are not needed in the antisymmetric formalism because the tensor field representation does not allow for these O(p) operators. 

The O(p) operator ST, involving the custodial symmetry breaking spurion T, could also be present in the triplet scalar Lagrangian in eq. (4. 4). Taking the appropriate value of α S, the scalar field redefinition S = S -α S T allows one to trade this operator by the O(p 3 ) structure ∇ µ S ∇ µ T.
section_name: JHEP04(2017)012

section_content: A generic low-energy Lagrangian operator can be characterized as

where φ denotes any bosonic field (ϕ, h, W µ, B µ ) and ψ any fermionic or antifermionic field. The factor p d accounts for any explicit light scales (∂ µ, m W, m Z, m h, m ψ ) or couplings (g, g, y ξ ) appearing in the operator, and f is the corresponding LEC with the appropriate dimension. This operator will be assigned a chiral dimension d = d + j/2 and its impact in the low-energy amplitudes is explained below. Let us consider a connected Feynman diagram Γ with L loops, I B internal bosonic lines, I F internal fermionic lines, E B external bosons, E F external fermions and N djk vertices of type ∆L djk. The total number of internal and external lines is given by I = I B + I F and E = E B + E F, respectively. These quantities satisfy the topological relations: Replacing the external lines by the corresponding fields, the diagram Γ corresponds to an operator of the EWET with an infrared dimension dΓ. Adopting a mass-independent regularization scheme such as dimensional regularization, where no cut-offs are involved, one can apply a naive power-counting to determine the scaling behaviour of the diagram [2, 3]. A standard dimensional analysis [24] shows that
section_name: JHEP04(2017)012 C Chiral power counting of the low-energy EWET

section_content: Ω µν,ρσ (q) ≡ -1 2q 2 g µρ q ν q σ -g ρν q µ q σ -q 2 g µρ g νσ -(ρ ↔ σ) = 1 2 P T (q) µρ P T (q) νσ -1 2 P T (q) µσ P T (q) νρ, I µν,ρσ ≡ 1 2 (g µρ g νσ -g µσ g νρ ), (D. 5)

where P µν T (q) = g µν -q µ q ν /q 2 and P µν L (q) = q µ q ν /q 2 are the usual transverse and longitudinal Lorentz projectors. 

Eq. (D. 4) can be compared with the standard gauge boson propagator,

W -q 2 g µν -(ξ -1) q 2 ξ M 2 W -q 2 P µν L (q), (D. 6) which in the unitary gauge (ξ → ∞) reduces to the familiar Proca expression,

The former antisymmetric tensors obey the following properties:

q µ Ω µν,ρσ (q) = q ν Ω µν,ρσ (q) = q ρ Ω µν,ρσ (q) = q σ Ω µν,ρσ (q) = 0. 

(D. 8)

Finally, it is interesting to consider the matrix element for an outgoing vector of momentum p and polarization µ (i) (p):

The summation over the physical vector polarizations for a massive vector ( • p = 0, p 2 = M 2 V ) yields:
section_name: JHEP04(2017)012

section_name: Acknowledgments

section_content: We thank Claudius Krause for his useful comments on the manuscript. This work has been supported by the Spanish Government and ERDF funds from the European Commission ( FPA2013-44773-P, FPA2014-53631-C2-1-P ); by the Spanish Centro de Excelencia Severo Ochoa Programme ( SEV-2012-0249, SEV-2014-0398 ); the Generalitat Valenciana ( PrometeoII/2013/007 ); by the Universidad CEU Cardenal Herrera and Banco Santander ( PRCEU-UCH CON-15/03, INDI15/08 ); and La Caixa ( Ph. D. grant for Spanish universities ).
section_name: Acknowledgments

section_name: JHEP04(2017)012

section_content: are obtained through direct local couplings in the Lagrangian, i. e.,

), (7. 11) are in general non-zero, as the first spin-1 resonance-exchange contributions start at O(p 6 ) at low energies. The coupling F 10 is studied in a later section. One can easily understand the physics behind this equivalence because the bosonic Proca couplings can be written in the form L (P ) R = Rµν χµν R, with Rµν defined in eq. (4. 9), which is formally analogous to the interaction Lagrangian of the antisymmetric spin-1 fields, L

The effective action S (X) (X = A, P ) for the exchange of a single heavy spin-1 particle can then be written in a compact way as [14] S (X) = -1 2 d 4 x d 4 y χ µν (X) (x) ∆ (X) µν,ρσ (x -y) χ ρσ (X) (y), (7. 12) with χ µν (A) = χ µν R and χ µν (P ) = χµν R. Taking into account the derivatives included in the definition (4. 9), the Proca propagator adopts the form ∆ (P ) µν,ρσ (x) =

while in the antisymmetric formulation one has (see appendix D for further details)

µν,ρσ (x) + δ (4) (x) (g µρ g νσ -g µσ g νρ ). 

(

The two spin-1 resonance exchanges are then equivalent up to a local contribution. For a given chiral structure (determined by the external legs of the Green function), the identification of the pole residues at k 2 = M 2 R relates the corresponding chiral couplings in the two formalisms with the appropriate power of M R to compensate the different canonical dimensions, as indicated in eq. (6. 9). The local contributions are adjusted to satisfy a proper UV behaviour, which results in identical Green functions in both formalisms. The EWET LECs are finally obtained from the infrared limit of the Green functions.
section_name: JHEP04(2017)012

section_content: We can distinguish three different types of O(p 4 ) two-fermion operators. The 2 ) are relevant for ψϕ → ψϕ, ψh scattering amplitudes. O ψ 2 7 is of a similar type and is relevant for the ψh → ψh scattering. There is finally a third group formed by the custodial symmetry-breaking operators O ψ 2 6 and O ψ 2 3. We will focus here the discussion on the first two types of operators, which get contributions from vector and axial-vector exchanges between χ µν vertices, in the antisymmetric formalism. The general structure of these spin-1 exchanges in the Vµ and V µν descriptions is then also given by eqs. (7. 12), (7. 13) and (7. 14). A few explicit examples are enough to check that the LECs of the EWET are saturated by the resonance-exchange contributions in SDET-A, without any need for additional local terms. In SDET-P, the same JHEP04(2017)012 are obviously the same, since both formalisms are fully-equivalent effective descriptions of the same physics. 

Since the naive exchange of antisymmetric and Proca fields generates different chiral structures, the final values for the O(p 4 ) LECs are simply given by the sum of all spin-1 contributions collected in tables 4, 5, 6 and 7. There could be in addition other contributions not related to these vector and axial-vector heavy states. For instance, the spin-0 contributions in table 3.
section_name: Two-fermion operators

section_content: In many fashionable models the heavy vector states are introduced as massive Yang-Mills fields or hidden local symmetry (HLS) gauge vectors [74] [75] [76] [77] [78] [79] [80] [81], i. e., a triplet spin-1 vector is represented by a field Vµ, transforming under G as

and described by the Lagrangian [14] L

with the gauge field strength tensor Vµν = ∂ µ Vν -∂ ν Vµ -ig ρ [ Vµ, Vν ] and the HLS gauge coupling g ρ. The first term in (8. 2) is just the renormalizable dimension-4 Yangs-Mills Lagrangian. Renormalizability guarantees very good UV properties which are only softly modified by the second term, incorporating the vector mass in a gauge-invariant way. The connection Γ µ, defined in (3. 11), introduces non-linear interactions with the Goldstone fields but, thanks to the underlying local symmetry, they generate scattering amplitudes which are well behaved at short distances. 

One can easily recover the Proca representation with the field redefinition

where Vµ transforms under G as Vµ → g h Vµ g † h. This implies [14]

with Vµν = ∇ µ Vν -∇ ν Vµ and
section_name: Gauge-like formulation of spin-1 massive states

section_content: -Table 8. Final predictions for the massive resonance contributions to the bosonic O(p 4 ) LECs of the EWET Lagrangian. 

While the analysis of spin-0 boson exchanges is straightforward, the spin-1 contributions to the EWET Lagrangian need a more careful treatment, since there exist several formalisms to describe massive spin-1 fields, and a naive evaluation of tree-level exchange amplitudes gives results which depend on the adopted representation. We have presented a very detailed study of this potential ambiguity, demonstrating the equivalence of the different formalisms, once a good UV behaviour is required. 

The final predictions for the O(p 4 ) LECs of the EWET Lagrangian, generated through the exchanges of colourless (triplet and singlet) spin-0 and spin-1 heavy particles, are compiled in tables 8, 9 and 10. They contain the resonance contributions to bosonic, twofermion and four-fermion operators, respectively. Note that all "couplings" here must be understood as functions of h/v. The values of the bosonic LECs in table 8 agree with the results found previously in ref. [12], which only considered P -even operators and exact custodial symmetry. The couplings which do not contain Higgs fields are also in agreement with those found in QCD through the large-N C matching of Resonance Chiral Theory and χPT [13, 14] (

Final predictions for the massive resonance contributions to the two-fermion O(p 4 ) LECs of the EWET Lagrangian. 

The tree-level resonance exchanges that we have analyzed contribute to all O(p 4 ) operators, except O 8, which only contains Higgs fields, and O ψ 2 7, which also contains a fermion bilinear. While most of the LECs receive contributions from vector and axialvector resonances, the exchange of heavy spin-0 particles only manifests in a few P -even LECs. A triplet scalar leaves its fingerprints on the four-fermion operators O ψ 4. Obviously, if there exist several heavy states with the same J P C quantum numbers, each of them will give separate contributions to the LECs as indicated in the tables (appropriate sums over similar resonance states must then be understood, whenever needed). 

If any anomalous (non SM) behaviour is observed in the data, the identification of its physical origin will require a detailed phenomenological study of the fitted LECs. The pattern of non-zero LECs should allow to infer the quantum numbers of the underlying dynamics. From our results, it is possible to extract a few interesting features:

1. A non-zero P -odd LEC indicates a spin-1 particle with both P -odd and P -even couplings. 10. Final predictions for the massive resonance contributions to the four-fermion O(p 4 ) LECs of the EWET Lagrangian. 6. The custodial-breaking LEC F ψ 2 6 ( F ψ 2 3 ) manifests a singlet P -odd (even) vector or P -even (odd) axial-vector coupling preserving custodial symmetry, combined with a custodial-breaking P -odd (odd) vector or P -even (even) axial-vector coupling.
section_name: A1

section_name: A non-zero value of any of the

section_content: 7. A non-zero value of F 4 +F 5 (F 6 +F 7 ) indicates a singlet scalar (triplet pseudoscalar). 8. A non-zero value F 10 (F 11 ) indicates a singlet P -odd (even) vector or P -even (odd) axial-vector coupling. 9. F ψ 4 5,9 (F ψ 4 6 ) manifest a triplet P -even (odd) vector or P -odd (even) axial-vector coupling. 10. 

1,2 and F ψ 4 1 signal a triplet spin-1 particle.
section_name: JHEP04(2017)012

section_name: A non-zero value of

section_content: There could be, in addition, other contributions not included in the generic scenario that we have studied. Obvious extensions of this analysis, to be investigated in future works, include spin-2 bosons, coloured heavy states and massive fermions. A first necessary step is to complete our minimal basis of EWET operators with the additional terms involving JHEP04(2017)012

Transformation properties of the Goldstone tensors. The superindex t denotes matrix transposition. 

more studied linear realization of the electroweak EFT, while the scalar and pseudoscalar cases require, however, a careful investigation. A global phenomenological analysis of the EWET LECs, including flavour constraints, is a necessary and highly non-trivial task to be addressed in future works.
section_name: indicates a singlet scalar (pseudoscalar).

section_content: In this appendix we compile some useful transformation properties of the different chiral structures defined in the paper. Table 11 shows how the basic Goldstone tensors transform under parity (P ), charge conjugation (C), CP and Hermitian conjugation. The analogous transformation properties of the fermion bilinears are given in table 12, while table 13 exhibits the Dirac algebra entering into play for each of these transformations. Finally, table 14 shows the transformation properties of the different massive multiplets considered in this paper. When building invariant operators, we have assumed that the custodial symmetry-breaking spurion T transforms like a scalar S.
section_name: A Transformation properties of chiral structures under discrete symmetries

section_content: Many redundant operators can be eliminated from the effective Lagrangian by using partial integration, field redefinitions, the classical EoM or algebraic identities [13, 31, 113]. We provide next a few illustrative examples.
section_name: B Lagrangian simplifications

section_content: Since we have just seen that the three O(p) operators can be eliminated from the resonance effective theory through appropriate redefinitions of the heavy S, V µ and A µ fields, one could wonder whether there are corresponding field transformations in the low-energy EWET that remove the O(p 3 ) fermionic operators in (B. 7). 

The scalar β S term can be easily reabsorbed into the following redefinition of the LO Yukawa coupling in eq. (3. 31),

Similarly, redefining the auxiliary gauge sources through

one can reabsorb the β V and β A terms into the kinetic fermion Lagrangian:

This redefinition, when applied to the Yang-Mills Lagrangian L YM, generates contributions to some of the O(p 4 ) operators O i in table 1, suppressed by factors of β n V or β n A with 1 ≤ n ≤ 4. The axial part of the transformation (B. 10) implies in addition u µ = u µ /(1 + 2β A ), where the prime refers to the Ŵ µ and B µ fields hidden in the covariant derivative within u µ. This is an O(p) effect (the coupling β A carries the additional chiral suppression assigned to the fermion bilineal J A ), which propagates to the LO Goldstone term:

(B. 12) One gets finally a formally identical Goldstone Lagrangian with the redefinitions

where c

(u) n are the expansion coefficients of F u (h/v ) in powers of h/v, defined in eq. (3. 16). The Goldstone fields ϕ have been rescaled to compensate the factor that arises from relabeling v in such a way that u(ϕ/v) = u(ϕ /v ).
section_name: JHEP04(2017)012

section_content: To reduce the number of EWET operators we have used the following SU(2) algebraic identity (x = x j σ j ; x = a, b, c, d) being this U(N ) Resonance Chiral Theory operator [13] absent in SU (2). Likewise, in the case of fermionic operators we have the Cayley-Hamilton relations:

For the odd-intrinsic parity sector with the Levi-Civita tensor, one can make use of the Schouten identity [114, 115] :

The basic Goldstone tensors satisfy the following useful relations [13, 31, 113] :

Whenever possible, we use them to express the results in terms of the tensors f µν ±, proportional to the gauge fields.
section_name: JHEP04(2017)012 B.2 Algebraic identities

section_content: We can complete the previous formal estimate with the scales and factors that will naively accompany the p dΓ scaling behaviour:

using the relations in eq. (C. 2). Therefore, the contribution from this diagram scales like
section_name: JHEP04(2017)012

section_content: A spin-1 particle can be described through an antisymmetric tensor field V µν = -V νµ, with the Lagrangian [13, 25 ]

which has the classical free-field equations of motion,

The corresponding free propagator in momentum space takes then the form of a fourindex antisymmetric tensor:

with

and Rµν = ∇ µ Rν -∇ ν Rµ. The term L (P) non-R [φ j ] and the chiral structures χµ R and χµν R only contain light SM fields φ j. 

Quantum fields are integration variables in the path-integral formulation of the generating functional. Focusing only on the integration over the four-vector Rµ configurations,

where in the second line we have introduced the term R µν R µν which, after integrating over the auxiliary antisymmetric tensor field R µν, produces just a global normalization factor. Making the change of variables [37, 38]

with the convenient definitions [38] ∆L (A) [R,

In the last line of eq. (E. 4), we have performed the Gaussian integration over R. 

The generating functional can be now rewritten as

in terms of the antisymmetric tensor field R µν Lagrangian

where

JHEP04(2017)012

We can easily generalize this result to an arbitrary number of triplet R and singlet R1 Proca fields, described by the Lagrangian

with the triplet resonance contributions in eq. (E. 2) and the singlet resonance terms

Performing for each separate spin-1 field the previous formal manipulations, the generating functional can be written in terms of an equivalent Lagrangian in the antisymmetric tensor formalism,

(E. 12)

with the triplet resonance contributions in eq. (E. 8) and the singlet resonance terms

The Lagrangian piece without resonance fields is given by
section_name: D Antisymmetry field formalism for spin-1 particles

section_content: We analyze next the high-energy behaviour of some selected Green functions, which are sensitive to specific LECs, and compare the results obtained with the antisymmetric and Proca formalisms for spin-1 fields.
section_name: F Higgsless bosonic operators at short distances

section_content: The LECs F
section_name: F.1 Two-Goldstone scattering amplitudes

section_content: This generic structure is a consequence of the SU(2) L+R and crossing symmetries, with s, t and u the standard Mandelstam variables. 

At LO, the two different spin-1 effective theories, SDET-A and SDET-P, give the results:

The scalar-exchange contribution is obviously identical in both cases and grows linearly with s ∼ E 2, which a priori does not violate the Froissart bound on the cross section. A similar growing with energy appears in the antisymmetric spin-1 contribution. However, the Proca realization gives a much worse behaviour A ∼ E 4. The local F 4,5 terms generate in both cases a quadratic dependence with the Mandelstam variables. 

To satisfy unitarity, the forward scattering amplitudes must obey a once-subtracted dispersion relation. The pieces growing as E 4 must then cancel in both EFTs, which sets a relation between the local terms and the spin-1 contribution. In the antisymmetric realization one finds that F SDA 4,5 must vanish, whereas in the Proca formalism one needs non-zero F SDP 4,5 couplings:

The two spin-1 descriptions give then the same scattering amplitudes with g R = G R /M R and g R = G R /M R (R = V, A), in agreement with the relations (6. 9) between the Proca and antisymmetric Lagrangians. The infrared behaviour determines the final predictions for the EWET LECs in table 8: F 4 takes the value quoted in table 6, while F 5 receives in addition the spin-0 contribution given in table 3.
section_name: JHEP04(2017)012

section_content: Let us consider the two-point correlation functions of the vector and axial-vector currents in eqs. (7. 2) and (7. 3),
section_name: F.2 Two-point current correlators

section_content: At LO, one obtains

(SDET-P), (F. 5)

(SDET-P), (F. 6)

(SDET-P). 

(F. 7)

The couplings of the two formalisms being related by eqs. (6. 9). The difference Π VV (q 2 ) -Π AA (q 2 ) is an order parameter of EWSB. Its short-distance OPE can only receive non-zero contributions from operators which break chiral symmetry and, therefore, vanishes very fast at large values of t = q 2 (as 1/t 3 in asymptoticallyfree theories [102] ). Requiring only the softer condition that it satisfies an unsubtracted dispersion relation implies

(F. 8)

A similar argument applies to Π VA (q 2 ). Imposing that it vanishes at large q 2 leads to

If one further requires that the separate Π VV (q 2 ) and Π AA (q 2 ) correlators vanish at large energies, one gets in addition

Therefore, the three LECs, F 1, F 2 and F 2 are saturated by spin-1 resonance exchange in the antisymmetric formalism, and take the values given in table 8. Note however, that there are no strong reasons why this last condition should be fulfilled (in fact, it does not in QCD). Thus, there could exist an additional non-zero contribution to ∆F SDP 2 = F SDA 2 which is not fixed by the single-resonance dynamics. Its determination would require more direct information on the underlying short-distance theory.
section_name: JHEP04(2017)012

section_content: Open Access. This article is distributed under the terms of the Creative Commons Attribution License (CC-BY 4. 0), which permits any use, distribution and reproduction in any medium, provided the original author(s) and source are credited.
section_name: JHEP04(2017)012