Geometry of mutation classes of rank $3$ quivers

We present a geometric realization for all mutation classes of quivers of rank $3$ with real weights. This realization is via linear reflection groups for acyclic mutation classes and via groups generated by $\pi$-rotations for the cyclic ones. The geometric behavior of the model turns out to be controlled by the Markov constant $p^2+q^2+r^2-pqr$, where $p,q,r$ are the elements of exchange matrix. We also classify skew-symmetric mutation-finite real $3\times 3$ matrices and explore the structure of acyclic representatives in finite and infinite mutation classes.


Introduction and Main Results
Mutations of quivers were introduced by Fomin and Zelevinsky (2002) in the context of cluster algebras and since then have found numerous applications in various domains of mathematics. Mutations are involutive transformations decomposing the set of quivers into equivalence classes called mutation classes (see Sect. 2.1 for precise definitions). Knowing the structure of mutation classes gives a lot of information about the corresponding cluster algebras. It is especially beneficial if there exists a certain combinatorial or geometric model for mutations. This is the case, for example, To Rafail Kalmanovich Gordin on his 70th birthday.
There is a model for mutations of quivers containing a representative without oriented cycles in their mutation class (such quivers are called mutation-acyclic): it was shown in (Speyer and Thomas 2013;Seven 2015) that mutations of mutation-acyclic quivers can be modeled by reflections of a tuple of positive vectors in a certain quadratic space (we call this a realization by reflections). One of the goals of this paper is to construct a model for mutations of mutation-cyclic quivers of rank 3, and thus to obtain a geometric realization for every quiver of rank 3 (Theorem 3.6). In particular, we prove that mutations of mutation-cyclic rank 3 quivers can be modeled by π -rotations in triples of points on a hyperbolic plane.
Mutation classes of rank 3 quivers were studied in Assem et al. (2008), Beineke et al. (2011), Berenstein et al. (2006, Felikson et al. (2012), Seven (2012) and Warkentin (2014). In particular, the Markov constant C(Q) = p 2 + q 2 + r 2 − pqr for a cyclic quiver Q with weights ( p, q, r ) was introduced in Beineke et al. (2011) and proved to be mutation-invariant. Combining our results with ones of Beineke et al. (2011), we show that C(Q) defines the type and geometric properties of realizations of all rank 3 quivers (Theorem 4.4). For mutation-acyclic quivers, C(Q) also controls the signature of the quadratic space where mutations are modeled by reflections. More precisely, after considering appropriate projectivization, C(Q) chooses between the sphere S 2 , Euclidean plane E 2 and the hyperbolic plane H 2 , see Remark 4.7.
Throughout the whole paper, we allow a quiver to have real weights, so all the results concern a more general class of quivers than is usually considered (see also Lampe 2018). A quiver is mutation-finite if its mutation class is finite. The classification of mutation-finite quivers with integer weights in rank 3 is extremely simple: there are two quivers in the mutation class of an orientation of A 3 Dynkin diagram, two quivers in the mutation class of an acyclic orientation of A (1) 2 extended Dynkin diagram, and the Markov quiver. However, in the case of real weights the question is more interesting, we classify all the finite mutation classes in rank 3 in Theorem 5.9, which, in its turn, leads to the complete classification of mutation-finite quivers with real weights (Felikson and Tumarkin 2019).
Finally, we discuss the structure of acyclic representatives in mutation classes. According to Caldero and Keller (2006), all acyclic quivers in any integer mutation class can be mutated to each other via sink-source mutations only, i.e. by mutations in vertices incident to incoming (or outgoing) arrows only. This is not the case for quivers with real weights: already finite mutation classes may have two essentially distinct acyclic representatives (see Table 1), and infinite mutation classes have infinitely many ones which are distributed densely, see Theorem 6.2. deduced from Barot et al. (2006) [see also Seven (2015), Speyer and Thomas (2013) and Felikson and Tumarkin (2018) for more general picture], we give a geometric interpretation and observe that taking real weights instead of integer ones does not affect the proofs.

Quiver Mutations
A quiver Q is an oriented graph with weighted edges without loops, 2-cycles and multiple edges. We allow the weights to be any positive real numbers. We call the directed edges arrows. By rank of Q we mean the number of its vertices.
For every vertex k of Q we define an involutive operation μ k called mutation of Q in direction k. It gives a new quiver μ k (Q) which can be obtained from Q in the following way (see Fomin and Zelevinsky 2002): -orientations of all arrows incident to the vertex k are reversed, weights remain intact; -for every pair of vertices (i, j) such that Q contains arrows directed from i to k and from k to j the weight of the arrow joining i and j changes as described in Fig. 1.
Given a quiver Q, its mutation class is a set of all quivers (considered up to isomorphism) obtained from Q 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 real skew-symmetric matrices B = {b i j }, where b i j > 0 if and only if there is an arrow from ith vertex to jth one with weight b i j . In terms of the matrix B the mutation μ k can be written as A rank 3 quiver (and the corresponding 3 × 3 matrix) is called cyclic if its arrows compose an oriented cycle, and is called acyclic otherwise. A quiver (and the matrix) is mutation-cyclic if all representatives of the mutation class are cyclic, and mutationacyclic otherwise.

Initial Configuration
Let Q be an acyclic rank 3 quiver and let B be the corresponding skew-symmetric 3 × 3 matrix. Consider a symmetric matrix with non-positive off-diagonal entries defines a quadratic form, and we can consider it as the matrix of inner products of some triple of vectors (v 1 , v 2 , v 3 ) in a quadratic space V of the same signature as M(B) has. Considering the projectivization P(V ) = V /R + , the images l i of the characterizes the mutual position of the corresponding lines: F is an acute-angled domain (i.e., F has no obtuse angles).

Reflection Group
Given a vector v i ∈ V with (v i , v i ) = 2 one can consider a reflection with respect to Reflections preserve the scalar product in V , and r i (v i ) = −v i , i.e. r i is an isometry of X preserving l i and interchanging the halfspaces into which X is decomposed by l i . We denote by G the group generated by reflections r 1 , r 2 , r 3 .

Mutation
The initial acyclic quiver Q (and matrix B) corresponds to the initial set of generating reflections in the group G and to the initial domain F ⊂ P(V ). Applying mutations, we will obtain other sets of generating reflections in G as well as other domains in P(V ).
More precisely, define mutation of the set of generating reflections by partial conjugation: μ k (r j ) = r k r j r k if b jk > 0, and μ k (r j ) = r j otherwise. Consequently, the mutation of the triple of vectors (and of the triple of lines) is defined by partial reflection: Note that the mutation as defined above is not an involution. To fix this, choose a vector u ∈ F and define μ k as above (i.e. reflecting v j if b jk > 0) for the case (u, v k ) < 0, and by reflection of v j if b jk < 0 for the case (u, v k ) > 0. Applications of two versions of the definition differ by reflection in v k only. Throughout the paper we will mostly use the configurations up to conjugation by an element of G, so it will be sufficient for us to use the initial definition.

Geometric Realization by Reflections
Lemma 2.1 (Barot et al. (2006), Corollary of Proposition 3.2) Let Q be a rank 3 quiver, and let B be the corresponding skew-symmetric matrix. Let V = v 1 , v 2 , v 3 be a quadratic space and suppose that We note that the statement of ( Barot et al. 2006, Proposition 3.2) is formulated in terms of quasi-Cartan companions, which are Gram matrices of tuples of vectors {v 1 , v 2 , v 3 }, and their mutations, which are precisely changes of bases corresponding to our mutations v → v defined above.
The statement of the lemma is proved in Barot et al. (2006) for integer skewsymmetrizable matrices, however, their proof works for real skew-symmetric matrices as well. One can also note that for any skew-symmetric matrix B there exists a quadratic three-dimensional space V and a triple of vectors v 1 , v 2 , v 3 ∈ V satisfying the assumptions of the lemma.

Definition 2.2 Let B be a 3 × 3 skew-symmetric matrix. We say that a tuple of vectors
of Lemma 2.1 are satisfied. We also say that v provides a realization of the mutation class of B if the mutations of v via partial reflections agree with the mutations of B, i.e. if conditions (1)-(2) are satisfied after every sequence of mutations.
Given a geometric realization . The (unordered) triple of lines (l 1 , l 2 , l 3 ) will be also called a geometric realization by reflections of B (note that properties (1)-(2) do not depend on the choice of vectors orthogonal to (l 1 , l 2 , l 3 )). A realization of B will also be called a realization of the corresponding quiver Q.

Corollary 2.3 Every acyclic mutation class has a geometric realization by reflections.
Proof In view of Lemma 2.1 it is sufficient to find a geometric realization for an acyclic quiver. This is provided by the construction above (notice that for the initial acyclic quiver we get (v i , v j ) < 0, so condition (2) holds).

123
Remark 2.4 In contrast to quivers with integer weights, mutation classes of quivers with real weights may have more than one acyclic representative (modulo sink-source mutations), we discuss this in the last section. Meanwhile, we observe that by Lemma 2.1 a triple of lines corresponding to any acyclic quiver determines an acute-angled domain, while a triple corresponding to a cyclic quiver determines a domain with an obtuse angle.

Construction
Similarly to acyclic mutation classes realized by partial reflections in S 2 , E 2 or H 2 , we will use π -rotations in H 2 to build a geometric realization for mutation-cyclic classes.

Initial Configuration
Let Q be a cyclic rank 3 quiver and let B be the corresponding skew-symmetric 3 × 3 matrix (we will assume b 12 , b 23 , b 31 > 0). We will also assume |b i j | ≥ 2 for all i = j (in view of Lemma 3.3 below this is the case for quivers in mutation-cyclic classes). Let It is not immediately evident that for every mutation-cyclic matrix B there is a corresponding triple of vectors v 1 , v 2 , v 3 , we will prove this in Sect. 4.

-Rotations Group
With every x ∈ H 2 (i.e., with every negative v ∈ V ) we can associate a rotation by

Mutation
The initial matrix B corresponds to the initial set of generating rotations in the group G and to the initial triple of points in H 2 . Applying mutations, we will obtain other sets of generating rotations of G as well as other triples of points.
More precisely, define mutation of the set of generating rotations by partial conjugation, in exactly the same way as for reflections: μ k (r j ) = r k r j r k if b jk > 0, and μ k (r j ) = r j otherwise. Consequently, the mutation of the triple of points is defined by partial rotation:

Geometric Realization by -Rotations
Lemma 3.1 Let Q be a cyclic quiver of rank 3 with all weights greater or equal to 2, let B be the corresponding skew-symmetric matrix with b 12 , b 23 , b 31 > 0, and let V be the corresponding quadratic space.
is a cyclic quiver with weights greater or equal to 2, and the set Proof Due to the symmetry, to prove the lemma we only need to check one mutation (say, μ 2 ). A direct computation shows that is a cyclic quiver with |b 12 |, |b 23 |, |b 31 | ≥ 2 for B = μ 2 (B). Also, the computation above shows that the assumptions are satisfied by v and B .
Notation 3.2 From now on, given a cyclic quiver we denote its weights by p = |b 12 |, q = |b 23 |, r = |b 31 |. We will also denote the corresponding matrix B by a triple ( p, q, r ).
A quiver is called minimal if the sum of its weights is minimal across the whole mutation class. Lemma 3.3 Let Q be a cyclic quiver with weights p, q, r > 0.
(a) if r < 2 then Q is mutation-acyclic; (b) if r = 2 and p = q then Q is mutation-acyclic; (c) if r = 2 and p = q ≥ 2 then Q is mutation-cyclic, and Q is minimal in its mutation class.
Proof (a) We will apply mutations μ 1 and μ 3 alternately (starting from μ 3 ), so that at every step b 13 = r stays intact. Furthermore, each of the steps changes either b 12 or b 23 as follows: Claim 1 For n ∈ N denote Q n = (μ 1 μ 3 ) n/2 Q if n is even or Q n = μ 3 (μ 1 μ 3 ) (n−1)/2 Q if n is odd. If all Q k are cyclic for k < n, then the entries of the corresponding matrix B n satisfy where u n (x) is a Chebyshev polynomial of the second kind (of a half-argument) recursively defined by u 0 ( The proof is an easy induction: μ 3 ( p, q, r ) = (rq − p, q, r ), and the step is given by f n+1 , r ). The claim can also be extracted from (Lee and Schiffler (2015), Lemma 3.2).
Combining the two claims we see that there exists n ∈ N such that Q n is acyclic, which completes the proof of part (a). (b) If r = 2 then u n (r ) = n + 1, so, the condition u n+1 (r )q − u n (r ) p > 0 turns into (n + 1)q − np > 0. Assuming q < p, this cannot hold if n is large enough. (c) If p = q > 2 and r = 2 then there exist points v 1 , v 2 , v 3 in H 2 realizing B = (q, q, r ). Indeed, we take v 1 = v 3 , and choose any v 2 such that 2 cosh d(v 1 , v 2 ) = q (as usual, we assume (v i , v i ) = −2). Applying repeatedly Lemma 3.1 we see that in this case Q is mutation-cyclic. Moreover, the mutated triple of points always remains collinear, and it is easy to see that every new mutation either increases the distances in the triple or brings it to the previous configuration. This implies that the initial quiver Q was minimal.
Similarly to realizations by reflections (see Definition 2.2) we define realizations by π -rotations. Definition 3.4 Let B be a 3× 3 skew-symmetric matrix. We say that a triple of vectors v = (v 1 , v 2 , v 3 ) is a geometric realization by π -rotations of B if the assumptions of Lemma 3.1 hold. We also say that v provides a realization of the mutation class of B if the mutations of v via partial π -rotations agree with all the mutations of B, i.e. if the assumptions of Lemma 3.1 hold after every sequence of mutations.
We can now formulate the following immediate corollary of Lemma 3.1.

Theorem 3.6 Let Q be a mutation-cyclic rank 3 quiver, and let B be the corresponding skew-symmetric matrix. Then the mutation class of B has a realization by reflections or a realization by π -rotations.
Proof Since Q is mutation-cyclic, Lemma 3.3 implies that B = ( p, q, r ) with p, q, r ≥ 2. If there is a triple of points on H 2 on mutual distances d p , d q , d r ≥ 0, where d x = arccosh x 2 , then Lemma 3.1 guarantees the realization by π -rotations (as 2 cosh d(u, v) = −(u, v)). Such a triple of points on H 2 does exist if and only if the triangle inequality holds for d p , d q , d r .
If we assume that the triangle inequality does not hold, then it is an easy exercise in hyperbolic geometry to find a triple of lines l p , l q , l r in H 2 such that d p = d(l q , l r ), d q = d(l p , l r ) and d r = d(l q , l p ), and two of these are separated by the third one (as in Fig. 2, left). This provides us with a realization by reflections. For a cyclic quiver Q with weights p, q, r , C(Q) is defined as C( p, q, r ), while for an acyclic quiver with weights p, q, r one has C(Q) := C( p, q, −r ) (this can be understood as turning an acyclic quiver into a cycle at the price of having a negative weight). It is observed in Beineke et al. (2011) that C(Q) is a mutation invariant, it was also shown in Beineke et al. (2011) that in the case of integer weights C(Q) characterizes (with some exceptions) the mutation-acyclic quivers: Proposition 4.2 (Beineke et al. (2011), extract from Theorem 1.2) Let Q be a rank 3 cyclic quiver with integer weights given by p, q, r ∈ Z ≥0 . Then the following conditions are equivalent.
Our next aim is to give a geometric interpretation of C(Q) as well as to extend the result to the case of real numbers p, q, r .

Fig. 2 No realization by reflections for mutation-cyclic quivers
The question of recognizing whether a quiver Q is mutation-acyclic is non-trivial if Q is not acyclic itself [i.e. Q is a cycle ( p, q, r )] and if p, q, r ≥ 2 [otherwise we just use Lemma 3.3(a)]. For quivers of this type, the proof of Theorem 3.6 shows that Q can be realized by π -rotations (and is mutation-cyclic by Lemma 3.5) or by reflections depending on the triangle inequality for d r ≤ d p + d q , where p ≤ q ≤ r and d x = arccosh x 2 . Denote understanding Δ(Q) ≥ 0 as "triangle inequality holds" and Δ(Q) < 0 as "it does not".

Theorem 4.4 Let Q be a rank 3 quiver with real weights. Then
(

1) if Q is mutation-acyclic then C(Q) ≥ 0 and Q admits a realization by reflections;
(

2) if Q is mutation-cyclic then C(Q) ≤ 4 and Q admits a realization by π -rotations;
(

3) Q admits both realizations (by reflections and by π -rotations) if and only if Q is cyclic with p, q, r ≥ 2 and C(Q) = 4.
Proof (1) If Q is mutation-acyclic, consider the acyclic representative (we may assume it is Q itself). Then C(Q) ≥ 0 as it is a sum of four non-negative terms. Existence of a realization by reflections is guaranteed by Corollary 2.3.
(2) If Q = ( p, q, r ) is mutation-cyclic, then by Lemma 3.3(a) we have p, q, r ≥ 2, and by Theorem 3.6 Q has a realization either by reflections in H 2 or by π -rotations (again, in H 2 ). Which of the options holds depends on the triangle inequality, i.e., on the sign of Δ(Q), which is determined by the sign of 4 − C(Q). More precisely, if C(Q) ≤ 4 then the triangle inequality holds and Q has a realization by π -rotations, and if C(Q) > 4 then Q has a realization by reflections.
Suppose that a mutation-cyclic quiver Q has C(Q) > 4 and, hence, has a realization by reflections. It is shown in Section 5 of Beineke et al. (2011) that every mutationcyclic class with C(Q) = 4 contains a minimal element Q min , where the sum of the weights p + q + r is minimal over the whole mutation class [notice that Beineke et al. (2011) shows this for all mutation classes with real weights]. Consider the realization of Q min = ( p min , q min , r min ). As Q min is still mutation-cyclic, we have p min , q min , r min ≥ 2 which implies that the lines l p , l q , l r in the realization of Q min do not intersect each other. If one of the lines (say, l r ) separates the others (see Fig. 2a), then partial reflection in l r (reflection of exactly one of l p and l q ) decreases one of the three distances, which contradicts the assumption that Q min is minimal in the mutation class. If none of these lines separates the other two (see Fig. 2b), then for any choice of normal vectors there will be even number of positive scalar products (v i , v j ), which does not agree with Definition 2.2 for a cyclic quiver.
By Theorem 3.6, the contradiction shows that every mutation-cyclic quiver Q has C(Q) ≤ 4, admits a realization by π -rotations, and does not admit a realization by reflections if C(Q) = 4.
(3) First, by Lemma 3.5 a mutation-acyclic quiver cannot be realized by π -rotations. Next, a mutation-cyclic quiver with C(Q) = 4 cannot be realized by reflections as shown in the proof of part (2). Finally, suppose that Q is mutation-cyclic and C(Q) = 4. Then there is a realization of Q by π -rotations about 3 collinear points (as C(Q) = 4 is equivalent to the equality in the triangle inequality). Now, consider the line l containing these three points. Taking three lines through these three points orthogonal to l gives a realization by reflections.
Remark 4.5 (On realizations of (2, 2, 2)) In case of the quiver (2, 2, 2) both realizations above are very degenerate (i.e., either reflections with respect to three coinciding lines or π -rotations with respect to three coinciding points). However, one can also consider a realization by reflections with respect to three mutually parallel lines (in E 2 or H 2 ), this will lead to an infinite group G.

Remark 4.6
As it is mentioned in Section 5 of Beineke et al. (2011), if Q is mutationcyclic with C(Q) = 4 then the mutation class of Q may have no minimal quiver. Having in mind any of the two realizations of Q described above, it is clear that a mutation-cyclic Q = ( p, q, r ) has a minimal representative in the mutation class if and only if d p /d q ∈ Q. If d p /d q / ∈ Q then we can always make the distances between three collinear points (or between three lines) as small as we want, which means that the quiver tends to the Markov quiver (2, 2, 2).

Remark 4.7 (Geometric meaning of C(Q) for mutation-acyclic Q)
If Q is mutationacyclic, C(Q) is also responsible for the choice of the space H 2 , E 2 and S 2 . Indeed, the choice of this space depends on the sign of the determinant of the matrix M(B) (see Sect. 2.2.1), cf. Seven (2012): det M(B) = −2( p 2 + q 2 + r 2 + pqr − 4) = −2(C(Q) − 4).

Remark 4.8 (Geometric meaning of C(Q) for mutation-cyclic Q)
Let Q = ( p, q, r ) be mutation-cyclic, let A, B, C ∈ H 2 be the points providing a realization of Q by π -rotations, denote by R A , R B , R C the corresponding π -rotations. Then C(Q) is 123 Fig. 3 Geometric meaning of C (Q) responsible for the type of the hyperbolic isometry g = R A • R B • R C in the following way: g is elliptic (rotation by α, where 2 cos α = This can be proven following the ideas of Beardon (1983, §11.5). To a triangle with sides a, b, c and opposite angles α, β, γ one assigns a positive number λ := sinh a sinh b sin γ = sinh b sinh c sin α = sinh c sinh a sin β, where the equality follows from the (hyperbolic) sine rule. Theorem 11.5.1 of Beardon (1983) states that the square of the trace of the element of P SL(2, R) corresponding to g = R A • R B • R C equals 4λ 2 . Then a short exercise in hyperbolic geometry shows that 2λ = √ 4 − C, while the types of hyperbolic isometries are distinguished by the corresponding traces, see Beardon (1983).
We now summarize the geometric meaning of C(Q) provided in Theorem 4.4 and Remarks 4.7, 4.8 in Fig. 3. Namely, C(Q) tells whether Q is mutation-acyclic or mutation-cyclic (admits realization by reflections or π -rotations), for realization by reflections it chooses the space where the group G acts, and for realization by rotations tells the type of the product of the generators.

Application: Classification of Rank 3 Quivers of Finite Mutation Type
We now use the geometric models constructed above to classify rank 3 mutation-finite quivers.
Proof Suppose first that Q is cyclic, i.e. Q = ( p, q, r ), we may assume p ≥ q ≥ r > 0. If p > 2, then r = pq − r > 2q − r ≥ q, which implies that the mutation class contains an infinite sequence of quivers with strictly increasing sum of weights, so Q cannot be mutation-finite. Now, suppose Q = ( p, q, −r ) is acyclic with max( p, q, r ) > 2. Applying, if needed, sink/source mutations, we may assume Q = (r , q, − p) with p ≥ q ≥ r > 0, p > 2. Then, after one more mutation we get a cyclic quiver with p = qr + p > 2, which results in an infinite mutation class as shown above.
A combination of Lemma 3.3 with Lemma 5.1 leads to the following. Consider the realization T 0 = (l p , l q , l r ) of the quiver Q and let θ min = ∠(l q , l r ). Applying mutations μ 2 and μ 1 as in the proof of Lemma 5.3 (i.e., l p is always preserved and the image of l q is reflected with respect to the image of l r or vice versa), we will get further triangles T i realizing different quivers in the mutation class. We aim to show that some of the triangles T i either contains an angle smaller than θ min or has two disjoint sides (contradicting Lemma 5.1).
Let O = l q ∩ l r . Consider the lines through O forming the angle θ min with l p (see Fig. 5b), let S 1 and S 2 be the intersection points of these lines with l p . Let α be the other angle formed by these lines (see Fig. 5b). Each of the triangles T i has O as a vertex, and as the sum of angles in a hyperbolic triangle is less than π , we have ∠S 1 O S 2 < π − 2θ min , which implies that This means that at least one of the triangles T i will have a side crossing the grey domain between the lines. However, such a line will either be disjoint from l p or parallel to l p (contradicting Lemma 5.1 or the case considered above respectively), or it will cross l p at an angle smaller than θ min which is not possible either. The contradiction completes the proof of the lemma.
Proof Condition (a) implies (b) by Lemma 5.3. Next, (b) says that in the realization (l 0 , l 1 , l 2 ), one has ∠(l 1 , l 0 ) = k 1 π/n 1 and ∠(l 2 , l 0 ) = k 2 π/n 2 for some k i , n i ∈ Z + . This implies that under the mutations one can only obtain angles of size kπ/n 1 n 2 , where k ∈ Z + , k < n 1 n 2 . So, in any quiver mutation-equivalent to Q the weights can only take finitely many values 2 cos(kπ/n 1 n 2 ), which results in finitely many quivers in the mutation class. This shows equivalence of (a) and (b). Obviously, (c) implies (b). We are left to show that (c) follows from either (a) or (b).
Assume Q is mutation-finite. Then there is a minimal angle θ min obtained as an angle between the lines in a realization of some quiver Q in the mutation class of Q. Assume that θ min = ∠(l 1 , l 2 ) and consider the alternating sequence of mutations μ 1 and μ 2 . Up to conjugation, we can assume that all these mutations preserve l 0 and reflect the image of l 2 with respect to the image of l 1 (or vice versa). We obtain finitely many lines l 1 , l 2 , . . . , l m through O = l 1 ∩ l 2 , any two adjacent lines l i and l i+1 form an angle θ min and belong to a realization of one quiver (together with l 0 ). As the angle formed by l 0 and any of these lines cannot be smaller than θ min , we conclude that θ min = π/n for some integer n, and one of l 1 , . . . , l m , say l i , is parallel to l 0 , see Fig. 4. Then the lines (l i , l i−1 , l 0 ) form a realization of some quiver Q in the mutation class of Q, where Q = (2 cos θ min , 2 cos θ min , 2), θ min = π/n. This shows that (a) implies (c).
Proof By Lemma 5.3, the weights of Q are of the form 2 cos θ , where θ is a rational multiple of π . We will apply a mutation μ to Q and check whether μ(Q) still satisfies this condition. More precisely, we can assume that Q is acyclic and Q = ( p, q, −r ) = 2 cos π t n , 2 cos π s n , −2 cos π m n , where 0 < π t n ≤ π s n ≤ π m n ≤ π 2 and n ∈ Z + such that π/n is the smallest angle in the realization of the mutation class. Applying the mutation preserving p and q and changing r to r we get r = pq + r = 4 cos π t n cos π s n + 2 cos π m n = 2 cos π(s + t) n + 2 cos π(s − t) n + 2 cos π m n .
Notice that r should be also a double cosine of an integer multiple of π/n. So, if Q is mutation-finite, then there are integer numbers s, t, m, k, n satisfying the equation cos π(s + t) n + cos π(s − t) n + cos π m n = cos π k n .
It was shown by Conway and Jones (1976) that the only rational linear combinations of cosines of at most four rational multiples of π between 0 and π giving a rational 123 number (without proper subset having this property) are the following: cos π/3 = 1/2, cos π/2 = 0, − cos ϕ + cos(π/3 − ϕ) + cos(π/3 + ϕ) = 0 (0 < ϕ < π/6), cos π/5 − cos 2π/5 = 1/2, cos π/7 − cos 2π/7 + cos 3π/7 = 1/2, cos π/5 − cos π/15 + cos 4π/15 = 1/2, − cos 2π/5 + cos 2π/15 − cos 7π/15 = 1/2, or one of four other equations, each involving four cosines on the left and 1/2 on the right. The latter four equations are irrelevant to us as they have too many terms to result in an equation of type (1). So, we need to consider the former seven equations and a trivial identity cos ϕ +cos ψ = cos ϕ +cos ψ. For each of these identities we match its terms to the terms of (1) (taking into account the signs of the terms) and compute the values of s, t, m, k, n. Most of the values obtained by this procedure are not relevant by one of the two reasons: -either the values s, t, m, n correspond to a triangle in H 2 or E 2 , but not in S 2 as needed; -or the values s, t, m, n do not correspond to an acute-angled triangle (which should be the case as we start with an acyclic quiver Q).
After removing irrelevant results, there are 13 cases left, some of them corresponding to mutation-infinite quivers. To exclude these, we check one more mutation and write an equation similar to (1) for rq + p or r p + q. Removing these, we result in five quivers listed in the lemma plus two more quivers: (1, 1, −2 cos 2π/5) and (2 cos 2π/5, 2 cos 2π/5, −2 cos 2π/5), which turned out to be mutation-equivalent to (2 cos π/5, 2 cos 2π/5, 0) and (1, 2 cos 2π/5, 0) respectively. Table 1 we list the quivers belonging to the five finite mutation classes described by Lemma 5.7. Notice that two of these classes contain two acyclic representatives which are not sink/source equivalent.

Remark 5.8 (Finite mutation classes, spherical case) In
Corollary 5.1 together with Lemmas 5.4, 5.5 and 5.7 imply the following classification.