Cited by 244Noncommutative and Quantum Gravity TheoriesBlack Holes and Theoretical PhysicsRelativity and Gravitational Theory

Barrett–Crane model from a Boulatov–Ooguri field theory over a homogeneous space

Open access
De Pietri, Roberto, Freidel, Laurent, Krasnov, Kirill, Rovelli, Carlo·2000·Nuclear Physics B

Abstract

Boulatov and Ooguri have generalized the matrix models of 2d quantum gravity to 3d and 4d, in the form of field theories over group manifolds. We show that the Barrett–Crane quantum gravity model arises naturally from a theory of this type, but restricted to the homogeneous space S3=SO(4)/SO(3), as a term in its Feynman expansion. From such a perspective, 4d quantum space-time emerges as a Feynman graph, in the manner of the 2d matrix models. This formalism provides a precise meaning to the “sum over triangulations”, which is presumably necessary for a physical interpretation of a spin-foam model as a theory of gravity. In addition, this formalism leads us to introduce a natural alternative model, which might have relevance for quantum gravity.

AI snapshot

Written from the paper’s full text.

TL;DR

The paper shows that the Barrett–Crane quantum gravity model (its first version, in the q→1 limit) arises as a term in the Feynman expansion of a Boulatov–Ooguri-type field theory over four copies of the homogeneous space S³ = SO(4)/SO(3). This gives a precise implementation of a “sum over triangulations” as a sum over colored 2-complexes/spin foams, and it introduces an alternative model (Case A) with possible relevance for quantum gravity.

Key findings

  • The Barrett–Crane amplitude over a triangulation Δ is recovered as the Feynman amplitude of the dual 2-complex Γ(Δ): the paper states that the Barrett–Crane model over Δ is precisely the amplitude of Γ(Δ), and that the individual terms of the state sum match.
  • In Case B, faces are colored by simple SO(4) representations N, each edge by the normalized Barrett–Crane intertwiner, the face amplitude is A_f(N) = dim N, with dim N = (N+1)² for simple representations, and the vertex amplitude is the 15j Wigner symbol built from ten simple representations and five Barrett–Crane intertwiners.
  • The Feynman expansion generates a sum over colored 2-complexes s = (Γ,c), i.e. spin foams, rather than only a fixed triangulation; the 2-complex weight is w(Γ) = λ^{n(Γ)}/sym(Γ), and only 2-complexes with 4-valent edges and 5-valent vertices contribute.
  • Case A gives a different model: faces are colored by simple SO(4) representations, edges by intertwiners in an orthonormal basis, face and edge amplitudes are 1, and the vertex amplitude is a 15j Wigner symbol; the paper argues this model provides another solution to the intersection constraints that reduce BF theory to general relativity.

Methods

  • The authors define a real field φ̃(g₁,g₂,g₃,g₄) over four copies of G = SO(4), constant along SO(3) equivalence classes so it becomes a function on (S³)⁴, symmetric under permutations of its four arguments, and projected onto its SO(4)-invariant part in two inequivalent ways (Case A and Case B).
  • The dynamics is given by an action whose fifth-order potential has the structure of a 4-simplex; the paper performs a Peter–Weyl mode expansion on S³ = SO(4)/SO(3), derives the propagator and vertex, and analyzes the Feynman expansion in powers of the coupling λ.
  • The Feynman graphs are 4-strand, 5-valent graphs whose vertices, edges, and closed strands form colored 2-complexes; the authors compare these amplitudes to the Barrett–Crane state sum and identify the coloring of faces with spins and edges with intertwiners.

Limitations

  • Stated: the sum over spin foams obtained is presumably divergent, with two sources—the sum over colorings and the sum over 2-complexes. The paper suggests regulating the coloring sum via quantum-group Clebsch–Gordan coefficients with q^k = 1, and notes that convergence in λ might occur below a critical value determined by the exponential growth of triangulations, but that the Feynman expansion generates triangulations of arbitrary manifolds and this might destroy convergence.
  • Stated: not every 2-complex comes from a triangulation of a 4-manifold; the paper notes a characterization in 3d but says “We are not aware of related results in 4d.”
  • Evident from the text: the analysis is formal and does not provide a rigorous convergence proof or a complete physical interpretation; the paper itself describes the sum as “presumably divergent” and the physical interpretation as a perspective rather than a derived result.

Model-written summary. Check it against the paper before relying on it.

Integrity signals

Registry

Crossref · 10.1016/s0550-3213(00)00005-5

Cites

Statistics

Nothing to recompute.

Claims the paper makes

0 of 24 cited sources checked · 0 supported · 0 flagged

  • Findingreasoning
    § I. INTRODUCTION · p. 1

    The q→1 limit of the Barrett-Crane model can be derived from the Feynman expansion of a field theory over four copies of the homogeneous space S^3 = SO(4)/SO(3).

    “Here, we show that the q → 1 limit of the Barrett-Crane model can be derived from the Feynman expansion of a field theory over four copies of the homogeneous space S 3 = SO(4) / SO(3).”
    • Also stated in: § Barrett-Crane model from a Boulatov-Ooguri field theory over a homogeneous space · p. 1 · plain
      “We show that the Barrett-Crane quantum gravity model arises naturally from a theory of this type, but restricted to the homogeneous space S 3 = SO (4) /SO (3), as a term in its Feynman expansion.”
    Quote in the paperSubstantial claim
  • Findingreasoning
    § I. INTRODUCTION · p. 2

    The discrete momenta c in the Feynman expansion correspond precisely to the colorings c of the triangulation.

    “Next, we show that the discrete 'momenta' c in (4) correspond precisely to the colorings c of the triangulation in (1).”
    Quote in the paperSubstantial claim
  • Findingreasoning
    § IV. FEYNMAN GRAPHS · p. 9

    For each graph, the abstract set formed by the vertices, edges, and cycles forms a 2-complex, in which the faces are the cycles.

    “For each graph, the abstract set formed by the vertices, the edges, and the cycles forms a 2-complex, in which the faces are the cycles.”
    Quote in the paperSubstantial claim
  • Findingreasoning
    § IV. FEYNMAN GRAPHS · p. 9

    In Case B, faces f are labeled by simple representations N_f and contribute a factor dim N_f.

    “Thus, faces f are labeled by simple representations N f and contribute a factor dim N f .”
    Quote in the paperSubstantial claim
  • Findingreasoning
    § I. INTRODUCTION · p. 2

    The Feynman expansion of the field theory generates many more terms than a Barrett-Crane model over a fixed triangulation.

    “The Feynman expansion of field theory we consider generates many more terms than a Barrett-Crane model over a fixed triangulation.”
    Quote in the paperSubstantial claim
  • May combine two claims. 21
  • Classified as probably not a substantial claim. 25
  • May combine two claims.

    Findingown data
    § III. MODE EXPANSION · p. 6

    The invariant vectors w_β are real, and the matrix elements can also be chosen to be real.

    “In the appendix, we show that the invariant vectors w β are real, and that the matrix elements can also be chosen to be real.”
    Quote in the paperNot a substantial claim
  • May combine two claims.

    Findingreasoning
    § III. MODE EXPANSION · p. 6

    The integral in the mode expansion projects the β index over a normalized SO(3) invariant vector w_β; because this exists only in simple representations and is unique, the sum over representations Λ reduces to a sum over simple representations N only.

    “The integral in the last term projects the β index over a (normalized) SO (3) invariant vector, which we denote by w β .”
    • Also stated in: § III. MODE EXPANSION · p. 6 · plain
      “As this exists only in simple representations (and is unique, see the appendix), the sum over representations Λ reduces to a sum over the simple representations N only”
    Quote in the paperSubstantial claim
  • May combine two claims.

    Findingreasoning
    § IV. FEYNMAN GRAPHS · p. 9

    The Feynman graphs generated are all possible 4-strand 5-valent graphs, where each edge is a collection of four strands and vertices are as shown in Fig. 3.

    “The Feynman graphs we gets are all possible '4-strand' 5-valent graphs, where a '4-strand graph' is a graph whose edges are collections of four strands, and whose vertices are the ones shown in Fig. 3.”
    Quote in the paperSubstantial claim
  • Classified as probably not a substantial claim.

    Findingreasoning
    § II. DEFINITION OF THE MODELS AND MAIN RESULT · p. 4

    The potential fifth-order term has the structure of a 4-simplex.

    “The potential (fifth order) term has the structure of a 4-simplex.”
    Quote in the paperSubstantial claim
  • Classified as probably not a substantial claim.

    Findingreasoning
    § IV. FEYNMAN GRAPHS · p. 9

    In Case A, the weight of a 2-complex Γ is given by equation (14).

    “The weight of 2-complex Γ is then given by (14).”
    Quote in the paperSubstantial claim
  • Classified as probably not a substantial claim. May combine two claims.

    Findingreasoning
    § II. DEFINITION OF THE MODELS AND MAIN RESULT · p. 5

    In Case B, faces are colored by simple representations N_f of SO(4); each edge is colored by a single fixed normalized Barrett-Crane intertwiner i_BC; the face amplitude is A_f(N_f)=dim N_f=(N+1)^2; and the vertex amplitude is the 15j Wigner symbol constructed from ten simple representations and five Barrett-Crane intertwiners.

    “Case B. In this case, as in case A, faces are colored by simple representation N f of SO (4). Each edge, however, is colored by a single, fixed, intertwiner i BC , the ( normalized ) Barrett-Crane intertwiner [1].”
    • Also stated in: § II. DEFINITION OF THE MODELS AND MAIN RESULT · p. 5 · plain
      “The amplitude of the vertex T v ( ⃗ N v , ⃗ ı v ) is the 15j Wigner symbol constructed from the ten simple representations ⃗ N v and the five BarrettCrane intertwiners i BC .”
    Quote in the paperSubstantial claim0 of 1 sources checked
    • cites [1] J. W. Barrett and L. Crane, J. Math. Phys. 39 (1998) 3296. source

      Not checked in the free run.

  • May combine two claims.

    Findingreasoning
    § III. MODE EXPANSION · p. 6

    The quantities H_N^α(g)=D^{(N)}_{αβ}(g)w^β are invariant under the right action of SO(3) and form an orthogonal basis for S^3 spherical harmonics.

    “The quantities H N α ( g ) = D ( N ) αβ ( g ) w β are invariant under the (right) action of SO (3), and, thus, can be thought of as functions on the three-sphere: H N α ( g ) = H N α ( x ).”
    • Also stated in: § III. MODE EXPANSION · p. 6 · plain
      “In fact, they form an orthogonal basis for S 3 spherical harmonics.”
    Quote in the paperSubstantial claim
  • May combine two claims.

    Findingreasoning
    § I. INTRODUCTION · p. 2

    The Feynman expansion extends the Barrett-Crane state sum to a sum over colored 2-complexes and fixes the relative weight of these.

    “The expansion (2) extends the Barrett-Crane state sum (1) to a sum over colored 2-complexes, and fixes the relative weight of these.”
    Quote in the paperSubstantial claim
    • Rests on an assumption: The Barrett-Crane amplitude A_BC(Δ,c) depends only on the 2-complex Γ(Δ), its dual 2-skeleton, and not on the full combinatorial information of the triangulation Δ.
  • May combine two claims.

    Findingnone given
    § II. DEFINITION OF THE MODELS AND MAIN RESULT · p. 5

    The 2-complex weight factor w(Γ) vanishes unless Γ has 4-valent edges and 5-valent vertices only; in this case w(Γ)=λ^{n(Γ)}/sym(Γ).

    “The 2-complex weight factor w (Γ) vanishes unless Γ has 4-valent edges and 5-valent vertices only; in this case, it is given by w (Γ) = λ n (Γ) /sym (Γ).”
    Quote in the paperSubstantial claim
  • Classified as probably not a substantial claim. May combine two claims.

    Findingreasoning
    § II. DEFINITION OF THE MODELS AND MAIN RESULT · p. 5

    In Case A, faces are colored by simple representations N_f of SO(4), edges by intertwiners i_e forming an orthonormal basis in K_{N_e}; the face amplitude is A_f=1, the edge amplitude is A_e=1, and the vertex amplitude is the 15j Wigner symbol constructed from ten simple representations and five intertwiners.

    “Case A. We color faces of by simple representation N f of SO (4), and edges by intertwiners i e , forming an orthonormal basis in K ⃗ N e . The amplitude of the face is A f = 1. The amplitude of the edge is A e = 1.”
    • Also stated in: § II. DEFINITION OF THE MODELS AND MAIN RESULT · p. 5 · plain
      “The vertex amplitude A v ( ⃗ N v , ⃗ ı v ) is the 15j Wigner symbol A ( ⃗ N v , ⃗ ı v ) constructed from the ten simple representations ⃗ N v and five intertwiners i v .”
    Quote in the paperSubstantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing), S4 (based).

    Findingnone given
    § V. TRIANGULATIONS, ORIENTATION AND SYMMETRIES OF φ · p. 10

    A 2-complex is orientable if all its loops (not just the cycles) are even.

    “Clearly, a 2-complex is orientable if all its loops (not just the cycles) are even.”
    Quote in the paperNot a substantial claim
  • May combine two claims.

    Findingreasoning
    § V. TRIANGULATIONS, ORIENTATION AND SYMMETRIES OF φ · p. 10

    Therefore all loops are even and the 2-complex is orientable.

    “Therefore all loops are even and the 2-complex is orientable.”
    Quote in the paperSubstantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

    Findingreasoning
    § APPENDIX B: INTERTWINERS AND THEIR SPACES · p. 14

    Using this technology, the integral of the product of four group elements is a resolution of the identity in K_{N1...N4} and can be written (B7).

    “Using this technology, the integral of the product of four group elements is simply a resolution of the identity in K N 1 ...N 4 and can be written (for any choice of basis) as”
    Quote in the paperNot a substantial claim
  • Classified as probably not a substantial claim.

    Premisecitation
    § I. INTRODUCTION · p. 3

    Harmonic analysis on the homogeneous space S^3=SO(4)/SO(3) yields precisely the simple representations of SO(4).

    “Recently, it was pointed out that harmonic analysis on the homogeneous space S 3 = SO(4) / SO(3) yields precisely the simple representations of SO(4) [23].”
    Quote in the paperSubstantial claim0 of 1 sources checked
    • cites [23] source

      Not checked in the free run.

  • May combine two claims.

    Interpretationreasoning
    § I. INTRODUCTION · p. 3

    The formalism leads to a natural alternative model, Case A, different from Barrett-Crane and somewhat closer to but distinct from the second version of the Barrett-Crane model.

    “The first alternative (Case A, below), is far more natural from the group theoretical point of view. It yields a different model, somewhat closer to, but distinct from the second version of the Barrett-Crane model.”
    Quote in the paperSubstantial claim
  • Classified as probably not a substantial claim. May combine two claims.

    Premisecitation
    § I. INTRODUCTION · p. 2

    The Ooguri-Crane-Yetter model was shown by Crane, Kauffman and Yetter to be triangulation independent, and therefore an invariant of the 4-manifold.

    “which was shown by Crane, Kauffman and Yetter [18] to be triangulation independent, and therefore to be an invariant of the 4-manifold.”
    Quote in the paperSubstantial claim0 of 1 sources checked
    • cites [18] L. Crane, L. Kauffman and D. Yetter, J. Knot Theor. Ramifications 6 (1997) 177-234, hep-th/9409167.

      Not checked in the free run.

  • May combine two claims.

    Premisecitation
    § I. INTRODUCTION · p. 2

    Ooguri extended the Boulatov construction to 4d; the Ooguri theory is a field theory over 4 copies of SU(2), and its Feynman expansion determines a state sum for a triangulated 4d spacetime summing over irreducible representations of SU(2).

    “Ooguri has extended the Boulatov construction to 4d in [16]. The Ooguri theory is a field theory over 4 copies of SU(2). Its Feynman expansion determines a state sum for a triangulated 4d spacetime, in which the sum is over the irreducible representations of SU(2).”
    Quote in the paperSubstantial claim0 of 1 sources checked
    • cites [16] H. Ooguri, Mod. Phys. Lett. A7 (1992) 2799.

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing), S4 (based).

    Premisenone given
    § APPENDIX B: INTERTWINERS AND THEIR SPACES · p. 14

    The intertwiner from the tensor product of two representations N1, N2 to a representation Λ, if it exists, is unique.

    “The intertwiner from the tensor product of two representations N 1 , N 2 to a representation Λ, if it exists is unique.”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing), S4 (based). May combine two claims.

    Premisenone given
    § APPENDIX A: SOME FACTS ON REPRESENTATION THEORY · p. 13

    A spherical vector in a representation V_Λ of SO(D) exists if and only if the representation is simple; in that case it is unique up to normalization.

    “Let V Λ be a representation of SO ( D ), we say that ω ∈ V Λ is a spherical vector if it is invariant under the action of SO ( D -1). Such a vector exists if and only if the representation is simple. In that case this vector is unique up to normalization.”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Interpretationcitation
    § VI. CONCLUSION · p. 11

    This fact suggests that the sum might converge for λ smaller than a critical value determined by α.

    “This fact suggests that the sum might converge for λ smaller than a critical value, determined by α [27].”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [27]

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation
    § VI. CONCLUSION · p. 11

    The Barrett-Crane model has been obtained by 'quantizing a geometric 4-simplex'.

    “The Barrett-Crane model has been obtained by 'quantizing a geometric 4-simplex' [1].”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [1] J. W. Barrett and L. Crane, J. Math. Phys. 39 (1998) 3296. source

      Not checked in the free run.

  • May combine two claims.

    Interpretationnone given
    § VI. CONCLUSION · p. 11

    In dimension D, the interaction term is of order D+1 and has the structure of a D-simplex.

    “The interaction term is of order D + 1 and has the structure of a D -simplex.”
    Quote in the paperSubstantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing), S4 (based).

    Premisenone given
    § V. TRIANGULATIONS, ORIENTATION AND SYMMETRIES OF φ · p. 10

    A 2-complex corresponds to a 4-strand graph.

    “As we have seen, a 2-complex corresponds to a 4-strand graph.”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

    Premisecitation
    § VI. CONCLUSION · p. 11

    From loop quantum gravity and other approaches, the N_i's are naturally related to the area of the faces, and their intertwiner to the volume.

    “indeed, we know from loop quantum gravity [3,29] and from other approaches [21], that the N i 's are naturally related to the area of the faces, and their intertwiner to the volume.”
    Quote in the paperNot a substantial claim0 of 3 sources checked
    • cites [3] source

      Not checked in the free run.

    • cites [29] C. Rovelli and L. Smolin, Nucl. Phys. B442 (1995) 593, Erratum-ibid. B456 (1995) 753. R. De Pietri and C. Rovelli, Phys. Rev. D54 (1996) 2664. source

      Not checked in the free run.

    • cites [21] A. Barbieri, Nucl. Phys. B518 (1998) 714. L. Freidel and K. Krasnov, Class. Quantum Grav. 16 (1999) 351. J. Baez and J. Barrett, gr-qc/9903060.

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Interpretationnone given
    § VI. CONCLUSION · p. 11

    The results of this paper generalize easily to higher dimensions.

    “The results of this paper generalize easily to higher dimensions.”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

    Premisecitation
    § APPENDIX B: INTERTWINERS AND THEIR SPACES · p. 15

    The integral (B9) is computed for general SO(N) in [30], Chapter 9.4.11; in the case of SO(4) it is given by (B10).

    “This integral is computed for the general case of SO( N ) in [30], Chapter 9.4.11. In the case of SO(4) it is given by:”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [30] N. J. Vilenkin and A. U. Klimyk, Representation of Lie Groups and Special Functions (Klewer Academic Publisher, Dordrecht, The Netherland, 1993), Vol. 2, volume 2: Class I Representations, Special Functions, and Integral Transforms.

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing), S4 (based).

    Premisenone given
    § V. TRIANGULATIONS, ORIENTATION AND SYMMETRIES OF φ · p. 10

    The triangulation of an orientable manifold is orientable.

    “Clearly, the triangulation of an orientable manifold is orientable.”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing), S4 (based). May combine two claims.

    Premisenone given
    § APPENDIX A: SOME FACTS ON REPRESENTATION THEORY · p. 13

    The representations of SO(N) are real; it is always possible to choose a basis of V_Λ such that the representation matrices are real.

    “The representation of SO ( N ) are real. This means that it is always possible to choose a basis of V Λ such that the representation matrices are real.”
    Quote in the paperNot a substantial claim
  • May combine two claims.

    Interpretationreasoning
    § VI. CONCLUSION · p. 11

    This regulation procedure cuts off the sum over representations and makes this sum finite.

    “This procedure cuts off the sum over representations, and thus makes this sum finite.”
    Quote in the paperSubstantial claim
  • Classified as probably not a substantial claim. May combine two claims.

    Interpretationnone given
    § VI. CONCLUSION · p. 11

    In dimension D, one replaces the group SO(4) with SO(D) and the sphere S^3 with S^{D-1}=SO(D)/SO(D-1).

    “In dimension D , we replace the group SO(4) with SO( D ), the sphere S 3 with S D -1 = SO( D ) / SO( D -1).”
    Quote in the paperSubstantial claim
  • Probably not a substantial claim: may not pass S4 (based).

    Interpretationnone given
    § VI. CONCLUSION · p. 11

    There are two sources of divergences in the spin foam sum.

    “There are two sources of divergences.”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

    Premisenone given
    § APPENDIX A: SOME FACTS ON REPRESENTATION THEORY · p. 13

    For Spin(N), a representation of half-integer spin is equivalent to its complex conjugate or dual, but the isomorphism is non-trivial.

    “If we are interested by representation of half integer spin of Spin ( N ) it is still true that Λ is equivalent to its complex conjugate or dual. However the isomorphism is non trivial.”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisenone given
    § V. TRIANGULATIONS, ORIENTATION AND SYMMETRIES OF φ · p. 9

    Given a triangulation ∆, the dual 2-skeleton Γ(∆) is a 2-complex.

    “Given a triangulation ∆, the (abstract combinatorial structure of its) dual 2-skeleton, Γ(∆) is a 2-complex.”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation
    § V. TRIANGULATIONS, ORIENTATION AND SYMMETRIES OF φ · p. 10

    If in addition each component of the boundary of this manifold is a sphere, we can fill the sphere with a ball, and obtain a triangulated manifold whose dual 2-skeleton is the 2-complex.

    “If, in addition, each component of the boundary of this manifold is a sphere, we can then fill the sphere with a ball, and obtain a triangulated manifold, whose dual 2-skeleton is the 2-complex.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [25] R. Benedetti and C. Petronio, Manuscripta Mathematica 88 (1995) 291-310. C. Petronio, Standard Spines and 3-Manifold , Collana Tesi di Perfezionamento, Scuola Normale Superiore, Pisa, 1995. See also R. Benedetti and C. Petronio, Branched Standard Spine of 3-Manifolds , Lecture Notes in Mathematics N. 1653 (Springer Verlag, Berlin, 1997). source

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisereasoning
    § V. TRIANGULATIONS, ORIENTATION AND SYMMETRIES OF φ · p. 10

    The notion of orientability extends to 2-complexes with 4-valent edges and 5-valent vertices.

    “Now, the notion of orientability extends to 2-complexes with 4-valent edges and 5-valent vertices.”
    Quote in the paperNot a substantial claim
  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation
    § V. TRIANGULATIONS, ORIENTATION AND SYMMETRIES OF φ · p. 9

    In 3d, one can characterize the 2-complexes that are derived from triangulations.

    “In 3d, one can nicely characterize the 2-complexes that are derived from triangulations [25].”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [25] R. Benedetti and C. Petronio, Manuscripta Mathematica 88 (1995) 291-310. C. Petronio, Standard Spines and 3-Manifold , Collana Tesi di Perfezionamento, Scuola Normale Superiore, Pisa, 1995. See also R. Benedetti and C. Petronio, Branched Standard Spine of 3-Manifolds , Lecture Notes in Mathematics N. 1653 (Springer Verlag, Berlin, 1997). source

      Not checked in the free run.

    • Rests on an assumption: Not every 2-complex comes from a triangulation of a 4-manifold in the way that the dual 2-skeleton of a triangulation does.
