[Paper Review] A skein theoretic proof of the hook formula for quantum dimension

A. K. Aiston|arXiv (Cornell University)|Nov 20, 1997

Algebraic structures and combinatorial models9 references9 citations

TL;DR

This paper presents a skein-theoretic proof of the Reshetikhin hook-length formula for quantum dimensions in the quantum group U_q(sl(N)). Using diagrammatic techniques from knot theory, the author establishes a direct combinatorial derivation of the quantum dimension of irreducible representations via skein relations and the quantum trace, confirming the hook-length formula through topological invariance and quantum group duality.

ABSTRACT

We give a skein theoretic proof the Reshetikhin hook length formula for quantum dimension for the quantum group U_q(sl(N)).

Motivation & Objective

• To provide a topological, diagrammatic proof of the quantum dimension formula for U_q(sl(N)) representations.
• To establish the hook-length formula for quantum dimensions using skein theory instead of algebraic or representation-theoretic methods.
• To demonstrate that quantum dimensions can be computed via skein invariants and the quantum trace in a functorial, diagrammatic framework.
• To clarify the connection between representation-theoretic quantum dimensions and topological invariants in quantum groups.
• To resolve the combinatorial complexity of the hook-length formula through a geometric and algebraic-topological approach.

Proposed method

• Utilizes skein relations in the category of framed tangles to define quantum invariants of links and tangles.
• Applies the quantum trace construction to link invariants associated with irreducible representations of U_q(sl(N)).
• Employs the Reshetikhin-Turaev formalism to relate representations of U_q(sl(N)) to invariants of framed links.
• Uses the Jones-Wenzl projectors to project onto irreducible representations and compute quantum dimensions via trace evaluation.
• Applies the quantum dimension formula via the evaluation of a closed loop with a Jones-Wenzl projector, which corresponds to the hook-length formula.
• Demonstrates that the skein-theoretic evaluation of the quantum trace on the identity morphism yields the hook-length expression.

Experimental results

Research questions

• RQ1 Can the hook-length formula for quantum dimensions be derived using skein theory rather than representation-theoretic computation?
• RQ2 How do skein invariants of links relate to the quantum dimensions of U_q(sl(N)) representations?
• RQ3 What is the role of the Jones-Wenzl projector in the skein-theoretic derivation of quantum dimensions?
• RQ4 Is the quantum dimension of a U_q(sl(N)) representation computable via diagrammatic evaluation of the quantum trace?
• RQ5 Can the hook-length formula be interpreted as a topological invariant in the context of quantum groups?

Key findings

• The paper successfully derives the hook-length formula for quantum dimensions using only skein-theoretic techniques and the quantum trace.
• The quantum dimension of a U_q(sl(N)) irreducible representation labeled by a partition λ is shown to equal the product of quantum integers over the hook lengths of λ.
• The derivation relies on the evaluation of the quantum trace on the identity morphism in the category of framed tangles, yielding the hook-length formula.
• The result confirms that the quantum dimension is a topological invariant in the Reshetikhin-Turaev construction, computable via skein relations.
• The proof establishes a direct link between representation-theoretic quantum dimensions and diagrammatic invariants in quantum topology.
• The method avoids heavy algebraic machinery, instead using the functoriality of the Reshetikhin-Turaev construction and skein relations to yield the formula.