let @xmath0 be a connected nonorientable surface of genus @xmath1 with @xmath2 punctures and let @xmath5 denote the mapping class group of @xmath0 , the group of isotopy classes of all diffeomorphisms @xmath6 .
the complex of curves @xmath7 on @xmath0 is defined to be the abstract simplicial complex whose vertices are the isotopy classes of nontrivial simple closed curves . a set of vertices @xmath8 forms a @xmath9 if and only if @xmath10 have pairwise disjoint representatives .
each diffeomorphism @xmath11 acts on the set of nontrivial simple closed curves preserving the disjointness of simple closed curves .
it follows that the mapping class group of @xmath0 acts on @xmath7 as simplicial automorphisms . in other words
, there is a natural group homomorphism @xmath12 .
the purpose of this paper is to prove the following theorem .
[ theorem - main1 ] let @xmath0 be a connected nonorientable surface of genus @xmath1 with @xmath2 punctures .
suppose that @xmath1 is odd and @xmath13 .
then the natural map @xmath14 is an isomorphism .
the complex of curves on an orientable surface @xmath15 was introduced by harvey  @xcite .
it was shown by ivanov  @xcite and korkmaz  @xcite that all automorphisms of the complex of curves on @xmath15 are induced by diffeomorphisms of the surface @xmath15 , with a few exception .
another proof of this result was also obtained by luo  @xcite . as a consequence of this result
, it was proved that any isomorphism between two subgroups of finite index in the mapping class group of @xmath15 is given by the conjugation with a mapping class ( cf .
@xcite ,  @xcite ) .
ivanov also gave another proof of the fact that the isometries of the teichmller space are induced by diffeomorphisms of @xmath15 .
schaller  @xcite showed that the extended mapping class group of a hyperbolic surface is isomorphic to the automorphism group of the graph .
the set of vertices of the graph is the set of nonseparating simple closed geodesic and the edges consisting of pairs of those nonseparating curves satisfying the property that the two curves in each pair intersect exactly once .
margalit  @xcite proved that the automorphism group of the pants complex is isomorphic to the extended mapping class group .
irmak  @xcite defined a superinjective simplicial map and showed that a superinjective simplicial map of the complex of curves and the complex of nonseparating curves is induced by a homeomorphism of an orientable surface .
irmak and korkmaz  @xcite proved that the automorphism group of the hatcher - thurston complex is isomorphic to the extended mapping class group modulo its center .
brendle and margalit  @xcite showed that any injection of a finite index subgroup of @xmath16 , generated by the dehn twists about separating curves , into the torelli group @xmath17 of a closed orientable surface is induced by a homeomorphism , conforming a conjecture of farb that @xmath18 .
behrstock and margalit  @xcite proved that for a torus with at least 3 punctures or a surface of genus 2 with at most 1 puncture , every injection of a finite index subgroup of the extended mapping class group into the extended mapping class group is the restriction of an inner automorphism .
all the above results are about orientable surfaces . for nonorientable surfaces we prove that the automorphism group of the complex of curves of a nonorientable surface of odd genus is isomorphic to its mapping class group .
first , we show that the natural group homomorphism is injective .
second , we prove that the natural group homomorphism is surjective for the punctured projective plane using the results and the ideas of korkmaz s analogous work on the punctured sphere @xcite and a result by scharlemann @xcite . for higher genus
, we use induction and some ideas contained in irmak s analogous work @xcite .
[ remark - evengenus ] we believe that the same result holds for nonorientable surfaces of even genus .
although we have some progress in proving the even genus case , the proof is not complete yet .    * acknowledgement .
* this work is the author s dissertation at middle east technical university .
the author would like to mustafa korkmaz , the author s thesis advisor , for his continuous guidance , encouragement , suggestions and for reviewing this manuscript .
let @xmath0 be a connected nonorientable surface of genus @xmath1 with @xmath2 marked points .
we call these marked points punctures . recall that the genus of a nonorientable surface is the maximum number of projective planes in a connected sum decomposition .      if @xmath19 is a circle on @xmath0 , by which we mean a simple closed curve , then according to whether a regular neighborhood of @xmath19 is an annulus or a mobius strip , we call @xmath19 two - sided or one - sided simple closed curve , respectively .
we say that a circle is nontrivial if it bounds neither a disc nor annulus together with a boundary component , nor a disc with one puncture , nor a mobius band on @xmath0 .
if @xmath19 is a circle , then we denote by @xmath20 the surface obtained by cutting @xmath0 along @xmath19 .
a circle @xmath19 is called nonseparating if @xmath20 is connected and separating otherwise . if @xmath19 is separating , then @xmath20 has two connected components .
if @xmath19 is separating and if one of the components of @xmath20 is a disc with @xmath21 punctures , then we say that @xmath19 is a @xmath21-separating circle .
we denote circles by the lowercase letters @xmath22 and their isotopy classes by @xmath23 .
an embedded arc connecting a puncture to itself or two different punctures will be denoted by @xmath24 and their isotopy classes by @xmath25 .
let @xmath26 be the isotopy class of a circle @xmath19 .
we say that @xmath26 is nonseparating ( respectively separating ) if @xmath19 is nonseparating ( respectively separating ) .
similarly , we say that @xmath26 is one - sided , two - sided or @xmath21-separating vertex if @xmath19 is one - sided , two - sided or @xmath21-separating circle , respectively .
the geometric intersection number @xmath27 of two isotopy classes @xmath26 and @xmath28 is defined to be the infimum of the cardinality of @xmath29 with @xmath30 , @xmath31 .
the geometric intersection numbers @xmath32 and @xmath33 are defined similarly .    the following lemma is proved in @xcite .
[ flp ] let @xmath15 be a sphere with @xmath34 punctures .
then    * up to isotopy , there exists a unique nontrivial embedded arc joining a puncture @xmath35 to itself , or @xmath35 to another puncture @xmath36 , * all circles on @xmath15 are trivial .
an abstract simplicial complex is defined as follows ( cf .
@xcite ) : let @xmath37 be a nonempty set .
an abstract simplicial complex @xmath38 with vertices @xmath37 is a collection of nonempty finite subsets of @xmath37 , called simplices , such that if @xmath39 , then @xmath40 , and if @xmath41 and @xmath42 is a nonempty subset of @xmath37 , then @xmath43 .
the dimension dim@xmath44 of a simplex @xmath44 is card@xmath45 , where card@xmath44 is the cardinality of @xmath44 .
a simplex @xmath44 is called a @xmath46-simplex if dim@xmath47 .
the supremum of the dimension of the simplices of @xmath38 is called the dimension of @xmath38 .    a subcomplex @xmath48 of an abstract simplicial complex @xmath38
is called a full subcomplex if whenever a set of vertices of @xmath48 is a simplex in @xmath38 , it is also a simplex in @xmath48 .
the complex of curves @xmath49 on an orientable surface @xmath15 is the abstract simplicial complex whose vertices are the isotopy classes of nontrivial simple closed curves .
similarly , the complex of curves @xmath7 on a nonorientable surface @xmath0 is the abstract simplicial complex whose vertices are the isotopy classes of nontrivial simple closed curves . in this complex of curves , we take one - sided vertices as well as two - sided vertices . clearly , the complex of curves of a surface of genus @xmath1 with @xmath2 punctures and with @xmath50 boundary components , and that of a surface of genus @xmath1 with @xmath51 punctures are isomorphic . therefore ,
sometimes we regard boundary components and the punctures the same .
two distinct vertices @xmath52 are joined by an edge if and only if their geometric intersection number is zero . more generally , a set of vertices @xmath53 forms a @xmath46-simplex if and only if @xmath54 for all @xmath55 .      clearly , the dimension of @xmath7 is @xmath56 if @xmath0 is a projective plane with @xmath2 punctures .
if @xmath15 is a sphere with @xmath2 punctures , then the dimension of @xmath49 is @xmath57 . for higher genus , if @xmath0 is a connected nonorientable surface of genus @xmath58 with @xmath2 punctures such that the euler characteristic of @xmath0 is negative and if @xmath59 , then the dimension of @xmath7 is @xmath60 and if @xmath61 , then the dimension of @xmath7 is @xmath62 ( see section2.5 ) .
if @xmath15 is a connected orientable surface of genus @xmath1 with @xmath2 punctures such that @xmath63 , then the dimension of @xmath49 is @xmath64 .
let @xmath26 be a vertex in the complex of curves .
we define the link @xmath65 of @xmath26 to be the full subcomplex of the complex of curves whose vertices are those of the complex of curves which are joined to @xmath26 by an edge in the complex of curves .
the dual link @xmath66 of @xmath26 is the graph whose vertices are those of @xmath65 such that two vertices of @xmath66 are joined by edge if and only if they are not joined by an edge in the complex of curves ( or in @xmath65 ) .
a pentagon is an ordered five - tuple @xmath67 , defined up to cyclic permutations and inversion , of vertices of the complex of curves such that @xmath68 for @xmath69 and @xmath70 otherwise .
obviously , if @xmath15 is a sphere with @xmath71 , then there are no nontrivial circles on @xmath15 .
therefore , @xmath49 is empty .
if @xmath15 is a sphere with four punctures , then @xmath49 is infinite discrete .
if @xmath0 is a projective plane or a projective plane with one puncture then @xmath7 consists of a unique vertex . if @xmath0 is a projective plane with two punctures , then @xmath7 is finite ( cf .
it consists of two vertices , the isotopy classes of the circles @xmath72 and @xmath73 of the figure[2puncture ] .
, width=377 ]      we now define another abstract simplicial complex @xmath74 as follows .
the vertices of @xmath74 are the isotopy classes of nontrivial embedded arcs on @xmath0 connecting two punctures .
a set of vertices of @xmath74 forms a simplex if and only if these vertices have pairwise disjoint representatives .
if @xmath19 is @xmath75-separating circle on @xmath0 , there exists up to isotopy a unique nontrivial embedded arc @xmath76 on the twice - punctured disc component of @xmath20 joining two punctures by lemma1.1 in @xcite and in @xcite . on the other hand ,
an arc @xmath76 connecting two different punctures of @xmath0 determines uniquely a @xmath75-separating circle up to isotopy , that is , the boundary of a regular neighborhood of the arc .
so , we have a one - to - one correspondence between the set of @xmath75-separating isotopy classes and the set of isotopy classes of embedded arcs connecting two different punctures .      if @xmath0 is a projective plane with one puncture , then @xmath74 consists of a unique vertex .
scharlemann studied the arc complex of a twice - punctured projective plane .
he showed that the vertices of the arc complex consist of the isotopy classes of arcs shown in the figure[2puncarc ] .
, width=453 ]      if @xmath19 and @xmath50 are two @xmath75-separating circles , and @xmath26 , @xmath28 are their isotopy classes , such that the corresponding arcs @xmath76 and @xmath77 can be chosen disjoint with exactly one common endpoint @xmath35 , then we say that @xmath19 and @xmath50 constitute a simple pair of circles and denote it by @xmath78 ( see figure[chain](a ) ) .
similarly , we say that @xmath79 is a simple pair of arcs .
we also say @xmath80 and @xmath81 simple pairs .
let @xmath82 be embedded pairwise disjoint arcs , @xmath83 and @xmath84 the endpoints of @xmath85 , with @xmath86 for @xmath87 , @xmath88 .
therefore , @xmath89 is a simple pair of arcs for each @xmath90 .
let @xmath91 be the corresponding circles .
we say that @xmath92 is a chain of arcs ( see figure[chain](b ) ) .
similarly , @xmath93 is a chain of circles .
we recall that the maximum number of disjoint pairwise nonisotopic nontrivial circles on a connected orientable surface @xmath15 of genus @xmath94 with @xmath2 boundary components is @xmath95 , whenever the euler characteristic @xmath96 of @xmath15 is negative .
[ prop - odim1 ] let @xmath15 be a connected orientable surface of genus @xmath1 with @xmath2 punctures .
suppose that @xmath63 .
then all maximal simplices in @xmath49 have the same dimension @xmath64 .
[ prop - odim2 ]
let @xmath0 be a real projective plane with @xmath97 punctures .
all maximal simplices in @xmath7 have the same dimension @xmath56 .
let @xmath98 .
the complex @xmath7 consists of only two vertices , hence all simplices are of dimension @xmath99 .
let @xmath100 .
we consider a maximal simplex @xmath44 of dimension @xmath101 .
hence , @xmath44 contains @xmath102 elements only one of which is a one - sided vertex . by cutting @xmath0 along this one - sided simple closed curve , we get sphere with @xmath103 punctures . by lemma  [ prop - odim1 ] ,
all maximal simplices in the complex of curves on the sphere with @xmath103 punctures have the same dimension @xmath104 .
it follows that @xmath105 .
[ prop - ndim1 ] let @xmath0 be a connected nonorientable surface of genus @xmath106 with @xmath2 punctures such that the euler characteristic of @xmath0 is negative .
let @xmath107 and @xmath108 if @xmath109 , and @xmath110 and @xmath111 if @xmath112 .
then there is a maximal simplex of dimension @xmath101 in @xmath7 if and only if @xmath113 .    for each integer
@xmath101 satisfying @xmath114 , the maximal simplicies are shown in figure[maxsimplex0 ] and figure[maxsimplex1 ] for closed nonorientable surface of odd genus .
one can draw similar figures for nonorientable surface of odd genus with punctures and nonorientable surface of even genus . moreover , figure[maxsimplex ] helps to see the maximal simplex of dimension @xmath101 between @xmath115 and @xmath116 .
we now prove the converse .
let us consider a maximal simplex @xmath44 of dimension @xmath101 .
hence , @xmath44 contains @xmath117 elements .
choose pairwise disjoint simple closed curves representing elements of @xmath44 , and let @xmath118 denote the surface obtained by cutting @xmath0 along these simple closed curves .
suppose that the number of one - sided simple closed curves is @xmath119 , so that we have @xmath120 two - sided elements in @xmath44 .
the surface @xmath118 is a disjoint union of @xmath21 pair of pants for some positive integer @xmath21 . by the euler characteristic argument
, it can be seen that @xmath121 .
the number of boundary components and punctures on @xmath118 is @xmath122 . by counting the contribution of one - sided curves and two - sided curves to the boundary of @xmath118
, one can easily see that @xmath123    suppose first that @xmath109 . in this case
@xmath124 . from the equality  ( [ eqn3k ] )
, it is easy to see that @xmath119 must be odd and @xmath125 .
suppose now that @xmath112 . in this case
@xmath126 . from the equality  ( [ eqn3k ] )
, it is easy to see that @xmath119 must be even and @xmath127 .
the proposition follows from these .
let @xmath128 be the subgroup of mapping class group of @xmath0 such that @xmath128 is generated by the dehn twist of two - sided nonseperating circles as below shown in figure[surf0-circles ] .
[ prop - centralizer ] let @xmath0 be a connected nonorientable surface of odd genus @xmath1 and @xmath129 .
suppose that @xmath130 is a collection of two - sided nonseparating circles in figure[surf0-circles ] such that @xmath128 is generated by the dehn twist @xmath131 along the circles @xmath132 of @xmath130 .
then the centralizer @xmath133 is trivial .
let @xmath134 \in \mathcal{c}_{\mathcal m_{n}}(\mathcal{t'})$ ] .
unoriented circles will be denoted by @xmath135
. then , @xmath136 for @xmath137 .
let @xmath19 be a one - sided circle such that @xmath20 is an orientable surface .
we observe that @xmath138 . because there is one isotopy class of one - sided circle which does not intersect circles @xmath132 in @xmath130 .
therefore , by cutting @xmath0 along @xmath19 , we get diffeomorphism @xmath139 . moreover , @xmath140 is orientation preserving . to see this ,
assume that @xmath141 is dual to @xmath132 , we know that @xmath140 preserves the orientation of a regular neighborhood of @xmath132 if and only if it preserves the orientation of @xmath141 .
recall that tubular neighborhood of @xmath142 is a torus with one boundary component . since the product of the orientations of @xmath132 and @xmath141 gives the orientation of the torus , @xmath140 preserves the orientation of tubular neighborhood . using this argument for these circles in figure[surf0-circles
] , we deduce that @xmath140 preserves the orientation of the surface @xmath20 .
since @xmath143 in @xcite , @xmath140 is isotopic to identity . since @xmath144 , we obtain that @xmath145 is isotopic to identity on @xmath0 . hence , @xmath146 .
we first show that the natural map @xmath12 is injective .
[ lemma - injec0 ] let @xmath0 be a connected nonorientable surface of genus @xmath1 with @xmath2 punctures .
suppose that @xmath148 .
then the natural map @xmath14 is injective .
suppose that @xmath134\in \mathcal m_n$ ] acts trivially on @xmath7 .
then @xmath149 , @xmath150 , @xmath151 ; i.e. , @xmath152 for all @xmath153 .
first , suppose that @xmath109 is odd .
let @xmath19 be a one - sided circle such that @xmath20 is orientable surface of genus @xmath94 with @xmath103 boundary components .
we denote by @xmath26 the isotopy class of @xmath19 . then @xmath154 .
this implies @xmath155 is isotopic to @xmath19 .
then there exists a diffeomorphism @xmath156 , @xmath157 .
let @xmath158 .
we observe that @xmath159 and @xmath160 .
therefore , we have a diffeomorphism @xmath161 such that @xmath162 . using ivanov s theorem in @xcite ( for @xmath163 and @xmath164 , using theorem1 in @xcite ) ,
we get @xmath165 . since @xmath159
, we see that @xmath166 on @xmath0 . in other words
, it descends to a diffeomorphism of @xmath0 .
so , we have @xmath167 .
since @xmath156 , we get @xmath168 .
hence , the natural map @xmath12 is injective .    now , suppose that @xmath169 .
let @xmath50 be a nonseparating two - sided circle such that @xmath170 is orientable surface of genus @xmath94 with @xmath171 boundary components .
let @xmath28 be the isotopy class of @xmath50
. then @xmath172 .
this implies @xmath173 is isotopic to @xmath50 .
then there exists a diffeomorphism @xmath156 , @xmath174 .
let @xmath158 .
we see that @xmath175 and @xmath160 .
therefore , we have a diffeomorphism @xmath176 such that @xmath162 . using ivanov s theorem in @xcite ( for @xmath163 and @xmath164 , using theorem1 in @xcite ) , we get @xmath165 . since @xmath175 , @xmath166 on @xmath0 .
in other words , it descends to a diffeomorphism of @xmath0 .
therefore , we obtain that @xmath167 . since @xmath156 , we get @xmath168
. hence , the natural map @xmath12 is injective .
throughout this section unless otherwise stated , @xmath0 will denote a real projective plane with @xmath178 punctures .
we need at least @xmath179 punctures for the proof of the lemma  [ lemma - indep ] .    in this section
, we will prove that the natural homomorphism @xmath180 is surjective .
hence it will be an isomorphism .
for this , we first prove that automorphisms of @xmath7 preserve the topological type of the vertices of @xmath7 and that certain pairs of vertices of @xmath7 can be realized in the complex of curves .
we conclude that automorphisms of @xmath7 preserve these pairs of vertices .
next , we show that every automorphism of @xmath7 induces an automorphism of the complex @xmath74 in a natural way .
the automorphisms of @xmath74 are determined by their action on a maximal simplex .
then , we use the relation between maximal simplices of @xmath74 and isotopy classes of ideal triangulations of @xmath0 and in conclusion , we show that an automorphism of @xmath74 induced by some automorphism of @xmath7 agrees with a mapping class .    we remind that if @xmath0 is a projective plane with @xmath181 punctures , then up to diffeomorphism there is only one nonseparating one - sided circle and also there is no nonseparating two - sided circle .
the other circles are @xmath21-separating for some @xmath21 .
[ lemma - iso ] let @xmath181 and @xmath182 .
if @xmath0 is a projective plane with @xmath2 punctures and @xmath15 is a sphere with @xmath21 punctures , then @xmath7 and @xmath49 are not isomorphic .
the complexes @xmath7 and @xmath49 have dimensions @xmath56 and @xmath183 , respectively .
if @xmath184 , since these complexes of curves have different dimensions , @xmath7 and @xmath49 are not isomorphic .
if @xmath185 , we proceed as follows .
let @xmath186 .
then @xmath7 is finite ( see @xcite ) , however , @xmath49 is infinite discrete since @xmath15 is a sphere with @xmath187 punctures .
therefore , they are not isomorphic .    now , assume that @xmath188 and @xmath7 and @xmath49 are not isomorphic when @xmath0 has @xmath189 punctures .
we need to show that these complexes are not isomorphic if @xmath0 has @xmath2 punctures .
assume that there is an isomorphism @xmath190 .
note that for a vertex @xmath191 of @xmath7 , the dual link @xmath192 of @xmath191 is connected if and only if @xmath191 is either one - sided or @xmath75-separating . for a vertex @xmath193 of @xmath49 ,
the dual link @xmath194 of @xmath193 is connected if and only if @xmath193 is @xmath75-separating . from this , it follows that the image of the union of the set of one - sided vertices and the set of @xmath75-separating vertices of @xmath7 is precisely the set of @xmath75-separating vertices of @xmath49 .
let @xmath191 be a @xmath75-separating vertex of @xmath7 .
then @xmath195 takes @xmath191 to a @xmath75-separating vertex @xmath193 of @xmath49 and induces an isomorphism @xmath196 .    clearly , @xmath197 is isomorphic to the complex of curves of a real projective plane with @xmath189 punctures and @xmath198 is isomorphic to the complex of curves of a sphere with @xmath103 punctures . by assumption , these complexes are not isomorphic .
we get a contradiction .
hence , @xmath7 and @xmath49 are not isomorphic .
[ theorem - prese ] the group @xmath199 preserves the topological type of the vertices of @xmath7 .    let @xmath195 be an automorphism of @xmath7 . note that for a vertex @xmath191 of @xmath7 , the dual link @xmath192 of @xmath191 is connected if and only if @xmath191 is either one - sided vertex or @xmath75-separating .
therefore , @xmath195 can not take a one - sided vertex or a @xmath75-separating to a @xmath21-separating vertex with @xmath200 .
assume that @xmath201 is a @xmath75-separating vertex for some one - sided vertex @xmath26 .
let @xmath30 be a circle .
then @xmath20 is disc with @xmath2 punctures .
let @xmath31 .
then @xmath170 is homeomorphic to @xmath177 with @xmath56 punctures and with one boundary component .
clearly , @xmath65 is isomorphic to @xmath202 .
similarly , @xmath203 is isomorphic to @xmath204 . since the complexes @xmath202 and @xmath204 are not isomorphic by lemma  [ lemma - iso ]
, @xmath28 can not be @xmath75-separating .
it also follows from this that @xmath195 maps a @xmath75-separating vertex to a @xmath75-separating vertex .
let @xmath191 be a @xmath21-separating vertex for some @xmath205 .
then @xmath206 is an @xmath207-separating vertex for some @xmath208 .
we must show that @xmath209 .
let @xmath210 and @xmath211 be circles .
@xmath212 and @xmath213 have two connected components .
let @xmath214 and @xmath215 such that @xmath216 and @xmath217 have genera @xmath218 .
the dual link @xmath192 has exactly two connected components .
let us denote these components by @xmath219 and @xmath220 ; @xmath221 .
we name @xmath222 so that the vertices of @xmath223 are the isotopy classes of circles on @xmath216 .
let @xmath222 be the full subcomplex of @xmath7 with vertices @xmath223 .
it follows that @xmath224 .
then @xmath222 is isomorphic to @xmath225 .
clearly , the dimension of @xmath226 is @xmath227 since @xmath228 is a sphere with punctures and the dimension of @xmath229 is @xmath230 .
similarly , we define @xmath231 and @xmath232 so that @xmath232 is isomorphic to @xmath233 . if @xmath234 , then @xmath195 restricts to an isomorphism @xmath235 , which induces an isomorphism @xmath236 .
then either @xmath237 or @xmath238 .
hence , @xmath239 or @xmath240 . however , @xmath240 is not possible by lemma  [ lemma - iso ] .
therefore , @xmath241 .
it follows that their dimensions are equal : @xmath242 .
hence , @xmath209 .
the proof of the theorem is now complete .
[ korkmaz - penta ] let @xmath26 and @xmath28 be two @xmath75-separating vertices of the complex of curves @xmath49 .
then @xmath243 is a simple pair if and only if there exist vertices @xmath244 of @xmath49 satisfying the following conditions .
* @xmath245 is a pentagon in @xmath49 , * @xmath246 and @xmath247 are @xmath75-separating , @xmath248 is @xmath34-separating , and @xmath249 and @xmath250 are @xmath21-separating for @xmath251 , * @xmath252 , @xmath253 , @xmath254 and @xmath255 are codimension - zero simplices , where @xmath256 .
[ theorem - penta ] let @xmath26 and @xmath28 be two @xmath75-separating vertices of @xmath7 . then @xmath243 is a simple pair if and only if there exist vertices @xmath257 of @xmath7 satisfying the following conditions .    *
@xmath245 is a pentagon in @xmath7 , * @xmath246 is @xmath75-separating , @xmath248 is @xmath34-separating , and @xmath249 is @xmath21-separating for @xmath258 , @xmath193 is one - sided , * @xmath259 , @xmath260 , @xmath261 and @xmath262 are codimension - zero simplices , where @xmath263 .
suppose that @xmath264 is a simple pair .
let @xmath30 and @xmath31 so that @xmath265 is a simple pair .
it is clear that any two simple pairs of circles are topologically equivalent , that is ; if @xmath266 is any other simple pair , then there exists a diffeomorphism @xmath267 such that @xmath268 .
so , we can assume that @xmath19 and @xmath50 are the circles illustrated in figure[penta ] .
in the figure , we think of the sphere as the one point compactification of the plane and the cross inside the circle means that we delete open disc and identify the antipodal boundary points so that we get a real projective plane with punctures .
the isotopy classes @xmath269 of the circles @xmath132 and the isotopy class @xmath193 of the one - sided circle @xmath270 satisfy ( i)-(iii ) .
now , we prove the converse .
assume that conditions ( i)-(iii ) above hold .
let @xmath211 be a one - sided circle .
deleting @xmath271 from conditions ( ii ) and ( iii ) , we have codimension - one simplices @xmath252 , @xmath253 , @xmath254 and @xmath255
. however , these simplicies are codimension - zero simplices in the complex @xmath272 . by theorem[korkmaz - penta ] , we see that @xmath243 is a simple pair on the sphere and @xmath213 is a sphere with @xmath273 punctures .
let us say that a puncture is inside @xmath19 if it is one of the two punctures on the disc bounded by @xmath19 .
similarly for @xmath50 .
there are three possibilities the boundary component @xmath274 ( we see it as a puncture from point of view of the curve complex ) resulting from cutting along @xmath270 , as illustrated in figure[pair ] . in the figure
, this boundary component @xmath274 is drawn as an oval .
the case are : @xmath275 it may be outside of both @xmath19 and @xmath50 , @xmath276 it may be inside , say , @xmath19 and outside of @xmath50 , or @xmath277 it may be the unique puncture inside both @xmath19 and @xmath50 .
after the identifying the antipodal boundary points of the oval , in order to get both @xmath19 and @xmath50 as @xmath75-separating circles , we must have the case in figure[pair](i ) .
hence , we see that @xmath243 is a simple pair on @xmath0 as well
.    [ corollary - chain ] let @xmath195 be an automorphism of @xmath7 . if @xmath243 is a simple pair , so is @xmath278 .
similarly , the image of a chain in @xmath7 under @xmath195 is also a chain .
the conditions ( i ) and ( iii ) of theorem[theorem - penta ] are invariant under the automorphisms of @xmath7 . by theorem[theorem - prese ] , the condition ( ii ) is also invariant under the automorphisms of @xmath7 .
corollary follows from these .
we can define an action of the group @xmath279 on punctures of @xmath0 as follows . for @xmath280 and for a puncture @xmath35 of @xmath0
, choose two isotopy classes @xmath281 , @xmath282 of embedded arcs such that @xmath283 is a simple pair with the common endpoint @xmath35 .
define @xmath284 to be the common endpoint of the simple pair @xmath285 .
we note that by the one - to - one correspondence between the set of @xmath75-separating vertices of @xmath7 and the set of those vertices of @xmath74 which join different punctures , @xmath279 has a well - defined action on the latter set .
next two lemmas below can be proved in the same way as lemma3.5 and lemma3.6 in @xcite .
[ lemma - indep ] the definition of the action of @xmath199 on the punctures of @xmath0 is independent of the choice of the simple pair .
[ lemma - punc ] let @xmath286 , @xmath26 be a @xmath21-separating vertex of @xmath7 and @xmath30 .
if @xmath287 denotes the @xmath21-punctured disc component of @xmath20 and @xmath288 denotes @xmath289-punctured @xmath177 with one boundary component , then @xmath290 and @xmath291 .
we define an action of @xmath279 on the vertices of @xmath74 as follows .
let @xmath280 , @xmath281 a vertex of @xmath74 and let @xmath292 . if @xmath76 is joining two different punctures , then @xmath293 is already defined by the correspondence between the @xmath75-separating vertices of @xmath7 and the action of @xmath279 on @xmath7 .
the other words , @xmath293 is the isotopy class of the arc , which is unique up to isotopy , joining two punctures on the twice - punctured disc component of @xmath294 for @xmath295 .
suppose now that the arc @xmath76 joins a puncture @xmath35 to itself and it is a two - sided loop
. then the action is same as in @xcite . to be more precise ,
let @xmath296 and @xmath297 be the boundary components of a regular neighborhood of @xmath298 and @xmath299 and @xmath300 be their isotopy classes , respectively .
since @xmath76 can not be deformed to @xmath35 , at most one of @xmath296 and @xmath297 is trivial .    if @xmath296 is trivial , then @xmath296 bounds either a disc with one puncture or a mbius band . if it bounds a disc with a puncture @xmath36 , then @xmath297 bounds a disc with two punctures @xmath35 and @xmath36 . by theorem
[ theorem - prese ] , @xmath301 is @xmath75-separating .
so for a representative @xmath302 of @xmath301 , one of the components , say @xmath303 of @xmath304 is a twice - punctured disc , with punctures @xmath284 and @xmath305 by lemma  [ lemma - punc ] .
define @xmath293 to be the isotopy class of a nontrivial simple arc on @xmath303 joining @xmath284 to itself .
such an arc is unique up to isotopy by lemma  [ flp ] .    if @xmath296 bounds a mbius band , then @xmath297 bounds a projective plane with one puncture @xmath35 . by theorem  [ theorem - prese ]
, @xmath301 bounds a projective plane with one puncture @xmath284 .
therefore , for a representative @xmath302 of @xmath301 , one of components , say @xmath306 , of @xmath304 is a projective plane with one puncture and one boundary component .
the puncture on @xmath306 is @xmath284 by lemma  [ lemma - punc ] .
there is only one nontrivial two - sided loop ( arc ) joining a puncture @xmath284 to itself by example  [ example - arcs ] .
we define @xmath293 to be the isotopy class of this two - sided loop ( arc ) joining @xmath284 to itself .
if neither of @xmath307 and @xmath308 is trivial , then @xmath296 and @xmath297 bound an annulus with a puncture @xmath35 .
we claim that @xmath309 and @xmath302 also bound a once - punctured annulus with only one puncture @xmath284 .
here , @xmath310 is a representative of @xmath311 for @xmath312 . to see this ,
let @xmath313 be the subsurface of @xmath0 bounded by @xmath314 not containing the puncture @xmath35 .
similarly we define @xmath315 to be the component of @xmath316 not containing @xmath284 .
now , assume that the set of punctures on @xmath317 and @xmath318 are @xmath319 and @xmath320 , respectively .
then @xmath321 for all @xmath322 .
by lemma  [ lemma - punc ] , @xmath323 and @xmath324 . we deduce that since @xmath309 and @xmath302 are disjoint and nonisotopic , they must bound an annulus with only one puncture @xmath284 .
the class @xmath293 is defined to be the isotopy class of the unique arc up to isotopy on this annulus joining @xmath284 to itself .
suppose finally that @xmath76 is a one - sided loop ( arc ) joining a puncture @xmath35 to itself .
let @xmath19 be the boundary component of a regular neighborhood of @xmath325 and let @xmath26 be the isotopy class of @xmath19 .
the circle @xmath19 bounds a mbius band with a puncture @xmath35 . by theorem  [ theorem - prese ]
, @xmath326 bounds a mbius band @xmath327 with a puncture , say @xmath36 .
by lemma  [ lemma - punc ] , @xmath328 . by example
[ example - arcs ] , there is up to isotopy a unique one - sided loop @xmath77 on @xmath327 joining @xmath284 to itself .
we define @xmath293 to be the isotopy class of @xmath77 .
[ lemma - disjoint ] let @xmath195 be an automorphism of @xmath7 and @xmath281 and @xmath282 be two distinct vertices of @xmath74 such that @xmath329
. then @xmath330 .
therefore , every automorphism of @xmath7 yields an automorphism of @xmath74 .
let @xmath76 and @xmath77 be two disjoint representatives of @xmath281 and @xmath282 , respectively .
there are thirteen possible cases as illustrated in figure[puncture ] . in each figure
, we assume that the arc on the left is @xmath76 and the other is @xmath77 .
if @xmath76 ( respectively @xmath77 ) is joining two different punctures , we denote by @xmath26 ( respectively @xmath28 ) the @xmath75-separating vertex of @xmath7 corresponding to @xmath281 ( respectively @xmath282 ) , and by @xmath19 ( respectively @xmath50 ) a representative of @xmath26(respectively @xmath28 ) .    if @xmath76 ( respectively @xmath77 ) is a two - sided arc joining a puncture @xmath35 to itself , we denote by @xmath296 and @xmath297 ( respectively @xmath331 and @xmath332 ) the boundary components of a regular neighborhood of @xmath298 ( respectively @xmath333 ) .
if a regular neighborhood of @xmath298 ( respectively @xmath334 ) is a once - punctured mbius band @xmath327 , we denote the boundary component of @xmath327 by @xmath335 ( respectively @xmath336 ) .
we also denote representatives of @xmath337 , @xmath293 , @xmath338 , @xmath301 , @xmath339 by @xmath340 , @xmath341 , @xmath309 , @xmath302 , @xmath342 , respectively . if , say , @xmath307 is trivial , then @xmath307 bounds either a disc with a puncture or a mbius band . in the first case , we think of @xmath307 as the puncture its bounds . in the second case
, we think of @xmath307 as the core of the mbius band it bounds .
@xmath343 has a well defined action on the isotopy classes of these trivial simple closed curves .
we now examine each of the thirteen cases .
the proof is similar to that of lemma3.7 in @xcite for ( i ) , ( ii ) , ( iv ) , ( vii ) , ( ix ) , ( xi ) and we will not repeat them here .
\(iii ) in this case , @xmath342 bounds a mbius band @xmath327 with a puncture and @xmath344 bounds a disc @xmath345 with two punctures . since @xmath195 is an automorphism , and since @xmath335 and @xmath50 are disjoint and nonisotopic , @xmath342 and @xmath344 are disjoint and nonisotopic .
then @xmath327 does not intersect @xmath345 . since @xmath341 is on @xmath327 and @xmath346
is on @xmath345 , it follows that @xmath341 is disjoint from @xmath346 .
\(v ) the once - punctured annulus bounded by @xmath331 and @xmath332 and the once - punctured mbius band bounded by @xmath335 are disjoint .
since @xmath331 , @xmath332 and @xmath335 are pairwise disjoint , so are @xmath347 , @xmath348 and @xmath342 .
so the annulus @xmath349 bounded by @xmath347 , @xmath348 , and the once - punctured mbius band @xmath327 bounded by @xmath342 are disjoint .
since @xmath341 is on @xmath327 and @xmath346 is on @xmath349 , they are disjoint .
\(vi ) this case follows from corollary[corollary - chain ] .
\(viii ) suppose that @xmath76 and @xmath77 are joining the punctures @xmath35 and @xmath36 .
let @xmath350 be any other puncture and let @xmath351 be an arc from @xmath35 to @xmath350 disjoint from @xmath352 .
let @xmath345 denote a regular neighborhood of @xmath353 , so that @xmath345 is a disc with three punctures .
let @xmath274 denote the unique arc on @xmath345 joining @xmath36 to @xmath350 such that @xmath274 does not intersect @xmath354 . let @xmath355 be the boundary of @xmath345 .
so any two arcs in the set @xmath356 is a simple pair .
thus any two arcs in the set @xmath357 is a simple pair , and @xmath346 , @xmath358 and @xmath359 are contained in the three punctured disk component of @xmath360 .
it follows that any arc disjoint from @xmath358 and @xmath359 is also disjoint from @xmath346 . since @xmath341 is disjoint from @xmath358 and @xmath359 by ( vi ) , it is also disjoint from @xmath346 .
\(x ) let @xmath35 be the common endpoint of two - sided loop @xmath76 and one - sided loop @xmath77 , so that both arcs connect @xmath35 to itself . by theorem  [ theorem - prese ] and lemma  [ lemma - punc ] ,
@xmath309 and @xmath302 are boundaries of an annulus with one puncture @xmath284 . since @xmath346 is disjoint from @xmath302 , @xmath346 is also disjoint from @xmath341 .
\(xii ) assume that @xmath76 is joining @xmath35 to itself such that @xmath76 is a one - sided loop , and @xmath77 is connecting @xmath35 to @xmath36 .
let @xmath361 be the punctures other than @xmath35 and @xmath36 .
choose a chain @xmath362 such that @xmath363 joins @xmath364 to @xmath83 for @xmath365 , where @xmath366 .
we consider a two - sided loop @xmath274 joining @xmath35 to @xmath35 disjoint from @xmath76 , @xmath77 and @xmath367 such that one of the components of the complement of @xmath274 is a mbius band and the other is a disc with punctures @xmath368 . by ( vi ) , @xmath369 is also chain and disjoint from @xmath346 . by ( xi ) , @xmath359 is disjoint from @xmath346 and the chain @xmath369 .
note that one of the components of the complement of @xmath359 contains @xmath346 and the chain @xmath369 .
since @xmath341 is disjoint from @xmath359 by ( x ) , we obtain that @xmath341 is also disjoint from @xmath346 .
\(xiii ) let @xmath35 be the common endpoint one - sided loops @xmath76 and @xmath77 .
the complement of a regular neighborhood of @xmath370 is the union of two discs @xmath371 and @xmath372 with @xmath373 and @xmath21 punctures for some @xmath21 with @xmath374 .
let @xmath375 be a chain on @xmath371 so that each @xmath376 is disjoint from @xmath352 .
let @xmath377 be the punctures on @xmath372 .
we can choose pairwise disjoint arcs @xmath363 connecting @xmath364 and @xmath83 such that each @xmath363 is also disjoint from @xmath378 , where @xmath379 and @xmath380 .
it follows that a regular neighborhood of @xmath381 is a mbius band with @xmath382 punctures .
then a regular neighborhood of @xmath383 is also a mbius band with @xmath382 punctures .
now the surface obtained from @xmath0 by cutting along @xmath384 and @xmath385 is an annulus @xmath349 .
the puncture @xmath284 gives rise to two punctures @xmath386 and @xmath387 on the same component of @xmath388 .
the arcs @xmath341 and @xmath346 live on @xmath349 . in order to get a one - sided arc ,
each must connect @xmath386 to @xmath387 .
up to isotopy there are two arcs from @xmath386 and @xmath387 which are disjoint .
these two arcs must be @xmath341 and @xmath346 .
[ lemma - injective ] the natural map @xmath389 is injective .    from the lemma above ,
every element of @xmath279 yields an element of @xmath390 .
this gives a homomorphism .
now , we need to show that the kernel of this homomorphism is trivial . in other words
, if an automorphism of @xmath7 induces the identity automorphism of @xmath74 , then this automorphism must be the identity .
let @xmath195 be an automorphism of @xmath7 .
suppose that @xmath195 induces the identity automorphism of @xmath74 .
we recall that there is a one - to - one correspondence between @xmath75-separating vertices of @xmath7 and the vertices of @xmath74 joining different punctures .
it follows that @xmath195 is the identity on @xmath75-separating vertices of @xmath7 .
let @xmath26 be a one - sided vertex of @xmath7 and let @xmath391 .
let us denote by @xmath392 the punctures on the connected component of @xmath20 .
let us take any chain @xmath393 disjoint from @xmath19 such that @xmath394 connects @xmath83 to @xmath84 .
let @xmath395 be the isotopy class of @xmath394 . since @xmath396 , we have @xmath397 and hence @xmath398 .
let @xmath399 .
the surface @xmath400 obtained from @xmath0 by cutting along @xmath401 is a projective plane with one boundary component . up to isotopy , there is only one one - sided simple closed curve on @xmath400 .
both @xmath26 and @xmath337 are on @xmath400 .
so , we must have @xmath402 .
let @xmath26 be a @xmath21-separating vertex of @xmath7 with @xmath258 and let @xmath30 .
let us denote by @xmath403 and @xmath404 the punctures on the two connected components of @xmath20 .
let us take any two chains @xmath405 and @xmath406 disjoint from @xmath19 such that @xmath407 connects @xmath83 to @xmath84 and @xmath408 connects @xmath409 to @xmath410 .
let @xmath411 and @xmath412 be the isotopy classes of @xmath407 and @xmath408 , respectively .
let @xmath274 be a one - sided loop joining to @xmath413 to itself disjoint from the other arcs .
let @xmath414 be the isotopy class of @xmath274 . because @xmath415 , @xmath416 and @xmath417 , we have @xmath418 and @xmath419
. then @xmath420 and @xmath421 .
let @xmath422 .
the surface @xmath423 obtained from @xmath0 by cutting along @xmath424 is an annulus .
since , up to isotopy , there is only one two - sided simple closed curve on @xmath423 , we must have @xmath402 .
all maximal simplices in @xmath74 have the same dimension , and there is a well - defined action of the group @xmath390 on maximal simplices .
any realization of a maximal simplex is an ideal triangulation of @xmath0 .
an ideal triangulation is a triangulation of @xmath0 whose vertex set is the set of punctures on @xmath0 in the sense that vertices of a triangle can coincide as can a pair of edges .
note that isotopy class of any ideal triangulation forms a maximal simplex in @xmath74 .
the converse of that is also true .
so , @xmath390 acts on the isotopy classes of ideal triangulations .
we quote the following definition from @xcite .
a good ideal triangle is a set @xmath425 of nontrivial embedded disjoint arcs such that @xmath76 , @xmath77 and @xmath351 connect @xmath426 to @xmath427 , @xmath427 to @xmath428 and @xmath428 to @xmath426 , respectively , for three different punctures @xmath426 , @xmath427 and @xmath428 , and such that @xmath429 bounds a disc in @xmath0 .
the following lemma can be proven similar to the proof corollary in @xcite .
[ lemma - hatcher ] let @xmath0 be a projective plane with at least five punctures . then given any two maximal simplices @xmath44 and @xmath430 of @xmath74 , there exists a sequence of maximal simplices @xmath431 such that @xmath432 is a codimension - one simplex for each @xmath218
.    the lemmas below are analogous to lemma3.9 and lemma3.10 in @xcite .
[ lemma - ideal ] let @xmath433 , @xmath434 be a good ideal triangle and let @xmath281 , @xmath282 , @xmath435 be the isotopy classes of @xmath76 , @xmath77 , @xmath351 , respectively .
then @xmath436 and , hence @xmath437 is a @xmath75-simplex in @xmath74 . if @xmath438 is a realization of the latter simplex , then it is a good ideal triangle on @xmath0 .
[ lemma - agree ] let @xmath439 and @xmath440 be two automorphisms of @xmath74 .
if they agree on a maximal simplex , then they agree on all of @xmath74 .      in section3
, we showed that the natural map @xmath441 is injective .
we show that this natural homomorphism is onto .
let @xmath442 and let @xmath44 be the isotopy class of a good ideal triangulation of @xmath0 .
so , @xmath44 is a maximal simplex of @xmath74 . by lemma[lemma - ideal ] , @xmath443 , the automorphism induced by @xmath195 , takes a good ideal triangle to a good ideal triangle and @xmath439 can be realized by a homeomorphism . also ,
because each edge of a good ideal triangulation is an edge of two good ideal triangles , the homeomorphism of these triangles gives a homeomorphism @xmath444 of @xmath0 . by replacing @xmath444 by a diffeomorphism isotopic to @xmath444 if necessary
, we may assume that @xmath445 is a diffeomorphism .
if @xmath446 $ ] is the isotopy class of @xmath444 , then @xmath439 agrees with @xmath447 the automorphism induced by @xmath444 , on the maximal simplex @xmath44 of @xmath74 . from lemma[lemma - agree ] , they agree on all of @xmath74 . thus , @xmath448 . since the map @xmath449 is injective , we get @xmath450 .
the proof of the theorem for punctured @xmath177 is now complete .
throughout this section unless otherwise stated , @xmath0 will denote a connected nonorientable surface of genus @xmath1 with @xmath2 punctures where @xmath1 is odd and @xmath148 .    in this section ,
we first show that automorphisms of @xmath7 preserve the topological type of the vertices of @xmath7 .
we then prove that every automorphism of @xmath7 is induced by a diffeomorphism of @xmath0 .
we prove this by induction on @xmath94 , where @xmath109 .
let @xmath246 , @xmath248 , ... , @xmath453 be pairwise disjoint one - sided vertices such that each @xmath269 is disjoint from @xmath26 and @xmath28 . consider the link @xmath454 of these vertices .
then @xmath195 restricts to an automorphism @xmath455 .
@xmath454 is isomorphic to the complex of curves of a torus with @xmath456 punctures .
observe that @xmath26 and @xmath28 vertices are contained in @xmath454 and by assumption @xmath451 . since @xmath457 , by theorem1 in @xcite .
@xmath458 is induced by a diffeomorphism . in particular ,
@xmath452 .
[ lemma - sequence ] let @xmath19 be a two - sided nonseparating circle .
if @xmath459 and @xmath270 are two two - sided nonseparating circles , both intersecting @xmath19 transversely once , then there is a sequence @xmath460 of two - sided nonseparating circles such that each @xmath132 intersects the circle @xmath19 transversely once and @xmath132 is disjoint from @xmath461 for each @xmath462 .
the complexes @xmath7 and @xmath465 have dimensions @xmath56 and @xmath466 , respectively .
if @xmath467 , since these complexes of curves have different dimensions , @xmath7 and @xmath465 are not isomorphic .
if @xmath468 , we proceed as follows .
let @xmath186 .
thus @xmath0 is a projective plane with two punctures and @xmath464 is a torus with one puncture . in this case
, @xmath7 is finite ( @xcite ) , however , @xmath465 is infinite discrete since @xmath464 is a torus with one puncture .
therefore , they are not isomorphic .
now , assume that @xmath7 and @xmath465 are not isomorphic when @xmath0 has @xmath189 punctures . since there are @xmath189 punctures on @xmath0 , there are @xmath56 punctures on @xmath464 .
we need to show that the complexes @xmath7 and @xmath465 are not isomorphic if @xmath0 has @xmath2 punctures .
assume the contrary that there is an isomorphism @xmath469 .
for any vertex @xmath191 in @xmath7 , @xmath195 induces an isomorphisms @xmath470 and @xmath471 .
note that for a vertex @xmath191 of @xmath7 , the dual link @xmath192 of @xmath191 is connected if and only if @xmath191 is either one - sided or @xmath75-separating . for a vertex @xmath193 of @xmath465 ,
the dual link @xmath194 of @xmath193 is connected if and only if @xmath193 is either nonseparating or @xmath75-separating vertex . from this
, it follows that the image of the union of the set of one - sided vertices and the set of @xmath75-separating vertices of @xmath7 is precisely the union of the set of nonseparating vertices and the set of @xmath75-separating vertices of @xmath465 .
let @xmath191 be a @xmath75-separating vertex of @xmath7 .
then @xmath472 is either a nonseparating vertex or a @xmath75-separating vertex of @xmath465 .
first , we assume that @xmath472 is a nonseparating vertex @xmath193 of @xmath465 . clearly , @xmath197 is isomorphic to the complex of curves of a projective plane with @xmath189 punctures and @xmath198 is isomorphic to the complex of curves of a sphere with @xmath103 punctures . by lemma  [ lemma - iso ] ,
these complexes are not isomorphic .
therefore , @xmath472 can not be a nonseparating vertex @xmath193 of @xmath465 .
now , we assume that @xmath472 is a @xmath75-separating vertex @xmath473 of @xmath465 .
then @xmath474 is isomorphic to the complex of curves of a torus with @xmath56 punctures . by assumption , these complexes are not isomorphic .
therefore , we get a contradiction . hence , @xmath7 and @xmath465 are not isomorphic .
[ lemma - notisogenel ] let @xmath475 and @xmath476 .
if @xmath0 is a connected nonorientable surface of genus @xmath477 with @xmath2 punctures and @xmath327 is a connected nonorientable surface of genus @xmath478 with @xmath21 punctures , then @xmath7 and @xmath479 are not isomorphic .
the complexes @xmath7 and @xmath479 have dimensions @xmath60 and @xmath480 , respectively .
if @xmath184 , since these complexes of curves have different dimensions , @xmath7 and @xmath479 are not isomorphic .
if @xmath185 , we proceed as follows .
let @xmath481 .
we will prove that @xmath7 and @xmath479 are not isomorphic by induction on @xmath482 .
let @xmath483 . in this case ,
@xmath484 and @xmath485 .
in other words , @xmath0 is a connected closed nonorientable surface of genus @xmath34 and @xmath327 is a klein bottle with @xmath75 punctures . we need to show that the complexes @xmath7 and @xmath479 are not isomorphic .
assume the contrary that there is an isomorphism @xmath486 .
for any vertex @xmath191 in @xmath7 , @xmath195 induces an isomorphisms @xmath487 and @xmath488 .
note that for a vertex @xmath191 of @xmath7 , the dual link @xmath192 of @xmath191 is connected if and only if @xmath191 is either one - sided vertex and let @xmath489 such that @xmath212 is an orientable surface or one - sided vertex such that @xmath212 is a nonorientable surface or nonseparating two - sided vertex . for a vertex @xmath193 of @xmath479 , the dual link @xmath194 of @xmath193 is connected if and only if @xmath193 is either one - sided or nonseparating two - sided or @xmath75-separating vertex .
let @xmath191 be a nonseparating two - sided vertex of @xmath7 .
then @xmath472 is either a one - sided vertex or a nonseparating two - sided vertex or a @xmath75-separating vertex of @xmath479 .
first , we assume that @xmath472 is a one - sided vertex @xmath193 of @xmath479 . obviously , @xmath197 is isomorphic to the complex of curves of a projective plane with @xmath75 punctures and @xmath198 is isomorphic to the complex of curves of a projective plane with @xmath34 punctures .
since these complexes have different dimensions zero and one , respectively , these complexes are not isomorphic .
second , we suppose that @xmath472 is a nonseparating two - sided vertex @xmath473 of @xmath479 . then @xmath474 is isomorphic to the complex of curves of a sphere with @xmath187 punctures . by lemma  [ lemma - iso ] ,
these complexes are not isomorphic .
now , we assume that @xmath472 is a @xmath75-separating vertex @xmath490 of @xmath479 .
clearly , @xmath491 is isomorphic to the complex of curves of a klein bottle with one puncture .
since these complexes have different dimensions , these complexes are not isomorphic .
therefore , we get a contradiction .
hence , the complex of curves of a connected closed nonorientable surface of genus @xmath34 and the complex of curves of a klein bottle with @xmath75 punctures are not isomorphic .
assume that the complexes @xmath7 and @xmath479 are not isomorphic for all integers @xmath164 to @xmath492 .
now , let us prove it for @xmath482 . in this case
, @xmath0 is a connected nonorientable surface of genus @xmath477 with @xmath2 punctures and @xmath327 is a connected nonorientable surface of genus @xmath478 with @xmath171 punctures .
suppose the contrary that there is an isomorphism @xmath486 .
note that for any vertex @xmath26 of @xmath7 , the dual link @xmath66 of @xmath26 is connected if and only if @xmath26 is either one - sided vertex and let @xmath30 such that @xmath20 is an orientable surface or one - sided vertex such that @xmath20 is a nonorientable surface or nonseparating two - sided vertex or @xmath75-separating vertex . for a vertex @xmath28 of @xmath479 ,
the dual link @xmath493 of @xmath28 is connected if and only if @xmath28 is either one - sided vertex or nonseparating two - sided vertex and @xmath494 such that @xmath495 is an orientable surface or nonseparating two - sided vertex such that @xmath495 is a nonorientable surface or @xmath75-separating vertex .
let @xmath26 be a @xmath75-separating vertex of @xmath7 .
first , we assume that @xmath337 is a one - sided vertex @xmath496 of @xmath479 . clearly , @xmath65 is isomorphic to the complex of curves of a connected nonorientable surface of genus @xmath477 with @xmath189 punctures and @xmath497 is isomorphic to the complex of curves of a connected nonorientable surface of genus @xmath498 with @xmath499 punctures .
although these complexes have the same dimensions , these complexes are not isomorphic . because , by proposition  [ prop - ndim1 ] , there is a maximal simplex of dimension @xmath500 in the complex of curves @xmath501 , whereas there is no any maximal simplex of dimension @xmath500 in the complex of curves @xmath502 .
second , we suppose that @xmath337 is a nonseparating two - sided vertex @xmath503 of @xmath479 and let @xmath504 such that @xmath505 is an orientable surface
. then @xmath506 is isomorphic to the complex of curves of a connected orientable surface of genus @xmath507 with @xmath508 punctures . by lemma  [ prop - odim1 ] and proposition  [ prop - ndim1 ] , these complexes @xmath509 and @xmath501 are not isomorphic .
third , we assume that @xmath337 is a nonseparating two - sided vertex @xmath510 of @xmath479 and let @xmath511 such that @xmath512 is a nonorientable surface .
then @xmath513 is isomorphic to the complex of curves of a connected nonorientable surface of genus @xmath514 with @xmath508 punctures . since these complexes @xmath515 and @xmath501 have different dimensions @xmath516 and @xmath517 , respectively , these complexes are not isomorphic
now , we suppose that @xmath337 is a @xmath75-separating vertex @xmath518 of @xmath479 . then @xmath519 is isomorphic to the complex of curves of a connected nonorientable surface of genus @xmath478 with @xmath103 punctures . by assumption of the induction , these complexes @xmath520 and @xmath501 are not isomorphic
therefore , we get a contradiction . hence , @xmath7 and @xmath479 are not isomorphic .
[ lemma - take ] let @xmath0 be a connected nonorientable surface of genus @xmath521 @xmath522 with @xmath476 boundary components .
the group @xmath199 preserves the topological type of the vertices of @xmath7 .
let @xmath195 be an automorphism of @xmath7 .
note that for a vertex @xmath191 of @xmath7 , the dual link @xmath192 of @xmath191 is connected if and only if @xmath191 is either one - sided vertex or nonseparating two - sided vertex or @xmath75-separating . therefore , @xmath195 can not take a one - sided vertex or a nonseparating two - sided vertex or a @xmath75-separating to a @xmath21-separating vertex with @xmath523 or separating vertex .
let @xmath26 be a one - sided vertex of @xmath7 and let @xmath391 such that @xmath20 is an orientable surface . clearly , @xmath65 is isomorphic to the complex of curves of an orientable surface of genus @xmath94 with @xmath103 boundary components @xmath524 .
let @xmath28 be a one - sided vertex and let @xmath525 such that @xmath170 is a nonorientable surface of genus @xmath478 with @xmath103 boundary components . obviously , @xmath203 is isomorphic to the complex of curves of a nonorientable surface of genus @xmath478 with @xmath103 boundary components @xmath526 .
let @xmath191 be a nonseparating two - sided vertex of @xmath7 and @xmath197 is isomorphic to the complex of curves of a nonorientable surface of genus @xmath498 with @xmath171 boundary components @xmath527 .
let @xmath193 be a @xmath75-separating vertex of @xmath7 and @xmath198 is isomorphic to the complex of curves of a nonorientable surface of genus @xmath477 with @xmath189 boundary components @xmath528 .
since there are maximal simplices of different dimensions in the complexes of curves @xmath529 , @xmath530 and @xmath501 , these complexes are not isomorphic to @xmath531
. moreover , the dimensions of @xmath529 , @xmath530 and @xmath501 are @xmath517 , @xmath516 and @xmath517 , respectively .
therefore , the complex of curves @xmath530 is not isomorphic to @xmath529 and @xmath501
. furthermore , although these complexes of curves @xmath529 and @xmath501 have the same dimensions , by lemma  [ lemma - notisogenel ] , these complexes are not isomorphic .
let @xmath490 be a separating vertex and let @xmath532 be circle .
@xmath533 has two connected components .
let @xmath534 such that @xmath228 and @xmath535 are nonorientable surfaces .
more precisely , @xmath228 is a nonorientable surface of genus @xmath207 for some @xmath536 with @xmath382 punctures for some @xmath537 denoted by @xmath538 , then @xmath535 is a nonorientable surface of genus @xmath539 with @xmath540 punctures denoted by @xmath541 .
the dual link @xmath542 has exactly two connected components .
let us denote these components by @xmath543 and @xmath544 ; @xmath545 .
we name @xmath546 so that the vertices of @xmath547 are the isotopy classes of circles on @xmath216 .
let @xmath546 be the full subcomplex of @xmath7 with vertices @xmath547 .
it follows that @xmath548
. then @xmath546 is isomorphic to @xmath225 .
let @xmath473 be a separating vertex and @xmath549 be circle .
similarly , we define @xmath550 and @xmath551 so that @xmath551 is isomorphic to @xmath233 . in other words , @xmath552 is isomorphic to the complex of curves of an orientable surface of genus @xmath207 for some @xmath553 with @xmath382 punctures for some @xmath554 denoted by @xmath555 , then @xmath556 is isomorphic to the complex of curves of a nonorientable surface of genus @xmath557 with @xmath540 denoted by @xmath558 .
since @xmath552 is isomorphic to @xmath559 and all maximal simplices in @xmath559 have the same dimension , @xmath560 is not isomorphic to @xmath542 .
hence , @xmath490 can not be mapped @xmath473 under @xmath195 .
[ remark - take ] in the above proof , in case of @xmath484 and @xmath476 , one can see that the complex of curves of a torus with @xmath103 boundary components and the complex of curves of a projective plane with @xmath171 boundary components are not isomorphic by lemma  [ lemma - notiso ] .
[ thm - onto ] let @xmath0 be a connected nonorientable surface of odd genus @xmath109 with @xmath2 punctures .
suppose that @xmath148
. then @xmath195 agrees with a map @xmath561 which is induced by a diffeomorphism @xmath562 .
we assume that every automorphism @xmath563 is induced by a diffeomorphism of @xmath0 if @xmath0 is of odd genus @xmath564 .
now , we show that @xmath195 is induced by a diffeomorphism of @xmath0 for genus @xmath109 .
let @xmath459 be any two - sided nonseparating circle and @xmath191 denote its isotopy class .
by lemma  [ lemma - take ] , @xmath195 takes @xmath191 to a two - sided nonseparating vertex , say @xmath435 , and let @xmath565 .
there is a diffeomorphism @xmath145 such that @xmath566 .
then @xmath567 where @xmath568 the automorphism induced by @xmath145 . by replacing @xmath195 by @xmath569 , we can assume that @xmath570 .
@xmath195 restricts to an automorphism @xmath571 .
since @xmath197 is isomorphic to the complex of curves @xmath572 of a nonorientable surface @xmath212 of genus @xmath498 with @xmath171 boundary components , we get an automorphism @xmath573 of the complex of curves of a nonorientable surface of genus @xmath498 with @xmath171 boundary components . by induction , we can assume that @xmath573 is equal to a map @xmath574 which is induced by a diffeomorphism @xmath575 . by gluing two boundary components of @xmath212 obtained @xmath459 in a convenient way @xmath576 induces a diffeomorphism @xmath577 .
it follows that @xmath578 .
therefore , @xmath195 agrees with @xmath579 on every element of @xmath197 .
the composition @xmath580 with @xmath195 , @xmath581 fixes @xmath191 and every element of @xmath197 .
we may replace @xmath582 by @xmath195 .
now , @xmath195 is an automorphism of @xmath7 such that it is identity on @xmath583 .
let @xmath270 be a two - sided nonseparating circle dual to @xmath459 .
in other words , @xmath270 intersects @xmath459 transversely once and there is no other intersection .
let @xmath464 be a regular neighborhood of @xmath584 .
the surface @xmath464 is a torus with one boundary component .
let @xmath355 be the boundary component of @xmath464 .
let @xmath193 and @xmath503 denote the isotopy class of @xmath270 and @xmath355 , respectively . obviously , since @xmath585 , @xmath586 .
also , @xmath570 . since @xmath587 , @xmath588 .
since @xmath589 by lemma  [ lemma - intersect ] , there exists an integer @xmath2 such that @xmath590 .
let @xmath591 be the set of isotopy classes of two - sided nonseparating circles which are dual to @xmath459 on @xmath0 .
let @xmath592 be a two - sided nonseparating circle which is disjoint from @xmath270 and dual to @xmath459 .
similarly , there exists an integer @xmath593 such that @xmath594 , where @xmath595 is the isotopy class of @xmath592 . since @xmath596 , @xmath597 .
if @xmath598 , then @xmath599 since both @xmath270 and @xmath592 are dual to @xmath459 .
thus , we have @xmath600 .
this is a contradiction .
therefore , we must have @xmath601 .
now for any two - sided nonseparating circle @xmath482 which is dual to @xmath459 , by lemma  [ lemma - sequence ] we can find a sequence of two - sided nonseparating circles dual to @xmath459 , connecting @xmath270 to @xmath482 such that each consecutive pair is disjoint .
it follows that @xmath195 agrees with @xmath602 on every element of @xmath591 .
therefore , @xmath195 agrees with @xmath602 on @xmath191 and on @xmath603 .
let @xmath604 . in the following , we will denote @xmath605 simply by @xmath606 .
if @xmath607 and @xmath608 are any other two - sided nonseparating circles dual to each other , then there exists a diffeomorphism @xmath609 mapping @xmath610 to @xmath611 , where @xmath72 and @xmath73 are the circles in figure[sur - circles ] . the set @xmath612 can be completed to a set @xmath130 of two - sided circles except @xmath19 as shown in figure[sur - circles ] .
let @xmath269 be the isotopy class of @xmath132 .
we orient tubular neighborhoods of elements of @xmath130 in such way that these orientation agree with an orientation of a regular neighborhood @xmath327 of @xmath613 .
we note that @xmath327 is an orientable surface .
the isotopy classes of dehn twists about elements of @xmath130 generate a subgroup @xmath128 . as shown above , the restriction of @xmath195 to @xmath614 agrees with the induced map @xmath615 of a diffeomorphism @xmath616 .    any circle in @xmath130 is either disjoint from @xmath72 or is dual to @xmath72 , @xmath617 for all @xmath218 .
similarly , @xmath618 for all @xmath218 .
hence , @xmath619 . in particular ,
@xmath620 is isotopic to @xmath132 and @xmath621 where @xmath622 .
let us denote @xmath623 by @xmath624 .
for a circle @xmath137 dual to @xmath72 , we have the braid relation @xmath625 by conjugating with @xmath624 , we get @xmath626 but this relation holds if and only if @xmath627 and @xmath628 has the same sign .
now if @xmath132 is dual to @xmath72 and if @xmath141 is dual to @xmath132 , by similar reasoning we get @xmath629 and @xmath627 have the same sign .
it follows that all @xmath628 have the same sign , as we can pass from @xmath72 to any circle in @xmath130 through dual circles .
suppose that @xmath630 , so that @xmath631 for all @xmath137 .
thus @xmath624 reverses the orientation of tubular neighborhoods of @xmath132 .
let @xmath632 be the reflection in @xmath633plane as shown in figure[sur - circles ] .
the reflection @xmath632 leaves each @xmath137 invariant , but reverses the orientations of tubular neighborhoods of @xmath132 . here
@xmath634 for all @xmath218 .
thus @xmath635 in other words , @xmath636 .
since @xmath637 is trivial by proposition  [ prop - centralizer ] , we get that @xmath638 on the other hand , there exists a two - sided nonseparating circle @xmath19 as shown in figure[sur - circles ] such that the class @xmath26 of @xmath19 is contained in @xmath639 and @xmath640 .
however , this is a contradiction since @xmath641 .
let @xmath270 be any two - sided nonseparating circle and @xmath193 denote the isotopy class of @xmath270 on @xmath0 .
since @xmath0 is a nonorientable surface of genus @xmath646 , @xmath72 and @xmath270 are dually equivalent by theorem3.1 of @xcite . in other words , there exists a sequence of two - sided nonseparating circles @xmath647 on @xmath0 such that @xmath648 , @xmath649 and the circles @xmath650 and @xmath651 are dual . using this sequence
, we obtain that @xmath652 . indeed , for any two - sided nonseparating circle @xmath270 , @xmath653 agrees with @xmath195 . furthermore , since the isotopy classes of every separating circle and of any one - sided circle are in @xmath497 where @xmath496 is the isotopy class of some two - sided nonseparating circle @xmath482 , we obtain that @xmath653 agrees with @xmath195 on @xmath7 .
[ [ proof - of - theoremtheorem - main1-for - nonorientable - surface - of - odd - genus ] ] proof of theorem[theorem - main1 ] for nonorientable surface of odd genus ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^    it is shown that @xmath12 is injective in section3 .
theorem[thm - onto ] implies that automorphisms of @xmath7 are induced by diffeomorphisms of @xmath0 .
hence , this completes the proof theorem[theorem - main1 ] .
harvey , w. j. , boundary structure of the modular group , in : i. kra and b. maskit , eds .
, riemann surfaces and related topics , proc .
1978 stony brook conference , ann . of math .
97 , 245 - 251 , princeton university press , princeton , nj , 1981 .