36 of 36
  • The paper relies on this without support.

    In spin foam models, the choice of a fixed triangulation breaks the full covariance of the theory and unphysically restricts the number of degrees of freedom.

    “In these models, indeed, the choice of a fixed triangulation breaks the full covariance of the theory and unphysically restricts the number of the degrees of freedom.”
  • The paper relies on this without support.

    The Barrett-Crane amplitude A_BC(Δ,c) depends only on the 2-complex Γ(Δ), its dual 2-skeleton, and not on the full combinatorial information of the triangulation Δ.

    “In fact, it depends only on the 2-complex Γ(∆), its dual 2-skeleton.”
  • The paper relies on this without support.

    A sum over triangulations is necessary for a physical interpretation of a spin foam model as a theory of gravity.

    “which is presumably necessary for a physical interpretation of a spin foam model as a theory of gravity.”
  • The paper relies on this without support.

    Not every 2-complex comes from a triangulation of a 4-manifold in the way that the dual 2-skeleton of a triangulation does.

    “In general, not every 2-complex comes from a triangulation triangulation of a 4-manifold in this way.”
  • The paper relies on this without support.

    The permutation group of four elements Σ4 has five irreducible representations: two one-dimensional (trivial and signature) and three of dimensions 2, 3 and 5.

    “In particular, there are 5 irreducible representation of the permutation group of 4 elements Σ 4 . Two of these are one-dimensional (the trivial and the signature), and the other three have dimensions 2,3 and 5.”
  • The paper relies on this without support.

    The Feynman expansion generates triangulations of arbitrary manifolds.

    “On the other hand, the Feynman expansion generates triangulations of arbitrary manifolds, and this might destroy the convergence.”
