A simple proof of orientability in colored group field theory

Francesco Caravelli

doi:10.1186/2193-1801-1-6

Short report

Open Access

A simple proof of orientability in colored group field theory

Francesco Caravelli^{1, 2, 3}Email author

SpringerPlus20121:6

https://doi.org/10.1186/2193-1801-1-6

Received: 16 April 2012

Accepted: 27 April 2012

Published: 5 July 2012

Abstract

Background

Group field theory is an emerging field at the boundary between Quantum Gravity, Statistical Mechanics and Quantum Field Theory and provides a path integral for the gluing of n-simplices. Colored group field theory has been introduced in order to improve the renormalizability of the theory and associates colors to the faces of the simplices.

The theory of crystallizations is instead a field at the boundary between graph theory and combinatorial topology and deals with n-simplices as colored graphs. Several techniques have been introduced in order to study the topology of the pseudo-manifold associated to the colored graph.

Although of the similarity between colored group field theory and the theory of crystallizations, the connection between the two fields has never been made explicit.

Findings

In this short note we use results from the theory of crystallizations to prove that color in group field theories guarantees orientability of the piecewise linear pseudo-manifolds associated to each graph generated perturbatively.

Conclusions

Colored group field theories generate orientable pseudo-manifolds. The origin of orientability is the presence of two interaction vertices in the action of colored group field theories. In order to obtain the result, we made the connection between the theory of crystallizations and colored group field theory.

Keywords

Partition FunctionSimplicial ComplexPiecewise LinearColored VersionColored Graph

Introduction

There has been recently a growth of interest in group field theories Freidel ([2005]) and Oriti ([2009]) and there are many reasons for this to happen. Group field theories (GFT) are a generalization of matrix models to higher dimensions Brezin et al. ([1978]) and David ([1985]) and a generalization of tensor models as well Ambjorn et al. ([1991]). Moreover, GFT are known to generate the partition function of Spin Foams, thus having a direct relation with Loop Quantum Gravity Rovelli ([2004]).

It is known that matrix models have a topological expansion in which the genus, the only topological invariant needed to characterize orientable surfaces, plays the role of the parameter of this expansion. Roughly speaking a n-dimensional group field theory has a vertex associated to an n-simplex and a propagator which glues the (n−1)-simplices. Feynman diagrams of a n-dimensional group field theory can be interpreted as gluings of simplices and then have the interpretation of piecewise linear (PL) manifolds. A colored version of group field theory (cGFT) has been introduced recently Gurau (2009, 2010a) and Geloun et al. ([2010a]). One important reason to introduce color in the diagrams is that it is possible to have a better control over the perturbatively generated singularities of GFT. The challenge in these models is to obtain a topological expansion as in the 2-dimensional case Bonzom and Smerlak ([2010]); Freidel et al. ([2009]); Geloun et al. ([2010b]); Magnen et al. ([2009]). Remarkably, it has been shown Gurau ([2010b]) that spheres dominates the partition function in any dimension. In order to achieve this result, techniques from the theory of crystallizations have been used. In fact, colored n-graphs are well known in mathematics as gems: graph-encoded manifolds Pezzana ([1974]) and Lins ([1995]).

In this paper we use the results in this field of mathematics to show that the growth of interest in colored models is not unjustified: colored models generate orientable pseudomanifolds in any number of dimensions. Many of the theorems we will use were known for long time in the context of crystallization and here we report briefly these results. The outcome of this note is that the generation of pseudo-manifolds is due to the color, while the orientability in the colored versions of group field theory models is due to the presence of two different vertices (clockwise and anti-clockwise). In the following we will focus on the Boulatov model, but the result is more general because it relies only on the presence of vertices of opposite orientation in the perturbative expansion of the partition function. In fact, the result can be easily generalized to other types of theory with color and with a similar interaction structure, given the interpretation of the vertices as a simplicial complex.

