arxiv: v1 [hep-th] 12 Dec 2009

Transcription

1 The group ield theory approach to quantum gravity: some recent results Daniele Oriti arxiv: v1 [hep-th] 12 Dec 2009 Max Planck Institute or Gravitational Physics (Albert Einstein Institute) Am Mühlenberg 1 D Golm, Germany, EU Abstract. We introduce the key ideas behind the group ield theory approach to quantum gravity, and the basic elements o its ormalism. We also briely report on some recent results obtained in this approach, concerning both the mathematical deinition o these models, and possible avenues towards extracting interesting physics rom them. Keywords: quantum gravity, group ield theory, loop quantum gravity, spin oam models, matrix models, non-commutative geometry, simplicial quantum gravity PACS: Pp, Gw, Nc, Nx The ield o background independent quantum gravity is progressing ast [1]. Not only new research directions are being developed, and new important developments are taking place in existing approaches, but some o these approaches are converging to one another, leading to urther progress. The group ield theory ormalism [4, 2, 3] can be understood in several dierent ways. It is a generalization matrix models or 2d quantum gravity [5]. It is an important part, nowadays, o the loop quantum gravity and spin oam approach to the quantization o 4d gravity [7, 6]. It is a point o convergence o loop quantum gravity and o simplicial quantum gravity approaches, like quantum Regge calculus and dynamical triangulations [2]. Recently, tools rom non-commutative geometry have been introduced as well in the ormalism, which, thanks to them, started to make tentative contact with quantum gravity phenomenology. In this paper we introduce the general idea behind the GFT ormalism, and some basic elements o the same (or more detailed introduction, we reer to [2, 3, 4]), then report briely on some recent results. THE GROUP FIELD THEORY FORMALISM Motivation and key idea Group ield theories are an attempt to deine quantum gravity in terms o combinatorially non-local quantum ield theories on group maniolds, related to the Lorentz or rotation group. Let us motivate briely the three main elements in this characterization. Quantum ield theory is the best ormalism we have or describing physics at both microscopic and mesoscopic scales, rom high energy particle physics to many-particle condensed matter physics.

2 But can we still hope or a ormulation o quantum gravity as a QFT, ater the known ailure o the attempt to ormulate a consistent QFT o gravitons? And a more serious objection is that a good theory o quantum gravity should be background-independent, as it should explain origin and properties o spacetime itsel, while we know how to ormulate quantum ield theories only on ixed backgrounds. Thereore, i an (almost) ordinary QFT it should be, quantum gravity can only be a QFT on some auxiliary, internal or higher-level space. We can then look at GR itsel and try to identiy some background (non-dynamical) structures that we could hope to provide such space. One is the internal, local symmetry group o the theory, i.e. the Lorentz group. This gives the primary motivation or using the Lorentz group (and related) in GFT. Another background structure is the coniguration space o GR: the (meta-)space o (spatial) geometries on a given (spatial) topology, coined superspace by Wheeler. We will see that these two possibilities or the ield domain in GFT actually coincide, because, as we have learned rom loop quantum gravity, the set o possible geometries can be characterized in terms o (Lorentz) group elements. When suggesting a QFT or the microstructure o space, another natural question is: a QFT o which undamental quanta? Again, we know that these cannot be gravitons. They have to be quanta o space itsel, excitations around a vacuum that corresponds to the absence o space. GFT incorporates, in the choice o these quanta, ideas rom both loop quantum gravity and simplicial quantum gravity, as we are going to see. The last ingredient o our combinatorially non-local quantum ield theory on group maniolds that we have to introduce and motivate is the non locality. Consider a point particle in 0+1 dimensions, with action S(X) = 1 2 X 2 + λ 3 X 3. This action deines a trivial dynamics (or a trivial system), o course. What interests us here, however, is the combinatorial structure o its Feynman diagrams, i.e. the graphs that can be used as a convenient book-keeping tool in computing the corresponding partition unction Z = dx e S λ(x) perturbatively in λ. These are simple 3-valent (because o the order o the interaction ) graphs. FIGURE 1. A Feynman graph or a point particle and the corresponding ield theory The act that the Feynman diagrams o the theory are simple graphs like the above ollows rom 1) the point-like nature o the particle, and 2) the locality o the corresponding interaction, encoded in the identiication o X variables in the interaction term. The same structure o diagrams is maintained, because the local nature o the interaction and the point-like nature o the corresponding quanta are maintained, also when moving to a ield theory setting, i.e. going rom the above particle dynamics to the corresponding ield theory (still dynamically rather trivial), governed by the action: S(φ) = 1 2 dxφ(x) λ dxφ(x) 3. The associated Feynman amplitudes have integrations over position or momentum variables, but still, the combinatorics o the diagrams is the same.

3 Now we move up in combinatorial dimension. Instead o point particles, let us consider 1d objects, that could be represented graphically by a line, with two end points. We label these two end points with two indices i, j, and we represent the undamental 1d objects by (e.g. orthogonal) matrices M i j. We want to move up in dimension also in the corresponding Feynman diagrams. We want diagrams corresponding to 2-dimensional structures. For this, we have to drop the assumption o locality. We deine an action or M, given by S(M) = 1 2 M i jm ji + λ 3 M i jm jk M ki. The racing o indices i, j,k in the kinetic and vertex term represent identiication o the points labeled by the same indices. This graphical representation o the Feynman diagrams used in evaluating the partition unction Z = DM i j e S(M) gives 2-dimensional simplicial complexes o arbitrary topology, because obtained by arbitrary gluing o lines to orm triangles (in the interaction vertex) and o these triangles to one another along common lines (as dictated by the propagator). FIGURE 2. A (piece o) Feynman diagram or a matrix model, o which we give both direct and dual (simplicial) representation; the two parallel lines o propagation correspond to the two indices o the matrix; the extra line on the bottom indicates identiication o the two edges o the triangles. Matrix models have been quite successul in describing 2d quantum gravity [5]. There is no obstruction to keep moving upward in combinatorial dimension. We can move rom 1d objects represented by matrices, with indices labeling the end points o the line, to 2d (closed) objects, represented by tensors, with indices labeling the boundary edges o the same 2d objects. The simplest combinatorial choice is that o triangles (2d simplices) and thus o tensors T i jk, with indices (representing the edges o the triangles) traced out in the interaction term in such a way as to represent 3d objects, tetrahedra (3-simplices) bounded by such triangles. FIGURE 3. A (piece o) Feynman diagram or a tensor model, o which we give both direct and dual (simplicial) representation; the three parallel lines o propagation (dual to the three edges in the triangles) correspond to the three indices o the tensor. The process o combinatorial generalization can be continued to tensor models whose Feynman diagrams are d-dimensional simplicial complexes. Moreover, while maintaining the combinatorial structure o the theory, we can generalize matrix and tensor models in the direction o adding degrees o reedom, i.e. deining corresponding ield theories.

4 The tensor indices will be replaced by variables taking values in appropriate domain spaces. Choosing these spaces to be group maniolds, we obtain group ield theories. A prototype GFT generalizing a tensor model or T i jk is, or example, the so-called Boulatov model: S(φ) = 1 [dg]φ(g 1,g 2,g 3 )φ(g 3,g 2,g 1 ) + λ [dg]φ(g 1,g 2,g 3 )φ(g 3,g 4,g 5 )φ(g 5,g 6,g 1 )φ(g 6,g 4,g 2 ). 2 4! The general ormalism The GFT ield is a C-valued unction o D group elements φ(g 1,..,g d ), or a group G, usually the SO(d 1,1) Lorentz group (or SO(d) or Riemannian gravity). It is interpreted as the undamental building block o quantum space, a second quantized (d-1)-simplex, and each argument corresponds to one o its boundary (d-2)-aces. One imposes invariance under diagonal action o the group G: φ(g 1,...,g d ) = φ(g 1 g,...,g d g) to give closure o the d (d-2)-aces to orm a (d-1)-simplex. The mode expansion gives: φ(g i ) = φ J iλ k i J i,λ,k i D J i k i l i (g i )C J 1..J d Λ l 1..l d, i with the J s labeling representations o G, the k s being vector indices in the representation spaces, and the C s being group intertwiners, labeled by Λ. The GFT amplitudes will justiy a geometric interpretation o the group variables as parallel transport o the gravity connection along elementary paths dual to the (d-2)-aces, and o the representations J as quantum numbers or volume operators or the same (d-2)-aces. φ ( g g g ) φ( j j j ) FIGURE 4. The 3d example: the ield, in group and representation picture, and its dual graphical representations as triangle and as spin network vertex A simplicial space ormed by N (d-1)-simplices is a product o N ield operators, with contractions giving identiications o (d-2)-aces. GFT states are then, in representation variables, spin networks o G. The combinatorics o the ield arguments in the action S = 1 2 dg i d g i φ(g i )K (g i g 1 i )φ( g i )+ λ (d + 1)! dg i j φ(g 1 j )...φ(g d+1 j )V (g i j g 1 ji ), is constructed so to obtain d-dimensional complexes as Feynman diagrams. It describes the interaction o d+1 (d-1)-simplices to orm a d-simplex by gluing them along their (d- 2)-aces (arguments o the ields). The interaction is speciied by the choice o unction V. The kinetic term involves two ields each representing a given (d-1)-simplex seen rom one o the two d-simplices (interaction vertices) sharing it. Thus the unction K speciies how the geometric degrees o reedom are propagated across simplices.

