in  @xcite barot and marsh provided presentations of finite weyl groups in terms of arbitrary quivers or diagrams of finite type . in brief , the construction works as follows : one needs to consider the underlying unoriented labeled graph of a quiver ( or diagram ) as a coxeter diagram of a ( usually infinite ) coxeter group , and then impose some additional relations on this group that can be read off from the quiver / diagram .
it is proved in  @xcite that the resulting group depends on the mutation class of a quiver / diagram only , see section  [ group ] for the details .
the goal of this paper is to use these presentations to construct hyperbolic manifolds , in particular ones of small volume .
the most common way to construct hyperbolic manifolds is by considering finite index torsion - free subgroups of cofinite hyperbolic reflection groups ( see e.g.  @xcite ) .
the approach used in the present paper is completely different : we start with a _ symmetry group _ of a manifold , more precisely , we are looking for a manifold whose symmetry group contains a given finite weyl group . in  @xcite everitt and maclachlan
describe an algebraic framework for this approach , and in  @xcite kolpakov and slavich explicitly construct an arithmetic hyperbolic @xmath0-manifold with given finite isometry group .
we use quite different techniques based on _ mutations of quivers and diagrams _ defined by fomin and zelevinsky in the context of cluster algebras .
this technique allows us to obtain manifolds having large symmetry groups and , at the same time , relatively small volume , i.e. two properties of quite opposite nature .
mutation classes of quivers and diagrams of finite type are indexed by finite weyl groups .
our interpretation of the result of  @xcite is that , starting from a quiver or diagram @xmath1 of finite type , one can present the corresponding finite weyl group @xmath2 as a quotient of some ( usually infinite ) coxeter group @xmath3 by the normal closure @xmath4 of additional relations .
if this coxeter group @xmath3 is hyperbolic , then the weyl group @xmath2 acts properly on the quotient of the hyperbolic space by the group @xmath4 .
_ a  priori _
, this quotient may have singular points .
however , this is not the case .
the group @xmath4 is torsion - free .    as a corollary ,
if the coxeter group @xmath3 is hyperbolic and cofinite , we obtain a hyperbolic manifold of finite volume , and the symmetry group of this manifold contains @xmath2 .
we list the manifolds that we found in this way in tables  [ hyp ] and  [ hyp - n ] . in dimension
@xmath0 we construct a manifold with euler characteristic @xmath5 , i.e. it has the second minimal volume amongst all @xmath0-dimensional manifolds .
the symmetry group of this manifold contains the group @xmath6 as a subgroup .
we note that , since this manifold has small volume and large symmetry group at the same time , it does not appear in  @xcite .    in  @xcite we generalized the results of  @xcite to quivers and diagrams of affine type and certain other mutation - finite quivers and diagrams . in particular , every affine weyl group also admits presentations of a similar type with slightly more complicated groups @xmath4 . using this result , in section  [ aff ] we provide the following theorem .
the manifold property holds for quivers and diagrams of affine type .    for quivers and diagrams originating from unpunctured surfaces or orbifolds
@xcite , as well as for exceptional mutation - finite quivers and diagrams  @xcite , the construction in  @xcite also provides a group assigned to a mutation class .
in contrast to the finite and affine cases , this group is not a coxeter group , however , it also has presentations as a quotient of a coxeter group @xmath7 ( with more types of generators for @xmath8 required ) .    using these presentations , for every quiver or diagram @xmath1 of all types discussed above
, we construct a cw - complex ( actually being a quotient of the davis complex of a coxeter group @xmath3 ) with a proper action of the group @xmath9 , where the group @xmath10 depends on the mutation class of @xmath1 only . we also define mutations of these complexes , the mutations agree with quiver ( or diagram ) mutations .
all the manifolds discussed above are partial cases of these complexes .
the paper is organized as follows .
section  [ background ] contains basic definitions and some essential facts on coxeter groups and quiver mutations . in section  [ group ]
we recall the construction from  @xcite assigning to a quiver of finite type a presentation of the corresponding weyl group . for simplicity , in sections  [ group][davis ] we restrict ourselves to simply - laced weyl groups ( and thus , we work with quivers rather than diagrams ) , we then consider the general case in section  [ sec diagr ] . in section  [ various actions ]
we describe the construction highlighted above of various actions of a given finite weyl group . in section  [ examples ]
we first treat in full details our construction applied to the group @xmath11 ; then we list other geometric manifolds with weyl group actions resulted from the algorithm described in section  [ various actions ] .
in particular , table  [ hyp ] contains the list of hyperbolic manifolds we obtain . in section  [ davis ] , after defining the davis complex of a coxeter group , we prove the manifold property .
we also define mutations of quotients of davis complexes agreeing with quiver mutations .
section  [ sec diagr ] is devoted to generalizations of the results to all finite weyl groups .
finally , in section  [ inf ] we describe how the construction generalizes to affine weyl groups and some other infinite groups related to quivers and diagrams of finite mutation type .
we briefly remind some basic properties of coxeter groups . for the details see  @xcite .      a group @xmath2
is called a ( finitely generated ) _ coxeter group _ if it has a presentation of the form @xmath12 where @xmath13 and @xmath14 for all @xmath15 . here
@xmath16 means that there is no relation on @xmath17 . a pair @xmath18 of a coxeter group @xmath2 and its set of generators @xmath19
is called a _
coxeter system_. the cardinality @xmath20 of @xmath21 is a _
rank _ of the coxeter system .
an element of @xmath2 is said to be a _ reflection _ if it is conjugated in @xmath2 to an element of @xmath21 .
a coxeter system @xmath22 may be depicted by its _ coxeter diagram _ :    * the vertices of the coxeter diagram correspond to the generators @xmath23 ; * @xmath24-th vertex is connected to @xmath25-th by an edge labeled @xmath26 with the following exceptions : * * if @xmath27 then there is no edge connecting @xmath24 to @xmath25 ; * * if @xmath28 then the label 3 is usually omitted ; * * if @xmath16 the edge is drawn bold .
given a coxeter system @xmath22 , one can write a symmetric @xmath29 matrix @xmath30 as follows : @xmath31    an @xmath29 matrix @xmath32 is _ decomposable _ if there is a non - trivial partition of the index set as @xmath33 , so that @xmath34 whenever @xmath35 , @xmath36 .
a matrix is _
indecomposable _ if it is not decomposable .      for some coxeter systems
@xmath22 the group @xmath2 has a natural discrete action by reflections on a space of constant curvature ( here by an _
action by reflections _
we mean an action where the reflections of @xmath2 are represented by orthogonal reflections with respect to hyperplanes ) .
more precisely , there are three cases of interest :    * @xmath37 is positive definite : then @xmath2 is a finite group and @xmath2 acts on a sphere @xmath38 ; * @xmath37 is indecomposable and has signature @xmath39 : then @xmath2 acts cocompactly on euclidean space @xmath40 ; * @xmath37 is indecomposable and has signature @xmath41 : then @xmath2 acts on an @xmath42-dimensional hyperbolic space @xmath43 .
see  @xcite for the details .
a fundamental domain of such an action is a connected component of the complement to the set of all hyperplanes fixed pointwise by reflections of the group .
this fundamental domain is a polytope ( which may be of infinite volume ) with facets indexed by generators @xmath44 and all dihedral angles equal to @xmath45 ( if @xmath16 the corresponding facets do not intersect ) . such polytopes are called _
coxeter polytopes_.    [ root ] if a coxeter group @xmath2 is a finite or affine weyl group , then the outer normal vectors to the facets of the fundamental polytope can be identified with the simple roots of the corresponding root system .
in the three cases listed above the group @xmath2 is called _ geometric _ ( note that our class of geometric coxeter groups is wider than in  ( * ? ? ?
* chapter 6 ) ) .
in fact , every coxeter group acts properly cocompactly by reflections on some specially constructed space  @xcite , we will discuss this action in section  [ davis ] .
let @xmath46 be a quiver ( i.e. a finite oriented multi - graph ) containing no loops and no 2-cycles .
if there are @xmath47 arrows pointing from @xmath24-th vertex to the @xmath25-th , then we draw one arrow with a weight @xmath48 .      for every vertex @xmath49 of the quiver
@xmath46 one can define an involutive operation @xmath50 called _ mutation of @xmath46 in direction @xmath49_. this operation produces a new quiver denoted by @xmath51 which can be obtained from @xmath46 in the following way ( see  @xcite ) :    * orientations of all arrows incident to the vertex @xmath49 are reversed ; * for every pair of vertices @xmath52 such that @xmath46 contains arrows directed from @xmath24 to @xmath49 and from @xmath49 to @xmath25 the weight of the arrow joining @xmath24 and @xmath25 changes as described in figure  [ quivermut ] .     + @xmath53    given a quiver @xmath46 , its _ mutation class _ is a set of all quivers obtained from @xmath46 by all sequences of iterated mutations . all quivers from one mutation class are called _ mutation - equivalent_.    quivers without loops and 2-cycles are in one - to - one correspondence with integer skew - symmetric matrices @xmath54 , where @xmath55 is the number of arrows from @xmath24-th vertex to @xmath25-th one . in terms of the matrix @xmath56 the mutation @xmath50 can be written as @xmath57 , where @xmath58 this transformation is called a _
matrix mutation_.    the procedure of matrix mutation is well - defined for more general case of _ skew - symmetrizable _ integer matrices .
matrix mutations for non - skew - symmetric matrices correspond to _ diagram mutations _ ( see section  [ sec diagr ] for the definitions and generalizations of the results to the case of diagram mutations ) .
a quiver is of _ finite type _ if it is mutation - equivalent to an orientation of a simply - laced dynkin diagram .
all orientations of a given dynkin diagram are mutation - equivalent , so any quiver of finite type is of one of the following mutation types : @xmath59 , @xmath60 , @xmath61 , @xmath62 , @xmath63 .
a quiver @xmath46 is of _ finite mutation type _ ( or _ mutation - finite _ ) if there are finitely many quivers mutation - equivalent to @xmath46 .
it is shown in  @xcite that each quiver of finite mutation type is either of order @xmath5 , or a quiver arising from a triangulated surface ( see  @xcite for details ) , or mutation - equivalent to one of the 11 exceptional quivers .    in this paper
we deal with quivers of finite mutation type only .
in  @xcite barot and marsh show that for each quiver of finite type there is a way to explicitly construct the corresponding weyl group .
let @xmath46 be an orientation of a simply - laced dynkin diagram with @xmath20 nodes , let @xmath2 be the corresponding finite coxeter group , and @xmath64 be any quiver mutation - equivalent to @xmath46 . denote by @xmath65 the group generated by @xmath20 generators @xmath23 with the following relations :    * @xmath66 for all @xmath67 ; * @xmath68 for all @xmath69 , where @xmath70 * * ( cycle relations ) * for every chordless oriented cycle @xmath71 given by @xmath72 we take the relation @xmath73    note that for a cycle of length @xmath74 we have a choice of @xmath74 relations of type ( r3 ) , we take any one of them .    it is shown in  ( * ? ? ?
* theorem a ) that the group @xmath65 does not depend on the choice of a quiver in the mutation class of @xmath46 . in particular , it is isomorphic to the initial coxeter group @xmath2 .
the results of  @xcite are proved in more general settings , we come to the general case in section  [ sec diagr ] .      generators of @xmath65 satisfying relations ( r1)(r3 ) can be expressed in terms of standard generators of @xmath2 .
it is shown in  @xcite that these generators of @xmath65 can be found inductively in the following way :    * for @xmath75 the generators @xmath76 are standard coxeter generators ( indeed , dynkin diagrams contain no cycles , so , we will get no cycle relations and obtain standard presentation of the coxeter group ) .
* let @xmath76 be the generators of @xmath65 , and let @xmath77 .
then the generators @xmath78 of @xmath79 satisfying relations ( r1)(r3 ) are @xmath80
as before , let @xmath46 be an orientation of a dynkin diagram , and let @xmath2 be the corresponding weyl group . choose any quiver @xmath64 mutation - equivalent to @xmath46 , and denote by @xmath81 the group
defined by relations of type ( r1 ) and ( r2 ) only ( note that @xmath81 is a coxeter group ) .
let @xmath82 be a collection of all cycle relations for @xmath64 ( we take one relation for each chordless oriented cycle ) .
denote by @xmath83 the normal closure of the union of the elements @xmath82 in @xmath81 . by the definition of @xmath65 we have @xmath84 .
theorem  a from  @xcite says that @xmath65 is isomorphic to @xmath85 which , in particular , means that @xmath83 has finite index in @xmath81 .
the group @xmath81 depends on the quiver @xmath64 chosen in the mutation class of @xmath46 .
moreover , depending on the choice of @xmath64 , the group @xmath81 may be finite or infinite . as a consequence , it may act naturally by reflections on different spaces ( sphere , euclidean space , hyperbolic space or , in general , the davis complex of the group @xmath81 , see section  [ davis ] ) . since @xmath86 , this results in actions of the initial coxeter group @xmath2 on different spaces .    in section  [ davis ]
we show that the group @xmath83 is torsion - free ( we call this _ manifold property _ ) .
in particular , this implies that if the coxeter group @xmath81 acts properly on a space @xmath87 or @xmath88 by isometries with a fundamental domain of finite volume , then the quotient @xmath89 is a finite volume manifold with a symmetry group containing @xmath2 . in the next section
we show examples of the construction of hyperbolic manifolds in this way , as well as of actions of weyl groups of type @xmath90 on flat tori .
we now present the first ( and the easiest ) example showing how different actions of the same coxeter group may by produced via mutations of quivers .
we start with the quiver @xmath46 of type @xmath11 ( see fig .  [ stereo](a),(b ) ) .
the corresponding dynkin diagram of type @xmath11 determines a finite coxeter group @xmath2 acting on the @xmath5-dimensional sphere by reflections : @xmath91 the fundamental domain of this action is a spherical triangle with angles @xmath92 , see fig .
[ stereo](c ) for the stereographic projection image of the action and the fundamental domain .      applying the mutation @xmath93 to the quiver
@xmath46 , we obtain a quiver @xmath64 ( see fig .  [ plane](a ) ) .
the group @xmath94 is the group generated by reflections in the sides of a regular triangle in the euclidean plane ( the corresponding dynkin diagram is of type @xmath95 ) , see fig .
[ plane](b ) .
note that the plane is tessellated by infinitely many copies of the fundamental domain , each copy @xmath96 labeled by an element @xmath97 . to see the action of the initial group @xmath98 we need to take a quotient by the cycle relation @xmath99 which means that in the tessellated plane we identify @xmath100 with the fundamental triangle labeled by the @xmath101 .
now , let us see what the transformation @xmath102 means geometrically .
the element @xmath103 acts on the plane as the reflection in the side @xmath104 of @xmath100 , @xmath105 is the reflection with respect to the line @xmath106 parallel to @xmath104 and passing through the vertex of @xmath100 not contained in @xmath104 . denote by @xmath74 the distance between @xmath104 and @xmath106 .
then the transformation @xmath107 is a translation of the plane by the distance @xmath108 in the direction orthogonal to @xmath104 .
hence , the element @xmath102 is a translation by @xmath109 in the direction orthogonal to @xmath104 .    clearly , @xmath110 in @xmath2 , and @xmath111 in @xmath2 .
this implies that we also need to take a quotient of the plane by the actions of the elements @xmath112 and @xmath113 , i.e. by the translations by @xmath109 in directions orthogonal to the lines @xmath114 and @xmath115 .
the quotient of the plane by the group @xmath83 generated by three translations @xmath116 and @xmath117 is a flat torus , see fig .
[ plane](c ) .
thus , we obtain an action of the quotient group @xmath98 on the torus : the fundamental domain of this action is a regular triangle , @xmath118 copies of this triangle tile the torus ( as @xmath118 copies tile the hexagon ) .
[ non - reflection ] the action described above is not an action by ( topological ) reflections : the fixed sets of the generators @xmath119 are connected , so they do not divide the torus into two connected components ( cf .
* chapter 10 ) ) .
now , we will show how the action of @xmath11 on the torus is related to the initial action on the sphere .
recall from section  [ pres ] that the presentation for @xmath65 is obtained from the presentation for @xmath120 by the following change of generators @xmath121 in the above sections we considered the action of the @xmath122-generators on the sphere and of the @xmath123-generators on the plane and the torus .
however , the @xmath123-generators may be also considered directly on the sphere .
namely , let @xmath124 be the reflections with respect to the corresponding sides @xmath125 of the fundamental spherical triangle @xmath126 , see fig .
[ cover](a ) .
then the elements @xmath127 and @xmath128 are reflections with respect to @xmath114 and @xmath115 respectively .
the element @xmath103 is also a reflection as it is conjugate to the reflection @xmath129 ; more precisely , @xmath103 is a reflection with respect to the ( spherical ) line @xmath130 ( see fig .  [ cover](b ) ) .
consider the triangle @xmath131 bounded by @xmath132 , and @xmath133 ( there are 8 possibilities to choose such a triangle , see remark  [ rem choice ] for the justification of our choice ) .    in contrast to the triangle @xmath126 bounded by @xmath125 ,
the triangle @xmath131 is not a fundamental triangle for the action : @xmath131 has angles @xmath134 , and the group generated by @xmath127 and @xmath128 has order 6 , but the whole neighborhood of the vertex @xmath135 is tiled by @xmath136 copies of @xmath131 only .    to resolve this inconsistency we consider a @xmath5-sheet covering of the sphere branched in @xmath137 and in all @xmath2-images of @xmath137 ( the four bold points in fig .
[ cover](b ) ) .
clearly , the covering space is a torus ( moreover , one can easily see that the covering is given by weierstrass @xmath138-function ) .
it is also not difficult to see that the action of @xmath11 on this covering torus is exactly the same as its action on the torus in section  [ torus ] : the covering torus consists of @xmath118 triangles , and every vertex is incident to exactly six triangles .    [ rem choice ] consider the outer normals @xmath139 to the sides of @xmath126 ( cf .
remark  [ root ] ) . to get the outer normals @xmath140 to the sides of @xmath131 we use the following rule : @xmath141 here
@xmath142 is the vector obtained from @xmath143 by the reflection @xmath144 .
now we will obtain the action of @xmath11 on the sphere from its action on the torus .
let @xmath131 be the fundamental triangle for the action of @xmath11 on the flat torus ( see fig .
[ back](a ) ) .
let @xmath145 be the canonical projection from euclidean plane to the torus ( corresponding to the action of @xmath83 on the plane ) , denote by @xmath146 any preimage of @xmath131 under @xmath145 .
the generators @xmath147 can be thought as reflections with respect to the sides of @xmath146 .
the generators @xmath23 can be obtained from the generators @xmath119 as follows : @xmath148 these are reflections with respect to the sides of the dashed domain @xmath149 ( see fig .
[ back](b ) ) , where @xmath149 is an unbounded strip on the euclidean plane .
we now glue a manifold from @xmath118 copies of the strip ( according to the group action , as we glued @xmath118 triangles above ) , denote by @xmath150 the space obtained via this gluing .
note that due to the cycle relations four strips attached one to another along the `` long '' ( unbounded ) sides will result in an ( unbounded ) cylinder .
the manifold @xmath150 consists of exactly @xmath151 cylinders .
compactifying @xmath150 by adding a limit point at the end of each of the @xmath152 cylinders , we get exactly the tiling shown in fig .
[ stereo](c ) .
the next series of examples is provided by the finite coxeter group @xmath153 , @xmath154 ( see fig .
[ dn](a ) for the dynkin diagram ) , which naturally acts on @xmath42-dimensional sphere ( for @xmath155 the dynkin diagram and weyl group @xmath156 coincides with @xmath11 , so the example from the previous section can be considered as a partial case ) .
it is easy to check that the quiver @xmath46 of type @xmath60 ( see fig .  [ dn](b ) ) is mutation - equivalent to the oriented cycle @xmath64 shown in fig .
[ dn](c ) ( in contrast to @xmath11-example , one needs more than one mutation for this ) .
note that the group @xmath81 ( i.e. coxeter group without cycle relations ) is the affine coxeter group @xmath157 , thus , a group acting on the euclidean space @xmath40 .
a fundamental domain of this action is a coxeter simplex @xmath158 with the coxeter diagram @xmath157 .
the generators for this action are the reflections @xmath159 with respect to the facets @xmath160 of this fundamental simplex .
our next aim is to take a quotient by the cycle relation @xmath161 the element @xmath162 is a conjugate of @xmath163 , so it is a reflection with respect to the hyperplane @xmath164 parallel to @xmath165 and passing though the vertex of @xmath158 opposite to @xmath165 .
if @xmath74 is the distance between the hyperplanes @xmath166 and @xmath165 , then the element @xmath167 is a translation by @xmath108 in the direction orthogonal to @xmath165 , and its square @xmath168 is a translation by @xmath109 .
so , we need to take the quotient by the action of this translation
.    the element @xmath169 has @xmath170 conjugates of type @xmath171 , ( @xmath172 ) .
they all are translations by @xmath109 in the direction orthogonal to @xmath173 .
the group generated by @xmath174 is a free abelian group of rank @xmath170 .
hence , taking a quotient of @xmath175 by the translations @xmath174 we get an @xmath42-dimensional torus @xmath176 .
the action of @xmath81 on @xmath40 turns into a faithful action of @xmath177 on the torus @xmath176 .
the coxeter diagram @xmath178 is the unique affine dynkin diagram containing a cycle .
this implies that our construction gives no further examples of actions on non - trivial quotients of euclidean space .
we now consider the case when the group @xmath81 acts on a hyperbolic space , and hence , the group @xmath179 acts on its quotient @xmath180 ( recall that @xmath83 is the normal closure of all cycle relations ) . as it is shown below ( theorem  [ manifold ] , corollary  [ man ] ) , in this case @xmath150 is always a manifold . in this section
we list all known actions on hyperbolic manifolds obtained in this way ( table  [ hyp ] ) .    in table
[ hyp ] we omit orientations of arrows of quivers @xmath46 and @xmath64 . here
arrows of @xmath46 may be oriented in arbitrary way , and the only requirement on the orientations of arrows of @xmath64 is that all chordless cycles are oriented .
the underlying graphs of @xmath46 and @xmath64 are the coxeter diagrams of fundamental polytopes of the action of @xmath2 and @xmath81 on the sphere and the hyperbolic space respectively .
all the volumes except the last two are computed in  @xcite , the euler characteristic ( and thus the volume ) of the fundamental polytope of the action of @xmath181 was computed by the program coxiter written by rafael guglielmetti .
the volume of the fundamental polytope of the action of @xmath182 is not known to the authors .
the euler characteristic is computed for all even - dimensional manifolds .
the precise value of the volume of @xmath150 for four - dimensional @xmath150 is equal to @xmath183 , and for six - dimensional @xmath150 equals @xmath184 .    to 0.96    the manifold @xmath150 obtained in the case @xmath185 is the manifold @xmath186 studied in  @xcite , it has minimal known volume amongst @xmath187-cusped hyperbolic @xmath136-manifolds .
it can be obtained via a ramified @xmath5-fold covering over the @xmath136-sphere @xmath188 branching along @xmath189-skeleton of a @xmath0-simplex .
this manifold can be also obtained as the complement of the five - chain link in the @xmath136-sphere .
the symmetry group of @xmath150 always contains @xmath2 . further ,
if the underlying graph of the quiver @xmath64 has symmetries , then the fundamental polytope of the action of @xmath65 on @xmath150 also has these symmetries , and thus the symmetry group of @xmath150 also contains a semidirect product of @xmath2 and the group of symmetries of the graph . in particular , one can note from table  [ hyp ] that the underlying graph of @xmath64 always has an additional symmetry of order @xmath5 , therefore we actually get the group @xmath190 acting on @xmath150 .
moreover , in the cases @xmath191 or @xmath181 the symmetry group of the fundamental polytope is @xmath192 , which results in the action of the group @xmath193 on the manifold @xmath150 .
[ var ]    * in all cases the fundamental domain of the action @xmath65 on @xmath150 is a non - compact hyperbolic polytope , i.e. the manifold @xmath150 has cusps . *
the combinatorial type of the fundamental domain in all but the last two cases is a simplex . in the last two cases it is a pyramid over a product of two simplices .
* we do not know how to compute the volume of the @xmath187-dimensional hyperbolic pyramid which is used to construct the manifold whose symmetry group contains @xmath194 ( the second last line of table  [ hyp ] ) . at the same time
, one can note that this pyramid consists of four copies of a pyramid with coxeter diagram shown on figure  [ in ] ( the pyramid in the table  [ hyp ] can be obtained from one on fig .
[ in ] by two consequent reflections in the facets corresponding to the leaves of the diagram ) .
this smaller pyramid belongs to _ napier cycles _ , a class of polytopes classified by i m hof  @xcite . in particular , it is a simply truncated orthoscheme , and thus there is a hope to compute its volume using the technique developed by kellerhals  @xcite .
the list in table  [ hyp ] is complete in the following sense .
any two nodes of any quiver of finite type are connected by at most one arrow , therefore all dihedral angles of the corresponding fundamental polytope of the group action are either @xmath195 or @xmath196 .
all hyperbolic coxeter polytopes satisfying such property are classified by prokhorov in  @xcite .
one can see that the only coxeter diagrams whose orientations are quivers of finite type are those listed in table  [ hyp ] .
on the other hand , our approach allows to construct more hyperbolic manifolds . in  @xcite , parsons introduced a notion of a _ companion basis _ of a finite root system . in our terms , all companion bases ( where every vector is considered up to plus / minus sign ) can be described as follows .
take a quiver @xmath64 of finite type , construct the corresponding group @xmath81 , and construct the isomorphism between @xmath81 and the weyl group @xmath179 by iterated changes of generators ( see section  [ pres ] ) .
denote by @xmath197 the images of generating reflections of @xmath81 in @xmath65 .
now , take the root system of @xmath2 , and an @xmath20-tuple of roots corresponding to reflections @xmath197 .
this @xmath20-tuple forms a companion basis .
thus , all the manifolds constructed above originate from companion bases .
below we present an example of a hyperbolic manifold obtained from a generating set which does not correspond to a companion basis .    as is mentioned in  @xcite ,
not every generating set of reflections of @xmath2 corresponds to a companion basis .
the easiest example is the quadruple of generators @xmath198 of @xmath185 given by roots @xmath199 respectively , where the root system @xmath200 consists of vectors @xmath201 in @xmath202 with standard basis @xmath203 .
the reason is the following : every two of these four roots form an angle @xmath204 , so if there were a corresponding quiver , then its underlying graph should have been the complete graph on four vertices . however , it is easy to see that any such quiver is mutation - infinite , so it can not be mutation - equivalent to any orientation of dynkin diagram @xmath200 .
now we may note that the coxeter group @xmath205 with coxeter diagram shawn on fig .
[ a4complete ] is generated by reflections in the facets of an ideal hyperbolic @xmath136-dimensional simplex .
further , since @xmath206 generate @xmath185 and satisfy the same relations as @xmath207 above , we can write @xmath2 as a quotient of @xmath7 by a normal subgroup @xmath8 which is the normal closure of additional relations .
it is easy to see that we can take @xmath8 as the normal closure of elements @xmath208 and @xmath209 .
now , one can check that @xmath8 is torsion - free , so the quotient of @xmath210 by the action of @xmath8 will be a finite volume hyperbolic manifold ( it has @xmath211 cusps and symmetry group containing @xmath212 , where @xmath200 is the symmetry group of the coxeter diagram ) .
in this section we first recall the construction of davis complex @xmath213 for each coxeter system @xmath22 .    then , given a dynkin quiver @xmath46 and a quiver @xmath64 from the same mutation class , we consider the davis complex @xmath214 for the group @xmath81 together with the action of the coxeter group @xmath85 on the corresponding quotient space @xmath215 and prove the manifold property for @xmath150 ( which states that @xmath83 is torsion - free ) . in particular , we prove that all quotients listed in table  [ hyp ] are hyperbolic manifolds .      for any coxeter system
@xmath216 there exists a contractible piecewise euclidean cell complex @xmath217 ( called _ davis complex _ ) on which @xmath2 acts discretely , properly and cocompactly .
the construction ( based on results of vinberg  @xcite ) was introduced by davis  @xcite . in  @xcite moussong proved that this complex yields a natural complete piecewise euclidean metric which is @xmath218 .
we first give a brief description of this complex following  @xcite , and then follow  @xcite to define convex polytopes in @xmath217 .
for a finite group @xmath2 the complex @xmath219 is just one cell , which is obtained as a convex hull @xmath220 of the @xmath2-orbit of a suitable point @xmath137 in the standard linear representation of @xmath2 as a group generated by reflections .
the point @xmath137 is chosen in such a way that its stabilizer in @xmath2 is trivial and all the edges of @xmath220 are of length 1 .
the faces of @xmath220 are naturally identified with davis complexes of the subgroups of @xmath2 conjugate to standard parabolic subgroups .
if @xmath2 is infinite , the complex @xmath219 is built up of the davis complexes of maximal finite subgroups of @xmath2 glued together along their faces corresponding to common finite subgroups .
the 1-skeleton of @xmath219 considered as a combinatorial graph is isomorphic to the cayley graph of @xmath2 with respect to the generating set @xmath21 .
the action of @xmath2 on @xmath219 is generated by reflections .
the _ walls _ in @xmath219 are the fixed points sets of reflections in @xmath2 .
the intersection of a wall @xmath221 with cells of @xmath219 supplies @xmath221 with a structure of a piecewise euclidean cell complex with finitely many isometry types of cells .
walls are totally geodesic : any geodesic joining two points of @xmath221 lies entirely in @xmath221 . since @xmath222 is contractible and @xmath218 , any two points of @xmath222 can be joined by a unique geodesic .
any wall divides @xmath219 into two connected components .
all the walls decompose @xmath219 into connected components which are compact sets called _
any chamber is a fundamental domain of the @xmath2-action on @xmath219 .
the set of all chambers with appropriate adjacency relation is isomorphic to the cayley graph of @xmath2 with respect to @xmath21 .    in what follows ,
if @xmath2 and @xmath21 are fixed , we write @xmath223 or @xmath222 instead of @xmath219 .
if the group @xmath2 acts cocompactly by reflections on spherical , euclidean or hyperbolic space @xmath224 , then the davis complex @xmath222 is quasi - isometric to @xmath224 .      for any wall @xmath221 of @xmath222
we denote by @xmath225 and @xmath226 the closures of the connected components of @xmath227 , we call these components _ halfspaces_.    a _ convex polytope _ @xmath228 is an intersection of finitely many halfspaces @xmath229 , such that @xmath230 is not contained in any wall . clearly , any convex polytope @xmath228 is a union of closed chambers .    in what follows by writing @xmath229
we assume that the collection of walls @xmath231 is _ minimal _ : for any @xmath232 we have @xmath233 .
a _ facet _ of @xmath230 is an intersection @xmath234 for some @xmath235 . for any @xmath236 a set @xmath237
is called a _ face _ of @xmath230 if it is not empty .
we can easily define a dihedral angle formed by two walls : if @xmath238 there exists a maximal cell @xmath239 of @xmath222 intersecting @xmath240 .
we define the angle @xmath241 to be equal to the corresponding euclidean angle formed by @xmath242 and @xmath243 .
clearly , any dihedral angle formed by two intersecting walls in @xmath222 is equal to @xmath244 for some positive integers @xmath49 and @xmath245 .
a convex polytope @xmath230 is called _ acute - angled _ if each of the dihedral angles of @xmath230 does not exceed @xmath246 .
a convex polytope @xmath230 is called a _ coxeter polytope _ if all its dihedral angles are integer submultiples of @xmath145 . in particular , a fundamental domain of any reflection subgroup of @xmath2 is a coxeter polytope in @xmath222 .
conversely , any coxeter polytope in @xmath222 is a fundamental chamber for the subgroup of @xmath2 generated by reflections in its walls ( see e.g.  ( * ? ? ?
* theorem 4.9.2 ) ) .
let us briefly recall the procedure described in section  [ various actions ] :    * start with a dynkin quiver @xmath46 with corresponding weyl group @xmath2 .
let @xmath64 be any quiver mutation - equivalent to @xmath46 .
* consider the coxeter group @xmath81 defined by the relations ( r1 ) and ( r2 ) ( its coxeter diagram coincides with the underlying graph of the quiver @xmath64 ) .
* let @xmath214 be the davis complex of the group @xmath81 .
by construction , @xmath81 acts on @xmath214 by reflections .
* let @xmath247 be the collection of all defining cycle relations for @xmath64 , define @xmath83 to be the normal closure of all these relations in @xmath81 .
* define @xmath248 . as is shown in  @xcite
, @xmath65 is isomorphic to @xmath2 . * since @xmath249 , @xmath83 acts on @xmath214 .
consider @xmath250 .
then @xmath179 acts properly on @xmath251 .
so , for each quiver in the mutation class we have assigned an action of @xmath2 on the space @xmath251 ( the latter heavily depends on the quiver @xmath64 ) .
[ manifold ] the group @xmath83 is torsion - free .    [ man ] if @xmath214 is a manifold then @xmath251 is also a manifold .
let @xmath252 be a fundamental domain for the action of @xmath65 on @xmath214 .
@xmath253 of a face @xmath254 of @xmath252 is the union of all fundamental domains @xmath255 of @xmath222 containing @xmath254 : @xmath256 we will prove the following statement which is equivalent to the manifold property ( cf .
* corollary  2 ) ) .
[ manifold - eq ] let @xmath252 be a fundamental domain for the action of @xmath65 on @xmath214 .
then for any face @xmath254 of @xmath252 the interior @xmath257 of the star of @xmath254 in @xmath251 is isometric to the interior of the star of @xmath254 in @xmath214 .
equivalently , if a face @xmath254 of @xmath252 is contained in @xmath47 fundamental domains of the action of @xmath81 on @xmath214 , then @xmath254 is also contained in @xmath47 fundamental domains of the action of @xmath65 on @xmath251 .    to prove the manifold property we will use the following observation .
[ eq - dihedral ] let @xmath258 and @xmath259 be two generating reflections of @xmath81 , and let @xmath119 and @xmath260 be their images in @xmath179 under the canonical projection @xmath261 . then the orders of the elements @xmath262 and @xmath263 coincide .
the dihedral group generated by @xmath119 and @xmath260 is a quotient of the dihedral group generated by @xmath258 and @xmath259 .
the order of the latter group equals @xmath152 or @xmath0 , therefore , if we assume that the two groups are distinct , the order of the former equals two , i.e. @xmath264 , which is impossible since a coxeter group @xmath2 of rank @xmath20 can not be generated by less than @xmath20 reflections ( see e.g.  ( * ? ? ?
* lemma  2.1 ) ) .
let @xmath254 be a face of @xmath252 .
denote by @xmath265 the index set such that @xmath254 is the intersection of the walls fixed by @xmath266 . to prove theorem  [ manifold - eq ] ( and thus the manifold property )
it is sufficient to prove that the group @xmath267 generated by @xmath266 has the same order as the group @xmath268 generated by @xmath269 .
denote @xmath270 .
the group @xmath271 can be considered as a group generated by reflections in the facets of a spherical coxeter @xmath272-simplex @xmath273 with dihedral angles @xmath45 , where @xmath26 is the order of @xmath262 .
furthermore , since every @xmath274 is a reflection on the @xmath275 , the group @xmath276 can also be considered as a group generated by reflections in the facets of a spherical @xmath272-simplex @xmath230 .
the simplex @xmath230 may not be coxeter , however , by lemma  [ eq - dihedral ] , its dihedral angles are equal to @xmath277 for some @xmath278 being coprime with @xmath26 .
since @xmath27 or @xmath136 , this implies that either @xmath279 , or @xmath280 . according to  @xcite
, this means that reflections in the facets of @xmath273 and @xmath230 generate isomorphic groups .      in this section
we describe how to obtain @xmath281 from @xmath251 , where @xmath282 .
the construction generalizes the examples shown in sections  [ torus ] and  [ back - s ] .
* let @xmath283 be the generators of @xmath2 corresponding to @xmath64 ( i.e. , if @xmath76 with relations ( r1 ) and ( r2 ) are generating reflections of @xmath81 composing a coxeter system , and the @xmath76 with relations ( r1)(r3 ) are their images under canonical homomorphism @xmath284 ) , let @xmath159 be the generators corresponding to @xmath285 . as it is shown in  @xcite , @xmath119 can be obtained from @xmath23 as follows @xmath286 + denote by @xmath287 , @xmath288 , the canonical projection @xmath289 . according to the construction
, a fundamental chamber @xmath290 of the action of @xmath2 on @xmath291 is an image of a fundamental chamber @xmath292 under the projection . the elements @xmath23 act on @xmath214 by reflections in the facets of @xmath293 , let walls @xmath294 be the mirrors of the reflections @xmath283 .
similarly , the elements @xmath119 are reflections in the facets of @xmath295 , let walls @xmath296 be the mirrors of the reflections @xmath159 . *
consider the action of the element @xmath119 on @xmath214 .
it is a reflection with respect to a wall @xmath297 satisfying @xmath298 * the fundamental chamber @xmath293 is an intersection of @xmath20 halfspaces bounded by walls @xmath299 .
denote these halfspaces by @xmath300 , i.e. @xmath301 .
note that the dihedral angles of a polytope @xmath293 equal @xmath45 , where @xmath26 is the order of @xmath302 in @xmath81 .
in particular , as all @xmath27 or @xmath136 , every two facets of @xmath293 have a non - empty intersection .
* consider the domain @xmath303 defined as follows : + @xmath304 is the intersection of @xmath20 halfspaces @xmath305 , where the walls @xmath306 are defined in step  @xmath5 and the half - spaces @xmath307 , @xmath308 , are chosen by @xmath309 ( cf .
remark  [ rem choice ] ) .
+ note that @xmath304 is well - defined , i.e. @xmath304 indeed has exactly @xmath20 facets .
this follows from the fact that the facet @xmath310 of @xmath293 ( which is also a facet of @xmath304 ) has exactly @xmath170 facets @xmath311 , and by construction of @xmath304 all these faces of @xmath293 are also faces of @xmath304 . *
the domain @xmath304 is a convex ( possibly , non - compact ) polytope in @xmath214 with @xmath20 facets .
the reflections with respect to the facets of @xmath304 are precisely @xmath119 , they generate the group @xmath81 , however , in general , @xmath304 is not a fundamental domain of the action of @xmath81 on @xmath214 .
* now , we will use @xmath304 to construct a new cell complex @xmath312 ( such that the group @xmath2 acts on @xmath312 with fundamental chamber @xmath304 ) .
+ consider @xmath313 copies of the polytope @xmath304 , labeled by the elements of @xmath2 ( denote by @xmath314 the polytope corresponding to @xmath315 ) .
+ glue the polytope @xmath314 to the polytope @xmath316 along the facets @xmath317 of @xmath314 and @xmath316 so that the reflection in the common facet swaps the polytopes ( and takes the facet @xmath318 of @xmath314 to the facet of @xmath316 having the same number ) .
denote by @xmath312 the space obtained by the gluing .
note that by `` reflection '' here we mean a map from one polytope to another , this may not extend to a reflection on the whole @xmath312 ( cf .
remark  [ non - reflection ] ) .
* denote by @xmath26 the order of the subgroup @xmath319 ( note that the coxeter group @xmath320 is the group @xmath321 ) .
consider the following completion @xmath322 of @xmath312 .
* * first , we complete the fundamental domain @xmath304 ( obtaining a completed fundamental chamber @xmath323 ) in the following way . for every pair @xmath324
we add an @xmath325-dimensional face @xmath326 if it is not a face of @xmath304 yet ; we define the dihedral angle composed by facets @xmath327 and @xmath328 of @xmath323 as @xmath45 .
then , for each finite subgroup @xmath329 ( where @xmath330 is an index set ) we add an @xmath331-dimensional face @xmath332 if it is not a face of @xmath304 yet .
the procedure is well - defined since any subgroup of a finite group is finite .
the resulting polytope @xmath323 can be identified with a fundamental chamber of @xmath333 , i.e. with @xmath295 .
* * now , we do this for each @xmath314 , @xmath315 ( a new face @xmath334 of @xmath314 is identified with the similar face of @xmath335 if @xmath336 ) .
the procedure results in a new complex @xmath322 . *
as @xmath323 can be identified with @xmath295 , and @xmath322 is obtained from copies of @xmath323 by gluings along the action of @xmath2 ( see step  6 ) , the complex @xmath322 can be identified with @xmath337 .
in all the considerations above we started with a dynkin quiver @xmath46 . in this section
we consider mutations of _ diagrams _ instead of quivers , which allows us to deal with non - simply - laced dynkin diagrams .
recall that quivers are in one - to - one correspondence with skew - symmetric integer matrices .
an integer @xmath29 matrix @xmath56 is _ skew - symmetrizable _ if there exists a diagonal @xmath29 matrix @xmath338 with positive integer entries such that the product @xmath339 is skew - symmetric , i.e. , @xmath340 .    given a skew - symmetrizable matrix @xmath56 one obtains a _ diagram _ @xmath341 in the following way : @xmath1 is an oriented labeled graph with vertex set @xmath342 , where vertex @xmath24 is connected to vertex @xmath25 by an arrow labeled by @xmath343 if @xmath344 .
one diagram may correspond to several distinct matrices .
any diagram @xmath1 constructed by a skew - symmetrizable matrix satisfies the following property : for any chordless cycle in @xmath1 the product of labels along this cycle is a perfect square ( cf .
* exercise  2.1 ) ) .
since skew - symmetric matrices are also skew - symmetrizable , we may understand quivers as a partial case of diagrams : to make a diagram out of a quiver one needs to square all the labels .    a _ mutation _
@xmath50 of a diagram @xmath1 is defined similarly to the mutation of quivers  @xcite :    * orientations of all arrows incident to a vertex @xmath49 are reversed ; * for every pair of vertices @xmath52 such that @xmath1 contains arrows directed from @xmath24 to @xmath49 and from @xmath49 to @xmath25 the weight of the arrow joining @xmath24 and @xmath25 changes as described in figure  [ diagrammut ] .
+ @xmath345    as for quivers , a diagram is _ of finite type _ if it is mutation - equivalent to an orientation of a dynkin diagram .
the construction is generalized straightforwardly , but the definition of the group defined by a diagram is a bit longer than the one in the simply - laced case .
let @xmath1 be an orientation of a dynkin diagram with @xmath20 nodes , let @xmath2 be the corresponding finite weyl group , and let @xmath346 be any diagram mutation - equivalent to @xmath1 . denote by @xmath347 the group generated by @xmath20 generators @xmath23 with the following relations :    * @xmath66 for all @xmath67 ; * @xmath68 for all @xmath69 , not joined by an edge labeled by @xmath0 , where @xmath348 * ( cycle relation ) for every chordless oriented cycle @xmath71 given by @xmath349 and for every @xmath350 we compute @xmath351 , where the indices are considered modulo @xmath74 ; now for every @xmath352 such that @xmath353 , we take the relation + @xmath354 where @xmath355 ( this form of cycle relations was introduced by seven in  @xcite ) .    according to  @xcite ,
all the cycle relations for a given chordless cycle follow from one with @xmath356 ( such a relation always exists ) .
thus , as for quivers , we may take exactly one defining relation per cycle .
it is shown in  @xcite that the group @xmath347 does not depend on the choice of a diagram in the mutation class of @xmath1 .
in particular , it is isomorphic to the initial coxeter group @xmath2 .    the further part of the construction generalizes to the diagram settings verbatim .
we obtain three manifolds , see table  [ hyp - n ]     @xmath2 & @xmath1 & @xmath346 & @xmath313 & @xmath357 &    .actions on hyperbolic manifolds , non - simply - laced case . [ cols="^ " , ]      + & & & & & & & + & & & @xmath358 & 2 & @xmath359 & compact & -4 + @xmath360 & & & @xmath361 & 3 & @xmath362 & 16 & + @xmath363 & & & @xmath364 & 3 & @xmath365 & compact & +    the manifold @xmath150 constructed for the group @xmath360 coincides with the manifold constructed in section  [ act - hyp ] for the group @xmath366 ( see table  [ hyp ] ) .
in contrast to the simply - laced case , we do not know whether the list of hyperbolic manifolds ( table  [ hyp - n ] ) that can be obtain by our construction is complete : there is no known classification of finite volume hyperbolic coxeter polytopes with angles @xmath367 , so potentially the construction may provide other examples of finite volume hyperbolic manifolds .
[ lemma - n ] the proof of the manifold property works for diagrams , but we need to update the proof of lemma  [ eq - dihedral ] .
let us proceed by induction on the number of mutations required to obtain @xmath346 from @xmath1 .
assume that the lemma holds for a diagram @xmath368 mutation - equivalent to @xmath1 , and we want to deduce the lemma for @xmath369 .
in the notation of lemma  [ eq - dihedral ] ( after substituting @xmath46 by @xmath1 ) this means the following : if we denote by @xmath370 the reflections corresponding to nodes @xmath371 of @xmath368 and by @xmath372 their projections to @xmath2 , we want to deduce the equality of orders of elements @xmath373 and @xmath374 from the equality of the orders of @xmath375 and @xmath376 .
if one of @xmath69 ( say , @xmath24 ) equals @xmath49 the statement is obvious : in this case the label of the arrow between @xmath24 and @xmath25 is the same in @xmath346 and @xmath368 ( and thus the orders of @xmath373 and @xmath375 are the same ) , and @xmath377 ( since either @xmath378 or @xmath379 ) , so the orders of @xmath263 and @xmath380 are also the same .    if the other case we can restrict our consideration to the subdiagrams of @xmath346 and @xmath368 spanned by three vertices @xmath371 .
a subdiagram of a diagram of finite type also has finite type  @xcite , so if it is not simply - laced then @xmath346 ( and @xmath368 ) is mutation - equivalent to one of the three diagrams @xmath381 , @xmath382 and @xmath383 .
now , a short straightforward check verifies the lemma .
consider the diagram @xmath384 ( see fig .
[ b3](a ) ) .
the corresponding dynkin diagram of type @xmath381 determines a finite coxeter group @xmath2 acting on the @xmath5-dimensional sphere by reflections : @xmath385 the fundamental domain of this action is a spherical triangle with angles @xmath386 , see fig .
[ b3](b ) for the action and a fundamental domain in stereographic projection .
[ b3 ]    now , apply the mutation @xmath93 to the diagram @xmath1 obtaining the diagram @xmath346 ( see fig .
[ b3](a ) ) .
the corresponding group @xmath387 acts on the hyperbolic plane by reflections , and the fundamental domain of this action is a triangle @xmath252 with angles @xmath388 .
we need to take a quotient of this action by the normal closure of the element @xmath389 .
as we expect from manifold property , we will get some finite volume hyperbolic surface @xmath21 tiled by 48 images of the triangle @xmath252 .
it is easy to see that @xmath21 is a genus @xmath136 surface .    similarly to section  [ sph to tor ] describing @xmath11 case , one can see that @xmath21 can be obtained as a ramified degree @xmath0 covering of the sphere branching at six points composing the orbit of the `` central point '' ( see fig .  [
b3](c ) ) .
the result of  @xcite allows to generalize the construction to infinite groups .
more precisely , it is shown in  @xcite that to a diagram @xmath1 of finite mutation type that either is exceptional ( see  @xcite ) or arises from a triangulation of a unpunctured surface or orbifold ( see  @xcite ) one can assign a coxeter group @xmath3 ( using exactly the same rule as above ) .
this implies that we can repeat verbatim the construction of actions on factors of the davis complex @xmath394 , so that we get an action of an ( infinite ) group @xmath395 on the quotient space @xmath396 .
furthermore , as before , a mutation of @xmath1 induces a mutation of @xmath397 .      a diagram @xmath1 is called a diagram of _ affine type _ if @xmath1 is mutation - equivalent to an orientation of an affine dynkin diagram different from an oriented cycle .
in particular , if @xmath1 is of affine type , the group @xmath398 is an affine coxeter group .
mutation classes of diagrams of affine type may be rather complicated ( see  @xcite for the detailed description of mutation classes of non - exceptional diagrams of finite and affine type ) .
in particular , a diagram @xmath1 in the mutation class may contain one arrow labeled by @xmath0 ( this corresponds to two reflections in a coxeter system of @xmath3 generating an infinite dihedral group , or , equivalently , to two non - intersecting facets of a fundamental chamber of @xmath399 ) .
we are currently unable to drop the assumption that @xmath1 is of affine type .
our proof of manifold property uses an induction on the number of mutations one needs to perform to obtain a diagram without oriented cycles ( such diagrams are called _ acyclic _ , and diagrams from their mutation classes are _ mutation - acyclic _ ) . if @xmath1 is not of finite or affine type , then either @xmath1 is not mutation - acyclic , or it is not mutation - finite ( see  @xcite ) .
we are grateful to v.  emery , m.  feigin , a.  king , r.  marsh , r.  kellerhals and m.  shapiro for helpful discussions .
we also thank r.  guglielmetti for computing the volume of one of the hyperbolic pyramids .
the work was initiated during the program on cluster algebras at msri in the fall of 2012 .
we would like to thank the organizers of the program for invitation , and the institute for hospitality and excellent research atmosphere .
, constructing hyperbolic manifolds , _ computational and geometric aspects of modern algebra _ ( edinburgh , 1998 ) , 7886 , london math . soc .
lecture note ser . , 275 , cambridge univ .
press , cambridge , 2000 .        , skew - symmetric cluster algebras of finite mutation type ,
_ 14 ( 2012 ) , 11351180 . , cluster algebras of finite mutation type via unfoldings , _ int . math . res . notices _ ( 2012 ) , 17681804 . ,
cluster algebras and triangulated orbifolds , _ adv . math .
_ 231 ( 2012 ) , 29533002                                        , on polyhedra of finite volume in the lobachevskii space with dihedral angles @xmath195 and @xmath196 ( russian ) , _ lectures in mathematics and its applications _ , vol .
2 ( russian ) , 151187 , ross .
nauk , inst .
steklova , moscow , 1988 .