Another point we would like to stress, is that the present paper establishes a dictionary between the mathematical field of crystallisation and colored graphs within the context of tensor field models. This dictionary and the results obtained in the theory of crystallisation allowed the simple proof of the result. We believe that these techniques could be very useful for the field. For instance, the proof of the 1/N expansion used in Gurau ([2010b]) heavily relies on the dipole moves we will discuss later in the paper.

The paper is organized as follows: in section The colored boulatov model we recall the colored Boulatov model and its standard interpretation. In section A survey of graph-embedded manifolds results we review basic results in the field of 3-gems and crystallizations. We will use some of these results in section Orientability in cGFT to prove the orientability of simplicial complexes generated perturbatively by the colored Boulatov model. Conclusions follow.

The colored boulatov model

In this section we introduce the colored Boulatov model Boulatov ([1992]) and Gurau ([2009]). Let us consider a compact Lie group H, denote h its elements, e the unit element, and $\int dh$ the integral with respect to the Haar measure of the group.

In 3 dimensions we introduce two fields,

{\bar{ψ}}^{i}

and ψⁱ, i=0,1,2,3 be four couples of complex scalar (or Grassmann) fields over three copies of G,

ψ^{i} : G \times G \times G \to ℂ

. The index i runs from=0 to n+1, where n is the number of dimensions, and the ψ and

\bar{ψ}

are functions of n copies of the group. In the fermionic version of the theory the indices i can be seen as the dependence of the field from a (global) gauge group SU(N), where N=n + 1. We denote δ^Θ(h) the regularized delta function over G with some cutoff Θ such that δ^Θ(e) is finite, but diverges when Θ goes to infinity. A feasible regularization is given, for instance for the group G=SU(2), by

δ^{Θ} (h) = \sum_{j = 0}^{Θ} (2 j + 1) χ^{j} (h) .

(1)

where χ^j(h) is the character of h in the representation j. The path integral for the colored Boulatov model over G is:

\begin{array}{lcr} Z (λ, \bar{λ}) & = & e^{- F (λ, \bar{λ})} \\ = & \int \prod_{i = 0}^{4} d μ_{P} ({\bar{ψ}}^{i}, ψ^{i}) e^{- S^{int} ({\bar{ψ}}^{i}, ψ^{i})}, \end{array}

(2)

where the Gaussian measure P is chosen such that:

\int \prod_{i = 0}^{4} d μ_{P} ({\bar{ψ}}^{i}, ψ^{i}) = 1,

(3)

and:

\begin{align} P_{h_{0} h_{1} h_{2}; h_{0}^{″} h_{1}^{″} h_{2}^{″}} = \\ = \int d μ_{P} ({\bar{ψ}}^{i}, ψ^{i}) {\bar{ψ}}_{h_{0} h_{1} h_{2}}^{i} ψ_{h_{0}^{″} h_{1}^{″} h_{2}^{″}}^{i} = \\ = \int dh δ^{Θ} (h_{0} h {(h_{0}^{″})}^{- 1}) δ^{Θ} (h_{1} h {(h_{1}^{″})}^{- 1}) δ^{Θ} (h_{2} h {(h_{2}^{″})}^{- 1}), \end{align}

(4)

The fermionic colored model has two types interactions, a “clockwise” and an “anti-clockwise”, and one is obtained from the other one by conjugation in the internal group color SU(N), where N is 4 in 3 dimensions, one for each face of the 3-simplex ^a. For convenience we denote ψ(h,p,q)=ψ_hpq. Invariance under global rotations in the internal color group require at least two interactions:

\begin{align} S^{int} & = \frac{λ}{\sqrt{δ^{Θ} (e)}} \int {(dh)}^{6} ψ^{0} ψ^{1} ψ^{2} ψ^{3} \\ + \frac{\bar{λ}}{\sqrt{δ^{Θ} (e)}} \int {(dh)}^{6} {\bar{ψ}}^{0} {\bar{ψ}}^{1} {\bar{ψ}}^{2} {\bar{ψ}}^{3} \end{align}

(5)

