orientable  3-manifolds can be easily described by their heegaard splittings .
the manifold is presented as a union of two handlebodies , glued along the boundary by a homeomorphism of a splitting surface to itself .
any  3-manifold possesses a heegaard splitting , though not a unique one .
however , one can pass from one heegaard splitting to another by a sequence of some standard simple operations .
see , e.g. , @xcite .
a standard simple way to describe a heegaard splitting of a  3-manifold is by its heegaard diagram . a heegaard diagram consists of two families of disjoint simple closed curves on a splitting surface .
the families intersect , producing an immersed family of curves on the surface .
there is a simple combinatorial way to encode immersed curves in a plane , namely a gauss diagram .
the curve is presented as a circle in the plain with double points joined with a chord .
one can also encode the information on the overpasses and underpasses , changing these diagrams into diagrams for knots and links .
this presentation of plane curves and knot diagrams proved useful for computational purposes , especially for finite type knot and link invariants .
the same construction can be used to describe immersed curves on a surface .
a manifold is described by curves on the surface and the curves are described by gauss diagrams .
it seems natural to introduce a new notion of gauss diagrams of  3-manifolds , which appears to be a simple combinatorial way to describe  3-manifolds . in section [ gd ]
we introduce the notion of a gauss diagram corresponding to a heegaard diagram of a closed orientable manifold .
we show that the splitting surface and the entire manifold can be reconstructed from it .
the equivalence of gauss diagrams is defined and we prove that a closed orientable  3-manifold is determined by the equivalence class of its gauss diagram .
next we show how to compute the fundamental group and the first homology group of a manifold directly from a gauss diagram , and how to distinguish homology spheres .
a picture looking like a gauss diagram does not necessary come from a closed orientable manifold . in section [ abstgd ]
we consider all diagrams looking like a gauss diagram , calling them abstract gauss diagrams .
we show that this construction allows to describe oriented manifolds with boundary .
later we formulate the conditions for a gauss diagram to represent a closed orientable manifold and a complement of a knot in some closed orientable manifold .
the author would like to express her deep gratitude to her scientific advisors prof .
y. moriah and especially prof .
m. polyak from the math .
department at the technion , haifa , israel for their help , support and patience during the research .
the author also thanks the technion for financial support .
let @xmath0 be a closed orientable  3-manifold .
a heegaard splitting @xmath1 of @xmath0 is a union of two handlebodies @xmath2 , glued along their boundary @xmath3 by a homeomorphism .
the genus @xmath4 of @xmath3 is called the genus of the heegaard splitting .
one of @xmath2 can be always taken to be standard .
the main property of a handlebody @xmath5 is that there exists a set of discs @xmath6 , called a meridional disc system of @xmath5 , such that @xmath7 is a union of 3-balls .
one can always find a minimal set of this sort , which means that @xmath7 is a single ball . since there is a unique way to fill in the ball ,
the handlebody can be easily reconstructed , if a meridional disc system is specified .
this means that it is sufficient to specify the boundaries of the meridional discs on the surface .
let @xmath8 be minimal meridional disc systems of @xmath2 respectively .
the boundaries of these discs are two families @xmath9 of disjoint simple closed curves on @xmath3 , from which the heegaard splitting can be reconstructed by gluing 2-handles along the curves of @xmath9 and filling in 3-balls .
the pair @xmath10 is called a _ heegaard diagram _ of @xmath0 .
we think of both families as an immersed family of curves on the surface . in order to describe them in a more simple , combinatorial way
, one can use gauss diagrams , in a way similar to the plane curves .
gauss diagram _ is the immersing collection of circles with the preimages of each double point connected with a chord .
each chord is given a sign depending on whether the frame of tangents to the branches of the curve in this point coincides with the orientation of the plane .
one can also associate each circle a gauss word by traveling once around the circle and recording the chords with signs .
gauss words were introduced by gauss in @xcite , and the planarity problem was extensively studied .
see , e.g. @xcite , @xcite , @xcite .
carter proved in @xcite that if two sets of immersed curves fill the surface in the sense that the complement regions are discs , then they are stable geotopic if and only if they have equivalent gauss paragraphs .
the notion of gauss diagrams for knots and links was introduced by polyak and viro in @xcite .
they used gauss diagrams enhanced with the information on the overpasses and underpasses .
the equivalence classes of abstract gauss diagrams were called virtual knots by kauffman in @xcite , since only part of the diagrams were realizable .      a _ gauss diagram _ @xmath11 consists of two families @xmath12 of @xmath4 disjoint oriented circles @xmath13 , a family @xmath14 of chords joining the circles of @xmath15 to those of @xmath16 , and the signs @xmath17 of the chords respectively .
let @xmath18 be a heegaard diagram of a closed orientable  3-manifold @xmath0 .
we associate to it a gauss diagram @xmath19 in a following way : each closed curve @xmath20 can be regarded as an image of an immersion @xmath21 .
let @xmath12 be two families of the preimages of @xmath9 .
the curves of different families intersect , and the intersection points have two preimages , one in each family .
we join these points with a chord , joining a circle in @xmath15 with a circle in @xmath16 .
no chords join the circles of the same family .
each chord is given a sign of the intersection , depending on whether the orientation given by the frame ( tangent to @xmath22 in @xmath23 , tangent to @xmath24 in @xmath23 ) coincides with the orientation of @xmath3 , see figure [ signs ] .
this construction depends on the choice of the orientation of the curves of @xmath9 .
@xmath25    the choice of orientation of curves motivates the following notion of the @xmath26-equivalence :    an @xmath26-move is reversing the orientation of a circle together with reversing the signs of all chords ending on this circle . two gauss diagrams @xmath27 and @xmath28 are _
@xmath26-equivalent _ if one can be obtained from the other by a sequence of @xmath26-moves .
a gauss diagram can be viewed as a picture with two rows of circles joined with chords . for convenience , we assume the following conventions , when drawing a gauss diagram : the circles of @xmath15 are placed in the top row and are oriented counterclockwise , while the circles of @xmath16 , placed in the bottom row , are oriented clockwise .      given a gauss diagram associated to some closed orientable  3-manifold , one might think that only the information on the intersections is available and the information on the surface is lost .
it turns out , however , that this information is enough to reconstruct the entire manifold .
see theorem [ gdthm ] .
this result is based on a construction of a surface , associated to a gauss diagram .
first we construct a ribbon graph from a gauss diagram , then glue discs with holes to the boundary components of this graph .
let @xmath29 be a gauss diagram .
contract all chords to points , obtaining an oriented graph @xmath30 .
each vertex and each edge of this graph is equipped with a sign .
the signs of the vertices are the signs of the chords they come from , where the signs of the edges signify the family @xmath12 the edge belongs to .
this graph will be the core of the ribbon graph .
consider two families of @xmath4 oriented annuli as a product of @xmath12 with @xmath31 $ ] .
let @xmath32 denote the ends of a chord @xmath33 in the circles @xmath34 in @xmath12 respectively .
let @xmath35 be small neighborhoods of @xmath32 , their direction induced by the orientation of @xmath34 .
we identify the square @xmath36 with @xmath37 by a homeomorphism @xmath38 such that @xmath39 coincides with the positive @xmath40 direction in @xmath36 and the orientation is preserved .
we identify ( by an orientation - preserving homeomorphism @xmath41 ) @xmath36 with @xmath42 such that @xmath43 coincides with the positive @xmath44 direction for a positive chord and with negative @xmath44 direction for a negative chord .
a homeomorphism @xmath45 identifies the small squares in these annuli at the neighborhood of each @xmath32 cross - like , as in figure [ glue ] .
using such a homeomorphism for all chords , one obtains a ribbon graph @xmath46 with core @xmath30
. we will call it _ a ribbon graph associated to the gauss diagram_. a ribbon graph can be viewed as a union of ribbons with bases glued to small squares , called coupons by reshetikhin and turaev in @xcite .
we will treat ribbon graphs in a similar way .
[ ribbon ] let @xmath18 be a heegaard diagram of some closed orientable  3-manifold @xmath0 , and let @xmath47 be a regular neighborhood of the union @xmath48 in @xmath3 .
let @xmath19 be a gauss diagram associated to @xmath18
. then @xmath49 and @xmath50 are homeomorphic as pairs .
we have two ribbon graphs @xmath47 and @xmath46 . by construction of @xmath46
we have the same number of coupons and ribbons in both graphs .
one can identify all the coupons according to the order of intersections in one of the families @xmath9 , say @xmath51 .
when identifying the coupons , one has to take care of the identification of the ribbon bases .
however , the gauss diagram provides the exact order to do it , since the cyclic order of the edges joining the vertex is known .
since the order of the identification of the coupons is given by the order of edges in @xmath51 , meaning that we come to the coupon by a specific edge , the identification of the ribbon bases is unique .
since both ribbon graphs are oriented as surfaces and the identification goes along annuli , this can be done in orientation - preserving way .
thus the bases of the ribbons corresponding to the edges of @xmath52 are identified .
the cores of these ribbons are identified by the obvious homeomorphism , hence these ribbons can be also identified now , in the orientation - preserving way .      a ribbon graph @xmath46 is an oriented surface with boundary . as reshetikhin and turaev
mention in @xcite , we can think that the bands of an oriented ribbon graph have two sides and we always see only one of them .
we assume that this side is such that the boundary arc whose direction coincides with the orientation of the edge is always seen on the right side of the edge , as in figure [ colorglue ] .
if our gauss diagram is associated to some heegaard diagram @xmath18 of a closed orientable manifold , this graph is a ribbon graph on the surface @xmath3 .
each family @xmath9 separates @xmath3 into a sphere with holes , hence the complement of this graph in the surface is a collection of discs with holes .
we would like to specify the sequences of edges the boundaries of these discs are glued along .
we follow the construction of j.s .
carter in @xcite for gauss paragraphs , adapting his construction to the case of gauss diagrams .
if one is approaching the vertex , while going along a boundary component , he has to turn right - see figure [ crossing ] . in terms of gauss diagrams ,
a turn in a vertex of @xmath30 means that if one approaches a chord , going along a curve of the top family @xmath15 , he has to descend using a chord and continue along the curve of @xmath16 , and vice versa .
this rule can be applied to any gauss diagram , not necessary to the one associated to some heegaard diagram of some manifold .
right turn rule " then means that for the positive chord one has to cross it on ascending path and to continue along it on the descending path
. see figure [ negpos_fig]a .
approaching the negative chord , one ascends along the chord and crosses it on his way downwards .
see figure [ negpos_fig]b .    a sequence of edges corresponding to the boundary component
is called a _
cycle _ in a gauss diagram .
we are going to glue discs with holes to boundary components .
each edge of the gauss diagram @xmath29 produces two arcs in the boundary of @xmath46 .
we would like to know directly from @xmath29 which boundary component contains each of these arcs .
it proves useful for computational purposes to include in the gauss diagram the information which pair of cycles the edge belongs to .
an easy way to encode it is using the elements of a finite set @xmath53 .
elements of @xmath53 are in one - to - one correspondence with boundary components of @xmath46 .
we associate to each edge of @xmath29 an ordered pair @xmath54 .
the first element corresponds to the boundary component having the same direction as the edge itself and the second one - to the opposite one .    in these terms
the  right turn rule " will look as follows .
let @xmath55 , @xmath56 be the pairs assigned to incoming and outgoing edges of @xmath57 for some chord @xmath23 , @xmath58 - the pairs assigned to incoming and outgoing edges of @xmath59 respectively .
see figure [ colorglue ] .    for positive intersection
we have : @xmath60 , see figure [ colorglue]a , and for negative one we have : @xmath61 , see figure [ colorglue]b . from now on we incorporate this information into gauss diagram , without changing the notation .
we would like to construct a closed surface from @xmath46 , hence we glue discs with holes to it .
the result of this construction is not unique . if @xmath62 , we would like to obtain the surface homeomorphic to @xmath3 and to get a heegaard diagram producing the same manifold . to do
this one has to know which boundary components will be glued to the same disc with holes .
this leads us to the notion of a decorated gauss diagram .    consider an equivalence relation on the set @xmath53 of all the cycles of @xmath19 , where two cycles will be equivalent if they correspond to the boundary components of the same disc with holes in @xmath63 .
it is convenient to define this equivalence relation as a coloring of the elements of @xmath53 by the colors @xmath64 of the corresponding discs with holes .
a _ decorated gauss diagram _
@xmath65 is a gauss diagram with a color @xmath66 associated to each cycle , where the colors are members of a finite set @xmath67 .
we associate to a heegaard diagram @xmath18 a decorated gauss diagram @xmath68 .
the only thing to do is to define the coloring of the cycles .
all boundary components of the same connected component of @xmath63 have the same color .
to construct the surface associated to @xmath69 , for each color pick a sphere with a number of holes equal to the number of cycles having this color and glue it to all these cycles .
this surface will be denoted by @xmath70 and will be called _ the surface associated to the decorated gauss diagram_. the manifold associated to it can be constructed by gluing discs to @xmath12 and capping the spheres with 3-balls .    [ surfdeco ]
let @xmath10 be a heegaard diagram of a closed orientable  3-manifold @xmath0 .
the surface @xmath70 associated to @xmath71 is homeomorphic to @xmath3 and the associated manifold is homeomorphic to @xmath0 .
since each of the families @xmath9 separates @xmath3 into discs with holes , the surface @xmath72 consists of discs with holes , too . by proposition
[ ribbon ] , we have a homeomorphism @xmath73
. consider all the cycles of @xmath71 colored by the same color @xmath66 .
all of them correspond to the boundary components of @xmath74 , whose images under @xmath75 are glued to the same disc with holes in @xmath72 . the discs with holes glued to the boundary components of @xmath74 and the components of @xmath72 are homeomorphic .
the homeomorphism is defined by the image of @xmath75 on the boundaries .
since the heegaard diagram was reconstructed , the manifold obtained by gluing discs along the core of @xmath74 will be homeomorphic to @xmath0 .
if @xmath76 is a union of discs , then all cycles of @xmath71 have different colors .
this means that a manifold can be reconstructed from a non - decorated gauss diagram , and we can omit the decorations .
suppose that on the surface @xmath3 there are two curves belonging to different families @xmath9 , which can be isotoped along @xmath3 , such that a pair of cancelling intersections appears , in a manner similar to the second reidemeister move in knots .
see figure [ reidmove ] . in a gauss diagram
this will look like adding a pair of adjacent chords with opposite signs .
consider a decorated gauss diagram @xmath69 .
let @xmath77 be two edges , belonging to two cycles of the same color .
let @xmath78 be the respective colorings of @xmath79 , and let @xmath80 be points of @xmath81 , @xmath82 be points of @xmath83
. the chord joining @xmath84 with @xmath85 will be positive and the chord joining @xmath86 with @xmath87 will be negative .
going along @xmath88 induces an order on the points of an edge .
we write @xmath89 if @xmath23 appears before @xmath90 .
the signs and the order of the chords in @xmath88 depends on the colors of the edges :    * if @xmath91 then @xmath92 and @xmath93 * if @xmath94 then @xmath95 and @xmath93 * if @xmath96 then @xmath92 and @xmath97 * if @xmath98 then @xmath95 and @xmath97 .
this rule explains which sides of the bands meet when two chords appear while two cancelling intersections are created .
see figure [ reidglue ] for an example of two bands meeting with @xmath98 .
we will call this change in a decorated gauss diagram an _
@xmath99-move_.    during an @xmath99-move three new edges @xmath100 are created instead of each of @xmath88 , so that @xmath101 have a common chord , and @xmath102 too .
see figure [ reidglue ] .
the colorings of these edges are given by the following .
if @xmath88 belonged to the same cycle of color @xmath103 , then there is a partition of the set of all cycles colored by @xmath103 into two sets , colored into two new colors that did not exist in the color set of @xmath29 .
two new cycles , containing @xmath104 and @xmath105 respectively , belong to different sets .
a new cycle , consisting of two edges @xmath106 has an entirely new color @xmath107 .    if @xmath88 belonged to two different cycles of color @xmath103 ,
then two new cycles appear .
one of them contains all the edges of the old cycles and two pairs @xmath108 and has the same color @xmath103 .
the other one consists only of @xmath106 and has a new color @xmath107 .
the edges @xmath104 and @xmath105 have the same coloring pairs as @xmath88 , save that @xmath103 can be replaced by a new color , as mentioned above .
the edges @xmath109 have a new coloring , obtained from the coloring of @xmath88 by the following changes : @xmath103 is replaced by @xmath107 , the second color in the pairs is switched between @xmath81 and @xmath83 , and the colors inside each pair are also switched .
e.g. , if @xmath81 is colored by @xmath110 and @xmath83 - by @xmath111 , as in figure [ reidglue ] , the edge @xmath112 is colored by @xmath113 and @xmath114 - by @xmath115
.    the opposite move to an @xmath99-move is called _ @xmath116-move_.
two decorated gauss diagrams are called _ @xmath99-equivalent _ if one can be obtained from the other by a sequence of @xmath99 and @xmath116-moves .
@xmath99-equivalent diagrams have the same heegaard splitting .
an @xmath99-move reminds us the second reidemeister move in knots .
there is no equivalent to the third reidemeister move , since three curves intersecting would produce an intersection between the curves of the same family , which is forbidden
.    a ribbon graph @xmath74 may be connected , and may be not .
this leads us to the notion of @xmath99-connected diagram .
let @xmath69 be an abstract decorated gauss diagram . consider a graph , whose vertices are connected components of @xmath69 .
two vertices are connected with an edge if and only if the sets of colors appearing on these connected components have a color in common .
we call the diagram @xmath69 _ @xmath99-connected _ if and only if this graph is connected .
the surface @xmath70 is connected if and only if @xmath69 is @xmath99-connected .
the connected components of @xmath74 are exactly the connected components of @xmath69 itself .
two components will have the same disc with holes glued to both of them if and only if they have a color in common .
hence the connected components of the graph defined above correspond to connected components of @xmath70 .
[ requiv ] any decorated gauss diagram @xmath69 is @xmath99-equivalent to a gauss diagram with the number of colors used on it equal to the number of cycles . the resulting diagram is connected if and only if @xmath69 is @xmath99-connected .
consider a decorated gauss diagram @xmath69 .
let @xmath117 be a non - simply connected component of @xmath118 .
it is a disc with holes and each of its boundary components contains arcs of both families .
perform an @xmath99-move between two different boundary components of @xmath117 .
such a move produces two components , such that one of them is a disc with a new color . the other one has one hole less than the initial , thus lowering the number of cycles colored by the same color
. see figure [ reidemeister ] . an @xmath99-move does not change the number of boundary components of any other component of @xmath118
. the resulting diagram will be @xmath99-equivalent to the previous one
. one can continue this process till @xmath117 turns into a disc .
remove all non - simply - connected components of @xmath118 by the @xmath99-moves .
this will give a decorated gauss diagram with all cycles colored differently .    if the gauss diagram @xmath71 is not connected , we assume for convenience that it has two connected components . if @xmath69 is @xmath99-connected , there are two cycles colored by the same color in different components of @xmath71 .
an @xmath99-move between these cycles will change the diagram into a connected one .
[ connexist ] for any heegaard diagram @xmath10 of a closed connected orientable  3-manifold there is a connected gauss diagram @xmath29 with all cycles colored in different colors @xmath99-equivalent to @xmath71 .
moreover , there is a heegaard diagram isotopic to @xmath10 , such that @xmath29 is associated to it .      to compute the genus of the surface associated to an abstract gauss diagram
, we will use the notion of the _ excess of a coloring _ , which is the difference @xmath119 between the number of cycles and number of colors . obviously , if all cycles have different colors , @xmath119 vanishes .
[ genus ] the genus of a surface @xmath70 associated to an abstract decorated gauss diagram @xmath69 is @xmath120 , where @xmath121 is the number of cycles and @xmath122 is the number of chords in @xmath69 .
this can be done by computing the euler characteristic of @xmath70 .
the surface @xmath70 is constructed by gluing discs with holes to the boundary components of a ribbon graph @xmath74 .
the number of vertices of @xmath74 is the number of chords @xmath122 .
the number of edges of @xmath74 equals twice the number of chords .
we do not count circles that have no chord attached to them , since they produce annuli in @xmath74 , and their euler characteristic is @xmath123 .
thus @xmath124 .
glue discs with holes to @xmath74 . for each of them
, the number of the boundary components equals the number @xmath125 of cycles colored by @xmath66 .
the total number of these discs with holes is the number of colors @xmath126 .
the euler characteristic of each such disc with holes is @xmath127 .
summarizing , we have : @xmath128 the sum over @xmath125 equals the number of cycles @xmath121 , giving @xmath129 .
the genus is given by @xmath130 .
a surface associated to a non - decorated gauss diagram @xmath29 is a surface obtained by gluing discs to all boundary components of @xmath46 . in other words , this is the surface associated to a decorated gauss diagram with all cycles colored in different colors .
[ gnondeco ] the genus of the surface associated to the connected non - decorated gauss diagram is @xmath131 .
let @xmath10 be a heegaard diagram of some closed orientable  3-manifold @xmath0 .
assume that @xmath132 is connected .
let @xmath4 be the number of curves in each family @xmath9 .
if @xmath133 , then @xmath134 is a collection of discs , otherwise @xmath10 is reducible .    if @xmath133 , the surface associated to a non - decorated gauss diagram is homeomorphic to @xmath3 .
the boundaries of the meridional disc system are also reconstructed , hence @xmath3 is separated into discs by the curves of @xmath135 .    if @xmath136 , then cutting @xmath137 along the curves of the diagram produced surfaces other than discs .
thus any essential closed curve in such a non - simply connected component bounds a disc in both handlebodies of the heegaard splitting .
this means that the heegaard splitting is reducible .
we introduce now two types of moves of gauss diagram motivated by some equivalences of heegaard splittings .
suppose that two curves @xmath138 on the heegaard diagram @xmath10 , belonging to the same family @xmath9 , say @xmath51 , can be joined together with a simple curve @xmath139 disjoint from all other curves of @xmath9 .
let @xmath140 be the boundary components of a thin collar @xmath141 $ ] of @xmath139 in @xmath134 .
set @xmath142 by a slight push make this curve disjoint from @xmath143 .
this does not change the handlebodies of the splittings , only the meridional discs defining them .
the heegaard diagram @xmath144 is obtained from the diagram @xmath10 by a handle slide of @xmath145 along @xmath143 .
see figure [ handlesliding ] .
this process changes the gauss diagram of @xmath0 , with a small section of @xmath146 being substituted by a curve equal to @xmath147 without a small segment .
all the curves that intersected @xmath143 now intersect @xmath148 also , which means that we have the copies of all chords that joined @xmath147 now joining @xmath149 .
the signs of the intersections ( and the chords ) are the same , if the direction of the segment removed coincides with the direction of the added segment .
if not , one has to change the direction of the added segment , and reverse the signs for all chords joining it , as in the case of @xmath26-equivalence . clearly , the move is allowed only if the segments removed from both cycles are of the same color .
we say that the resulting diagram is obtained from the initial one by an _ @xmath5-move_. the opposite of this move will be called _
@xmath150-move_.    the change of the colors in the case of handle slide is illustrated in figure [ colorslide ] .
the color of the region is the color of the cycle bounding it .
let @xmath151 be the colorings of the edges @xmath152 of @xmath147 , and let @xmath139 join @xmath153 and @xmath154 .
let @xmath155 be the coloring of @xmath156 .
the edges @xmath152 , save @xmath153 , will now be parts of new small cycles , consisting only of @xmath157 edges each and having new colors @xmath158 . the edges
@xmath159 will have colors @xmath160 .
the edge @xmath153 will have the coloring @xmath161 , if the directions of the added and removed segments coincide . in this case also the edges @xmath162 added to @xmath146 have colors @xmath163 and belong to the same new cycles .
the edges @xmath162 have colors @xmath164 .
the remaining two edges of these new cycles have the colors @xmath165 or @xmath166 , depending on the signs of their ends .
we described already the colors of all @xmath162 save the first and the last ones .
their coloring equals that of @xmath156 if @xmath139 joined two edges of different cycles . if not , the color @xmath167 splits and the coloring is as in figure [ colorslide ] . if the direction of the added segment is opposite to that of the removed one , the colorings of the edges of the added segment switch .
[ hgs ] @xmath5-move does not change the genus of @xmath70 .
consider the slide of @xmath168 along @xmath169 .
let @xmath170 be the number of chords joining @xmath169 .
then the total number of chords becomes @xmath171 .
the number of cycles and colors depend on whether the edges joined by @xmath139 belonged to the same cycle or not .
if @xmath139 connected two edges of the same cycle , two cycles are created instead of it .
their colors are different , and the set of the cycles colored by the initial color is partitioned into two sets , each with a new color .
additional @xmath172 new @xmath157-edged cycles are also created , each with a separate color .
hence both the number of colors and the number of cycles increases by @xmath170 , and @xmath119 does not change .
the formula of proposition [ genus ] for the changed diagram @xmath173 gives : @xmath174 .
see also figure [ colorslide ] .
if @xmath139 connected two edges of two different cycles of the same color , these cycles are now replaced by a single one .
hence the number of colors increases only by @xmath172 , while the number of cycles increases by @xmath175 .
the formula of the proposition [ genus ] then gives us : @xmath176 .
another basic operation with heegaard splittings is stabilization .
this operation consists of adding a pair of cancelling handles .
see figure [ stabilization ] .
one can think of it as a connected sum of @xmath0 with @xmath177 , where the ball of connection is a small neighborhood of a point on the splitting surface @xmath3 disjoint from the curves of @xmath9 , and @xmath177 is thought as having a standard genus 1 splitting @xmath178 .
the boundaries of the meridional discs of the solid tori @xmath178 intersect in one point and are disjoint from @xmath9 .
this means that in terms of gauss diagrams the stabilization can be viewed as adding a circle to each family @xmath12 .
these two circles are joined with one chord ( the sign depends on the orientation of the boundaries of the meridional discs of @xmath178 and can be chosen arbitrarily ) , and no chord joins them to the other circles .
they produce a single cycle whose color is one of the existing colors .
the color represents the place where the stabilization was made .
we call this operation an
_ @xmath179-move_. there is , certainly , the inverse operation of removing two cancelling handles , disjoint from all others .
this looks like removing a pair of circles joined by a single chord and not connected to any other circle of a gauss diagram .
_ @xmath180-move_.    [ sgs ]
@xmath179-move increases the genus of @xmath70 by @xmath181 .
let @xmath173 be a stabilization of @xmath69 .
a single cycle was added to @xmath69 , and no new colors .
hence @xmath119 increased by @xmath181 .
we also have one chord more . substituting to the formula of the proposition [ genus ] for @xmath182
we have : @xmath183 .
two gauss diagrams are called _ @xmath184-equivalent _ if one can be obtained from the other by a sequence of @xmath179-moves , @xmath5-moves and their opposites .
one of the problems of heegaard splittings is that a  3-manifold can be presented by different heegaard splittings ( possibly of a different genus ) .
moreover , the same heegaard splitting can be presented by different heegaard diagrams .
the @xmath184-equivalence reflects this phenomenon on the level of gauss diagrams .
two gauss diagrams are _ equivalent _ if one can be obtained from the other by a sequence of @xmath185-moves or their opposites .
[ gdthm ] a closed connected orientable  3-manifold is in one - to - one correspondence with the equivalence class of its gauss diagram .
a well known theorem by singer says that one can pass from one heegaard splitting to any other heegaard splitting of the same closed manifold by a consequent use of handle slides and stabilizations .
see @xcite . on the level of gauss
diagrams it means that the gauss diagrams associated to these heegaard splittings are @xmath184-equivalent .
now let @xmath10 be a heegaard diagram of some closed orientable  3-manifold m. by corollary [ connexist ] , there is a connected gauss diagram @xmath29 with all cycled colored differently , @xmath99-equivalent to @xmath132 , and the curves of the heegaard diagram can be isotoped so that @xmath29 is the diagram associated to @xmath10 after the changes .
we will not change the notation for the isotoped @xmath9 . construct the surface associated to @xmath29 . by proposition [ ribbon ] ,
a ribbon graph associated to @xmath132 is homeomorphic to a regular neighborhood of @xmath9 .
consider the boundary components of this neighborhood .
each of them is a simple closed curve disjoint from the curves of @xmath9 , homotopic to the image of a cycle in @xmath132 under this homeomorphism , and all cycles of @xmath132 are presented by these boundary components .
if this curve is essential in @xmath3 , compress along it .
continue for all cycles .
take only those components of the resulting surface that contain curves of @xmath9 .
this surface is homeomorphic to the surface @xmath137 .
the complement of the ribbon graph in @xmath137 is a collection of discs . in the surgered surface containing @xmath9 ,
the complement of @xmath9 is also a collection of discs , the boundary of each is a cycle in the gauss diagram .
a homeomorphism is constructed by taking the corresponding discs to each other and the correspondence is determined by the boundary . thus any two heegaard diagrams with equivalent gauss diagrams can be obtained from a surface associated to their common gauss diagram by a connected sum with unknotted tori and handle slides .
the algorithm of section [ cell complex ] gives us the possibility to reconstruct the surface from the gauss diagram , but it is hard to visualize it .
the following algorithm allows us to reconstruct the picture of the heegaard diagram in an easy and quite visual way , provided that a gauss diagram comes from some heegaard diagram of a closed orientable  3-manifold m and is connected .
we also need to assume that @xmath186 , where @xmath187 is given by the formula of corollary [ gnondeco ] .
consider such a gauss diagram @xmath29 .
since one of the families @xmath9 of curves on the surface can be taken to be standard , we start with an oriented disc with @xmath188 holes .
let the boundary have the orientation induced by the orientation of the disc .
split the set of the boundary components in pairs .
choose an orientation - reversing homeomorphism between the curves and identify them in pairs .
this gives us a surface @xmath179 of genus @xmath4 .
see figure [ gdv ] , where the boundary components already have reversed orientations , where necessary . after the identification we refer to the identified curves as @xmath189 .
the curves @xmath190 can be considered as a map from a gauss diagram to a heegaard diagram , defining the closed curves belonging to one of the families . to get
a map from @xmath16 to @xmath179 for all segments of the circles of @xmath16 between the endpoints of the chords draw disjoint curves in @xmath179 between the points corresponding to the upper ends of the chords intersecting this segment .
when choosing the copy of @xmath190 that should contain the final point of the edge of @xmath191 , one has to take the chord sign into account .
for instance , taking the orientations of @xmath192 s as in figure [ gdv ] , @xmath193 has to join the counterclockwise copy of @xmath194 for a negative intersection and the clockwise copy of @xmath194 for a positive one .
the concatenation of these curves after identifying the @xmath192 s will be a closed curve in @xmath179 corresponding to a circle of @xmath16 .
the gauss diagram associated to the heegaard diagram obtained above is the same as @xmath29 . by theorem [ gdthm ] ,
the manifold given by this heegaard diagram is homeomorphic to @xmath0 .
the fundamental group of a closed orientable  3-manifold @xmath0 and its first homology group can be computed easily from a gauss diagram @xmath29 , associated to some heegaard splitting of @xmath0 . for each circle @xmath195 of @xmath16
we write a word @xmath196 in letters @xmath197 in the following way : let @xmath198 be the sequence of chords with signs @xmath199 joining @xmath195 to the circles of @xmath15 .
suppose a chord @xmath200 joins @xmath201 to @xmath202 .
for such a chord we write @xmath203 in @xmath196 .
thus we get a cyclic word , which is a relation in the presentation of @xmath204 .
[ pi1 ] let @xmath10 be a heegaard diagram of some closed orientable  3-manifold @xmath0 .
assume that @xmath205 is connected and @xmath186 .
then @xmath206 has a presentation @xmath207 , where @xmath208 correspond to the circles of @xmath15 and @xmath196 correspond to the circles of @xmath16 and are obtained as above .
we use the algorithm and the notation of section [ gdvisualizing ] .
each @xmath208 corresponds to a curve @xmath209 , see figure [ gdv ] .
the fundamental group @xmath204 can be obtained from the fundamental group of @xmath179 by adding the relations given by the discs glued to the curves of the heegaard diagram .
the curves @xmath210 form the generator set for @xmath211 . when we glue discs to the curves corresponding to @xmath15 , we remain with @xmath209 s only .
they will be the generators of @xmath204 .
when one wants to count how many times does the curve wind along the handle defined by @xmath209 , he simply counts how many times it crosses some fixed curve dual to @xmath209 , which is @xmath190 .
this explains the form of the relations .
let @xmath212 denote the algebraic number of chords joining the circle @xmath195 in @xmath16 to a circle @xmath213 in @xmath15 .
the first homology group of @xmath0 is the abelian group generated by @xmath214 , where @xmath208 correspond to the circles of @xmath15 .
the relations are @xmath215 , where @xmath216 .
the algebraic numbers of chords joining the circles can also be written in the intersection matrix @xmath217 .
this matrix allows us to determine whether a manifold is a homology sphere .
the 3-sphere : :    @xmath177 is the simplest example .
we represent a gauss    diagram of the standard genus @xmath181 splitting of it .
see    figure [ sphere ] .    + lens spaces : :    they are a bit more complicated . in figure [ lens ]
we present the gauss    diagrams of @xmath218 and @xmath219 .
the signs    of all chords are @xmath220 on both diagrams .
the fundamental    group is the same , as one should expect :    @xmath221    + poincare homology sphere : :    figure [ poincare ] represents a heegaard diagram and the associated    gauss diagram of the poincare manifold @xmath222 , as it    appears in @xcite .
the picture presented by rolfsen looks exactly    like the one obtained by the algorithm of section [ gdvisualizing ] from    a gauss diagram .
the fundamental group , according to the proposition    [ pi1 ] , is @xmath223 which is the binary icosahedral group ,    as expected .
abelinizing , we get    @xmath224 , hence @xmath222 is    indeed homology sphere .
+ another homology sphere : :    we consider the example of a homology sphere given by hempel in    @xcite . its heegaard diagram is shown in figure [ homsph ] , together    with its gauss diagram .
one can easily calculate the fundamental    group : @xmath225 which gives trivial    first homology group .
the intersection matrix is in this case    @xmath226 and its determinant is @xmath181 , in agreement with    the expectations .
a natural question that arises when dealing with gauss diagrams of  3-manifolds is : given an abstract gauss diagram , can one find a manifold that this gauss diagram is associated to it ?
gauss diagrams for  3-manifolds closely resemble gauss diagrams for knots and links .
the equivalence classes of gauss diagrams for links that do not necessarily correspond to a link are called virtual links .
we can also call the equivalence classes of gauss diagrams of  3-manifolds virtual manifolds .    below
we show that a  3-manifold , in general with a boundary , can be associated to any abstract gauss diagram . in section [ bdry ]
we give the conditions for an abstract gauss diagram to represent a closed  3-manifold or a component of a knot in some closed orientable  3-manifold .      in order to generalize the definition of heegaard splitting to  3-manifolds with boundary ,
one replaces the handlebodies with the compression bodies .
see , e.g. @xcite . a _ compression body _
@xmath5 is a  3-manifold with boundary obtained in a following way : let @xmath3 be a closed surface . take a cylinder @xmath227 $ ] , attach to @xmath228 a collection of 2-handles . if the resulting manifold has any spherical components of the boundary , fill them with 3-balls . the surface @xmath229
is called the outer boundary @xmath230 of the compression body , and the surface @xmath231 is called the inner boundary of @xmath5 .
if a boundary has one component only , namely its outer boundary @xmath230 , we get a handlebody .
the boundary of a compression body may consist of more than two components .
the genus of the outer boundary is the genus of a compression body . unlike the case of a handlebody
, the genus does not determine the manifold completely .
two compression bodies of the same genus have homeomorphic outer boundaries , but there are no restrictions on the inner boundary , and the manifolds can be completely different .
a heegaard splitting of a manifold with boundary is then a union of two compression bodies @xmath2 glued using a homeomorphism of the outer boundaries @xmath232 of the compression bodies .
the surface @xmath233 is then called a splitting surface of the heegaard splitting .
we also allow now the families @xmath12 to have different number of circles .
the number of circles in each family @xmath12 will be denoted by @xmath234 .
assume that @xmath69 is an abstract decorated gauss diagram with @xmath4 circles in each family .
then one can look at the gauss diagram as representing curves on @xmath70 to which the discs are glued .
being more precise , one takes a collar @xmath235 $ ] and attaches 2-handles to it along the curves in @xmath236 and @xmath237 .
if a 3-sphere appears in the boundary , it is filled with a 3-ball .
then @xmath238 is a heegaard splitting surface for a manifold , possibly with boundary .    if one adds to one of the families of a heegaard diagram a curve contractible on the splitting surface , gluing disc along it produces a spheric boundary component .
this sphere is filled with a ball and the heegaard splitting does not change .
this move is called a bubble - move or a _ @xmath239-move_. in terms of gauss diagrams this looks like the addition to one of the families @xmath12 a circle ( called a _ bubble _ ) without chords .
this circle produces two cycles , one colored in a new color and the other in one of the existing colors .
the choice of the existing color is the choice of the component of @xmath240 to which the bubble is added .
the opposite move to this one , i.e. a removing of such a circle , is called @xmath241-move .
let @xmath242 be two abstract decorated gauss diagrams .
assume that @xmath243 can be obtained from @xmath244 by an @xmath26-move .
we would like to show that @xmath243 can be obtained from @xmath244 by a sequence of @xmath245 and @xmath246-moves .
the diagram @xmath244 differs from @xmath243 by the signs of the chords joining one circle , say @xmath57 in @xmath247 .
choose an edge in @xmath57 .
let @xmath248 be its coloring .
perform a @xmath239-move adding a circle @xmath249 to @xmath247 , colored by @xmath250 , where @xmath156 is a new color .
perform an @xmath5-move , sliding @xmath249 along @xmath57 .
the new circle will have the direction opposite to that of @xmath57 , and the chords will have opposite signs . perform an @xmath150-move on @xmath57 changing it into bubble .
remove this bubble with @xmath241-move .
the resulting diagram is @xmath243 .
see figure [ epsilon ] .
let @xmath173 denote the diagram resulting from a gauss diagram @xmath69 after the @xmath239 move .
a @xmath239-move adds a circle to one of the families , without any chords joining it .
two new cycles and one new color are added , increasing the excess of coloring @xmath119 by @xmath181 and @xmath121 by @xmath251 .
hence @xmath252 .
we would like to understand which conditions a gauss diagram should satisfy so that a manifold associated to it is closed . if the number of circles in each of @xmath12 equals @xmath253 , we have an honest heegaard splitting of a closed orientable  3-manifold , provided that neither @xmath15 nor @xmath16 separate the surface .
see , e.g. , @xcite .    for a decorated gauss diagram @xmath69 consider a pair of graphs @xmath254 .
the vertices of both graphs are the colors used in @xmath69 .
two vertices @xmath255 of , say , @xmath256 have a common edge if there is an edge or a circle without chords in @xmath16 with a coloring @xmath257 or @xmath258 .
the following lemma is obvious :          let @xmath265 be surfaces obtained from @xmath70 by a surgery on the curves of @xmath12 respectively .
each @xmath265 is the inner boundary of the compression body @xmath2 together with several spheres that will be capped .
then the euler characteristic of , say , @xmath266 is : @xmath267 this is also the sum of the euler characteristics of the components @xmath268 of @xmath266 , each of which has genus @xmath269 .
their number is exactly the number of the components of @xmath270 . by lemma [ separation
] this number is @xmath271 .
consequently , @xmath272 and the assertion follows .
[ clmfldcond ] if @xmath273 , then the manifold associated to @xmath69 is a closed orientable  3-manifold .
if @xmath274 , or vice versa , then the manifold associated to @xmath69 is a complement of a knot in some closed orientable  3-manifold .
let @xmath2 be compression bodies obtained from @xmath275 $ ] by gluing 2-handles along the curves of @xmath12 respectively and filling in 3-balls .
for a handlebody we need @xmath276 , since @xmath261 has to be empty . to get a single torus as the inner boundary of @xmath277 and a single boundary component of @xmath0 , we need @xmath278 .        consider a @xmath239-move . by lemma [ bgs ]
, it preserves @xmath253 . when a bubble is added to @xmath15 , a vertex
is added to both graphs @xmath263 . in @xmath280
this vertex is joined to another by an edge , and @xmath281 does not change , but in @xmath256 no edge joins it . hence @xmath271 increases by @xmath181 .
the number of circles also increases by @xmath181 only in @xmath15 .
computing @xmath260 by formula of proposition [ pg ] shows that the values are preserved by @xmath239-move .
consider an @xmath179-move . both @xmath234 increase by @xmath181 .
no new colors are added , and the edges added are colored by @xmath282 . hence no change is made on @xmath262 . from lemma [ sgs ]
we know that @xmath253 increases by @xmath181 .
hence @xmath260 are preserved by @xmath179-move .
consider an @xmath5-move .
this time @xmath253 is preserved ( lemma [ hgs ] ) , and @xmath234 too .
according to lemma [ separation ] , @xmath262 is the number of connected components of @xmath240 .
assume , for convenience , that the slide occurs in the @xmath15 family .
we would like to understand how it affects the connected components of @xmath240 .
since only the curves of @xmath15 are affected by the move , there is no change on the connected components of @xmath283 , and @xmath281 is preserved .
let @xmath147 slide along @xmath146 .
both of them are boundary components of some @xmath284 , which is a connected component of @xmath270 .
a handle slide looks on @xmath284 like replacing two components of @xmath285 by their connected sum .
assume that @xmath284 is glued along @xmath147 to another component @xmath286 of @xmath270 .
a slide of @xmath147 along @xmath146 looks like the addition to @xmath286 of an annulus on a thin band .
no new components are created in @xmath270 , and no components are glued together .
see figure [ surfslide ] .
if both copies of @xmath147 are boundary components of @xmath284 , then an annulus on a thin band is glued to the same @xmath284 .
there is no change in the other connected components of @xmath270 .
hence @xmath271 is preserved in both cases .
we conclude that @xmath260 is invariant under @xmath5-move .
consider an @xmath99-move .
there is no change in @xmath234 . if the edges , where the intersections appear , belonged to different cycles , then the number of colors increases by one , and the number of cycles does not change
this means that the genus of the surface associated to the changed diagram @xmath173 is @xmath287 .
in this case the only new color , in both @xmath259 , is a vertex of valency @xmath181 , joining the existing components .
see also figure [ reidglue ] .
there is no other change in the graphs @xmath259 .
if the edges where the intersections appeared belonged to the same cycle , then the number of colors increases by @xmath251 .
the number of cycles @xmath121 also increases by @xmath251 .
this means that @xmath288 .
one of the new colors , in both @xmath259 , is a vertex of valency @xmath181 , joining the existing components , as in the previous case .
there are two more new colors replacing one old , and this looks like splitting the vertex .
just as in the case of handle slide , these vertices belong to the same component , since in both graphs a path can be found between them .
we conclude that @xmath262 is also preserved and @xmath260 is invariant under @xmath99-move .
obviously , two equivalent diagrams have the same associated manifold .
now assume that we have a gauss diagram @xmath244 , satisfying @xmath273 , that is equivalent to a gauss diagram @xmath243 with @xmath289 . by proposition [ pginvt ] , @xmath290 .
by corollary [ clmfldcond ] , the manifold associated to @xmath243 is closed . by theorem [ gdthm ]
we are done .
it remains to show that any abstract gauss diagram @xmath244 satisfying @xmath273 is equivalent to a gauss diagram @xmath243 with @xmath289 .
we can assume that @xmath291 .
let @xmath284 be a connected component of @xmath292 .
if @xmath284 is not a disc with holes , then @xmath293 together with discs glued to its boundary components is a non - trivial component of @xmath294 .
this contradicts the assumption @xmath295 .
thus @xmath284 is a disc with holes .
since @xmath296 , there is a circle @xmath57 in @xmath285 , that is not glued to any other component of @xmath285 .
isotope @xmath57 , probably performing some @xmath99-moves , so that @xmath57 can be connected by arcs disjoint from @xmath16 to all other components of @xmath285 .
then @xmath57 can slide along all boundary components of @xmath284 .
a handle slide looks on @xmath284 like replacing two components of @xmath285 by their connected sum , hence the number of components of @xmath285 decreases . from the proof of proposition [ pginvt ]
we know that handle slides do not change @xmath262 .
the handle slides of @xmath57 along the components of @xmath285 change @xmath284 into a disc .
since @xmath297 consists of disjoint arcs and bubbles , all these can be removed by @xmath241 and @xmath116-moves .
this will change @xmath57 into a bubble . remove the bubble by another @xmath241-move .
this will decrease @xmath271 by @xmath181 .
thus @xmath244 is equivalent to a diagram with @xmath298 .
since we reconstruct @xmath0 from its gauss diagram as a cell complex , there is an obvious way to obtain its fundamental group .
a gauss diagram is a graph , which we denote also by @xmath29 for convenience .
let @xmath29 be an abstract gauss diagram with all cycles colored differently and @xmath0 the associated manifold .
let @xmath299 be the maximal tree subgraph of @xmath29 , containing all chords .
the generators of @xmath204 are the edges of @xmath300 , and the relations are defined by the cycles of @xmath29 and the circles of both families .
the fundamental group of the ribbon graph @xmath46 coincides with the fundamental group of @xmath29 , which is the free group generated by the edges of @xmath300 . to construct the splitting surface one glues discs to the boundary components of @xmath46 , which means to the cycles . for any cycle write a relation going along it and writing down only the edges in @xmath300 . in the cycles part of the edges
are traversed in the direction opposite to their orientation . in this case
write the inverse of the generator .
gluing 2-handles along the circles of @xmath29 means introducing another set of relations .
the circles are also sequences of edges , and only those in @xmath300 should be written .
filling in 3-balls does not affect the fundamental group .
there is another , simpler way to obtain the fundamental group for closed orientable manifolds , if the number of circles in each family of the gauss diagram equals the genus of the associated surface and no separation occurs .
this is the method of proposition [ pi1 ] .
the first homology group of @xmath0 is the abelian group generated by the edges of @xmath300 .
the relations coming from the circles in the gauss diagram remain unchanged . in some cycles there
could be edges appearing twice , with opposite signs . hence in @xmath301 in the relations coming from the cycles one writes only those generators that are colored by two different cycles .        thickened torus
: :    @xmath302 can be represented by a diagram in figure    [ torusxi ] , which also shows how the curves are situated on the    surface .
the count of cycles gives @xmath303 , so    @xmath304 , which equals the number of curves in each    family .
one can also check , using the graphs @xmath259 of    section [ bdry ] , that each curve separates the surface into two    components .
the proposition [ pg ] then implies that both boundary    components are tori .
+ unknot complement : :    the diagram of figure [ unknot ] has @xmath157 cycles , which    implies genus @xmath305 , and drawing the graphs    @xmath259 one can see that the top family does not separate    the surface , while the bottom does , and we have two components . let us    count the fundamental group .
the maximal tree @xmath299 is    thickened in the diagram .
the generators are the arcs in    @xmath300 , as shown in figure [ unknot ] .
the fundamental group    then is : @xmath306    where the last four relations come from the cycles .
this gives us    @xmath307 .
the manifold is the complement of the unknot    in @xmath177 .