5 φ φ φ φ φ φ FIGURE 5. The 3d example: the simplicial representation o the interaction and o the propagation Most o the work up to now has ocused on the perturbative aspects o quantum GFTs, using the expansion in Feynman diagrams o the partition unction: Z = Dφ e S[φ] = Γ λ N sym[γ] Z(Γ), where N is the number o interaction vertices in the Feynman graph Γ, sym[γ] is a symmetry actor or the graph and Z(Γ) the corresponding Feynman amplitude. Each edge o the Feynman graph is made o d strands, one or each argument o the ield, and each one is then re-routed at the interaction vertex, ollowing the pairing o ield arguments in the vertex operator. Each strand goes through several vertices, coming back where it started, or closed Feynman graphs, and thereore identiies a 2-cell. Each Feynman graph Γ is then a cellular complex, that, because o the combinatorics o ield arguments in the action, is topologically dual to a d-dimensional simplicial complex. The resulting complexes/triangulations can have arbitrary topology, because each simplicial complex is built up by arbitrary gluings o d-simplices to one another. In representation space, each Feynman diagram is given by a spin oam (a 2-complex with aces labeled by representation variables), and each Feynman amplitude by a spin oam model: Z(Γ) = {J } A({J }). These models had been introduced in the loop quantum gravity approach to deine the covariant dynamics o states o the quantum gravitational ield, i.e. spin networks, and in act transition amplitudes betwen given spin network states on the boundary is obtained in GFT as the expectation value o ield operators having the same combinatorial structure o the two spin networks. The same representation variables in loop quantum gravity, have a geometric interpretation as quantum numbers o geometric operators, thus each o these Feynman amplitudes deines a sum-over-histories or discrete quantum gravity on the speciic triangulation dual to the Feynman diagram. They can be understood, thereore, as a new implementation o the idea o simplicial gravity path integrals, like quantum Regge calculus and dynamical triangulations. Actually, the amplitudes Z(Γ) are usually at least directly motivated, rom discretizations o classical gravity theories, and, in some models, take the explicit orm o simplicial gravity path integrals. At the same time, this sum over geometries is generated within a sum over simplicial topologies corresponding to the perturbative sum over Feynman diagrams. To summarize: GFT incorporates many ingredients o other approaches to quantum gravity. Boundary states are spin networks, as in LQG, but they have a dual description