where we omitted the internal structure of the group elements of the fields ψⁱ and ${\bar{ψ}}^{i}$ . In order to make the notation clearer (already the orientation of the colors is sufficient to distinguish the two vertices), we call “red” the vertex involving the ψ’s and “black” the one involving the $\bar{ψ}$ ’s. Thus any line coming out of a cGFT vertex has a color i.

The group elements h_ij in eq. (3) are associated to the propagators (represented as solid lines), and glue two vertices with opposite orientation. The vertex can be seen as the dual of a tetrahedron and its lines represent the triangles which form the tetrahedron. Each propagators is decomposed into three parallel strands which are associated to the three arguments of the fields, i.e. the 1-dimensional elements of the 1-skeleton of the tetrahedron which bound every face. These are associated to the edges of the tetrahedron. A colored line represents the gluing of two tetrahedra (of opposite orientations) along triangles of the same color as in Figure (1).

Figure 1
**A gluing using a colored propagator.**

It is easy to understand that a cGFT graph can be seen either as a stranded graph (using the vertex and the propagators as depicted in Figure 2) or as a “colored graph” with (colored) solid lines, and two classes of oriented vertices. In this paper we consider only vacuum graphs, i.e. all the vertices of the graphs are 4-valent and we deal only with connected graphs (thus with the logarithm of the partition function (2)). The lines of a vacuum cGFT graph Γ have two natural orientations given by the fact that only vertices of opposite orientations can be glued. It is easy to see that a vacuum cGFT graph must have the same number of black and red vertices. For any graph Γ, we denote n as the number of vertices, l as the lines of Γ, and we define as faces (not to be confused with the faces of the tetrahedron!),

ℱ_{Γ}

, as any closed strand in the Feynman graph of a GFT. Thus a generic vacuum Feynman amplitude of the theory can be written as:

풜 = \frac{{(λ \bar{λ})}^{\frac{n}{2}}}{{[δ^{N} (e)]}^{\frac{n}{2}}} \int \prod_{l \in Γ} d h_{l} \prod_{f \in ℱ_{Γ}} δ_{f}^{Θ} (\prod_{l_{0} \in f}^{\to} h_{l_{0}}^{σ (l_{0}, f)}),

(6)

Figure 2
**Colored GFT red and black vertices.**

where l₀ is a line associated to a face f and σ(l₀,f) is alternatively +1 or -1 depending on the orientation. In the following we will assume that an orientation is fixed. Because of the properties of δ ″ s the orientation does not affect the amplitude. To each colored graph associated to an amplitude of the colored Boulatov model it is possible to associate bubbles by removing all the edges of one color. We call $ℬ_{i_{1}, \dots, i_{k}}$ the set of k-bubbles associated to the deletion of n-k colors. In 3-dimensions, for instance, 3-bubbles have 3-colors (surfaces), 2-bubbles have 2 colors (lines) and so on and so forth. Bubbles play a special role in the theory, since they discriminate manifold from pseudo-manifolds (see next section for the same result in the theory of 3-gems).

A survey of graph-embedded manifolds results

In this section we review some basic results in the field of 3-gems and make a dictionary between the two literatures, as colored group field theory can gain much from the results obtained in all the years of research in such field.

Let Γ be a finite, edge-colored graph, parallel edges allowed. A k residue of Γ k∈N is a connected component of subgraph of Γ induced by k color classes (this is what in colored group field theory are called bubbles). These graphs represent a piecewice linear manifold in the following sense (a pseudo-complex) Ferri et al. ([1986]). A n-regular n-colored graph is an edge-colored graph which has a nodes of degree n. To a couple (Γ γ)_{n + 1} there is an associated pseudo-complex K(Γ) given by the following construction. Take an n-simplex σⁿfor each V(Γ) and label its vertices Δ_n. If x y in V(Γ) are joined by an edge, then attach the (n-1)-faces of their associated simplices. This is the same interpretation given to attaching faces of n-simplices in a n-dimensional group field theory. We denote |Γ| the pseudo-complex associated with the colored graph Γ.

Lemma 1

For any PL n-manifold $ℳ$ there exist a (n+1)-graph Γ such that $| Γ | ≃ ℳ$ .

