Which $6j$-symbols for quantised enveloping algebras are known explicitly?
What is known for other simple Lie algebras?
In case this seems somewhat vague here is a precise question. The data for a $6j$-symbol starts with a tetrahedral graph with edges labelled by highest weights. Then usually there is additional information needed at the vertices which I want to avoid. Take the example of $sl(n)$ and use partitions instead of highest weights. Label two opposite edges by a partition of the form $1^k$ (corresponding to an exterior power of the vector representation) and label the other four edges by partitions. Then associated to this data is a scalar.
Then I would expect this function to be determined by linear recurrence relations (i.e. D-finite or holonomic). Is this correct? and if so can you give recurrence relations?
Ideally we would also regard $n$ as an indeterminate.
Background In general $6j$-symbols arise for any semisimple abelian category which is also monoidal. They are the components of the natural transformation $(\otimes)(\otimes \times 1)\cong (\otimes)(1\times \otimes)$.
In more down to earth terms. If you know the Grothendieck ring of a semisimple abelian monoidal category and you attempt to construct this then the information you are missing is the $6j$-symbols. You can construct the abelian category and you can construct the tensor product functor but you don't have the associator.
For example it is well-known that the character table of a finite group does not determine the group. It does determine the category of representations as a semisimple abelian category. The $6j$-symbols are needed to make this a monoidal category.
For further discussion see: