Knot diagrams and their moves are defined for higher dimensional knots
(codimension smooth embeddings). In particular,
for surfaces in
-space, they are explicitly known,
and depicted in Figs.
,
, taken from [CKS00].
Specifically, a knotted surface is a smooth embedding
or
and all definitions are given in completely analogous manner as
for the classical case.
The set of crossing points, in this case,
are described by embedded double point curves (A), isolated triple points (B),
and branch points (C) in Fig.
.
The moves analogous to Reidemeister moves,
in particular, are obtained by Roseman [Rose98]
and called Roseman moves.
Referring the reader to [CKS00] for details,
we only mention here the relation between knotted surface diagrams
and Reidemeister moves for classical knots.
The continuous family of projection curves in
of a knot,
where
represents the time parameter during which a Reidemeister move
occurs, forms a surface mapped in
.
An example for the type I move is depicted in Fig.
.
As indicated in the figure, the exact moment that the type I move
happens corresponds to a branch point of a mapped surface,
a generic singularity of smooth maps
from surfaces to
. Similarly, a type II move corresponds to Morse
critical points of double point curves of surfaces, and a type III move to
an isolated triple point (see also [CrSt98]).
Thus a generic singularities and critical points of
one dimensional higher case give rise to moves of diagrams.
This will be the case for triangulated manifolds as we will see later.