We now restrict to the case of 3-dimensions and list some of the basic results Lins ([1995]). Let Γ be a 4-edge-colored 4-graph and denote by v e b t respectively the number of vertices (0-residues), edges (1-residues), 2-residues and 3-residues.

Definition 1

A 3-gem (a 3 graph-embedded manifold) is a 4-regular properly edge-colored graph such that

v + t = b

(7)

A 4-regular properly edge-colored graph for which (5) does not apply is called 3-gepm (a 3 graph-embedded pseudo-manifold).

Lemma 2

A necessary and sufficient condition for the graph (Γ γ)₄to represent a manifold, is to meet the relation between its 2- and 3- residues (read as it 2- and 3- colored bubbles) and the number of vertices (read as the perturbative order) v+t=b. This Lemma clarifies the reason why 3-gems have to satisfy the relation (5). Let now introduce few definitions which will turn useful later Ferri et al. ([1986]):

Definition 2

A triball is a connected, cubic, 3-edge-colored graph $Γ_{3} \subset Γ$ such that its Euler characteristic is the one of the 2-sphere. Thus we have the relation between its 2-residues $b_{Γ_{3}}$ and the vertices: $2 b_{Γ_{3}} - v = 4$ . An important fact is the following:

Lemma 3

A graph (Γ γ)₄is a 3-gem iff each of its 3-residue is a triball. Thus, the condition that graphs have to satisfy in order to be 3-gems is a condition on the topology of its 3-residues. We now discuss crystallizations of 3-gems [Ferri and Gagliardi ([1982]); Lins ([1995]); Lins and Mandel ([1985])]. Let first introduce the fusion process. Let be $ℬ_{ijk}$ and ${ℬ^{″}}_{ijk}$ two different 3-residues separated by a unique color which, by construction, is different from the color i j k. We call 1-dipole this edge connecting the two 3-residues. The generalization to k dipoles which connect (n k)-residues is obvious. We call fusion the process of contraction of two vertices through the first two combinatorial moves depicted in Figure 3. Each cancellation of a 1-dipole has the effect of decreasing by one the number of i-residues, where i is the color of the edge which defines the 1-dipole, not changing the number of j-residues, for j≠i. Thus by a succession of 1-dipole cancellation we obtain a 3-gem with 4 triballs. Such a 3-gem is said to be contracted and is called a crystallization for the associated 3-manifold. It is a fact that any closed 3-manifolds has a crystallization, and two closed 3-manifolds are related by a homeomorphism if and only if they are related by creation or contraction of 1- and 2- dipoles with the fusion rules; in this case, the two 3-manifolds are said to be equivalent or homeomorphic. Thus it is easy to understand that the fusion rules are the combinatorial equivalent of homeomorphisms. Let now discuss crystallization for generic colored (n+1)-graphs. The following results hold:

Figure 3
**Fusion moves on a 4-regular 4-edge colored graph of 1-, 2- and 3- dipoles respectively.**

Theorem 1

For every PL n-manifold $ℳ$ there exist a crystallization.

Theorem 2

Two n-graphs |Γ₁| and |Γ₂| are crystallizations of the same manifold

ℳ

if one is converted into the other by:

a)

Adding or removing a non-degenerate m-dipole with n−1>m>1;
b)

Adding a 1-dipole and deleting another 1-dipole.

A general theorem on the orientability of n-graphs holds:

Theorem 3

(Orientability) Let (Γ,γ)_{n + 1}be any crystallization of an n-manifold $ℳ$ . Then $ℳ$ is orientable iff Γ is bipartite. These theorems are fundamental in order to have a clear geometrical understanding of graphs generated by a colored group field theory i.e. that to vertices there are associated n-simplices. This interpretation will be used in the next section, in which the main result of the paper is presented.

Orientability in cGFT

