6 Computation of higher-order deformations

With the first-order deformation at hand, in the sequel we determine the higher-order deformations of the solution to the master equation, governed by equations (59)-(61), etc., which comply with our working hypotheses.

In the first step we approach the second-order deformation, , as (nontrivial) solution to equation (59). If we denote by the nonintegrated density of the antibracket and by the nonintegrated density associated with ,

then equation (59) takes the local form

with a local current. By direct computation it follows that decomposes as

where involves only BRST generators from the BF sector and each term from depends simultaneously on the BRST generators of both sectors (BF and mixed symmetry ), such that couples the two theories. Consequently, decomposition (125) induces a similar one at the level of the second-order deformation

and equation (124) becomes equivalent to two equations, one for the BF sector and the other for the interacting sector

Equation (127) has been completely solved in [32], where it was shown that it possesses only the trivial solution

and, in addition, the seven functions and that parameterize are subject to the following equations:

Now, we investigate the latter equation, (128). By direct computation can be brought to the form

where is a local current and

In we used the notations

and the polynomials are listed in Appendix E (see formulas (264)-(275)). It can be shown that (137) cannot be written as a -exact modulo element from local functions and therefore it must vanish

which further restricts the functions and constants that parameterize the first-order deformation to obey the supplementary equations

As a consequence, the consistency of the first-order deformation at order two in the coupling constant (the existence of local solutions to equation ( 59)) on the one hand restricts the functions and constants that parameterize to fulfill equations (130)-(135) and ( 141)-(142) and, on the other hand, enables us (via formulas ( 123), (126), (128), (129), (136 ), and (140)) to infer the second-order deformation as

In the second step we solve the equation that governs the third-order deformation, namely, (60). If we make the notations

then equation (60) takes the local form

with a local current. By direct computation we obtain

where is a local current and the functions appearing in the right-hand side of (146) are listed in Appendix E (see formulas (276)-(284)). Taking into account the result that the functions and constants that parameterize both the first- and second-order deformations satisfy equations (130)-( 135) and (141)-(142) and comparing (146) with equation (145), it results that the third-order deformation can be chosen to be completely trivial

Related to the equation that governs the fourth-order deformation, namely, ( 61), we have that

From (148) and (61) we find that is completely trivial

Along a similar line, it can be shown that all the remaining higher-order deformations () can be taken to vanish

The main conclusion of this section is that the deformed solution to the master equation for the model under study, which is consistent to all orders in the coupling constant, can be taken as

where reads as in (53), is given in (121) with of the form (122), and is expressed by (143). It represents the most general solution that complies with all our working hypotheses (see the discussion from the beginning of section 4). We cannot stress enough that the (seven) functions and (two) constants that parameterize the fully deformed solution to the master equation are no longer independent. They must obey equations ( 130)-(135) and (141)-(142).

2018-03-26