Closure constraints for hyperbolic tetrahedra by Charles and Livine

This week I been continuing to look at non-euclidean tetrahedra as in the post:

In particular I have been looking the paper ‘Closure constraints for hyperbolic tetrahedra’ in this paper the authors  investigate the generalization of loop gravity‘s twisted geometries to a q-deformed gauge group. In the standard undeformed case, loop gravity is a formulation of general relativity as a diffeomorphism-invariant SU(2) gauge theory. Its classical states are graphs provided with algebraic data. In particular closure constraints at every node of the graph ensure their interpretation as twisted geometries. Dual to each node, one has a polyhedron embedded in at space R³. One then

glues them allowing for both curvature and torsion.

It was recently conjectured that q-deforming the gauge group SU(2) would allow to account for a non-vanishing cosmological constant Λ ≠ 0, and in particular that deforming the loop gravity phase space with real parameter q  would lead to a generalization of twisted geometries to a hyperbolic curvature.

The Flat tetrahedron

Closure constraints


We define the outward vectors normal to the faces with their norm given by the face area:



These normals satisfy the symmetric relation:


This is the closure constraints for the flat tetrahedron.

The hyperbolic triangle 

The curved tetrahedron  lives in the 3d one-sheet hyperboloid defined as the submanifold of R³’¹ of timelike vectors satisfying:


where κ is the curvature radius of the hyperboloid.

The hyperbolic triangle is  embedded in the 3-
hyperboloid H3  which is a coset of the Lorentz group:

closequ25Studying the closure constraints defining the hyperbolic triangle is a first step towards developing the closure constraints for the hyperbolic tetrahedron. In particular, it will lead us to introduce the SU(2) holonomy around the triangle, which will play the role of a group-valued normal vector to the triangle.


The triangle is defined by three points a, b, c. They are defined by three translations from the hyperboloid origin  Ω= (1, 0, 0,0).  Introduce the three oriented edges of the triangle as 1 = (ab), 2 = (ac) and 3 = (bc). We define the translations along each edge:


These three group elements obviously satisfy the following closure relation:


Compact closure constraint for the hyperbolic tetrahedron

Consider the tetrahedron in hyperbolic space. It is defined by four points, a, b, c and d, defined by their respective triangular matrix la,b,c,d describing their position on the hyperboloid.

closfig6We want to find a closure constraint for this hyperbolic tetrahedron in terms of the hyperbolic triangle normals.


We can construct the three SU(2) holonomies defining the normal rotations to the hyperbolic triangles:



and closequ52

It satisfies a simple closure relation:


From the point of view of differential geometry, the holonomies are the discrete counterparts of curvature and this closure relation is just the Bianchi identity.

Non-Compact closure constraint for the hyperbolic tetrahedron

Consider a hyperbolic tetrahedron formed by the 4 points a, b, c, d, with the four hyperbolic triangles (abc), (bcd), (cda) and (dab). Looking at one triangle, say (abc), its three vertices and defined by three translations la,b,c . The hyperbolic translation vectors along the three edges are SB(2,C) elements, which satisfy
the triangle closure constraint:


Define the SB(2,C) normal to the triangle as:


Choosing a definite path along the tetrahedron vertices


say (abcd) following alphabetical and consider the SB(2,C) normal to the triangles following the path’s order:


These SB(2,C) normals satisfy the following closure relation:



In this paper the authors investigated the question of closure constraints for the hyperbolic tetrahedron in the context of loop
quantum gravity with a non-vanishing cosmological constant.

Their goal in doing this was as a first step towards interpreting
the deformed phase space structure for loop gravity on a given graph defined as discrete 3d hyperbolic geometries to be embedded in a 3 + 1-dimensional space-time.


Numerical work with sagemath 24: 6j Symbols and non-eucledean Tetrahedra

This week I have begun to look at Hyperbolic Tetrahedra and their geometry. In the paper ‘6j Symbols for Uq and non-eucledean Tetrahedra‘, Taylor and Woodward  relate the semiclassical asymptotics of the 6j symbols for the  quantized enveloping algebra Uq(sl2) to the geometry of spherical and  hyperbolic tetrahedra.

The quantum 6j symbol is a function of a 6-tuple jab, 1 ≤ a ≤ b ≤ 4. The 6j symbols

6jsym6j for q = 1 were introduced as a tool in atomic spectroscopy
by Racah, and then studied mathematically by Wigner. 6j symbols
for Uq(sl2) were introduced by Kirillov and Reshetikhin, who used them to generalize the Jones knot invariant. Turaev and Viro used them to define three manifold invariants or  quantum gravity with a cosmological constant.



I have started doing some preliminary work with sagemath on 3j symbols, 6j symbols, the quantum integer and on the gram matrix.

graph 1 program6jvsj graph1

graph 2 program

quantumnvsn graph2


graph 3 program

3jvsj3 graph3

graph 4 program

ampltudevsj graph4


gram matrix

 Related articles