text:
# 1 Introduction

## 1 Introduction

The prototype of the state sum models was the Ponzano-Regge (PR) model of three-dimensional Euclidian quantum general relativity . The idea was to construct a theory of quantum gravity by using the simplical decomposition of the space-time manifold and group theory. The PR state sum was a sum of amplitudes for all possible colorings of the edges of a given triangulation with the irreducible representations (irreps) of $`SU(2)`$. This sum was divergent, so that a simple, but topologically non-invariant cut-off procedure was used to regularize it. Twenty years later, Turaev and Viro discovered a topologically invariant way to regularize the PR state sum, by using the quantum $`SU(2)`$ group . Their motivation was not quantum gravity, but they wanted to find new three-manifold invariants.

Since the Turaeev-Viro (TV) state sum gave new three-manifold invariants, it was natural to generalize the TV construction to four-manifolds, which was done by Crane and Yetter . Unfortunately, the Crane-Yetter (CY) state sum does not yield new manifold invariants. However, by modifying the CY state sum model, Barrett and Crane have obtained a non-topological model which describes a theory of four-dimensional quantum gravity . This is an interesting model since there are indications that it could have the general relativity as a part of its classical limit . Moreover, it has been proven that a slightly modified BC model , has finite amplitudes for regular triangulations .

On the other hand, the work on the canonical quantization of the connection formulation of general relativity, for a review and references see , has revealed the importance of the spin networks for quantum gravity. It was also realized that the spin networks are closely related to the spin foams , while the spin foams are the basic objects of the quantum gravity state-sum models .

The third important development was a realization that the spin-foam state sum models for Lie groups are the Feynman diagrams for a partition function of a field theory defined over the group . Since the usual perturbative quantum field theories (QFT) have an operator formulation , it was not difficult to construct the states and the operators which give the transition amplitudes corresponding to the spin-foam amplitudes for the manifolds with boundaries . These boundary states correspond to the boundary spin networks induced by the space-time spin foam, and it was shown in  that including the open-ended spin nets was equivalent to introducing matter field operators. In this way one obtains a generalization of the spin-foam, which we call a matter spin-foam.

In this paper we give a more general description of the results obtained in . We show that these results can be understood in a simple way from a category theory perspective, and therefore they can be generalized to the case of tensor categories associated to quantum groups, or to other tensor categories.

## 2 Spin network amplitudes

Let $`\mathrm{\Gamma }`$ be an oriented graph with a finite set of vertices $`V`$ and a finite set of edges $`E`$. We can label each edge $`eE`$ with an irreducible representation (irrep) $`\mathrm{\Lambda }`$ of a Lie algebra $`𝐠`$, and each vertex $`vV`$ with an intertwiner operator $`i_v`$ corresponding to the irreps of the edges which terminate or start from $`v`$. Such a graph is called a spin network, or a spin net for a short.

In order to be able to make generalizations, for example to the case of a Hopf algebra $`U_q(𝐠)`$, one can give a more general definition of a spin net. It is a diagram representing a composition of the morphisms from a tensor category, where the lines represent simple objects from the category. In the case of the Lie algebra $`𝐠`$, the relevant category is the category of representations of $`𝐠`$, $`Cat(𝐠)`$, or an appropriate tensor sub-category. This interpretation then allows us to associate a set of complex numbers to a spin net, which we will call a spin net amplitude, simply by evaluating the components of this morphism in the bases $`\{e_\alpha \}`$ for the vector spaces $`\mathrm{\Lambda }`$ associated to the edges of $`\mathrm{\Gamma }`$. In this way we obtain

