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:

  1. for all with .
  2. ? ?

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

  1. Do knotted isotopies of some knotted partition induce ambient isotopies on compatible knots?
  2. Do ambient isotopies of some knot induce knotted isotopies on compatible knotted partitions?
  3. If 2., does this preserve compatibility?
  4. Is this actually a faithful representation of the existing construction?