The BF model is a topological field theory, which when quantized, becomes a topological quantum field theory.

We have a 4-dimensional differentiable manifold M, a gauge group G, which has as "dynamical" fields a two-form B taking values in the adjoint representation of G, and a connection form A for G.

The action

where K is an invariant nondegenerate bilinear form over (if G is semisimple, the Killing form will do) and F is the curvature form

This action is diffeomorphically invariant and gauge invariant. Its Euler-Lagrange equations are

(no curvature)

and

(the covariant exterior derivative of B is zero)

Actually, we can always gauge away any local degrees of freedom, which means this model has no local degrees of freedom. That's why it's called a topological field theory.

However, if M is topologically nontrivial, A and B can have nontrivial solutions globally.