the combinatorial datum that specifies a cluster algebra of geometric type is an extended exchange matrix @xmath2 , which consists of a skew - symmetrizable integer matrix @xmath0 , called an exchange matrix , and some additional rows called the coefficient rows of  @xmath2 .
certain exchange matrices @xmath0 are associated to tagged triangulations of marked surfaces , as explained in @xcite . in this case , the choice of coefficient rows amounts to choosing a set of laminations in the surface .
a lamination is a collection of weighted curves in the surface .
the corresponding coefficient row is a vector known as the shear coordinates of the lamination .
the notion of laminations predates the notion of cluster algebras .
references are found in ( * ? ? ?
* sections  1213 ) .    given an exchange matrix @xmath0
, we consider the category of cluster algebras of geometric type associated to @xmath0 , with maps given by certain specializations of the coefficients .
we follow @xcite in broadening the category of cluster algebras of geometric type to allow infinitely many coefficient rows with not - necessarily integral entries , and then narrowing the definition of coefficient specialization , as compared with the definitions in  @xcite .
the category also depends on an underlying ring @xmath3 , usually @xmath4 , @xmath5 , or @xmath6 .
if this category contains a universal object , the universal object is called the universal geometric cluster algebra for @xmath0 over  @xmath3 .
universal geometric cluster algebras over @xmath3 are known to exist ( * ? ? ?
* corollary  4.7 ) when @xmath3 is a field , but there is no general theorem guaranteeing the existence of universal geometric cluster algebras over @xmath4 .
however , the existence of universal geometric cluster algebras over @xmath4 is proved for various @xmath0 in @xcite , and for some additional @xmath0 in this paper , as we explain below .
constructing a universal geometric cluster algebra is equivalent to constructing a universal extended exchange matrix over @xmath0 by specifying a collection of coefficient rows , or universal geometric coefficients over @xmath3 .
the main theme of @xcite is to make the connection between universal geometric coefficients and the piecewise - linear geometry of a fan @xmath1 , called the mutation fan .
the goal of this paper is to construct the mutation fan and universal geometric coefficients in the case of marked surfaces .
both constructions involve a variant on laminations that we call quasi - laminations .
we show that the fan defined naturally by quasi - laminations equals the rational part of the mutation fan if and only if the surface has a property that we call the curve separation property ( theorem  [ rat fb surfaces ] ) . in most cases ,
the curve separation property is the following : given two incompatible allowable curves ( in the sense of quasi - laminations ) , there exists a tagged triangulation of the surface such that the shear coordinates of the two curves have strictly opposite signs in at least one entry .
however , in the case of a once - punctured surface without boundary , the statement of the curve separation property must be altered slightly .
( see definition  [ curve sep def ] . )
a long but elementary argument establishes the curve separation property for all marked surfaces except once - punctured surfaces without boundary ( theorem  [ curve separation ] ) .
we complete the construction ( corollary  [ poly grow univ ] ) of universal geometric coefficients ( over @xmath4 or @xmath5 ) for a smaller family of of surfaces . specifically
, we show in theorem  [ null tangle theorem ] that the shear coordinates of allowable curves ( in the sense of quasi - laminations ) are universal geometric coefficients if and only if the surface has a stronger property called the null tangle property : if a finite collection of weighted curves has the weighted sum of its shear coordinates equal to zero for all tagged triangulations , then all weights are zero .
( once again , the statement of the property must be modified for once - punctured surfaces without boundary . )
we prove the null tangle property in certain cases by extending some of the arguments that establish the curve separation property .
specifically , theorem  [ poly grow null tangle ] establishes the null tangle property for a disk with at most @xmath7 punctures , for an annulus with at most  @xmath8 puncture , and for a sphere with three boundary components and no punctures .
it remains open to determine whether once - punctured surfaces without boundary have the curve separation property , and to determine which additional surfaces have the null tangle property .
however , in @xcite , we establish the null tangle property ( and thus the curve separation property ) in the simplest case not covered in this paper : the once - punctured torus .
this leads to an explicit construction of universal geometric coefficients over @xmath4 , @xmath5 or @xmath6 for the once - punctured torus .
in this section , we briefly review the construction of cluster algebras of geometric type , in the broader sense introduced in  @xcite .
we describe coefficient specialization and characterize the universal objects under specialization , the universal geometric cluster algebras or cluster algebras with universal geometric coefficients .
we also present some results from  @xcite that are useful in constructing universal geometric coefficients for cluster algebras from surfaces .
all of the constructions depend on a choice of an * _ underlying ring _ * @xmath3 .
we require that @xmath3 is either the integers @xmath4 or a field containing the rationals @xmath5 as a subfield and contained as a subfield of the real numbers @xmath6 .
we are most interested in the cases where @xmath3 is @xmath4 , @xmath5 , or @xmath6 .
let @xmath9 be an indexing set of arbitrary cardinality . the usual definition of cluster algebras of geometric type , found in ( * ?
* section  2 ) , is recovered from the definition below by taking @xmath10 and @xmath9 finite .    for each @xmath11 ,
let @xmath12 be a formal symbol .
let @xmath13 be the set of formal products of the form @xmath14 with each @xmath15 in @xmath3 .
this is an abelian group with product @xmath16 and identity @xmath17 .
we define an * _ auxiliary addition _ * @xmath18 in @xmath13 by @xmath19 the triple @xmath20 is called a * _ tropical semifield _ * over @xmath3 .
the symbols @xmath12 are called * _ tropical variables_*. we also consider @xmath13 as a topological space .
it is the product , indexed by @xmath9 , of copies of @xmath3 .
we give @xmath3 the discrete topology and give @xmath13 the product topology as a product of copies of the discrete set @xmath3 .
details about the product topology may be found , for example , in ( * ? ? ?
* chapter  3 ) .
see also ( * ? ? ?
* section  3 ) . an * _ exchange matrix _ * @xmath0 is a * _ skew - symmetrizable _ * @xmath21 integer matrix .
that means that there exist positive integers @xmath22 such that @xmath23 for all @xmath24 $ ] . in this paper
, we will work with * _ skew - symmetric _ * exchange matrices , meaning that @xmath25 for all @xmath24 $ ] .
( the notation @xmath26 $ ] stands for the indexing set @xmath27 of @xmath0 . ) an * _ extended exchange matrix _ * is @xmath0 , augmented by an additional collection of * _ coefficient rows _ * , indexed by @xmath9 .
each coefficient row is a vector in @xmath28 .
if @xmath9 is infinite , then @xmath2 is not a matrix in the usual sense , but it is a collection of entries @xmath29 where @xmath30 is either in @xmath26 $ ] or in @xmath9 and @xmath31 is in @xmath26 $ ] .
now set @xmath32 and let @xmath33 be a field of rational functions in @xmath34 independent variables with coefficients in @xmath35 . here @xmath35 is the group ring of the group @xmath36 , ignoring the auxiliary addition @xmath18 .
a * _ ( labeled geometric ) seed _ * of rank @xmath34 is a pair @xmath37 such that @xmath38 is an @xmath34-tuple of algebraically independent elements of @xmath33 and @xmath2 is an extended exchange matrix with coefficient rows indexed by @xmath9 .
the @xmath34-tuple @xmath39 is called a * _ cluster _ * and the entries of @xmath39 are called * _ cluster variables_*. the seed determines elements @xmath40 of @xmath36 called * _ coefficients_*.    given a seed @xmath37 and an index @xmath41 $ ] , we define an new seed @xmath42 .
the new cluster @xmath43 has @xmath44 whenever @xmath45 and @xmath46_+}\prod_{i\in i}u_i^{[b_{ik}]_+}+\prod_{i=1}^nx_i^{[-b_{ik}]_+}\prod_{i\in i}u_i^{[-b_{ik}]_+}\right),\ ] ] where @xmath47_+$ ] stands for @xmath48 .
the new cluster variable @xmath49 is a rational function in @xmath39 with coefficients in @xmath50 , so that @xmath51 .    the new extended exchange matrix @xmath52 is given by @xmath53_+&\mbox{otherwise , } \end{array}\right.\ ] ] where @xmath54 means @xmath55 if @xmath56 or @xmath57 if @xmath58 .
since @xmath52 only depends on @xmath2 and @xmath59 , not on @xmath39 , we also write @xmath60 for @xmath52 . for any finite sequence @xmath61 of integers in  @xmath26 $ ] ,
we use @xmath62 for @xmath63 .
now let @xmath64 be the @xmath34-regular tree with an edge - labeling by integers @xmath8 through @xmath34 , with each vertex incident to exactly one edge with each label .
an edge labeled @xmath59 between vertices @xmath65 and @xmath66 is denoted by @xmath67 .
we fix a vertex @xmath68 and define a map @xmath69 from vertices of @xmath64 to seeds by requiring that @xmath70 and that @xmath71 whenever @xmath67 .
the map @xmath69 is a * _ cluster pattern _ * and the map @xmath72 is a * _ @xmath73-pattern_*. we write @xmath74 and @xmath75 for the cluster variables and matrix entries of @xmath76 and write @xmath77 for the coefficient @xmath78 .
associated to the cluster pattern is a * _ cluster algebra @xmath79 of geometric type _ * , namely the @xmath50-subalgebra of @xmath33 generated by all cluster variables in the cluster pattern .
the cluster algebra is determined up to isomorphism by the extended exchange matrix @xmath2 , so we write @xmath80 for @xmath81 .    for any permutation @xmath82 of
@xmath26 $ ] , applying @xmath82 simultaneously to the entries of @xmath39 , to the rows of @xmath0 , to the columns of @xmath2 and to the edge - labels of @xmath64 induces a canonical isomorphism of cluster patterns and of cluster algebras . in (
* definition  4.1 ) * _ unlabeled seeds _ * are defined as equivalence classes of seeds under these simultaneous permutations . the * _ exchange graph _ * is the graph on unlabeled seeds obtained from the cluster pattern by identifying vertices that have the same _ unlabeled seed_.    let @xmath32 and @xmath83 be tropical semifields over the same underlying ring @xmath3 .
let @xmath37 and @xmath84 be seeds of rank @xmath34 , with coefficient rows indexed by @xmath9 and @xmath85 respectively .
a * _ coefficient specialization _ * is a ring homomorphism @xmath86 such that    a.   the exchange matrices @xmath0 and @xmath87 coincide ; b.   @xmath88 for all @xmath89 $ ] ; c.   the restriction of @xmath90 to @xmath36 is a continuous @xmath3-linear map to @xmath91 with @xmath92 and @xmath93 for all @xmath89 $ ] and @xmath94 .
continuity here refers to the product topology described above .
the cluster algebra @xmath95 has * _ universal geometric coefficients over @xmath3 _ * if the following condition holds : given a cluster algebra @xmath96 with the same initial exchange matrix @xmath0 , there exists a unique coefficient specialization from @xmath97 to @xmath98 . the extended exchange matrix @xmath2 is then said to be * _ universal over @xmath3_*.    equation   leads to the definition of * _ mutation maps _ * for @xmath0 .
for each @xmath41 $ ] , we define a map @xmath99 by setting @xmath100 with @xmath101 equivalently , if @xmath2 is an extended exchange matrix with exchange matrix @xmath0 and @xmath102 is a coefficient row of @xmath2 , then @xmath103 is the corresponding coefficient row of @xmath60 . more generally , the mutation maps associated to @xmath0 are defined as follows .
let @xmath104 be a sequence of integers in @xmath26 $ ] , let @xmath105 and define @xmath106 for @xmath107 $ ] .
then @xmath108 the map @xmath109 is continuous , piecewise linear , and invertible , with inverse @xmath110 . in particular , it is a homeomorphism from @xmath111 to @xmath111 .
it also has the property that @xmath112    given a finite set @xmath113 , vectors @xmath114 in @xmath111 , and elements @xmath115 of @xmath3 , write the formal expression @xmath116 .
this expression is a * _ @xmath0-coherent linear relation with coefficients in @xmath3 _ * if the equalities @xmath117 hold for every finite sequence @xmath61 of integers in  @xmath26 $ ] .
the symbol @xmath118 is the zero vector and @xmath119 refers to componentwise minimum .
the equality for the empty sequence @xmath120 implies that a @xmath0-coherent linear relation is also a linear relation in the usual sense .
let @xmath9 be some indexing set and let @xmath121 be vectors in @xmath28 . then @xmath121 is an * _ @xmath3-spanning set for @xmath0 _ * if the following condition holds : if @xmath122 , then there exists a finite subset @xmath123 and elements @xmath115 of @xmath3 such that @xmath124 is a @xmath0-coherent linear relation . also , @xmath121 is an * _ @xmath3-independent set for @xmath0 _ * if the following condition holds : if @xmath113 is a finite subset of @xmath9 and @xmath125 is a @xmath0-coherent linear relation with coefficients in @xmath3 , then @xmath126 for all @xmath127 .
finally , @xmath121 is an * _ @xmath3-basis _ * for @xmath0 if it is both an @xmath3-independent set for @xmath0 and an @xmath3-spanning set for @xmath0 .
the notion of a @xmath3-basis for @xmath0 is analogous to the linear - algebraic notion of a basis , with @xmath0-coherent linear relations replacing the usual linear relations .
our interest in @xmath3-bases for @xmath0 arises from the following theorem , which is ( * ? ? ?
* theorem  4.4 ) .
[ basis univ ] let @xmath2 be an extended exchange matrix with entries in @xmath3 .
then @xmath2 is universal over @xmath3 if and only if the coefficient rows of @xmath2 are an @xmath3-basis for @xmath0 .    for a description of the unique coefficient specialization from @xmath80 to any other cluster algebra with the same @xmath3 and @xmath0 , see ( * ? ? ?
* remark  4.5 ) . the following proposition ( * ? ? ?
* proposition  4.6 ) is proved by the usual argument , using zorn s lemma , that any vector space has a ( hamel ) basis .
[ basis exists ] suppose the underlying ring @xmath3 is a field . for any exchange matrix @xmath0 , there exists an @xmath3-basis for @xmath0 .
given an @xmath3-spanning set @xmath128 for @xmath0 , there exists an @xmath3-basis for @xmath0 contained in @xmath128 .    in light of theorem  [ basis univ ] and proposition  [ basis exists ] ,
if @xmath3 is a field , then universal geometric coefficients over @xmath3 exist for any @xmath0 .
we have no general proof that @xmath4-bases exist , and indeed the second statement of proposition  [ basis exists ] can fail for @xmath10 .
( see ( * ? ? ?
* remark  4.9 ) .
) however , @xmath4-bases ( and thus universal geometric coefficients over @xmath4 ) are constructed for various exchange matrices @xmath0 in @xcite and later in this paper ( corollary  [ poly grow univ ] ) .
the following proposition is ( * ? ? ?
* proposition  4.11 ) .
[ no zero no piecewise ] suppose @xmath0 has no row consisting entirely of zeros .
then the formal expression @xmath116 is a @xmath0-coherent linear relation if and only if condition   holds for all sequences @xmath120 .
a subset of @xmath111 that is closed under addition and positive scaling is a * _ convex cone_*. a * _ simplicial _ * cone is the nonnegative span of a finite set of linearly independent vectors
. a * _ rational cone _
* is the nonnegative span of a finite set of rational vectors .
a * _ face _ * of a convex cone @xmath129 is a convex subset @xmath130 such that any line segment @xmath131 whose interior intersects @xmath130 has @xmath132 .
any face of a convex cone is itself a convex cone .
a face of a closed convex cone is closed as well .
a collection @xmath133 of closed convex cones is a * _ fan _ * if it has the following two properties : if @xmath134 and @xmath130 is a face of @xmath129 , then @xmath135 ; and the intersection of any two cones in @xmath133 is a face of each of the two .
a * _ complete fan _ * is a fan @xmath133 such that the union of the cones in @xmath133 is the entire ambient space .
a fan is * _ simplicial _ * if all of its cones are simplicial .
a fan is * _ rational _ * if all of its cones are rational .
if @xmath136 and @xmath137 are fans and every cone in @xmath137 is a union of cones in @xmath136 , then @xmath136 * _ refines _ *  @xmath137 .    as before ,
@xmath54 means @xmath55 if @xmath56 or @xmath57 if @xmath58 .
given @xmath138 in @xmath111 , we write @xmath139 for @xmath140 . given @xmath141 , define @xmath142 to mean that @xmath143 for every sequence @xmath120 of integers in  @xmath26 $ ] .
a @xmath144-equivalence class is a * _ @xmath0-class_*. the closure of a @xmath0-class is a * _ @xmath0-cone_*. each @xmath0-class is a convex cone and each @xmath0-cone is a closed convex cone ( * ? ? ?
* proposition  5.4 ) . the * _ mutation fan _ * for @xmath0 is the collection @xmath1 consisting of all @xmath0-cones and all faces of @xmath0-cones .
( faces of @xmath0-cones can fail to be @xmath0-cones .
see ( * ? ? ? * remark  5.28 ) . )
the following results are ( * ? ? ?
* proposition  5.3 ) , ( * ? ? ?
* theorem  5.13 ) , and ( * ? ? ?
* proposition  5.26 ) .
[ linear ] every mutation map @xmath109 is linear on every @xmath0-cone .
[ fan ] the collection @xmath1 is a complete fan .
[ int of b - cones ] an arbitrary intersection of @xmath0-cones is a @xmath0-cone .
a collection of vectors in @xmath111 is * _ sign - coherent _ * if their @xmath145 coordinates weakly agree in sign , for each @xmath41 $ ] .
the following proposition is ( * ? ? ?
* proposition  5.30 ) .
[ contained bcone ] a set @xmath146 is contained in some @xmath0-cone if and only if the set @xmath147 is sign - coherent for every sequence @xmath120 of indices in @xmath26 $ ] .
an @xmath3-basis @xmath121 for @xmath0 is * _ positive _ * if , for any vector @xmath122 , there is a @xmath0-coherent linear relation @xmath124 with each @xmath148 nonnegative .
a positive @xmath3-basis seems to be the natural choice for `` the right '' @xmath3-basis for @xmath0 , and this intuition is borne out by the following results , which are ( * ? ? ?
* proposition  6.2 ) and ( * ? ? ?
* corollary  6.13 ) .
note the appearance of @xmath6 in proposition  [ pos reals fb ] , rather than @xmath3 .
[ positive unique ] for any fixed @xmath3 , there is at most one positive @xmath3-basis for @xmath0 , up to scaling of each basis element by a positive unit in @xmath3 .
[ pos reals fb ] if a positive @xmath6-basis for @xmath0 exists , then @xmath1 is simplicial .
the basis consists of exactly one vector in each ray of @xmath1 .
the following proposition is part of ( * ? ? ?
* proposition  6.7 ) .
[ positive cone basis ] suppose @xmath121 is an @xmath3-independent set for @xmath0 with the following property : if @xmath129 is a @xmath0-cone , then the nonnegative @xmath3-linear span of @xmath149 contains @xmath150 .
then @xmath121 is a positive @xmath3-basis for @xmath0 .
in this section , we give background material on cluster algebras arising from triangulated surfaces , following @xcite .    [ s m def ] let @xmath151 be a surface obtained from a compact , oriented surface without boundary by deleting a finite collection of disjoint open disks .
the boundary of @xmath151 is a finite collection of circles called * _ boundary components _ * , one for each disk removed .
let @xmath152 be a nonempty , finite collection of points in @xmath151 called * _ marked points _ * , with at least one marked point in each boundary component . marked points in the interior of @xmath151 are called * _ punctures_*. a curve contained in the boundary of @xmath151 , connecting two points in @xmath152 , with no points of @xmath152 in the interior of the curve , is a * _ boundary segment_*. we exclude unpunctured monogons , digons , and triangles , as well as once - punctured monogons . if @xmath151 is a sphere
, then we require that it have at least @xmath153 punctures . in @xcite , the surface @xmath151
is considered to be a riemann surface , but the complex structure is not needed in this paper .
[ tri def ] an * _ arc _ * in @xmath154 is a curve in @xmath151 , up to isotopy relative to @xmath152 , whose endpoints are points in @xmath152 .
we require that the arc not intersect itself , except that its endpoints may coincide , and that the arc is disjoint from @xmath152 and from the boundary of @xmath151 , except at its endpoints .
we also exclude arcs that bound an unpunctured monogon and arcs that , together with a boundary segment connecting the endpoints , define an unpunctured digon .
two arcs @xmath155 and @xmath156 are * _ incompatible _ * if they intersect in @xmath157 , and if the intersection can not be removed by ( independently ) isotopically deforming the arcs .
otherwise , they are * _ compatible_*. a * _ triangulation _ * is a maximal collection of distinct pairwise compatible arcs .
the exclusion of certain pairs @xmath154 in definition  [ s m def ] assures that @xmath154 admits at least two triangulations . the arcs defining an triangulation divide @xmath151 into * _ triangles _ * , which have @xmath8 , @xmath7 , or @xmath158 distinct vertices and @xmath7 or @xmath158 distinct sides .
( in @xcite , the terms * _ ideal triangles _ * and * _ ideal triangulations _ * are used because the marked points lie at infinity in the complex structure . ) a * _ self - folded triangle _ * is a triangle with 2 distinct sides .
( for example , later in figure  [ shear self - folded fig ] , one of the two triangles shown in each picture is self - folded . )
an arc in a triangulation is an edge of exactly two triangles in the triangulation unless it constitutes two sides of a self - folded triangle .
removing the arc from the triangulation leaves a quadrilateral region , which can be completed to two triangles by either one of the diagonals of the quadrilateral
. a * _ flip _ * is the operation of removing an arc from a triangulation and forming a new triangulation by inserting the other diagonal of the quadrilateral .
[ tagged tri def ] a * _ tagged arc _ * in @xmath154 is a arc in @xmath151 that does not cut out a once - punctured monogon , with each end of the arc designated ( or `` tagged '' ) either * _ plain _ * or * _ notched_*. an endpoint on a boundary component must be tagged plain , and if the endpoints of an arc coincide , then they must have the same tag .
two tagged arcs are * _ compatible _ * if one of the following conditions holds : the two underlying untagged arcs are distinct ( i.e.  non - isotopic ) and compatible and any shared endpoints have the same tagging , or the two underlying untagged arcs are the same and their tagging agrees on one endpoint but not the other .
a * _ tagged triangulation _ * is a maximal collection of distinct pairwise compatible tagged arcs .
there is a map @xmath159 from ordinary arcs to tagged arcs , defined as follows : if an arc @xmath156 does not bound a once - punctured monogon , then @xmath160 is the same curve , with both endpoints tagged plain
. if @xmath156 has both endpoints at @xmath161 , and bounds a once - punctured monogon with puncture @xmath162 , then @xmath160 is the arc , in the monogon , from @xmath163 to @xmath164 , tagged plain at @xmath163 and notched at @xmath164 . starting with a triangulation , and applying @xmath159 to each arc , we obtain a tagged triangulation .    as an example of the map @xmath159 , consider the triangulation @xmath165 of a punctured digon shown in the left picture of figure  [ tau fig ] .
one arc defining @xmath165 connects a marked point on the boundary to the puncture , and the other arc ( in purple or light gray ) encloses the puncture .
the right picture of the figure shows the tagged triangulation @xmath166 .
[ complex and flips ] the tagged triangulations are the maximal simplices of a simplicial complex called the * _ tagged arc complex_*. this is the complex whose vertices are the tagged arcs , with a set of arcs defining a face if and only if they are pairwise compatible .
all tagged triangulations of @xmath154 have the same number of tagged arcs .
( see ( * ? ? ?
* proposition  2.10 ) . ) given a tagged triangulation @xmath165 and a particular tagged arc @xmath156 in @xmath165 , there is a unique tagged triangulation @xmath167 such that @xmath168 and @xmath169 .
the tagged triangulations @xmath165 and @xmath167 are said to be related by a * _ tagged flip _ * , or more specifically , @xmath167 is obtained from @xmath165 by a flip at @xmath156 .
an exact combinatorial description of tagged flips is found in ( * ? ? ?
* remark  5.13 ) .
the dual graph to the tagged arc complex is the graph whose vertices are tagged triangulations and whose edges are pairs of triangulations related by a tagged flip .
this dual graph is connected ( * ? ? ?
* proposition  7.10 ) , except when @xmath151 has no boundary components and exactly one puncture . in the latter case
, the dual graph of the tagged arc complex has exactly two connected components , one consisting of triangulations with all arcs tagged plain , and the other consisting of triangulations with all arcs tagged notched .
the two components are related by the symmetry of reversing all taggings ( plain@xmath170notched ) .    given a tagged triangulation @xmath165 , there is a simple recipe ( * ? ? ?
* definition  5.15 ) for writing down an exchange matrix @xmath171 , called the * _ signed adjacency matrix _ * of  @xmath165 .
this is an @xmath21 matrix whose rows and columns are indexed by the tagged arcs @xmath156 in  @xmath165 .
we do not need the details of this definition .
rather , what is important for us are some observations and results of @xcite .
first , @xmath171 is skew - symmetric , rather than merely skew - symmetrizable .
next , @xmath171 does not have a row or column consisting of all zeros .
finally , we quote very small parts of ( * ? ? ?
* theorem  6.1 ) and ( * ? ? ?
* corollary  6.2 ) .
[ signed adjacency mut ] if @xmath165 and @xmath167 are tagged triangulations such that @xmath167 is obtained from @xmath165 by a flip at an arc @xmath156 , then @xmath172 is obtained from @xmath171 by matrix mutation at the position indexed by @xmath156 .
[ cluster main ] let @xmath97 be a cluster algebra with initial exchange matrix @xmath171 and arbitrary coefficients .
then the exchange graph of @xmath97 is isomorphic to the dual graph of the tagged arc complex , or , if @xmath151 has no boundary components and exactly one puncture , the connected component of the dual graph consisting of tagged triangulations with all arcs tagged plain .
[ lam def ] an * _ integral ( unbounded measured ) lamination _ * is a collection of pairwise non - intersecting curves in @xmath151 , up to isotopy relative to @xmath152 .
we take the curves to be distinct up to isotopy , but each curve @xmath173 appears with a positive integer weight @xmath174
. each curve must be    * a closed curve , * a curve whose two endpoints are unmarked boundary points , * a curve having one endpoint an unmarked boundary point , with the other end spiraling ( clockwise or counterclockwise ) into a puncture , or * a curve spiraling into ( not necessarily distinct ) punctures at both ends .
however , we exclude    * curves with self - intersections , * curves that are contractible in @xmath157 , * curves that are contractible to a puncture , and * curves having two endpoints on the boundary and being contractible to a portion of the boundary containing zero or one marked points .
when a curve spirals into a puncture , that puncture is a * _ spiral point _
* of the curve .    a * _ rational ( unbounded measured ) lamination _ * is defined in the same way , but with positive rational weights rather than positive integer weights .
[ shear def ] given a lamination @xmath175 and a tagged triangulation @xmath165 , the * _ shear coordinate vector _ * is a vector @xmath176 indexed by arcs @xmath156 in @xmath165 .
the entry @xmath177 is defined as follows .
we deal with each curve @xmath178 separately and set @xmath179 where @xmath174 is the weight of @xmath173 in @xmath175 and where @xmath180 is a quantity that we now define .
first , everywhere there is a puncture @xmath181 incident only to notched ends of arcs , change all of these notched ends to plain ends and reverse the direction of any spirals of @xmath173 at @xmath181 .
we obtain an altered tagged triangulation with no notched endpoints on arcs , except that at some points @xmath164 there are two tagged arcs , whose underlying untagged arcs are the same , one tagged plain and one tagged notched at  @xmath164 .
if @xmath156 is one of these arcs for some @xmath164 , then if necessary we switch notched ends with plain ends and reverse any spirals of @xmath173 at @xmath164 so that @xmath156 becomes an arc with one end notched . call the altered tagged triangulation @xmath167 and call the curve with some spirals possibly reversed @xmath182 .
define @xmath180 to be @xmath183 , calculated as follows .
there is a triangulation @xmath184 with @xmath185 .
re - use the name @xmath156 for the arc in @xmath184 corresponding to @xmath186 .
because of how we defined @xmath167 , the arc @xmath156 is contained in two distinct triangles of @xmath184 ( rather than defining two edges of the same self - folded triangle ) .
choose an isotopy deformation of @xmath182 ( reusing the symbol @xmath182 for this deformation ) so as to minimize the number of intersection points of @xmath182 with @xmath156 .
then @xmath183 is the sum , over each intersection of @xmath182 with @xmath156 , of a number in @xmath187 .
the number is @xmath57 unless @xmath182 intersects the two triangles containing @xmath156 as shown in figure  [ shear fig ] , in which case it is @xmath8 or @xmath188 as shown .        in both pictures ,
the arc @xmath156 is the diagonal of the square and the curve @xmath182 is the vertical or horizonal line intersecting the square .
figure  [ shear fig ] introduces a color convention that we maintain throughout the paper . when calculating a shear coordinate at @xmath156 , we color @xmath156 purple and color the other edges red and blue so that , traveling clockwise along each triangle , we meet the colors in the order red , blue , purple .
those reading the paper in grayscale may have some difficulty in distinguishing the arcs ; it may be helpful to know that the blue arcs become a darker gray than the red arcs and the purple arcs are lightest of all
. we also shade the interiors of the red - blue - purple triangles with a light purple .
the quadrilaterals represented in figure  [ shear fig ] might have fewer than @xmath153 distinct vertices and @xmath153 distinct sides .
many examples appear later on .
the first example occurs in figure  [ shear self - folded fig ] , which illustrates shear coordinates in the case where one of the two triangles in figure  [ shear fig ] is self - folded .
although a red and blue edge coincide , we show both colors for clarity , putting the colors on the appropriate sides to make the connection to figure  [ shear fig ] .
the following are ( part of ) ( * ? ? ?
* theorem  13.5 ) and ( * ? ? ?
* theorem  13.6 ) .
[ mut lam ] fix a lamination @xmath175 .
if @xmath165 and @xmath167 are tagged triangulations such that @xmath167 is obtained from @xmath165 by a flip at an arc @xmath156 , then @xmath189 , where @xmath190 is the mutation map at the index for the arc @xmath156 in  @xmath165 .    [ lam bij ] fix a tagged triangulation @xmath165 .
then the map @xmath191 is a bijection between integral ( resp .
rational ) unbounded measured laminations and @xmath192 ( resp .
@xmath193 ) .
theorem  [ mut lam ] suggests the idea of constructing the mutation fan @xmath1 and a basis for @xmath0 in terms of laminations . in turns out that unbounded measured laminations are almost , but not quite , the right tool . in this section ,
we develop the right tool , which we call quasi - laminations .
we also define the curve separation property , a property of @xmath154 that allows us to construct the rational part of the mutation fan in the context of quasi - laminations . in section  [ curve separation sec ] , we establish the curve separation property for all marked surfaces except those with no boundary components and exactly one puncture .    [ quasi lam def ]
a curve in @xmath151 is * _ allowable _ * if it satisfies the requirements placed on curves in definition  [ lam def ] and is not one of the following :    * a curve that has both endpoints on the same boundary segment and that , together with the portion of the boundary between its endpoints , cuts out a once - punctured disk , and * a curve with two coinciding spiral points that cuts out a once - punctured disk .
figure  [ exclude curves ] illustrates these two excluded curves .
two allowable curves are * _ compatible _ * if they are non - intersecting , or if they are identical except that , at one ( and only one ) end of the curve , they spiral opposite directions into the same point .
figure  [ allow intersect ] illustrates the allowed intersections between compatible curves .
one curve is drawn black and the other is dotted and green .    an * _ integral quasi - lamination _ * is a collection of pairwise compatible allowable curves with positive integer weights .
a * _ rational quasi - lamination _ * is a collection of pairwise compatible allowable curves with positive rational weights .
[ quasi - shear def ] let @xmath165 be a tagged triangulation , let @xmath156 be a tagged arc in @xmath165 and let @xmath175 be a quasi - lamination .
then the shear coordinates @xmath194 are defined as a weighted sum of shear coordinates @xmath195 of the individual curves @xmath173 in @xmath175 , just as in definition  [ shear def ] .
we should think of the definition of quasi - laminations as a harmless modification of the definition of laminations .
indeed , given a rational unbounded measured lamination , one can replace all curves of the type illustrated in figure  [ exclude curves ] with pairs of intersecting but compatible curves of the corresponding type shown in figure  [ allow intersect ] .
( if some curve @xmath173 appears twice in the result , we replace the two copies of @xmath173 with a single copy of @xmath173 whose weight is the sum of the original two weights . )
this is a bijection , preserving integrality and shear coordinates , between rational unbounded measured laminations and quasi - laminations .
the following theorems are now immediate from theorems  [ mut lam ] and  [ lam bij ] .
[ mut q - lam ] fix a quasi - lamination @xmath175 . if @xmath165 and @xmath167 are tagged triangulations such that @xmath167 is obtained from @xmath165 by a flip at an arc @xmath156 , then @xmath189 , where @xmath190 is the mutation map at the index for the arc @xmath156 in @xmath165 .
[ q - lam bij ] fix a tagged triangulation @xmath165 .
then the map @xmath191 is a bijection between integral ( resp .
rational ) quasi - laminations and @xmath192 ( resp .
@xmath193 ) .    in order for us to understand the mutation fan in terms of quasi - laminations ,
the surface must have the following key property .
[ curve sep def ] a marked surface @xmath154 has the * _ curve separation property _ * if for any incompatible allowable curves @xmath173 and  @xmath196 , there exists a tagged triangulation @xmath165 ( with all arcs tagged plain if @xmath154 has no boundary components and exactly one puncture ) and an arc @xmath156 in @xmath165 such that the integers @xmath180 and @xmath197 have strictly opposite signs .
definition  [ curve sep def ] defines the curve separation property entirely in the context of the geometry of @xmath154 .
we now rephrase the property in terms of the mutation fan : curves are incompatible exactly when they are separated in the mutation fan .
[ fbt compatible ] suppose @xmath154 satisfies the curve separation property , let @xmath165 be any tagged triangulation of @xmath154 ( with all arcs tagged plain if @xmath154 has no boundary components and exactly one puncture ) , and @xmath198 be a set of allowable curves .
then the curves in @xmath198 are pairwise compatible if and only if the vectors @xmath199 are contained in some @xmath171-cone .
suppose @xmath173 and @xmath196 are not compatible .
then the curve separation property says that there exists a tagged triangulation @xmath167 ( with all arcs tagged plain if @xmath154 has no boundary components and exactly one puncture ) and an arc @xmath156 in @xmath167 such that the integers @xmath200 and @xmath201 have strictly opposite signs
. then @xmath167 is obtained from @xmath165 by a sequence of flips , so theorem  [ mut q - lam ] implies that @xmath202 and @xmath203 are obtained by applying some mutation map to @xmath195 and @xmath204 . by proposition  [ contained bcone ] , @xmath195 and @xmath204 are not contained in any common @xmath171-cone .
conversely , let @xmath173 and @xmath196 be compatible , allowable curves and let @xmath156 be a tagged arc in a tagged triangulation @xmath167 .
we will show that @xmath200 and @xmath201 weakly agree in sign .    as in definition  [ shear def ] , removing tags and switching spirals on @xmath173 and @xmath196 , we pass from @xmath167 to a triangulation @xmath184 where @xmath156 is contained in two distinct triangles .
let @xmath205 be the interior of the quadrilateral that is the union of these two triangles .
we refer to figure  [ shear fig ] , where @xmath156 is represented by a purple arc and where @xmath205 is shaded light purple .
( possibly some of the edges or vertices of @xmath205 are identified with each other . )
we see that @xmath180 and @xmath197 do not have opposite signs unless @xmath173 and @xmath196 intersect , so suppose they intersect .
since @xmath173 and @xmath196 are compatible , they are identical except at one end , where they spiral opposite ways into a puncture @xmath181 .
consider the connected components of @xmath206 and the connected components of @xmath207 .
since @xmath173 and @xmath196 are identical except where they spiral opposite ways into  @xmath181 , each connected component of @xmath206 corresponds to a connected component of @xmath207 that intersects @xmath205 in the same way , with _
one possible exception _ : if @xmath181 is a vertex of the quadrilateral , there may be one connected component @xmath182 of @xmath206 that disagrees with the corresponding component @xmath208 of @xmath207 .
but this disagreement can only be slight : orienting @xmath173 towards @xmath181 , the component @xmath182 enters @xmath205 through some edge of the quadrilateral and leaves @xmath205 through some other edge .
orienting @xmath196 towards @xmath181 as well , the component @xmath208 enters @xmath205 through the same edge as @xmath182 does .
thus it is impossible for @xmath182 and @xmath208 to contribute of strictly opposite signs to the shear coordinates of @xmath173 and @xmath196 .
if either of them ( say @xmath182 ) makes a nonzero contribution @xmath209 , then since @xmath173 is not self - intersecting , all components of @xmath206 make contributions weakly agreeing in sign with @xmath209 .
therefore also all components of @xmath207 make contributions weakly agreeing in sign with @xmath209 , so @xmath200 and @xmath201 weakly agree in sign .
now if @xmath198 is a set of pairwise compatible curves , then @xmath200 and @xmath201 weakly agree in sign for any pair @xmath210 .
therefore , @xmath211 all weakly agree in sign for any @xmath167 . by theorem
[ mut q - lam ] , applying any mutation map @xmath212 to @xmath199 produces a sign - coherent set of vectors .
proposition  [ contained bcone ] says that @xmath199 is contained in some @xmath171-cone .
[ all arcs tagged plain ] the requirement that all arcs be tagged plain if @xmath154 has no boundary components and exactly one puncture in definition  [ curve sep def ] , in proposition  [ fbt compatible ] , and in what follows arises from the fact that the tagged arc complex has two connected components in this case .
( see definition  [ complex and flips ] . )
the requirement is crucial in the proof of one direction of proposition  [ fbt compatible ] , where it ensures that the tagged triangulations @xmath165 and @xmath167 are related by a sequence of flips .
this requirement is also the reason that , in section  [ curve separation sec ] , we are not able to establish the curve separation property for @xmath154 having no boundary components and exactly one puncture .
we now define a rational fan @xmath213 , based on quasi - laminations , which is closely related to the mutation fan @xmath214 . specifically , @xmath213 is the rational part of @xmath214 , in a sense that we make precise below .
[ rat q - lam fan def ] fix a tagged triangulation @xmath165 .
let @xmath198 be a set of pairwise compatible allowable curves in the sense of definition  [ quasi lam def ] .
let @xmath215 be the nonnegative @xmath6-linear span of the integer vectors @xmath199 .
let @xmath213 be the collection of all such cones @xmath215 .
we call @xmath213 the * _ rational quasi - lamination fan _ * for @xmath165 and justify the name below in theorem  [ rat fb surfaces ] .
the following is a specialization of ( * ? ? ?
* definition  6.9 ) .
[ rat part def ] suppose @xmath133 and @xmath216 are fans such that :    a.   [ rat cones rat part ] @xmath216 is a rational fan . b.   [ cone in cone rat part ] each cone in @xmath216 is contained in a cone of @xmath133 .
c.   [ max cone rat part ] for each cone @xmath129 of @xmath133 , there is a unique largest cone ( under containment ) among cones of @xmath216 contained in @xmath129 .
this largest cone contains @xmath217 .
then @xmath216 is called the * _ rational part _ * of @xmath133 .
if the rational part of @xmath133 exists , then it is unique .    [ rat fb surfaces ] let @xmath165 be any tagged triangulation of @xmath154 ( with all arcs tagged plain if @xmath154 has no boundary components and exactly one puncture ) .
the collection @xmath213 is a rational , simplicial fan .
the fan @xmath213 is the rational part of @xmath214 if and only if @xmath154 has the curve separation property .
suppose that some cone @xmath215 is not simplicial .
then there is some rational point in @xmath215 that can be written as a @xmath5-linear combination of the vectors @xmath218 in two distinct ways .
this point is thus obtained as the shear coordinates of two distinct rational quasi - laminations , contradicting theorem  [ q - lam bij ] .
let @xmath215 and @xmath219 be cones in @xmath213 .
then @xmath220 contains @xmath221 .
suppose @xmath222 is a rational vector in @xmath220 .
then @xmath222 is the shear coordinates of some quasi - lamination supported on a set @xmath223 of compatible curves . by theorem  [ q - lam bij ]
, we conclude that @xmath223 is contained in both @xmath198 and @xmath224 .
thus @xmath225 . since @xmath220 is a rational cone , @xmath226 , so that @xmath227 we have shown that @xmath213 is a simplicial fan , and it is rational by construction .
if @xmath154 does not have the curve separation property , then theorem  [ mut q - lam ] and proposition  [ contained bcone ] imply that there exist incompatible allowable curves @xmath173 and @xmath196 with @xmath195 and @xmath204 contained in some @xmath0-cone @xmath129 .
but @xmath195 and @xmath204 both span rays of @xmath213 not contained in a common cone of @xmath213 .
thus @xmath213 fails condition   of definition  [ rat part def ] .
now suppose @xmath154 has the curve separation property .
condition   of definition  [ rat part def ] holds by proposition  [ fbt compatible ] .
we now establish condition   of definition  [ rat part def ] . given a @xmath171-cone @xmath129 , let @xmath198 be the set of allowable curves @xmath173 whose shear coordinates @xmath195 are contained in @xmath129 .
proposition  [ fbt compatible ] implies that @xmath215 is the unique largest cone among cones of @xmath213 contained in @xmath129 .
it remains to show that this @xmath215 contains every rational point in @xmath129 .
we argue by induction on the dimension of @xmath129 .
the assertion is trivial when @xmath129 is the zero cone .
suppose @xmath228 is in @xmath217 .
then @xmath228 is the shear coordinates of some rational quasi - lamination by theorem  [ q - lam bij ] .
the shear coordinates of the individual curves in this quasi - lamination span a cone @xmath229 in @xmath213 .
the cone @xmath229 is contained in some @xmath171-cone @xmath230 . if @xmath231 , then @xmath229 is contained in the largest cone @xmath232 of @xmath213 in  @xmath129 . otherwise , @xmath233 , which is a @xmath171-cone by proposition  [ int of b - cones ] , and whose dimension is lower than the dimension of @xmath129 .
let @xmath234 be the largest cone of @xmath213 contained in @xmath235 .
by induction , @xmath236 .
but now @xmath234 is contained in the largest cone @xmath232 of @xmath213 in @xmath129 . in either case
, @xmath228 is in @xmath215 .    more generally than definition  [ rat part def ] , ( * ? ? ?
* definition  6.9 ) defines the @xmath3-part of a fan for an underlying ring @xmath3 , and ( * ? ? ?
* proposition  6.10 ) establishes several facts about the @xmath3-part of a fan .
the following corollary is obtained from ( * ? ? ?
* proposition  6.10 ) by setting @xmath237 and appealing to theorem  [ rat fb surfaces ] .
[ r part prop ] suppose @xmath154 has the curve separation property .
let @xmath165 be any tagged triangulation of @xmath154 ( with all arcs tagged plain if @xmath154 has no boundary components and exactly one puncture ) .
each rational @xmath171-cone is a cone in @xmath213 .
the full - dimensional @xmath0-cones are exactly the full - dimensional cones in  @xmath213 .
the curve separation property has important consequences for finding positive @xmath4- and @xmath5-bases for  @xmath171 .
[ curves pos basis ] suppose @xmath154 has the curve separation property .
let @xmath3 be @xmath4 or @xmath5 and fix a tagged triangulation @xmath165 ( with all arcs tagged plain if @xmath154 has no boundary components and exactly one puncture ) .    1 .
[ indep allowable ] if shear coordinates @xmath195 of allowable curves @xmath173 form an @xmath3-independent set for @xmath171 , then they form a positive @xmath3-basis for  @xmath171 .
[ basis allowable ] if a positive @xmath3-basis exists for @xmath171 , then the shear coordinates of allowable curves are a positive @xmath3-basis .
to prove theorem  [ curves pos basis ] , we use the following specialization of ( * ? ? ? * corollary  6.12 ) . the first part of proposition  [ fb basis ray ] as stated in ( * ? ? ?
* corollary  6.12 ) refers to the @xmath4-part ( as in ( * ? ? ?
* definition  6.9 ) ) , not the rational part , but these two fans coincide .
[ fb basis ray ] if a positive @xmath4-basis exists for @xmath0 , then the unique positive @xmath4-basis for @xmath0 consists of the smallest nonzero integer vector in each ray of the rational part of @xmath1 .
if a positive @xmath5-basis exists for @xmath0 , then a collection of vectors is a positive @xmath5-basis for @xmath0 if and only if it consists of exactly one nonzero vector in each ray of the rational part of @xmath1 .    for assertion
, we verify the hypothesis of of proposition  [ positive cone basis ] .
suppose @xmath129 is a @xmath171-cone . by theorem  [ rat fb surfaces
] , there is largest cone @xmath229 among cones of @xmath213 contained in @xmath129 and @xmath229 contains every point in @xmath150 .
this verifies the hypothesis of proposition  [ positive cone basis ] for @xmath237 .
the hypothesis for @xmath10 follows by the integer case of theorem  [ q - lam bij ] .
assertion   is an immediate consequence of theorem  [ rat fb surfaces ] and proposition  [ fb basis ray ] .
( theorem  [ q - lam bij ] implies that the shear coordinate vector of an allowable curve is the shortest integer vector in the ray it spans . )
[ affine a2 surface ] consider an annulus with two marked points on its outer boundary and one marked point on its inner boundary .
the surface admits a triangulation with three arcs , for example as shown in figure  [ a2annulus ] .
if @xmath165 is the triangulation shown , then @xmath171 is the matrix @xmath2380&1&1\\-1&0&1\\-1&-1&\hspace{6pt}0\\\end{bsmallmatrix*}$ ] .
some allowable curves in the surface are shown ( green and dotted ) in figure  [ a2annuluscurves ] .    [ cols="^,^,^,^,^,^,^ " , ]     all remaining allowable curves are related to the curves @xmath239 , @xmath240 , @xmath241 , and @xmath242 as we now explain .
since each @xmath243 connects the inner boundary of the annulus to the outer boundary , we can modify @xmath173 by inserting spirals . specifically , for each @xmath244 , let @xmath245 be obtained from @xmath173 by tracing along @xmath173 from the inner boundary , inserting @xmath34 counterclockwise outward spirals , and then continuing along @xmath173 to the outer boundary . by convention , @xmath246 and if @xmath247 then @xmath245 is obtained from @xmath173 by inserting @xmath248 _ clockwise _ outward spirals .
the curve @xmath249 is illustrated in figure  [ a2annuluscurvespiral ] .
keeping in mind that allowable curves are considered up to isotopy in @xmath151 relative to @xmath152 , one verifies that @xmath250 , that @xmath251 , that @xmath252 , and that @xmath253 .
the set of all allowable curves is @xmath254    for @xmath255 , let @xmath256 be the shear coordinates of @xmath257 with respect to the triangulation shown in figure  [ a2annulus ] .
these shear coordinates are also indicated in figure  [ a2annuluscurves ] .
the shear coordinates of @xmath258 for @xmath259 are @xmath260 the shear coordinates of @xmath261 for n@xmath262 are @xmath263 , and similar descriptions hold for shear coordinates of @xmath264 and @xmath265 .
the set of all shear coordinates of allowable curves consists of four infinite families @xmath266 for @xmath267 together with the vectors @xmath268 , @xmath269 , and @xmath270 .
we will see in theorem  [ curve separation ] that this surface has the curve separation property .
thus theorem  [ rat fb surfaces ] says that @xmath213 is the rational part of @xmath1 .
in fact , @xmath213 is complete in this case , so it coincides with @xmath214 .
the shear coordinates of allowable curves span the rays of @xmath1 , and the other faces of @xmath1 are spanned by sets of pairwise compatible allowable curves .
the fan @xmath1 is depicted in figure  [ fb a fig ] in the following way :    ( 0,0)(135,-164 ) ( -69,98)@xmath271 ( -2.5,28.5)@xmath272 ( -38,8)@xmath273 ( -67,-102)@xmath274 ( 48,31)@xmath268 ( -5.5,-64.5)@xmath269    the intersection of a nonzero cone of @xmath1 with a unit sphere about the origin is a point , circular arc , or spherical triangle .
the figure shows the stereographic projection of these points , arcs , and triangles .
( the vector @xmath275 $ ] projects to the origin of the plane . ) the ray for @xmath270 is not labeled but is marked as a green dot that appears as a limit of four sequences of red dots . with two exceptions , each @xmath7-dimensional face of @xmath1 is contained in exactly two @xmath158-dimensional faces of @xmath1 .
the exceptions are the face spanned by @xmath268 and @xmath270 and the face spanned by @xmath269 and @xmath270 .
in this section , as an aside , we further justify our interest in quasi - laminations by using results of @xcite to connect shear coordinates of allowable curves and @xmath276-vectors of cluster variables . given a tagged arc @xmath155 in @xmath154 ,
we define ( up to isotopy ) a curve @xmath277 .
the curve @xmath277 coincides with @xmath155 except within a small ball around the endpoints of @xmath155 . within each ball around an endpoint @xmath181 ,
the behavior of @xmath277 is as follows : if @xmath181 is on a boundary component , then @xmath277 ends at a point @xmath278 on the same boundary component such the path along the boundary from @xmath181 to @xmath278 , keeping @xmath151 on the left , does not leave the small ball .
if @xmath181 is a puncture , then @xmath277 spirals into @xmath181 , clockwise if @xmath155 is tagged plain at @xmath181 and counterclockwise if @xmath155 is tagged notched at @xmath181 .
the map @xmath279 is similar to the map considered in ( * ? ? ?
* definition  17.2 ) , but with the opposite orientation throughout .
the following lemma is immediate .
[ kappa lemma ] the map @xmath279 from tagged arcs to allowable curves is one - to - one and is surjective onto the set of allowable curves that are not closed .
two arcs @xmath155 and @xmath156 are compatible if and only if the curves @xmath277 and @xmath280 are compatible .
let @xmath165 be a tagged triangulation of @xmath154 .
part of ( * ? ? ?
* theorem  15.6 ) is a bijection between the tagged arcs in @xmath154 and the cluster variables of a cluster algebra with initial exchange matrix @xmath171 .
( if @xmath154 has exactly one puncture and no boundary components , then we assume @xmath165 has all tags plain and restrict the map to plain - tagged arcs . )
we write @xmath281 for this bijection , but we do not need the details of the map . rather , it is enough to know that tagged triangulations map to clusters . for a suitable choice of coefficients , each cluster variable @xmath282 has a @xmath276-vector of @xmath283 .
this is an integer vector with entries indexed by the tagged arcs in @xmath165 , via the bijection between tagged arcs in @xmath165 and cluster variables in the initial cluster . for the definition of @xmath276-vectors , see ( *
* section  6 ) .
[ g surfaces ] fix a tagged triangulation @xmath165 and let @xmath155 be a tagged arc , not necessarily in @xmath165 .
( if @xmath154 has exactly one puncture and no boundary components , then take all tags on @xmath165 and on @xmath155 to be plain . )
then @xmath283 equals @xmath284 .
the proof of proposition  [ g surfaces ] revolves around the following weak version of ( * ? ? ?
* conjecture  7.12 ) .
[ gvec mu ] let @xmath285 be an edge in @xmath64 and let @xmath286 and @xmath287 be exchange matrices such that @xmath288 .
for any @xmath94 and @xmath289 $ ] , the @xmath276-vectors @xmath290 and @xmath291 are related by @xmath292 , where @xmath293 is the transpose of  @xmath286 .
concatenating results of @xcite , as explained in ( * ? ? ?
* remark  8.14 ) , we see that conjecture  [ gvec mu ] is true whenever @xmath286 and @xmath287 are skew - symmetric , and in particular for exchange matrices arising from surfaces .
furthermore , by skew - symmetry , we rewrite the assertion of conjecture  [ gvec mu ] as @xmath294 , and then use to further rewrite the assertion as @xmath295 , for exchange matrices @xmath286 and @xmath287 related by mutation at position @xmath59 . alternately , let @xmath167 obtained from @xmath165 by a flip of the arc @xmath156 and let @xmath155 be any arc .
then @xmath296 , where @xmath190 is the mutation map at the index for the arc @xmath156 in @xmath165 . on the other hand ,
suppose @xmath173 is an allowable curve .
theorem  [ mut q - lam ] says that the vector @xmath202 is @xmath297 , where @xmath190 is the mutation map at the index for the arc @xmath156 in  @xmath165 .
setting @xmath298 , we see that vectors @xmath299 and @xmath300 satisfy the same recurrence .
when @xmath155 is an arc in @xmath165 , the vector @xmath300 has @xmath188 in the position indexed by  @xmath155 and @xmath57 elsewhere . in this case
, @xmath282 is the cluster variable indexed by  @xmath155 in the initial cluster , so @xmath301 also has @xmath188 in the position indexed by @xmath155 and @xmath57 elsewhere .
this completes the proof of proposition  [ g surfaces ] .
in this section , we prove the following theorem .
[ curve separation ] if @xmath154 has one or more boundary components or if @xmath154 has two or more punctures , then @xmath154 has the curve separation property .
the hypotheses rule out the case where @xmath154 has no boundary components and exactly one puncture .
see remarks  [ all arcs tagged plain ] and  [ the missing case ] . as mentioned in the introduction , one additional case of the curve separation property
is established in  @xcite .
to prove theorem  [ curve separation ] , we take incompatible allowable curves @xmath173 and @xmath196 and construct a tagged triangulation @xmath165 and a tagged arc @xmath186 such that the shear coordinates @xmath180 and @xmath197 have strictly opposite signs .
an allowable curve @xmath173 may intersect @xmath156 many times , but since @xmath173 may not intersect itself , all nonzero contributions to @xmath180 from these intersections have the same sign .
thus to prove that @xmath180 and @xmath197 have strictly opposite signs , it is enough to find one intersection of @xmath173 with @xmath156 and one intersection of @xmath196 with @xmath156 that contribute opposite signs to @xmath180 and @xmath197 .
we consider many cases . in most cases
we construct , instead of a tagged triangulation @xmath165 , a triangulation @xmath184 . in these cases , we tacitly take @xmath165 to be the tagged triangulation @xmath302 .
( see definition  [ tagged tri def ] . )
we avoid restating the conclusion ( that the shear coordinates @xmath180 and @xmath197 have strictly opposite signs ) in every case .    in each case ,
part of the triangulation @xmath165 or @xmath184 is illustrated in a figure .
to make the figures as clear as possible , we continue the convention on red , blue , and purple arcs and light - purple shading , established in definition  [ shear def ] .
the arc @xmath156 is always drawn in purple .
arcs that are not used to calculate shear coordinates at @xmath156 are gray .
the curve @xmath173 is solid and black , while @xmath196 , when it appears , is dotted and green .
marked points are numbered as necessary .
we shade areas outside of @xmath151 ( i.e.  beyond the boundary ) with a dark gray .
since our figures are confined to the ( topologically uncomplicated ) screen or page , we often need to indicate that certain loops are not contractible , even though on the page they appear to be contractible .
to do so , we shade the inside of the loop with a light gray striped pattern .
the figures show certain points and arcs as distinct when they might possibly coincide .
when necessary , the proof considers the possible coincidences . in ruling out certain coincidences , it is important to remember that @xmath151 is an _ oriented _ surface .
some arcs making up @xmath165 or @xmath184 are constructed by * _ following closely _ * along existing curves .
this is meant as a technical term : a curve follows another closely if there are no punctures or boundary components between them .
the point is to be certain that the arcs constructed do indeed bound triangles . in the figures ,
one might draw a curve tightly next to another curve to indicate that it follows closely .
however , to aid legibility , in many cases we have straightened curves somewhat .    because there are many cases , we first list and discuss the cases to make it clear that every possibility is covered .
[ boundary case ] : :    both endpoints of @xmath173 are on boundary segments .
[ boundary spiral case ] : :    @xmath173 has one endpoint on a boundary segment and one    spiral point .
[ closed case ] : :    @xmath173 is a closed curve .    by the symmetry of swapping @xmath173 and @xmath196 , in the remaining cases we are free to assume that both @xmath173 and @xmath196 have spiral points at both ends .
[ spiral essential case ] : :    @xmath173 and @xmath196 both have spiral points at    both ends , and they have an intersection that can not be removed by    changing the directions of spiral points .    in the remaining cases , we can assume that the only intersections between @xmath173 and @xmath196 come at shared spiral points where their spiral directions disagree .
[ spiral one not case ] : :    @xmath173 and @xmath196 both have spiral points at    both ends , and only intersect where they share spiral points with    opposite directions .
one spiral point of @xmath196 is not a    spiral point of @xmath173 .
again by symmetry , in the remaining case we are free to assume that the set of spiral points of @xmath173 equals the set of spiral points of @xmath196 .
[ spiral equal case ] : :    @xmath173 and @xmath196 both have spiral points at    both ends , and only intersect where they share spiral points with    opposite directions .
the set of spiral points of @xmath173    equals the set of spiral points of @xmath196 .
these cases exhaust the possibilities .
[ the missing case ] when @xmath154 is a surface with no boundary components and exactly one puncture ( the case explicitly ruled out by hypothesis ) , to prove the curve separation property , we must construct a tagged triangulation @xmath165 and an arc @xmath156 as described above , with the additional requirement that @xmath165 has all arcs tagged plain .
for such a surface @xmath154 , only [ closed case ] , [ spiral essential case ] , and [ spiral equal case ] apply . with a view towards eventually removing the extra hypothesis from the theorem
, we give arguments in [ closed case ] and [ spiral equal case ] that also work for this kind of surface @xmath154 .
the arguments work because when @xmath151 has no boundary components and exactly one puncture , no arc bounds a once - punctured monogon .
thus when @xmath151 has no boundary components and exactly one puncture and we construct @xmath184 , we know automatically that @xmath165 has all arcs tagged plain .
we are presently unable to prove [ spiral essential case ] for @xmath154 having no boundary components and exactly one puncture .
we now proceed to consider each case .
[ boundary case ]      [ two boundary case ] we color the two boundary segments red and draw blue and purple arcs as shown in figure  [ two boundary fig ] .    ]
the top blue arc starts at the point @xmath8 , closely follows the left red boundary segment down to @xmath173 , then closely follows @xmath173 to the right red boundary segment , and closely follows that boundary segment up to the point @xmath158 .
we make the symmetric construction for the bottom blue arc
. since the two red segments are distinct , the blue arcs are compatible or coincide .
the purple arc is a diagonal of the red - blue - red - blue rectangle and connects points @xmath7 and @xmath158 .
if the top blue arc bounds an unpunctured monogon , then points @xmath8 and @xmath158 coincide , and @xmath173 is not allowable because it is contractible to a piece of the boundary containing one marked point .
if the top blue arc defines an unpunctured digon , then point  @xmath158 is a neighbor to point @xmath8 on the same boundary component . in this case
, we replace the top blue arc by the boundary segment ( which we again color blue ) whose endpoints are @xmath8 and @xmath158 .
the symmetric argument shows that the bottom blue arc is valid or can be replaced by a boundary segment .
the purple arc @xmath156 does not bound an unpunctured monogon because if points @xmath7 and @xmath158 coincide , then the two red segments coincide , contradicting the description of this case .
if the purple arc defines an unpunctured digon , then one of the blue arcs bounds an unpunctured monogon , but this has already been ruled out .
extend these arcs to a triangulation @xmath184 .
the blue and purple arcs and the red segments define triangles in @xmath184 .
if @xmath196 is a curve that intersects @xmath173 ( and if the intersection can not be avoided by independent isotopy deformations of the two curves ) , then @xmath196 must , somewhere along its extent , enter the pictured quadrilateral through a blue arc ( or originate on a blue segment ) , cross the purple arc , and exit through the opposite blue arc ( or end on the opposite blue segment ) .
[ one boundary case ] the situation is illustrated in the top - left picture of figure  [ one boundary fig ] .
+    color the boundary segment red and draw blue and purple arcs as shown in the top - right picture of figure  [ one boundary fig ] .
the blue arc follows closely the red segment from point @xmath8 to @xmath173 , turns left and follows @xmath173 closely without crossing it , and finally turns left and follows the red segment closely down to point  @xmath7 .
the purple arc @xmath156 follows the red segment closely up from point @xmath7 , crosses @xmath173 once and , the second time it meets @xmath173 , turns right and follows @xmath173 without crossing it until it meets the earlier part of the purple arc , then turns left and follows the red segment closely back down to @xmath7 without crossing itself .
if the blue arc bounds an unpunctured monogon , then points @xmath8 and @xmath7 coincide and @xmath173 is not allowable because it is contractible to a piece of the boundary containing one marked point . if the blue arc defines an unpunctured digon , then points @xmath8 and @xmath7 are the only marked points on their boundary segment , and we replace the blue arc with the boundary segment connecting @xmath8 and @xmath7 that is not already red , coloring this segment blue .
the purple arc does not bound an unpunctured monogon because @xmath173 is not contractible to a piece of the red boundary segment .
if the purple arc defines an unpunctured digon , then the blue arc bounds an unpunctured monogon , but we have already ruled out that possibility .
extend these arcs to a triangulation @xmath184 . in @xmath184 , there is a second triangle having the purple arc as an edge .
if the second triangle is self - folded , then @xmath173 is an excluded curve of a type illustrated in figure  [ exclude curves ] .
thus the second triangle is not self - folded , and we color its other edges as in the bottom - left picture of figure  [ one boundary fig ] .
now suppose @xmath196 intersects @xmath173 .
then @xmath196 must cross the blue arc ( or originate on the blue segment ) on the outer side of the picture and then cross either the inner red arc or the inner blue arc .
if it crosses the inner blue arc , then the shear coordinates @xmath180 and @xmath197 have strictly opposite signs .
otherwise , we alter the collection of arcs so that the purple arc and the inner red and blue arcs are incident to point @xmath8 instead of point @xmath7 .
recoloring appropriately , we obtain the bottom - right picture of figure  [ one boundary fig ] .
now @xmath196 crosses the red arc on the outer side of the picture and then the inner red arc , so the two shear coordinates have strictly opposite signs .
[ boundary spiral case ] suppose first that @xmath173 spirals clockwise into the puncture .
color the boundary segment red and label its endpoints @xmath8 and @xmath7 as shown in figure  [ boundary puncture fig ] .
label the spiral point as @xmath158 .
draw a blue arc from point @xmath8 , following the red segment closely to @xmath173 , following @xmath173 to point @xmath158 , going closely around point @xmath158 , following @xmath173 closely back to the red segment , and following the red segment to point  @xmath7 .
the blue arc does not bound an unpunctured monogon because @xmath154 is not a once - punctured monogon . if the blue arc defines an unpunctured digon , then points @xmath8 and @xmath7 are the only marked points on their boundary component and we replace the blue arc with the non - red boundary segment connecting point @xmath8 to point @xmath7 , coloring this segment blue .
draw a purple arc from point @xmath7 to itself , following the red segment closely from point @xmath7 to point @xmath8 and then following the blue arc closely back to point @xmath7 .
the purple arc does not bound an unpunctured monogon .
it also does not define an unpunctured digon because @xmath154 is not a once - punctured monogon .
now draw an arc from point @xmath7 to the puncture , without crossing the purple arc .
this arc is indicated both in red and in blue in the picture to match the coloring conventions of figures  [ shear fig ] and  [ shear self - folded fig ] .
complete these arcs to a triangulation @xmath184 .
if @xmath196 is not compatible with @xmath173 , then there are two possibilities .
the first possibility is that some portion of @xmath196 crosses the outer blue arc ( or originates in the outer blue segment ) then crosses the red / blue arc before crossing the outer blue arc again ( or terminating in the outer blue segment ) . in doing so , @xmath196 crosses the red - blue - red - blue quadrilateral twice , picking up a nonzero contribution to @xmath197 one of the two times .
the second possibility is that @xmath173 crosses the outer blue arc ( or originates in the outer blue segment ) and then spirals counterclockwise into the puncture . in either case
, we obtain the desired sign difference of shear coordinates at the purple arc @xmath156 . notice that in the case where @xmath173 and @xmath196 intersect but are compatible ( that is , when they agree except for the direction of the spiral into the puncture ) , the relevant shear coordinate for @xmath196 is zero .
if @xmath173 spirals counterclockwise into the puncture , then we redraw the picture swapping the roles of points @xmath8 and @xmath7 , reversing left and right in drawing the arcs , and swapping the colors red and blue .
[ closed case ] choose a direction to traverse @xmath173 . say a marked point @xmath181 is * _ left of @xmath173 _ * if , traversing @xmath173 in the chosen direction , there is a path that leaves @xmath173 , goes left , and reaches @xmath181 without crossing @xmath173 again . we define the notion * _ right of @xmath173 _ * analogously . for certain curves
@xmath173 , it is possible for the same point to be both right of @xmath173 and left of @xmath173 .
[ closed left right case ] label some marked point left of @xmath173 with the number @xmath8 .
label some marked point right of @xmath173 with the number @xmath7 .
possibly the points @xmath8 and @xmath7 coincide .
we draw a blue arc that follows closely on the left some curve from point @xmath8 to the left of @xmath173 , turns left , follows @xmath173 closely on the left all around , turns left again and follows closely the curve back to point @xmath8 .
we draw another blue curve in the same way on the right .
these curves are shown in figure  [ closed annulus fig ] .    ]
neither blue arc bounds an unpunctured monogon , because @xmath173 is not contractible to a puncture .
if the blue arc at point @xmath8 defines an unpunctured digon , then point @xmath8 is on a boundary component and is the only marked point on that component . in this case
, we replace the inner blue arc with the unique boundary segment on that component , which we then color blue .
( in this case , we should replace the light gray striped shading with dark gray shading . )
we proceed similarly if the blue arc at point @xmath7 defines an unpunctured digon .
if points @xmath8 and @xmath7 coincide , then possibly the two blue curves coincide as well .    if @xmath196 intersects @xmath173 , then somewhere along its extent it crosses the outer blue arc ( or originates on the outer blue segment ) and then crosses the inner blue arc ( or terminates on the inner blue segment ) .
possibly @xmath196 winds around the inner blue arc a number of times before crossing it , but for simplicity , it is shown without winding in figure  [ closed annulus fig ] .
we draw a red arc from point @xmath8 to point @xmath7 without crossing @xmath196 as follows : the arc follows the inner blue arc closely counterclockwise to @xmath196 , then follows @xmath196 closely , without crossing it , to the outer blue arc , and finally follows closely the outer blue arc clockwise to point @xmath7 .
the red and blue arcs define a quadrilateral with the red edges identified .
we draw a purple arc @xmath156 that forms a diagonal of this quadrilateral .
( either diagonal works for the conclusion of the theorem , but one choice is consistent with our coloring scheme . ) we complete this set of arcs to a triangulation @xmath184 .
[ closed not left right case ] without loss of generality , suppose all marked points are left of @xmath173 .
since these points are not also right of  @xmath173 , the surface decomposes at @xmath173 as a connected sum . in figure  [ closed sum fig ] , we depict the situation with the `` left '' summand , containing marked points , outside of the curve @xmath173 and the `` right '' summand , containing no marked points , inside @xmath173 .
since @xmath173 is not contractible , the right summand is topologically nontrivial .
we choose a particular marked point , labeled @xmath8 , on the left and draw a blue arc closely following @xmath173 just as we drew the first blue arc in [ closed left right case ] . as in [
closed left right case ] , the blue arc does not bound an unpunctured monogon , and if it defines an unpunctured digon then we replace it with a blue boundary segment .    if @xmath196 intersects @xmath173 , then @xmath196 must , somewhere along its extent , cross @xmath173 to enter the right summand , trace a nontrivial loop in the right summand , and then cross @xmath173 again to leave the right summand .
in fact , @xmath196 may do this several times , but in the description below , we ignore any other pieces of @xmath196 that cross @xmath173 .
the situation is depicted in the left picture of figure  [ closed sum fig ] . in this picture , the entire region inside @xmath173 is shaded with light gray stripes to indicate both that the right connected summand is topologically nontrivial and that the closed path formed by part of @xmath196 and part of the blue arc is neither contractible to a point , nor isotopic to @xmath173 .
now , draw a red arc and a purple arc as shown in the right picture of figure  [ closed sum fig ] .
the red arc follows the blue arc closely from point @xmath8 up to @xmath196 , follows @xmath196 closely without crossing it until reaching the blue arc again , and follows to blue arc back to the point @xmath8 .
the purple arc follows the blue arc , crosses @xmath196 , and continues almost back to point @xmath8 before turning to follow @xmath196 closely , without immediately crossing @xmath196 again .
it follows @xmath196 closely until it is close to the blue arc and then crosses @xmath196 to follow the blue arc back to point @xmath8 .
the red and purple arcs do not bound unpunctured monogons or define unpunctured digons because the part of @xmath196 shown is not contractible to part of the blue arc .
the red , blue , and purple arcs form a triangle , oriented consistently with the convention of figure  [ shear fig ] .
these arcs can be completed to a triangulation @xmath184 . in @xmath184
, there is a second triangle having the purple arc as an edge , as shown in figure  [ closed sum fig 2 ] .    since the point @xmath8 is the only marked point that can be reached without crossing the blue arc , all three vertices of the second triangle are at point @xmath8 .
the second triangle is not self - folded , because all three of its vertices coincide . to compute @xmath180 , notice that @xmath173 intersects the red - blue - red - blue quadrilateral in at least two places .
two intersections are shown in figure  [ closed sum fig 2 ] .
one of the two contributes @xmath57 to @xmath180 , but the other contributes @xmath8 .
a similar situation arises in the calculation of @xmath197 .
an explicit example of [ closed not left right case ] may be helpful .
we take @xmath154 to be the double - torus with one puncture and take @xmath173 to be a curve along which @xmath151 decomposes as a connected sum of tori .
this is a fairly representative example , since the right connected summand of @xmath151 in general is a nonempty connected sum of tori .
specifically , let @xmath151 be the octagon with identifications indicated in the top - left picture of figure  [ closed sum example fig ] .
+    all eight vertices of the octagon are identified , and we take this common point to be the puncture . the curves @xmath173 and @xmath196 are indicated as usual by a solid black and a dotted green line .
the curve @xmath173 appears in four pieces that are identified to a closed curve ; the curve @xmath196 appears in two pieces .
the top - right picture of figure  [ closed sum example fig ] shows the blue , red , and purple arcs constructed first .
the bottom picture shows these three arcs , straightened and completed to a triangulation of @xmath151 .
[ spiral essential case ] draw a purple arc between the spiral points of @xmath173 , following @xmath173 closely except for the spirals .
possibly the endpoints of the purple arc coincide , but the purple arc does not bound an unpunctured or once - punctured monogon because @xmath173 is not contractible to a spiral point and because @xmath173 is not an excluded curve in definition  [ quasi lam def ] . choose a spiral point of @xmath196 and label it @xmath8 .
label the spiral points of @xmath173 as @xmath7 and @xmath158 .
let @xmath208 be the part of @xmath196 from the chosen spiral point to the first point where @xmath196 intersects @xmath173 , aside from any intersections that arise if point @xmath8 coincides with point @xmath7 and/or @xmath158 and spiral directions of @xmath173 and @xmath196 disagree there .
draw a red arc that follows @xmath173 closely from point @xmath7 without crossing it ( except for the spiral ) to @xmath208 , then follows @xmath208 without crossing it ( except for the spiral ) to point  @xmath8 .
draw a blue arc from point @xmath158 to point @xmath8 closely following @xmath173 and then @xmath208 . these arcs are shown in the left picture of figure  [ essential ] .    until further notice , ignore the directions of spirals in the pictures .
suppose the red arc bounds an unpunctured monogon .
then points @xmath8 and @xmath7 coincide .
furthermore , if the spiral directions of @xmath173 and @xmath196 agree at this point , then this first intersection of @xmath196 with @xmath173 can be removed by an isotopy deformation of @xmath196 . on the other hand ,
if spiral directions disagree at this point , then this first intersection can be removed by changing the directions of spiral points . either way ,
we have contradicted our construction of @xmath208 , so the red arc does not bound an unpunctured monogon . by the same argument , the blue arc also does not bound an unpunctured monogon .
the red and blue arcs are not isotopic because if so , then @xmath173 is an excluded curve in definition  [ quasi lam def ] .
we extend these three arcs to a triangulation .
in this triangulation , there is a second triangle having the purple arc as an edge .
this second triangle is not self - folded , because if so , then @xmath173 is an excluded curve in definition  [ quasi lam def ] .
the situation is illustrated in the right picture in figure  [ essential ] , still ignoring directions of spirals .
possibly point @xmath153 coincides with some or all of the points @xmath8 , @xmath7 , and @xmath158 .
let @xmath128 denote the red - blue - red - blue rectangle shown in the right picture of figure  [ essential ] .
after following @xmath208 , the curve @xmath196 exits @xmath128 either through the bottom blue arc or through the bottom red arc , possibly by spiraling into point  @xmath153 .    up to a global reorientation
, we can assume that @xmath196 either spirals into point @xmath153 or exits through the bottom blue arc .
suppose the bottom blue arc is isotopic to the top red arc .
if @xmath196 spirals into point @xmath153 , then @xmath196 is an excluded curve in definition  [ quasi lam def ] .
if @xmath196 exits @xmath128 through the blue arc without spiraling into point @xmath153 , then the situation is as pictured in figure  [ essential isotopic ] , still ignoring spiral directions .    ]    in this case , @xmath196 must spiral into point 2 , so it only intersects @xmath173 , if at all , by spiraling the other direction into point @xmath7 .
we conclude from these contradictions that the bottom blue arc is not isotopic to the top red arc .
possibly , however , the two red arcs are isotopic to each other , the two blue arcs are isotopic to each other , and/or the bottom red arc is isotopic to the top blue arc .    in the triangulation containing these two triangles , there is another triangle sharing the top red arc as an edge , as shown in the left picture of figure  [ essential alter ] .
possibly this new triangle is self - folded , but if so , then the red arc is not one of the two edges that are folded onto each other .
we flip the red arc to produce a new red - blue - purple triangle as shown in the middle picture of figure  [ essential alter ] .
let @xmath303 be the red - blue - red - blue rectangle consisting of the two triangles having the purple arc as an edge ( after the flip of the red edge ) .
possibly the two red arcs of the original rectangle @xmath128 coincide . in this case
, the bottom triangle of @xmath128 is also affected by the flip of the red arc , and so @xmath196 exits @xmath303 through its bottom blue arc , regardless of whether @xmath196 spirals into point @xmath153 or exits @xmath128 through the blue arc .
if @xmath196 exits @xmath303 through the blue arc , then we make no more flips and define @xmath304 to be @xmath303 .
otherwise , the two red arcs of @xmath128 do nt coincide , the bottom triangle of @xmath303 coincides with the bottom triangle of @xmath128 , and @xmath196 spirals into point @xmath153 . in this case ,
the bottom red arc of @xmath303 is not isotopic to the top blue arc of @xmath303 for the same reason that the top red arc of @xmath128 is not isotopic to the bottom blue arc of @xmath128 .
the bottom red and blue arcs of @xmath303 are not isotopic ( i.e.  the bottom triangle of @xmath303 is not self - folded ) for the same reason that the top red and blue arcs of @xmath128 are not isotopic
. the two red arcs of @xmath303 may be isotopic .
we flip the bottom red arc of @xmath303 , just as we flipped the top red arc of @xmath128 , to obtain a new rectangle @xmath304 , composed of two triangles sharing the purple arc as an edge , such that @xmath196 enters through the top blue arc and exits through the bottom blue arc .
( the fact that @xmath196 enters @xmath304 through the top blue arc follows from the fact that @xmath196 enters @xmath303 through the top blue arc , even in the case where the two red arcs of @xmath303 are isotopic . ) this construction of @xmath304 is illustrated in the right picture of figure  [ essential alter ] .    if any red or blue arc defining @xmath304 bounds a once - punctured monogon , we replace it by an arc from the vertex of the monogon to the puncture , tagged notched at the puncture .
( we have already ruled out the possibility that the purple arc @xmath156 bounds a once - punctured monogon . )
the spiral directions of spiral points of @xmath196 are now irrelevant .
if the spiral direction of @xmath173 at point @xmath7 disagrees with the direction shown in figure  [ essential alter ] , then we tag all arcs notched at point @xmath7 and similarly for point @xmath158 .
we can do this even if points @xmath7 and @xmath158 coincide , because in that case , @xmath173 has the same spiral directions at both ends .
we complete the tagged arcs to a tagged triangulation @xmath165 , change all tags to plain ( reversing spiral directions accordingly ) and apply @xmath305 to make a triangulation to calculate @xmath180 and @xmath197 as in definition  [ shear def ] .
this latter triangulation contains the two triangles of @xmath304 and the altered spiral directions are also as shown in the figure .
[ spiral one not case ]      [ spiral one not distinct case ] number the spiral points so that @xmath173 spirals into @xmath8 and @xmath7 and @xmath196 spirals into @xmath7 and @xmath158 .
draw a red arc and a blue arc from @xmath8 to @xmath158 as shown in the left picture of figure  [ 3 spirals fig ] .
, title="fig:"],title="fig : " ]    for the moment , ignore the directions of spirals in the picture .
each arc follows @xmath173 and then @xmath196 closely .
these two arcs are not isotopic to each other because otherwise @xmath154 is a sphere with @xmath158 punctures .
also draw two gray arcs from @xmath7 to @xmath158 , following @xmath196 closely and staying between the red arc and the blue arc .
tag one arc plain at point @xmath7 and tag the other arc notched at point @xmath7 .
none of these arcs bounds a monogon because points @xmath8 , @xmath7 , and @xmath158 are distinct .
tag the arcs at points @xmath8 and/or @xmath158 notched if the spiral directions of @xmath173 or @xmath196 disagree with figure  [ 3 spirals fig ] at these points .
complete to a tagged triangulation @xmath165 .
if the spiral directions at point @xmath7 agree with figure  [ 3 spirals fig ] , then we take @xmath156 to be the gray arc tagged notched at point @xmath7 .
if the spiral directions at point @xmath7 disagree with figure  [ 3 spirals fig ] , then we take @xmath156 to be the gray arc tagged plain at point @xmath7 . in either case , to calculate the shear coordinates @xmath180 and @xmath197 , we pass to a triangulation and spiral directions as in the right picture of figure  [ 3 spirals fig ] .
the purple arc in the right picture is @xmath156 .
the other gray arc in the left picture , besides @xmath156 , becomes the arc in the right picture that we color red on one side and blue on the other side as in figure  [ shear self - folded fig ]
.      [ spiral one not coincide case ] the curve @xmath173 has both spiral points in the same direction at the same point ( labeled @xmath8 in figure  [ curve and loop ] ) .
we first draw a red arc as shown in the left picture in figure  [ curve and loop ] , starting at point @xmath7 , following @xmath196 closely , crossing @xmath173 twice near point @xmath8 , following @xmath173 closely back to the earlier part of the red arc , then following the red arc closely back to point @xmath7 .
this red arc does not bound an unpunctured monogon because if so , then @xmath173 is contractible to the puncture @xmath8 .
suppose this red arc bounds a once - punctured monogon .
then the puncture is either point @xmath8 or a marked point in the region shaded striped gray in figure  [ curve and loop ] . in either case
, @xmath173 is an excluded curve in definition  [ quasi lam def ] , so we conclude that the red arc does not bound a once - punctured monogon .
we next draw a blue arc as shown , following the red arc closely from point @xmath7 to point @xmath8 and then following @xmath196 closely back to point @xmath7 .
if the blue arc bounds an unpunctured monogon , then @xmath173 is an excluded curve in definition  [ quasi lam def ] .
if the blue arc bounds a once - punctured monogon , then replace it with an arc from point @xmath7 to the puncture , tagged notched at the puncture . now tag appropriately at points @xmath8 and @xmath7 to obtain the correct spiral directions and produce a triangulation , similarly to [ spiral one not distinct case ] .
part of the triangulation is shown in the right picture of figure  [ curve and loop ] .
[ spiral equal case ]      [ spiral equal two coincide case ] in fact , since @xmath173 and @xmath196 are incompatible , the spiral directions must disagree at both points .
draw a purple arc , as in figure  [ two coincide fig ] , following the two curves closely .
since the purple arc has 2 distinct endpoints , it does not bound a monogon .
the purple arc can be completed to some triangulation .
if the purple arc constitutes two sides of a self - folded triangle in the triangulation , then we flip the third side to obtain a new triangulation in which the purple arc is an edge of two distinct triangles .
these two triangles are represented in figure  [ two coincide fig ] , although any of the points shown may coincide ( except points @xmath8 and @xmath7 ) , and various combinations of the arcs shown may coincide .
we apply @xmath159 to the triangulation .
the resulting tagged triangulation has plain tags at points @xmath8 and @xmath7 because the purple arc is not part of a self - folded triangle .
we change the plain tagging at point @xmath8 and/or point @xmath7 to notched tagging if the spiral directions at these points do not agree with figure  [ two coincide fig ] .
the tagged triangulation with these altered taggings is @xmath165 . when shear coordinates are calculated for the purple arc @xmath156 , we pass to a triangulation and spiral directions as shown in figure  [ two coincide fig ] .
[ spiral equal two one not coincide case ] label the two spiral points as @xmath8 and @xmath7 . draw two gray arcs from @xmath8 to @xmath7 , following @xmath173 closely .
tag these two arcs oppositely at point @xmath7 .
draw a red arc following @xmath173 closely from point @xmath8 to point @xmath7 and then following @xmath196 closely from point @xmath7 back to point @xmath8 .
draw a blue arc similarly on the other side of @xmath173 and @xmath196 .
the red and blue arcs are not isotopic , because if so @xmath154 is a twice - punctured sphere . since @xmath173 and @xmath196 do nt coincide , even ignoring spiral directions , neither the red arc nor the blue arc bounds an unpunctured monogon . if either or both arcs bounds a once - punctured monogon , then replace it with an arc from @xmath8 to the puncture , tagged notched at the puncture .
tag arcs notched at point @xmath8 if the spiral directions disagree with those shown in figure  [ two spirals disagree once ] and complete to a tagged triangulation @xmath165 . if the spiral directions at point @xmath7 agree with figure  [ two spirals disagree once ] , then the gray arc tagged notched at point @xmath7 becomes the purple arc in the right picture of figure  [ 3 spirals fig ] and the gray arc tagged plain at @xmath7 becomes the red / blue arc .
if the spiral directions at point @xmath7 disagree with figure  [ two spirals disagree once ] , the two gray arcs reverse roles .
the calculation of shear coordinates at the purple arc involves arcs and spiral directions as shown in the right picture of figure  [ two spirals disagree once ] .
[ spiral equal two two not coincide case ] label the two spiral points as @xmath8 and @xmath7 . draw a blue arc , as in the top - left picture in figure  [ two spirals disagree twice ] , following @xmath173 closely .     +    draw a red arc , as shown , following @xmath196 closely .
the red and blue arcs can be completed to some triangulation .
this triangulation has two triangles containing the blue arc as an edge .
( the presence of the red edge rules out the possibility that a triangle is folded onto the blue edge . ) one of these triangles is shown in the top - right picture of figure  [ two spirals disagree twice ] . because points @xmath8 and @xmath7 do nt coincide , we assume up to symmetry that points @xmath8 and @xmath158 do nt coincide . thus the purple arc does not bound a monogon . possibly points @xmath7 and
@xmath158 coincide but the new red arc does not bound an unpunctured monogon because it is part of some triangulation . if the new red arc bounds a once - punctured monogon , then we replace the new red arc with a tagged arc from point @xmath7 to the puncture . for the moment , we assume that the purple arc is not isotopic to the original red arc . the case where the two are isotopic is dealt with separately below .
now draw another blue arc from point @xmath158 to point @xmath7 , closely following the purple arc to point @xmath8 and then closely following the red arc to point @xmath7 .
this arc is shown in the bottom - left picture of figure  [ two spirals disagree twice ] in the case where points @xmath7 and @xmath158 do not coincide , and in the bottom - right picture in the case where points @xmath7 and @xmath158 coincide . in the latter case , we need to consider the possibility that the new blue arc bounds an unpunctured or once - punctured monogon .
but if the new blue arc bounds an unpunctured monogon , then the original red arc is isotopic to the purple arc , a possibility that we deal with separately below .
if the new blue arc bounds a once - punctured monogon , then replace it with an arc from point 2 to the puncture , tagged notched at the puncture .
now tag arcs at points @xmath8 and/or @xmath7 notched if the spiral directions at these points disagree with the figure , and complete to a tagged triangulation @xmath165 .
to calculate shear coordinates @xmath180 and @xmath197 , we pass to a triangulation and spiral directions as shown in one of the bottom pictures of figure  [ two spirals disagree twice ] .
finally , we must consider the case where the original red arc is isotopic to the purple arc .
figure  [ two spirals disagree twice 2 ] illustrates this case .
the purple arc is omitted in favor of the original red arc .
arcs are also colored differently , with the red and blue arcs in the left picture of figure  [ two spirals disagree twice 2 ] having switched colors from the top - left picture of figure  [ two spirals disagree twice ] .
the smaller red arc from the bottom - right picture of figure  [ two spirals disagree twice ] is now colored purple .
we complete these three arcs to a triangulation . in this triangulation
, there is a second triangle having the purple arc as an edge , as illustrated in the right picture of figure  [ two spirals disagree twice 2 ] .
the new blue and red arcs may be isotopic , in which case the purple arc bounds a once - punctured monogon . in this case
, we replace the purple arc with an arc from point 2 to the puncture , tagged notched at the puncture .
again we tag arcs at points @xmath8 and/or @xmath7 notched if the spiral directions at these points disagree with the figure , and complete to a tagged triangulation @xmath165 .
when shear coordinates are calculated for the purple arc @xmath156 , we pass to a triangulation and spiral directions as shown in the right picture of figure  [ two spirals disagree twice 2 ] . the white space between the red and blue arcs is not shaded striped gray because the red and blue arcs may coincide .
[ spiral equal one coincide case ] draw a purple arc following @xmath173 ( and thus  @xmath196 ) closely .
the purple arc does not bound an unpunctured or once - punctured monogon because @xmath173 is not contractible to a puncture and is not an excluded curve in definition  [ quasi lam def ] .
we complete the purple arc to a triangulation @xmath184 .
since the purple arc does not have two distinct endpoints , it does not constitute two edges of a self - folded triangle .
thus it is contained in two distinct triangles in @xmath184 .
furthermore , neither of these triangles is self - folded , because otherwise @xmath173 is an excluded curve in definition  [ quasi lam def ] .
the relevant part of @xmath184 is shown in figure  [ one coincide fig ] .    up to switching @xmath173 with @xmath196 , the spirals are as shown in the figure .
[ spiral equal one not coincide case ] the common spiral point is labeled @xmath8 .
draw a gray arc following @xmath173 closely and a purple arc following @xmath196 closely .
+   +    then draw a second gray arc following @xmath173 and then @xmath196 as shown in the top picture of figure  [ one spirals disagree ] .
( there are two ways to draw the second gray arc relative to the spiral directions of @xmath173 and @xmath196 . the right way is shown in the figure . )
neither the first gray arc nor the purple arc bounds an unpunctured or once - punctured monogon because because neither @xmath173 nor @xmath196 is contractible to a spiral point or an excluded curve in definition  [ quasi lam def ] .
the second gray arc does not bound an unpunctured monogon because @xmath173 and @xmath196 do nt coincide , even when spiral directions are ignored . for the same reason ,
the first gray arc and the purple arc are not isotopy equivalent .
the second gray arc is not equivalent to the other two arcs because it is their product in the sense of the fundamental group and neither of the other two arcs is trivial .
these three distinct arcs form a triangle and can be completed to a triangulation . in this triangulation
, there is another triangle having the first gray arc as an edge .
this new triangle is not self - folded because the first gray edge does not bound a once - punctured monogon .
it is shown in the middle picture of figure  [ one spirals disagree ] , with one of the new edges red and one gray .
the point @xmath7 may coincide with the point @xmath8 .
we now have two triangles sharing an edge ( the first gray edge ) .
we flip this shared edge , coloring the new edge blue , as shown in the bottom picture of figure  [ one spirals disagree ] .
this new configuration of five arcs can also be extended to a new triangulation .
the new triangulation has another triangle sharing the purple arc as an edge .
as before , the new triangle is not self - folded .
it is also shown in the bottom picture of figure  [ one spirals disagree ] with the new edges colored red and blue .
the point @xmath158 may coincide with point @xmath8 and/or point @xmath7 .
the triangulation constructed has the desired properties with respect to shear coordinates at the purple arc @xmath156 .
in this section , we formulate the null tangle property of a marked surface , and show that it is equivalent to the assertion that the shear coordinates @xmath195 of allowable curves
@xmath173 constitute a positive @xmath3-basis for @xmath171 .
we observe that the curve separation property follows from the null tangle property .
the observation suggests that it might be quite difficult to establish the null tangle property in general , since the proof of the curve separation property ( theorem  [ curve separation ] ) was so complex , even leaving out one family of marked surfaces . here , we prove the null tangle property for a smaller family of marked surfaces . in @xcite ,
the null tangle property is established for an additional marked surface : the once - punctured torus .    [
weighted tangle def ] a * _ ( weighted ) tangle ( of curves ) _ * in @xmath154 is a finite collection of curves , all distinct up to isotopy and all allowable in the sense of definition  [ quasi lam def ] , with no requirement of compatibility between curves , and with each curve @xmath173 having a * _ weight _ * @xmath306 .
we do not require weights to be positive as we did in the definitions of laminations and quasi - laminations ( definitions  [ lam def ] and  [ quasi lam def ] ) .
the * _ support _ * of a tangle is the set of curves having nonzero weight .
an * _ straight tangle _ * is a tangle consisting of pairwise compatible curves .
( the difference between a quasi - lamination and a straight tangle is that the weights in an straight tangle are allowed to be negative . )
a tangle is * _ trivial _ * if all weights are zero .
the * _ weighted union _ * of tangles @xmath307 and @xmath308 is constructed by first taking the multiset union of @xmath307 and @xmath308 .
then , for each curve @xmath173 that appears in both @xmath307 and @xmath308 , we replace the two copies of @xmath173 with a single copy of @xmath173 whose weight is the sum of the original two weights .
[ null tangle def ] a tangle @xmath309 has shear coordinates @xmath310 with respect to any tagged triangulation @xmath165 , given by the weighted sum of vectors @xmath195 over all of the curves @xmath311 .
each @xmath195 is calculated as in definition  [ shear def ] .
if @xmath154 has either one or more boundary components or two or more punctures or both , then a * _ null tangle _ * in @xmath154 is a tangle @xmath309 such that @xmath310 is the zero vector for all tagged triangulations @xmath165 .
if @xmath154 has no boundary components and exactly one puncture , then a * _ null tangle _ * is a tangle @xmath309 such that @xmath310 is the zero vector for all tagged triangulations
@xmath165 with all tags plain .
a marked surface has the * _ null tangle property _ * if every null tangle is trivial .
the main results of this section are the following theorems and an immediate corollary .
[ null tangle theorem ] suppose @xmath3 is @xmath4 or @xmath5 and let @xmath165 be a tagged triangulation of @xmath154 ( with all arcs tagged plain if @xmath154 has no boundary components and exactly one puncture ) .
the following are equivalent .
a.   [ null tangle theorem null ] @xmath154 has the null tangle property .
b.   [ null tangle theorem basis ] the shear coordinates of allowable curves form an @xmath3-basis for @xmath171 .
c.   [ null tangle theorem pos basis ] the shear coordinates of allowable curves form a positive @xmath3-basis for @xmath171 .    [ poly grow null tangle ] if @xmath154 is a sphere having @xmath164 boundary components and @xmath181 punctures with @xmath312 , then @xmath154 has the null tangle property .
the hypothesis of theorem  [ poly grow null tangle ] is that @xmath154 is a disk with @xmath57 , @xmath8 , or @xmath7 punctures , an annulus with @xmath57 or @xmath8 punctures , or a sphere with three boundary components .
[ poly grow univ ] if @xmath154 is a sphere having @xmath164 boundary components and @xmath181 punctures with @xmath312 , then the shear coordinates of allowable curves form a positive @xmath3-basis for  @xmath0 , for @xmath10 or @xmath5 .    [ poly grow remark ] comparing with ( * ? ? ?
* proposition  11.2 ) , we see that the marked surfaces identified in theorem  [ poly grow null tangle ] and corollary  [ poly grow univ ] are precisely those whose associated cluster algebra has polynomial growth .
( see ( * ? ? ?
* section  11 ) . )
given that the null tangle property is established for an additional surface in @xcite , the connection to polynomial growth is probably coincidental .
[ finite null tangle remark ] the marked surfaces of theorem  [ poly grow null tangle ] and corollary  [ poly grow univ ] include those of finite type in the sense of ( * ? ? ?
* section  1.3 ) ( the cases of an unpunctured or once - punctured disk ) .
we recover a weaker version of ( * ? ? ?
* proposition  17.5 ) , giving a proof entirely in terms of triangulated surfaces .
[ affine null tangle remark ] the marked surfaces of theorem  [ poly grow null tangle ] and corollary  [ poly grow univ ] also include those of affine type in the sense of ( * ? ? ?
* definition  10.9 ) ( the cases of a twice - punctured disk or unpunctured annulus ) . for exchange matrices @xmath0 of affine type , it is conjectured ( * ? ? ?
* conjecture  10.10 ) that the @xmath276-vectors associated to @xmath313 , together with an additional integer vector , are a positive @xmath3-basis for @xmath0 , for any @xmath3 .
the results of this section establish the marked surfaces case of ( * ? ? ?
* conjecture  10.10 ) , using proposition  [ g surfaces ] and the fact that there is a unique allowable closed curve in these cases .
example  [ affine a2 surface ] .
the point of defining null tangles is the connection to @xmath0-coherent linear relations .
[ null tangle is b coher rel ] a tangle @xmath309 in @xmath154 is null if and only if @xmath314 is a @xmath171-coherent linear relation for any tagged triangulation @xmath165 ( with all tags plain if @xmath154 has no boundary components and exactly one puncture ) .    by theorem  [ mut q - lam ]
, a tangle @xmath309 is null if and only if @xmath314 is a nontrivial linear relation among the shear coordinates of allowable curves that is preserved ( in the sense of ) under mutation maps at @xmath171 .
now proposition  [ no zero no piecewise ] says that @xmath309 is null if and only if @xmath314 is a @xmath171-coherent linear relation .
proposition  [ null tangle is b coher rel ] implies the following rephrasing of the null tangle property .
[ null tangle prop ] suppose @xmath3 is @xmath4 or @xmath5 and let @xmath165 be a tagged triangulation of @xmath154 ( with all arcs tagged plain if @xmath154 has no boundary components and exactly one puncture )
. then @xmath154 has the null tangle property if and only if the shear coordinates of allowable curves constitute an @xmath3-independent set for @xmath171 .
we now quote a version of ( * ? ? ?
* proposition  4.12 ) .
the proposition is stated in @xcite in terms of @xmath0-coherent linear relations , but we use proposition  [ null tangle is b coher rel ] to state a specialization of the proposition in terms of tangles .
[ one positive or one negative ] let @xmath309 be a tangle in @xmath154 .
suppose for some tagged triangulation @xmath165 ( with all tags plain if @xmath154 has no boundary components and exactly one puncture ) , for some tagged arc @xmath156 in @xmath165 , and for some curve @xmath173 in @xmath309 that @xmath180 is strictly positive ( resp .
strictly negative ) and that @xmath197 is nonpositive ( resp .
nonnegative ) for every other @xmath315
. then @xmath316 .
we now explain the connection between the null tangle property and the curve separation property .
the * _ disorder _ * of a tangle @xmath309 is the smallest number @xmath59 such that , after deleting curves with weight zero , @xmath309 is a weighted union of @xmath59 straight tangles .
then the null tangle property is the statement that the disorder of a null tangle must be @xmath57 .
one approach to establishing the property would be to rule out null tangles of disorder @xmath59 for all positive @xmath59 .
the curve separation property is closely related to ruling out null tangles of certain small disorders .
[ no 1 2 ] null tangles of disorder @xmath8 do not exist in any marked surface .
if @xmath154 has the curve separation property , then null tangles of disorder @xmath7 do not exist in @xmath154 .
theorem  [ rat fb surfaces ] , specifically the fact that @xmath213 is simplicial , implies that a null tangle can not have disorder @xmath8 .
suppose @xmath154 has the curve separation property .
if a null tangle @xmath309 has disorder @xmath7 , then it is a weighted union of two non - trivial straight tangles @xmath307 and @xmath308 , and there is a curve @xmath173 in the support of @xmath307 and curve @xmath196 in the support of @xmath308 such that @xmath173 and @xmath196 are not compatible .
the curve separation property says that there is a tagged triangulation @xmath165 and an arc @xmath156 ( with all arcs tagged plain if @xmath154 has no boundary components and exactly one puncture ) such that @xmath180 and @xmath197 have strictly opposite signs . without loss of generality ,
take @xmath180 positive and @xmath197 negative .
proposition  [ fbt compatible ] says that @xmath307 is contained in a @xmath171-cone , so proposition  [ contained bcone ] says that @xmath317 is nonnegative for every curve @xmath182 in @xmath307 .
similarly @xmath318 is nonpositive for every curve @xmath208 in @xmath308 .
since @xmath309 is a null tangle , we have @xmath319 .
let @xmath167 be the tagged triangulation obtained by flipping @xmath156 in @xmath165 .
since the shear coordinates @xmath317 all have weakly the same sign , theorem  [ mut q - lam ] ( applied separately to each curve in @xmath307 ) implies that @xmath320 .
for the same reason , @xmath321 .
but @xmath171 does not have a row consisting all of zeros , so it does not have a column consisting all of zeros .
thus since @xmath322 and @xmath323 have strictly opposite signs in the entry indexed by  @xmath156 , looking at   we conclude that @xmath324 .
this contradicts the assumption that @xmath309 is a null tangle .
[ null disorder 3 curve sep ] if @xmath154 does not admit null tangles of disorder @xmath7 or  @xmath158 , then @xmath154 has the curve separation property .
suppose the curve separation property fails .
then there exist incompatible curves @xmath173 and @xmath196 such that @xmath200 and @xmath201 have weakly the same sign for all @xmath167 and @xmath325 .
( if @xmath154 has no boundary components and exactly one puncture , then instead we know that @xmath200 and @xmath201 have weakly the same sign for all @xmath167 with all arcs tagged plain . )
applying theorem  [ mut q - lam ] , we see that @xmath326 and @xmath327 form a sign - coherent set for any sequence @xmath120 of indices .
proposition  [ contained bcone ] says that @xmath195 and @xmath204 are contained in some @xmath0-cone , so @xmath328 equals @xmath329 for any  @xmath120 by proposition  [ linear ] .
now let @xmath175 be the unique quasi - lamination with @xmath330 .
let @xmath307 be the tangle containing only the curve @xmath173 with weight @xmath8 and let @xmath308 be the tangle containing only @xmath196 with weight @xmath8 .
let @xmath331 be the tangle obtained from @xmath175 by negating all weights .
the weighted union of @xmath307 , @xmath308 , and @xmath331 is a null tangle of disorder @xmath332 . but
@xmath333 because @xmath173 and @xmath196 are incompatible .
proposition  [ no 1 2 ] rules out the possibility @xmath334 , so @xmath335 is @xmath7 or  @xmath158 .
[ null implies sep ] if @xmath154 has the null tangle property , then it also has the curve separation property .    combining results , we obtain theorem  [ null tangle theorem ] .    given , theorem  [ curves pos basis ] , corollary  [ null implies sep ] and proposition  [ null tangle prop ]
prove , which trivially implies , which implies   by proposition  [ null tangle prop ] .
the relationship between the curve separation property and the null tangle property suggests that we might extend the proof of theorem  [ curve separation ] to establish the null tangle property under the hypotheses of theorem  [ curve separation ] .
while this seems hard in general , some of the easier cases of the proof of the theorem extend to partial statements about the null tangle property , which lead to the proof of theorem  [ poly grow null tangle ] .
[ null tangle two boundary ] if @xmath309 is a null tangle , then no curve in the support of @xmath309 connects two distinct boundary segments .
suppose @xmath173 is an allowable curve connecting two distinct boundary segments .
construct a tagged triangulation @xmath167 and distinguish a ( purple ) arc @xmath325 as in [ two boundary case ] of the proof of theorem  [ curve separation ] .
( see figure  [ two boundary fig ] . )
we observe that @xmath173 is the unique allowable curve whose shear coordinate @xmath180 is strictly positive and apply proposition  [ one positive or one negative ] to conclude that @xmath173 can not appear in the support of a null tangle .
[ null tangle boundary puncture ] if @xmath309 is a null tangle , then no curve in the support of @xmath309 has one endpoint on a boundary segment and spirals into a marked point at the other end .
suppose @xmath173 is an allowable curve having one endpoint on a boundary segment and a spiral point at the other end .
construct @xmath167 and the purple arc @xmath325 as in [ boundary spiral case ] of the proof of theorem  [ curve separation ] .
( see figure  [ boundary puncture fig ] . ) again , we observe that @xmath173 is the unique allowable curve whose shear coordinate @xmath180 is strictly positive and apply proposition  [ one positive or one negative ] .
[ null tangle one boundary ] suppose @xmath154 is a sphere having @xmath164 boundary components and @xmath181 punctures , with @xmath312 . if @xmath309 is a null tangle , then no curve in the support of @xmath309 has both endpoints on the same boundary segment .
suppose @xmath309 is a null tangle and let @xmath173 be a curve in @xmath309 with both endpoints on the same boundary segment . in particular , @xmath154 is not a disk or once - punctured disk .
construct @xmath167 and the purple arc @xmath325 in the bottom - left picture of figure  [ one boundary fig ] , in [ one boundary case ] of the proof of theorem  [ curve separation ] .
suppose @xmath196 is a curve in @xmath309 with @xmath336 .
then @xmath196 has an endpoint on the same boundary segment as @xmath173 , so propositions  [ null tangle two boundary ] and  [ null tangle boundary puncture ] imply that @xmath196 has both endpoints on the same boundary segment as @xmath173 .
if @xmath154 is a disk with @xmath7 punctures or an unpunctured annulus , then each boundary segment admits a unique allowable curve with both endpoints on that boundary segment .
thus @xmath173 is the unique curve in @xmath309 with @xmath337 .
we apply proposition  [ one positive or one negative ] to see that @xmath173 is not in the support of @xmath309 .
if @xmath154 is a sphere with three boundary components or a once - punctured annulus , then we argue in several steps , looking at the bottom - left picture of figure  [ one boundary fig ] . if point @xmath158 is the puncture and the other boundary component is not contained in the gray striped area , then @xmath173 is not allowable in definition  [ quasi lam def ] . if point @xmath158 is on a boundary component and no marked point off of that boundary component is contained in the gray striped area , then any curve @xmath196 in @xmath309 with @xmath197 positive is isotopic to @xmath173 .
thus again @xmath173 is the unique curve in @xmath309 whose shear coordinate @xmath180 is strictly positive , so again @xmath173 is not in the support of @xmath309 . we are left with a unique choice of @xmath173 that might appear in the support of @xmath309 , namely the curve such that the area shaded striped gray contains two boundary components or a boundary component and a puncture .
but then @xmath173 would be the unique curve in @xmath309 with shear coordinate @xmath180 strictly positive , so it is not in the support of  @xmath309 .
theorem  [ curve separation ] says that the curve separation property holds , so by proposition  [ no 1 2 ] , null tangles of disorder @xmath8 and @xmath7 do not exist .    if @xmath154 is a disk with @xmath57 or @xmath8 punctures , then propositions  [ null tangle two boundary ] and  [ null tangle boundary puncture ] amount to the null tangle property . in the remaining cases ,
propositions  [ null tangle two boundary ] , [ null tangle boundary puncture ] , and  [ null tangle one boundary ] show that the support of a null tangle has no curves that involve boundary segments .
if @xmath154 is an unpunctured annulus , there is one remaining allowable curve ( the closed curve ) .
a null tangle has disorder at most @xmath8 , and therefore has disorder  @xmath57
.    if @xmath154 is a disk with @xmath7 punctures , then there are five remaining allowable curves : one closed curve and four curves with distinct spiral points .
these can be arranged into two sets of pairwise compatible curves .
( group together the two curves with counterclockwise spirals at one of the punctures , group together the two curves with clockwise spirals that same puncture , and put the closed curve in either group . ) a null tangle has disorder at most @xmath7 , and therefore has disorder  @xmath57 .
if @xmath154 is a once - punctured annulus , then there are four remaining allowable curves : two closed curves and two curves which spiral into the puncture at both ends .
a null tangle has disorder at most @xmath7 and thus has disorder @xmath57 .
if @xmath154 is a sphere with three boundary components , then the only remaining allowable curves are three compatible closed curves , so a null tangle has disorder at most @xmath8 , and therefore has disorder @xmath57 .
the author thanks sergey fomin for helpful converations . the author also thanks an anonymous referee for many helpful comments , and especially for pointing out that an earlier version of ( * ? ? ?
* proposition  4.6 ) ( appearing here as proposition  [ basis exists ] ) was incorrect .