Minimal generating sets of rotational Reidemeister moves

Abstract

Rotational tangle diagrams have been proven to be extremely important in the study of quantum invariants, as they provide a natural passage between topology and quantum algebra. In this paper, we give a detailed description of several generating sets of rotational Reidemeister moves for rotational diagrams of both unframed and framed tangles. In particular, we prove that the minimal number of moves needed to generate all oriented unframed (resp. framed) rotational Reidemeister moves is 8 (resp. 9). The latter implies that a minimal generating set of Reidemeister moves for oriented, framed links contains 5 moves.

26 pages, plenty of pictures. Comments are welcome!