In this section we prove a Lemma on the orientability of PL manifolds associated to graphs generated by the colored Boulatov model. Orientability of a manifold is a requirement if we want to construct a spin bundle. In 4-dimensions, for instance, the requirement to have a global spin bundle is to have a vanishing first and second Stiefel-Whitney class. While the second can be neglected by constructing local spin bundle and then gluing the charts, the vanishing of the first is a strict requirement and is equivalent to ask the orientability of the manifold. Another important fact is that orientability restricts enormously the class of 3-manifolds which could be generated. As an example, in 2-dimensions the most general decomposition is given by connected sum of spheres, torii and projective planes. Orientability excludes the connected sum of projective planes, which allows the expansion in the ordinary genus we are used to.

Lemma 4

(3-dimensions) Let Γ be a connected vacuum finite graph generated by the colored Boulatov model. Let

ℬ_{ijk}

and

ℬ_{ij}

be the set of 3- and 2- bubbles of Γ respectively. Then the pseudo-manifolds associated to Γ is an oriented pseudo-manifold. Moreover, |Γ| represents a closed and orientable 3-manifold iff

V + Card {ℬ_{ijk}} = Card {ℬ_{ij}}

(8)

Proof

This lemma follows directly from the properties of graphs generated by the colored Boulatov model and its interpretation, which is the same of the simplicial construction of 3-gepms. By Lemma 1 the graph generated is a manifold if and only if the condition (6) is met. Since the graph is finite, the manifold is also closed. Thus what we have to show is that they are orientable. By the theorem on the orientability the 3-gem represents an orientable manifold if and only if the crystallization graph is bipartite. First we note that the graphs generated by colored group field theory are bipartite. Let A and B be the set of clockwise and anti-clockwise vertices of Γ respectively. Since by construction a clockwise vertex has to be contracted with an anticlockwise, then all the edges are between the set A and the set B and none is within the sets, thus the graph is bipartite. Now we have to show that its contraction is still bipartite. However, this fact is trivial because any of the moves in Figure 3 keeps the bipartiteness of the original graph, thus in particular the fusion of a 1-dipole. Moreover, since the graph is finite, the crystallization is reached in a finite number of moves.

The orientability part of this Lemma can be generalized to higher dimensions. The construction given in the third section of this note ensures that to each n-dimensional pseudo-complex there is at least a colored (n+1)-graph which is homehomorphic to it. It is then easy to see why colored group field theories generates only orientable pseudo-manifolds in any number of dimensions; we state it as a Lemma, even if it clearly follows from the construction given in Pezzana ([1974]) of n-edge-colored graphs in any number of dimensions, while orientability comes from a generalization to m-dipoles (as in Theorem 2) of the previous proof and the fact that there are two types of vertices: This means that, at any finite order, the connected vacuum graphs generated by the partition function of a colored group field theory are associated with closed and orientable PL pseudo-manifolds. □

Conclusions

In this short paper we have used results in the field of 3-gems to prove that all the graphs generated by the colored Boulatov model are related to orientable pseudo-manifolds. In order to prove it we used new tools which could turn to be very useful in the context of group field theory, more specifically in the colored version of it. In fact, color is a fundamental ingredient in all we said. It should be said that what proved here is not an unexpected result Oriti and Gurau ([2010]). The fact that an orientation for the faces can be chosen with ease was a hint of what proved here. Indeed, as far as the author is concerned, this is the first rigorous proof appeared so far.

Endnote

^aIt should be mentioned that also in the bosonic version Geloun et al. ([2010a]) there is a clockwise and anti-clockwise interaction. In that case the the types of interactions are motivated by the fact that its introduction has a nice combinatorial definition of homology Gurau ([2010a]).

Declarations

Acknowledgements

We would like to thank Razvan Gurau for several discussions on the topic of group field theory. Also, we would like to thank Daniele Oriti for advices on the presentation of this result and Lorenzo Sindoni for reading carefully the manuscript. Research at Perimeter Institute for Theoretical Physics is supported in part by the Government of Canada through NSERC and by the Province of Ontario through MRI.

Authors’ Affiliations

(1)

University of Waterloo, Waterloo, Canada

(2)

Perimeter Institute for Theoretical Physics, Waterloo, Canada

(3)

Max Planck Institute for Gravitational Physics (Albert Einstein Institute), Golm, Germany

