Four-point functions in momentum space: conformal ward identities in the scalar/tensor case

Abstract

We derive and analyze the conformal Ward identities (CWI’s) of a tensor 4-point function of a generic CFT in momentum space. The correlator involves the stress–energy tensor T and three scalar operators O (TOOO). We extend the reconstruction method for tensor correlators from 3- to 4-point functions, starting from the transverse traceless sector of the TOOO. We derive the structure of the corresponding CWI’s in two different sets of variables, relevant for the analysis of the 1–3 (1 graviton \(\rightarrow \) 3 scalars) and 2–2 (graviton + scalar \(\rightarrow \) two scalars) scattering processes. The equations are all expressed in terms of a single form factor. In both cases we discuss the structure of the equations and their possible behaviors in various asymptotic limits of the external invariants. A comparative analysis of the systems of equations for the TOOO and those for the OOOO, both in the general (conformal) and dual-conformal/conformal (dcc) cases, is presented. We show that in all the cases the Lauricella functions are homogeneous solutions of such systems of equations, also described as parametric 4K integrals of modified Bessel functions.

Introduction

The analysis of the conformal constraints in general conformal field theories (CFT’s) in momentum space provides new insight into the structure of the corresponding correlators. It allows a direct comparison between general CFT predictions and those derived within the traditional S-matrix approach – based on the study of scattering amplitudes – widely investigated in a perturbative context.

Up to 3-point functions, the conformal Ward identities (CWI) are sufficient to fix all the correlators in terms only of the conformal data, which amount to a set of constants. A similar analysis of higher point functions is far more demanding, since it requires the use of the operator product expansion and the study of conformal partial waves (conformal blocks) associated to a given CFT [1, 2].

By turning to momentum space, even the analysis of 3-point functions becomes nontrivial, and one has to proceed with a substantial reformulation of the action of the conformal generators in these new variables, which show the hypergeometric nature of the solutions of the CWI’s [3,4,5,6,7,8,9]. These can all be reformulated as systems of partial differential equations (pde’s), whose solutions are linear combinations of Appell functions (\(F_4\)), which are hypergeometric functions of 2 variables.

In tensor correlators, by appropriate shifts of the parameters of such solutions, it is possible to solve for all the form factors [7, 8] of a given tensorial parameterization. Equivalently, one can map such solutions to parametric integrals (3K integrals) of Bessel functions [4], which allow to handle the symmetries of a certain correlator quite efficiently.

There are four fundamental solutions of a hypergeometric system of pde’s generated by the CWI’s of a scalar 3-point function, as discussed in [3]. Any other solution, obtained by requiring specific symmetries of the correlation function, is built around such a basis [7, 8]. This holds also for inhomogeneous systems, as illustrated for nontrivial correlators such as the TJJ, TTT, and so on, where the several form factors appearing in the tensor decomposition can all be determined explicitly in terms of few constants [4].

As we move to 4-point functions, CWI’s cease to provide sufficient information for the complete identification of the corresponding correlators, and it is necessary to define a bootstrap program in momentum space which is consistent with the same CWI’s, in analogy with coordinate space. There is hope that, in the near future, also these missing links will soon be solved, allowing for equally valuable, complementary approaches both in momentum and in coordinate space.

CFT’s and anomalies

Several parallel studies have widened the goal of this activity, addressing issues such as the use of conformal blocks/CP symmetric blocks (Polyakov blocks) [10,11,12,13] as well as light-cone blocks [14,15,16], analytic continuations to Lorentzian spacetimes [17] and spinning correlators, just to mention a few, all in momentum space. Related analysis have explored the link to Witten diagrams within the AdS/CFT correspondence [18, 19]. At the same time, the extension of these investigations to de Sitter space has laid the foundations for new applications in cosmology [20,21,22,23,24,25,26] and in gravitational waves [27]. Finally, investigations of such correlators in Mellin space [28,29,30,31] offer a new perspective on the bootstrap program both in flat and in curved space [32, 33], providing further insight into the operatorial structure of a given CFT, and connecting in a new way momentum space and Mellin variables.

Undoubtedly, CWI’s play a crucial role in this effort, with widespread applications both at zero and at finite temperature [34]. Among all the possible correlators that one may investigate, those containing stress–energy tensors (T) play a special role, due to the presence of the conformal anomaly [35]. Analysis of 4-point functions have so far been limited to scalar correlators in flat [5, 9] and curved backgrounds [20, 21]. The level of complexity increases drastically for 3-point functions as soon as one considers correlators containing multiple insertions of stress–energy tensors. Their CWI’s, in this case, have to reproduce the correct expression of the conformal anomaly. This introduces significant complications respect to coordinate space where, in general, the issues of the ultraviolet behaviour at coincident spacetime points of the corresponding operators is not addressed. In coordinate space, the problem has been investigated in few cases – for instance in the TTT case – quite directly, by solving the CWI’s separately in their homogeneous and inhomogeneous (anomalous) forms, by adding to the homogeneous solution one extra contribution [36].

Such additional contribution amounts to an ultralocal term in the corresponding correlation function, generated when all the coordinates of the operators coalesce [36, 37] and reproduced by a variation of the anomaly functional.

In this context, studies of such correlators in momentum space find significant guidance from free field theory realizations. For example, direct one-loop computations in classical conformal invariant theories (such as massless QED and QCD) indicate that the anomalous breaking of conformal symmetry is associated with the exchange of massless poles [7, 38, 39]. This special feature unifies both conformal and chiral anomalies, as found in supersymmetric studies [40], and it has been shown to be consistent with the solutions of the CWI’s of three point functions, such as the TJJ [39, 41] and the TTT [7].

Moving to 4-point functions

The investigation of the CWI’s in momentum space that we are going to present is based on the reconstruction method of a tensor correlator starting from its transverse/traceless (tt) sector, formulated for 3-point functions [4, 6, 42], that here we are going to extend to 4-point functions.

In particular, in [4] a complete approach for the analysis of 3-point functions, up to the TTT case, with three stress–energy tensors, valid for tensor correlators, has been formulated. The reconstruction of the entire correlator from its tt projection involves the identification of a minimal set of form factors in this sector, and it is accompanied by a set of technical steps for re-assembling it in a systematic way.

This approach allows to identify primary and secondary CWI’s of a tensorial 3-point function, with the former corresponding to second order partial differential equations (pde’s) which can be solved independently in terms of a set of arbitrary constants.

Primary CWI’s are equations involving only form factors of the tt sector and generate, for tensor correlators, inhomogenous systems of pde’s of hypergeometric type. Secondary CWI’s, on the other end, connect the same form factors to 3-point functions via the corresponding canonical WI’s, which impose extra constraints on the constants appearing in the solution of the primary equations.

The results that we present extend a previous analysis devoted to the scalar case, involving the OOOO correlator [9]. We will re-investigate the scalar case, by taking a closer look at the structure of the equations and at their asymptotic behaviour. We will remark few additional properties of such correlators and highlight some properties of the asymptotic solutions of such equations, which have not been addressed before. This will allow us to gain a more general perspective both on the scalar and the tensor cases, especially in view of possible future extensions of our work to correlators of higher rank.

Scalar correlators are characterised only by primary CWI’s and are therefore simpler to handle, differently from the TOOO case where both primary and secondary equations are present.

In the scalar case the analysis of the conformal constraints will be performed by focusing on a special class of solutions of such equations which are conformal and dual conformal at the same time, derived in [9]. These are obtained by imposing a specific condition on the scaling dimensions of the scalar operators, which allow to reduce the CWI’s to a hypergeometric system, as in the case of 3-point functions. We have summarised their construction in a nutshell in appendix E.

As we move from 3- to 4-point functions, all the equations, primary and secondary, are expressed in terms of 6 invariants, which are the external invariant masses \(p_i^2\) and the two Mandelstam invariants s and t. As far as we keep the external lines off-shell, and stay away from kinematical points where an invariant is exactly zero, the equations are well-defined and it is possible to investigate their structure. As we are going to show, the selection of a set of specific invariants, compared to others, is particularly beneficial if we intend to uncover the symmetries of the equations and their redundancies under the permutations of the external momenta.

A crucial goal of our study is the identification of the asymptotic behaviour of the solutions of such constraints in specific kinematical limits. This may allow, in the near future, to relate results from ordinary perturbation theory – in ordinary Lagrangian realizations, at one loop level – to those derived from CFT’s in the same limits. For instance, in [7, 8] it is shown how to match the general solutions of the CWI’s for the TTT and TJJ correlators, to free field theories with a specific content of fermions, scalars and spin 1 fields. The matching allows to re-express the solutions of such equations in terms of simple one-loop master integrals in full generality, for any CFT.

The search for asymptotic solutions

For this reason, the search for asymptotic solutions of the CWI’s, which acquire a simpler form in such limits, is particularly interesting. It may allow to establish a link with the classical factorization theorems proven in gauge theory amplitudes [43], especially if such CFT methods can be extended to multi-point functions.

We will investigate the structure of the equations in two specific limits. The first case that we will address will be the \(1\rightarrow 3\), where the graviton line of the T is assumed to acquire a large invariant mass \((p_1^2)\) and decays into three scalar lines with small invariants \((p_2^2,p_3^2,p_4^2)\), while the remaining invariants s and t are large. We are going to derive some approximate asymptotic solutions of the equations which are separable in the \((p_2^2,p_3^2,p_4^2)\) and (stu) dependence. A similar analysis will be presented in the \(2\rightarrow 2\) process, where one of the lines of the scalar operators is selected in the initial state together with the graviton line and the remaining scalar lines are in the final state.

Our work is organized as follows.

After a brief discussion of the conformal and canonical WI’s in momentum space, we investigate the structure of the tt sector of the TOOO, identifying the symmetry constraints under the permutation of the momenta of the single form factor appearing in this correlator.

We then turn to a derivation of the primary and secondary CWI’s of this correlator, written in a form which will be useful for the derivation of their asymptotic limits. We describe the orbits of such equations under the symmetry permutations, which allows to identify a subset of independent equations.

The analysis is repeated from scratch in the \(2\rightarrow 2\) case and it is followed by a discussion of the asymptotic limits of such equations, after a brief overview of the approach in the scalar case.

We start from the scalar case, discuss the system of scalar equations and discuss its reduction to the dcc case, which can be solved exactly. The asymptotic behaviour of the dcc solutions provides an example and a guidance for a more general analysis first of the scalar case, and then of the tensor case, the TOOO. In our conclusions we present some perspective for further future extensions of our work.

Ward identities for the TOOO in coordinate and in momentum space

In this section we briefly review the structure of the CWI’s in coordinates and momentum space before turning to an analysis of the tensor case.

We recall that for scalar correlators of individual scaling dimensions \(\Delta _i\)

$$\begin{aligned} \Phi (x_1,x_2,\ldots ,x_n)=\langle O_1(x_1)O_2(x_2)\cdots O_n(x_n)\rangle \end{aligned}$$
(2.1)

with primary scalar operators \(O_i\), the special CWI’s are given by first order differential equations

$$\begin{aligned} \mathcal{K}_{scalar}^\kappa (x_i) \Phi (x_1,x_2,\ldots ,x_n) =0, \end{aligned}$$
(2.2)

with

$$\begin{aligned} \mathcal{K}_{scalar}^\kappa (x_i) \equiv \sum _{j=1}^{n} \left( 2 \Delta _j x_j^\kappa - x_j^2\frac{\partial }{\partial x_{j,\kappa }}+ 2 x_j^{\kappa } x_j^{\alpha } \frac{\partial }{\partial x_j^\alpha } \right) \end{aligned}$$
(2.3)

being the corresponding generator in coordinate space. Denoting with

$$\begin{aligned} \Phi (p_1,\ldots p_{n-1},\bar{p}_n)=\langle O_1(p_1)\cdots O_n(\bar{p}_n)\rangle \end{aligned}$$
(2.4)

and

$$\begin{aligned} \mathcal{K}_{scalar}^\kappa (p_i)\equiv \sum _{j=1}^{n-1}\left( 2(\Delta _j- d)\frac{\partial }{\partial p_{j,\kappa }}+p_j^\kappa \frac{\partial ^2}{\partial p_j^\alpha \partial p_j^\alpha } -2 p_j^\alpha \frac{\partial ^2}{\partial p_{j,\kappa } \partial p_j^\alpha }\right) \end{aligned}$$
(2.5)

the Fourier transform of (2.1) and of (2.3) respectively, the form of second order differential equations is given by

$$\begin{aligned} \mathcal{K}_{scalar}^\kappa (p_i)\Phi (p_1,\ldots p_{n-1},\bar{p}_n)=0, \end{aligned}$$
(2.6)

where we have chosen \(\bar{p}_n^\mu =-\sum _{i=1}^{n-1} p_i^\mu \) the nth momentum, to be the linearly dependent one. These constraints are accompanied by the corresponding dilatation WI’s

$$\begin{aligned} \phi (\lambda x_i)=\lambda ^{-\Delta }\phi (x_i), \end{aligned}$$
(2.7)

which reduce to the form

$$\begin{aligned} D(x_i) \Phi (x_1,\ldots x_n)=0, \end{aligned}$$
(2.8)

with the (Euler) operator \(D(x_i)\) given by

$$\begin{aligned} D(x_i)\equiv \sum _{i=1}^n\left( x_i^\alpha \frac{\partial }{\partial x_i^\alpha } +\Delta _i\right) . \end{aligned}$$
(2.9)

In momentum space, the dilatation WI is then given by

$$\begin{aligned} D(p_i) \Phi (p_1\ldots \bar{p}_n)=0, \end{aligned}$$
(2.10)

where

$$\begin{aligned} D(p_i)\equiv \sum _{i=1}^{n-1} p_i^\alpha \frac{\partial }{\partial p_i^\alpha } + \Delta ', \end{aligned}$$
(2.11)

with the overall scaling in momentum space being given by [8]

$$\begin{aligned} \Delta '\equiv \left( -\sum _{i=1}^n \Delta _i +(n-1) d\right) =-\Delta _t +(n-1) d. \end{aligned}$$
(2.12)

