text/blobdef.tex
changeset 400 a02a6158f3bd
parent 342 1d76e832d32f
child 413 d62402fc028e
equal deleted inserted replaced
399:979fbe9a14e8 400:a02a6158f3bd
    56 just erasing the blob from the picture
    56 just erasing the blob from the picture
    57 (but keeping the blob label $u$).
    57 (but keeping the blob label $u$).
    58 
    58 
    59 Note that the skein space $A(X)$
    59 Note that the skein space $A(X)$
    60 is naturally isomorphic to $\bc_0(X)/\bd(\bc_1(X))) = H_0(\bc_*(X))$.
    60 is naturally isomorphic to $\bc_0(X)/\bd(\bc_1(X))) = H_0(\bc_*(X))$.
    61 This is Property \ref{property:skein-modules}, and also used in the second 
    61 This is Theorem \ref{thm:skein-modules}, and also used in the second 
    62 half of Property \ref{property:contractibility}.
    62 half of Property \ref{property:contractibility}.
    63 
    63 
    64 Next, we want the vector space $\bc_2(X)$ to capture `the space of all relations 
    64 Next, we want the vector space $\bc_2(X)$ to capture `the space of all relations 
    65 (redundancies, syzygies) among the 
    65 (redundancies, syzygies) among the 
    66 local relations encoded in $\bc_1(X)$'.
    66 local relations encoded in $\bc_1(X)$'.