MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I am studying virtual knot theory. A virtual knot is a knot diagram with real or virtual crossing information. The equivalence relation includes generalized Reidemeister moves. There are premitted virtual Reidemeister moves, and forbbiden moves.


Do the forbidden moves have some validity? How are generalized Reidemeister moves made? For example, If we admit the moves the virtual knot is trivial. Therefore, we make some of the moves forbidden. The moves have two real crossings and one virtual crossing. However, instead of these moves, why the other moves are not selected? For instance, may we exclude classical Reidemeister I move instead of the forbidden moves? I am confused!

share|cite|improve this question
I've posted an answer, but this strikes me as more of a math.SE question- also, note that googling "virtual Reidemeister move" would have answered the question. – Daniel Moskovich Aug 9 '12 at 20:06
If you remove Reidemeister I you get the theory of framed knots. Deciding which moves to include determines which objects you are studying. – Daniel Moskovich Aug 9 '12 at 20:11
up vote 3 down vote accepted

A virtual knot is the same thing as a Gauss diagram. The virtual crossing doesn't really exist. So moving something across it makes no sense. Another way of seeing this is that, given that the object of study is Gauss diagrams modulo Reidemeister 1, 2, and 3, the virtual Reidemeister moves don't change the Gauss diagram, and therefore are valid moves on Gauss diagrams modulo Reidemeister moves; but the forbidden moves do.

The first google result on "virtual Reidemeister moves" fleshes this out.

Of course you could include one of the forbidden moves- and you would get a different theory. The theory of w-knots (see Dror Bar-Natan's talks on the topic) allows one forbidden move but not the other.

share|cite|improve this answer
Thanks! ''Moving something across a virtual crossing makes no sense", which made me understand geometrically! – muta yasushi Aug 9 '12 at 21:46
@Daniel, I think that the idea of welded knots originated with Roger Fenn and/or Colin Rourke. Welded knots give rise to knotted ribbon tori in 4-space. This idea was found by Silver and Shin Satoh, but it is no surprise given that welded knots are related to the mapping class group of circles in space. – Scott Carter Aug 9 '12 at 23:45

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.