The classical PL [Reidemeister Theorem](http://mathworld.wolfram.com/ReidemeistersTheorem.html) reads:



> 
> **Reidemeister Theorem**: Two knots in $S^3$ are PL ambient isotopic if and only if any diagram of one can be transformed into a diagram of the other by [Reidemeister moves](http://en.wikipedia.org/wiki/Reidemeister_move).
> 


Recall that PL ambient isotopy of $K\_1\colon\, S^1\hookrightarrow S^3$ to $K\_2\colon\, S^1\hookrightarrow S^3$ is an orientation-preserving PL map from $S^{3}\times I$ to $S^3$, whose restriction to a map from $S^{3}\times \{t\}$ to $S^3$ is a PL homeomorphism for every $t\in I$, whose restriction to $S^{3}\times \{0\}$ is the identity map, and whose restriction to $S^{3}\times \{1\}$ composed with $K\_1$ is $K\_2$.


However, every source that I know (see [here](https://mathoverflow.net/questions/15217/proof-of-the-reidemeister-theorem)) proves an a-priori weaker version of the theorem, in which "PL ambient isotopy" is replaced by "combinatorial isotopy" which means: "related by a finite sequence of triangle moves"- replacing 2 (or 1) edges of a triangle which does not intersect the knot in its interior with the other edge (edges). See *e.g.* [these notes by J. Roberts](http://www.math.ucsd.edu/~justin/knotessec2.pdf). Indeed, this is the version of the Reidemeister Theorem which Reidemeister himself proved.


I think that the seldom-cited but often-used fact that *PL ambient isotopy coincides with combinatorial isotopy of knots in $S^3$* is proved (in the more general case of links, which extends also to knotted graphs [as pointed out by Kauffman](http://homepages.math.uic.edu/~kauffman/IGTS.pdf)) in:


Graeub, W. (1950). [Die semilinearen abbildungen](https://rads.stackoverflow.com/amzn/click/com/3540014993) (pp. 3-70). Springer Berlin Heidelberg.



> **Question 1**: Does there exist a proof of this fact in English? I have trouble with the German.
> 



> **Question 2**: Is there a combinatorial version of PL ambient isotopy in higher dimensions? Specifically, I am interested in the case of a mixed 1- and 2-dimensional polyhedron embedded in a PL 4-ball, so that the only non-manifold points are at endpoints of broken lines, where they meet other broken lines or broken planes. The obvious candidate is triangle moves, analogous "tetrahedron moves", and a "mixed dimension move" to move a neighbourhood of the intersection of a line with a plane, which is a bit harder to write down. Is the proof of this to be found anywhere, and is the general version known and shown? (I'm fairly confident it's not in Graeub's book, but perhaps it follows trivially somehow). 
> 



Is there a combinatorial version of PL ambient isotopy in dimension $>3$?
Unfortunately, this is not quite an answer. So for knotted surfaces in 4-space, there is Roseman's Theorem. I think that the context of Dennis's proof is in the smooth category. Or certainly the proof that I know depends on a smooth structure. 
I would imagine that the proof could be cranked up to PL-locally flat, but I have my hesitations about non-simple branch points. Roseman outlines the higher dimensional case as well, and this outline follows the classification of multi-germs, or actually real pictures of complex multi-germs. If you give me N, and a large enough amount of time, I think that I can work out all the moves by hand, but again in a smooth category. 


So fundamentally the idea is to take a codimension 2 embedding, and project it into (n+1)-space. Do so generically. Now examine the critical points and intersections of an isotopy. You can sort of build the whole theory up inductively. Your R-moves and critical events in dimension N become the singularities in dimension N+1. My paper on RR moves for foams on the arxiv can be used to fill in the details in the smooth case.