$$A_\beta \mathrm{}^\alpha \mathrm{}(\mathrm{\Gamma },\mathrm{\Lambda },i)=\underset{\mathrm{}}{}C_{\mathrm{}}^{\mathrm{}(i_1)}\mathrm{}C_{\mathrm{}\mathrm{}..}^{\mathrm{}\alpha \mathrm{}(i_k)}\mathrm{}C_\mathrm{}\beta \mathrm{}^{\mathrm{}\mathrm{}.(i_l)}\mathrm{}C_{\mathrm{}}^{\mathrm{}(i_V)},$$
(1)
where $`\mathrm{\Lambda }=\{\mathrm{\Lambda }_1,\mathrm{},\mathrm{\Lambda }_E\}`$ is the set of irreps of $`𝐠`$ labeling the edges of $`\mathrm{\Gamma }`$ and $`i=\{i_1,\mathrm{}.,i_V\}`$ is the set of intertwiners associated to the vertices of $`\mathrm{\Gamma }`$. The sum in (1) is over the representation indices of the internal edges, while $`\alpha ,\mathrm{}`$ and $`\beta ,\mathrm{}`$ are the representation indices of the external edges. The numbers $`C_{\mathrm{}}^{\mathrm{}(i_v)}`$ are the components of the intertwiner at the vertex $`v`$. The up indices represent the domain of a morphism, and the down indices represent the image of the morphism. One can lower the up indices with the morphism $`C_{\alpha \beta }`$, which maps $`\mathrm{\Lambda }^{}`$ (dual of $`\mathrm{\Lambda }`$) to $`\mathrm{\Lambda }`$ ($`e_\alpha =C_{\alpha \beta }e^\beta `$), or rise the lower indices with the morphism $`C^{\alpha \beta }`$, which maps $`\mathrm{\Lambda }`$ to $`\mathrm{\Lambda }^{}`$ ($`e^\alpha =C^{\alpha \beta }e_\beta `$). This means that all the internal indices are contracted (for each down index there is an identical up index).

In order to evaluate (1), it is sufficient to now the three-vertex amplitude, or the Clebsh-Gordan coefficients $`C_\alpha ^{\beta \gamma (i_3)}`$. The higher-vertex amplitudes $`C_{\mathrm{}}^{\mathrm{}(i_n)}`$, where $`n>3`$, are determined by the minimal three-valent spin net with $`n`$ external edges.

One can also give a slightly more general definition of the spin net, by inserting in the edges non-trivial endomorphisms of the corresponding simple objects. This type of spin nets is obtained as a basis of square-integrable invariant functions on $`G^E`$, where $`G`$ is a Lie group whose Lie algebra is $`𝐠`$ . In this case the edge endomorphism is given by the representation matrix $`D_\alpha ^\beta (g)`$ of a group element $`g`$. Then the spin-net amplitude (1) is simply the value of the spin-net function at the point $`g_1=\mathrm{}=g_E=e`$ where $`e`$ is the group identity element, or a normalized integral of the spin-net function over $`G^E`$. This can be generalized to the case of quantum groups . However, the simpler Lie algebra approach will be sufficient for our purposes. Still, it will be useful to be aware of the functions on the group approach in order to understand some of our constructions.

In the case of the quantum group, we use the category of representations of the Hopf algebra $`U_q(𝐠)`$, so that the formula for the spin-net amplitude will be again (1), but now the intertwiner coefficients will be determined by the Clebsh-Gordan coefficients for the quantum group.

Hence the amplitude for an open spin net is not an invariant, but it is a tensorial quantity. The case of a closed spin net graph can be understood as a composition of morphisms between the trivial one-dimensional irreps. In this case one obtains an invariant.

The expression (1) will be always finite in the case of the category of finite-dimensional irreps. In the case of infinite-dimensional irreps, one may have to do some modifications to make it finite. The simplest modification is to use an edge endomorphism $`c_\alpha \delta _\beta ^\alpha `$. For example, the Feynman diagrams of relativistic particle quantum field theories , are the spin net amplitudes for the category of unitary representations of the Poincare group $`ISO(3,1)`$. These irreps are infinte-dimensional, and the edge endomorphism is given by the Feynman propagtor.