6 of 6

Claims other papers make about this one

Each is checked against this paper’s own text: does it say what the citing paper says it does?

  • Our work generalizes the results of Ooguri and De Pietri et al. who obtained field theory formulations for SU(2) BF theory and the Barrett-Crane model of Euclidean quantum gravity.

    “Our work generalizes the results of Ooguri [17] and De Pietri et. al. [1] who obtained field theory formulations for two particular models (summed over spacetime 2-complexes), namely SU (2) BF theory [32] and the BarrettCrane model [27] of Euclidean quantum gravity.”

    From Spacetime as a Feynman diagram: the connection formulation (2001) · cites this paper as [1]

  • Such a field theory was recently found for a particular gravity model.

    “Such a field theory was recently found for a particular gravity model [1].”

    From Spacetime as a Feynman diagram: the connection formulation (2001) · cites this paper as [1]

  • The work generalizes the result for a particular gravity model, Boulatov's and Ooguri's models of three and four dimensional topological field theories, and the old matrix models of two dimensional systems with dynamical topology.

    “Our work generalizes this result as well as Boulatov's and Ooguri's models of three and four dimensional topological field theories, and ultimately the old matrix models of two dimensional systems with dynamical topology.”

    From Spacetime as a Feynman diagram: the connection formulation (2001) · cites this paper as [1]

  • Spin-foam amplitudes equal Feynman diagram amplitudes of the group field theory.

    “The duality holds in the sense that spin-foam amplitudes correspond to Feynman diagram amplitudes of the GFT.”

    From The Spin-Foam Approach to Quantum Gravity (2013) · cites this paper as [133]

  • Spin foams have a dual description as a field theory on a group manifold.

    “The fundamental observation is that spin foams admit a dual formulation in terms of a field theory over a group manifold [133, 315, 314].”

    From The Spin-Foam Approach to Quantum Gravity (2013) · cites this paper as [133]

Self-check

Percentages, sums and reported differences re-computed from the paper’s own numbers.

Each contradiction between two passages listed here was confirmed by an independent check.

  • A purportedly different pairing repeats the original pairing

    Minor

    The appendix introduces an example of pairing the indices in a different manner, but gives exactly the same pairs as before.

  • Dropping one point cannot leave n−2 points

    Minor

    The paper says an n-simplex has n+1 points. Dropping one therefore leaves n points, not the n−2 points stated for its (n−1)-simplices.

2 of 2

The citation lists haven’t been fetched yet

References 50 · Cited by 244

Research works printed but not linked: 11

  1. C. Rovelli, gr-qc/9806121. · arXiv
  2. C. Rovelli, Loop quantum gravity, in: Living Reviews in Relativity, Electronic Journal, http://www.livingreviews.org, gr-qc/9710008. · arXiv
  3. L. Smolin, hep-th/9808192. · arXiv
  4. J.W. Barrett, L. Crane, gr-qc/9904025. · arXiv
  5. J. Iwasaki, gr-qc/9903122. · arXiv
  6. Ambjorn, 1985, Nucl. Phys. B, 257, 433, 10.1016/0550-3213(85)90356-6 · DOI · Paper page
  7. Gross, 1990, Phys. Rev. Lett., 64, 635
  8. L. Freidel, K. Krasnov, hep-th/9903192. · arXiv
  9. M.E. Peskin, D.V. Schroeder, An Introduction to Quantum Field Theory, (Addison Wesley, Reading, 1995).
  10. J. Ambjorn, M. Carfora, A. Marzuoli, The Geometry of Dynamical Triangulations, Lecture Notes in Physics, (Springer, Berlin, 1997).
  11. Ambjorn, 1999, Nucl. Phys. B, 542, 349, 10.1016/S0550-3213(98)00830-X · DOI

