Another intertwiner between and

One intertwiner between and is already provided by Eq. (11), but it is nonlocal (because each contains one integration). Motivated by the results of Integration, we will now construct another intertwiner, a local one.

Let us assume that elements of subspace are all in involution, i.e. . In this case:

(16)

We denote the following operation:

(17)

This operation has the following property:

(18)

The action of on the left hand side is only on (it does not touch the -ghosts)