The notion of a knot concordance is a rich subject in low-dimensional topology, see Livingston's [survey](https://www.maths.ed.ac.uk/%7Ev1ranick/papers/living.pdf). More precisely:


For $i=0,1$, let $K\_i$ be knots in $S^3$. A *knot concordance* from $K\_0$ to $K\_1$ is a smooth annulus $A=S^1 \times [0,1]$ in $S^3 \times [0,1]$ such that $\partial A= -(K\_0) \cup K\_1$ where $-$ denotes the reversed orientation.


Using this relation, we can form a group structure on the set of oriented knots in $S^3$, denoted by $\mathcal{C}$.


Let $K$ be a *slice* knot in $S^3$, that is, $K$ bounds a smooth disk $D$ embedded in $B^4$. We can also show that $K$ is slice if and only if $K$ is concordant to the unknot in $S^3$.


Let $M$ be a closed oriented $3$-manifold. I wonder:


1. Can we talk about a knot $M$ behaves like the unknot in $S^3$?
2. Can we generalize the notion of knot concordance to the oriented knots in $M$?
3. (Extra) Can we define inverses of knots in $M$ as in the case of $S^3$?



A (possible) generalization of the unknot, inverses and the knot concordance
One can certainly define concordance by cylinders in $M \times I$ as you suggest. Making the set of concordance classes into a group is problematic, however. Most of the troubles come from the observation that for two knots to be concordant, they must be freely homotopic. This was explored in the Indiana U. PhD thesis of Prudence Heck, Knot concordance in non-simply connected manifolds. I don't think you get a group in any obvious way, for much the same reason that you don't get a group out of the set of free homotopy classes of loops.


There is a notion of homology concordance of oriented pairs $(M,K)$ where $M$ is a homology sphere. The equivalence relation is then concordance in a homology cobordism between $M\_0$ and $M\_1$. This becomes a group under pairwise connected sum. The unknot in $S^3$ is the 0 element, and pairwise orientation reversal provides inverses.


