Field (and ghost) valued differential forms

[ajb]

I know there are a few competent users of quantum field theory here.

 

Do (functional) differential forms taking there values in fields (and possibly ghosts) play an important role in quantum field theory? (I have seen such things when discussing BRST and anomalies, but I was wondering if they come up more generally.)

 

I ask as I have some nice constructions (admittedly finite dim, but by using local coordinates the extension to infinite dim should be ok). In a real sense they generalise what is known about function(al)s in the (classical) BV formalism. This is all "work in progress".

 

Thanks.