In the expression above, \(\Delta _t=\sum _{i=1}^4 \Delta _i\) denotes the total scaling in coordinate space, while the same scaling in momentum space is associated with \(\Delta '\) as

$$\begin{aligned} \phi (\lambda p_1\ldots \lambda \bar{p}_n)=\lambda ^{-\Delta '}\phi (p_1\ldots \bar{p}_n). \end{aligned}$$
(2.13)

Coming to the tensor case, we recall that the infinitesimal conformal transformation \(x^\mu \rightarrow x^\mu + v^\mu (x)\) for the stress–energy tensor with

$$\begin{aligned} v_{\mu }(x)=b_\mu x^2 -2 x_\mu b\cdot x, \end{aligned}$$
(2.14)

defined in terms of a generic parameter \(b_\mu \), and a scaling factor

$$\begin{aligned} \Omega = 1- \sigma +\ldots \end{aligned}$$
(2.15)

with \(\sigma =-2 b\cdot x\), can be expressed as a local rotation times a rescaling \(\Omega \)

$$\begin{aligned} R^\mu _\alpha =\Omega \frac{\partial x'^\mu }{\partial x^\alpha }, \end{aligned}$$
(2.16)

and the action on the stress–energy tensor is simply given by

$$\begin{aligned} T'^{\mu \nu }(x')= & {} \Omega ^{\Delta _T} R^\mu _\alpha R^\nu _\beta T^{\alpha \beta }(x). \end{aligned}$$
(2.17)

R can be expanded around the identity as

$$\begin{aligned} R=\mathbf { 1 } + \left[ \mathbf {\epsilon }\right] +\ldots \end{aligned}$$
(2.18)

with an antisymmetric matrix \(\left[ \epsilon \right] \), which we can re-express in terms of antisymmetric parameters (\(\tau _{\rho \sigma }\)) and \(1/2 \,d\, (d-1)\) generators \(\Sigma _{\rho \sigma }\) of SO(d) as

$$\begin{aligned} \left[ \epsilon \right] _{\mu \alpha }= & {} \frac{1}{2} \tau _{\rho \sigma }\left( \Sigma _{\rho \sigma }\right) _{\mu \alpha }\nonumber \\ \left( \Sigma _{\rho \sigma }\right) _{\mu \alpha }= & {} \delta _{\rho \mu }\delta _{\sigma \alpha } -\delta _{\rho \alpha }\delta _{\sigma \mu } \end{aligned}$$
(2.19)
$$\begin{aligned} R_{\mu \alpha }= & {} \delta _{\mu \alpha } + \tau _{\mu \alpha }=\delta _{\mu \alpha } + \frac{1}{2}\partial _{[\alpha }v_{\mu ]}, \end{aligned}$$
(2.20)

where \( \partial _{[\alpha }v_{\mu ]}\equiv \partial _{\alpha }v_{\mu }-\partial _{\mu }v_{\alpha }\).

One derives from (2.17) the infinitesimal transformation

$$\begin{aligned} \delta T^{\mu \nu }(x)= & {} -(b^\alpha x^2 -2 x^\alpha b\cdot x )\, \partial _\alpha T^{\mu \nu }(x) - \Delta _T \sigma T^{\mu \nu }(x)\nonumber \\&+ 2(b_\mu x_\alpha - b_\alpha x_\mu )T^{\alpha \nu } \nonumber \\&+ 2 (b_\nu x_\alpha -b_\alpha x_\nu )\, T^{\mu \alpha }(x). \end{aligned}$$
(2.21)

It is then quite straightforward to obtain the expression of the special CWI for the correlator

$$\begin{aligned} \Gamma ^{\mu \nu }(x_1,x_2,x_3,x_4)\equiv \langle T^{\mu \nu }(x_1)O(x_2)O(x_3)O(x_4) \rangle \end{aligned}$$
(2.22)

in the form

$$\begin{aligned}&\mathcal{K}^\kappa \Gamma ^{\mu \nu }(x_1,x_2,x_3,x_4)\nonumber \\&\quad = \mathcal{K}^{ \kappa }_{scalar}(x_i) \Gamma ^{\mu \nu }(x_1,x_2,x_3,x_4)\nonumber \\&\qquad + 2 \left( \delta ^{\mu \kappa } x_{1\rho } - \delta _{\rho }^{\kappa }x_1^\mu \right) \Gamma ^{\rho \nu }(x_1,x_2,x_3,x_4)\nonumber \\&\qquad + 2 \left( \delta ^{\nu \kappa } x_{1\rho } - \delta _{\rho }^{\kappa }x_1^\nu \right) \Gamma ^{\mu \rho }(x_1,x_2,x_3,x_4) =0, \end{aligned}$$
(2.23)

where the first contribution denotes the scalar part and the last two contributions the spin part, which are trivially absent in the case of a scalar correlator.

The transition to momentum space of such equations has been discussed in [8], to which we will refer for further details, and the action of \(\mathcal {K}^\kappa \) can be summarized by the expression

$$\begin{aligned}&\sum _{j=1}^{3}\left[ 2(\Delta _j-d){\small \displaystyle \frac{\partial }{\partial p_j^\kappa }}-2p_j^\alpha {\small \displaystyle \frac{\partial }{\partial p_j^\alpha }}{\small \displaystyle \frac{\partial }{\partial p_j^\kappa }}+(p_j)_\kappa {\small \displaystyle \frac{\partial }{\partial p_j^\alpha }}{\small \displaystyle \frac{\partial }{\partial p_{j\alpha }}}\right] \nonumber \\&\qquad \langle {T^{\mu _1\nu _1}(p_1)\,O(p_2)\,O( p_3)}O(\bar{p_4}\rangle \nonumber \\&\qquad + \mathcal{K}^\kappa _{spin}\langle {T^{\mu _1\nu _1}(p_1)\,O(p_2)\,O( p_3)}O(\bar{p_4}\rangle =0, \end{aligned}$$
(2.24)

where we have defined the spin part of \(\mathcal{K}\) in momentum space as

$$\begin{aligned}&\mathcal{K}^\kappa _{spin}\langle {T^{\mu _1\nu _1}(p_1)\,O(p_2)\,O( p_3)}O(\bar{p_4}\rangle \nonumber \\&\quad \equiv 4\left( \delta ^{\kappa (\mu _1}{\small \displaystyle \frac{\partial }{\partial p_1^{\alpha _1}}}-\delta ^{\kappa }_{\alpha _1}\delta ^{\lambda (\mu _1}{\small \displaystyle \frac{\partial }{\partial p_1^\lambda }}\right) \nonumber \\&\qquad \langle {T^{\nu _1)\alpha _1}(p_1)\,O(p_2)\,O p_3)}O(\bar{p}_4)\rangle \end{aligned}$$
(2.25)

(symmetrization is normalized with an overall factor 1/2).

In the previous expression we have taken \(p_4\) as a dependent momentum (\(p_4\rightarrow \overline{p}_4\)), which requires an implicit differentiation if we take \(p_1,p_2\) and \(p_3\) as independent momenta. The equations can be projected onto the three independent momenta, giving scalar equations which can be re-expressed in terms of all the scalar invariants parameterizing the form factors. The hypergeometric character of the 3-point functions, as well as for 4-point functions (for the dcc solutions), emerges after such reduction of the equations to a scalar form [3, 4, 7, 8].

For this purpose, we recall that \(F_4\), Appell’s 4th hypergeometric function, which is the only special function appearing in the solution, is defined by the series

$$\begin{aligned} F_4(\alpha ,\beta ,\gamma , \gamma ';x,y)=\sum _{m, n=0}^{\infty } \frac{(\alpha )_{m+n}(\beta )_{m+n}}{(\gamma )_{m}(\gamma ')_n m! n!}x^m y^n \end{aligned}$$
(2.26)

with the (Pochhammer) symbol \((\alpha )_{k}\) given by

$$\begin{aligned} (\alpha )_{k}=\frac{\Gamma (\alpha +k)}{\Gamma (\alpha )}=\alpha (\alpha +1) \dots (\alpha +k-1). \end{aligned}$$
(2.27)

Such function appears in the solution of the CWI’s of the scalar 3-point correlator [3]

$$\begin{aligned} \Phi (q_1,q_2,q_3)=\langle O(q_1)O(q_2) O(q_3)\rangle , \end{aligned}$$
(2.28)

given by

$$\begin{aligned} K_{13}\Phi =0\qquad K_{23}\Phi =0, \end{aligned}$$
(2.29)

where the \(K_i\) are defined as

$$\begin{aligned} K_j&=\frac{\partial ^2}{\partial p_j^2}+\frac{(d-2\Delta _j+1)}{p_j}\frac{\partial }{\partial p_j},\qquad j=1,2,3\,, \end{aligned}$$
(2.30)
$$\begin{aligned} K_{ij}&=K_i -K_j. \end{aligned}$$
(2.31)

In this case, following the discussion of [3, 8], they can be solved by the linear combination of Appell functions

$$\begin{aligned} \Phi (q_1,q_2,q_3)= & {} \big (q_3^2\big )^{\frac{\Delta _t}{2} -\frac{3}{2}d -4} \sum _{a,b} c(a,b,\Delta )\,x^a y^b\nonumber \\&F_4(\alpha (a,b), \beta (a,b); \gamma (a), \gamma '(b); x, y), \end{aligned}$$
(2.32)

where here

$$\begin{aligned} x=q_1^2/q_3^2, \qquad y=q_2^2/q_3^2 \end{aligned}$$
(2.33)

are quadratic ratios of momenta, expressed in terms of a pivot, which in this case is \(q_3\). The pivot is arbitrary among the three momenta, and changes in the pivot are associated to analytic continuations of the variables [3]. In (2.32) we are assuming the same scaling dimension for the three scalars operators (\(\Delta _i=\Delta ,\, i=1,2,3\)). The expressions of \(\alpha (a,b),\beta (a,b), \gamma (a), \gamma '(b)\) take the form

$$\begin{aligned}&\alpha (a,b)= a + b + \frac{d}{2} -\frac{\Delta }{2},&\beta (a,b)= a + b + \frac{d}{2} -\frac{3\Delta }{2}\nonumber \\&\gamma (a)=2 a +\frac{d}{2} -\Delta + 1,&\gamma '(b)=2 b +\frac{d}{2} -\Delta + 1 \end{aligned}$$
(2.34)

where the (ab) run on 4 pairs of indices \((a_i,b_j)\) \((i,j,=0,1)\)

$$\begin{aligned}&a_0=0, \qquad a_1=\Delta - \frac{d}{2},\nonumber \\&b_0=0, \qquad b_1=\Delta -\frac{d}{2}. \end{aligned}$$
(2.35)

that are identified by the condition that an ansäzt based on the ratios of momenta x and y is free of non-analytic terms at x = 0, y = 0 (i.e. \(\sim 1/x, 1/y\)), which need to vanish [8]. Notice that the coefficients \(c(a,b,\Delta )\) are not all independent, but they need to satisfy some constraints. These constraints come from the requirement that the linear combination (2.32) does not contain any collinear singularities when \(p_1+p_2=p_3\) or equivalently when \(x+y=1\). Finally, only a single overall constant appears in the general solution [3, 8].

Equivalently, they can be written down as an integral of three Bessel functions (3K integral),

$$\begin{aligned}&I_{\alpha \{\beta _1,\beta _2,\beta _3\}}(q_1,q_2,q_3)=C\int _0^\infty \, dx\,x^\alpha \,(q_1)^{\beta _1}\,(q_2)^{\beta _2}\,(q_3)^{\beta _3}\nonumber \\&\times K_{\beta _1}(q_1\,x)\,K_{\beta _2}(q_2\,x)\,K_{\beta _3}(q_3\,x), \end{aligned}$$
(2.36)

in the form [4]

$$\begin{aligned} \Phi (q_1,q_2,q_3)=C I_{{d/2-1}\{\Delta _1-d/2,\Delta _2-d/2,\Delta _3-d/2\}}(q_1,q_2,q_3) \end{aligned}$$
(2.37)

with \(\alpha =d/2-1\) and \(\beta _i=\Delta _i-d/2\).

In the next sections, we are going to derive the explicit form of the CWI’s for the TOOO, extending the approach of [4] from 3- to 4-point functions. Together with the conformal constraints, we need to impose on the correlator also the canonical WI’s, which we are now going to derive.

Conservation and Trace Ward Identities

For this goal, we start from the generating functional

$$\begin{aligned} Z[\phi _0,g^{\mu \nu }]= & {} \int \mathcal {D} \Phi \mathrm {exp}\big (-S_{CFT}[\phi ,g^{\mu \nu }]\nonumber \\&-\sum _i \int d^d x \sqrt{g}\phi _0^{j}O_j \big ), \end{aligned}$$
(2.38)

dependent on the background metric \(g_{\mu \nu }\) and the classical source \(\phi _0(x)\) coupled to the scalar operator O(x), with the 1-point functions given by

$$\begin{aligned}&\langle T^{\mu \nu }(x) \rangle =\frac{2}{\sqrt{g(x)}} \frac{\delta Z}{\delta g_{\mu \nu }}, \end{aligned}$$
(2.39)
$$\begin{aligned}&\langle O_j (x) \rangle =-\frac{1}{\sqrt{g(x)}}\frac{\delta Z}{\delta \phi _0^j(x)}. \end{aligned}$$
(2.40)

In our case, in order to avoid some bulky notation, we consider only one type of scalar operator, with a unique scaling dimension \(\Delta \). We will present the derivations of all the conformal and canonical WI’s in this specific case. In Sect. 7.1 we will then provide the expression of the same equations for general distinct \(\Delta _i\)’s, which can be obtained by a very similar procedure, as in the equal scaling case.

To get the transverse and trace Ward Identities, we require that the generating functional Z is invariant under diffeomorphisms and Weyl transformations respectively, which gives

$$\begin{aligned}&\nabla _{\nu } \langle T^{\mu \nu } (x_1) \rangle +\partial ^{\mu }\phi _0 \cdot \langle O(x_1) \rangle =0, \end{aligned}$$
(2.41)
$$\begin{aligned}&g_{\mu \nu }\langle T^{\mu \nu } (x_1) \rangle +(d-\Delta )\phi _0 \langle O(x_1) \rangle =0. \end{aligned}$$
(2.42)

The WI’s for the \(\langle T^{\mu _1 \nu _1}({\mathbf {p_1}})O({\mathbf {p_2}})O({\mathbf {p_3}})O({\mathbf {p_4}})\rangle \) can be derived by taking three variations of the above identities with respect to the source \(\phi _0\) of the scalar operator. At the end, by imposing the flat limit \(g_{\mu \nu }=\delta _{\mu \nu }, \nabla _{\nu }=\partial _{\nu }\), turning off the sources (\(\phi _0=0\)) and using the definitions

$$\begin{aligned}&\langle T^{\mu \nu } (x_1) O(x_2)O(x_3)O(x_4)\rangle =\frac{-2}{\sqrt{g(x_1)}\dots \sqrt{g(x_4)}}\nonumber \\&\quad \times \frac{\delta ^4 Z}{\delta g_{\mu \nu }(x_1)\delta \phi _0(x_2)\delta \phi _0(x_3)\delta \phi _0(x_4)}, \end{aligned}$$
(2.43)
$$\begin{aligned}&\langle O(x_1)O(x_2)O(x_3) \rangle =\frac{-1}{\sqrt{g(x_1)}\sqrt{g(x_2)}\sqrt{g(x_3)}}\nonumber \\&\quad \times \frac{\delta ^3Z}{\delta \phi _0(x_3)\delta \phi _0(x_2)\delta \phi _0(x_1)}, \end{aligned}$$
(2.44)

the conservation WI gives the constraint

$$\begin{aligned}&\partial _{\nu }\langle T^{\mu \nu } (x_1)O(x_2)O(x_3)O(x_4) \rangle \nonumber \\&\quad =\partial ^{\mu }\delta ^{(d)}(x_1-x_2)\langle O(x_1)O(x_3)O(x_4) \rangle \nonumber \\&\qquad +\partial ^{\mu }\delta ^{(d)}(x_1-x_3)\langle O(x_1)O(x_2)O(x_4) \rangle \nonumber \\&\qquad +\partial ^{\mu }\delta ^{(d)}(x_1-x_4)\langle O(x_1)O(x_2)O(x_3) \rangle , \end{aligned}$$
(2.45)

while the trace WI gives

$$\begin{aligned}&\delta _{\mu \nu } \langle T^{\mu \nu } (x_1)O(x_2)O(x_3))(x_4) \rangle \nonumber \\&\quad =(d-\Delta )\delta ^{(d)}(x_1-x_2)\langle O(x_1)O(x_3)O(x_4) \rangle \nonumber \\&\qquad +(d-\Delta )\delta ^{(d)}(x_1-x_3)\langle O(x_1)O(x_2)O(x_4) \rangle \nonumber \\&\qquad +(d-\Delta )\delta ^{(d)}(x_1-x_4)\langle O(x_1)O(x_2)O(x_3) \rangle . \end{aligned}$$
(2.46)

The expressions of (2.45) and (2.46) in momentum space can be obtained by a Fourier transform and are explicitly given by

$$\begin{aligned} \begin{aligned}&\delta ^{(d)}\left( \sum _{i=1}^{4}{} \mathbf{p} _i \right) p_{1\nu }\langle T^{\mu \nu } (\mathbf{p} _1)O(\mathbf{p} _2)O(\mathbf{p} _3)O(\mathbf{p} _4) \rangle \\&\quad =-\Bigg ( p_2^{\mu }\langle O(\mathbf{p} _1+\mathbf{p} _2)O(\mathbf{p} _3)O(\mathbf{p} _4) \rangle \\&\qquad +p_3^{\mu }\langle O(\mathbf{p} _1+\mathbf{p} _3)O(\mathbf{p} _2)O(\mathbf{p} _4) \rangle \\&\qquad +p_4^{\mu }\langle O(\mathbf{p} _1+\mathbf{p} _4)O(\mathbf{p} _2)O(\mathbf{p} _3) \rangle \Bigg )\delta ^{(d)} \left( \sum _{i=1}^{4}{} \mathbf{p} _i \right) , \end{aligned} \end{aligned}$$
(2.47)

and

$$\begin{aligned}&\delta ^{(d)}\left( \sum _{i=1}^{4}{} \mathbf{p} _i \right) \delta _{\mu \nu }\langle T^{\mu \nu } (\mathbf{p} _1)O(\mathbf{p} _2)O(\mathbf{p} _3)O(\mathbf{p} _4) \rangle \nonumber \\&\quad =(d-\Delta )\Bigg ( \langle O(\mathbf{p} _1+\mathbf{p} _2)O(\mathbf{p} _3)O(\mathbf{p} _4) \rangle \nonumber \\&\qquad +\langle O(\mathbf{p} _1+\mathbf{p} _3)O(\mathbf{p} _2)O(\mathbf{p} _4) \rangle +\langle O(\mathbf{p} _1 \nonumber \\&\qquad +\mathbf{p} _4)O(\mathbf{p} _2)O(\mathbf{p} _3) \rangle \Bigg )\delta ^{(d)} \left( \sum _{i=1}^{4}{} \mathbf{p} _i \right) , \end{aligned}$$
(2.48)

where on the right hand side of the equations appear only scalar 3-point functions. We will insert a bar over a momentum variable to indicate that it is treated as a dependent one. In the following we are going to make two separate choices of dependent momenta, respectively \(\bar{p}_1\) and \(\bar{p}_4\). If we choose \(\bar{p}_1\) as the dependent momentum, the WI’s take the form

$$\begin{aligned}&\bar{p}_{\mu _1}\,\langle T^{\mu _1\nu _1}(\bar{\mathbf {p}}_1)\,O(\mathbf {p}_2)\,O (\mathbf {p}_3)\,O(\mathbf {p}_4)\rangle \nonumber \\&\quad =-p_2^{\nu _1}\langle O(\mathbf {p}_3+\mathbf {p}_4)\, O(\mathbf {p}_3)\,O(\mathbf {p}_4)\rangle \nonumber \\&\qquad -p_3^{\nu _1}\langle O(\mathbf {p}_2+\mathbf {p}_4)\,O(\mathbf {p}_2)\,O(\mathbf {p}_4)\rangle \nonumber \\&\qquad -p_4^{\nu _1}\langle O(\mathbf {p}_2+\mathbf {p}_3)\,O(\mathbf {p}_2)\,O(\mathbf {p}_3)\rangle , \end{aligned}$$
(2.49a)
$$\begin{aligned}&\delta _{\mu _1\nu _1}\,\langle T^{\mu _1\nu _1}(\bar{\mathbf {p}}_1)\,O (\mathbf {p}_2)\,O(\mathbf {p}_3)\,O(\mathbf {p}_4)\rangle \nonumber \\&\quad =(d-\Delta )\Big [\langle O(\mathbf {p}_3 +\mathbf {p}_4)\,O(\mathbf {p}_3)\,O(\mathbf {p}_4)\rangle \nonumber \\&\qquad +\langle O(\mathbf {p}_2+\mathbf {p}_4)\,O(\mathbf {p}_2)\, O(\mathbf {p}_4)\rangle \nonumber \\&\qquad +\langle O(\mathbf {p}_2+\mathbf {p}_3)\,O(\mathbf {p}_2)\,O (\mathbf {p}_3)\rangle \Big ], \end{aligned}$$
(2.49b)

and for \(\bar{p}_4\)

$$\begin{aligned}&p_{1,\mu _1}\langle T^{\mu _1 \nu _1}({\mathbf {p_1}})O({\mathbf {p_2}})O({\mathbf {p_3}})O(\bar{\mathbf {p}}_\mathbf{4})\rangle \nonumber \\&\quad =+p_1^{\nu _1}\langle O({\mathbf {p_2}})O({\mathbf {p_3}})O(\mathbf {p_1+\bar{p}_4})\rangle \nonumber \\&\qquad -p_2^{\nu _1}\Big (\langle O({\mathbf {p_1+p_2}})O({\mathbf {p_3}})O(\bar{\mathbf {p}}_\mathbf{4})\rangle \nonumber \\&\qquad -\langle O({\mathbf {p_2}})O({\mathbf {p_3}})O(\mathbf {p_1+\bar{p}_4}) \rangle \Big )\nonumber \\&\qquad -p_3^{\nu _1}\Big (\langle O({\mathbf {p_2}})O({\mathbf {p_1+p_3}})O(\bar{\mathbf {p}}_\mathbf{4})\rangle \nonumber \\&\qquad -\langle O({\mathbf {p_2}})O({\mathbf {p_3}})O(\mathbf {p_1+\bar{p}_4}) \rangle \Big ), \end{aligned}$$
(2.50a)
$$\begin{aligned}&\delta _{\mu _1\nu _1}\langle T^{\mu _1 \nu _1}({\mathbf {p_1}})O({\mathbf {p_2}})O({\mathbf {p_3}})O(\bar{\mathbf {p}}_\mathbf{4})\rangle \nonumber \\&\quad =(d-\Delta )\Big [\langle O(\mathbf{p} _1+\mathbf{p} _2)O(\mathbf{p} _3)O(\bar{\mathbf {p}}_\mathbf{4}) \rangle \nonumber \\&\qquad +\langle O(\mathbf{p} _1+\mathbf{p} _3)O(\mathbf{p} _2)O(\bar{\mathbf {p}}_\mathbf{4}) \rangle \nonumber \\&\qquad +\langle O(\mathbf{p} _1+\bar{\mathbf {p}}_\mathbf{4})O(\mathbf{p} _2)O(\mathbf{p} _3) \rangle \Big ]. \end{aligned}$$
(2.50b)

The left hand sides of these equations will be related to the form factor identified from the tt sector.

The reconstruction method from 3- to 4-point functions and the TOOO

Following [4], we consider the four point correlation function formed by a stress–energy tensor \(T^{\mu \nu }\) and three scalar operators \(O(p_i)\) of the same kind and with the same scaling dimensions. We define

$$\begin{aligned} p_i&=\sqrt{\mathbf {p}_i^2},\quad s=\sqrt{(\bar{\mathbf {p}}_1+\mathbf {p}_2)^2}=\sqrt{(\mathbf {p}_3+\mathbf {p}_4)^2},\nonumber \\ t&=\sqrt{(\mathbf {p}_2+\mathbf {p}_3)^2},\quad u=\sqrt{(\mathbf {p}_2+\mathbf {p}_4)^2}, \end{aligned}$$
(3.1)

and introduce the tt \((\Pi )\) and local \((\Sigma )\) projectors

$$\begin{aligned} \Pi ^{\mu \nu }_{\alpha \beta }(\mathbf {p})&=\frac{1}{2}\left( \pi ^{\mu }_{\alpha }(\mathbf {p}) \pi ^{\nu }_{\beta }(\mathbf {p})+\pi ^{\mu }_{\beta }(\mathbf {p})\pi ^{\nu }_{\alpha } (\mathbf {p})\right) -\frac{1}{d-1}\pi ^{\mu \nu }(\mathbf {p})\pi _{\alpha \beta } (\mathbf {p}) \end{aligned}$$
(3.2)
$$\begin{aligned} \Sigma ^{\mu \nu }_{\alpha \beta }(\mathbf {p})&=\delta ^{(\mu }_{\alpha }\delta ^{\nu )}_{\beta } -\Pi ^{\mu \nu }_{\alpha \beta }(\mathbf {p})\nonumber \\&=\frac{1}{p^2} \left[ 2\,p_{{(\beta }}\, \delta ^{(\mu }_{{\alpha )}} p^{{\nu )}}-\frac{p_\alpha p_\beta }{(d-1)} \left( \delta ^{\mu \nu }+(d-2)\frac{p^\mu p^\nu }{p^2}\right) \right] \nonumber \\&\quad +\frac{1}{d-1}\pi ^{\mu \nu }(\mathbf {p}) \delta _{\alpha \beta }. \end{aligned}$$
(3.3)

The stress–energy tensor is decomposed in its transverse traceless (tt) and local parts in the form

$$\begin{aligned} T^{\mu \nu }=t^{\mu \nu } + t_{loc}^{\mu \nu } \end{aligned}$$
(3.4)

with

$$\begin{aligned} t_{loc}^{\mu \nu }(p)&=\frac{p^{\mu }}{p^2}Q^\nu + \frac{p^{\nu }}{p^2}Q^\mu - \frac{p^\mu p^\nu }{p^4} Q +\frac{\pi ^{\mu \nu }}{d-1}(T - \frac{Q}{p^2})\nonumber \\&=\Sigma ^{\mu \nu }_{\alpha \beta } T^{\alpha \beta } \end{aligned}$$
(3.5)

and

$$\begin{aligned} Q^\mu =p_\nu T^{\mu \nu },\qquad T=\delta _{\mu \nu }T^{\mu \nu }, \qquad Q= p_\nu p_\mu T^{\mu \nu }. \end{aligned}$$
(3.6)

One can consider the decomposition of the \(\langle TOOO\rangle \) correlation function as

$$\begin{aligned}&\langle T^{\mu _1\nu _1}(\bar{\mathbf {p}}_1)O(\mathbf {p}_2)O(\mathbf {p}_3) O(\mathbf {p}_4)\rangle \nonumber \\&\quad =\langle t^{\mu _1\nu _1}(\bar{\mathbf {p}}_1) O(\mathbf {p}_2)O(\mathbf {p}_3)O(\mathbf {p}_4)\rangle \nonumber \\&\qquad +\langle t_{loc}^{\mu _1\nu _1}(\bar{\mathbf {p}}_1)O(\mathbf {p}_2) O(\mathbf {p}_3)O(\mathbf {p}_4)\rangle \end{aligned}$$
(3.7)

where in bold we refer to vectors in the Euclidean \(\mathbb {R}^d\) space, and we are considering \(\bar{p}_1^\mu =-p_2^\mu -p_3^\mu -p_4^\mu \) from momentum conservation.

The first term on the right hand side of (3.7) is the tt part of the correlation function, and the second represents the local (loc) part. The method consists in expanding the tt sector into a minimal number of form factors, fixed by the symmetry of the correlator [4]. In our case the tt and local parts take the form

$$\begin{aligned}&\langle t^{\mu _1\nu _1}(\bar{\mathbf {p}}_1)O(\mathbf {p}_2)O(\mathbf {p}_3) O(\mathbf {p}_4)\rangle \nonumber \\&\quad =\Pi ^{\mu _1\nu _1}_{\alpha _1\beta _1}(\bar{\mathbf {p}}_1) \left[ A\,p_2^{\alpha _1}p_2^{\beta _1}+A(p_2\leftrightarrow p_3)\,p_3^{\alpha _1}p_3^{\beta _1}\right. \nonumber \\&\qquad \left. +A(p_2\leftrightarrow p_4)\,p_4^{\alpha _1}p_4^{\beta _1}\right] \end{aligned}$$
(3.8)
$$\begin{aligned}&\langle t_{loc}^{\mu _1\nu _1}(\bar{\mathbf {p}}_1)O(\mathbf {p}_2)O(\mathbf {p}_3) O(\mathbf {p}_4)\rangle \nonumber \\&\quad =\Sigma ^{\mu _1\nu _1}_{\alpha _1\beta _1}(\bar{\mathbf {p}}_1) \langle T^{\alpha _1\beta _1}(\bar{\mathbf {p}}_1)O(\mathbf {p}_2)O(\mathbf {p}_3) O(\mathbf {p}_4)\rangle . \end{aligned}$$
(3.9)

From these expressions, one can observe that the local term is constrained by the conservation WI’s (2.49), which project on 3-point functions of the form OOO, as we have discussed in the previous section. Using (3.3) and (2.49) in (3.9), one can explicitly write the local term in the form

$$\begin{aligned}&\langle t_{loc}^{\mu _1\nu _1}(\bar{\mathbf {p}}_1)O(\mathbf {p}_2)O(\mathbf {p}_3) O(\mathbf {p}_4)\rangle \nonumber \\&\quad =\frac{2}{\bar{p}_1^2}\Big [-\bar{p}_1^{(\mu _1}p_2^{\nu _1)}\langle O(\mathbf {p}_3+\mathbf {p}_4)O(\mathbf {p}_3)O(\mathbf {p}_4)\rangle \nonumber \\&\qquad -\bar{p}_1^{(\mu _1}p_3^{\nu _1)}\langle O(\mathbf {p}_2+\mathbf {p}_4) O(\mathbf {p}_2)O(\mathbf {p}_4)\rangle -\bar{p}_1^{(\mu _1}p_4^{\nu _1)}\nonumber \\&\qquad \times \langle O(\mathbf {p}_2 +\mathbf {p}_3)O(\mathbf {p}_2)O(\mathbf {p}_3)\rangle \Big ]+\frac{(d-\Delta )}{d-1} \pi ^{\mu _1\nu _1}(\bar{\mathbf {p}}_1)\nonumber \\&\qquad \times \Big [\langle O(\mathbf {p}_2+\mathbf {p}_4)O(\mathbf {p}_2)O(\mathbf {p}_4)\rangle +\langle O(\mathbf {p}_2+\mathbf {p}_3)\nonumber \\&\qquad O(\mathbf {p}_2)O(\mathbf {p}_3)\rangle +\langle O(\mathbf {p}_3 +\mathbf {p}_4)O(\mathbf {p}_3)O(\mathbf {p}_4)\rangle \Big ]\nonumber \\&\qquad -\frac{1}{(d-1)}\left( \delta ^{\mu _1\nu _1}+(d-2)\frac{\bar{p}_1^{\mu _1} \bar{p}_1^{\nu _1}}{\bar{p}_1^2}\right) \nonumber \\&\qquad \times \left[ -\frac{\bar{\mathbf {p}}_1 \cdot \mathbf {p}_2}{\bar{p}_1^2}\langle O(\mathbf {p}_3+\mathbf {p}_4)O(\mathbf {p}_3) O(\mathbf {p}_4)\rangle \right. \nonumber \\&\qquad -\frac{\bar{\mathbf {p}}_1\cdot \mathbf {p}_3}{\bar{p}_1^2} \langle O(\mathbf {p}_2+\mathbf {p}_4)O(\mathbf {p}_2)O(\mathbf {p}_4)\rangle \nonumber \\&\qquad \left. -\frac{\bar{\mathbf {p}}_1\cdot \mathbf {p}_4}{\bar{p}_1^2}\langle O(\mathbf {p}_2 +\mathbf {p}_3)O(\mathbf {p}_2)O(\mathbf {p}_3)\rangle \right] . \end{aligned}$$
(3.10)

The scalar 3-point function appearing on the right hand side is exactly known. In this way, the task of finding the structure of the entire \(\langle TOOO\rangle \) has been reduced to the identification of only its tt part. In particular, as we are going to show, all the WI’s will constrain a single form factor.

The parameterization of this form factor (A), eventually, can be chosen according to the type of amplitude that one intends to consider, in order to facilitate the analysis.

For instance, in the case in which one in interested in a comparison between the conformal prediction and a free field theory realization – for example in a 1 (graviton) \(\rightarrow \) three (scalars) process – then it is convenient to adopt the parameterization \(A\equiv A(p_2,p_3,p_4,s,t,u)\) and derive the equations using such variables. This choice is the one which respects the symmetries of the process, since the three scalars can be treated equally, and it allows to discuss more easily its asymptotic behaviour. Notice that in this case, momentum \(p_1\) is treated as a dependent one \((\overline{p}_1)\) and needs to be differentiated implicitly in the corresponding equations.

Conformal Ward Identities in the \(1\rightarrow 3\) formulation

Using the \(1\rightarrow 3\) symmetric formulation and the parameterization presented in (3.9), the A form factor exhibits the following symmetries

$$\begin{aligned} A(p_3\leftrightarrow p_4)&=A(p_2,p_3,p_4,s,t,u) \end{aligned}$$
(4.1)
$$\begin{aligned} A(p_2\rightarrow p_4\rightarrow p_3\rightarrow p_2)&=A(p_2\leftrightarrow p_4) \end{aligned}$$
(4.2)
$$\begin{aligned} A(p_2\rightarrow p_3\rightarrow p_4\rightarrow p_2)&=A(p_2\leftrightarrow p_3), \end{aligned}$$
(4.3)

which can be written in the form

$$\begin{aligned} A(p_2,p_4,p_3,s,u,t)&=A(p_2,p_3,p_4,s,t,u) \end{aligned}$$
(4.4)
$$\begin{aligned} A(p_4,p_2,p_3,t,u,s)&=A(p_4,p_3,p_2,t,s,u) \end{aligned}$$
(4.5)
$$\begin{aligned} A(p_3,p_4,p_2,u,s,t)&=A(p_3,p_2,p_4,u,t,s). \end{aligned}$$
(4.6)

In order to extract some information on A\((p_2,p_3,p_4,s,t,u)\), we turn to the dilatation and the special conformal WI’s which it has to satisfy. In the case of scalars of equal scaling \(\Delta \) these take simplified forms respect to (2.5) and (2.24)

$$\begin{aligned} 0&=\left[ (3\Delta -2d)-\sum _{j=2}^{4}\,p_j^\mu \,\frac{\partial }{\partial p_j^\mu } \right] \,\nonumber \\&\quad \langle T^{\mu _1\nu _1}(\bar{\mathbf {p}}_1)O(\mathbf {p}_2)O(\mathbf {p}_3) O(\mathbf {p}_4)\rangle , \end{aligned}$$
(4.7)
$$\begin{aligned} 0&=\sum _{j=2}^4\left[ 2(\Delta -d)\frac{\partial }{\partial p_{j\,\kappa }} -2p_j^\alpha \,\frac{\partial ^2}{\partial p_j^\alpha \,\partial \,p_{j\,\kappa }} +p_j^\kappa \,\frac{\partial ^2}{\partial \,p_j^\alpha \,\partial \,p_{j\,\alpha }}\right] \,\nonumber \\&\quad \times \langle T^{\mu _1\nu _1}(\bar{\mathbf {p}}_1)O(\mathbf {p}_2)O(\mathbf {p}_3)O(\mathbf {p}_4)\rangle , \end{aligned}$$
(4.8)

where, as already mentioned, the momentum \(p_1^\mu \) is taken as the dependent one.

As discussed in [8], one of the external coordinates of the correlator can be set to vanish by translational symmetry, and its corresponding momentum, after Fourier transform, has to be taken as dependent on the other. For instance, in this case, for convenience, we have chosen the coordinate of the stress–energy tensor to vanish (\(x_1=0\)), and taken its momentum as the dependent one (\(p_1\rightarrow \overline{p}_1\)). This implies that the spin part of the special conformal transformation will not act on the stress–energy tensor, and the action of this generator is reduced to a pure scalar.

The differentiation is performed only respect to the independent momenta, using the chain rule while differentiating \(\overline{p}_1\). This choice is optimal if we intend to derive symmetric equations for the TOOO, in which we treat the three scalar operators equally, as is the case if we intend to investigate this correlator in a \(1\rightarrow 3\) kinematical configuration. In Sect. 5 we will reverse this choice, by taking one of the scalar momenta (\(p_4\)) as the dependent one, which is equivalent to choosing \(x_4=0\) in coordinate space. In this second case the special conformal generator will act with its spin part on the indices of the stress–energy tensor as well, being the momentum \(p_1\) one of the independent momenta.

The procedure that we will apply in this case follows quite closely the approach implemented for 3-point functions, developed in [4]. Both equations are projected onto the transverse traceless sector using the \(\Pi \) projector, whose action is endomorphic on this sector [4]. A more detailed discussion of this point can be found in [8].

Henceforth, by applying \(\Pi ^{\rho _1\sigma _1}_{\mu _1\nu _1}(\bar{\mathbf {p}}_1)\) on the left of the dilatation and special conformal generators, we find

$$\begin{aligned} \Pi ^{\rho _1\sigma _1}_{\mu _1\nu _1}(\bar{\mathbf {p}}_1)\,\hat{D}\, \langle t^{\mu _1\nu _1}(\bar{\mathbf {p}}_1)O(\mathbf {p}_2)O(\mathbf {p}_3) O(\mathbf {p}_4)\rangle =0 \end{aligned}$$
(4.9)

for the dilatation WI, and

$$\begin{aligned} 0&=\Pi ^{\rho _1\sigma _1}_{\mu _1\nu _1}(\bar{\mathbf {p}}_1)\,\mathcal {K}^\kappa \, \left[ \langle t^{\mu _1\nu _1}(\bar{\mathbf {p}}_1)O(\mathbf {p}_2)O(\mathbf {p}_3) O(\mathbf {p}_4)\rangle \right. \nonumber \\&\quad \left. +\langle t_{loc}^{\mu _1\nu _1}(\bar{\mathbf {p}}_1)O(\mathbf {p}_2) O(\mathbf {p}_3)O(\mathbf {p}_4)\rangle \right] \nonumber \\&=\Pi ^{\rho _1\sigma _1}_{\mu _1\nu _1}(\bar{\mathbf {p}}_1)\,\mathcal {K}^\kappa \, \langle t^{\mu _1\nu _1}(\bar{\mathbf {p}}_1)O(\mathbf {p}_2)O(\mathbf {p}_3)O(\mathbf {p}_4)\rangle \nonumber \\&\quad +\Pi ^{\rho _1\sigma _1}_{\mu _1\nu _1}\left[ \frac{4d}{\bar{p}_1^2}\bar{p}_{1\,\beta } \delta ^{\mu _1\kappa }\langle T^{\nu _1\beta }(\bar{\mathbf {p}}_1)O(\mathbf {p}_2) O(\mathbf {p}_3)O(\mathbf {p}_4)\rangle \right] \end{aligned}$$
(4.10)

for the conformal WI, where we have used the relation

$$\begin{aligned}&\Pi ^{\rho _1\sigma _1}_{\mu _1\nu _1}\,\mathcal{K}^\kappa \,\langle t_{loc}^{\mu _1\nu _1} (\bar{\mathbf {p}}_1)O(\mathbf {p}_2)O(\mathbf {p}_3)O(\mathbf {p}_4)\rangle \nonumber \\&\quad =\Pi ^{\rho _1\sigma _1}_{\mu _1\nu _1}\left[ \frac{4d}{\bar{p}_1^2}\, \delta ^{\mu _1\kappa }\,\bar{p}_{1\,\beta }\,\langle T^{\nu _1\beta }(\bar{\mathbf {p}}_1) O(\mathbf {p}_2)O(\mathbf {p}_3)O(\mathbf {p}_4)\rangle \right] .\nonumber \\ \end{aligned}$$
(4.11)

The first term in (4.10) can be explicitly written as

$$\begin{aligned}&\Pi ^{\rho _1\sigma _1}_{\mu _1\nu _1}(\bar{\mathbf {p}}_1)\,\mathcal {K}^\kappa \, \langle t^{\mu _1\nu _1}(\bar{\mathbf {p}}_1)O(\mathbf {p}_2)O(\mathbf {p}_3)O(\mathbf {p}_4)\rangle \nonumber \\&\quad =\Pi ^{\rho _1\sigma _1}_{\mu _1\nu _1}(\bar{\mathbf {p}}_1) \Bigg \{p_2^\kappa \Bigg [C_{11}\,p_2^{\mu _1} p_2^{\nu _1}+C_{12}\,p_3^{\mu _1} p_3^{\nu _1}+C_{13}\,p_4^{\mu _1} p_4^{\nu _1}\Bigg ]\nonumber \\&\qquad +p_3^\kappa \Bigg [C_{21}\,p_2^{\mu _1} p_2^{\nu _1}+C_{22}\,p_3^{\mu _1} p_3^{\nu _1}+C_{23}\,p_4^{\mu _1} p_4^{\nu _1}\Bigg ]\nonumber \\&\qquad +p_4^\kappa \Bigg [C_{31}\,p_2^{\mu _1} p_2^{\nu _1}+C_{32}\,p_3^{\mu _1} p_3^{\nu _1}+C_{33}\,p_4^{\mu _1} p_4^{\nu _1}\Bigg ]\nonumber \\&\qquad +\delta ^{\mu _1\kappa }\Bigg [C_{41}\,p_2^{\nu _1}+C_{42}\, p_3^{\nu _1}+C_{43}\,p_4^{\nu _1}\Bigg ]\Bigg \} \end{aligned}$$
(4.12)

where we have used the chain rules

$$\begin{aligned} \frac{\partial }{\partial p_2^\mu }&=\frac{p_2^\mu }{p_2}\frac{\partial }{\partial p_2}+\frac{p_2^{\mu }+p_3^{\mu }}{t}\frac{\partial }{\partial t}+\frac{p_2^\mu +p_4^\mu }{u}\frac{\partial }{\partial u} \end{aligned}$$
(4.13)
$$\begin{aligned} \frac{\partial }{\partial p_3^\mu }&=\frac{p_3^\mu }{p_3}\frac{\partial }{\partial p_3}+\frac{p_3^{\mu }+p_4^{\mu }}{s}\frac{\partial }{\partial s}+\frac{p_2^\mu +p_3^\mu }{t}\frac{\partial }{\partial t} \end{aligned}$$
(4.14)
$$\begin{aligned} \frac{\partial }{\partial p_4^\mu }&=\frac{p_4^\mu }{p_4}\frac{\partial }{\partial p_4}+\frac{p_2^{\mu }+p_4^{\mu }}{s}\frac{\partial }{\partial s}+\frac{p_2^\mu +p_4^\mu }{u}\frac{\partial }{\partial u} \end{aligned}$$
(4.15)

in order to write the covariant derivatives in terms of scalar derivatives involving the invariants parameterizing A. The coefficients \(C_{ij}\) in (4.12) are linear combinations of differential operators acting on A. The dilatation WI (4.9) can be written in scalar form as

$$\begin{aligned} 0&=\Pi ^{\rho _1\sigma _1}_{\mu _1\nu _1}(\bar{\mathbf {p}}_1)\,\hat{D}\, \langle t^{\mu _1\nu _1}(\bar{\mathbf {p}}_1)O(\mathbf {p}_2) O(\mathbf {p}_3)O(\mathbf {p}_4)\rangle \nonumber \\&=\Pi ^{\rho _1\sigma _1}_{\mu _1\nu _1}(\bar{\mathbf {p}}_1) \Bigg \{D_1\,p_2^{\mu _1} p_2^{\nu _1}+D_2\,p_3^{\mu _1} p_3^{\nu _1}+D_3\, p_4^{\mu _1} p_4^{\nu _1}\Bigg ]\Bigg \} \end{aligned}$$
(4.16)

where \(D_i\) are terms involving scalar derivatives acting on the form factor \(A(p_2,p_3,p_4,s,t,u)\). The previous equation is satisfied if all the \(D_i\) vanish independently, giving a dilatation constraint on \(A(p_2,p_3,p_4,s,t,u)\) of the form

$$\begin{aligned}&D_1=0\,\implies \left[ \sum _{j=2}^4\,p_j\frac{\partial }{\partial p_j}+s\frac{\partial }{\partial s}+t\frac{\partial }{\partial t}+u\frac{\partial }{\partial u}\right] \nonumber \\&A(p_i,s,t,u)=(\Delta _t-3d-2)\,A(p_i,s,t,u), \end{aligned}$$
(4.17)

where \(\Delta _t=\sum _{j=1}^4\Delta _j=d+3\Delta \), since \(\Delta _1=d\) for the stress–energy tensor, and we have set \(\Delta _2=\Delta _3=\Delta _4=\Delta \). From the other conditions \(D_i=0\), with \(i=2,3\), we generate the same constraint as from \(D_1\), modulo some permutations involving \((p_2\leftrightarrow p_3)\) and \((p_2\leftrightarrow p_4)\) respectively.

Primary conformal ward identities

From the expressions of (4.10) and (4.12), after some lengthy algebraic manipulations, we derive the primary constraints as

$$\begin{aligned}&C_{11}=0,&C_{12}=0,&C_{13}=0,\nonumber \\&C_{21}=0,&C_{22}=0,&C_{23}=0,\nonumber \\&C_{31}=0,&C_{32}=0,&C_{33}=0, \end{aligned}$$
(4.18)

which are explicitly given in Appendix B.

One can easily reorganize these equations by introducing the operators

$$\begin{aligned}&\bar{K}(p_2,p_3,p_4,s,t,u)\nonumber \\&\quad \equiv K_2+\frac{p_3^2-p_4^2}{s\,t}\frac{\partial }{\partial s \partial t}-\frac{p_3^2-p_4^2}{s\,u}\frac{\partial }{\partial s \partial u}\nonumber \\&\qquad +\frac{1}{t}\frac{\partial }{\partial t}\left( p_2\frac{\partial }{\partial p_2} +p_3\frac{\partial }{\partial p_3}-p_4\frac{\partial }{\partial p_4}\right) \nonumber \\&\qquad +(d-\Delta )\left( \frac{1}{t}\frac{\partial }{\partial t}+\frac{1}{u}\frac{\partial }{\partial u}\right) \nonumber \\&\qquad +\frac{1}{u}\frac{\partial }{\partial u}\left( p_2\frac{\partial }{\partial p_2}-p_3\frac{\partial }{\partial p_3}+p_4\frac{\partial }{\partial p_4}\right) \nonumber \\&\qquad +\frac{2p_2^2+p_3^2+p_4^2-s^2-t^2-u^2}{t\,u}\frac{\partial }{\partial t\partial u} \end{aligned}$$
(4.19)

and

$$\begin{aligned} L(s,t)\equiv \frac{2}{s}\frac{\partial }{\partial s}-\frac{2}{t}\frac{\partial }{\partial t} \end{aligned}$$
(4.20)

with

$$\begin{aligned} L(s,t)=-L(t,s), \end{aligned}$$
(4.21)

obtaining

$$\begin{aligned} C_{11}&=\bar{K}(p_2,p_3,p_4,s,t,u)\,A(p_2,p_3,p_4,s,t,u)\\ C_{12}&=\bar{K}(p_2,p_3,p_4,s,t,u)\,A(p_3,p_2,p_4,u,t,s)\\&\quad +L(t,u) \bigg (A(p_2,p_3,p_4,s,t,u)+A(p_3,p_2,p_4,u,t,s)\bigg )\\ C_{13}&=\bar{K}(p_2,p_3,p_4,s,t,u)\,A(p_4,p_3,p_2,t,s,u)\\&\quad -L(t,u)\bigg (A(p_2,p_3,p_4,s,t,u)+A(p_4,p_3,p_2,t,s,u)\bigg )\\ C_{21}&=\bar{K}(p_3,p_2,p_4,u,t,s)\,A(p_2,p_3,p_4,s,t,u)\\&\quad -L(s,t)\bigg (A(p_2,p_3,p_4,s,t,u)+A(p_3,p_2,p_4,u,t,s)\bigg )\\ C_{22}&=\bar{K}(p_3,p_2,p_4,u,t,s)\,A(p_3,p_2,p_4,u,t,s)\\ C_{23}&=\bar{K}(p_3,p_2,p_4,u,t,s)\,A(p_4,p_3,p_2,t,s,u)\\&\quad +L(s,t)\bigg (A(p_4,p_3,p_2,t,s,u)+A(p_3,p_2,p_4,u,t,s)\bigg )\\ C_{31}&=\bar{K}(p_4,p_3,p_2,t,s,u)\,A(p_2,p_3,p_4,s,t,u)\\&\quad -L(s,u)\bigg (A(p_2,p_3,p_4,s,t,u)+A(p_4,p_3,p_2,t,s,u)\bigg )\\ C_{32}&=\bar{K}(p_4,p_3,p_2,u,t,s)\,A(p_3,p_2,p_4,u,t,s)\\&\quad +L(s,u)\bigg (A(p_3,p_2,p_4,u,t,s)+A(p_4,p_3,p_2,t,s,u)\bigg )\\ C_{33}&=\bar{K}(p_4,p_3,p_2,u,t,s)\,A(p_4,p_3,p_2,t,s,u). \end{aligned}$$

We illustrate in (1) pictorially the action of the permutation operators \(P_{ij}\), acting on the two momenta \(p_i^\mu \) and \(p_j^\mu \), on the various \(C_{ij}\) presented above. The functional dependence of the form factor \(A(p_2,p_3, p_4,s,t,u)\) will vary accordingly.

The orbits connect the various coefficients \(C_{ij}\) which can be reached by the action of the various permutations. We start with \(P_{23}\), \(P_{24}\) and their product \(P_{234}\). The orbits describe equivalent equations and we are allowed to choose any of the equations labelled by coefficients \(C_{ij}\) belonging to separate orbits. Since there are three independent orbits under this subgroup, we start by selecting only three primary conformal WI’s which are not related by the action of such permutations (Figs. 1, 2, 3).

Fig. 1
figure1

Orbits of the primary CWI’s of the TOOO under \(P_{23}\) and \(P_{24}\)

Fig. 2
figure2

Equivalent pictorial representation of the orbits as in Fig. 1

The equations that we are going to choose are

$$\begin{aligned} C_{11}&=\bar{K}(p_2,p_3,p_4,s,t,u)\,A(p_2,p_3,p_4,s,t,u)\nonumber \\ C_{12}&=\bar{K}(p_2,p_3,p_4,s,t,u)\,A(p_3,p_2,p_4,u,t,s)\nonumber \\&\quad +L(t,u)\bigg (A(p_2,p_3,p_4,s,t,u)+A(p_3,p_2,p_4,u,t,s)\bigg )\nonumber \\ C_{13}&=\bar{K}(p_2,p_3,p_4,s,t,u)\,A(p_4,p_3,p_2,t,s,u)\nonumber \\&\quad -L(t,u)\bigg (A(p_2,p_3,p_4,s,t,u)+A(p_4,p_3,p_2,t,s,u)\bigg ). \end{aligned}$$
(4.22)

At this stage we include \(P_{34}\), under whose action \(C_{11}\) is mapped to itself, while \(C_{12}\leftrightarrow C_{13}\). The mapping is illustrated below showing that the independent equations are only two.

Fig. 3
figure3

Orbits of the CWI’s for the TOOO under \(P_{34}\)

We take \(C_{11}\) and \(C_{12}\) as the independent ones, and all the other equations are obtained by acting on these two with a generic permutation of \((p_2,p_3,p_4)\). Therefore we have to solve only the two equations

$$\begin{aligned} \left\{ \begin{aligned} 0=&\bar{K}(p_2,p_3,p_4,s,t,u)\,A(p_2,p_3,p_4,s,t,u)\\ 0=&\bar{K}(p_2,p_3,p_4,s,t,u)\,A(p_3,p_2,p_4,u,t,s)\\&+L(t,u) \bigg (A(p_2,p_3,p_4,s,t,u)+A(p_3,p_2,p_4,u,t,s)\bigg ) \end{aligned}\right. \end{aligned}$$
(4.23)

as representatives of the set of the CWI, after taking into account all the symmetry properties of A. They can equivalently be set into the form

$$\begin{aligned} \left\{ \begin{aligned} 0&=\bar{K}(p_2,p_3,p_4,s,t,u)\,A(p_2,p_3,p_4,s,t,u)\\ 0&=\bar{K}(p_3,p_2,p_4,u,t,s)\,A(p_2,p_3,p_4,s,t,u)\\&\quad -L(s,t)\bigg (A(p_2,p_3,p_4,s,t,u)+A(p_3,p_2,p_4,u,t,s)\bigg ) \end{aligned}\right. \end{aligned}$$
(4.24)

using the symmetry of the correlator.

Secondary conformal ward identities

The secondary CWI’s for the correlator are first order differential equations derived from the coefficients \(C_{4i}\), \(i=1,\,2,\,3\) in (4.12) together with Eq. (4.10). Such coefficients take the forms

$$\begin{aligned} C_{41}&=\left[ \frac{2(p_3^2-p_2^2-t^2)}{t}\frac{\partial }{\partial t} +\frac{2(p_4^2-p_2^2-u^2)}{u}\frac{\partial }{\partial u}\right. \nonumber \\&\quad -4\,p_2\,\frac{\partial }{\partial p_2}+\frac{2}{\bar{p}_1^2} \bigg (\frac{d(d-2)(p_2^2-s^2)-2s^2}{(d-1)}\bigg )\nonumber \\&\quad \left. +\frac{4\Delta (d-1)-2d^2-3(d-2)}{(d-1)}-\frac{(d-2)}{(d-1)} \frac{\big (p_2^2-s^2\big )^2}{\bar{p}_1^4}\right] \nonumber \\&\quad \times A(p_2,p_3,p_4,s,t,u)\nonumber \\&\quad -\left[ \frac{2}{\bar{p}_1^2}\bigg (\frac{d(p_3^2-u^2)+2u^2}{(d-1)}\bigg ) +\frac{(d-2)}{(d-1)}+\frac{(d-2)}{(d-1)}\frac{(p_3^2-u^2)^2}{\bar{p}_1^4}\right] \nonumber \\&\quad \times A(p_3,p_2,p_4,u,t,s)\nonumber \\&\quad -\left[ \frac{2}{\bar{p}_1^2}\bigg (\frac{d(p_4^2-t^2)+2t^2}{(d-1)}\bigg ) +\frac{(d-2)}{(d-1)}+\frac{(d-2)}{(d-1)}\frac{(p_4^2-t^2)^2}{\bar{p}_1^4}\right] \nonumber \\&\quad \times A(p_4,p_3,p_2,t,s,u)\,, \end{aligned}$$
(4.25)
$$\begin{aligned} C_{42}&=\left[ \frac{2(p_2^2-p_3^2-t^2)}{t}\frac{\partial }{\partial t} +\frac{2(p_4^2-p_3^2-s^2)}{s}\frac{\partial }{\partial s}\right. \nonumber \\&\quad -4\,p_3\, \frac{\partial }{\partial p_3}+\frac{2}{\bar{p}_1^2}\bigg (\frac{d(d-2) (p_3^2-u^2)-2u^2}{(d-1)}\bigg )\nonumber \\&\quad \left. +\frac{4\Delta (d-1)-2d^2-3(d-2)}{(d-1)}-\frac{(d-2)}{(d-1)} \frac{\big (p_3^2-u^2\big )^2}{\bar{p}_1^4}\right] \nonumber \\&\quad \times A(p_3,p_2,p_4,u,t,s) \nonumber \\&\quad -\left[ \frac{2}{\bar{p}_1^2}\bigg (\frac{d(p_2^2-s^2)+2s^2}{(d-1)}\bigg ) +\frac{(d-2)}{(d-1)}+\frac{(d-2)}{(d-1)}\frac{(p_2^2-s^2)^2}{\bar{p}_1^4}\right] \nonumber \\&\quad \times A(p_2,p_3,p_4,s,t,u)\nonumber \\&\quad -\left[ \frac{2}{\bar{p}_1^2}\bigg (\frac{d(p_4^2-t^2)+2t^2}{(d-1)}\bigg ) +\frac{(d-2)}{(d-1)}+\frac{(d-2)}{(d-1)}\frac{(p_4^2-t^2)^2}{\bar{p}_1^4}\right] \nonumber \\&\quad \times A(p_4,p_3,p_2,t,s,u) \end{aligned}$$
(4.26)

and

$$\begin{aligned} C_{43}&=\left[ \frac{2(p_3^2-p_4^2-s^2)}{s}\frac{\partial }{\partial s}+\frac{2(p_2^2-p_4^2-u^2)}{u}\frac{\partial }{\partial u}-4\,p_4\,\frac{\partial }{\partial p_4}\right. \nonumber \\&\quad +\frac{2}{\bar{p}_1^2}\bigg (\frac{d(d-2)(p_4^2-t^2)-2t^2}{(d-1)}\bigg )\nonumber \\&\quad \left. +\frac{4\Delta (d-1)-2d^2-3(d-2)}{(d-1)} -\frac{(d-2)}{(d-1)}\frac{\big (p_4^2-t^2\big )^2}{\bar{p}_1^4}\right] \nonumber \\&\quad A(p_4,p_3,p_2,t,s,u) \nonumber \\&\quad -\left[ \frac{2}{\bar{p}_1^2}\bigg (\frac{d(p_3^2-u^2)+2u^2}{(d-1)}\bigg ) +\frac{(d-2)}{(d-1)}+\frac{(d-2)}{(d-1)}\frac{(p_3^2-u^2)^2}{\bar{p}_1^4}\right] \nonumber \\&A(p_3,p_2,p_4,u,t,s)\nonumber \\&\quad -\left[ \frac{2}{\bar{p}_1^2}\bigg (\frac{d(p_2^2-s^2)+2s^2}{(d-1)}\bigg ) +\frac{(d-2)}{(d-1)}+\frac{(d-2)}{(d-1)}\frac{(p_2^2-s^2)^2}{\bar{p}_1^4}\right] \nonumber \\&\quad A(p_2,p_3,p_4,s,t,u)\,, \end{aligned}$$
(4.27)

where here \(p_1^2\) is treated as a dependent variable, that is: \(\bar{p}_1^2=s^2+t^2+u^2-p_2^2-p_3^2-p_4^2\). The actions of the operators enforcing the momentum permutations and the orbits of the \(C_{ij}\) are illustrated in Fig. 4, where a given equation is connected by a link if there is a permutation of the momenta which relates it to a different one.

Fig. 4
figure4

Orbits of the secondary CWI’s under permutations

It is clear from the figure that each single vertex of the triangle is mapped into itself under a permutation acting on the opposite edge, showing that there is only one independent secondary CWI. In particular, we choose as the independent one \(C_{41}\), which can be re-expressed in the form

$$\begin{aligned}&L_1\,A(p_2,p_3,p_4,s,t,u)\nonumber \\&\qquad -L_2\,A(p_3,p_2,p_4,u,t,s)\nonumber \\&\quad -L_2(p_3\leftrightarrow p_4)\,A(p_4,p_3,p_2,t,s,u)\nonumber \\&\quad =-\frac{4d}{\bar{p}_1^2}\langle O(\mathbf {p}_3+\mathbf {p}_4) O(\mathbf {p}_3)O(\mathbf {p}_4)\rangle , \end{aligned}$$
(4.28)

where

$$\begin{aligned} L_1&=\left[ \frac{2(p_3^2-p_2^2-t^2)}{t}\frac{\partial }{\partial t}+\frac{2(p_4^2-p_2^2-u^2)}{u}\frac{\partial }{\partial u}\right. \nonumber \\&\quad -4\,p_2\,\frac{\partial }{\partial p_2}+\frac{2}{\bar{p}_1^2}\bigg (\frac{d(d-2)(p_2^2-s^2)-2s^2}{(d-1)}\bigg )\nonumber \\&\quad \left. +\frac{4\Delta (d-1)-2d^2-3(d-2)}{(d-1)}-\frac{(d-2)}{(d-1)} \frac{\big (p_2^2-s^2\big )^2}{\bar{p}_1^4}\right] \end{aligned}$$
(4.29)
$$\begin{aligned} L_2&=\left[ \frac{2}{\bar{p}_1^2}\bigg (\frac{d(p_3^2-u^2)+2u^2}{(d-1)}\bigg ) +\frac{(d-2)}{(d-1)}\right. \nonumber \\&\quad \left. +\frac{(d-2)}{(d-1)}\frac{(p_3^2-u^2)^2}{\bar{p}_1^4}\right] . \end{aligned}$$
(4.30)

From (4.28), one can check that the symmetry \(p_3\leftrightarrow p_4\) is explicitly manifest.

In general, the role of the secondary WI’s is to reduce the parameters of the solutions of the primary ones. For instance, in the case of 3-point functions, such solutions are determined from the primary equations modulo few constants, which are then fixed by the secondary ones. In that case, the right hand side of the secondary equations will be proportional to 2-point functions.

The constraints on the primary solutions are obtained by taking special limits on the left hand side of the equations, in order to send two external coordinates into coalescence. This is obtained, for 3-point functions, by taking two of the external invariant masses large and of unit ratio – \(p_3^2/p_2^2\rightarrow 1\), for instance – which reduces the correlator to a 2-point function.

For 4-point functions this limit is far more involved, and we will be able to say little about it, the crucial point being that the primary solutions should contain arbitrary function(s), in this case a single function, as expected from the analysis in coordinate space, which are not identified in our formulation.

For this reason, we will try to discuss the asymptotic limit only of the primary solutions, where it is possible to underscore some specific behaviors of such solutions just by examining the structure of the equations.

The decomposition of the TOOO in the \(2\rightarrow 2\) formulation

In this section we will reconsider the TOOO correlator \(\langle T^{\mu _1 \nu _1}({\mathbf {p_1}})O({\mathbf {p_2}})O({\mathbf {p_3}})O(\bar{\mathbf {p}}_\mathbf{4})\rangle \) but with a different choice of the dependent momentum compared to the \(1\rightarrow 3\) case, which is suitable for the study of a \(2\rightarrow 2\) process.

We choose \(p_4^{\mu }\) as the dependent momentum, \(\bar{p_4}^{\mu }=-p_1^{\mu }-p_2^{\mu }-p_3^{\mu }\). Moreover, also the Mandelstam invariant \(u^2\), will be taken as dependent variable \(\tilde{u}^2=-s^2-t^2+\sum p_i^2\).

We rewrite the decomposition (3.7) in the form

$$\begin{aligned}&\langle T^{\mu _1 \nu _1}({\mathbf {p_1}})O({\mathbf {p_2}})O({\mathbf {p_3}})O(\bar{\mathbf {p}}_\mathbf{4})\rangle \nonumber \\&\quad =\langle t^{\mu _1 \nu _1}({\mathbf {p_1}})O({\mathbf {p_2}})O({\mathbf {p_3}})O(\bar{\mathbf {p}}_\mathbf{4})\rangle \nonumber \\&\qquad + \langle t^{\mu _1 \nu _1}_{\text {loc}}({\mathbf {p_1}})O({\mathbf {p_2}})O({\mathbf {p_3}})O(\bar{\mathbf {p}}_\mathbf{4})\rangle , \end{aligned}$$
(5.1)

which is symmetric in \(p_2^{\mu },p_3^{\mu },p_4^{\mu }\). Furthermore, we require the parameterization in the tt sector to be symmetric under the exchange of the indices of the stress–energy tensor \(\mu _1 \leftrightarrow \nu _1\). The tt component of the TOOO can then be parameterized as

$$\begin{aligned} \langle t^{\mu _1 \nu _1}({\mathbf {p_1}})O({\mathbf {p_2}})O({\mathbf {p_3}})O(\bar{\mathbf {p}}_\mathbf{4})\rangle =\Pi ^{\mu _1 \nu _1}_{\alpha _1 \beta _1}({\mathbf {p_1}})X^{\alpha _1 \beta _1}, \end{aligned}$$
(5.2)

where \(X^{\alpha _1 \beta _1}\) is a general rank-2 tensor built out momenta and Kronecker’s delta’s. There are two equivalent decompositions of such tt term, that we will present below, but only one of them allows to obtain simplified expressions of the primary and secondary CWI’s, which will turn very useful for our analsysis.

First decomposition

First, we are going to derive the decomposition of the correlator by choosing as independent momenta \(p_2^{\mu },p_3^{\mu }\). Terms that include \(p_1^{\mu }\) will be eliminated by the transverse-traceless projector \(\Pi ^{\mu _1 \nu _1}_{\alpha _1 \beta _1}({\mathbf {p_1}})\) and therefore will be omitted. We obtain the parameterization

$$\begin{aligned} X^{\alpha _1 \beta _1}= & {} C^{\prime }(p_1,p_2,p_3,p_4,s,t)p_2^{\alpha _1}p_2^{\beta _1}\nonumber \\&+C^{\prime \prime }(p_1,p_2,p_3,p_4,s,t)p_3^{\alpha _1}p_3^{\beta _1}\nonumber \\&+C(p_1,p_2,p_3,p_4,s,t) p_2^{\alpha _1} p_3^{\beta _1}, \end{aligned}$$
(5.3)

expressed in temrs of form factors \(C, C^\prime , C^{\prime \prime }\). Now, by imposing all the possible permutations (6 in total) of the momenta \(p_2^{\mu },p_3^{\mu },p_4^{\mu }\), we derive the constraints

$$\begin{aligned}&C^{\prime }(p_1,p_2,p_3,p_4,s,t)\\&\quad =\frac{1}{2}\Big (C(p_1,p_2,p_3,p_4,s,t) +C(p_1,p_4,p_3,p_2,t,s)\Big ),\\&C^{\prime \prime }(p_1,p_2,p_4,p_3,s,\tilde{u})\\&\quad =\frac{1}{2}\Big (C(p_1,p_2,p_3,p_4,s,t) +C(p_1,p_2,p_4,p_3,s,\tilde{u})\Big ). \end{aligned}$$

Finally, such tt component takes the form

$$\begin{aligned} \begin{aligned}&\langle t^{\mu _1 \nu _1}({\mathbf {p_1}})O({\mathbf {p_2}})O({\mathbf {p_3}})O(\bar{\mathbf {p}}_\mathbf{4}) \rangle \\&\quad =\Pi ^{\mu _1 \nu _1}_{\alpha _1 \beta _1}\Bigg [\frac{1}{2} \Big (C(p_1,p_2,p_3,p_4,s,t)\\&\qquad +C(p_1,p_4,p_3,p_2,t,s)\Big )p_2^{\alpha _1}p_2^{\beta _1}\\&\qquad +\frac{1}{2}\Big (C(p_1,p_2,p_3,p_4,s,t)+C(p_1,p_2,p_4,p_3,s,\tilde{u})\Big )\\&\qquad \times p_3^{\alpha _1}p_3^{\beta _1}+C(p_1,p_2,p_3,p_4,s,t) p_2^{\alpha _1} p_3^{\beta _1}\Bigg ], \end{aligned} \end{aligned}$$
(5.4)

expressed in terms of a single form factor which exhibits the following symmetries

$$\begin{aligned} \begin{aligned}&C(p_1,p_2,p_3,p_4,s,t)=C(p_1,p_3,p_2,p_4,\tilde{u},t),\\&C(p_1,p_2,p_4,p_3,s,\tilde{u})=C(p_1,p_4,p_2,p_3,\tilde{u},s)\\&C(p_1,p_4,p_3,p_2,t,s)=C(p_1,p_3,p_4,p_2,\tilde{u},s). \end{aligned} \end{aligned}$$
(5.5)

Second decomposition

The second decomposition is obtained by using all the available momenta. It takes the form

$$\begin{aligned} \langle t^{\mu _1 \nu _1}({\mathbf {p_1}})O({\mathbf {p_2}})O({\mathbf {p_3}})O(\bar{\mathbf {p}}_\mathbf{4})\rangle =\Pi ^{\mu _1 \nu _1}_{\alpha _1 \beta _1}({\mathbf {p_1}})\tilde{X}^{\alpha _1 \beta _1}, \end{aligned}$$
(5.6)

where

$$\begin{aligned} \tilde{X}^{\alpha _1 \beta _1}= & {} F(p_1,p_2,p_3,p_4,s,t) p_2^{\alpha _1}p_3^{\beta _1}\nonumber \\&+F^{\prime }(p_1,p_2,p_3,p_4,s,t) p_2^{\alpha _1}p_4^{\beta _1}\nonumber \\&+F^{\prime \prime }(p_1,p_2,p_3,p_4,s,t) p_3^{\alpha _1}p_4^{\beta _1}. \end{aligned}$$
(5.7)

Taking into account all the possible permutations, we end up with the expression

$$\begin{aligned} \tilde{X}^{\alpha _1 \beta _1}= & {} F(p_1,p_4,p_3,p_2,t,s) p_3^{\alpha _1}p_4^{\beta _1}\nonumber \\&+F(p_1,p_2,p_4,p_3,s,\tilde{u}) p_2^{\alpha _1}p_4^{\beta _1}\nonumber \\&+F(p_1,p_2,p_3,p_4,s,t) p_2^{\alpha _1}p_3^{\beta _1}. \end{aligned}$$
(5.8)

Our form factor obeys the following symmetries:

$$\begin{aligned} \begin{aligned}&F(p_1,p_3,p_4,p_2,\tilde{u},s)=F(p_1,p_4,p_3,p_2,t,s),\\&F(p_1,p_4,p_2,p_3,\tilde{u},s)=F(p_1,p_2,p_4,p_3,s,\tilde{u}),\\&F(p_1,p_3,p_2,p_4,\tilde{u},t)=F(p_1,p_2,p_3,p_4,s,t). \end{aligned} \end{aligned}$$
(5.9)

Now, we can impose momentum conservation on the first two terms of (5.4). Then comparing with (5.8) and using the symmetry properties of the previous form factor C in (5.5), we obtain

$$\begin{aligned}&F(p_1,p_2,p_3,p_4,s,t)\nonumber \\&\quad =-\frac{1}{2}\Big (C(p_1,p_2,p_3,p_4,s,t) +C(p_1,p_2,p_4,p_3,s,\tilde{u})\Big ),\nonumber \\&F(p_1,p_2,p_4,p_3,s,\tilde{u})\nonumber \\&\quad =-\frac{1}{2}\Big (C(p_1,p_2,p_3,p_4,s,t) +C(p_1,p_4,p_3,p_2,t,s)\Big ),\nonumber \\&F(p_1,p_4,p_3,p_2,t,s)\nonumber \\&\quad =-\frac{1}{2}\Big (C(p_1,p_2,p_3,p_4,s,t) +C(p_1,p_2,p_4,p_3,s,\tilde{u})\Big ). \end{aligned}$$
(5.10)

The form factors F and C are related proving the equivalence between the two parameterizations. However F is the one which generates CWI’s of a simpler structure.

Dilatation Ward Identity in the \(2\rightarrow 2\) formulation

In this section we will proceed with the study of the dilatation WI. Using the form factor F, the full correlator is given by (5.1) and the exact parameterization of its tt sector takes the form

$$\begin{aligned} \begin{aligned}&\langle t^{\mu _1 \nu _1}({\mathbf {p_1}})O({\mathbf {p_2}})O({\mathbf {p_3}})O(\bar{\mathbf {p}}_\mathbf{4})\rangle \\&\quad =\Pi ^{\mu _1 \nu _1}_{\alpha _1 \beta _1}({\mathbf {p_1}})\Big (F(p_1,p_4,p_3,p_2,t,s) p_3^{\alpha _1}p_4^{\beta _1}\\&\qquad +F(p_1,p_2,p_4,p_3,s,\tilde{u}) p_2^{\alpha _1}p_4^{\beta _1}\\&\qquad +F(p_1,p_2,p_3,p_4,s,t) p_2^{\alpha _1}p_3^{\beta _1}\Big ), \end{aligned} \end{aligned}$$
(5.11)

while the longitudinal sector is extracted by a contraction with the longitudinal projector

$$\begin{aligned}&\langle t^{\mu _1 \nu _1}_{\text {loc}}({\mathbf {p_1}})O({\mathbf {p_2}})O({\mathbf {p_3}})O(\bar{\mathbf {p_4}}) \rangle \nonumber \\&\quad =\Sigma ^{\mu _1 \nu _1}_{\alpha _1 \beta _1}({\mathbf {p_1}}) \langle T^{\alpha _1 \beta _1}({\mathbf {p_1}})O({\mathbf {p_2}})O({\mathbf {p_3}})O(\bar{\mathbf {p}}_\mathbf{4})\rangle \end{aligned}$$
(5.12)

as in our previous analysis of the equations for the \(1\rightarrow 3\). We can express the CWI’ s in terms of 6 invariants of the four-point function (\(\sqrt{ p_i^2}=p_i\), \(s=\sqrt{(\mathbf {p_1+p_2})^2},t=\sqrt{(\mathbf {p_2+p_3})^2}\)) by using the chain rules

$$\begin{aligned}&\frac{\partial }{\partial p_{1 \mu }}=\frac{p_1^{\mu }}{p_1}\frac{\partial }{\partial p_1}-\frac{\bar{p_4}^{\mu }}{p_4}\frac{\partial }{\partial p_4}+\frac{p_1^{\mu }+p_2^{\mu }}{s}\frac{\partial }{\partial s}, \end{aligned}$$
(5.13)
$$\begin{aligned}&\frac{\partial }{\partial p_{2 \mu }}=\frac{p_2^{\mu }}{p_2}\frac{\partial }{\partial p_1}-\frac{\bar{p_4}^{\mu }}{p_4}\frac{\partial }{\partial p_4}+\frac{p_1^{\mu }+p_2^{\mu }}{s}\frac{\partial }{\partial s}+\frac{p_2^{\mu }+p_3^{\mu }}{t}\frac{\partial }{\partial t}, \end{aligned}$$
(5.14)
$$\begin{aligned}&\frac{\partial }{\partial p_{3 \mu }}=\frac{p_3^{\mu }}{p_3}\frac{\partial }{\partial p_3}-\frac{\bar{p_4}^{\mu }}{p_4}\frac{\partial }{\partial p_4}+\frac{p_2^{\mu }+p_3^{\mu }}{t}\frac{\partial }{\partial t}. \end{aligned}$$
(5.15)

Applying the dilatation WI to (5.1) we obtain

$$\begin{aligned} \big [(\Delta _{\text {t}}-3d)-\sum _{i=1}^{3} p_i^{\lambda } \frac{\partial }{\partial p_i^{\lambda }}\big ]\langle T^{\mu _1 \nu _1}({\mathbf {p_1}})O({\mathbf {p_2}})O({\mathbf {p_3}})O(\bar{\mathbf {p}}_\mathbf{4})\rangle =0, \end{aligned}$$
(5.16)

which can be projected using the tt projector \(\Pi ^{\rho \sigma }_{\mu _1 \nu _1}({\mathbf {p_1}})\) obtaining

$$\begin{aligned} \Pi ^{\rho \sigma }_{\mu _1 \nu _1}({\mathbf {p_1}})\hat{D}\langle t^{\mu _1 \nu _1}({\mathbf {p_1}})O({\mathbf {p_2}})O({\mathbf {p_3}})O(\bar{\mathbf {p}}_\mathbf{4})\rangle =0. \end{aligned}$$
(5.17)

Using (5.11) and differentiating by the chain rule (5.15), we finally obtain the equation

$$\begin{aligned}&\left[ (2+3d-\Delta _{\text {t}})+\sum _{i=1}^{4} p_i \frac{\partial }{\partial p_i}+s \frac{\partial }{\partial s}+t \frac{\partial }{\partial t}\right] \nonumber \\&\quad F(p_1,p_2,p_3,p_4,s,t)=0. \end{aligned}$$
(5.18)

The same equation holds also for \(F(p_1,p_2,p_4,p_3,s,\tilde{u}),\) and \(F(p_1,p_4,p_3,p_2,t,s)\). The 2 in the first term of the sum \((2 + 3 d\ldots \)), defines the tensorial dimension of the form factor, and counts the number of momenta with which it appears in the parameterization.

Special CWI for the \(\langle T^{\mu _1 \nu _1}({\mathbf {p_1}})O({\mathbf {p_2}})O({\mathbf {p_3}})O(\bar{\mathbf {p}}_\mathbf{4})\rangle \)

In this section we repeat the analysis of the \(1\rightarrow 3\) case, with the new parameterization of the correlator that we have just derived, by selecting \(p_4\) as the dependent momentum. The action of the special conformal generator, as before, will take the form

$$\begin{aligned} \begin{aligned} 0&=\mathcal {K}^{\kappa }\langle T^{\mu _1 \nu _1}({\mathbf {p_1}})O({\mathbf {p_2}})O({\mathbf {p_3}})O(\bar{\mathbf {p}}_\mathbf{4})\rangle \\&=\mathcal {K}^{\kappa }\langle t^{\mu _1 \nu _1}({\mathbf {p_1}})O({\mathbf {p_2}})O({\mathbf {p_3}})O(\bar{{\mathbf {p_4}}})\rangle \\&\quad +\mathcal {K}^{\kappa } \langle t^{\mu _1 \nu _1}_{\text {loc}}({\mathbf {p_1}})O({\mathbf {p_2}})O({\mathbf {p_3}})O(\bar{{\mathbf {p_4}}})\rangle , \end{aligned} \end{aligned}$$
(5.19)

We will focus now on the local part related to \(t_{loc}\).

Using (5.12) we now have to compute

$$\begin{aligned} \Pi ^{\rho \sigma }_{\mu _1 \nu _1}(p_1)\mathcal {K}^{\kappa }\Sigma ^{\mu _1 \nu _1}_{\alpha _1 \beta _1} \langle T^{\alpha _1 \beta _1}({\mathbf {p_1}})O({\mathbf {p_2}})O({\mathbf {p_3}})O(\bar{\mathbf {p}}_\mathbf{4})\rangle , \end{aligned}$$
(5.20)

projected on the tt sector. We split our results into the scalar and the spin part of \(\mathcal {K}^{\kappa }\). Acting with the projection \(\Pi \) we obtain

$$\begin{aligned} \begin{aligned}&\Pi ^{\rho \sigma }_{\mu _1 \nu _1}(p_1)\mathcal {K}^{\kappa }_{\mathrm {scalar}} \langle t^{\mu _1 \nu _1}_{\text {loc}}({\mathbf {p_1}})O({\mathbf {p_2}})O({\mathbf {p_3}})O(\bar{\mathbf {p}}_\mathbf{4})\rangle \\&=\Pi ^{\rho \sigma }_{\mu _1 \nu _1}(p_1)\Bigg [ 4(\Delta _1-d+1)\frac{\delta ^{\kappa \mu _1}\delta ^{\nu _1}_{\alpha _1}p_{1,\beta _1}}{p_1^2}+4\frac{p_1^{\kappa }}{p_1^2}\delta ^{\mu _1}_{\beta _1}\delta ^{\nu _1}_{\alpha _1} \Bigg ] \\&\quad \times \langle T^{\alpha _1 \beta _1}({\mathbf {p_1}})O({\mathbf {p_2}})O({\mathbf {p_3}})O(\bar{\mathbf {p}}_\mathbf{4})\rangle , \end{aligned} \end{aligned}$$
(5.21)

and

$$\begin{aligned} \begin{aligned}&\Pi ^{\rho \sigma }_{\mu _1 \nu _1}(p_1)\mathcal {K}^{\kappa }_{\alpha ,\mathrm {spin}} \langle t^{\mu _1 \nu _1}_{\text {loc}}({\mathbf {p_1}})O({\mathbf {p_2}})O({\mathbf {p_3}})O(\bar{\mathbf {p}}_\mathbf{4})\rangle \\&\quad =\Pi ^{\rho \sigma }_{\mu _1 \nu _1}(\mathbf{p} _1)\Bigg [4(d-1)\frac{\delta ^{\kappa \mu _1}\delta ^{\nu _1}_{\alpha _1}p_{1,\beta _1}}{p_1^2}-4\frac{p_1^{\kappa }}{p_1^2}\delta ^{\mu _1}_{\beta _1}\delta ^{\nu _1}_{\alpha _1}\Bigg ]\\&\qquad \times \langle T^{\alpha _1 \beta _1}({\mathbf {p_1}})O({\mathbf {p_2}})O({\mathbf {p_3}})O(\bar{\mathbf {p}}_\mathbf{4})\rangle . \end{aligned} \end{aligned}$$
(5.22)

In our results, we have ignored terms that include \(p_1^{\mu _1},p_1^{\nu _1},\delta ^{\mu _1 \nu _1}\), because we have the freedom to apply a transverse-traceless projector of the form \(\Pi ^{\rho \sigma }_{\mu _1 \nu _1}(\mathbf {p}_1)\) to (5.19), so these terms will vanish. Adding the scalar and the spin contributions (and using \(\Delta _1=d\)), we get

$$\begin{aligned}&\Pi ^{\rho \sigma }_{\mu _1 \nu _1}(p_1)\mathcal {K}^{\kappa }\langle t^{\mu _1 \nu _1}_{\text {loc}}({\mathbf {p_1}})O({\mathbf {p_2}})O({\mathbf {p_3}})O(\bar{\mathbf {p}}_\mathbf{4})\rangle \nonumber \\&\quad =\Pi ^{\rho \sigma }_{\mu _1 \nu _1}(p_1)\left( \frac{4d}{p_1^2}\delta ^{\kappa \mu _1}p_{1\,\alpha }\langle T^{\alpha \nu _1}({\mathbf {p_1}})O({\mathbf {p_2}})O({\mathbf {p_3}})O(\bar{\mathbf {p}}_\mathbf{4})\rangle \right) .\nonumber \\ \end{aligned}$$
(5.23)

Now, we will apply the \(\mathcal {K}^{\kappa }\) operator on the tt part, followed by contraction with the \(\Pi \) projector. We obtain the tensor equation

$$\begin{aligned} \begin{aligned}&\Pi ^{\rho \sigma }_{\mu _1 \nu _1}(p_1)\mathcal {K}^{\kappa } \langle t^{\mu _1 \nu _1} ({\mathbf {p_1}})O({\mathbf {p_2}})O({\mathbf {p_3}})O(\bar{\mathbf {p}}_\mathbf{4})\rangle \\&\Pi ^{\rho \sigma }_{\mu _1 \nu _1}(p_1)\Big [p_1^{\kappa }\big (\tilde{C}_{11} p_2^{\mu _1}p_3^{\nu _1}+\tilde{C}_{12}p_2^{\mu _1}p_4^{\nu _1}+\tilde{C}_{13} p_3^{\mu _1}p_4^{\mu _1}\big )\\&\quad +p_2^{\kappa }\big (\tilde{C}_{21}p_2^{\mu _1}p_3^{\nu _1} +\tilde{C}_{22}p_2^{\mu _1}p_4^{\nu _1}+\tilde{C}_{23}p_3^{\mu _1}p_4^{\mu _1}\big )\\&\quad +p_3^{\kappa }\big (\tilde{C}_{31}p_2^{\mu _1}p_3^{\nu _1}+\tilde{C}_{32} p_2^{\mu _1}p_4^{\nu _1}+\tilde{C}_{33}p_3^{\mu _1}p_4^{\mu _1}\big )\\&\quad +\delta ^{\mu _1 \kappa }\big (\tilde{C}_{41}p_2^{\nu _1}+\tilde{C}_{42}p_3^{\nu _1}\big )+\delta ^{\nu _1 \kappa }\big (\tilde{C}_{51}p_2^{\mu _1}+\tilde{C}_{52}p_3^{\mu _1}\big )\Big ] \end{aligned} \end{aligned}$$
(5.24)

which will allow us to extract the independent conformal constraints.

Primary conformal ward identities

The factors \(\tilde{C}_{1j},\tilde{C}_{2j},\tilde{C}_{3j}\) are second-order differential equations involving the form factor F and its various permutations. We see from (5.19) and (5.24) that the coefficients of the four-momenta \(p_1^{\kappa },p_2^{\kappa },p_3^{\kappa }\) are zero. This translates into the equations

$$\begin{aligned}&\tilde{C}_{11}=0,&\tilde{C}_{12}=0,&\tilde{C}_{13}=0,\nonumber \\&\tilde{C}_{21}=0,&\tilde{C}_{22}=0,&\tilde{C}_{23}=0,\nonumber \\&\tilde{C}_{31}=0,&\tilde{C}_{32}=0,&\tilde{C}_{33}=0. \end{aligned}$$
(5.25)

These are the primary CWI’s that we have mentioned before. Below we present the explicit expressions involving the \(F(p_1,p_2,p_3,p_4,s,t)\) form factor. The remaining ones, which are obtained just by permutations of the momenta, can be found in Appendix B. We obtain

$$\begin{aligned} \tilde{C}_{11}=&\Bigg [\frac{\partial ^2}{\partial p_4^2}+\frac{d-2\Delta +1}{p_4} \frac{\partial }{\partial p_4}-\frac{\partial ^2}{\partial p_1^2}-\frac{1-d}{p_1} \frac{\partial }{\partial p_1}\nonumber \\&+\frac{1}{s}\frac{\partial }{\partial s}\left( p_4\frac{\partial }{\partial p_4}+p_3\frac{\partial }{\partial p_3}-p_1\frac{\partial }{\partial p_1}-p_2\frac{\partial }{\partial p_2}\right) \nonumber \\&+\frac{d-\Delta }{s}\frac{\partial }{\partial s} +\frac{p_3^2-p_2^2}{st}\frac{\partial ^2}{\partial s \partial t}\Bigg ] F(p_1,p_2,p_3,p_4,s,t)\nonumber \\&+\frac{2}{s}\frac{\partial F(p_1,p_4,p_3,p_2,t,s)}{\partial s}-\frac{2}{s}\frac{\partial F(p_1,p_2,p_4,p_3,s,\tilde{u})}{\partial s} \end{aligned}$$
(5.26)
$$\begin{aligned} \tilde{C}_{21}=&\Bigg [\frac{\partial ^2 }{\partial p_4^2}+\frac{d-2\Delta +1}{p_4}\frac{\partial }{\partial p_4}-\frac{\partial ^2 }{\partial p_2^2}-\frac{d-2\Delta +1}{p_2}\frac{\partial }{\partial p_2}\nonumber \\&+\frac{1}{s}\frac{\partial }{\partial s}\left( p_3\frac{\partial }{\partial p_3}+p_4\frac{\partial }{\partial p_4}-p_1\frac{\partial }{\partial p_1}-p_2\frac{\partial }{\partial p_2}\right) \nonumber \\&+\frac{\Delta -d-2}{t}\frac{\partial }{\partial t}+\frac{d-\Delta }{s}\frac{\partial }{\partial s}\nonumber \\&+\frac{1}{t}\frac{\partial }{\partial t}\left( p_1 \frac{\partial }{\partial p_1}+p_4\frac{\partial }{\partial p_4}-p_2\frac{\partial }{\partial p_2}-p_3\frac{\partial }{\partial p_3}\right) \nonumber \\&+\frac{p_4^2-p_2^2}{st}\frac{\partial ^2}{\partial s \partial t}\Bigg ]F(p_1,p_2,p_3,p_4,s,t)\nonumber \\&+\frac{2}{s}\frac{\partial F(p_1,p_4,p_3,p_2,t,s)}{\partial s}-\frac{2}{s}\frac{\partial F(p_1,p_2,p_4,p_3,s,\tilde{u})}{\partial s}, \end{aligned}$$
(5.27)

and finally

$$\begin{aligned} \tilde{C}_{31}=&\Bigg [\frac{\partial ^2 }{\partial p_4^2}+\frac{d-2\Delta +1}{p_4}\frac{\partial }{\partial p_4}-\frac{\partial ^2 }{\partial p_3^2}-\frac{d-2\Delta +1}{p_3}\frac{\partial }{\partial p_3}\nonumber \\&+\frac{2}{s}\frac{\partial }{\partial s}+\frac{p_1^2-p_2^2}{st}\frac{\partial ^2}{\partial s \partial t}+\frac{\Delta -d-2}{t}\frac{\partial }{\partial t}\nonumber \\&+\frac{1}{t}\frac{\partial }{\partial t}\left( p_1\frac{\partial }{\partial p_1}+p_4\frac{\partial }{\partial p_4}-p_2\frac{\partial }{\partial p_2}-p_3\frac{\partial }{\partial p_3}\right) \Bigg ]\nonumber \\&\quad F(p_1,p_2,p_3,p_4,s,t)+\frac{2}{s}\frac{\partial F(p_1,p_4,p_3,p_2,t,s)}{\partial s}\nonumber \\&-\frac{2}{s}\frac{\partial F(p_1,p_2,p_4,p_3,s,\tilde{u})}{\partial s}. \end{aligned}$$
(5.28)

Secondary conformal ward identities

Since our 4-point function is symmetric in \(\mu _1\leftrightarrow \nu _1\), the terms proportional to \(\delta ^{\mu _1 \kappa }\) and \(\delta ^{\nu _1 \kappa }\) given by the coefficients \(\tilde{C}_{41}\) and \(\tilde{C}_{51}\) identify a single constraint, as well as \(\tilde{C}_{42}\) and \(\tilde{C}_{52}\), and are explicitly given by the factors \(\tilde{C}_{4j}\). They take the form

$$\begin{aligned} \begin{aligned} \tilde{C}_{41}&=\hat{G}\Big (F(p_1,p_2,p_3,p_4,s,t)-F(p_1,p_4,p_3,p_2,t,s) \Big )\\&\quad +\hat{A}F(p_1,p_2,p_4,p_3,s,\tilde{u}), \end{aligned} \end{aligned}$$
(5.29)

where

$$\begin{aligned} \hat{G}&=\frac{d(s^2+t^2-p_4^2-p_2^2-2p_1^2)+2\Delta p_1^2}{p_1^2} \nonumber \\&\quad -\frac{t^2+p_3^2-p_2^2}{t}\frac{\partial }{\partial t} \nonumber \\&\quad +\frac{p_2^2+p_4^2-s^2-t^2}{p_1}\frac{\partial }{\partial p_1} \nonumber \\&\quad -\frac{s^2+p_3^2-p_4^2}{s}\frac{\partial }{\partial s}-2p_3\frac{\partial }{\partial p_3}, \end{aligned}$$
(5.30)

and

$$\begin{aligned} \hat{A}&=\Bigg (\frac{d(s^2+p_4^2-p_2^2-t^2)}{p_1^2}\Bigg )+\frac{t^2+p_2^2-p_3^2}{t} \frac{\partial }{\partial t} \nonumber \\&\quad +\frac{p_2^2+t^2-p_4^2-s^2}{p_1}\frac{\partial }{\partial p_1} \nonumber \\&\quad +\frac{p_3^2-p_4^2-s^2}{s}\frac{\partial }{\partial s}+2 p_2\frac{\partial }{\partial p_2}-2p_4\frac{\partial }{\partial p_4}. \end{aligned}$$
(5.31)

Moreover, we obtain

$$\begin{aligned} \begin{aligned} \tilde{C}_{42}&=\hat{M}\Big (F(p_1,p_2,p_3,p_4,s,t)-F(p_1,p_2,p_4,p_3,s, \tilde{u})\Big )\\&\quad +\hat{N}F(p_1,p_4,p_3,p_2,t,s), \end{aligned} \end{aligned}$$
(5.32)

where

$$\begin{aligned} \begin{aligned} \hat{M}=&\left( \frac{2\Delta p_1^2-d(p_1^2-p_2^2+s^2)}{p_1^2}\right) -\frac{p_1^2+p_2^2-s^2}{p_1}\frac{\partial }{\partial p_1}\\&+\frac{p_3^2-p_2^2-t^2}{t}\frac{\partial }{\partial t}-2 p_2\frac{\partial }{p_2} \end{aligned} \end{aligned}$$
(5.33)

and

$$\begin{aligned} \begin{aligned} \hat{N}=&\left( \frac{d \left( p_1^2+p_2^2+2p_4^2-s^2-2 t^2\right) }{p_1^2}\right) +\frac{t^2+p_3^2-p_2^2}{t}\frac{\partial }{\partial t}\\&\quad -\frac{p_1^2+p_2^2+2p_4^2-s^2-2t^2}{p_1}\frac{\partial }{\partial p_1}\\&\quad +\frac{2 (p_3^2-p_4^2)}{s}\frac{\partial }{\partial s}-2p_4 \frac{\partial }{\partial p_4}+2p_3\frac{\partial }{\partial p_3}. \end{aligned} \end{aligned}$$
(5.34)

Combining (2.50) along with (5.23) and (5.24) we obtain the equations

$$\begin{aligned} \begin{aligned}&\hat{G}\Big (F(p_1,p_2,p_3,p_4,s,t)-F(p_1,p_4,p_3,p_2,t,s)\Big )\\&\qquad +\hat{A}F(p_1,p_2,p_4,p_3,s,\tilde{u})\\&\quad =\frac{4d}{p_1^2}\Big (\langle O({\mathbf {p_1+p_2}})O({\mathbf {p_3}}) O(\bar{\mathbf {p}}_\mathbf{4})\rangle \\&\qquad -\langle O({\mathbf {p_2}})O({\mathbf {p_3}}) O({\mathbf {p_2+p_3}}) \rangle \Big ), \end{aligned} \end{aligned}$$
(5.35)

and

$$\begin{aligned} \begin{aligned}&\hat{M}\Big (F(p_1,p_2,p_3,p_4,s,t)-F(p_1,p_2,p_4,p_3,s,\tilde{u})\Big )\\&\qquad +\hat{N}F(p_1,p_4,p_3,p_2,t,s)\\&\quad =\frac{4d}{p_1^2}\big (\langle O({\mathbf {p_2}})O({\mathbf {p_1+p_3}}) O(\bar{\mathbf {p}}_\mathbf{4})\rangle \\&\qquad -\langle O({\mathbf {p_2}})O({\mathbf {p_3}})O({\mathbf {p_2+p_3}}) \rangle \big ). \end{aligned} \end{aligned}$$
(5.36)

These are the secondary WI’s for the TOOO. The 3-point function on the right hand side of this equation is uniquely given by a combination of hypergeometric functions and will be discussed below.

Asymptotics for scalar and dual conformal/conformal 4-point functions

Our goal, from this section on, will be to identify some of the properties of these primary and secondary equations for the TOOO, and for this reason it will be compelling to consider first the (OOOO) correlator, which is slightly simpler compared to the former. Both cases show some similarities, starting from the fact that they are both characterised by a single form factor. The structure of the equations is expected to be similar, and indeed in both cases we will be able to identify also a similar behaviour in the corresponding form factors, in some kinematical limits.

The OOOO, as shown recently [9], allows a specific class of solutions which are uniquely identified by enlarging the original conformal symmetry to include a dual conformal symmetry as well. Indeed, these special solutions are very useful for studying the hypergeometric structure of the CWI’s in some asymptotic limits. As we are going to see, hypergeometric solutions of 4-point functions are very special, as one expects on generic grounds, and the general CWI’s, even in the scalar case, are not described by hypergeometric systems related to \(F_4\). The only exact statement that can be made concerning the structure of such systems of equations, as we are going to show, will be that Lauricella functions – i.e. hypergeometric functions of three variables – are exact solutions of all these systems of equations and can be interpreted as homogeneous (i.e. particular) solutions of such CWI’s for arbitrary scaling dimensions of the scalar operators.

We start our discussion by recalling that for the OOOO, the two CWI’s take the form (general scalar CWI’s) [9]

$$\begin{aligned} S_1&=\bigg \{\frac{\partial ^2}{\partial p_2^2}+\frac{(d-2\Delta _2+1)}{p_2}\frac{\partial }{\partial p_2}-\frac{\partial ^2}{\partial p_4^2}\nonumber \\&\quad -\frac{(d-2\Delta _4+1)}{p_4}\frac{\partial }{\partial p_4}\nonumber \\&\quad +\frac{1}{s}\frac{\partial }{\partial s}\left( p_1\frac{\partial }{\partial p_1}+p_2\frac{\partial }{\partial p_2}-p_3\frac{\partial }{\partial p_3}-p_4\frac{\partial }{\partial p_4}\right) \nonumber \\&\quad +\frac{\Delta _{3412}}{s}\frac{\partial }{\partial s}\nonumber \\&\quad +\frac{1}{t}\frac{\partial }{\partial t}\left( p_2\frac{\partial }{\partial p_2}+p_3\frac{\partial }{\partial p_3}-p_1\frac{\partial }{\partial p_1}-p_4\frac{\partial }{\partial p_4}\right) \nonumber \\&\quad +\frac{\Delta _{1423}}{t}\frac{\partial }{\partial t}\nonumber \\&\quad +\frac{(p_2^2-p_4^2)}{st}\frac{\partial ^2}{\partial s\partial t}\bigg \}\,\Phi (p_1,p_2,p_3,p_4,s,t)=0 \end{aligned}$$
(6.1)
$$\begin{aligned} S_2&=\bigg \{\frac{\partial ^2}{\partial p_1^2}\nonumber \\&\quad +\frac{(d-2\Delta _1+1)}{p_1}\frac{\partial }{\partial p_1}-\frac{\partial ^2}{\partial p_3^2}-\frac{(d-2\Delta _3+1)}{p_3}\frac{\partial }{\partial p_3}\nonumber \\&\quad +\frac{1}{s}\frac{\partial }{\partial s}\left( p_1\frac{\partial }{\partial p_1}+p_2\frac{\partial }{\partial p_2}-p_3\frac{\partial }{\partial p_3}-p_4\frac{\partial }{\partial p_4}\right) \nonumber \\&\quad +\frac{\Delta _{3412}}{s}\frac{\partial }{\partial s}\nonumber \\&\quad +\frac{1}{t}\frac{\partial }{\partial t}\left( p_1\frac{\partial }{\partial p_1}+p_4\frac{\partial }{\partial p_4}-p_2\frac{\partial }{\partial p_2}-p_3\frac{\partial }{\partial p_3}\right) \nonumber \\&\quad +\frac{\Delta _{1423}}{t}\frac{\partial }{\partial t}\nonumber \\&\quad +\frac{(p_1^2-p_3^2)}{st}\frac{\partial ^2}{\partial s\partial t}\bigg \}\,\Phi (p_1,p_2,p_3,p_4,s,t)=0. \end{aligned}$$
(6.2)
$$\begin{aligned} S_3&=\bigg \{\frac{\partial ^2}{\partial p_1^2}+\frac{(d-2\Delta _1+1)}{p_1}\frac{\partial }{\partial p_1}\nonumber \\&\quad -\frac{\partial ^2}{\partial p_4^2}-\frac{(d-2\Delta _4+1)}{p_4}\frac{\partial }{\partial p_4}\nonumber \\&\quad +\frac{1}{s}\frac{\partial }{\partial s}\left( p_1\frac{\partial }{\partial p_1}+p_2\frac{\partial }{\partial p_2}-p_3\frac{\partial }{\partial p_3}-p_4\frac{\partial }{\partial p_4}\right) \nonumber \\&\quad +\frac{\Delta _{3412}}{s}\frac{\partial }{\partial s}\nonumber \\&\quad +\frac{(p_2^2-p_3^2)}{st}\frac{\partial ^2}{\partial s\partial t}\bigg \}\,\Phi (p_1,p_2,p_3,p_4,s,t)=0 \end{aligned}$$
(6.3)

where

$$\begin{aligned} \Delta _{ijkl}=\Delta _i +\Delta _j-\Delta _k-\Delta _l \end{aligned}$$
(6.4)

is a specific combination of the scaling parameters of the primary scalar operators (O), which plays a special role in the derivation of the dcc solutions. In [9] the discussion dealt with two possible cases for the OOOO in which the scaling combinations in (6.4) vanish: (1) the equal scaling case with \(\Delta _i=\Delta \) (i=1,2,3,4) and (2) the case in which two operators are pairwise of equal scalings. In both cases, the solutions satisfy the condition of being conformal and dual conformal invariant.

The vanishing of (6.4) is necessary in order to remove the \(\partial /\partial s\) and \(\partial /\partial t\) terms and reduce the three \(S_i\)’s to a hypergeometric system of equations (D.1). Notice that differently from the case of 3-point functions, where a similar system has been identified [3], as shown in Eq. (2.29), the variables are quartic – rather than quadratic – ratios of the invariants.

In order to derive such a system, which is extracted from the \(S_i\)’s, we need a product ansatz based on a quartic pivot \((s^2 t^2)\) with variables [4, 9]

$$\begin{aligned} x=\frac{p_1^2 p_3^2}{s^2 t^2}\quad y=\frac{p_2^2 p_4^2}{s^2 t^2}, \end{aligned}$$
(6.5)

and observe that this choice sets automatically to zero the mixed derivative terms in \(p_i\) and s and t in Eqs. (6.1),(6.2) and (6.3). The ansatz for the solution is based on the product of a function G(x,y) and of powers of x and y – given by (6.5) – of the form

$$\begin{aligned} \Phi \sim x^a y^b G(x,y), \end{aligned}$$
(6.6)

for suitable a and b, quite similarly to the case of a scalar 3-point function. On any function G(xy), terms of the form

$$\begin{aligned} \left( p_1\frac{\partial }{\partial p_1}+p_2\frac{\partial }{\partial p_2}-p_3\frac{\partial }{\partial p_3}-p_4\frac{\partial }{\partial p_4}\right) G(x,y)=0 \end{aligned}$$
(6.7)

vanish, if we choose x and y as the quartic ratios (6.5). If we use the definition of the \(K_{ij}\) operators (2.30), (2.29) and the ansatz based on G(xy) as defined above, the three equations take the form (intermediate scalar CWI’s)

$$\begin{aligned} \left\{ \begin{aligned}&\bigg ( K_{2 4} +\frac{(p_2^2-p_4^2)}{st}\frac{\partial ^2}{\partial s\partial t}\bigg )\Phi (p_1,p_2,p_3,p_4,s,t)\\&\quad =-\bigg (\frac{\Delta _{3412}}{s}\frac{\partial }{\partial s} +\frac{\Delta _{1423}}{t}\frac{\partial }{\partial t} \bigg )\,\Phi (p_1,p_2,p_3,p_4,s,t)\\&\bigg ( K_{1 3} +\frac{(p_1^2-p_3^2)}{st}\frac{\partial ^2}{\partial s\partial t}\bigg )\Phi (p_1,p_2,p_3,p_4,s,t)\\&\quad =-\bigg (\frac{\Delta _{3412}}{s}\frac{\partial }{\partial s} +\frac{\Delta _{1423}}{t}\frac{\partial }{\partial t} \bigg )\,\Phi (p_1,p_2,p_3,p_4,s,t)\\&\bigg ( K_{1 4} +\frac{(p_2^2-p_3^2)}{st}\frac{\partial ^2}{\partial s\partial t}\bigg )\Phi (p_1,p_2,p_3,p_4,s,t)\\&\quad =-\frac{\Delta _{3412}}{s}\frac{\partial }{\partial s} \,\Phi (p_1,p_2,p_3,p_4,s,t) \end{aligned} \right. \end{aligned}$$
(6.8)

where we have removed all the mixed derivative terms in \((s, p_i^2),(t, p_i^2)\), thanks to (6.7). Explicit dcc solutions of this system of equations are obtained if \(\Delta _{ijkl}=0\), and the operators \(K_{24}\) and \(K_{13} \) depend separately on a single scaling variable, that is if \(\Delta _2=\Delta _4\) and \(\Delta _1=\Delta _3\). Notice that this condition is compatible with the vanishing of \(\Delta _{3412}\) and \(\Delta _{1423}\) and takes to a hypergeometric system of equations, which are again solved in terms of hypergeometrics of the variables x and y given in (6.5). In this case we could rewrite the system in the form (reduced scalar CWI’s)

$$\begin{aligned} \left\{ \begin{aligned}&\bigg ( K_{2 4}(\Delta _2) +\frac{(p_2^2-p_4^2)}{st}\frac{\partial ^2}{\partial s\partial t}\bigg )\Phi (p_1,p_2,p_3,p_4,s,t)=0\\&\bigg ( K_{1 3}(\Delta _1) +\frac{(p_1^2-p_3^2)}{st}\frac{\partial ^2}{\partial s\partial t}\bigg )\Phi (p_1,p_2,p_3,p_4,s,t)=0 \\&\bigg ( K_{1 4} +\frac{(p_2^2-p_3^2)}{st}\frac{\partial ^2}{\partial s\partial t}\bigg )\Phi (p_1,p_2,p_3,p_4,s,t)=0 \end{aligned} \right. \end{aligned}$$
(6.9)

where the \(K_{ij}(\Delta _i)\) indicates that such operators depend on a single scaling constant.

It is important to observe that the system (6.9) admits explicit dcc solutions which are expressed as hypergeometric functions, or, equivalently, as 3K integrals, but the entire set of dcc solutions is not just composed of these functions. We refer to appendix E for few comments on the properties of such solutions.

Dual conformal symmetry constrains a certain ansatz (the dual conformal ansatz) to be expressed only in terms of the two quartic ratios x and y, via a function G(xy). Functions G of such ratios will then necessarily satisfy the condition (6.7), and henceforth the reduced system (6.8).

The solutions of the three constraints in (6.8) of the form G(xy), will then characterize the most general set of dcc solutions for scalar primary operators, of which special cases are those found in [9] and reported below in Eq. (6.12). The additional reduction of the system (6.8) to (6.9) obviously, allows us to work with explicit expressions which are all related by analytic continuations and therefore describe a unique solution, as shown in [9]. Therefore, they are optimal for the study of several kinematical limits of the scalar correlator, that we are now going to investigate.

Limits for equal scalings and \(\Delta _{ijkl}=0\)

As we have mentioned, the choice \(\Delta _{ijkl}=0\) is what renders the system (6.9) a variant of the ordinary hypergeometric system, which in general takes the form (2.29) and it is solved by quadratic – rather than quartic – ratios of invariants. Once this gets reduced to (6.9), as already mentioned, the complete ansatz for the general solution of such system is constructed by multiplying the function G(xy) by the pivot, raised to a power \(n_s\), fixed by the dilatation WI

$$\begin{aligned} \bigg [(\Delta _t-3d)-\sum _{i=1}^4p_i\frac{\partial }{\partial p_i}-s\frac{\partial }{\partial s}-t\frac{\partial }{\partial t}\bigg ]\Phi (p_1,p_2,p_3,p_4,s,t)=0, \end{aligned}$$
(6.10)

with \(\Delta _t\) denoting the total scaling. If we choose as a pivot \(s^2 t^2\), the solution indeed will take the form

$$\begin{aligned} \Phi (p_i,s,t)= (s^2 t^2)^{n_s}G(x,y) \qquad n_s=\frac{\Delta _t -3 d}{4}. \end{aligned}$$
(6.11)

Few additional comments are in order concerning the homogeneous case \((\Delta _{ijkl}=0)\) and the system (6.9). We remark that the third equation of such system is identically satisfied if the first and the second equations are, which is the case if an ansatz of type (6.11) is chosen. This is clearly consistent with the fact the four functionally independent solutions of an Appell system of equations (for \(F_4\)) is based only on two independent equations (D.1).

The solution of the homogeneous system (6.9), as already mentioned, can be written in terms of 4 Appell functions \(F_4\) of the x and y ratios given in (6.5) [9]

$$\begin{aligned}&\langle O(p_1)O(p_2)O(p_3)O(p_4)\rangle =2^{\frac{d}{2}-4}\ \ C\,\sum _{\lambda ,\mu =0,\Delta -\frac{d}{2}}\nonumber \\&\quad \xi (\lambda ,\mu )\bigg [\big (s^2\,t^2\big )^{\Delta -\frac{3}{4}d} \left( \frac{p_1^2 p_3^2}{s^2 t^2}\right) ^\lambda \left( \frac{p_2^2p_4^2}{s^2t^2}\right) ^\mu \nonumber \\&\quad \times \,F_4\left( \frac{3}{4}d-\Delta +\lambda +\mu ,\frac{3}{4}d-\Delta +\lambda +\mu ,1-\Delta \right. \nonumber \\&\quad \left. +\frac{d}{2} +\lambda ,1-\Delta +\frac{d}{2}+\mu ,\frac{p_1^2 p_3^2}{s^2 t^2},\frac{p_2^2 p_4^2}{s^2 t^2}\right) \nonumber \\&\quad +\big (s^2\,u^2\big )^{\Delta -\frac{3}{4}d}\left( \frac{p_2^2 p_3^2}{s^2 u^2}\right) ^\lambda \left( \frac{p_1^2p_4^2}{s^2u^2}\right) ^\mu \nonumber \\&\quad \times \,F_4\left( \frac{3}{4}d-\Delta +\lambda +\mu ,\frac{3}{4}d-\Delta \right. \nonumber \\&\quad \left. +\lambda +\mu ,1-\Delta +\frac{d}{2} +\lambda ,1-\Delta +\frac{d}{2}+\mu ,\frac{p_2^2 p_3^2}{s^2 u^2},\frac{p_1^2 p_4^2}{s^2 u^2}\right) \nonumber \\&\quad +\big (t^2\,u^2\big )^{\Delta -\frac{3}{4}d}\left( \frac{p_1^2 p_2^2}{t^2 u^2}\right) ^\lambda \left( \frac{p_3^2p_4^2}{t^2u^2}\right) ^\mu \nonumber \\&\quad \times \,F_4\left( \frac{3}{4}d-\Delta +\lambda +\mu ,\frac{3}{4}d-\Delta \right. \nonumber \\&\quad \left. +\lambda +\mu ,1-\Delta +\frac{d}{2}+\lambda ,1-\Delta +\frac{d}{2}+\mu ,\frac{p_1^2 p_2^2}{t^2 u^2},\frac{p_3^2 p_4^2}{t^2 u^2}\right) \bigg ],\nonumber \\ \end{aligned}$$
(6.12)

where the coefficients \(\xi (\lambda ,\mu )\) are explicitly given by

$$\begin{aligned} \begin{aligned} \xi \left( 0,0\right)&=\left[ \Gamma \left( \frac{3}{4}d-\Delta \right) \right] ^2 \left[ \Gamma \left( \Delta -\frac{d}{2}\right) \right] ^2\\ \xi \left( 0,\Delta -\frac{d}{2}\right)&=\xi \left( \Delta -\frac{d}{2},0\right) \\&=\left[ \Gamma \left( \frac{d}{4}\right) \right] ^2\Gamma \left( \Delta -\frac{d}{2}\right) \Gamma \left( \frac{d}{2}-\Delta \right) \\ \xi \left( \Delta -\frac{d}{2},\Delta -\frac{d}{2}\right)&=\left[ \Gamma \left( \Delta -\frac{d}{4}\right) \right] ^2\left[ \Gamma \left( \frac{d}{2}-\Delta \right) \right] ^2, \end{aligned} \end{aligned}$$
(6.13)

which is explicitly symmetric under all the possible permutations of the momenta and it is fixed up to one undetermined constant C.

As shown in [9], (6.12) can be re-expressed in the form

$$\begin{aligned}&I_{\frac{d}{2}-1\{\Delta -\frac{d}{2},\Delta -\frac{d}{2},0\}}(p_1p_3,p_2 p_4,s t)\nonumber \\&\qquad =\,(p_1p_3)^{\Delta -\frac{d}{2}}(p_2p_4)^{\Delta -\frac{d}{2}} \int _{0}^\infty \,dx\,x^{\frac{d}{2}-1}\nonumber \\&\qquad K_{\Delta -\frac{d}{2}}(p_1p_3\,x)\, K_{\Delta -\frac{d}{2}}(p_2 p_4\,x)\,K_{0}(st\,x). \end{aligned}$$
(6.14)

i.e. as a 3K integrals of quadratic \((p_1 p_3, s t, p_2 p_4)\) variables, which are solutions of a system of the form (D.1) with quartic ratios xy. Few technical details are given in appendix (D.1).

Comparison between the general, the intermediate and the reduced systems

To address the asymptotic behaviour of this solution of the general system of Eqs. (6.1), (6.2), (6.3) (the \(S_i\) constraints) and compare it with the intermediate (6.8) and the reduced (6.9) ones, we clearly need to perform a special asymptotic limit. We can reasonably assume that at large s and t the general solution of the \(S_{i}'s\) equations decays as \(\sim 1/(s t)^\alpha \), with \(\alpha > 0\).

Both for the \(S_i\) and for the intermediate system (6.8), the action of the derivative operators \((1/s) \partial /\partial s\) and \((1/t) \partial /\partial t\) is suppressed by two additional powers of the kinematic invariant s and t and can reasonably be set to zero asymptotically.

If we neglect such contributions, the equations in (6.8) turn again into a homogeneous system (6.12) which, however, is not hypergeometric any longer, nor the third equation is dependent from the previous two, as found in the \(\Delta _{ijkl}=0\) case for the reduced system (6.9). Although the three systems, general intermediate and reduced, look pretty similar in such limit, we can only safely state that their solutions have to share the same asymptotic behaviour. This is fixed by the scaling power \(n_s=\Delta _t -3/4 d \), extracted from the dilatation WI in the form

$$\begin{aligned} \Phi (p_1,p_2,p_3,p_4)\sim \frac{1}{(s^2 t^2)^{- n_s}} + O(1/(s^2 t^2)) \end{aligned}$$
(6.15)

which requires that \(n_s\) be negative.

In the two sections below we will try to characterize the behaviour of the dcc solution of (6.9) in various limits before coming back again to the three systems of equations, discussing some approximate factorised solutions of such equations.

IR and equal mass limits of the dcc solutions

The analysis of the infrared or soft limits at small s and t of the dual conformal solution, with \(\Delta _{ijkl}=0\), for \(\Delta _i=\Delta , i=1,2,3,4\) can be discussed using a second version of the solution given by (6.12), but completely equivalent to it, obtained by a sequence of analytic continuations [9]

$$\begin{aligned}&\Phi =C_1\bigg \{\left( p_1^2\,p_3^2\right) ^{\Delta -\frac{3}{4}d}\bigg [F_4\left( \frac{d}{4}\,,\,\frac{3}{4}d-\Delta \,,\,1\,,\,\frac{d}{2}-\Delta +1\,;\frac{s^2t^2}{p_1^2p_3^2}\,,\,\frac{p_2^2p_4^2}{p_1^2p_3^2}\right) \nonumber \\&\quad +\tau _1\left( \frac{p_2^2p_4^2}{p_1^2p_3^2}\right) ^{\Delta -\frac{d}{2}} F_4\left( \Delta -\frac{d}{4}\,,\,\frac{d}{4}\, ,\,1\,,\,1-\frac{d}{2}+\Delta \,;\frac{s^2t^2}{p_1^2p_3^2}\,,\,\frac{p_2^2p_4^2}{p_1^2p_3^2}\right) \bigg ] \nonumber \\&\quad +\left( p_2^2\,p_3^2\right) ^{\Delta -\frac{3}{4}d}\bigg [F_4\left( \frac{d}{4}\,,\,\frac{3}{4}d-\Delta \, ,\,1\,,\,\frac{d}{2}-\Delta +1\,;\frac{s^2u^2}{p_2^2p_3^2}\,,\,\frac{p_1^2p_4^2}{p_2^2p_3^2}\right) \nonumber \\&\quad +\tau _1 \left( \frac{p_1^2p_4^2}{p_2^2p_3^2}\right) ^{\Delta -\frac{d}{2}} F_4\left( \Delta -\frac{d}{4}\,,\,\frac{d}{4}\, ,\,1\,,\,1-\frac{d}{2}+\Delta \,;\frac{s^2u^2}{p_2^2p_3^2}\,,\,\frac{p_1^2p_4^2}{p_2^2p_3^2}\right) \bigg ] \nonumber \\&\quad +\left( p_1^2\,p_2^2\right) ^{\Delta -\frac{3}{4}d}\bigg [F_4\left( \frac{d}{4}\,,\,\frac{3}{4}d-\Delta \, ,\,1\,,\,\frac{d}{2}-\Delta +1\,;\frac{u^2t^2}{p_1^2p_2^2}\,,\,\frac{p_3^2p_4^2}{p_1^2p_2^2}\right) \nonumber \\&\quad +\tau _1 \left( \frac{p_3^2 p_4^2}{p_1^2 p_2^2}\right) ^{\Delta -\frac{d}{2}}F_4\left( \Delta -\frac{d}{4}\,,\,\frac{d}{4}\, ,\,1\,,\,1-\frac{d}{2}+\Delta \,;\frac{u^2t^2}{p_1^2p_2^2}\,,\,\frac{p_3^2p_4^2}{p_1^2p_2^2}\right) \bigg ]\bigg \}. \end{aligned}$$
(6.16)
$$\begin{aligned}&\tau _1=\frac{\Gamma \left( \Delta -\frac{d}{4}\right) \Gamma \left( 1+\Delta -\frac{3}{4}d\right) \Gamma \left( 1-\Delta +\frac{d}{2}\right) }{\Gamma \left( \Delta -\frac{3}{4}d\right) \Gamma \left( 1-\Delta +\frac{3}{4}d\right) \Gamma \left( 1+\Delta -\frac{d}{2}\right) } \end{aligned}$$
(6.17)

From this expression, we can keep \(t^2\) fixed and of order \(O(p_i^2)\) and send \(s^2\rightarrow 0 \) to derive the soft behaviour

$$\begin{aligned} \Phi \sim (p_1^2 p_3^2)^{\Delta - \frac{3}{4}d} + O(s^2/p_i^2) \end{aligned}$$
(6.18)

if the external mass invariants \(p_i^2\) are kept larger than the invariant \(s^2\).

Equal mass limit with \(p_i^2=M^2 >\, s^2,t^2\)

The equal mass limit is obtained by taking \(p_i^2=M^2\) for all the external invariants. In this case, using the relation between \(F_4\) and the Gauss hypergeometric \(F_{2 1}(a,b,c,x)\)

$$\begin{aligned}&F_4(\alpha ,\beta ,\gamma ,\gamma ',x,y)\nonumber \\&\quad =\sum _{m=0}^{\infty }\frac{(\alpha )_m(\beta )_m}{(\gamma )_m m!}{}_2F_{1}(\alpha + m,\beta +m,\gamma ',y)x^m \end{aligned}$$
(6.19)

and

$$\begin{aligned} {}_2F_{1}(a,b,c,1)=\frac{\Gamma (c)\Gamma (c-a-b)}{\Gamma (c-a)\Gamma (c-b)}, \end{aligned}$$
(6.20)

from (6.16) we then obtain the simplified expression

$$\begin{aligned} \begin{aligned} \Phi&=M^{4 \Delta -3d }\sum _{m=0}^\infty \frac{1}{m!} \Bigg ( \frac{\Gamma \left( \frac{d}{2}-\Delta +1\right) \Gamma \left( -\frac{d}{2}-2 m+1\right) \Gamma \left( \frac{d}{4}+m\right) \Gamma \left( \frac{3 d}{4}-\Delta +m\right) }{ \Gamma \left( \frac{d}{4}\right) \Gamma (m+1) \Gamma \left( \frac{3 d}{4}-\Delta \right) \Gamma \left( -\frac{d}{4}-m+1\right) \Gamma \left( \frac{d}{4}-\Delta -m+1\right) } \\&\quad \frac{\Gamma \left( \frac{d}{2}-\Delta +1\right) \Gamma \left( -\frac{3 d}{4}+\Delta +1\right) \Gamma \left( -\frac{d}{2}-2 m+1\right) \Gamma \left( \frac{d}{4}+m\right) \Gamma \left( -\frac{d}{4}+\Delta +m\right) }{\Gamma \left( \frac{d}{4}\right) \Gamma (m+1) \Gamma \left( \frac{3 d}{4}-\Delta +1\right) \Gamma \left( \delta -\frac{3 d}{4}\right) \Gamma \left( -\frac{d}{4}-m+1\right) \Gamma \left( -\frac{3 d}{4}+\Delta -m+1\right) } \Bigg )\times \\&\quad \times \Bigg (\left( \frac{s^2 t^2}{M^4}\right) ^m + \left( \frac{s^2 u^2}{M^4}\right) ^m + \left( \frac{u^2 t^2}{M^4}\right) ^m\Bigg )\\ \end{aligned} \end{aligned}$$

which in \(d=4\) becomes

$$\begin{aligned} \begin{aligned} \Phi&=M^{4 \Delta -3d}\sum _{m=0}^\infty \frac{1 }{m!} \left( \frac{\Gamma (-2 m-1) \Gamma (-\Delta +m+3)}{\Gamma (-m) \Gamma (-\Delta -m+2)}\right. \\&\quad \left. +\frac{\Gamma (3-\Delta ) \Gamma (\Delta -2) \Gamma (-2 m-1) \Gamma (\Delta +m-1)}{ \Gamma (4-\Delta ) \Gamma (\Delta -3) \Gamma (-m) \Gamma (\Delta -m-2)}\right) \\&\quad \times \Bigg (\left( \frac{s^2 t^2}{M^4}\right) ^m + \left( \frac{s^2 u^2}{M^4}\right) ^m + \left( \frac{u^2 t^2}{M^4}\right) ^m\Bigg )\\ \end{aligned} \end{aligned}$$

and is convergent as far as \(M^2 \gg s^2, t^2 \). Explicitly (in \(d=4\))

$$\begin{aligned} \Phi =M^{4 \Delta -3d}\left[ d_0 + d_1 \left( \frac{s^2 t^2}{M^4} + \frac{s^2 u^2}{M^4} + \frac{u^2 t^2}{M^4}\right) +\ldots \right] , \end{aligned}$$
(6.21)

where

$$\begin{aligned} d_0=\frac{1}{2} \left( \frac{\Gamma (\Delta -1)}{\Gamma (\Delta -2)}-\frac{\Gamma (3-\Delta )}{\Gamma (2-\Delta )}\right) \end{aligned}$$
(6.22)

and

$$\begin{aligned} \begin{aligned}&d_1=\frac{1}{12} \left( \frac{\Gamma (4-\Delta )}{\Gamma (1-\Delta )}-\frac{\Gamma (\Delta )}{\Gamma (\Delta -3)}\right) . \end{aligned} \end{aligned}$$
(6.23)

The equal mass limit with \(s^2, t^2 > M^2\)

A similar limit can be performed starting from (6.12). We can take \(s^2, t^2, u^2 > M^2\), which in (6.12) takes to a univariate expression of \(F_4\), \(F_4(a,b,c,c';x,x)\). It can be expressed as a single series in x using the relation

$$\begin{aligned}&F_4(a,b,c,c';x,x)\nonumber \\&\quad = {}_4 F_{3}\left( a,b,\frac{c + c'}{2},\frac{c + c'-1}{2}| \,c,c', c + c'-1; 4 x\right) \nonumber \\ \end{aligned}$$
(6.24)

due to Burchnall, as reported in [44].

Setting \(x_1=M^4/(s^2 t^2)\sim M^4/(s^2 u^2)\sim M^4/(u^2 t^2)\) and choosing, for instance, a scaling dimension of a scalar operator \(\phi ^2\) (with \(\Delta =d-2\)), in \(d=4\) one obtains a simple expression for \(\Phi \)

$$\begin{aligned} \Phi= & {} C\left( \frac{\log ^2\left( \frac{M^4}{s^2 t^2}\right) }{s^2 t^2}+\frac{\log ^2\left( \frac{M^4}{s^2 u^2}\right) }{s^2 u^2}+\frac{\log ^2\left( \frac{M^4}{t^2 u^2}\right) }{t^2 u^2}\right. \nonumber \\&\left. +\frac{\pi ^2}{3 s^2 t^2}+\frac{\pi ^2}{3 s^2 u^2}+\frac{\pi ^2}{3 t^2 u^2}\right) +O(x_1^2) \end{aligned}$$
(6.25)

and in \(d=3\)

$$\begin{aligned}&\Phi =C\left( \frac{\pi \Gamma \left( \frac{1}{4}\right) ^2}{M^4 \sqrt{s} \sqrt{t}}+\frac{\pi \Gamma \left( \frac{1}{4}\right) ^2}{M^4 \sqrt{s} \sqrt{u}}+\frac{\pi \Gamma \left( \frac{1}{4}\right) ^2}{M^4 \sqrt{t} \sqrt{u}}\right. \\&\qquad -\frac{4 \pi \Gamma \left( \frac{3}{4}\right) ^2}{M^2 s^{3/2} t^{3/2}}-\frac{4 \pi \Gamma \left( \frac{3}{4}\right) ^2}{M^2 s^{3/2} u^{3/2}}\\&\qquad \left. -\frac{4 \pi \Gamma \left( \frac{3}{4}\right) ^2}{M^2 t^{3/2} u^{3/2}}+\frac{\pi \Gamma \left( \frac{1}{4}\right) ^2}{4 s^{5/2} t^{5/2}}+\frac{\pi \Gamma \left( \frac{1}{4}\right) ^2}{4 s^{5/2} u^{5/2}}\right. \\&\qquad \left. +\frac{\pi \Gamma \left( \frac{1}{4}\right) ^2}{4 t^{5/2} u^{5/2}}\right) +O(x_1^2) \end{aligned}$$

Large s and t limits and the Lauricella system

We have already mentioned that the system of Eqs. (6.1), (6.2), (6.3) reduces to (6.8) if we choose a combination of invariants given by (6.5). The system (6.8) turns into hypergeometric if \(\Delta _{ijkl}=0\), with only two independent equations, as pointed out above. However, for a generic \(\Delta _{ijkl}\) it is possible to uncover an approximate hypergeometric structure in the equations only in the large s and t limit, if we neglect the coupling between the st and \(p_i^2\) invariants. At the same time we could assume that \(\Delta _{ijkl}\ll 1\), which allows to drop the \(1/s\partial /\partial _s\) and \(1/t\partial /\partial _t\) terms in the differential operator. This approximate factorization has been discussed in [9], where it has been shown to take to a hypergeometric system of Lauricella type in three variables (see Sect. D). This asymptotic analysis is based on the ansatz

$$\begin{aligned} \Phi (p_1^2,p_2^2,p_3^2,p_4^2,s, t)\sim \phi (p_1^2,p_2^2,p_3^2,p_4^2)\chi (s,t) \end{aligned}$$
(7.1)

and invokes the separability of the asymptotic system (6.8)

$$\begin{aligned} \begin{aligned}&K_{2 4} \phi =0 \\&K_{1 3}\phi =0 \\&K_{1 4}\phi =0\\&\frac{1}{st}\frac{\partial ^2}{\partial s\partial t}\,\chi (s,t)=0.\\ \end{aligned} \end{aligned}$$
(7.2)

The Lauricella system corresponds to the first three equations of (7.2). Lauricella systems have recently appeared also in CFT in coordinate space [13]. One can easily realize that they characterize a homogeneous solution in the variables \(p_i^2\) of the entire (complete) system (6.1), (6.2), (6.3) as well as of (6.8). They are exact solutions of such systems, before an asymptotic limit. Notice that logarithmic terms of the form \(f(1/(s^2 t^2)) \log ^k(s^2/t^2)\) (k>0) are also compatible with the asymptotic structure of such systems, which are generically expected for scattering at fixed angle in perturbation theory (see [45] for an example).

The general primary CWI’s in the \(2\rightarrow 2\) and \(1\rightarrow 3\) formulations for the TOOO and asymptotics

In order to get further insight into the structure of the CWI’s for the TOOO, we proceed with a rearrangement of their expressions in order to reduce them to homogeneous equations, following the same approach of Sect. 6, adopted in the scalar case. We will proceed by generalizing the CWI’s for different scalar coefficients from the equal scaling case presented in Sect. 5.5. For simplicity we set

$$\begin{aligned} F\equiv & {} F(p_1,p_2,p_3,p_4,s, t), \,\,\, F(p_2\leftrightarrow p_4)\nonumber \\\equiv & {} F(p_1,p_2,p_4,p_3, t ,s), \,\,\, F(p_3\leftrightarrow p_4)\nonumber \\\equiv & {} F(p_1,p_4,p_2,p_3, s,\tilde{u}). \end{aligned}$$
(7.3)

If we allow for different scaling \(\Delta _i\), with \(\Delta _1=d\) for the stress–energy tensor, then the equations given in (5.26)–(5.28) can be generalized as follows

$$\begin{aligned} \begin{aligned} \tilde{C}_{1 1} -\tilde{C}_{2 1}\rightarrow B_1=&\Bigg ( K_{21} +\frac{\Delta _{1423}+2}{t}\frac{\partial }{\partial t} -\frac{1}{t}\frac{\partial }{\partial t}\\&\times \left( p_1\frac{\partial }{\partial p_1}+ p_4\frac{\partial }{\partial p_4} - p_2\frac{\partial }{\partial p_2} - p_3\frac{\partial }{\partial p_3}\right) \\&+ \frac{p_3^2-p_4^2}{s t}\frac{\partial ^2}{\partial s \partial t}\Bigg )F(1,2,3,4)=0. \end{aligned} \end{aligned}$$
(7.4)

The other homogeneous equations for \(F(p_1,p_2,p_3,p_4,s, t)\) are similarly derived in the form

$$\begin{aligned}&\tilde{C}_{1 1} -\tilde{C}_{3 1}\rightarrow B_2\nonumber \\&\quad = \Bigg ( K_{31} +\frac{\Delta _{1423}+2}{t}\frac{\partial }{\partial t}+\frac{\Delta _{1234}-2}{s}\frac{\partial }{\partial s}\nonumber \\&\qquad -\frac{1}{t}\frac{\partial }{\partial t}\left( p_1\frac{\partial }{\partial p_1}+ p_4\frac{\partial }{\partial p_4} - p_2\frac{\partial }{\partial p_2} - p_3\frac{\partial }{\partial p_3}\right) \nonumber \\&\qquad +\frac{1}{s}\frac{\partial }{\partial s}\left( p_3\frac{\partial }{\partial p_3}+ p_4\frac{\partial }{\partial p_4} - p_1\frac{\partial }{\partial p_1} - p_2\frac{\partial }{\partial p_2}\right) \nonumber \\&\qquad + \frac{p_3^2-p_1^2}{s t}\frac{\partial ^2}{\partial s \partial t}\Bigg )F(1,2,3,4)=0, \end{aligned}$$
(7.5)

and

$$\begin{aligned}&\tilde{C}_{2 1} -\tilde{C}_{3 1}\rightarrow B_3\nonumber \\&\quad = \Bigg ( K_{32} +\frac{\Delta _{1234}-2}{s}\frac{\partial }{\partial s}\nonumber \\&\qquad +\frac{1}{s}\frac{\partial }{\partial s}\left( p_3\frac{\partial }{\partial p_3}+ p_4\frac{\partial }{\partial p_4} - p_1\frac{\partial }{\partial p_1} - p_2\frac{\partial }{\partial p_2}\right) \end{aligned}$$
(7.6)
$$\begin{aligned}&\qquad +\frac{p_4^2-p_1^2}{s t}\frac{\partial ^2}{\partial s \partial t}\Bigg )F(1,2,3,4)=0. \end{aligned}$$
(7.7)

One can show that \(B_1,B_2,B_3\) are not independent, in fact

$$\begin{aligned} B_1+B_3=B_2, \end{aligned}$$
(7.8)

indicating that there are only two independent homogeneous equations involving the F form factor.

Finally, one has to consider the system of three differential equations, composed of (\(B_1,B_2)\) together with the analogous of \(\tilde{C}_{21}\), given in (5.27), now for different \(\Delta _i\)’s, which can be written as

$$\begin{aligned} \left\{ \begin{aligned}&\Bigg ( K_{31} -\frac{1}{t}\frac{\partial }{\partial t}\left( p_1\frac{\partial }{\partial p_1}+ p_4\frac{\partial }{\partial p_4} - p_2\frac{\partial }{\partial p_2} - p_3\frac{\partial }{\partial p_3}\right) \\&+\frac{1}{s}\frac{\partial }{\partial s}\left( p_3\frac{\partial }{\partial p_3}+ p_4\frac{\partial }{\partial p_4} - p_1\frac{\partial }{\partial p_1} - p_2\frac{\partial }{\partial p_2}\right) \\&+ \frac{p_3^2-p_1^2}{s t}\frac{\partial ^2}{\partial s \partial t}\Bigg )F=-\left( \frac{\Delta _{1423}+2}{t}\frac{\partial }{\partial t}+\frac{\Delta _{1234}-2}{s}\frac{\partial }{\partial s}\right) F\\&\Bigg [K_{42}+\frac{1}{s}\frac{\partial }{\partial s}\left( p_3\frac{\partial }{\partial p_3}+ p_4\frac{\partial }{\partial p_4} - p_1\frac{\partial }{\partial p_1} - p_2\frac{\partial }{\partial p_2}\right) \\&+\frac{1}{t}\frac{\partial }{\partial t}\left( p_1\frac{\partial }{\partial p_1}+ p_4\frac{\partial }{\partial p_4} - p_2\frac{\partial }{\partial p_2} - p_3\frac{\partial }{\partial p_3}\right) \\&+\frac{p_4^2-p_2^2}{st}\frac{\partial ^2}{\partial s \partial t}\Bigg ]F =\left( \frac{\Delta _{1423}+2}{t}\frac{\partial }{\partial t}-\frac{\Delta _{1234}}{s}\frac{\partial }{\partial s}\right) F\\&\quad -\frac{2}{s}\frac{\partial }{\partial s}\big (F(p_2\leftrightarrow p_4)-F(p_3\leftrightarrow p_4)\big )\\&\left( K_{21} -\frac{1}{t}\frac{\partial }{\partial t}\left( p_1\frac{\partial }{\partial p_1}+ p_4\frac{\partial }{\partial p_4} - p_2\frac{\partial }{\partial p_2} - p_3\frac{\partial }{\partial p_3}\right) \right. \\&\left. + \frac{p_3^2-p_4^2}{s t}\frac{\partial ^2}{\partial s \partial t}\right) F=-\frac{\Delta _{1423}+2}{t}\frac{\partial }{\partial t}F \end{aligned} \right. \end{aligned}$$
(7.9)

We will try to extract some information about the structure of such equations by discussing some possible limits.

In the characterization of the nature of the system we begin by considering the case in which all the scalings are different and work our way starting from the left hand side of (7.9). We have different options. For instance, if we are looking for factorised solutions such as those discussed in the scalar case, of the form (7.1), then we could consider the asymptotic limit \(s,t\rightarrow \infty \) and identify the Lauricella component of such solutions, since the equations above turn homogenous, and the left hand side, exactly as in (7.2), reduces to a Lauricella system of hypergeometrics (D). This holds independently of the values of the scalings \(\Delta _i\). On the other hand, it is possible to identify, at least asymptotically, some hypergeometric solutions, different from the Lauricella’s, but we need to constrain the scaling dimensions in such a way that the operators \(K_{31}\) and \(K_{42}\) are each characterised by a single conformal scaling (\(\Delta _4=\Delta _2\) and \(\Delta _3=\Delta _1\)). As discussed in the previous sections, we can choose as variable the scale invariant ratios (6.5) for x and y in the ansatz for the solution, reobtaining the same left hand side of (6.8). This approximate solutions would again be quite similar to those discussed in the scalar case. However, in the general case, as we have already mentioned, even for large s and t, when we keep the scalings generic, one can show that the left hand side of such system of equations is not of hypergeometric form, and the explicit form of such solutions is unknown (Fig. 5).

Fig. 5
figure5

The TOOO in a kinematical region in which can be described as a \(1\rightarrow 3\) process

The \(1\rightarrow 3\) case

It is possible to perform other limits on the same form factor of the TOOO in order to simplify the primary CWI’s presented in the previous sections. We are going to focus our discussion on the \(1\rightarrow 3\) formulation, which is symmetric in the momenta of the three scalar operators and provides a clear separation of the parametric dependence of the correlator in terms of a function of the external invariants \(p_i^2\) times a function of st and u, in analogy with the discussion presented in the \(2\rightarrow 2\) case.

This kinematic choice is illustrated in Fig. 1.

In order to proceed with the investigation of this limit, it is convenient to perform an analytic continuation of the CWI’s to the Minkowski region from their Euclidean definition, and take all the invariants \(t^2\) and \(u^2\) and \(s^2\) to be positive. The kinematical region of interest, in this case, is delimited by the conditions

$$\begin{aligned}&(p_2 + p_3)^2\le t^2 \le \left( p_1 - p_4\right) ^2\nonumber \\&(p_3 + p_4)^2\le s^2 \le \left( p_1 - p_2\right) ^2 \nonumber \\&(p_2+p_4)^2 \le u^2 \le \left( p_1-p_3\right) ^2, \end{aligned}$$
(7.10)

with the usual relation

$$\begin{aligned}&s^2 + t^2 + u^2= p_1^2 + p_2^2 + p_3^2 + p_4^2. \end{aligned}$$
(7.11)

We will be performing the large \(p_1\) limit, where the invariant mass of the virtual graviton line gets asymptotically large, and assume that the invariants \(s^2\sim t^2\sim u^2\sim p_1^2\) grow large with \(p_1^2\). In this limit the primary CWI’s simplify, and the equations become approximately separable in their dependence on the external \(p_i^2 (i=2,3,4)\) and the remaining (stu) invariants. For this reason we choose asymptotic solutions of the form

$$\begin{aligned} A(p_2,p_3,p_4,s,t,u)\sim \Phi (p_2,p_3,p_4)\chi (s,t,u). \end{aligned}$$
(7.12)

We study now the form of the \(\chi (s,t,u)\). The corresponding equations for the (stu) invariants, from the primary conformal WI’s, take the form

$$\begin{aligned} \frac{\partial ^2 \chi }{\partial s\partial t } =0, \qquad \frac{\partial ^2 \chi }{\partial s \partial u } =0, \qquad \frac{\partial ^2 \chi }{\partial t \partial u } =0, \end{aligned}$$
(7.13)

with the additional constraint imposed by the dilatation Ward identity. In particular, in this limit, the dilatation WI for the (stu) invariants takes the form

$$\begin{aligned} \left[ s\,\frac{\partial }{\partial s}+t\,\frac{\partial }{\partial t} +u\,\frac{\partial }{\partial u}\right] \chi (s,t,u)=0. \end{aligned}$$
(7.14)

Notice that the remaining contribution to the dilatation WI is satisfied separately by the scale invariant condition on \(\Phi (p_2,p_3,p_4)\)

$$\begin{aligned}&\left[ p_2\,\frac{\partial }{\partial p_2}+p_3\,\frac{\partial }{\partial p_3}+p_4\,\frac{\partial }{\partial p_4}\right] \Phi (p_2,p_3,p_4)\nonumber \\&\quad =(\Delta _t -3 d -2)\Phi (p_2,p_3,p_4), \end{aligned}$$
(7.15)

which takes to generalized hypergeometric \(F_4\) solutions, functions of the ratios \(p_2^2/p_4^2\) and \(p_3^2/p_4^2\), as given in (2.32). The choice of the pivot (\(p_4\) in this case) is arbitrary.

By differentiating (7.14) with respect s and using (7.13), one finds another constraint. Similar constraints are obtained by repeating the procedure with respect to t and u. The resulting three equations obtained in this manner can be written in the form

$$\begin{aligned} \left[ s\frac{\partial ^2}{\partial \,s^2}+\,\frac{\partial }{\partial s}\right] \chi (s,t,u)&=0\nonumber \\ \left[ \,t\,\frac{\partial ^2}{\partial \,t^2}+\,\frac{\partial }{\partial t}\right] \chi (s,t,u)&=0\nonumber \\ \left[ u\frac{\partial ^2}{\partial u^2}+\frac{\partial }{\partial u}\right] \chi (s,t,u)&=0, \end{aligned}$$
(7.16)

giving the solution for \(\chi \) of the form

$$\begin{aligned} \chi (s,t,u)=c_1\log (s)+c_2\log (t)+c_3\log (u)+c_4, \end{aligned}$$
(7.17)

where \(c_1,\,c_2,\,c_3,\,c_4\) are undetermined constants. Imposing the dilatation WI on this solution we find some relations between the undetermined coefficients, with the solution rewritten in the form

$$\begin{aligned} \chi (s,t,u)=c_1\log \left( \frac{s}{t}\right) +c_2\log \left( \frac{u}{t}\right) +c_4. \end{aligned}$$
(7.18)

Finally, we also impose the symmetry constraint on the form factor A of the TOOO

$$\begin{aligned} A(p_2,p_4,p_3,s,u,t)=A(p_2,p_3,p_4,s,t,u) \end{aligned}$$
(7.19)

which implies that

$$\begin{aligned} \phi (p_2,p_3,p_4)\chi (s,t,u)=\phi (p_2,p_4,p_3)\chi (s,u,t), \end{aligned}$$
(7.20)

and recalling that the \(\phi (p_2,p_3,p_4)\) is symmetric under the permutation of \(\{p_2,p_3,p_4\}\), we obtain the condition \(\chi (s,t,u)=\chi (s,u,t)\) or

$$\begin{aligned} \big (2c_2+c_1\big )\log \left( \frac{u}{t}\right) =0. \end{aligned}$$
(7.21)

Therefore the \(\chi (s,t,u)\) function acquires the final form

$$\begin{aligned} \chi (s,t,u)=c_1\log \left( \frac{u\,t}{s^2}\right) +c_4. \end{aligned}$$
(7.22)

As we have seen from the last and the previous cursory analysis of such systems, it is possible to identify an approximate behaviour of such solutions, in one specific asymptotic limit in which the invariant s and t get large and of the same size.

In this approximate analysis the only exact statement that one can make is that Lauricella functions are indeed special solutions of such equations, and correspond to particular solutions of such inhomogeneous systems.

We have been careful to rewrite all the CWI’s for generic scalings \(\Delta _i\), in such as way that the left hand sides of these systems carry a close resemblance to those of 3-point functions, except for an extra term proportional to a double derivative in s and t, \(\sim 1/(s t)\partial ^2/(\partial s\partial t)\), which is new for 4-point functions and absent in 3-point functions.

As we have stressed in the previous sections in the case of dcc solutions, this term does preserve the hypergeometric structure of the corresponding equations, although such solutions have little in common with those derived for genuine 3-point functions, for being quartic -rather than quadratic - ratios of momenta.

The discovery of such solutions may not be accidental in the context of CFT’s, since in ordinary perturbation theory similar dependences have been uncovered in the analysis of ladder diagrams [46]. However, one can easily check, following the discussion in [9], that box-like master integrals with propagators raised to generic powers, cannot be special cases of such dcc solutions, except for the ordinary box diagram. On general grounds, one expects that the simplified CWI’s, which are found in the scalar case for the dcc solutions, are related to an underlying Yangian symmetry [47], which is manifesting here in a bosonic, non supersymmetric, context. In the TOOO such a symmetry, differently from the scalar case, is violated by the presence of a single stress–energy tensor. It could be restored in tensor correlators characterised by a single primary operator, such as the JJJJ or the TTTT. We plan to come back to a discussion of this point in the near future.

Comments and Conclusions

The investigation of the CWI’s of four point functions of a generic CFT in momentum space in \(d >2\) is a new challenging domain of research, with the possibility of establishing a direct connection with the analysis of scattering amplitudes in Lagrangian field theories. As in the case of lower point functions, one could envision several areas where such studies could find direct physical applications, from cosmology to condensed matter theory [48, 49], due to the interplay, in the latter case, of quantum anomalies in transport phenomena. These studies need to be accompanied by investigations of the operator product expansion in the same variables, in order to develop a bootstrap program, as in coordinate space.

Obviously, while in coordinate space the operatorial expansion is well-behaved at separate spacetime points, in momentum space we gather information on such operators from all the spacetime regions, including those in which the external coordinates of a correlator coalesce. This makes the analysis in momentum space more demanding, and we have to worry about anomalies and address the issue of how to regulate a given theory.

It is then natural to advance our knowledge in this area starting from the analysis of simpler correlation functions, the scalar and the tensor/scalar cases being the first on the list.

For this reason we have derived the CWI’s for the TOOO and discussed their relation to those obtained in the case of 4 scalars. In both cases we have discussed their expressions in various limits, showing the hypergeometric character of the asymptotic solutions, if certain constraints on the scaling dimensions are respected.

While, obviously, we do not expect that a given correlator can be uniquely identified by these equations, neverthless they constrain quite significantly the structure of the possible solutions.

As mentioned, in our analysis we have concentrated on the structure of the equations in several kinematical limits, in order to gather some information about the behaviour of the corresponding solutions. In such limits, the differential operators take a simplified but a still nontrivial form.

The comparison between the TOOO and scalar cases, allows to uncover some common features of the systems of equations that they need to satisfy. In this context, of particular significance are those solutions which are dual conformal and conformal at the same time (or dcc solutions), which take a unique expression. Several different ansätze take to the same hypergeometric form of such solutions, which are related by analytic continuations, and, as we have shown, turn useful for their study in specific kinematical limits. For such a reason they play a strategic role, since they can be used to investigate the behaviour of scalar 4-point functions in a rather direct way and allow to underscore some similarities between the CWI’s both in the tensor and in the scalar contexts.

Specific features of such dcc solutions, extracted in several asymptotic limits, are expected to provide some indication on the behaviour of the more general (and unknown) solutions of the equations satisfied by scalar operators – the OOOO for instance – for generic scaling dimensions of the primaries O. Both correlators are characterised by a single form factors, allowing particular solutions of Lauricella type. This suggests the presence of a more general underlying hypergeometric structure in such systems of equations. It could be of interest to investigate from a purely mathematical point of view the structure such equations in order to classify the structure of such solutions.

Our investigations can be extended in several directions, for instance to the study of the renormalization of the corresponding form factors, which requires a separate investigation, as in the case of 3-point functions [50]. There are also other and quite direct implications of our results and equations for the analysis of the decomposition of such correlators in terms of CP-symmetric (Polyakov) blocks. Indeed the CWI’s that we have derived can be applied to constrain the block decomposition [11]. We hope to address these issues in a future work.

Data Availability Statement

This manuscript has no associated data or the data will not be deposited. [Authors’ comment: This is a theoretical study and it does not contain experimental data.]

References

  1. 1.

    D. Poland, S. Rychkov, A. Vichi, (2018). arXiv:1805.04405

  2. 2.

    F.A. Dolan, H. Osborn, Nucl. Phys. B 599, 459 (2001). arXiv:hep-th/0011040

    ADS  Article  Google Scholar 

  3. 3.

    C. Corianò, L. Delle Rose, E. Mottola, M. Serino, JHEP 1307, 011 (2013). arXiv:1304.6944

    ADS  Article  Google Scholar 

  4. 4.

    A. Bzowski, P. McFadden, K. Skenderis, JHEP 03, 111 (2014). arXiv:1304.7760

    ADS  Article  Google Scholar 

  5. 5.

    A. Bzowski, P. McFadden, K. Skenderis, (2019). arXiv:1910.10162

  6. 6.

    A. Bzowski, P. McFadden, K. Skenderis, (2018). arXiv:1805.12100

  7. 7.

    C. Corianò, M.M. Maglio, Nucl. Phys. B 937, 56 (2018). arXiv:1808.10221

    ADS  Article  Google Scholar 

  8. 8.

    C. Corianò, M.M. Maglio, Nucl. Phys. B 938, 440 (2019). arXiv:1802.07675

    ADS  Article  Google Scholar 

  9. 9.

    C. Corianò, M.M. Maglio, JHEP 09, 107 (2019). arXiv:1903.05047

    ADS  Article  Google Scholar 

  10. 10.

    H. Isono, T. Noumi, T. Takeuchi, JHEP 05, 057 (2019). arXiv:1903.01110

    ADS  Article  Google Scholar 

  11. 11.

    H. Isono, T. Noumi, G. Shiu, JHEP 07, 136 (2018). arXiv:1805.11107

    ADS  Article  Google Scholar 

  12. 12.

    H. Isono, T. Noumi, G. Shiu, JHEP 10, 183 (2019). arXiv:1908.04572

    ADS  Article  Google Scholar 

  13. 13.

    H.-Y. Chen, H. Kyono, JHEP 10, 149 (2019). arXiv:1906.03135

    ADS  Article  Google Scholar 

  14. 14.

    M. Gillioz, (2019). arXiv:1909.00878

  15. 15.

    M. Gillioz, (2018). arXiv:1807.07003

  16. 16.

    M. Gillioz, X. Lu, M.A. Luty, JHEP 09, 025 (2018). arXiv:1801.05807

    ADS  Article  Google Scholar 

  17. 17.

    T. Bautista, H. Godazgar, (2019). arXiv:1908.04733

  18. 18.

    N. Anand, Z. U. Khandker, M.T. Walters, (2019). arXiv:1911.02573

  19. 19.

    S. Albayrak, S. Kharel, (2019). arXiv:1908.01835

  20. 20.

    N. Arkani-Hamed, D. Baumann, H. Lee, G.L. Pimentel, (2018). arXiv:1811.00024

  21. 21.

    D. Baumann, C.D. Pueyo, A. Joyce, H. Lee, G.L. Pimentel, (2019). arXiv:1910.14051

  22. 22.

    N. Arkani-Hamed, P. Benincasa, A. Postnikov, (2017). arXiv:1709.02813

  23. 23.

    P. Benincasa, (2019). arXiv:1909.02517

  24. 24.

    P. Benincasa, (2018). arXiv:1811.02515

  25. 25.

    N. Kundu, A. Shukla, S.P. Trivedi, JHEP 04, 061 (2015). arXiv:1410.2606

    ADS  Article  Google Scholar 

  26. 26.

    J.P.B. Almeida, J. Motoa-Manzano, C.A. Valenzuela-Toledo, JCAP 1711, 015 (2017). arXiv:1706.05099

    Article  Google Scholar 

  27. 27.

    J.P. BeltránAlmeida, J. Motoa-Manzano, C.A. Valenzuela-Toledo, JHEP 09, 118 (2019). arXiv:1905.00900

    ADS  Article  Google Scholar 

  28. 28.

    J. Penedones, JHEP 03, 025 (2011). arXiv:1011.1485

    ADS  MathSciNet  Article  Google Scholar 

  29. 29.

    A.L. Fitzpatrick, J. Kaplan, J. Penedones, S. Raju, B.C. van Rees, JHEP 11, 095 (2011). arXiv:1107.1499

    ADS  Article  Google Scholar 

  30. 30.

    R. Gopakumar, A. Kaviraj, K. Sen, A. Sinha, JHEP 05, 027 (2017). arXiv:1611.08407

    ADS  Article  Google Scholar 

  31. 31.

    R. Gopakumar, A. Kaviraj, K. Sen, A. Sinha, Phys. Rev. Lett. 118, 081601 (2017). arXiv:1609.00572

    ADS  MathSciNet  Article  Google Scholar 

  32. 32.

    C. Sleight, (2019). arXiv:1906.12302

  33. 33.

    C. Sleight, M. Taronna, (2019). arXiv:1907.01143

  34. 34.

    S. Ohya, Springer Proc. Math. Stat. 255, 271 (2017). arXiv:1801.02902

    Google Scholar 

  35. 35.

    C. Corianò, L. Delle Rose, E. Mottola, M. Serino, (2012). arXiv:1203.1339

  36. 36.

    H. Osborn, A.C. Petkou, Ann. Phys. 231, 311 (1994). arXiv:hep-th/9307010

    ADS  Article  Google Scholar 

  37. 37.

    J. Erdmenger, H. Osborn, Nucl. Phys. B 483, 431 (1997). arXiv:hep-th/0103237

    ADS  Article  Google Scholar 

  38. 38.

    M. Giannotti, E. Mottola, Phys. Rev. D 79, 045014 (2009). arXiv:0812.0351

    ADS  Article  Google Scholar 

  39. 39.

    R. Armillis, C. Corianò, L. Delle Rose, Phys. Rev. D 81, 085001 (2010). arXiv:0910.3381

    ADS  Article  Google Scholar 

  40. 40.

    C. Corianò, A. Costantini, L. DelleRose, M. Serino, JHEP 06, 136 (2014). arXiv:1402.6369

    ADS  Google Scholar 

  41. 41.

    C. Corianò, M.M. Maglio, Phys. Lett. B 781, 283 (2018). arXiv:1802.01501

    ADS  Article  Google Scholar 

  42. 42.

    A. Bzowski, P. McFadden, K. Skenderis, JHEP 02, 068 (2016). arXiv:1511.02357

    ADS  Article  Google Scholar 

  43. 43.

    G. Sterman, Acta Phys. Pol. B 45, 2205 (2014). arXiv:1412.5698

    ADS  MathSciNet  Article  Google Scholar 

  44. 44.

    R. Vidunas, J. Math. Anal. Appl. 355, 145 (2009)

    MathSciNet  Article  Google Scholar 

  45. 45.

    H. Cheng, E.-C. Tsai, X.-Q. Zhu, Phys. Rev. D 26, 922 (1982)

    ADS  Article  Google Scholar 

  46. 46.

    N.I. Usyukina, A.I. Davydychev, Phys. Lett. B 298, 363 (1993)

    ADS  Article  Google Scholar 

  47. 47.

    F. Loebbert, J. Phys. A 49, 323002 (2016). arXiv:1606.02947

    MathSciNet  Article  Google Scholar 

  48. 48.

    M.N. Chernodub, A. Cortijo, M.A.H. Vozmediano, (2017). arXiv:1712.05386

  49. 49.

    M.N. Chernodub, C. Corianò, M.M. Maglio, (2019). arXiv:1910.13727

  50. 50.

    A. Bzowski, P. McFadden, K. Skenderis, JHEP 03, 066 (2016). arXiv:1510.08442

    ADS  Article  Google Scholar 

Download references

Acknowledgements

C.C. thanks the Institute for Theoretical Physics at ETH Zurich, and in particular Babis Anastasiou and Vittorio Del Duca for hospitality. D.T. would like to thank Fotis Koutroulis and Konstantinos Rigatos for discussions. This work is partially supported by INFN of Italy, Iniziativa Specifica QFT-HEP.

Author information

Affiliations

Authors

Corresponding author

Correspondence to Dimosthenis Theofilopoulos.

Appendices

Appendix

We summarize some definitions and relations concerning the special functions and integrals introduced above. 3K integrals can be related to linear combinations of 4 hypergeometric functions

$$\begin{aligned}&\int _0^\infty d x \, x^{\alpha - 1} K_\lambda (a x) K_\mu (b x) K_\nu (c x) \nonumber \\&\quad =\frac{2^{\alpha - 4}}{c^\alpha } \bigg [ B(\lambda , \mu ) + B(\lambda , -\mu ) + B(-\lambda , \mu ) + B(-\lambda , -\mu ) \bigg ], \end{aligned}$$
(A.1)

where

$$\begin{aligned} B(\lambda , \mu )&= \left( \frac{a}{c} \right) ^\lambda \left( \frac{b}{c} \right) ^\mu \Gamma \left( \frac{\alpha + \lambda + \mu - \nu }{2} \right) \nonumber \\&\quad \times \Gamma \left( \frac{\alpha + \lambda + \mu + \nu }{2} \right) \Gamma (-\lambda ) \Gamma (-\mu ) \times \nonumber \\&\qquad \times F_4 \left( \frac{\alpha + \lambda + \mu - \nu }{2}, \frac{\alpha + \lambda + \mu + \nu }{2};\right. \nonumber \\&\qquad \left. \lambda + 1, \mu + 1; \frac{a^2}{c^2}, \frac{b^2}{c^2} \right) , \end{aligned}$$
(A.2)

valid for

$$\begin{aligned} \text {Re}\, \alpha> | \text {Re}\, \lambda | + | \text {Re}\,\mu | + | \text {Re}\,\nu |, \qquad \text {Re}\,(a + b + c) > 0 \end{aligned}$$

and the Bessel functions \(K_\nu \) satisfy the equations

$$\begin{aligned} \frac{\partial }{\partial p}\big [p^\beta \,K_\beta (p\,x)\big ]&=-x\,p^\beta \,K_{\beta -1}(p x)\nonumber \\ K_{\beta +1}(x)&=K_{\beta -1}(x)+\frac{2\beta }{x}K_{\beta }(x). \end{aligned}$$
(A.3)

Primary conformal ward identities in \(\bar{p}_1\)

Here we present the explicit expressions of the Primary Conformal Ward Identites in the case of \(\bar{p}_1\) dependency. The \(C_{ij}\) are given by

$$\begin{aligned} C_{11}&=\Bigg [K_2+\frac{p_3^2-p_4^2}{s\,t}\frac{\partial }{\partial s \partial t}-\frac{p_3^2-p_4^2}{s\,u}\frac{\partial }{\partial s \partial u}\nonumber \\&\quad +\frac{1}{t}\frac{\partial }{\partial t}\left( p_2\frac{\partial }{\partial p_2}+p_3\frac{\partial }{\partial p_3}-p_4\frac{\partial }{\partial p_4}\right) \nonumber \\&\quad +(d-\Delta )\left( \frac{1}{t}\frac{\partial }{\partial t}+\frac{1}{u}\frac{\partial }{\partial u}\right) \nonumber \\&\quad +\frac{1}{u}\frac{\partial }{\partial u}\left( p_2\frac{\partial }{\partial p_2}-p_3\frac{\partial }{\partial p_3}+p_4\frac{\partial }{\partial p_4}\right) \nonumber \\&\quad +\frac{2p_2^2+p_3^2+p_4^2-s^2-t^2-u^2}{t\,u}\frac{\partial }{\partial t\partial u}\Bigg ]\nonumber \\&\quad A(p_2,p_3,p_4,s,t,u)=0 \end{aligned}$$
(B.1)
$$\begin{aligned} C_{12}&=\Bigg [K_2+\frac{p_3^2-p_4^2}{s\,t}\frac{\partial }{\partial s \partial t}-\frac{p_3^2-p_4^2}{s\,u}\frac{\partial }{\partial s \partial u}\nonumber \\&\quad +\frac{1}{t}\frac{\partial }{\partial t}\left( p_2\frac{\partial }{\partial p_2}+p_3\frac{\partial }{\partial p_3}-p_4\frac{\partial }{\partial p_4}\right) \nonumber \\&\quad +(d-\Delta )\left( \frac{1}{t}\frac{\partial }{\partial t}+\frac{1}{u}\frac{\partial }{\partial u}\right) \nonumber \\&\quad +\frac{1}{u}\frac{\partial }{\partial u}\left( p_2\frac{\partial }{\partial p_2}-p_3\frac{\partial }{\partial p_3}+p_4\frac{\partial }{\partial p_4}\right) \nonumber \\&\quad +\frac{2p_2^2+p_3^2+p_4^2-s^2-t^2-u^2}{t\,u}\frac{\partial }{\partial t\partial u}\Bigg ]\nonumber \\&\quad A(p_3,p_2,p_4,u,t,s)\nonumber \\&\quad +\frac{2}{t}\frac{\partial }{\partial t}\bigg (A(p_2,p_3,p_4,s,t,u)+A(p_3,p_2,p_4,u,t,s)\bigg )\nonumber \\&\quad -\frac{2}{u}\frac{\partial }{\partial u}\bigg (A(p_2,p_3,p_4,s,t,u)+A(p_3,p_2,p_4,u,t,s)\bigg ) \end{aligned}$$
(B.2)
$$\begin{aligned} C_{13}&=\Bigg [K_2+\frac{p_3^2-p_4^2}{s\,t}\frac{\partial }{\partial s \partial t}-\frac{p_3^2-p_4^2}{s\,u}\frac{\partial }{\partial s \partial u}\nonumber \\&\quad +\frac{1}{t}\frac{\partial }{\partial t}\left( p_2\frac{\partial }{\partial p_2}+p_3\frac{\partial }{\partial p_3}-p_4\frac{\partial }{\partial p_4}\right) \nonumber \\&\quad +(d-\Delta )\left( \frac{1}{t}\frac{\partial }{\partial t}+\frac{1}{u}\frac{\partial }{\partial u}\right) \nonumber \\&\quad +\frac{1}{u}\frac{\partial }{\partial u}\left( p_2\frac{\partial }{\partial p_2}-p_3\frac{\partial }{\partial p_3}+p_4\frac{\partial }{\partial p_4}\right) \nonumber \\&\quad +\frac{2p_2^2+p_3^2+p_4^2-s^2-t^2-u^2}{t\,u}\frac{\partial }{\partial t\partial u}\Bigg ]\,A(p_4,p_3,p_2,t,s,u)\nonumber \\&\quad -\frac{2}{t}\frac{\partial }{\partial t}\bigg (A(p_2,p_3,p_4,s,t,u)+A(p_4,p_3,p_2,t,s,u)\bigg )\nonumber \\&\quad +\frac{2}{u}\frac{\partial }{\partial u}\bigg (A(p_2,p_3,p_4,s,t,u)+A(p_4,p_3,p_2,t,s,u)\bigg ) \end{aligned}$$
(B.3)

and

$$\begin{aligned} C_{21}&=\Bigg [K_3+\frac{p_2^2-p_4^2}{t\, u}\frac{\partial }{\partial t \partial u}-\frac{p_2^2-p_4^2}{s\,u}\frac{\partial }{\partial s \partial u}\nonumber \\&\quad +\frac{1}{t}\frac{\partial }{\partial t}\left( p_2\frac{\partial }{\partial p_2}+p_3\frac{\partial }{\partial p_3}-p_4\frac{\partial }{\partial p_4}\right) \nonumber \\&\quad +(d-\Delta )\left( \frac{1}{t}\frac{\partial }{\partial t}+\frac{1}{s}\frac{\partial }{\partial s}\right) \nonumber \\&\quad +\frac{1}{s}\frac{\partial }{\partial s}\left( p_3\frac{\partial }{\partial p_3}+p_4\frac{\partial }{\partial p_4}-p_2\frac{\partial }{\partial p_2}\right) \nonumber \\&\quad +\frac{2p_3^2+p_2^2+p_4^2-s^2-t^2-u^2}{s\,t}\frac{\partial }{\partial s\partial t}\Bigg ]\,A(p_2,p_3,p_4,s,t,u)\nonumber \\&\quad +\frac{2}{t}\frac{\partial }{\partial t}\bigg (A(p_2,p_3,p_4,s,t,u)+A(p_3,p_2,p_4,u,t,s)\bigg )\nonumber \\&\quad -\frac{2}{s}\frac{\partial }{\partial s}\bigg (A(p_2,p_3,p_4,s,t,u)+A(p_3,p_2,p_4,u,t,s)\bigg ) \end{aligned}$$
(B.4)
$$\begin{aligned} C_{22}&=\Bigg [K_3+\frac{p_2^2-p_4^2}{t\, u}\frac{\partial }{\partial t \partial u}-\frac{p_2^2-p_4^2}{s\,u}\frac{\partial }{\partial s \partial u}\nonumber \\&\quad +\frac{1}{t}\frac{\partial }{\partial t}\left( p_2\frac{\partial }{\partial p_2}+p_3\frac{\partial }{\partial p_3}-p_4\frac{\partial }{\partial p_4}\right) +(d-\Delta )\left( \frac{1}{t}\frac{\partial }{\partial t}+\frac{1}{s}\frac{\partial }{\partial s}\right) \nonumber \\&\quad +\frac{1}{s}\frac{\partial }{\partial s}\left( p_3\frac{\partial }{\partial p_3}+p_4\frac{\partial }{\partial p_4}-p_2\frac{\partial }{\partial p_2}\right) \nonumber \\&\quad +\frac{2p_3^2+p_2^2+p_4^2-s^2-t^2-u^2}{s\,t}\frac{\partial }{\partial s\partial t}\Bigg ]\,A(p_3,p_2,p_4,u,t,s) \end{aligned}$$
(B.5)
$$\begin{aligned} C_{23}&=\Bigg [K_3+\frac{p_2^2-p_4^2}{t\, u}\frac{\partial }{\partial t \partial u}-\frac{p_2^2-p_4^2}{s\,u}\frac{\partial }{\partial s \partial u}\nonumber \\&\quad +\frac{1}{t}\frac{\partial }{\partial t}\left( p_2\frac{\partial }{\partial p_2}+p_3\frac{\partial }{\partial p_3}-p_4\frac{\partial }{\partial p_4}\right) \nonumber \\&\quad +(d-\Delta )\left( \frac{1}{t}\frac{\partial }{\partial t}+\frac{1}{s}\frac{\partial }{\partial s}\right) \nonumber \\&\quad +\frac{1}{s}\frac{\partial }{\partial s}\left( p_3\frac{\partial }{\partial p_3}+p_4\frac{\partial }{\partial p_4}-p_2\frac{\partial }{\partial p_2}\right) \nonumber \\&\quad +\frac{2p_3^2+p_2^2+p_4^2-s^2-t^2-u^2}{s\,t}\frac{\partial }{\partial s\partial t}\Bigg ]\,A(p_4,p_3,p_2,t,s,u)\nonumber \\&\quad +\frac{2}{s}\frac{\partial }{\partial s}\bigg (A(p_4,p_3,p_2,t,s,u)+A(p_3,p_2,p_4,u,t,s)\bigg )\nonumber \\&\quad -\frac{2}{t}\frac{\partial }{\partial t}\bigg (A(p_4,p_3,p_2,t,s,u)+A(p_3,p_2,p_4,u,t,s)\bigg ) \end{aligned}$$
(B.6)

and finally

$$\begin{aligned} C_{31}&=\Bigg [K_4+\frac{p_2^2-p_3^2}{t\, u}\frac{\partial }{\partial t \partial u}-\frac{p_2^2-p_3^2}{s\,t}\frac{\partial }{\partial s \partial t}\nonumber \\&\quad +\frac{1}{u}\frac{\partial }{\partial u}\left( p_2\frac{\partial }{\partial p_2}-p_3\frac{\partial }{\partial p_3}+p_4\frac{\partial }{\partial p_4}\right) \nonumber \\&\quad +(d-\Delta )\left( \frac{1}{u}\frac{\partial }{\partial u}+\frac{1}{s}\frac{\partial }{\partial s}\right) \nonumber \\&\quad +\frac{1}{s}\frac{\partial }{\partial s}\left( p_3\frac{\partial }{\partial p_3}+p_4\frac{\partial }{\partial p_4}-p_2\frac{\partial }{\partial p_2}\right) \nonumber \\&\quad +\frac{2p_4^2+p_2^2+p_3^2-s^2-t^2-u^2}{s\,u}\frac{\partial }{\partial s\partial u}\Bigg ]\,A(p_2,p_3,p_4,s,t,u)\nonumber \\&\quad -\frac{2}{s}\frac{\partial }{\partial s}\bigg (A(p_2,p_3,p_4,s,t,u)+A(p_4,p_3,p_2,t,s,u)\bigg )\nonumber \\&\quad +\frac{2}{u}\frac{\partial }{\partial u}\bigg (A(p_2,p_3,p_4,s,t,u)+A(p_4,p_3,p_2,t,s,u)\bigg ) \end{aligned}$$
(B.7)
$$\begin{aligned} C_{32}&=\Bigg [K_4+\frac{p_2^2-p_3^2}{t\, u}\frac{\partial }{\partial t \partial u}-\frac{p_2^2-p_3^2}{s\,t}\frac{\partial }{\partial s \partial t}\nonumber \\&\quad +\frac{1}{u}\frac{\partial }{\partial u}\left( p_2\frac{\partial }{\partial p_2}-p_3\frac{\partial }{\partial p_3}+p_4\frac{\partial }{\partial p_4}\right) \nonumber \\&\quad +(d-\Delta )\left( \frac{1}{u}\frac{\partial }{\partial u}+\frac{1}{s}\frac{\partial }{\partial s}\right) \nonumber \\&\quad +\frac{1}{s}\frac{\partial }{\partial s}\left( p_3\frac{\partial }{\partial p_3}+p_4\frac{\partial }{\partial p_4}-p_2\frac{\partial }{\partial p_2}\right) \nonumber \\&\quad +\frac{2p_4^2+p_2^2+p_3^2-s^2-t^2-u^2}{s\,u}\frac{\partial }{\partial s\partial u}\Bigg ]\,A(p_3,p_2,p_4,u,t,s)\nonumber \\&\quad +\frac{2}{s}\frac{\partial }{\partial s}\bigg (A(p_3,p_2,p_4,u,t,s)+A(p_4,p_3,p_2,t,s,u)\bigg )\nonumber \\&\quad -\frac{2}{u}\frac{\partial }{\partial u}\bigg (A(p_3,p_2,p_4,u,t,s)+A(p_4,p_3,p_2,t,s,u)\bigg ) \end{aligned}$$
(B.8)
$$\begin{aligned} C_{33}&=\Bigg [K_4+\frac{p_2^2-p_3^2}{t\, u}\frac{\partial }{\partial t \partial u}-\frac{p_2^2-p_3^2}{s\,t}\frac{\partial }{\partial s \partial t}\nonumber \\&\quad +\frac{1}{u}\frac{\partial }{\partial u}\left( p_2\frac{\partial }{\partial p_2}-p_3\frac{\partial }{\partial p_3}+p_4\frac{\partial }{\partial p_4}\right) \nonumber \\&\quad +(d-\Delta )\left( \frac{1}{u}\frac{\partial }{\partial u}+\frac{1}{s}\frac{\partial }{\partial s}\right) \nonumber \\&\quad +\frac{1}{s}\frac{\partial }{\partial s}\left( p_3\frac{\partial }{\partial p_3}+p_4\frac{\partial }{\partial p_4}-p_2\frac{\partial }{\partial p_2}\right) \nonumber \\&\quad +\frac{2p_4^2+p_2^2+p_3^2-s^2-t^2-u^2}{s\,u}\frac{\partial }{\partial s\partial u}\Bigg ]\,A(p_4,p_3,p_2,t,s,u). \end{aligned}$$
(B.9)

Primary conformal ward identities in \(\bar{p}_4\)

We present the remaining Primary CWI’s of Sect. 5.5. We obtain

$$\begin{aligned} \tilde{C}_{12}&=\Bigg [\frac{\partial ^2}{\partial p_4^2}+\frac{d-2\Delta +1}{p_4}\frac{\partial }{\partial p_4}-\frac{\partial ^2}{\partial p_1^2}-\frac{1-d}{p_1}\frac{\partial }{\partial p_1}\nonumber \\&\quad +\frac{1}{s}\frac{\partial }{\partial s}\left( p_4\frac{\partial }{\partial p_4}+p_3\frac{\partial }{\partial p_3}-p_1\frac{\partial }{\partial p_1}-p_2\frac{\partial }{\partial p_2}\right) \nonumber \\&\quad +\frac{d-\Delta +2}{s}\frac{\partial }{\partial s} +\frac{p_3^2-p_2^2}{st}\frac{\partial ^2}{\partial s \partial t}\Bigg ]F(p_1,p_4,p_3,p_2,t,s), \end{aligned}$$
(C.1)
$$\begin{aligned} \tilde{C}_{13}&= \Bigg [\frac{\partial ^2}{\partial p_4^2}+\frac{d-2\Delta +1}{p_4}\frac{\partial }{\partial p_4}-\frac{\partial ^2}{\partial p_1^2}-\frac{1-d}{p_1}\frac{\partial }{\partial p_1}\nonumber \\&\quad +\frac{1}{s}\frac{\partial }{\partial s}\left( p_4\frac{\partial }{\partial p_4}+p_3\frac{\partial }{\partial p_3}-p_1\frac{\partial }{\partial p_1}-p_2\frac{\partial }{\partial p_2}\right) \nonumber \\&\quad +\frac{d-\Delta -2}{s}\frac{\partial }{\partial s} +\frac{p_3^2-p_2^2}{st}\frac{\partial ^2}{\partial s \partial t}\Bigg ]F(p_1,p_2,p_4,p_3,s,\tilde{u}), \end{aligned}$$
(C.2)
$$\begin{aligned} \tilde{C}_{22}&=\Bigg [\frac{\partial ^2 }{\partial p_4^2}+\frac{d-2\Delta +1}{p_4}\frac{\partial }{\partial p_4}-\frac{\partial ^2 }{\partial p_2^2}-\frac{d-2\Delta +1}{p_2}\frac{\partial }{\partial p_2}\nonumber \\&\quad +\frac{1}{s}\frac{\partial }{\partial s}\left( p_3\frac{\partial }{\partial p_3}+p_4\frac{\partial }{\partial p_4}-p_1\frac{\partial }{\partial p_1}-p_2\frac{\partial }{\partial p_2}\right) \nonumber \\&\quad +\frac{\Delta -d}{t}\frac{\partial }{\partial t}+\frac{d-\Delta +2}{s}\frac{\partial }{\partial s}+\frac{1}{t}\frac{\partial }{\partial t}\left( p_1 \frac{\partial }{\partial p_1}\right. \nonumber \\&\quad \left. +p_4\frac{\partial }{\partial p_4}-p_2\frac{\partial }{\partial p_2}-p_3\frac{\partial }{\partial p_3}\right) \nonumber \\&\quad +\frac{p_4^2-p_2^2}{st}\frac{\partial ^2}{\partial s \partial t}\Bigg ]F(p_1,p_4,p_3,p_2,t,s)\nonumber \\&\quad +\frac{2}{t}\frac{\partial F(p_1,p_2,p_4,p_3,s,\tilde{u})}{\partial t}-\frac{2}{t}\frac{\partial F(p_1,p_2,p_3,p_4,s,t)}{\partial t}, \end{aligned}$$
(C.3)
$$\begin{aligned} \tilde{C}_{23}&=\Bigg [\frac{\partial ^2 }{\partial p_4^2}+\frac{d-2\Delta +1}{p_4}\frac{\partial }{\partial p_4}-\frac{\partial ^2 }{\partial p_2^2}-\frac{d-2\Delta +1}{p_2}\frac{\partial }{\partial p_2}\nonumber \\&\quad +\frac{1}{s}\frac{\partial }{\partial s}\left( p_3\frac{\partial }{\partial p_3}+p_4\frac{\partial }{\partial p_4}-p_1\frac{\partial }{\partial p_1}-p_2\frac{\partial }{\partial p_2}\right) \nonumber \\&\quad + \frac{\Delta -d+2}{t}\frac{\partial }{\partial t}+\frac{d-\Delta -2}{s}\frac{\partial }{\partial s}\nonumber \\&\quad +\frac{1}{t}\frac{\partial }{\partial t}\left( p_1 \frac{\partial }{\partial p_1}+p_4\frac{\partial }{\partial p_4}-p_2\frac{\partial }{\partial p_2}-p_3\frac{\partial }{\partial p_3}\right) \nonumber \\&\quad +\frac{p_4^2-p_2^2}{st}\frac{\partial ^2}{\partial s \partial t}\Bigg ]F(p_1,p_2,p_4,p_3,s,\tilde{u}), \end{aligned}$$
(C.4)
$$\begin{aligned} \tilde{C}_{32}&=\Bigg [\frac{\partial ^2 }{\partial p_4^2}+\frac{d-2\Delta +1}{p_4}\frac{\partial }{\partial p_4}-\frac{\partial ^2 }{\partial p_3^2}-\frac{d-2\Delta +1}{p_3}\frac{\partial }{\partial p_3}\nonumber \\&\quad +\frac{p_1^2-p_2^2}{st}\frac{\partial ^2}{\partial s \partial t}+\frac{\Delta -d+2}{t}\frac{\partial }{\partial t}\nonumber \\&\quad +\frac{1}{t}\frac{\partial }{\partial t}\left( p_1\frac{\partial }{\partial p_1}+p_4\frac{\partial }{\partial p_4}-p_2\frac{\partial }{\partial p_2}-p_3\frac{\partial }{\partial p_3}\right) \Bigg ]\nonumber \\&\quad F(p_1,p_4,p_3,p_2,t,s), \end{aligned}$$
(C.5)
$$\begin{aligned} \tilde{C}_{33}&=\Bigg [\frac{\partial ^2 }{\partial p_4^2}+\frac{d-2\Delta +1}{p_4}\frac{\partial }{\partial p_4}-\frac{\partial ^2 }{\partial p_3^2}-\frac{d-2\Delta +1}{p_3}\frac{\partial }{\partial p_3}\nonumber \\&\quad +\frac{p_1^2-p_2^2}{st}\frac{\partial ^2}{\partial s \partial t}+\frac{\Delta -d}{t}\frac{\partial }{\partial t}\nonumber \\&\quad +\frac{1}{t}\frac{\partial }{\partial t}\left( p_1\frac{\partial }{\partial p_1}+p_4\frac{\partial }{\partial p_4}-p_2\frac{\partial }{\partial p_2}-p_3\frac{\partial }{\partial p_3}\right) -\frac{2}{s}\frac{\partial }{\partial s} \Bigg ]\nonumber \\&\quad F(p_1,p_2,p_4,p_3,t,\tilde{u})\nonumber \\&\quad +\frac{2}{s}\frac{\partial F(p_1,p_2,p_3,p_4,s,t)}{\partial s}-\frac{2}{s}\frac{\partial F(p_1,p_4,p_3,p_2,t,s)}{\partial s}\nonumber \\&\quad +\frac{2}{t}\frac{\partial F(p_1,p_4,p_3,p_2,t,s)}{\partial t}-\frac{2}{t}\frac{\partial F(p_1,p_2,p_3,p_4,s,t)}{\partial t}. \end{aligned}$$
(C.6)

Appendix

The hypergeometric system from (2.29)

Rewriting (2.29), with quadratic ratios \(x=q_1^2/q_3^2, y=q_2^2/q_3^2\) for the correlator \(\Phi (q_1,q_2,q_3)=\langle OOO\rangle \) with scaling dimensions \(\Delta _i=\Delta ,\, i=1,2,3\)

$$\begin{aligned} K_{13}\Phi =0\qquad K_{23}\Phi =0, \end{aligned}$$

one obtains the system of equations

$$\begin{aligned} {\left\{ \begin{array}{ll} \bigg [ x(1-x) \frac{\partial ^2}{\partial x^2} - y^2 \frac{\partial ^2}{\partial y^2} - 2 \, x \, y \frac{\partial ^2}{\partial x \partial y} + \left[ \gamma - (\alpha + \beta + 1) x \right] \frac{\partial }{\partial x} \\ \quad - (\alpha + \beta + 1) y \frac{\partial }{\partial y} - \alpha \, \beta \bigg ] \Phi (x,y) = 0 \,, \\ \bigg [ y(1-y) \frac{\partial ^2}{\partial y^2} - x^2 \frac{\partial ^2}{\partial x^2} - 2 \, x \, y \frac{\partial ^2}{\partial x \partial y} + \left[ \gamma ' - (\alpha + \beta + 1) y \right] \frac{\partial }{\partial y} \\ \quad - (\alpha + \beta + 1) x \frac{\partial }{\partial x} - \alpha \, \beta \bigg ] \Phi (x,y) = 0 \,, \end{array}\right. } \end{aligned}$$
(D.1)

with parameters \(\alpha (a,b),\beta (a,b),\gamma (a,b),\gamma '(a,b)\) given in (2.34) and (2.35), which are solved by ansatz of the form \(x^a y^b G(x,y)\). G is an Appell function of type \(F_4(\alpha ,\beta ,\gamma ,\gamma ',x,y)\), given in (2.26). Both in the case of quadratic or quartic (6.5) ratios, in the variables x and y, the structure of (D.1) is preserved, with appropriate values of the parameters \(\alpha (a,b),\beta (a,b),\gamma (a,b),\gamma '(a,b)\) and indices ab.

The Lauricella system and 4K

In the \(s,t \rightarrow \infty \) limit the equations for the \(K_{ij}\) operators, for arbitrary scalings \(\Delta _i\), can be organized in the form

$$\begin{aligned} K _{14}\phi =0,\qquad K _{24}\phi =0,\qquad K _{34}\phi =0 \end{aligned}$$
(D.2)

where

$$\begin{aligned} K _i&=\frac{\partial ^2}{\partial p_i^2}+\frac{(d-2\Delta _i+1)}{p_i}\frac{\partial }{\partial p_i},\qquad i=1,\dots ,4\ , \end{aligned}$$
(D.3)
$$\begin{aligned} K _{ij}&=K _i-K _j\ . \end{aligned}$$
(D.4)

One can choose an arbitrary momentum as pivot in the ansatz for the solution of such system, for instance \((x,y,z,p_4^2)\), where

$$\begin{aligned} x={\small \displaystyle \frac{p_1^2}{p_4^2}},\quad y={\small \displaystyle \frac{p_2^2}{p_4^2}},\quad z={\small \displaystyle \frac{p_3^2}{p_4^2}} \end{aligned}$$
(D.5)

are dimensionless quadratic ratios. The ansatz for the solution can be taken of the form

$$\begin{aligned} \phi (p_1,p_2,p_3,p_4)=(p_4^2)^{n_s}\,x^a\,y^b\,z^c\,F(x,y,z), \end{aligned}$$
(D.6)

satisfying the dilatation Ward identity with the condition

$$\begin{aligned} n_s=\frac{\Delta _t}{2}-\frac{3d}{2} \qquad \Delta _t=\sum _{i=1}^4 \Delta _i. \end{aligned}$$
(D.7)

With this ansatz the conformal Ward identities takes the form

$$\begin{aligned} K _{14}\phi =&4p_4^{\Delta _t-3d-2}\,x^a\,y^b\,z^c\, \bigg [(1-x)x{\small \displaystyle \frac{\partial ^2}{\partial x^2}}-2x\,y{\small \displaystyle \frac{\partial ^2}{\partial x\partial y}}\nonumber \\&-y^2{\small \displaystyle \frac{\partial ^2}{\partial y^2}}-2x\,z{\small \displaystyle \frac{\partial ^2}{\partial x\partial z}}-z^2{\small \displaystyle \frac{\partial ^2}{\partial z^2}}-2y\,z{\small \displaystyle \frac{\partial ^2}{\partial y\partial z}}\nonumber \\&+(Ax+\gamma ){\small \displaystyle \frac{\partial }{\partial x}}+Ay{\small \displaystyle \frac{\partial }{\partial y}}+Az{\small \displaystyle \frac{\partial }{\partial z}}+\left( E+{\small \displaystyle \frac{G}{x}}\right) \bigg ]\nonumber \\&\quad \times F(x,y,z)=0, \end{aligned}$$
(D.8)

with

$$\begin{aligned} A&=\Delta _1+\Delta _2+\Delta _3-{\small \displaystyle \frac{5}{2}}d-2(a+b+c)-1 \end{aligned}$$
(D.9a)
$$\begin{aligned} E&=-{\small \displaystyle \frac{1}{4}}\big (3d-\Delta _t+2(a+b+c)\big )\nonumber \\&\quad \big (2d+2\Delta _4-\Delta _t+2(a+b+c)\big ) \end{aligned}$$
(D.9b)
$$\begin{aligned} G&={\small \displaystyle \frac{a}{2}}\,\left( d-2\Delta _1+2a\right) \end{aligned}$$
(D.9c)
$$\begin{aligned} \gamma&={\small \displaystyle \frac{d}{2}}-\Delta _1+2a+1. \end{aligned}$$
(D.9d)

Similar constraints are obtained from the equations \(K _{24}\phi =0\) and \(K _{34}\phi =0\).

The reduction to the hypergeometric form requires that all the 1/x, 1/y and 1/z terms of the equations vanish. This implies that the Fuchsian points abc have values

$$\begin{aligned} a&=0,\,\Delta _1-{\small \displaystyle \frac{d}{2}} \nonumber \\ b&=0,\,\Delta _2-{\small \displaystyle \frac{d}{2}} \nonumber \\ c&=0,\,\Delta _3-{\small \displaystyle \frac{d}{2}} \end{aligned}$$
(D.10a)

and

$$\begin{aligned} \alpha (a,b,c)&=d+\Delta _4-{\small \displaystyle \frac{\Delta _t}{2}}+a+b+c\nonumber \\ \beta (a,b,c)&={\small \displaystyle \frac{3d}{2}}-{\small \displaystyle \frac{\Delta _t}{2}}+a+b+c \end{aligned}$$
(D.11)
$$\begin{aligned} \gamma (a)&=\frac{d}{2}-\Delta _1+2a+1\,,\nonumber \\&\qquad \gamma '(b)=\frac{d}{2}-\Delta _2+2b+1\,,\nonumber \\ \gamma ''(c)&=\frac{d}{2}-\Delta _3+2c+1. \end{aligned}$$
(D.12)

With this redefinition of the coefficients, the equations are then expressed in the form

$$\begin{aligned} \left\{ \begin{array}{ll}&x_j(1-x_j){\small \displaystyle \frac{\partial ^2F}{\partial x_j^2}}+ \sum \limits _{\begin{array}{c} s\ne j\ \text {for}\ r=j \end{array}} x_r\;\sum x_s {\small \displaystyle \frac{\partial ^2F}{\partial x_r\partial x_s}}\\ &{}+\left[ \gamma _j-(\alpha +\beta +1)x_j\right] {\small \displaystyle \frac{\partial F}{\partial x_j}}-(\alpha +\beta +1)\\ &{}\sum \limits _{k\ne j}\, x_k{\small \displaystyle \frac{\partial F}{\partial x_k}}-\alpha \,\beta \,F=0\\ &{} (j=1,2,3) \end{array}\right. \end{aligned}$$
(D.13)

where we have set \(\gamma _1=\gamma \), \(\ \gamma _2=\gamma '\) and \(\gamma _3=\gamma ''\) and \(x_1=x\), \(x_2=y\) and \(x_3=z\). The system of equations admits as solutions hypergeometric functions of three variables, the Lauricella functions, of the form

$$\begin{aligned}&F_C(\alpha ,\beta ,\gamma ,\gamma ',\gamma '',x,y,z)=\sum \limits _{m_1,m_2,m_3}^\infty \,\nonumber \\&\quad \times \frac{(\alpha )_{m_1+m_2+m_3}(\beta )_{m_1+m_2+m_3}}{(\gamma )_{m_1}(\gamma ')_{m_2} (\gamma '')_{m_3}m_1!\,m_2!\,m_3!}x^{m_1}y^{m_2}z^{m_3}. \end{aligned}$$
(D.14)

where the Pochhammer symbol \((\lambda )_{k}\) with an arbitrary \(\lambda \) and k a positive integer has been defined in (2.27). The convergence region of this series is defined by the condition

$$\begin{aligned} \left| \sqrt{x}\right| +\left| \sqrt{y}\right| +\left| \sqrt{z}\right| <1. \end{aligned}$$
(D.15)

The function \(F_C\) is the generalization of the Appell \(F_4\) for the case of three variables. The system of equations (D.13) admits 8 independent particular integrals (solutions) listed below. Finally, the solution for \(\phi \) can be written as

$$\begin{aligned}&\phi (p_i^2)=p_4^{\Delta _t-3d}\sum _{a,b} C_{i \,(a,b)}\ x^a y^b z^c\nonumber \\&\quad F_C(\alpha (a,b),\beta (a,b),\gamma (a,b),\gamma '(as,b),\gamma ''(a,b),x,y,z) \end{aligned}$$
(D.16)

where \(C_i\) are arbitrary constants. The sum runs over all the possible triple (abc) identified in (D.10). Introducing the 4K integral

$$\begin{aligned}&I_{\alpha \{\beta _1,\beta _2,\beta _3,\beta _4\}}(p_1,p_2,p_3,p_4)\nonumber \\&\quad =\int _0^\infty \,dx\,x^\alpha \, \prod _{i=1}^4(p_i)^{\beta _i}\,K_{\beta _i}(p_i\,x), \end{aligned}$$
(D.17)

the same solution can be re-expressed in the form

$$\begin{aligned}&\phi (p_1,p_2,p_3,p_4)\nonumber \\&\quad =C\, I_{d-1\left\{ \Delta _1-\frac{d}{2},\Delta _2-\frac{d}{2}, \Delta _3-\frac{d}{2},\Delta _4-\frac{d}{2}\right\} }(p_1,p_2,p_3,p_4)\nonumber \\&\quad =\int _0^\infty \,dx\,x^{d-1}\,\prod _{i=1}^4(p_i)^{\Delta _i-\frac{d}{2}}\, K_{\Delta _i-\frac{d}{2}}(p_i\,x), \end{aligned}$$
(D.18)

where C is a undetermined constant.

Appendix

DCC solutions

Dual conformal/conformal correlators, in the case of scalar 4-point functions \((\Phi )\), are defined by the condition that if we redefine in momentum space the momentum dependence in the form

$$\begin{aligned} p_1=y_{12}\qquad p_2=y_{23} \qquad p_{3}=y_{34} \qquad p_4=y_{41}, \end{aligned}$$
(E.1)

in the dual variable \(y_i\) (i=1,2,3,4), with \(\Phi (p_i)\rightarrow \Phi (y_i)\), such correlators satisfy the same CWI’s as usually defined in the ordinary variables \(x_i\). This condition obviously constrains the expression of the correlator to take the form (for equal scalings \(\Delta \))

$$\begin{aligned} \Phi (y_i)=\frac{1}{y_{12}^{2\Delta } y_{34}^{2 \Delta }}h(u(y_i),v(y_i)), \end{aligned}$$
(E.2)

where the two conformal invariant ratios are given by

$$\begin{aligned} u(y_i)=\frac{y_{12}^2 y_{34}^2}{y_{13}^2 y_{2 4}^2}\qquad v(y_i)=\frac{y_{23}^2 y_{41}^2}{y_{13}^2 y_{2 4}^2}, \end{aligned}$$
(E.3)

giving the quartic ratios defined in (6.5)

$$\begin{aligned} x=\frac{p_1^2 p_3^2}{s^2 t^2}\qquad y=\frac{p_2^2 p_4^2}{s^2 t^2}. \end{aligned}$$
(E.4)

using the mapping (E.1). At this stage, one can introduce a dual conformal ansatz in terms of x and y based on (E.2), and impose the condition that (E.2) is a solution of the ordinary CWI’s in momentum space. These (dcc) conditions take to an hypergeometric solution of the form (6.16) or, equivalently, to (6.12).

Rights and permissions

Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.

Funded by SCOAP3

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Corianò, C., Maglio, M.M. & Theofilopoulos, D. Four-point functions in momentum space: conformal ward identities in the scalar/tensor case. Eur. Phys. J. C 80, 540 (2020). https://doi.org/10.1140/epjc/s10052-020-8089-1

Download citation