References

Ambjorn J, Durhuus B, Jonsson T: Three-Dimensional Simplicial Quantum Gravity And Generalized Matrix Models. Mod Phys Lett A 1991, 6: 1133. 10.1142/S0217732391001184View ArticleGoogle Scholar
Bonzom V, Smerlak M: Lett Math Phys. 2010, 93: 295.Google Scholar
Brezin E, Itzykson C, Parisi G, Zuber JB: Planar Diagrams. Commun Math Phys 1978, 59: 35. 10.1007/BF01614153View ArticleGoogle Scholar
Boulatov DV: A Model of three-dimensional lattice gravity. Mod Phys Lett A 7, 1629 1992. [arXiv:hep-th/9202074]Google Scholar
David F: A Model Of Random Surfaces With Nontrivial Critical Behavior. Nucl Phys B 1985, 257: 543.View ArticleGoogle Scholar
Ferri M, Gagliardi C: Crystallisation moves. Pac J Mathematics 1982.,100(1):Google Scholar
Ferri M, Gagliardi C, Grasselli L: A graph-theoretical representation of PL-manifolds - A survey on crystallizations. Aequationes Mathematicae 1986, 31: 121-141. 10.1007/BF02188181View ArticleGoogle Scholar
Freidel L: Group field theory: An overview. Int J Theor Phys 2005, 44: 1769. [arXiv:hep-th/0505016] 10.1007/s10773-005-8894-1View ArticleGoogle Scholar
Freidel L, Gurau R, Oriti D: Group field theory renormalization - the 3d case: power counting of divergences. Phys Rev D 2009, 80: 044007. [arXiv:0905.3772 [hep-th]]View ArticleGoogle Scholar
Geloun JB, Magnen J, Rivasseau V: Bosonic Colored Group Field Theory. 2010a. [arXiv:0911.1719 [hep-th]].Google Scholar
Geloun JB, Krajewski T, Magnen J, Rivasseau V: Linearized Group Field Theory and Power Counting Theorems. Class Quant Grav 2010b, 27: 155012. [arXiv:1002.3592 [hep-th]] 10.1088/0264-9381/27/15/155012View ArticleGoogle Scholar
Gurau R: Colored Group Field Theory. 2009. [arXiv:0907.2582 [hep-th]]Google Scholar
Gurau R: Topological Graph Polynomials in Colored Group Field Theory. Annales Henri Poincare 2010a, 11: 565. [arXiv:0911.1945 [hep-th]] 10.1007/s00023-010-0035-6View ArticleGoogle Scholar
Gurau R: The 1/N expansion of colored tensor models. 2010b. [arXiv:1011.2726v2 [gr-qc]]Google Scholar
Lins S: . Gems, Computers and Attractors for 3-Manifolds, (Series on Knots and Everything, Vol 5) 1995. ISBN: 9810219075/ISBN-13: 9789810219079Google Scholar
Lins S: “Graph-encoded 3-manifolds”. Discrete Mathematics 1985, 57: 261-284. 10.1016/0012-365X(85)90179-7View ArticleGoogle Scholar
Magnen J, Noui K, Rivasseau V, Smerlak M: Scaling behaviour of three-dimensional group field theory. Class Quant Grav 2009, 26: 185012. [arXiv:0906.5477 [hep-th]] 10.1088/0264-9381/26/18/185012View ArticleGoogle Scholar
Oriti D: The group field theory approach to quantum gravity: some recent results. 2009. [arXiv:0912.2441 [hep-th]]View ArticleGoogle Scholar
Oriti D, Gurau R: Private communications. 2010.Google Scholar
Pezzana M: Sulla struttura topologica delle varietà compatte. Atti Sem Mat Fis Univ Modena 1974, 23: 269-277.Google Scholar
Rovelli C: Quantum Gravity. In Perez, A “Introduction to Loop Quantum Gravity and Spin Foams.”. Cambridge University Press, Cambridge; 2004. [arXiv:gr-qc/0409061]Google Scholar

Copyright

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.