In the case of the BC state-sum models, a different type of modification occurs . Since one can think of a spin net as an invariant function on $`G`$, one can also consider invariant functions on the coset space $`G/H`$, where $`H`$ is a subgroup of $`G`$ . Consequently one obtains spin nets where the edges are labelled only by the simple irreps $`N`$, i.e. the irreps which have an invariant vector under $`H`$. Hence the corresponding spin-net amplitudes can be expressed as multiple integrals of a propagator

$$K_N(x,y)=P_0D^{(N)}(g_x^1g_y)P_0,$$
(2)
where $`x`$ and $`y`$ are the points in the coset space $`G/H`$, which label the vertices of the spin net graph, and $`P_0`$ is a projector from a simple irrep $`N`$ onto a trivial irrep of $`H`$.

For the BC model, one has $`G=SO(4)`$ in the Euclidian gravity case, or $`G=SO(3,1)`$ in the Lorentzian gravity case, and $`H=SO(3)`$. In the Lorentzian case, the unitary irreps of $`SL(2,C)`$ are used, which are infinite-dimensional. The Lorentzian spin net amplitudes require a trivial regulator which is a delta-function of one of the coset-space coordinates .

The coset space construction can be generalized to the case of open spin nets . Let $`\mathrm{\Lambda }`$ be an irrep of $`G`$ which contains a finite-dimensional irrep $`\tau `$ of $`H`$. Then one can define a matrix function $`K_{\mathrm{\Lambda },\tau }(x,y)End(\tau ,\tau )`$ on the coset space $`G/H`$ . Let $`\mathrm{\Gamma }`$ be a spin net graph labelled with the irreps $`\tau `$ and the corresponding intertwiners $`i`$. One can label each vertex of $`\mathrm{\Gamma }`$ with points from $`G/H`$, and associate to each internal edge a propagator $`K_{\mathrm{\Lambda },\tau }(x_j,x_k)`$. Then a spin-net amplitude is given by

$$A(\mathrm{\Gamma },\mathrm{\Lambda },\tau ,i)=\underset{vV}{}dx_v\underset{vV}{}C_{\mathrm{}}^{\mathrm{}(i_v)}\underset{eE_{int}}{}K_{\mathrm{\Lambda }_e,\tau _e}(x_{v_1(e)},x_{v_2(e)}),$$
(3)
where $`E_{int}`$ is the set of internal edges of $`\mathrm{\Gamma }`$.

## 3 Spin foam amplitudes

The state sum models which had been used for constructing $`d`$-dimensional quantum gravity and topological models were based on a two-complex $`J=(V,E,F)`$, consisting of a finite number of vertices $`vV`$, edges $`eE`$ and faces $`fF`$ . The two complex $`J`$ can be based on an arbitrary graph $`(E,V)`$, but it is usually taken to be the dual two-skeleton of a triangulation of the spacetime manifold $`M`$. One then labels the faces of $`J`$ with the irreps of $`G`$, or with the irreps of the $`q`$-deformed $`G_q`$, while the edges of $`J`$ will be labelled with the interwiners for the irreps of the faces that meet at a given edge. One can regard this object as a generalization of the spin net, where the one-complex $`\mathrm{\Gamma }=(V,E)`$ is replaced by a set $`(E,F)`$ from the two complex $`J`$, so that $`J`$ is called a spin foam .

An amplitude for a spin foam can be written as

$$A(J)=\underset{\mathrm{\Lambda },i}{}\underset{fF}{}A_2(\mathrm{\Lambda }_f)\underset{eE}{}A_1(\mathrm{\Lambda }_{f_1(e)}\mathrm{}\mathrm{\Lambda }_{f_d(e)})\underset{vV}{}A_0(\mathrm{\Lambda }_{f_1(v)}\mathrm{}\mathrm{\Lambda }_{f_l(v)}),$$
(4)
where the sum is over the labelling set of the irreps and the intertwiners. $`A_2`$ is the amplitude for a face, and $`A_2`$ depends on the irrep of that face. $`A_1`$ is the amplitude for an edge, and $`A_1`$ depends on the irreps of the faces which share that edge. $`A_0`$ is the amplitude for a vertex of the two complex $`J`$, and $`A_0`$ depends on the irreps of the faces which intersect at that vertex.

