Return to Question

Which $6j$-symbols for quantised enveloping algebras are known explicitly?

The quantum $6j$-symbols for $sl(2)$ are well-known. The references are Masbaum and Vogel and Frenkel and Khovanov.

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:
Character table does not determine group Vs Tannaka duality

Which $6j$-symbols for quantised enveloping algebras are known explicitly?

The quantum $6j$-symbols for $sl(2)$ are well-known. The references are Masbaum and Vogel and Frenkel and Khovanov.

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:
Character table does not determine group Vs Tannaka duality

Which $6j$-symbols for quantised enveloping algebras are known explicitly?

The quantum $6j$-symbols for $sl(2)$ are well-known. The references are Masbaum and Vogel and Frenkel and Khovanov.

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.

Which $6j$-symbols for quantised enveloping algebras are known explicitly?

The quantum $6j$-symbols for $sl(2)$ are well-known. The references are Masbaum and Vogel and Frenkel and Khovanov.

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:
Character table does not determine group Vs Tannaka duality