6 as simplicial spaces, as in simplicial quantum gravity. Their dynamics is expressed as a covariant sum over quantum geometries as in spin oam models, or a discrete gravity path integral, as in quantum Regge calculus, but involves also a sum over inequivalent triangulations, as in the dynamical triangulations approach. As an explicit example, consider the Boulatov GFT model or 3d quantum gravity: S 3d [φ] = 1 [dg] 3 φ(g 1,g 2,g 3 )φ(g 3,g 2,g 1 ) + 2 λ [dg] 6 φ(g 1,g 2,g 3 )φ(g 3,g 4,g 5 )φ(g 5,g 2,g 6 )φ(g 6,g 4,g 1 ) (1) 4! or a real ield φ : SU(2) 3 R invariant under the diagonal right action o SU(2): φ(g 1,g 2,g 3 ) = φ(g 1 g,g 2 g,g 3 g) g SU(2). The Feynman diagrams are dual to 3d triangulations. The Feynman amplitudes are Z(Γ) = L Γ dh L δ( h L ) L with a single delta unction on the group δ( L h L ) or each 2-cell in the Feynman diagram, dual to a single edge e o the simplicial complex, with argument given by the product o group elements h L each associated to a link in the boundary o the 2-cell. The same amplitude can be given in representation space: ( ) Z(Γ) = j { } j1 j (2 j + 1) 2 j 3, v j 4 j 5 j 6 where the symbol or the vertex amplitude is the well-know 6 j-symbol rom the recoupling theory o angular momentum This is the Ponzano-Regge spin oam model. At this stage the connection with simplicial path integrals is rather indirect, but still very clear. Consider the continuum 3d gravity action: S(e,ω) = tr(e F(ω)), M with variables the triad 1-orm e I (x) su(2) and the 1-orm connection ω J (x) su(2), with curvature F(ω). Introducing the simplicial complex and its topological dual cellular complex, we discretize the triad in terms o Lie algebra elements associated to the edges o the simplicial complex as E e = E = e e(x) = Ei J i su(2), and the connection in terms o parallel transports along links o the dual complex as g L = e L ω SU(2). The discrete curvature is given by: G = G e = L g L = e F SU(2), and a discrete counterpart o the continuum action is:. S(E,g) = Γ tr ( E G ). The path integral or this discrete theory on the simplicial complex is equal to the previously computed GFT Feynman amplitude Z(Γ or the diagram Γ dual to :

7 Z(Γ) GFT = su(2) de L SU(2) dg L e i tr(e G ) = L SU(2) dg L δ ( ) G, which, as we have seen, can be also expressed as a unction o group representations j e. From all this, we also learn that spin oam models can be seen as a way o re-writing simplicial gravity path integrals expressed in connection (group) variables. SOME RECENT RESULTS New GFT (spin oam) models or 4d gravity The irst task or a candidate approach to quantum gravity is the construction o interesting models or the microscopic quantum dynamics o space in 4 dimensions. The starting point o all recent model building has been the (Plebanski) ormulation o 4d gravity as a constrained BF theory, in terms o so(4) Lie algebra-valued 1-orm connection ω and 2-orm B: S(ω,B,φ) = [B IJ F IJ (ω) 12 ] φ IJKLB KL B IJ. M Variations with respect to the Lagrange multiplier φ, in act, give constraints on the B variables, whose solution [6] orce B to be a unction o a tetrad ield e: B IJ = ± 1 2 εij KL e K e L. On these solutions, the action becomes the Palatini action or gravity. We know how to discretize and quantize BF theories in any dimension, and in particular we know how to construct the corresponding spin oam models and GFT action, and we also know how to discretize the Plebanski constraint on an arbitrary simplicial complex. The idea is then to start rom such GFT action or BF: S[φ] = 1 dg i [φ(g 1,g 2,g 3,g 4 )] 2 + λ dg j [φ(g 1,g 2,g 3,g 4 )φ(g 4,g 5,g 6,g 7 ) 2 5! φ(g 7,g 3,g 8,g 9 )φ(g 9,g 6,g 2,g 10 )φ(g 10,g 8,g 5,g 1 )], (2) or a real ield: φ(g 1,..,g 4 ) : SO(4) 4 R, symmetric under (local Lorentz): φ(g 1 g,g 2 g,...,g 4 g) = φ(g 1,...,g 4 ), or rom the corresponding known quantum boundary states (SO(4) spin networks) or Feynman (spin oam) amplitudes: Z(Γ) = L dg L δ( g L ) = L { j +, j } { } v } v (2 j + + 1)(2 j + 1) 15 j +{ 15 j, (3) v (we used the seldual/anti-seldual splitting o SO(4) representations, and the vertex amplitude is the 15 j-symbol rom the recoupling theory o angular momentum), which we know how to contruct rom the same quantum states, and impose suitable restriction on its variables to impose the discrete Plebanski constraints.

8 Now we are aced with two possible strategies: 1. deine a GFT model with Feynman amplitudes being maniestly simplicial path integrals or BF with gravity constraints; then re-write them as spin oam models; 2. ind a quantum version o Plebanski constraints, impose them on quantum BF spin network states to get gravity spin network states, then construct spin oam/gft amplitudes rom these states; inally, check that they encode correctly simplicial geometry. The irst strategy is made more diicult by the act that we do not have a ormulation o GFT reproducing a BF simplicial path integral with both B and g variables, and the gravity constraints should be imposed on B variables. The second strategy is based on geometric quantization and stems rom the identiication o the B variables, at the quantum level, with generators T IJ o the so(4) Lie algebra, which then act as operators on the SO(4) spin network states labelled by representation o the same group. The classical constraints, unctions o the B s are then also turned into operators and imposed at the quantum level on such spin networks, to give restrictions on both the representation attached to their links and on the intertwiners associated to their vertices [9, 10]. The resulting restricted spin networks are identiied as gravity spin networks and used to construct new spin oam vertex amplitudes: A v (k,i e ) = 15 j( j ab +,i+ a ) 15 j( j ab,i a ) i a i i a i + a i +, a a a=1,5 where j ± ab = 1±γ 2 k are seldual/anti-seldual SU(2) representations, associated to the 2- cells o the Feynman diagram, k ab are representations o the diagonal SU(2) group sitting inside SO(4), γ is an arbitrary constant (Immirzi parameter), i ± a are seldual/anti-seldual intertwiners associated to the links o the same diagram, i a are SU(2) intertwiners associated to the same links, and the unctions are appropriate mapping coeicients rom SO(4) to SU(2). This is the EPR(L) spin oam model, currently the source o many new developments [9, 10, 11]. 1. This model has two very nice properties: 1) its boundary spin networks match exactly those o canonical loop quantum gravity, with the same spectra or geometric operators; 2) the vertex amplitude reduces to the (cosine o) the Regge action in some semi-classical limit, conirming that the model correctly captures simplicial geometry at least or a single 4-simplex and at least in such approximation. In order to ollow the irst strategy, it would be necessary to have a GFT depending on Lie algebra variables representing the B variables o BF theory. It turns out that this requires a whole new representation o the GFT ormalism [12], using tools rom noncommutative geometry [14]. 1 A third strategy, closely related to the second, is based on the use o group coherent states and leads depending on how it is done, to the EPR(L) or to the so-called Freidel-Krasnov [8] model.

9 Consider the non-commutative su(2) Lie algebra, which is isomorphic to R 3 as a vector space. On such non-commutative space, one can consider unctions on R 3 endowed with a star product * relecting the non-commutativity o the underlying algebra. This is done irst introducing non-commutative plane waves depending on a group element g SU(2) and a Lie algebra element x su(2), as: e g (x) : su(2) SU(2) C : (x,g) e i 1 2 Tr(xg). This leads to the deinition o a non-commutative Fourier transorm: C(SU(2)) C (R 3 ) C(su(2)) φ(x) = dgφ(g)e g (x) = dgφ(g)e i 2 1Tr(xg), SU(2) SU(2) with *-product deined on plane waves to respect the group multiplication, as: (e g1 e g2 )(x) = e i 2 1 Tr(xg1) e i 2 1 Tr(xg2) = e i 1 2 Tr(xg 1g 2 ) = e g1 g 2 (x) and by linearity on generic unctions. The same NC Fourier transorm can be inverted: φ(g) = ( ) d x φ e g 1 (x), modulo some technical subtleties. The extension o this non-commutative Fourier transorm to SU(2) D and to arbitrary compact groups, including SO(4), is immediate. The idea is then to use this transorm to turn GFTs into non-local and non-commutative ield theories on Lie algebras. Let s irst see what this gives in the 3d case. Using the Fourier transorm: φ(x 1,x 2,x 3 ) = dg 1..dg 3 φ(g 1,g 2,g 3 )e g1 (x 1 )e g2 (x 2 )e g3 (x 3 ), (4) we can re-write the whole action (1) or the Boulatov model in these new x variables. For the Feynman amplitudes in this new representation, we ind Z(Γ) = dx R 3 dh L e i 1 2 Tr(x G ) δ G 1 L SU(2) x G (x ), (5) with G = L h L, i.e. we obtain exactly the BF (3d gravity) simplicial path integral, by identiication o the Lie algebra variables x with the discrete triad associated to each edge: x B, with an additional constraint δ G 1 B G (B ), whose commutative analogue would impose that the holonomy G lies in the plane orthogonal to the edge to which B is associated (the implications o the non-commutative constraint, on the other hand, are still being investigated). The same construction goes through with the same result also in the 4d case, or BF theory. It is then clear that this new non-commutative representation o GFT is a representation in terms o metric variables (as opposed to connection variables, and that it gives Feynman amplitudes which have directly the orm o simplicial path integrals. To construct a corresponding gravity model in 4d, one has then to impose the gravity constraints on the 4d GFT, once this is written as a non-commutative ield theory

10 on the Lie algebra so(4) 4. They can be imposed on the Lie algebra variables B labeling the 2-cells o Γ, dual to triangles o the simplicial complex, requiring that k t S 3 SU(2) (normal to tetrahedron t), s.t. B = kt 1 B + k t t, and that t B = 0. In turn, these two conditions can be imposed by means o the two projection operators S k t δ k 1 t B + k (B t ) and C δ ( ) t B acting on each ield φ in the GFT action. In order to implement the correct simplicial geometry, it turns out to be necessary to generalize slightly the standard deinition o the ield to φ(b 1,B 2,B 3,B 4 ;k), with k S 3, with extended invariance: φ(b 1,B 2,B 3,B 4 ;k) = φ(hb 1,hB 2,B 3,hB 4 ;h 1 k) with h Spin(4). On this ield the two projections S k and C can be imposed giving: Φ(B + 1,B+ 2,B+ 3,B+ 4 ;k) = (S k C φ)(b 1,B 2,B 3,B 4 ;k). Various models can be deined, and the identiication o the correct way o imposing them and the deinition o the correct GFT model (with and without the Immirzi parameter) is in progress and will be reported elsewhere [13]. In any case all the models being considered within this ormalism and imposing the above constraints produce Feynman amplitudes with the general orm: Z(Γ) = db so(4) t Spin(4) dh L (S 1 S 2 )(B ) e 2 i Tr(B G ). (6) Thus they are again nice simplicial gravity path integrals, with maniest implementation o the simplicial geometry, or a BF theory on which one has imposed both the gravity constraints S 1 on the Lie algebra variables B, and secondary constraints S 2 on the connection variables h L, ensuring consistency between the gravity constraints and the parallel transport. This 4d construction and the analysis o the corresponding model(s) is currently being completed [13]. It is anyway clear that this new GFT representation realizes an explicit duality between simplicial quantum gravity and loop quantum gravity (spin oam models), on top o bringing GFTs in close contact with non-commutative geometry. Group ield theory renormalization and the sum over topologies A second area o recent developments [17, 18] has been the application o quantum ield theory techniques to GFTs, to gain a better understanding and control over its perturbative expansion, using tools rom renormalization theory. GFTs deine a sum over simplicial complexes 1) o arbitrary topology and 2) that correspond, in general, to pseudo-maniolds, i.e. contain conical singularities at the vertices. The issue o controlling the sum over topologies, and o identiying an approximation in which simple topologies dominate, has an analogue in the context o matrix models [5]. In matrix models, it has been shown that, in the so-called large-n limit, diagrams o trivial topology (S 2 in the compact case) dominate the perturbative sum. The issue o controlling the relative weight o maniolds and pseudo-maniolds in the perturbative

11 sum arises instead only in dimensions D > 2 and it has represented an obstacle to the development o tensor models. A third issue is to identiy and control the divergences that arise in this pertrbative expansion, which are o two types: a) divergences in the sum over (pre-)geometric data (group elements or group representations) or each amplitude associated to a given simplicial complex; b) the divergence o the entire sum over simplicial complexes. The work o [17] makes the irst steps toward solving these three issues, leaving aside 3b), starting a systematic study o GFT renormalization, in the context o the Boulatov model or 3d (Riemannian) quantum gravity, that we have discussed above. The divergences o this model are related to the topology o the bubbles (3-dimensional cells), dual to vertices o the simplicial complex, in the Feynman diagrams, but it is diicult to establish which diagrams need renormalization in ull generality, mainly due to the very complicated topological structure o 3D simplicial complexes, ater a scale is introduced in the theory by an explicit cut-o in the spectral decomposition o the propagator. What is achieved in [17] is the ollowing: a detailed algorithm is given or identiying bubbles (3-cells) in the Feynman diagrams o the model, together with their boundary triangulations, which in turn can be used to identiy the topology (genus) o the same boundary. using this algorithm, the authors are able to identiy a subclass o Feynman diagrams which allow or a complete contraction procedure, and thus the ones that allow or an almost standard renormalization; moreover, this class o graphs, dubbed type 1 is shown to be a natural generalization o the 2d planar graphs o matrix models, thus suggesting that they can play a similar role in GFTs to that o planar diagrams in matrix models. Notice also that the existence o such contraction procedure can be seen as a sort o generalised locality property or this class o diagrams, an exact power counting o divergences is proven, according to which their divergence is o the order: A Γ = ( ) δ Λ BΓ 1 (I) where B Γ is the number o bubbles in the diagram Γ, and δ Λ (I) is the delta unction on the group, with representation cut-o Λ, evaluated at the identity I. On the basis o these results, o the experience gained with esplicit evaluation o Feynman amplitudes, and o a better understanding o the combinatorial structure o the Feynman diagrams, it was then possible to put orward two main conjectures, obviously conirmed in all examples considered: 1) that all type 1 diagrams correspond to maniolds o trivial topology; and 2) that an appropriate generalization o the usual scaling limit (large-n) o matrix models to these GFT would lead to the relative suppression o all the non-type 1 diagrams, and thus leave us with: only type 1 diagrams in need or renormalization, and only maniolds o trivial topology in the theory. A dierent perspective on GFT divergences is taken in [18], which also tackles the diicult issue o the summability o the entire perturbative sum (thus including the sum

12 over topologies). The authors consider both the Boulatov model and a modiication o the same proposed in [19], obtained adding a second interaction term in the action: + λ δ 4! 6 i=1 dg i [φ(g 1,g 2,g 3 )φ(g 3,g 4,g 5 )φ(g 4,g 2,g 6 )φ(g 6,g 5,g 1 )]. (7) The new term corresponds to the only other possible way o gluing 4 triangles to orm a closed surace. This mild modiication gives a Borel summable partition unction [19]. This shows that a control over the sum over topologies and a non-perturbative deinition o the corresponding GFT is easible. For both the Boulatov model and the modiied one, the authors o [18] establish general perturbative bounds on amplitudes using powerul constructive techniques, rather than ocusing on explicit power counting or Feynman evaluations. They ind that, using the same regularization used in [17], the amplitudes o the Boulatov model or a diagram with n vertices, are bounded, with cut-o Λ, by K n Λ 6+3n/2, or some arbitrary positive constant K, while the modied model has amplitudes bounded by K n Λ 6+3n, and that both bounds can be saturated. This result shows that the Freidel-Louapre modiication (BFL), even though Borel summable, is perturbatively more divergent that the original model. The second main result o [18] relies again on constructive ield theory techniques. A cactus expansion o the BFL model is obtained, and used to prove the Borel summability o the ree energy o the model and to deine its Borel sum. We can expect more applications o these techniques to other GFT models, also in higher dimensions. Similar techniques have been also applied in [20] to obtained perturbative bounds, in any dimensions, on the colored GFT models or BF theory irst deined in [21]. This colored extension o the GFT ormalism is particularly suited or the analysis o the topology o the GFT Feynman diagrams, in that, or example, the bubbles are readily identiied, and has been used in [21] to 1) show that the associated Feynman diagrams are cellular complexes; 2) deine their cellular homology; 3) deine a related homotopy transormation; 4) relate the GFT amplitudes or these diagrams to the undamental group; 5) prove that the corresponding closed Type 1 graphs are homotopically trivial, and thus, by the Poincaré conjecture, 3-spheres. This proves the irst conjecture put orward in [17]. Moreover, in [22] the boundary graphs o the same colored models are identiied, and the topological (Bollobas-Riordan) Tutte polynomials associated to (ribbon) graphs are generalized to topological polynomials adapted to colored group ield theory diagrams in arbitrary dimension. Emergent non-commutative matter ields rom group ield theories The last set o results we want to mention are interesting steps in the direction o bridging the gap between the microscopic GFT description o quantum space (and the language o spin networks, simplices, spin oams, etc) and macroscopic continuum physics, including usual General Relativity and quantum ield theories or matter. In act, this problem is aced by all discrete approaches to quantum gravity[1].

13 One would expect [16] a generic continuum spacetime to be ormed by zillions o Planck size building blocks, and thus to be, rom the GFT point o view, a many-particle system whose microscopic theory is given by some undamental GFT action. This suggests us to look or ideas and techniques rom statistical ield theory and condensed matter theory, and to try to apply/re-interpret them in a GFT context. Condensed matter theory also provides examples o systems in which the collective behaviour o the microscopic constituents, in some hydrodynamic approximation, gives rise to eective emergent geometries rom the collective variables themselves[23]. What happens is that the collective parameters describing the luid and its dynamics can be recast as the component unctions o an eective metric ield, and that the eective dynamics o perturbations (quasi-particles, themselves collective excitations o the undamental constituents o the luid) takes the orm o matter ield theories in curved spacetimes, on the same eective metrics. Inspired by these results, we ask: assuming that a given GFT model describes the microscopic dynamics o (the undamental building blocks o) a discrete quantum spacetime, and that some solution o the corresponding undamental equations can be interpreted as identiying a given quantum spacetime coniguration, 1) can we obtain an eective macroscopic continuum ield theory or matter ields rom it? and i so, 2) what is the eective spacetime and geometry that these emergent matter ields see? As it turns out, it is possible [15] to apply the same procedure to GFT models and obtain rather straightorwardly eective continuum ield theories or matter ields. The eective matter ield theories that we obtain most easily are QFTs on non-commutative spaces o Lie algebra type. The basic point is the use o the same natural duality between Lie algebra and corresponding Lie group, that we have exploited in the previous section, to construct a new (non-commutative) representation or GFTs, now re-interpreted as the non-commutative version o the usual duality between coordinate and momentum space. More precisely, i we have a non-commutative spacetime o Lie algebra type [X µ,x ν ] = C λ µν X λ, the corresponding momentum space is naturally identiied with the corresponding Lie group, in such a way that the non-commutative coordinates X µ act on it as (Lie) derivatives (as we expect in the quantum setting). The link with GFTs is then obvious: in momentum space the ield theory on such non-commutative spacetime will be given, by deinition, by some sort o group ield theory. The task will then be to derive the relevant ield theories rom matter rom interesting GFT models o quantum spacetime. In 3 spacetime dimensions the results obtained recently [24] concern the euclidean signature and a non-commutative spacetime given by the su(2) Lie algebra. The group ield theory we start rom is again the Boulatov model. We look [24] at two-dimensional variations δφ(g 1,g 2,g 3 ) ψ(g 1 g 1 3 ) around a class o GFT classical solutions (they can be interpreted as quantum lat space on some a priori non-trivial

14 topology) given by: φ (0) (g 1,g 2,g 3 ) = 3! λ dg δ(g 1 g)f(g 2 g)δ(g 3 g), F : G R, F 2 = 1 (8) The eective action is then: S e [ψ] S 3d [φ (0) + ψ] S 3d [φ (0) ] = 1 ψ(g)k (g)ψ(g 1 ) 2 µ [dg] 3 ψ(g 1 )ψ(g 2 )ψ(g 3 )δ(g 1 g 2 g 3 ) λ [dg] 4 ψ(g 1 )..ψ(g 4 )δ(g 1..g 4 ), 3! 4! with the kinetic term and the 3-valent coupling given in term o F: 2 K (g) = 1 2( F) dhf(h)f(hg), µ 3! = λ 3! with F(g) assumed to be invariant under conjugation F(g) = F(hgh 1 ). This is a noncommutative quantum ield theory invariant under the quantum double o SU(2) (which provides a quantum deormation o the Poincaré group ISU(2)). Expanding F in group characters: F(g) = j N/2 F j χ j (g), where j N label irreducible representations o SU(2), the kinetic term reads: K (g) = 1 3F0 2 Fj 2 χ j (g) = j 0 d j Fj 2 j 0 ( 1 χ j(g) d j F. ) 2F 2 0 Q2 (g) M 2. (9) We can interpret Q 2 (g) 0 as a generalized Laplacian", and F0 2 as a gravitational mass M 2. For the simple classical solution F(g) = a+ 1 a 2 χ 1 (g), we obtain K (g) = 4 3 (1 a2 ) p 2 2a 2. (10) Similar results have also been obtained in the 4d context [25, 15]. It has been shown that rom GFT models (indirectly) related to 4d quantum gravity, it is possible to derive eective non-commutative matter ield theories o deormed special relativity type, based on momentum group given by AN(3) SO(4, 1)/SO(3, 1) and a non-commutative κ- Minkowski spacetime: [x 0,x i ] = iκx i ; these ield theories orm the basis or much current work in the area o quantum gravity phenomenology [26]. Work in this direction, thereore, including these recent results, is a step in bridging the gap between the undamental discrete theory o spacetime we have at hand, and a continuum description o spacetime, and getting closer to possible quantum gravity phenomenology, thus bringing this class o models a bit closer to experimental alsiiability. Let us also notice that, contrary to the situation in analog gravity mdoels in condensed matter, we have here models which are non-geometric and ar rom usual geometrodynamics in their ormalism, but which at the same time are expected to encode quantum geometric inormation and indeed to determine, in particular in their classical solutions, a (quantum and thereore classical) geometry or spacetime [2]. We are, in other words, ar beyond a pure analogy.