One can choose the amplitudes $`A_{0,1,2}`$ to be the amplitudes for the spin nets one can associate to the faces, edges and the vertices of $`J`$. A simple way to do this is to replace each edge in the graph $`(V,E)`$ by a bundle of $`d`$ parallel lines, and then to connect at each vertex of $`J`$ the $`d+1`$ bundles of lines into a one-skeleton graph of a $`d`$-simplex. In this way, each face of $`J`$ will correspond to a closed smooth loop of the ”bundle” graph. Hence we can associate to each line in the ”bundle” graph an irrep $`\mathrm{\Lambda }`$. Therefore $`A_2`$ will be the amplitude for the single loop spin net, which is $`dim\mathrm{\Lambda }`$ for the finite irreps of $`G`$, or $`dim_q\mathrm{\Lambda }`$ for the irreps of $`G_q`$. $`A_0`$ will be the amplitude for the $`d`$-simplex spin net, which will also depend on $`d`$ intertwiners. For the edge amplitude there is some freedom, i.e. it could be one, or a given function of $`\mathrm{\Lambda }_1,\mathrm{},\mathrm{\Lambda }_d`$.

In analogy to the spin net case, one can think of a $`d`$-dimensional spin foam as a composition of morphisms in a category where the intertwiner morphisms $`i_d`$ from $`Cat(𝐠)`$ belong to the set of objects. Hence a spin foam will be described by the $`(d+1)`$-valent graph, where the edges are labelled by the morphisms $`i_d`$, and each vertex will represent the elementary spin-foam morphism among $`d+1`$ objects $`i_d`$. More generally, a spin foam is a spin net in a 2-category whose objects are the elements of a tensor category.

The expression (4) is generically not finite for the $`Cat(𝐠)`$ case. When it is finite, then it defines a topological theory, which happens in $`d=2`$ compact $`G`$ case . Compact $`G`$ spin-foam amplitudes are not finite in $`d=3`$ and $`d=4`$ dimensions. In the quantum group case, when $`q`$ is a root of unity then the corresponding tensor category has only a finite number of simple objects. Hence the corresponding spin-foam amplitude is finite. This gives a topological theory, i.e. the amplitude is invariant under the Pachner moves. TV and CY state-sum models are examples of such topological theories.

In analogy to the coset-space spin networks, one can also construct the coset-space spin foams, where the faces are labelled by the simple irreps, like in the case of the BC models . BC spin-foam amplitudes can be made finite by using the edge amplitude $`A_1=A(\mathrm{\Theta }_4)`$, where $`\mathrm{\Theta }_4`$ is the theta graph with four edges . These models are relevant for quantum gravity, and they are not topological, because the simple irreps do not form a tensor category.

## 4 QFT of closed spin nets

In order to evaluate the spin-foam amplitude (4), we used the ”bundle graph” technique. However, this is the same as the Feynman diagram formalism from QFT which was developed in the field theory over the group approach .

Let us describe this in the $`d=4`$ case. Consider the action

$`S[\varphi ]`$ $`=`$ $`{\displaystyle \frac{1}{2}}{\displaystyle \underset{\mathrm{\Lambda },i}{}}Q_{\stackrel{}{\alpha }_1\stackrel{}{\alpha }_2}(\times _1,\times _2)\varphi _{\times _1}^{\stackrel{}{\alpha }_1}\varphi _{\times _2}^{\stackrel{}{\alpha }_2}+{\displaystyle \frac{1}{5!}}{\displaystyle \underset{\mathrm{\Lambda },i}{}}𝒱_{\stackrel{}{\alpha }_1\mathrm{}\stackrel{}{\alpha }_5}(\times _1,\mathrm{},\times _5)\varphi _{\times _1}^{\stackrel{}{\alpha }_1}\mathrm{}\varphi _{\times _5}^{\stackrel{}{\alpha }_5}`$ (5)
$`=`$ $`S_0+S_I,`$
where the complex numbers $`\varphi _\times ^\stackrel{}{\alpha }=\varphi _{\mathrm{\Lambda }_1\mathrm{}\mathrm{\Lambda }_4(i)}^{\alpha _1\mathrm{}\alpha _4}`$ are tensors transforming like $`C^{\alpha _1\mathrm{}\alpha _4(i)}`$. In the group theory approach, the modes $`\varphi `$ are the Fourier modes of the field $`f(g_1,\mathrm{},g_4)`$, but in the general case these are tensors transforming like intertwiners. The vertex functions $`Q`$ and $`𝒱`$ are given by

