This is a second question (in what will probably become a series) in my attempt to understand LQG a little. In the previous question I asked about the general concepts behind LQG to which space_cadet provided a very nice answer.
Let me summarize that answer so that I can check that I've understood it properly. In LQG, one works with connections instead of a metric because this greatly simplifies the equations (space_cadet makes an analogy to "taking a square root" of K-G equation to obtain Dirac equation). The connections should determine the geometry of a given 3D manifold which is a space-like slice of our 4D space-time. Then, as is usual in quantizing a system, one proceeds to define "wave-functions" on the configuration space of connections and the space of these functionals on connections should form a Hilbert space.
Note: I guess there is more than one Hilbert space present, depending on precisely what space of connections we work with. This will probably have to do with enforcing the usual Einstein constraints and also diffeomorphism constraints. But I'll postpone these technicalities to a later question.
So that's one picture we have about LQG. But when people actually talk about LQG, one always hears about spin-networks and area and volume operators. So how does these objects connect with the space_cadet's answer? Let's start slowly
- What is a spin-network exactly?
- What are the main mathematical properties?
Just a reference to the literature will suffice because I realize that the questions (especially the second one) might be quite broad. Although, for once, wikipedia article does a decent job in hinting at answers of both 1. and 2. but it leaves me greatly dissatisfied. In particular, I have no idea what happens at the vertices. Wikipedia says that they should carry intertwining operators. Intertwinors always work on two representations so presumably there is an intertwinor for every pair of edges joining at the vertex? Also, by Schur's lemma, intertwinors of inequivalent irreps are zero, so that usually this notion would be pretty trivial. As you can see, I am really confused about this, so I'd like to hear
3. What is the significance of vertices and intertwinors for spin-networks?
Okay, having the definitions out of the way, spin-networks should presumably also form a basis of the aforementioned Hilbert space (I am not sure which one Hilbert space it is and what conditions this puts on the spin-networks; if possible, let's postpone this discussion until some later time) so there must be some correspondence between connection functionals and spin-networks.
4. How does this correspondence look precisely? If I have some spin-network, how do I obtain a functional on connections from that?
Best Answer
So what are spin-networks? Briefly, they are graphs with representations ("spins") of some gauge group (generally SU(2) or SL(2,C) in LQG) living on each edge. At each non-trivial vertex, one has three or more edges meeting up. What is the simplest purpose of the intertwiner? It is to ensure that angular momentum is conserved at each vertex. For the case of four-valent edge we have four spins: $(j_1,j_2,j_3,j_4)$. There is a simple visual picture of the intertwiner in this case.
Picture a tetrahedron enclosing the given vertex, such that each edge pierces precisely one face of the tetrahedron. Now, the natural prescription for what happens when a surface is punctured by a spin is to associate the Casimir of that spin $ \mathbf{J}^2 $ with the puncture. The Casimir for spin $j$ has eigenvalues $ j (j+1) $. You can also see these as energy eigenvalues for the quantum rotor model. These eigenvalues are identified with the area associated with a puncture.
In order for the said edges and vertices to correspond to a consistent geometry it is important that certain constraints be satisfied. For instance, for a triangle we require that the edge lengths satisfy the triangle inequality $ a + b \lt c $ and the angles should add up to $ \angle a + \angle b + \angle c = \kappa \pi$, with $\kappa = 1$ if the triangle is embedded in a flat space and $\kappa \ne 1$ denoting the deviation of the space from zero curvature (positively or negatively curved).
In a similar manner, for a classical tetrahedron, now it is the sums of the areas of the faces which should satisfy "closure" constraints. For a quantum tetrahedron these constraints translate into relations between the operators $j_i$ which endow the faces with area.
Now for a triangle giving its three edge lengths $(a,b,c)$ completely fixes the angles and there is no more freedom. However, specifying all four areas of a tetrahedron does not fix all the freedom. The tetrahedron can still be bent and distorted in ways that preserve the closure constraints (not so for a triangle!). These are the physical degrees of freedom that an intertwiner possesses - the various shapes that are consistent with a tetrahedron with face areas given by the spins, or more generally a polyhedron for n-valent edges.
Some of the key players in this arena include, among others, Laurent Friedel, Eugenio Bianchi, E. Magliaro, C. Perini, F. Conrady, J. Engle, Rovelli, R. Pereira, K. Krasnov and Etera Livine.
I hope this provides some intuition for these structures. Also, I should add, that at present I am working on a review article on LQG for and by "the bewildered". I reserve the right to use any or all of the contents of my answers to this and other questions on physics.se in said work, with proper acknowledgements to all who contribute with questions and comments. This legalese is necessary so nobody comes after me with a bullsh*t plagiarism charge when my article does appear :P