Definition (Ambient isotopy)
Let be manifolds and embeddings into . Then a map is an ambient isotopy taking to if for each , is a homeomorphism, is the identity, and .
Definition (Knotted partition)
We define a -knotted partition (denoted as ) as a partition of together with a sequence of with for some , that satisfies:
- for all with .
- ? ?
Definition (Knotted isotopy)
Let be a -knotted partition. Then we say that is a knotted isotopy if for all , is a partition of , and together with the sequence is a -knotted partition.
Definition Compatibility of a knot with a knotted partition
Todo
It would be nice if this gave a (right now vaguely stated) diagram like:
As in an ambient isotopy of a knot induced a knotted isotopy on any knotted partition that is compatible with, and it preserves compatibility.
Questions
- Do knotted isotopies of some knotted partition induce ambient isotopies on compatible knots?
- Do ambient isotopies of some knot induce knotted isotopies on compatible knotted partitions?
- If 2., does this preserve compatibility?
- Is this actually a faithful representation of the existing construction?