$`Q^1(\times _1,\times _2)`$ $`=`$ $`\delta (i_1,i_2)A_1(\mathrm{\Lambda }_1,\mathrm{},\mathrm{\Lambda }_4)`$ (6)
$`𝒱(\times _1,\mathrm{},\times _5)`$ $`=`$ $`\delta ^{10}A_0(\mathrm{\Lambda }_1,\mathrm{},\mathrm{\Lambda }_{10};i_1,\mathrm{},i_5),`$ (7)
where $`\delta `$ are the appropriate delta functions of the indices.

The propagator $`Q^1`$ defines the edge endomorphism $`i_1i_1`$ and $`𝒱`$ defines the morphism $`i_1\mathrm{}i_5𝐂`$. The amplitude for a composition of these morphisms is the same as a Feynman diagram for the perturbative Green’s functions for the path-integral

$$\underset{i}{}d\varphi _i\mathrm{exp}(S[\varphi ]).$$
(8)
In this way one obtains exactly (4).

Alternatively, the Fourier modes $`\varphi _\times ^\stackrel{}{\alpha }`$ can be promoted into creation and annihilation operators , such that

$$[\varphi ^\stackrel{}{\alpha },\varphi _\stackrel{}{\beta }^{}]=\delta _\stackrel{}{\beta }^\stackrel{}{\alpha },$$
(9)
where $`(\varphi _\stackrel{}{\alpha }^{})^{}=\varphi ^\stackrel{}{\alpha }`$. These operators act in the Hilbert space with a basis

$$\{|0,\varphi ^{}|0,\varphi ^{}\varphi ^{}|0,\mathrm{}\},$$

where the vacuum is defined by $`\varphi ^\stackrel{}{\alpha }|0=0`$. The spin foam amplitude can be represented as an matrix element of an evolution operator $`(S_I)^n`$, where $`n`$ is the number of the spin-foam vertices, in analogy with the particle field theory case. As shown in , one can construct the “in” and the “out” states which describe the spatial spin nets corresponding to the boundary triangulations of the spacetime manifold. Such spin net states can be represented by

$$|\gamma =\underset{vV(\gamma )}{}\varphi _{\times _v}^{}|0,$$
(10)
where $`\gamma `$ is a four-valent spin net graph dual to the boundary triangulation, and all the representation indices $`\alpha _v`$ are appropriately contracted.

In the quantum group at root of unity case, one has a well-defined topological QFT . The formula (10) then gives a map from a boundary manifold to a Hilbert space. This TQFT should satisfy a generalization of Atiyah’s axioms for manifolds equipped with a principal $`G`$-bundle.

## 5 QFT of open spin nets

The construction in the previous section describes only the states associated to closed spin nets. In the Lie group case it is known that the closed spin nets are related to the connections on the principal bundle $`(M,G)`$. The matter fields can be considered as sections of the associated vector bundles $`(M,\mathrm{\Lambda }_s)`$, where $`\mathrm{\Lambda }_s`$ is a finite-dimensional representation of $`G`$. Then it is natural to consider an open spin net, where a free edge at a vertex $`v`$ carrying the representation $`\mathrm{\Lambda }_s`$ can be interpreted as a matter field of ”spin” $`\mathrm{\Lambda }_s`$ at $`v`$. Hence the transition amplitude between two open $`(d1)`$-dimensional spin nets will be described by a $`d`$-dimensional spin foam interpolating between them. This spin foam can be thought of as an morphism in a category where the objects are the intertwiners $`i_d`$ and the matter irreps $`\mathrm{\Lambda }_s`$. Therefore this new morphism, which we will call a matter spin foam , will be described by a graph where the edges are labelled by $`i_d`$ or by $`\mathrm{\Lambda }_s`$.

