We define a four-dimensional spin-foam perturbation theory for the BF-theory with a B∧B potential term defined for a compact semi-simple
Lie group G on a compact orientable 4-manifold M. This is done by using the
formal spin foam perturbative series coming from the spin-foam generating
functional. We then regularize the terms in the perturbative series by passing
to the category of representations of the quantum group Uq(g)
where g is the Lie algebra of G and q is a root of unity. The
Chain-Mail formalism can be used to calculate the perturbative terms when the
vector space of intertwiners Λ⊗Λ→A, where A is the
adjoint representation of g, is 1-dimensional for each irrep
Λ. We calculate the partition function Z in the dilute-gas limit for
a special class of triangulations of restricted local complexity, which we
conjecture to exist on any 4-manifold M. We prove that the first-order
perturbative contribution vanishes for finite triangulations, so that we define
a dilute-gas limit by using the second-order contribution. We show that Z is
an analytic continuation of the Crane-Yetter partition function. Furthermore,
we relate Z to the partition function for the F∧F theory