This week I have been reading Frank Hellmann’s PhD thesis on The geometry of state sums. Here I’ll review the section on the geometric states arising in the representation theory of SU(2), Spin(4) and SL(2,C).
The Geometry of Representations
We scan construct a state sum invariant using the representation theory of SU(2). A similar construction can be given for Spin(4),
the covering group of SO(4), and SL(2,C), the covering group of SO(3, 1)+ the identity connected component of SO(3, 1).
One way to the representation theory of SU(2) is by the quantization of the sphere
Coherent states are defined as the eigenstates of Lie algebra elements. Given a 3-dimensional unit vector n ∈ S² the associated coherent states αj(n) are defined by:
This fixes the states j(n) up to a phase. Every state in the fundamental representation is proportional to a coherent state.
Every normalized state α’ is a coherent state α’(n(α’)).
In particular we have that
The anti-linear map J transforms a coherent state to one associated
to the opposite direction:
The coherent states satisfy an exponential property for every αj(n) there is an α(n) in the fundamental representation such that
Lie algebra elements transform under the vector representation of SU(2), their transformation behaviour under rotations that stabilize n is,
The modulus square of the inner product between two coherent states in arbitrary representations is
This shows that in the large quantum number limit j → ∞ coherent states become orthogonal.
A resolution of the identity is given by integrating over
Coherent states give the geometry of a sphere associated to particular representations j. Extending this we can give a geometric interpretation to the invariant subspace of the tensor product of representations Inv(j1⊗j2. . .⊗jn)
Next we look at three-valent intertwiners which are associated to triangles and four-valent intertwiners and their relationship with tetrahedra.
The shape space of triangles can be described as a constrained space of three spheres of radius ji. This space has the product symplectic structure of that of the sphere used in geometric quantisation. Given three vectors jana of length ja that are on the spheres the constraint
To quantize this state space we take the quantized unconstrained state space
Just as three-valent intertwiners can be interpreted as quantized triangles we can interpret four-valent intertwiners as quantized tetrahedra.
Consider a set of four vectors in directions na of lengths ja satisfying closure
The space of such closing vectors that are non-degenerate is the shape space of non-degenerate tetrahedra.
Tetrahedra from Closing Vectors
Four vectors jana of length ja that span 3-dimensional space and satisfy are the outward normals of a non-degenerate tetrahedron with areas ja embedded in R³ which is unique up to translation.
Again the constraint generates rotations of the tetrahedron and the non-degenerate sector of the reduced phase space is the shape space of tetrahedra. Implementing the constraint quantum mechanically again we obtain the over-parametrisation of the space of four-valent intertwiners by:
The Geometry of Spin(4)
For the 4-dimensional models need to understand the geometry of the representation theory of Spin(4). To do so we will consider the
Lie algebra spin(4) which is isomorphic to so(4), the Lie algebra of 4-dimensional rotations. We can understand this Lie algebra as arising from bivectors. It decomposes into a left and right sector under the action of the Hodge star. This allows us to give the representation theory of Spin(4) in terms of SU(2) representations and define coherent bivectors. We will look at a necessary and sufficient set of conditions for a set of bivectors to define a geometric 4-simplex σ4.
Bivectors in R4 are elements of Λ²(R4), that is, 2-dimensional antisymmetric tensors BIJ = −BJI , I, J = 0, . . . , 3. Λ²(R4) is 6-dimensional.
We define the norm of a bivector by |B|² = ½BIJ BIJ . The Lie algebra so(4) is the algebra of antisymmetric matrices with Lie product
given by the commutator. The Lie algebra structure constants are:
We call a set of bivectors geometric if they are the bivectors of the faces of a geometric 4-simplex σ4i in R4. Using a, b = 1, . . . , 5 to denote the tetrahedral faces σ3i of the 4-simplex we denote its outward facing normal vectors by Na. The bivectors can then be written as
The associated to the triangles of a non-degenerate geometric 4 simplex satisfy the geometricity conditions:
The Geometry of SL(2,C)
In order to work with theories with Lorentz symmetry we need to consider representations of SO(3, 1). More specifically the identity connected component SO(3, 1)+ and its double cover SL(2,C). That is, the part of SO(3, 1) that takes future pointing normals to future pointing normals.
The corresponding Lorentzian generators are then
the structure constants are given by the same calculation as in the spin(4) case: