For a fixed finite quandle and
a
-cocycle
, we define a
knotted surface invariant as follows:
Let
be
a knotted surface diagram and
let
be a coloring
of
, where
is the set of sheets of
.
The Boltzman weight at a triple point
is defined by
where
is the sign of the triple point
.
(A triple point is positive if and only if the normal vectors of the top, middle,
and bottom sheets, in this order, agree with the (right-hand) orientation
of
[CrSt98].
In the right of Fig.
of Chapter
,
the triple point
is positive.)
The colors
are the colors of the bottom, middle, and
top sheets, respectively,
around the source region of
.
The source region
is the region from which
normals of top, middle and bottom sheets point.
The cocycle invariant is defined by
Since it requires some preliminary expositions to explain examples of how to compute this invariant for surfaces, we refer the reader to other publications, such as [AS03*,SatShi01b*,SatShi04], for example.