15 CONCLUSIONS We have introduced the key ideas behind the group ield theory approach to quantum gravity, and to the microscopics o quantum space, and the basic elements o its ormalism. We have also briely reported on some recent results obtained in this approach, concerning both the mathematical deinition o these models, and possible avenues towards extracting interesting physics rom them. From our outline it should be clear that, while much more work is certainly needed in this area o research, the new direction toward quantum gravity that group ield theories provide is exciting and ull o potential. ACKNOWLEDGMENTS We thank the organizers o the Max Born symposium, in particular Jurek Kowalski- Glikman, and all the attendees, or a very stimulating and enjoyable meeting. REFERENCES 1. D. Oriti, ed., Approaches to Quantum Gravity, Cambridge University Press, Cambridge (2009) 2. D. Oriti, in [1], [arxiv: gr-qc/ ] 3. D. Oriti, in Quantum Gravity, B. Fauser, J. Tolksdor and E. Zeidler, eds., Birkhaeuser, Basel, (2007), [arxiv: gr-qc/ ] 4. L. Freidel, Int.J.Phys. 44, , (2005) [arxiv: hep-th/ ] 5. F. David, Nucl. Phys. B257, 45 (1985); P. Ginsparg, [arxiv: hep-th/ ] 6. A. Perez, Class. Quant. Grav. 20, R43, (2003), [arxiv: gr-qc/ ] 7. C. Rovelli, Quantum Gravity, Cambridge University Press, Cambridge (2006) 8. L. Freidel, K. Krasnov, Class. Quant. Grav. 25, (2008) [arxiv: ] 9. J. Engle, R. Pereira, C. Rovelli, Phys. Rev. Lett. 99, (2007), [arxiv: ] 10. J. Engle, E. Livine, R. Pereira, C. Rovelli, Nucl. Phys. B 799, 136 (2008), [arxiv: ] 11. F. Conrady, L. Freidel, Phys. Rev. D 78, (2008), [arxiv: [gr-qc] 12. A. Baratin, D. Oriti, The non-commutative representation or group ield theories and simplicial gravity, to appear 13. A. Baratin, D. Oriti, A new group ield theory or 4d quantum gravity, to appear 14. L. Freidel, S. Majid, Class. Quant. Grav. 25, (2008) [arxiv: hep-th/ ] 15. D. Oriti, J. Phys. Con. Ser. 174, (2009) [arxiv: ] 16. D. Oriti, Proceedings o Science, [arxiv: ] 17. L. Freidel, R. Gurau and D. Oriti, Phys. Rev. D 80, (2009), [arxiv: ] 18. J. Magnen, K. Noui, V. Rivasseau and M. Smerlak, Class. Quant. Grav. 26, (2009), [arxiv: ] 19. L. Freidel and D. Louapre, Phys. Rev. D 68, (2003) [arxiv: hep-th/ ] 20. J. Ben Geloun, J. Magnen, V. Rivasseau, [arxiv: [hep-th]] 21. R. Gurau, [arxiv: [hep-th]] 22. R. Gurau, [arxiv: [hep-th]] 23. C. Barcelo, S. Liberati, and M. Visser, Living Rev. Rel. 8, 12 (2005) [arxiv: gr-qc/ ] 24. W. Fairbairn and E. Livine, Class. Quant. Grav. 24, 5277 (2007) [arxiv:gr-qc/ ] 25. F. Girelli, E. Livine and D. Oriti, to appear in Phys. Rev. D, [arxiv: ] 26. G. Amelino-Camelia, Lect. Notes Phys. 669, , [arxiv:gr-qc/ ]