We will only consider the graphs where the sub-graphs formed by the edges labelled by $`i_d`$ correspond to triangulations of the space-time manifold and the edges labelled by the matter irreps connect only the vertices of that subgraph. This corresponds to the physical requirement that the matter fields always propagate in a space-time background. Hence the basic spin-foam vertices will have $`d+1`$ edges labeled with the intertwiner morphisms $`i_d`$ and $`n`$ edges labelled by the matter irreps of $`G`$. The corresponding amplitude will be determined by the spin net with $`n`$ external edges labelled by the matter irreps, while the internal edges labelled by the background irreps will form a $`(d+1)`$-simplex spin net.

Let us consider the case of a single matter irrep $`\mathrm{\Lambda }_s`$ and $`d=4`$. In the first quantization formalism , the matter can be introduced by replacing the spin net function $`\gamma `$ with an open spin net function $`\gamma _s`$, which is obtained from $`\gamma `$ by putting an external edge carrying a matter irrep $`\mathrm{\Lambda }_s`$ at each site of $`\gamma `$ where a matter quantum is located.

In the QFT formalism , one can construct the state $`|\gamma _s`$ by introducing the matter creation and annihilation operators $`\psi _\sigma (\times _v)`$ and $`\psi _\sigma ^{}(\times _v)`$, where $`\sigma `$ is the representation index of $`\mathrm{\Lambda }_s`$, and the label $`\times _v`$ denotes the intertwiner of the spin net site where the matter quantum is located. Hence the corresponding state would be given as

$$|\gamma _s=\underset{v^{}V^{}(\gamma )}{}\underset{\sigma _v^{}}{}\psi _{\sigma _v^{}}^{}(\times _v^{})\underset{vV(\gamma )}{}\varphi _{\times _v}^{}|0,$$
(11)
where $`V^{}`$ is the set of vertices where the matter quanta are located.

The corresponding matter spin foam amplitude can be expressed as a matrix element in a QFT determined by the action $`S[\varphi ]+S_s[\psi ,\varphi ]`$, where

$$S_s=\underset{\mathrm{\Lambda }}{}\psi _\sigma (\times )\psi _\sigma ^{}(\times ^{})𝒱^{\sigma \sigma ^{}}(\times ,\times ^{},\times _1,\mathrm{},\times _5)\varphi _{\times _1}\mathrm{}\varphi _{\times _5}+(h.c.),$$
(12)
and $`(h.c.)`$ stands for the hermitian conjugate term. Hence

$$𝒱^{\sigma \sigma ^{}}(\times ,\times ^{},\times _1,\mathrm{},\times _5)=\delta ^{10}\delta _{\times ,\times _1}\delta _{\times ^{},\times _k}A^{\sigma \sigma ^{}}(\mathrm{\Lambda }_1,\mathrm{},\mathrm{\Lambda }_{10}),$$
(13)
where $`A^{\sigma \sigma ^{}}`$ is a spin net amplitude for the pentagram with two external edges attached at the vertices $`1`$ and $`k`$, where $`1k5`$. In the quantum gravity models , this graph is zero, and one needs to consider a modified graph with an extra internal matter edge between the vertices $`1`$ and $`k`$ ($`k1`$).

We will also add to $`S_s`$ a purely quadratic matter term

$$\underset{\mathrm{\Lambda }}{}\psi _\sigma (\times )Q^{\sigma \sigma ^{}}(\times ,\times ^{})\psi _\sigma ^{}(\times ^{})+(h.c.),$$
(14)
in order to have a well-defined perturbative expansion. The propagator $`Q^1`$ will be determined by the endomorphism $`i_\times \mathrm{\Lambda }_si_\times \mathrm{\Lambda }_s`$. We denote the propagator amplitude as $`G_{\sigma \sigma ^{}}`$.

