Arxiv:2107.13482V2 [Math.RT] 31 Jul 2021

arXiv:2107.13482v2 [math.RT] 31 Jul 2021 etr sa nee etrin vector integer an as vector, F fsm lse aibe eogn oacutr(e uscin2.4) Subsection (see cluster a to belonging particular, variables cluster some of n h omlfn fpltpscle h eeaie associahed generalized the PPPP]. called HPS, polytopes CFZ, of BMDMTY, fans [AHBHY, normal tropic the the example, and for subfans), their X as (or, subjects various itdcutragbawt rnia offiins(e uscin2.3 Subsection (see coefficients of variable principal cluster with Each algebra cluster ciated § fqatmgop.I eetyas thsapae nvrosar various in quivers, appeared of systems. has theory integrable it base representation and geometry, canonical years, example, and recent for groups mathematics, In Lie of groups. semisimple quantum of motivatio of positivity original Their total variables. study cluster to of tuples The certain variables. are cluster ters called generators with algebras commutative AEH rn ubr P0040 JP21K13761. JP20J00410, Numbers Grant KAKENHI .Introduction 1. ( vreis[G,tecutro tblt cteigdarm B GHKK], [B, diagrams scattering stability or cluster the [FG], -varieties B cci lse lerswt dense with algebras cluster Acyclic ersand gebras 2010 g Abstract. ffietp.A napiain ecasf nt dimensional finite dense classify we with application, algebras an As type. affine ler a dense a has algebra Let oi n eeisy[Z2 nrdcdcutragba,wihare which algebras, cluster introduced [FZ02] Zelevinsky and Fomin e od n phrases. and words Key h uhrwsspotdb aa oit o h rmto o Promotion the for Society Japan by supported was author The ,cle the called ), vco as npriua,w hwta once acycli connected a that show we particular, In fans. -vector The B ahmtc ujc Classification. Subject Mathematics easkew-symmetrizable a be F g ( vco aspa nipratrl nsuyn lse al- cluster studying in role important an play fans -vector B τ sasto oe in cones of set a is ) tligter.W uvycutragba ihdense with algebras cluster survey We theory. -tilting g vco a,woecnsaesandb the by spanned are cones whose fan, -vector g g vco a fadol fi sete nt yeor type finite either is it if only and if fan -vector vco fans. -vector A ohy Yurikusa Toshiya lse algebra, cluster ( B a ueia nain,cle the called invariant, numerical a has ) R n The . n R × n The . g g n 36;0E5 16G20. 05E45; 13F60; vco fan, -vector vcosin -vectors arxand matrix g vco asapa in appear fans -vector g vco fans -vector τ tligtheory. -tilting A ( A B ( hereditary omafan a form ) B cluster c h asso- the ) lcluster al g Science f -vectors Poisson was n clus- In . ron eas g ). s - 2 T. Yurikusa

It is well-known that if B is finite type, then F(B) is complete (Theorem 2.20). In this paper, we are interested in cluster algebras with dense g-vector fans, that is, the union of its cones is dense in Rn. When B is skew-symmetric, such cluster algebras were classified in [PY] except for two types (Theorem 2.24). In non-skew-symmetric cases, to our best knowledge, we know whether the g-vector fan is dense or not for rank 2, finite type or affine type (see Subsection 2.5). On the other hand, B is called mutation-finite if there are finitely many matrices which are mutation equivalent to B. Mutation-finite skew-symmetrizable matrices were classified in [FeST12a, FeST12b]. The class plays an important role in studying cluster algebras with dense g- vector fans. In fact, we show that if B is not mutation-finite, then F(B) is not dense (Theorem 2.25). In this paper, we review the classifications of mutation-finite skew- symmetrizable matrices and study cluster algebras with dense g-vector fans. In particular, we restrict them to acyclic cases. Seven [Se11] showed that an acyclic connected skew-symmetrizable matrix is mutation- finite if and only if it is rank 2, finite type or affine type (Theorem 2.29). Applying them for cluster algebras, we give a complete classification of acyclic cluster algebras with dense g-vector fans.

Theorem 1.1. A connected acyclic cluster algebra has a dense g- vector fan if and only if it is either ﬁnite type or aﬃne type.

As an application, we consider g-vector fans in τ-tilting theory (see Subsection 3.2). They play an important role in the study of stability conditions [K] and their wall-chamber structures (see e.g. [A, BST, DIJ, T, Y18]). Applying Theorem 1.1 for ﬁnite dimensional hereditary algebras over an algebraically closed ﬁeld k, we characterize such algebras with dense g-vector fans.

Theorem 1.2. A ﬁnite dimensional, connected, hereditary algebra over k has a dense g-vector fan if and only if it is Morita equivalent to the path algebra of either a Dynkin quiver or an extended Dynkin quiver.

This paper is organized as follows. In Section 2, we recall the notions of cluster algebras and their g-vector fans. In particular, we survey two classes of mutation-finite cluster algebras and ones with dense g-vector fans. We give the non-denseness of g-vector fans for infinite mutation type (Theorem 2.25) in Subsection 2.6 and prove Theorem 1.1 in Sub- section 2.7. In Section 3, we recall τ-tilting theory and g-vector fans on that. Finally, we get Theorem 1.2 via an additive categorification of cluster algebras in Subsection 3.3. Acyclic cluster algebras with dense g-vector fans 3

§2. Cluster algebras with dense g-vector fans 2.1. Mutation of matrices Let n be a positive integer. We say that an n × n integer matrix B = (bij ) is skew-symmetrizable if there is a positive integer diagonal matrix D = diag(d1,...,dn) such that DB is skew-symmetric, that is, dibij = −dj bji. We consider an operation that gives new matrices from a matrix, which plays an important role in deﬁning cluster algebras.

Deﬁnition 2.1. Let m ≥ n be positive integers and B = (bij ) an m×n integer matrix whose upper part (bij )1≤i,j≤n is skew-symmetrizable. ′ The mutation of B at k (1 ≤ k ≤ n) is the matrix µkB = (bij ) given by

′ −bij if i = k or j = k, bij = bij + bik[bkj ]+ + [−bik]+bkj otherwise, where [a]+ := max(a, 0).

It is elementary that the upper part of µkB is skew-symmetrizable. Moreover, µk is an involution, that is, µkµkB = B. Example 2.2. Any skew-symmetrizable 2 × 2 nonzero matrix is given by 0 c Bb,c := , −b 0 where b and c are integers and bc > 0. Then µi(Bb,c) = B−b,−c for i ∈{1, 2}. Moreover, for the 4 × 2 matrix Bˆ2,1 (see Subsection 2.3), we have the sequence of mutations as follows:

0 1 0 −1 0 1 −2 0 µ1  2 0  µ2 −2 0  1 0 −1 1 1 −1        0 1  0 1   2 −1 µ2       µ1 0 −1 0 1 0 −1 2 0  µ1 −2 0  µ2  2 0  1 0 −1 0 −1 0       0 −1  0 −1 −2 1        2.2. Finite mutation type

Let B = (bij )1≤i,j≤n be a skew-symmetrizable n × n matrix. Deﬁnition 2.3. We say that B is • mutation equivalent to B′ if it is obtained from B′ by a sequence of mutations; 4 T. Yurikusa

• mutation-finite if there are only finitely many matrices which are mutation equivalent to B; • mutation-infinite if it is not mutation-finite.

By Example 2.2, Bb,c is mutation equivalent to Bb′,c′ if and only if (b′,c′) = (±b, ±c). Thus any skew-symmetrizable 2 × 2 matrix is mutation-finite. For convenience, we prepare graphs representing skew-symmetrizable matrices [FZ03, Definition 7.3]. Definition 2.4. The diagram of B is weighted directed graph Γ(B) with vertices 1,...,n such that there is an arrow with weight |bij bji| from j to i if and only if bij > 0. Example 2.5. For positive integers b and c, we have the diagram

bc Γ(Bb,c)=1 ←− 2.

Remark that distinct skew-symmetrizable matrices may have the same diagram. When B is skew-symmetric, we represent its diagram Γ(B) as a quiver, which is a directed graph allowing multiple arrows, with vertices 1,...,n such that there are [bij ]+ arrows from j to i. This naturally induces that skew-symmetric matrices correspond bijectively with quivers without loops nor oriented cycles of length two. Dynkin (resp., extended Dynkin) diagrams are Dynkin (resp., extended Dynkin) graphs as in Figure 1 with arbitrary orientations except (1) for orientations of An forming an oriented cycle. Notice that Γ(Bb,c) is a Dynkin (resp., extended Dynkin) diagram if and only if bc < 4 (resp., bc = 4). Definition 2.6. We say that B is • connected if Γ(B) is connected; • acyclic if Γ(B) has no oriented cycles; • type Γ if it is mutation equivalent to a skew-symmetrizable matrix whose diagram (or quiver) is Γ. • finite type if it is type a Dynkin diagram; • affine type if it is type an extended Dynkin diagram. Felikson, Shapiro and Tumarkin completely classified mutation-finite skew-symmetrizable matrices. Theorem 2.7 ([FeST12a, FeST12b]). A connected mutation-finite skew-symmetrizable matrix is one of the following: • rank 2; • finite type or affine type; Acyclic cluster algebras with dense g-vector fans 5

Dynkin graphs extended Dynkin graphs

(1) 4 A1 ••

An ••• (1) • An •••

•

(1) 2 Bn ••• 2 Bn ••• • (1) 2 Cn ••• • • •

(1) Dn •• Dn •• • • • • • (1) E6 E6 • ••••• ••••• •

• (1) E7 E7 • •••••• •••••• • • (1) E8 • E8 • •• •••• •• •••••

2 (1) 2 F4 •••• F4 •••••

3 (1) 3 G2 •• G2 •••

Fig. 1. Dynkin graphs and extended Dynkin graphs, where unspeciﬁed weights are one 6 T. Yurikusa

• deﬁned from a triangulated orbifold (see [FoST, FeST12c]); (1,1) (1,1) (1,1) (∗,+) (∗,∗) • one of nine types E6 , E7 , E8 , X6, X7, F2 , F2 , (∗,+) (∗,∗) G2 or G2 as in Figure 2.

• • • (1,1) E6 • • •••• X6 • • •

• •

• • • (1,1) E7 • • • •••• X7 • • •

• •• • (1,1) E8 • • •••••• •

2 • 3 • (∗,+) (∗,+) F4 ••• 4 • G2 •• 4 2 • 3 •

2 • 3 • (∗,∗) (∗,∗) F4 •• 4 •• G2 • 4 • 2 • 3 •

Fig. 2. Exceptional quivers and diagrams

(1,1) (1,1) (1,1) Remark 2.8. (1) The quivers E6 , E7 and E8 are called tubular quivers and studied in e.g. [BG, BGJ, GG]. (2) Derksen and Owen [DO] found the quivers X6 and X7 as new mutation-ﬁnite quivers. (∗,+) (∗,∗) (∗,+) (∗,∗) (3) The diagonals F2 , F2 , G2 and G2 appear as diagrams of extended aﬃne root systems (see [FeST12b, Sa]). Acyclic cluster algebras with dense g-vector fans 7

2.3. Cluster algebras We recall cluster algebras with principal coefficients [FZ07]. Before giving the definition, we prepare some notations. Let F be the field of rational functions in 2n variables over Q. Definition 2.9. (1) A seed with coefficients is a pair (x, C) consisting of the following data: (a) x = (x1,...,xn,y1,...,yn) is a free generating set of F over Q. (b) C = (cij ) is a 2n × n integer matrix whose upper part is skew-symmetrizable with i ∈ I := {1, . . . , n, 1′,...,n′}. Then we refer to x as the cluster, to each xi as a cluster variable and yi as a coefficient. (2) For a seed (x, C) with coefficients, the mutation µk(x, C) = ′ ′ ((x1,...,xn,y1,...,yn),µkC) at k (1 ≤ k ≤ n) is defined by ′ xi = xi if i 6= k, and

′ [cik]+ [−cik]+ xkxk = xi + xi , Yi∈I Yi∈I

where xi′ = yi.

Note that µk is an involution and µk(x, C) is also a seed with coefficients. Moreover, the coefficients are not changed by mutations. The extended matrix of B is the skew-symmetrizable 2n × n matrix Bˆ whose upper part is B and whose lower part is the identity matrix of rank n. We fix a seed (x = (x1,...,xn,y1,...,yn), Bˆ) with coefficients, called the initial seed. We also call each xi the initial cluster variable. We are ready to define cluster algebras with principal coefficients. Definition 2.10. The cluster algebra A(B)= A(x, Bˆ) with principal coefficients for the initial seed (x, Bˆ) is a Z-subalgebra of F generated by the cluster variables and the coefficients obtained from (x, Bˆ) by all sequences of mutations. We say that the cluster algebra A(B) is finite type (resp., affine type, type Γ for a diagram Γ, rank n, connected) if so is B. One of the remarkable properties of cluster algebras with principal coefficients is the (strongly) Laurent phenomenon. Theorem 2.11 ([FZ02, FZ07]). Any cluster variable x is expressed by a Laurent polynomial of the initial cluster variables x1,...,xn and coefficients y1,...,yn with form f(x ,...,x ,y ,...,y ) x = 1 n 1 n , d1 dn x1 ··· xn 8 T. Yurikusa where f(x1,...,xn,y1,...,yn) ∈ Z[x1,...,xn,y1,...,yn] and di ∈ Z≥0.

Example 2.12. We consider a type B2 matrix B2,1. The mutation of the initial seed (x, Bˆ2,1) at 1 is given by 0 1 0 −1 2  −2 0  x2 + y1  2 0  (x , x ,y ,y ), 7→ , x ,y ,y , . 1 2 1 2 1 0 x 2 1 2 −1 1     1     0 1   0 1        Repeating mutations, we get the cluster algebra

2 2 x2 + y1 x2 + y1y2x1 + y1 A(B2,1)= Z y1,y2, x1, x2, , , x1 x1x2 2 2 2 y1y2x1 + x2 +2y1y2x1 + y1 y2x1 +1 2 , . x1x2 x2 The deﬁnition of cluster algebras naturally induces an isomophism A(B) ≃ A(B′) × A(B′′) for skew-symmetrizable matrices B, B′ and B′′ with Γ(B)=Γ(B′) ⊔ Γ(B′′). In the rest of this section, we assume that B is connected. 2.4. g-vector fans of cluster algebras Laurent phenomenon (Theorem 2.11) means that A(B) is contained ±1 ±1 n in Z[x1 ,...,xn ,y1,...,yn]. We consider its Z -grading given by n deg(xi)= ei, deg(yj )= −bij ei, Xi=1 n where e1,..., en are the standard basis vectors in Z . Proposition 2.13 (Proposition 6.1 of [FZ07]). Every cluster variable x of A(B) is homogeneous with respect to the Zn-grading deg. Deﬁnition 2.14. The degree deg(x) of a cluster variable x is called the g-vector of x. The cone spanned by the g-vectors of cluster variables in a cluster x is called the g-vector cone of x. The following means that g-vector cones in A(B) have dimension n. Theorem 2.15 ([GHKK, NZ]). The g-vectors of cluster variables in a cluster are linearly independent. All g-vector cones in a cluster algebra and their faces form a fan, which is the main subject in this paper. Theorem 2.16 ([GHKK]). There is a simplicial fan each of whose Acyclic cluster algebras with dense g-vector fans 9

• ray is spanned by the g-vector of a cluster variable of A(B); • maximal cone is the g-vector cone of a cluster of A(B); Deﬁnition 2.17. The fan in Theorem 2.16 is called the g-vector fan of A(B), and we denote it by F(B). We denote by F(B) the closure of the union of cones of F(B).

Example 2.18. Example 2.12 gives the g-vector fan of A(B2,1) as in Figure 3. In fact, for rank 2 cluster algebras, their g-vector fans are well-known. In particular, for bc ≥ 4, F(Bb,c) contains inﬁnitely many rays converging to the rays r± of slope (−bc ± bc(bc − 4))/2c. Moreover, if bc = 4, then r+ = r−. If bc > 4, then rp+ 6= r− and the interior of the cone spanned by r+ and r− is the complement of F(Bb,c) (see e.g. [GHKK, Example 1.15]). For example, F(B4,1) and F(B5,1) are given as in Figure 3.

r− = r+ r− r+

F(B2,1) F(B4,1) F(B5,1)

Fig. 3. Examples of the g-vector fans F(Bb,c)

Finally, we recall the following transition rule, which was conjectured in [FZ07, Conjecture 7.12].

Theorem 2.19. [GHKK, NZ] For k ∈ {1,...,n}, F(µkB) is ob- ′ tained from F(B) by the map (gi)1≤i≤n 7→ (gi)1≤i≤n, where

′ −gk if i = k, gi = gi + [bi,k]+gk − bik min(gk, 0) otherwise.

2.5. Cluster algebras with dense g-vector fans The g-vector fans of ﬁnite type have several nice properties. We focus on a well-known property. Theorem 2.20 (Theorem 10.6 of [R]). If B is ﬁnite type, then the g-vector fan F(B) is complete, that is, the union of its cones covers Rn. 10 T. Yurikusa

This naturally leads the following deﬁnition in a general setting. Deﬁnition 2.21. We say that the g-vector fan F(B) is dense if the union of its cones is dense in Rn.

By Example 2.18, we know that F(Bb,c) is dense (resp., complete) if and only if bc ≤ 4 (resp., bc < 4). The denseness of g-vector fans is preserved by mutations.

Proposition 2.22. If F(B) is dense, then so is F(µkB). Proof. The assertion holds since the transformation of mutations for g-vectors is piecewise linear by Theorem 2.19. Q.E.D.

Reading and Speyer [RS] studied the g-vector fans F of affine type cluster algebras and explicitly constructed the space outside of F as a cone of co-dimension one. In particular, this gives the denseness of F. Theorem 2.23 (Corollaries 1.3 and 4.9 of [RS]). If B is affine type, then the g-vector fan F(B) is dense. In general, it is not easy to exhibit the space outside of a g-vector fan. However, it’ll be possible to see the denseness to a certain extent. Skew-symmetric cluster algebras with dense g-vector fans were classified in [PY, Theorem 5.17] except for two types X6 and X7. Moreover, Seven [Se14] showed that if B is type X7, then F(B) is contained in some open half-space in R7. Theorem 2.24 ([PY, Se14]). Suppose that B is skew-symmetric except for type X6. Then the g-vector fan F(B) is dense if and only if B is mutation-finite except that it is

• Bb,b for b ∈ Z with |b| > 2; • defined from a triangulated surface with exactly one puncture; • type X7. Theorem 2.24 was proved via an additive categorification of skew- symmetric cluster algebras (see Remark 3.6). In general, there is no such a categorification yet.

2.6. Inﬁnite mutation type The following property was used in [PY] to prove Theorem 2.24 for skew-symmetric case. It is naturally extended to skew-symmetrizable case, and we will give its proof for the convenience of the reader. Theorem 2.25. If B is mutation-inﬁnite, then the g-vector fan F(B) is not dense. Acyclic cluster algebras with dense g-vector fans 11

To prove Theorem 2.25, we use a pull back of scattering diagrams. We refer to [B, GHKK, M] for the details of scattering diagrams. Roughly speaking, a scattering diagram is a set of walls, where a wall is a cone of co-dimension one in Rn together with some function. For the union of walls in a scattering diagram D, a connected component of its complement is called a chamber of D. One can construct a scattering diagram D(B) associated with B and it relates to the cluster algebra A(B). We only state their properties we need in this paper. Theorem 2.26 ([GHKK]). The interior of a g-vector cone in A(B) is a chamber of D(B). Theorem 2.26 means that a mutation in A(B) corresponds an adjacent pair of chambers C and C′ of D(B). The mutation of C at the wall C ∩ C′ is the operation replacing C with C′. Thus any g-vector D (n) cone in A(B) is the closure of a chamber C of (B) obtained from C0 (n) by a ﬁnite sequence of mutations, where C0 is the interior of the cone spanned by e1,..., en, The below proposition follows from the pull back of scattering diagrams given by Muller [M, Theorem 33] (see also the proof of [CL, Theorem 4.8]). For a subset I ⊂ {1,...,n}, we consider a projection n |I| πI : R → R given by (ri)1≤i≤n 7→ (ri)i∈I . We denote by BI the principal submatrix of B indexed by I. ∗ D Theorem 2.27 ([CL, M]). There is a scattering diagram πI (BI ) −1 D consisting of walls πI W for all walls W of (BI ). Moreover, each D ∗ D chamber of (B) is contained in some chamber of πI (BI ). For integers b and c with bc ≥ 4, we recall that there is an inﬁnite (2) D sequence of chambers ...,C−1, C0 = C0 , C1,... of (Bb,c) such that Ci and Ci+1 are adjacent, where C±1, C±2,... converge to r± as in Example 2.18. This induces Theorem 2.25 in a certain case.

Lemma 2.28. If there is J ⊂ {1,...,n} such that BJ = Bb,c with bc > 4, then the g-vector fan F(B) is not dense.

Proof. The scattering diagram D(BJ ) has inﬁnitely many chambers ...,C−1, C0, C1,... as above. Let C be a chamber of D(B) and D 2 the interior of the cone in R spanned by r+ and r−. By Proposition −1 −1 2.27, C is contained in πJ (D) or πJ Ci for some i. In the latter case, −1 −1 since the boundary of πJ Ci consists of the walls πJ (Ci−1 ∩ Ci) and −1 −1 −1 πJ (Ci ∩ Ci+1), a mutation of C is contained in πJ Ci−1, πJ Ci or −1 πJ Ci+1. Therefore, in the former case, there is no ﬁnite sequence of (n) −1 mutations connecting C0 and C, that is, F(B) ∩ πJ (D) = ∅. Thus −1 F(B) is not dense since πJ (D) has dimension n. Q.E.D. 12 T. Yurikusa

We are ready to prove Theorem 2.25. Proof of Theorem 2.25. If B is mutation-infinite, it is mutation ′ ′ equivalent to B such that BJ = Bb,c with bc > 4 for some J ⊂ {1,...,n}. By Lemma 2.28, F(B′) is not dense. Therefore, the assertion follows from Proposition 2.22. Q.E.D. 2.7. Acyclic cluster algebras with dense g-vector fans The cluster algebra A(B) is called acyclic if B is mutation equivalent to an acyclic skew-symmetrizable matrix. A classification of mutation-finite acyclic skew-symmetrizable matrices was given by Seven [Se11] (by Buan and Reiten [BR] for skew- symmetric case). Theorem 2.29 (Theorem 3.5 of [Se11]). Suppose that B is acyclic. Then B is mutation-finite if and only if it is rank 2, or Γ(B) is either a Dynkin diagram or an extended Dynkin diagram. Proof of Theorem 1.1. Suppose that B is mutation equivalent to an acyclic skew-symmetrizable matrix. By Theorem 2.25, we only consider the case that B is mutation-finite. In which case, B is rank 2, finite type or affine type by Theorem 2.29. In rank 2 case, F(Bb,c) is dense if and only if bc ≤ 4, that is, Bb,c is either finite type or affine type. Therefore, the assertion follows from Theorems 2.20 and 2.23. Q.E.D. Remark 2.30. For non-acyclic cases, we already have some infor- mation for the denseness of g-vector fans by the above theorems and rank 2 results. The remaining unknown cases are that B is defined from a triangulated orbifold with at least one orbifold point, or one of types (∗,+) (∗,∗) (∗,+) (∗,∗) X6, F2 , F2 , G2 or G2 . We don’t have a way to handle them all. In a follow-up work, we will study for cluster algebras associated with orbifolds.

§3. Application to representation theory

3.1. τ-tilting theory We briefly recall τ-tilting theory [AIR]. We refer to [ASS, ARS] for the basic notations and notions of representation theory of finite dimensional algebras. Let Λ be a finite dimensional algebra over an algebraically closed field k. We denote by modΛ (resp., proj Λ) the category of finitely generated (resp., finitely generated projective) left Λ-modules and by τ the Auslander-Reiten translation of modΛ. For M ∈ modΛ, |M| denotes the number of non-isomorphic indecomposable direct summands of M. Acyclic cluster algebras with dense g-vector fans 13

Deﬁnition 3.1. We say that a pair (M, P ) ∈ modΛ × proj Λ is

• τ-rigid if HomΛ(M,τM)=0=HomΛ(P,M); • τ-tilting if it is τ-rigid and |Λ| = |M| + |P | • basic if M and P are basic; • indecomposable if it is basic and |M| + |P | = 1. • a direct summand of (M ′, P ′) ∈ modΛ × proj Λ if M is a direct summand of M ′ and P is a direct summand of P ′; We denote by iτ-rigid Λ (resp., sτ-tilt Λ) the set of isomorphism classes of indecomposable τ-rigid (resp., basic τ-tilting) pairs in modΛ. For N ∈ sτ-tilt Λ and an indecomposable direct summand N ′ of N, there is a unique indecomposable τ-rigid pair N ′′ such that N ′′ ≇ N ′ and N/N ′ ⊕ N ′′ ∈ sτ-tilt Λ [AIR, Theorem 0.4]. Therefore, one can deﬁne mutations in sτ-tilt Λ.

3.2. g-vector fans on τ-tilting theory n Let Λ = i=1 Pi be a decomposition of Λ, where n := |Λ| and Pi is an indecomposableL projective Λ-module. Then [P1],..., [Pn] form a basis for K0(proj Λ), thus there is a natural bijection between K0(proj Λ) and Zn. Let M ∈ modΛ. For a minimal projective presentation of M

P 1 → P 0 → M → 0, we set 0 1 n gΛ(M) := [P ] − [P ] ∈ K0(proj Λ) ≃ Z , called the g-vector of M. The g-vector of (M, P ) ∈ modΛ × proj Λ is given by gΛ(M, P ) := gΛ(M) − gΛ(P ). We can consider the same things as cluster algebras. Theorem 3.2 ([DIJ, DF]). There is a simplicial fan each of whose (1) ray is spanned by the g-vector of an indecomposable τ-rigid pair in modΛ; (2) maximal cone is spanned by the g-vectors of indecomposable direct summands of a τ-tilting pair in modΛ. Definition 3.3. The fan in Theorem 3.2 is called the g-vector fan of Λ, and it is denoted by F(Λ). Definition 3.4. The algebra Λ is called g-tame if the g-vector fan F(Λ) is dense. It is known that the following class is g-tame: • τ-tilting finite algebras [DIJ]; • Jacobian algebras associated with triangulated surfaces [Y20]; 14 T. Yurikusa

• tame algebras [PY] (in particular, path algebras of extended Dynkin quivers [H]; special biserial algebras [AY]). Theorem 1.2 characterizes g-tame hereditary algebras. We prove it in the next section.

3.3. Additive categorification of cluster algebras Let B be a skew-symmetric matrix. Then the diagram Γ(B) is just a quiver. Moreover, if B is acyclic, then the path algebra kΓ(B) is finite dimensional. The following categorification of acyclic skew-symmetric cluster algebras is due to [AIR, Theorems 3.2 and 4.7] and [FK, Theorem 6.3] (see also [BMRRT]). Theorem 3.5 (Additive categorification). Suppose that B is acyclic. Then there is a bijection

iτ-rigid kΓ(B) ↔{Cluster variables of A(B)} that preserves g-vectors. It induces a bijection

sτ-tilt kΓ(B) ↔{Clusters of A(B)} that sends kΓ(B) to the initial cluster and commutes with mutations. Remark 3.6. The skew-symmetric matrix B defines a Jacobian algebra J(B) via a quiver with potential [DWZ], where J(B)= kΓ(B) if B is acyclic. If J(B) is finite dimensional, then an analogue of Theo- rem 3.5 is induced by the results of [AIR, CIKLFP, FK] (see e.g. [Y20, Theorem 4.4]). In particular, if B is mutation-finite, J(B) is a finite dimensional tame algebra except for types X6 and X7 [GLFS] (see also [GGS, L, LF09, LF16]). The g-tameness of tame algebras provides The- orem 2.24 (see [PY, Section 5]). Finally, we consider finite dimensional hereditary algebras. It is well-known that any such an algebra Λ is Morita equivalent to the path algebra kQ of an acyclic quiver Q, that is, there is an equivalence of categories modΛ ≃ modkQ (see e.g. [ASS]). Since there is a skew- symmetric matrix whose diagram is Q, we can get Theorem 1.2.

Proof of Theorem 1.2. The assertion follows from Theorems 1.1 and 3.5. Q.E.D.

Acknowledgements. The author thanks Tomoki Nakanishi for useful discussion about rank 2 scattering diagrams and Nathan Reading for helpful comments on Theorem 2.23. Acyclic cluster algebras with dense g-vector fans 15

References

[AIR] Takahide Adachi, Osamu Iyama, and Idun Reiten, τ-tilting theory, Com- positio Mathematica 150.3 (2014) 415–452. [AY] Toshitaka Aoki and Toshiya Yurikusa, Complete special biserial algebras are g-tame, arXiv:2003.09797. [AHBHY] Nima Arkani-Hamed, Yuntao Bai, Song He, and Gongwang Yan, Scattering forms and the positive geometry of kinematics, color and the worldsheet, Journal of High Energy Physics 2018.5 (2018) 1–78. [A] Sota Asai, The wall-chamber structures of the real Grothendieck groups, Advances in Mathematics 381 (2021) 107615. [ASS] Ibrahim Assem, Daniel Simson, and Andrzej Skowroński, Elements of the Representation Theory of Associative Algebras: Volume 1: Techniques of Representation Theory, No. 65. Cambridge University Press, 2006. [ARS] Maurice Auslander, Idun Reiten, and Sverre O. Smalo, Representation theory of Artin algebras, No. 36. Cambridge University Press, 1997. [BG] Michael Barot and Christof Geiss, Tubular cluster algebras I: categorification, Mathematische Zeitschrift 271.3-4 (2012) 1091–1115. [BGJ] Michael Barot, Christof Geiss and Gustavo Jasso, Tubular cluster algebras II: exponential growth, Journal of Pure and Applied Algebra 217.10 (2013) 1825–1837. [BMDMTY] Véronique Bazier-Matte, Guillaume Douville, Kaveh Mousa- vand, Hugh Thomas, and Emine Yıldırım, ABHY Associahedra and Newton polytopes of F -polynomials for finite type cluster algebras, arXiv:1808.09986. [B] Tom Bridgeland, Scattering diagrams, Hall algebras and stability conditions, Algebraic Geometry 4, 5 (2017) 523–561. [BMRRT] Aslak Bakke Buan, Robert Marsh, Markus Reineke, Idun Reiten, and Gordana Todorov, Tilting theory and cluster combinatorics, Advances in mathematics 204.2 (2006) 572–618. [BST] Thomas Brüstle, David Smith, and Hipolito Treffinger, Wall and chamber structure for finite-dimensional algebras, Advances in Mathematics 354 (2019) 106746. [BR] Aslak Bakke Buan and Idun Reiten, Acyclic quivers of finite mutation type, International Mathematics Research Notices (2006) 12804. [CL] Peigen Cao and Fang Li, The enough g-pairs property and denominator vectors of cluster algebras, Mathematische Annalen 377.3 (2020) 1547– 1572. [CIKLFP] Giovanni Cerulli Irelli, Bernhard Keller, Daniel Labardini-Fragoso, and Pierre-Guy Plamondon, Linear independence of cluster monomi- als for skew-symmetric cluster algebras, Compositio Mathematica 149.10 (2013) 1753–1764. [CFZ] Frédéric Chapoton, Sergey Fomin, and Andrei Zelevinsky, Polytopal re- alizations of generalized associahedra, Canadian Mathematical Bulletin 45.4 (2002) 537–566. 16 T. Yurikusa

[DIJ] Laurent Demonet, Osamu Iyama, and Gustavo Jasso, τ-tilting finite algebras, bricks, and-vectors, International Mathematics Research Notices 3 (2019) 852–892. [DF] Harm Derksen and Jiarui Fei, General presentations of algebras, Advances in Mathematics 278 (2015) 210–237. [DO] Harm Derksen and Theodore Owen, New graphs of finite mutation type, Electron. J. Combin 15 (2008) R139, 15pp. [DWZ] Harm Derksen, Jerzy Weyman, and Andrei Zelevinsky, Quivers with potentials and their representations I: Mutations, Selecta Mathematica 14.1 (2008) 59–119. [FeST12a] Anna Felikson, Michael Shapiro, and Pavel Tumarkin, Skew- symmetric cluster algebras of finite mutation type, Journal of the Eu- ropean Mathematical Society 14.4 (2012) 1135–1180. [FeST12b] Anna Felikson, Michael Shapiro, and Pavel Tumarkin, Cluster algebras of finite mutation type via unfoldings, International Mathematics Research Notices 2012.8 (2012) 1768–1804. [FeST12c] Anna Felikson, Michael Shapiro, and Pavel Tumarkin, Cluster algebras and triangulated orbifolds, Advances in Mathematics 231.5 (2012) 2953–3002. [FG] Vladimir V. Fock and Alexander B. Goncharov, Cluster ensembles, quan- tization and the dilogarithm, Annales scientifiques de l’Ecole normale supérieure. Vol. 42. No. 6. 2009. [FoST] Sergey Fomin, Michael Shapiro, and Dylan Thurston, Cluster algebras and triangulated surfaces. Part I: Cluster complexes, Acta Mathematica 201.1 (2008) 83–146. [FZ02] Sergey Fomin and Andrei Zelevinsky, Cluster algebras I: foundations, Journal of the American Mathematical Society 15.2 (2002) 497–529. [FZ03] Sergey Fomin and Andrei Zelevinsky, Cluster algebras II: Finite type classification, Inventiones mathematicae 154.1 (2003) 63–121. [FZ07] Sergey Fomin and Andrei Zelevinsky, Cluster algebras IV: coefficients, Compositio Mathematica 143.1 (2007) 112–164. [FK] Changjian Fu and Bernhard Keller, On cluster algebras with coefficients and 2-Calabi-Yau categories, Transactions of the American Mathematical Society 362.2 (2010) 859–895. [GGS] Christof Geiss and Raúl González-Silva, Tubular jacobian algebras, Alge- bras and Representation Theory 18.1 (2015) 161–181. [GLFS] Christof Geiss, Daniel Labardini-Fragoso, and Jan Schröer, The representation type of Jacobian algebras, Advances in Mathematics 290 (2016) 364–452. [GG] Christof Geiss and Raúl González-Silva, Tubular jacobian algebras, Alge- bras and Representation Theory 18.1 (2015) 161–181. [GHKK] Mark Gross, Paul Hacking, Sean Keel, and Maxim Kontsevich, Canon- ical bases for cluster algebras, Journal of the American Mathematical Society 31.2 (2018) 497–608. Acyclic cluster algebras with dense g-vector fans 17

[H] Lutz Hille, On the volume of a tilting module, Abhandlungen aus dem Math- ematischen Seminar der Universität Hamburg. Vol. 76. No. 1. Springer- Verlag, 2006. [HPS] Christophe Hohlweg, Vincent Pilaud, and Salvatore Stella, Polytopal real- izations of finite type g-vector fans, Advances in Mathematics 328 (2018) 713–749. [K] Alastair D. King, Moduli of representations of finite dimensional algebras, The Quarterly Journal of Mathematics 45.4 (1994) 515–530. [L] Sefi Ladkani, Mutation classes of certain quivers with potentials as derived equivalence classes, arXiv:1102.4108. [LF09] Daniel Labardini-Fragoso, Quivers with potentials associated to triangulated surfaces, Proceedings of the London Mathematical Society 98.3 (2009) 797–839. [LF16] Daniel Labardini-Fragoso, Quivers with potentials associated to triangulated surfaces, part IV: removing boundary assumptions, Selecta Mathe- matica 22.1 (2016) 145–189. [M] Greg, Muller, The Existence of a Maximal Green Sequence is not Invariant under Quiver Mutation, The Electronic Journal of Combinatorics 23.2 (2016) P2–47. [NZ] Tomoki Nakanishi and Andrei Zelevinsky, On tropical dualities in cluster algebras, Algebraic groups and quantum groups 565 (2012) 217–226. [PPPP] Arnau Padrol, Yann Palu, Vincent Pilaud, and Pierre-Guy Plamondon, Associahedra for finite type cluster algebras and minimal relations between g-vectors, arXiv:1906.06861. [PY] Pierre-Guy Plamondon and Toshiya Yurikusa, with an appendix by Bern- hard Keller, Tame algebras have dense g-vector fans, to appear in Inter- national Mathematics Research Notices, rnab105, arXiv:2007.04215. [R] Nathan Reading, Universal geometric cluster algebras, Mathematische Zeitschrift 277.1-2 (2014) 499–547. [RS] Nathan Reading and David Speyer, Cambrian frameworks for cluster algebras of affine type, Transactions of the American Mathematical Society 370.2 (2018) 1429–1468. [Sa] Kyoji Saito, Extended affine root systems I (Coxeter transformations), Pub- lications of the Research Institute for Mathematical Sciences 21.1 (1985) 75–179. [Se11] Ahmet I. Seven, Cluster algebras and semipositive symmetrizable matrices, Transactions of the American Mathematical Society 363.5 (2011) 2733–2762. [Se14] Ahmet I. Seven, Maximal green sequences of exceptional finite mutation type quivers, SIGMA. Symmetry, Integrability and Geometry: Methods and Applications 10 (2014) 089. [T] Hipolito Treffinger, On sign-coherence of c-vectors, Journal of Pure and Applied Algebra 223.6 (2019) 2382–2400. [Y18] Toshiya Yurikusa, Wide subcategories are semistable, Documenta Mathe- matica 23 (2018) 35–47. 18 T. Yurikusa

[Y20] Toshiya Yurikusa, Density of g-vector cones from triangulated surfaces, International Mathematics Research Notices 2020.21 (2020) 8081–8119.

Mathematical Institute, Tohoku University, Aoba-ku, Sendai, 980-8578, Japan E-mail address: [email protected]