Let and be knotted surfaces of the same genus. We say that is ribbon concordant to if there is a concordance (a properly embedded orientable submanifold diffeomorphic to ) in between and such that the restriction to of the projection is a Morse function with critical points of index 0 and only. We write .
Note that if , then there is a set of -handles on a split union of and trivial sphere-knots, for some , such that is obtained by surgeries (-handle additions) along these handles (Fig. ). Ribbon concordance was first defined in [Gor81]. It is defined in general for knots in any dimension. In [CSS03*], quandle cocycle invariants were used as obstructions to ribbon concordance for surfaces, and explicit examples of surfaces that are not related by ribbon concordance were given.
This obstruction is descrived as follows. For two multi-sets and of , we use the notation if for any it holds that . In other words, if and only if where and are the subsets of obtained from and by eliminating the multiplicity of elements, respectively.
If , then with respect to a natural diagram of described as above, that is obtained from by adding small spheres and this tubes, any coloring of such a diagram of restricts to a coloring of a diagram of , and since adding tubes do not introduce triple points, we obtain the condition .