Note that $`(\psi _\sigma )^{}=\psi ^\sigma =C^{\sigma \sigma ^{}}\psi _\sigma ^{}`$, and the vector space duality $``$ is in general different from the complex conjugation (reality) properties. The reality properties determine relation between the creation and annihilation operators $`\psi `$ and $`\psi ^{}`$, see .

Hence a relevant Feynman diagram $`\mathrm{\Gamma }_s`$, which is generated by the action $`S+S_s`$, will be determined by a spacetime skeleton diagram $`\mathrm{\Gamma }`$ (a 5-valent graph dual to a spacetime triangulation) plus a line connecting the vertices of $`\mathrm{\Gamma }`$. Therefore $`\mathrm{\Gamma }_s`$ will be a graph consisting of 5-valent and 7-valent vertices. Out of these diagrams we will consider only those for which the matter irreps form a line which connects the centers of a string of the adjacent 4-simplices, extending from the initial to the final boundary. In this case, the matter spin foam $`J_s`$ will be given by the usual spin foam $`J`$ and a line $`L`$ of matter edges with two external edges. The corresponding amplitude will be given by

$$A_{\sigma _i}^{\sigma _f}(J_s)=\underset{\mathrm{\Lambda }}{}\underset{fF}{}A_f(\mathrm{\Lambda })A_{\sigma _i}^{\sigma _f}(L)\underset{eE^{}}{}A_e(\mathrm{\Lambda })\underset{vV^{}}{}A_v(\mathrm{\Lambda }),$$
(15)
where

$$A_{\sigma _i}^{\sigma _f}(L)=A_{\sigma _i}^{\sigma _1}(v_1)G_{\sigma _1}^{\sigma _2}(e_{12})A_{\sigma _2}^{\sigma _3}(v_2)\mathrm{}G_{\sigma _{k1}}^{\sigma _k}(e_{k1,k})A_{\sigma _k}^{\sigma _f}(v_k).$$
(16)
The number of the initial and the final matter quanta has to be the same for a free theory, and the above formula can be then easily generalized to the case when there are several lines $`L`$, or a loop of matter edges.

One can also take a set of different irreps $`\mathrm{\Lambda }_{s_1}=S_1`$,…,$`\mathrm{\Lambda }_{s_k}=S_k`$ to represent fields of different spins. The corresponding QFT action can be written as

$`S_m`$ $`=`$ $`{\displaystyle \underset{S}{}}{\displaystyle \underset{\mathrm{\Lambda }}{}}\psi _S(\times )\psi _S(\times ^{})Q_{SS}(\times ,\times ^{})`$ (17)
$`+`$ $`{\displaystyle \underset{S}{}}{\displaystyle \underset{\mathrm{\Lambda }}{}}\psi _S(\times )\psi _S(\times ^{})𝒱_{SS}(\times ,\times ^{},\times _1,\mathrm{},\times _5)\varphi _{\times _1}\mathrm{}\varphi _{\times _5}`$
$`+`$ $`{\displaystyle \underset{S}{}}{\displaystyle \underset{\mathrm{\Lambda }}{}}\psi _{S_1}(\times )\mathrm{}\psi _{S_k}(\times ^{(k)})𝒱_{S_1\mathrm{}S_k}(\times ,\mathrm{},\times ^{(k)};\times _1,\mathrm{},\times _5)\varphi _{\times _1}\mathrm{}\varphi _{\times _5}`$
$`+`$ $`(h.c.),`$
where the vertex $`𝒱`$ will be determined by the spin net amplitudes for the open graphs based on the pentagram. A new feature is that the set of possible graphs for the vertex $`𝒱_{S_1\mathrm{}S_k}`$ will contain graphs with more than five vertices, i.e. there will be vertices formed by the matter irreps describing the interactions among the matter fields .

