5 Computation of first-order deformation

In the case the nonintegrated density of the first-order deformation (see (64)) becomes

We can further decompose in a natural manner as a sum between two kinds of deformations

where contains only fields/ghosts/antifields from the BF sector and describes the cross-interactions between the two theories.

Due to the fact that and involve different types of fields and that separately satisfies an equation of the type (62), it follows that is subject to the equation

for some local current . In the sequel we determine the general solution to (88) that complies with all the hypotheses mentioned in the beginning of section 4.

In agreement with (86), the general solution to the equation can be chosen to stop at antighost number

We will show in Appendixes A, B and C that we can always take into decomposition (89), without loss of nontrivial contributions. Consequently, the first-order deformation of the solution to the master equation in the interacting case can be taken to stop at antighost number two

where the components on the right-hand side of (90) are subject to equations (68) and (66)-(67) for .

The piece
as solution to equation (68) for has the general form expressed by (75) for , with
from
. Looking at formula (76)
and also at relation (81) in antighost number two and requiring
that
mixes BRST generators from the BF and
sectors, we get that the most general solution to (68) for
reads as^{7}

where all quantities denoted by or are some real, arbitrary constants.

In the above and from now on we will use a compact writing in terms of the Hodge duals

Consequently , and are the Hodge duals of , , and respectively .

Substituting (91) in (66) for and using definitions (
35)-(52), we determine the solution
under the form

where is the Hodge dual of defined in (3) with respect to its first three indices

In the last formulas is the dual of the three-form from action (1), and represent the duals of the antifields and respectively from (28).

In the above is the solution to the homogeneous equation (68) in antighost number one, meaning that is a nontrivial object from in pure ghost number one and in antighost number one. It is useful to decompose like in (208)

with the solution to (68) for that ensures the consistency of in antighost number zero, namely the existence of as solution to (67) for with respect to the terms from containing the constants of the type or , and the solution to (68) for that is independently consistent in antighost number zero

With the help of definitions (35)-(52) and taking into account decomposition (208), we infer by direct computation

where

and are some local currents. In the above and represent the Hodge duals of the one-form and respectively of the two-form from (2) and is nothing but the Hodge dual of the tensor defined in (72) with respect to its first three indices, namely

Inspecting (97), we observe that equation (67) for possesses solutions if and only if expressed by (99) is -exact modulo . A straightforward analysis of shows that this is not possible unless

Now, we insert conditions (101) in (91) and identify the most general form of the first-order deformation in the interacting sector at antighost number two

The same conditions replaced in (97) enable us to write

Introducing (103) in (95) and then the resulting result together with (101) in (93), we obtain

Next, we determine
as the solution to the
homogeneous equation (68) for that is independently consistent
in antighost number zero, i.e. satisfies equation (96). According to
(75) for the general solution to equation (68) for
has the form

where all the quantities denoted by , , , , or are bosonic, gauge-invariant tensors, and therefore they may depend only on given in (70) and their spacetime derivatives. The functions and exhibit the mixed symmetry with respect to their lower indices and, in addition, is completely antisymmetric with respect to its upper indices. The remaining functions, , , , and , are separately antisymmetric (where appropriate) in their upper and respectively lower indices.

In order to determine all possible solutions (105) we demand that mixes the BF and sectors and (for the first time) explicitly implement the assumption on the derivative order of the interacting Lagrangian discussed in the beginning of section 4 and structured in requirements i) and ii). Because all the terms involving the functions or contain only BRST generators from the BF sector, it follows that each such function must contain at least one tensor defined in (72), with as in (3). The corresponding terms from , if consistent, would produce an interacting Lagrangian that does not agree with requirement ii) with respect to the BF fields and therefore we must take

In the meantime, requirement ii) also restricts all the functions and to be derivative-free. Since the undifferentiated scalar field is the only element among and their spacetime derivatives that contains no derivatives, it follows that all and may depend at most on . Due to the fact that we work in and taking into account the various antisymmetry properties of these functions, it follows that the only eligible representations are

with , , and some real, smooth functions of . The same observation stands for and , so their tensorial behaviour can only be realized via some constant Lorentz tensors. Nevertheless, there is no such constant tensor in with the required mixed symmetry properties, and hence we must put

Inserting results (106)-(109) in (105), it follows that the most general (nontrivial) solution to equation (68) for that complies with all the working hypotheses, including that on the differential order of the interacting Lagrangian, is given by

By acting with on (110) and using definitions (35
)-(52) we infer

Comparing (111) with (96), we conclude that function reduces to a real constant and meanwhile functions and must vanish

so (110) becomes

wich produces trivial deformations because it is a trivial element from

and by further taking

As a consequence, we can safely take the nontrivial part of the first-order deformation in the interaction sector in antighost number one, (104 ), of the form

In addition, (115) leads to

in (96). Replacing now (101) and (117) in (97), we are able to identify the piece of antighost number zero from the first-order deformation in the interacting sector as

where is the solution to the `homogeneous' equation in antighost number zero

We will prove in Appendix D that the only solution to (119) that satisfies all our working hypotheses, including that on the derivative order of the interacting Lagrangian, is , such that the nontrivial part of the first-order deformation in the interaction sector in antighost number zero reads as

The main conclusion of this section is that the general form of the first-order deformation of the solution to the master equation as solution to (58) for the model under study is expressed by

where can be found in [32] and

It is now clear that the first-order deformation is parameterized by seven arbitrary, smooth functions of the undifferentiated scalar field ( and corresponding to and by two arbitrary, real constants ( and from ). We will see in the next section that the consistency of the deformed solution to the master equation in order two in the coupling constant will restrict these functions and constants to satisfy some specific equations.

2018-03-26