Authors
De Pietri, R., Freidel, L., Krasnov, K., & Rovelli, C.
Affiliations
  • École Normale Supérieure de Lyon (FR)
  • Pennsylvania State University (US)
Corresponding author
  • Freidel, Laurent
  • Krasnov, Kirill
Venue
Nuclear Physics B
Publisher
Elsevier BV
Published
2000-05
Volume
574
Issue
3
Pages
785-806
ISSN
0550-3213 (ISSN-L)
OpenAlex
W2092692149
Cited by
244
References
50
Citations by year
2026: 1 · 2025: 1 · 2024: 7 · 2023: 4 · 2022: 5 · 2021: 9 · 2020: 3 · 2019: 4 · 2018: 5 · 2017: 5 · 2016: 10 · 2015: 7 · 2014: 10 · 2013: 21 · 2012: 10
FWCI
11.97
Type
journal article
Language
en
Open access
Locations
  • Nuclear Physics B (publishedVersion)
  • arXiv (Cornell University) (submittedVersion)
  • CERN Document Server (European Organization for Nuclear Research) (submittedVersion)
  • arXiv (Cornell University)
Topics
  • Physical Sciences › Physics and Astronomy › Statistical and Nonlinear Physics › Noncommutative and Quantum Gravity Theories
  • Physical Sciences › Physics and Astronomy › Nuclear and High Energy Physics › Black Holes and Theoretical Physics
  • Physical Sciences › Physics and Astronomy › Astronomy and Astrophysics › Relativity and Gravitational Theory
Keywords
Barrett-Crane model, group manifolds, homogeneous spaces, 3-sphere, Feynman diagrams, quantum spacetime, spin foam models, three-dimensional quantum gravity, 4D quantum gravity

About these checks

Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.

Claims read by deepseek-v4.1-flash under definition version 3 (extract-v3) on 2026-10-06.

Classified by jev-1.13-20260917 (gold-guideline-v0.2) on 2026-10-06.

Statistics and arithmetic are recomputed, not judged.

Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.

What counts as a claim ›How we measure confidence ›How we check this ›

Are you an author, or do you see a problem with this page? Request a review