A resolution of a diagram is always a collection of simple disjoint curves on the plane and is thus a -manifold embedded in the plane. Now the functor from cobordisms to -modules (see SectionΒ 2.3) comes into play. To a union of circles it assigns the -th tensor power of The functor , applied to the diagram considered as a one-dimensional manifold, produces a graded -module where is the number of components of We raise the grading of by the cardinality of and assign the -module to the vertex of the cube
| (40) |
(Recall from SectionΒ 3.1 that the automorphism of the category lowers the grading by .) Let us now define maps between vertices of Choose We want to have a map
| (41) |
The diagrams and differ only in the neighborhood of the double point of as an example below (for , so that has one double point, ) demonstrates ( is the leftmost diagram, is the diagram in the center and is depicted on the right):
Original source: arXiv:math/9908171v2