The corresponding Feynman diagrams, or the spin-foam amplitudes, will be generically divergent in the Lie group case. By going to tensor categories with finitely many simple objects, like those for quantum groups at root of unity, one will obtain finite numbers. Since such amplitudes are topologically invariant when there are no matter irreps, then it will be interesting to explore the topological invariance of the corresponding amplitudes with the matter irreps, since one then expects to obtain topological models.

Another way of obtaining finite expressions is by using the coset space spin networks. The corresponding models will be relevant for quantum gravity with matter fields , and they will not be topological. This requires a specification of the irreps $`s`$ of $`H`$ which are contained in the irreps $`S`$ of $`G`$. In that case the matter fields will have the indices from the $`H`$ irreps, and the action can be written as

$`S_m`$ $`=`$ $`{\displaystyle \underset{S}{}}{\displaystyle \underset{N}{}}\psi _s(\times )\psi _s(\times ^{})Q_{ss}^S(\times ,\times ^{})`$ (18)
$`+`$ $`{\displaystyle \underset{S}{}}{\displaystyle \underset{N}{}}\psi _s(\times )\psi _s(\times ^{})𝒱_{ss}^S(\times ,\times ^{},\times _1,\mathrm{},\times _5)\varphi _{\times _1}\mathrm{}\varphi _{\times _5}`$
$`+`$ $`{\displaystyle \underset{S}{}}{\displaystyle \underset{N}{}}\psi _{s_1}(\times )\mathrm{}\psi _{s_k}(\times ^{(k)})𝒱_{s_1\mathrm{}s_k}^{S_1\mathrm{}S_k}(\times ,\mathrm{},\times ^{(k)};\times _1,\mathrm{},\times _5)\varphi _{\times _1}\mathrm{}\varphi _{\times _5}`$
$`+`$ $`(h.c),`$
where $`N`$ are the simple background irreps and the vertices $`Q`$ and $`𝒱`$ will be determined by the spin net amplitudes for open graphs based on the $`\mathrm{\Theta }_4`$, $`\mathrm{\Theta }_5`$ and the pentagram graphs. However, these amplitudes will be now given as multiple integrals of the propagators $`K_N(x,y)`$ and $`K_{S,s}(x,y)`$, as in the equation (3).

In the case of the Lorentzian BC model, $`G=SO(3,1)`$, $`H=SO(3)`$, and the background irreps are the simple irreps $`N=(0,\rho )`$, $`\rho 0`$, which are unitary and infinite dimensional. The matter can be introduced by using the finite-dimensional irreps of $`SO(3,1)`$ , which can be labelled as $`(j,k)`$, $`j,k\frac{1}{2}𝐙_+`$, and these irreps are non-unitary. To each $`S=(j,k)`$ irrep, we will associate a $`SU(2)`$ irrep $`s`$ contained in $`S`$. Hence one will have spin foams where the faces will be labelled with the $`N`$ irreps, while the edges will be labelled by the $`S`$ and $`s`$ irreps.

## 6 Concluding remarks

Note that by generalizing the notion of the spin network as a composition of morphisms among simple objects from a tensor category, one is able to generalize the notion of a spin foam as a spin net in a 2-category. In this way one obtains matter spin foams, where the edges of the graph are labelled by the simple objects or by the intertwiners. If we think of this graph as a dual one-skeleton of a triangulation, then in the Lie group case, we label the edges with the irreps of $`G`$, or with the intertwiners, while the faces (loops of the graph) are labelled by the irreps corresponding to the edge intertwiners. It would be interesting to explore the topological properties of these amplitudes, especially in the quantum group case, where the amplitudes are finite. This may give topological invariants for manifolds equipped with principal and associated vector bundles.

In the case of the BC model with matter, we expect that the amplitudes are finite, because the amplitudes without matter are finite, and adding matter introduces the matter propagators $`K_{S,s}`$, which are similar functions of the coset space points as the $`K_N`$ propagators . In addition, one can consider the amplitude (16) as an amplitude for matter propagation in a fixed set of the background irreps, which could be interpreted as an amplitude of a quantum field theory in a curved background.