The BF model or BF theory is a topological field, which when quantized, becomes a topological quantum field theory. BF stands for background field B and F, as can be seen below, are also the variables appearing in the Lagrangian of the theory, which is helpful as a mnemonic device.
In fact, it is always possible to gauge away any local degrees of freedom, which is why it is called a topological field theory.
However, if M is topologically nontrivial, A and B can have nontrivial solutions globally.
In fact, BF theory can be used to formulate discrete gauge theory. One can add additional twist terms allowed by group cohomology theory such as Dijkgraaf–Witten topological gauge theory.[1] There are many kinds of modified BF theories as topological field theories, which give rise to link invariants in 3 dimensions, 4 dimensions, and other general dimensions.[2]