arxiv: v3 [math.rt] 3 Dec 2013

Transcription

1 CLASSIFYING τ-tilting MODULES OVER PREPROJECTIVE ALGEBRAS OF DYNKIN TYPE arxiv: v3 [math.rt] 3 Dec 2013 YUYA MIZUNO Abstract. We study support τ-tilting modules over preprojective algebras of Dynkin type. We classify basic support τ-tilting modules by giving a bijection with elements in the corresponding Weyl groups. Moreover we show that they are in bijection with the set of torsion classes, the set of torsion-free classes and other important objects in representation theory. We also study g-matrices of support τ-tilting modules, which show terms of minimal projective presentations of indecomposable direct summands. We give an explicit description of g-matrices and prove that cones given by g-matrices coincide with chambers of the associated root systems. Contents Introduction 1 1. Preliminaries Preprojective algebras Support τ-tilting modules Torsion classes 6 2. Support τ-tilting ideals and the Weyl group Support τ-tilting ideals Bijection between support τ-tilting modules and the Weyl group Partial orders of support τ-tilting modules and the Weyl group g-matrices and cones Further connections 22 References 24 Introduction Preprojective algebras first appeared in the work of Gelfand-Ponomarev [GP]. Since then, they have been one of the important objects in the representation theory of algebras, for example [DR1, BGL, DR2]. Preprojective algebras appear also in many branches of mathematics. For instance, they play central roles in Lusztig s Lagrangian construction of semicanonical basis [L1, L2]. In [BIRS] (see also [IR]), the authors studied preprojective algebras of non-dynkin quivers via tilting theory. As an application, they succeeded to construct a large class of 2-Calabi-Yau categories which have close connections with cluster algebras. On the other hand, in Dynkin cases (i.e. the underlying graph of a quiver is A n (n 1), D n (n 4) and E n (n = 6,7,8)), the preprojective algebras are selfinjective, so that all tilting modules are trivial (i.e. projective) and they are not effective tools. In this paper, instead of tilting The author is supported by Grant-in-Aid for JSPS Fellowships No

2 2 YUYA MIZUNO modules, we will study support τ-tilting modules (Definition 1.3) over the preprojective algebras of Dynkin type. The notion of support τ-tilting modules was introduced in [AIR], as a generalization of tilting modules. Support τ-tilting modules have several nice properties. For example, it is shown that there are deep connections between τ-tiltihg theory, torsion theory, silting theory and cluster tilting theory. Support τ-tilting modules also have nicer mutation properties than tilting modules, that is, mutation of support τ-tilting modules is always possible (Definition-Theorem 1.5). Moreover, support τ-tilting modules over selfinjective algebras are useful to provide tilting complexes [M]. It is therefore fruitful to investigate these remarkable modules for preprojective algebras. To explain our results, we give the following set-up. Let Q be a finite connected acyclic quiver with the set Q 0 = {1,...,n} of vertices, Λ the preprojective algebra of Q and I i the two-sided ideal of Λ generated by 1 e i, where e i is an idempotent of Λ corresponding to i Q 0. These ideals are quite useful to study structure of categories [IR, BIRS, AIRT, ORT]. They also play important roles in Geiss- Leclerc-Schröer s construction of cluster monomials of certain types of cluster algebras [GLS1, GLS3] and Baumann-Kamnitzer-Tingley s theory of affine MV polytopes [BKT]. If Q is non-dynkin, then I i is a tilting module. On the other hand, if Q is Dynkin, then I i is never a tilting module. Instead, we show that I i is a support τ-tilting module (Lemma 2.3) and this observation is crucial in this paper. We denote by I 1,...,I n the set of ideals of Λ of the form I i1 I i2 I ik for some k 0 and i 1,...,i k Q 0. Our main goal is to give the following bijections which provide a complete description of support τ-tilting modules over preprojective algebras of Dynkin type. Theorem 0.1 (Theorem 2.21). Let Q be a Dynkin quiver with the set Q 0 = {1,...,n} of vertices and Λ the preprojective algebra of Q. There are bijections between the following objects. (a) The elements of the Weyl group W Q associated with Q. (b) The set I 1,...,I n. (c) The set sτ-tiltλ of isomorphism classes of basic support τ-tilting Λ-modules. (d) The set sτ-tiltλ op of isomorphism classes of basic support τ-tilting Λ op -modules. These bijections give a strong relationship between the representation theory of algebras and root systems as below. It is known that support τ-tilting modules have a natural structure of partially ordered set (Definition 1.4). We relate this partial order with that of the Weyl group. Theorem 0.2 (Theorem 2.30). The bijection W Q sτ-tiltλ in Theorem 0.1 gives an isomorphism of partially ordered sets (W Q, L ) and (sτ-tiltλ, ) op, where L is the left weak order on W Q. We also study the g-matrix (Definition 3.1) of support τ-tilting module T, which shows terms of minimal projective presentations of each indecomposable direct summand of T. By g-matrices, we define cones, which provide a geometric realization of the simplicial complex of support τ-tilting modules. We give a complete description of g-matrices in terms of reflection transformations and show that their cones coincide with chambers of the associated root system. The results are summarized as follows, where e 1,...,e n is the canonical basis of Z n, C 0 := {a 1 e 1 + +a n e n a i R >0 } and σ : W Q GL n (Z) is the contragradient of the geometric representation (Definition 3.5).

3 CLASSIFYING τ-tilting MODULES OVER PREPROJECTIVE ALGEBRAS OF DYNKIN TYPE 3 Theorem 0.3 (Theorem 3.8). Let Q be a Dynkin quiver with the set Q 0 = {1,...,n} of vertices and Λ the preprojective algebra of Q. (a) The set of g-matrices of support τ-tilting Λ-modules coincides with σ (W Q ). (b) For any w W Q, we have C(w) = σ (w)(c 0 ), where C(w) denotes the cone of the support τ-tilting module I w (Definition 3.1). In particular, cones of basic support τ-tilting Λ-modules give chambers of the associated root system. The above results give several important applications. Among others we conclude that there are only finitely many basic support τ-tilting Λ-modules. This fact yields bijections between basic support τ-tilting Λ-modules, torsion classes in modλ and torsion-free classes in modλ by a result in [IJ]. Then we can give complete descriptions of these two classes in terms of W Q (Proposition 4.2). This seems to be interesting by itself since almost all preprojective algebras are of wild representation type. As another application, by combining with results of [AIR], [KY, BY] and [ORT], we extend bijections of Theorem 0.1 as follows. Corollary 0.4 (Corollary 4.1). Objects of Theorem 0.1 are in bijection with the following objects. (e) The set of torsion classes in modλ. (f) The set of torsion-free classes in modλ. (g) The set of isomorphism classes of basic two-term silting complexes in K b (projλ). (h) The set of intermediate bounded co-t-structures in K b (projλ) with respect to the standard co-t-structure. (i) The set of intermediate bounded t-structures in D b (modλ) with length heart with respect to the standard t-structure. (j) The set of isomorphism classes of two-term simple-minded collections in D b (modλ). (k) The set of quotient closed subcategories in modkq. (l) The set of subclosed subcategories in modkq. We now describe the organization of this paper. In section 1, we recall definitions of preprojective algebras, support τ-tilting modules and torsion classes. In section 2.1, we introduce support τ-tilting ideals (Definition 2.1), which play key roles in this paper. Moreover, we prove that any element of I 1,...,I n is a basic support τ-tilting ideal (Theorem 2.2). In section 2.2, we prove that elements of W Q correspond bijectively with support τ-tilting modules (Theorem 2.21). Using this, we give a description of mutations of support τ-tilting modules in terms of the Weyl group W Q. We also determine the annihilators of all support τ-tilting modules. In section 2.3, we give an (anti)isomorphism between a partial order of W Q and that of sτ-tiltλ (Theorem 2.30). In section 3, we deal with g-matrices of support τ-tilting modules. We give an explicit description of them in terms of reflection transformations. Furthermore, we study cones of support τ-tilting modules and show that they coincide with chambers of the associated root system. In section 4, we show Corollary 0.4. In particular, we give complete descriptions of torsion classes and torsion-free classes (Proposition 4.2). Furthermore, we explain a relationship between our results and other works.

4 4 YUYA MIZUNO Notations. LetK beanalgebraically closedfieldandwedenotebyd := Hom K (,K). By a finite dimensional algebra Λ, we mean a basic finite dimensional algebra over K. By a module, we mean a right module unless stated otherwise. We denote by modλ the category of finitely generated Λ-modules and by projλ the category of finitely generated projective Λ-modules. The composition gf means first f, then g. We denote by Q 0 the set of vertices and by Q 1 the set of arrows of a quiver Q. For an arrow a Q 1, we denote by s(a) and e(a) the start and end vertices of a respectively. For X modλ, we denote by SubX (respectively, FacX) the subcategory of modλ whose objects are submodules (respectively, factor modules) of finite direct sums of copies of X. We denote by addm the subcategory of modλ consisting of direct summands of finite direct sums of copies of M modλ. Acknowledgement. First and foremost, the author would like to thank Osamu Iyama for his support and patient guidance. He would like to express his gratitude to Steffen Oppermann, who kindly explain results of his paper. He is grateful to Joseph Grant, Laurent Demonet and Dong Yang for answering questions and helpful comments. He thanks Kota Yamaura, Takahide Adachi and Gustavo Jasso for their help and stimulating discussions. The author is very grateful to the anonymous referee for valuable comments, especially for suggesting the better terms and sentences. 1. Preliminaries 1.1. Preprojective algebras. In this subsection, we recall definitions and some properties of preprojective algebras. We refer to [BBK, Ri] for basic properties and background information. Definition 1.1. Let Q be a finite connected acyclic quiver with vertices Q 0 = {1,...,n}. The preprojective algebra associated to Q is the algebra Λ = KQ/ a Q 1 (aa a a) where Q is the double quiver of Q, which is obtained from Q by adding for each arrow a : i j in Q 1 an arrow a : i j pointing in the opposite direction. If Q is a non-dynkin quiver, the bounded derived category D b (fdλ) of the category fdλ of finite dimensional modules are 2-Calabi-Yau (2-CY for short), that is, there is a functorial isomorphism DHom D b (fdλ)(x,y) = Hom D b (fdλ)(y,x[2]). We refer to [AR2, Boc, CB] and see [GLS2] for the detailed proofs. On the other hand, the algebra Λ is finite-dimensional selfinjective if Q is a Dynkin quiver. In this paper, we use the two-sided ideal I i of Λ generated by 1 e i, where e i is a primitive idempotent of Λ for i Q 0. It is easy to see that the ideal has the following property, where we denote by S i := Λ/I i. Lemma 1.2. Let Q be a finite connected acyclic quiver, Λ the preprojective algebra of Q and X modλ. Then XI i is maximal amongst submodules Y of X such that any composition factor of X/Y is isomorphic to a simple module S i.

5 CLASSIFYING τ-tilting MODULES OVER PREPROJECTIVE ALGEBRAS OF DYNKIN TYPE Support τ-tilting modules. We recall the definition of support τ-tilting modules. We refer to [AIR] for the details about support τ-tilting modules. Let Λ be a finite dimensional algebra and τ denote the AR translation [ARS]. Definition 1.3. (a) We call X in modλ τ-rigid if Hom Λ (X,τX) = 0. (b) We call X in modλ τ-tilting (respectively, almost complete τ-tilting) if X is τ- rigid and X = Λ (respectively, X = Λ 1), where X denotes the number of non-isomorphic indecomposable direct summands of X. (c) We call X in modλ support τ-tilting if there exists an idempotent e of Λ such that X is a τ-tilting (Λ/ e )-module. (d) We call a pair (X,P) of X modλ and P projλ τ-rigid if X is τ-rigid and Hom Λ (P,X) = 0. (e) We call a τ-rigid pair (X, P) a support τ-tilting (respectively, almost complete support τ-tilting) pair if X + P = Λ (respectively, X + P = Λ 1). We call (X,P) basic if X and P are basic, and we say that (X,P) is a direct summand of (X,P ) if X is a direct summand of X and P is a direct summand of P. Note that (X,P) is a τ-rigid (respectively, support τ-tilting) pair for Λ if and only if X is a τ-rigid (respectively, τ-tilting) (Λ/ e )-module, where e is an idempotent of Λ such that addp = addeλ [AIR, Proposition 2.3]. Moreover, if (X,P) and (X,P ) are support τ- tilting pairs for Λ, then we get addp = addp. Thus, a basic support τ-tilting module X determines a basic support τ-tilting pair (X,P) uniquely and we can identify basic support τ-tilting modules with basic support τ-tilting pairs. We denote by sτ-tiltλ the set of isomorphism classes of basic support τ-tilting Λ- modules. Next we recall some properties of support τ-tilting modules. The set of support τ-tilting modules has a natural partial order as follows. Definition 1.4. Let Λ be a finite dimensional algebra. For T,T sτ-tiltλ, we write T T if FacT FacT. Then gives a partial order on sτ-tiltλ [AIR, Theorem 2.18]. Then we give the following results, which play significant roles in this paper. Definition-Theorem 1.5. [AIR, Theorem 2.18, 2.28 and 2.30] Let Λ be a finite dimensional algebra. Then (i) any basic almost support τ-tilting pair (U,Q) is a direct summand of exactly two basic support τ-tilting pairs (T,P) and (T,P ). Moreover, we have T > T or T < T. Under the above setting, let X be an indecomposable Λ-module satisfying either T = U X or P = Q X. We write (T,P ) = µ (X,0) (T,P) if X is a direct summand of T and (T,P ) = µ (0,X) (T,P) if X is a direct summand of P, and we say that (T,P ) is a mutation of (T,P). In particular, we say that (T,P ) is a left mutation (respectively, right mutation) of (T,P) if T > T (respectively, if T < T ) and write µ (respectively, µ + ). By (i), exactly one of the left mutation or right mutation occurs. Now, assume that X is a direct summand of T and T = U X. In this case, for simplicity, we write a left mutation T = µ X (T) and a right mutation T = µ + X (T). Then, the following conditions are equivalent. (ii) (a) T > T (i.e. T = µ X (T)).

6 6 YUYA MIZUNO (b) X / FacU. Furthermore, if T is a τ-tilting Λ-module and (ii) holds, then we obtain the following result. (iii) Let X f U Y 0 be an exact sequence, where f is a minimal left (addu)- approximation. Then one of the following holds. (a) Y = 0 and µ X (T) = U is a basic support τ-tilting Λ-module. (b) Y 0 and Y is a direct sum of copies of an indecomposable Λ-module Y 1, which is not in addt, and µ X (T) = Y 1 U is a basic τ-tilting Λ-module. Finally, we define the following useful quiver. Definition 1.6. Let Λ be a finite dimensional algebra. We define the support τ-tilting quiver H(sτ-tiltΛ) as follows. The set of vertices is sτ-tiltλ. Draw an arrow from T to T if T is a left mutation of T (i.e. T = µ X (T)). The following theorem relates H(sτ-tiltΛ) with partially orders of sτ-tiltλ. Theorem 1.7. [AIR, Corollary 2.34] The support τ-tilting quiver H(sτ-tiltΛ) is the Hasse quiver of the partially ordered set sτ-tiltλ Torsion classes. The notion of torsion classes has been extensively studied in the representation theory. As we will see below, support τ-tilting modules have a close relationship with torsion classes. Definition 1.8. Let Λ be a finite dimensional algebra and T a full subcategory in modλ. (a) We call T torsion class (respectively, torsion-free class) if it is closed under factor modules (respectively, submodules) and extensions. (b) We call T a contravariantly finite subcategory in modλ if for each X modλ, there is a map f : T X with T T such that Hom Λ (T,T) f Hom Λ (T,X) is surjective for all T T. Dually, a covariantly finite subcategory is defined. We call T a functorially finite subcategory if it is contravariantly and covariantly finite. We denote by f-torsλ the set of functorially finite torsion classes in modλ. Then, we have the following result, where we denote by P(T ) the direct sum of one copy ofeachoftheindecomposableext-projective objectsint (i.e. {X T Ext 1 Λ (X,T ) = 0}) up to isomorphism. Theorem 1.9. [AIR] For a finite dimensional algebra Λ, there are mutually inverse bijections sτ-tiltλ f-torsλ given by sτ-tiltλ T FacT f-torsλ and f-torsλ T P(T ) sτ-tiltλ. Thus, support τ-tilting modules are quite useful to investigate functorially finite torsion classes. Moreover, we have the following much stronger result under the assumption that sτ-tiltλ <. Theorem [IJ] For a finite dimensional algebra Λ, the following conditions are equivalent. (a) sτ-tiltλ <. (b) Any torsion class in modλ is functorially finite. (c) Any torsion-free class in modλ is functorially finite.

7 CLASSIFYING τ-tilting MODULES OVER PREPROJECTIVE ALGEBRAS OF DYNKIN TYPE 7 Therefore, if there are only finitely many basic support τ-tilting modules, then Theorem 1.9 give a bijection between sτ-tiltλ and torsion classes of modλ. 2. Support τ-tilting ideals and the Weyl group The aim of this section is to give a complete description of all support τ-tilting modules over preprojective algebras of Dynkin type. We also study their several properties. Throughout this section, unless otherwise specified, let Q be a Dynkin quiver with Q 0 = {1,...,n}, Λ the preprojective algebra of Q and I i := Λ(1 e i )Λ for i Q 0. We denote by I 1,...,I n the set of ideals of Λ which can be written as for some k 0 and i 1,...,i k Q 0. I i1 I i2 I ik 2.1. Support τ-tilting ideals. In this subsection, we introduce support τ-tilting ideals. We will show that any element of I 1,...,I n is a basic support τ-tilting ideal. This fact plays a key role in this paper. We start with the following definition. Definition 2.1. We call a two-sided ideal I of Λ support τ-tilting if I is a left support τ-tilting Λ-module and a right support τ-tilting Λ-module. The aim of this subsection is to prove the following result. Theorem 2.2. Any T I 1,...,I n is a basic support τ-tilting ideal of Λ. First, we recall some properties for later use (see [BBK]). For any i Q 0, we can take a minimal projective presentation of S i := Λ/I i as follows e i Λ p 2 a Q 1,e(a)=i e s(a) Λ p 1 e i Λ p 0 S i 0. Since Imp 1 = e i I i, we have the following exact sequences (1) 0 e i I i ι e i Λ p 0 S i 0. (2) e i Λ p 2 a Q 1,e(a)=i e s(a) Λ π e i I i 0. As a direct sum of (1) and 0 (1 e i )Λ id (1 e i )Λ 0, we have an exact sequence ( ) ι 0 (3) 0 0 id I i Λ (p 0 0) S i 0. Moreover, we have Kerp 2 = S σ(i), where σ : Q 0 Q 0 is a Nakayama permutation of Λ (i.e. D(Λe σ(i) ) = e i Λ) [BBK, Proposition 4.2]. Therefore, we have the following exact sequences (4) 0 S σ(i) e i Λ p 2 Then we give the following lemma. a Q 1,e(a)=i e s(a) Λ.

8 8 YUYA MIZUNO Lemma 2.3. I i is a basic support τ-tilting ideal of Λ for any i Q 0. Proof. It is clear that I i is basic. We will show that I i is a right support τ-tilting Λ- module; the proof for a left Λ-module is similar. If e i Λ is a simple module, then Λ is a simple algebra since Λ is a preprojective algebra. Thus, in this case, we have I i = 0 and it is a support τ-tilting module. Assume that e i Λ is not a simple module and hence e i I i 0. Since Λ is selfinjective, e j Λ has a simple socle for any j Q 0 and these simple modules are mutually non-isomorphic. Therefore, e i I i is not isomorphic to e j Λ for any j Q 0. Hence, we obtain I i = Λ. Thus, in this case, it is enough to show that Hom Λ (I i,τ(i i )) = 0. Applying the functor ν := DHom Λ (,Λ) to (2), we have the following exact sequence (5) 0 τ(e i I i ) ν(e i Λ) νp 2 a Q 1,e(a)=i ν(e s(a) Λ). On the other hand, applying the functor ν to (4), we have the following exact sequence (6) 0 ν(s σ(i) ) ν(e i Λ) νp 2 a Q 1,e(a)=i ν(e s(a) Λ). Since Λ is selfinjective, we have ν(s σ(i) ) = ν(soc(e i Λ)) = Top(e i Λ) = S i. Therefore, comparing (5) with (6), we get τ(i i ) = τ(e i I i ) = S i. Since S i / add(top(i i )), we have Hom Λ (I i,τ(i i )) = 0. The next two statements are analogous to results of [BIRS, Lemma II.1.1, Proposition II.1.5], where tilting modules over preprojective algebras of non-dynkin type are treated. Though the proofs given here are essentially the same, we include them for convenience. Lemma 2.4. Let T be a support τ-tilting Λ-module. For a simple Λ op -module S, at least one of the statements T Λ S = 0 and Tor Λ 1 (T,S) = 0 holds. Proof. By [AIR, Proposition 2.5], we can take a minimal projective presentation P 1 P 0 T 0 such that P 0 and P 1 do not have a common summand. Thus, at least one of the statement P 0 Λ S = 0 and P 1 Λ S = 0 holds. Since we have Tor Λ 1 (T,S) = P 1 Λ S and T Λ S = P 0 Λ S, the assertion follows. Corollary 2.5. Let T be a support τ-tilting Λ-module. If TI i T, then we have T Λ I i = TI i. Proof. By the assumption TI i T and Lemma 1.2, we have T Λ S i 0. Then, by Lemma 2.4, we obtain Tor Λ 1(T,S i ) = 0. By applying the functor T Λ to the exact sequence (3), we get the following exact sequence 0 = Tor Λ 1(T,S i ) T Λ I i T Λ Λ = T. Hence we have T Λ I i = Im(T Λ I i T) = TI i. Next we give the following easy observation. Lemma 2.6. Let I be a two-sided ideal of Λ. For a primitive idempotent e i with i Q 0, e i I is either indecomposable or zero. Proof. Since Λ is selfinjective, e i Λ has a simple socle. Thus the submodule e i I of e i Λ has a simple socle or zero.

9 CLASSIFYING τ-tilting MODULES OVER PREPROJECTIVE ALGEBRAS OF DYNKIN TYPE 9 The next two lemmas are crucial. Lemma 2.7. Let I be a two-sided ideal of Λ. Then there exists a surjective map Λ End Λ (I), λ (I x λx I). In particular, for an idempotent e i, i Q 0, we have a surjective map e i Λ(1 e i ) Hom Λ ((1 e i )I,e i I). Proof. We have to show that, for any f End Λ (I), there exists λ Λ such that f = (λ ) : I I. Since Λ is selfinjective, there exists a Λ-module map h : Λ Λ making the diagram 0 I 0 I f ι Λ ι Λ, commutative, where ι is the canonical inclusion and h : Λ Λ is the Λ-module map. Put h(1) = λ Λ. Then h is given by left multiplication with λ. Thus, we obtain f(x) = h(x) = λx for any x I and we have proved our claim. The second statement easily follows from the first one. Lemma 2.8. Let T be a support τ-tilting ideal of Λ. If I i T T, then we have e i T / Fac((1 e i )T). In particular, T has a left mutation µ e i T (T). Proof. By Lemma 2.6 and the assumption, e i T 0 is indecomposable. We assume that e i T Fac((1 e i )T). Then, there exist an integer d > 0 and a surjective map h {(1 e i )T} d e i T. By Lemma 2.7, there exist λ m Λ (1 m d) such that d e i λ m (1 e i ) (1 e i )T = e i T. m=1 On the other hand, since I i = Λ(1 e i )Λ, we get Thus we have e i Λ(1 e i ) (1 e i )T = e i I i T. e i T = d e i λ m (1 e i )T e i I i T, m=1 which is a contradiction. The second statement given in this lemma follows from Definition- Theorem 1.5 (ii). We also need to prove the following statement. Lemma 2.9. Let T be a support τ-tilting ideal of Λ. For the map p 2 in the sequence (2), the map e i Λ Λ T p 2 Λ T e s(a) Λ Λ T is a left (add((1 e i )T))-approximation. a Q 1,e(a)=i

10 10 YUYA MIZUNO Proof. We will show that the map Hom Λ ( e s(a) Λ Λ T,(1 e i )T) (p 2 Λ T,(1 e i )T) (7) Hom Λ (e i Λ Λ T,(1 e i )T) a Q 1,e(a)=i is surjective. Let E := End Λ (T). Then, we have and similarly Hom Λ ( Hom Λ (e i Λ Λ T,(1 e i )T) = HomΛ (e i Λ,Hom Λ (T,(1 e i )T)) = Hom Λ (e i Λ,(1 e i )E), a Q 1,e(a)=i e s(a) Λ Λ T,(1 e i )T) = Hom Λ ( a Q 1,e(a)=i e s(a) Λ,(1 e i )E). Then, from the functoriality, we write the map (7) as follows. Hom Λ ( e s(a) Λ,(1 e i )E) (p 2,(1 e i )E) Hom Λ (e i Λ,(1 e i )E). a Q 1,e(a)=i On the other hand, by Lemma 2.7, there exists a surjective Λ-module map g : Λ E. Then, we have the following commutative diagram Hom Λ ( e s(a) Λ,(1 e i )Λ) a Q 1,e(a)=i (p 2,(1 e i )Λ) Hom Λ (e i Λ,(1 e i )Λ) ( a Q 1,e(a)=i e s(a)λ, g) (e i Λ, g) Hom Λ ( a Q 1,e(a)=i e s(a) Λ,(1 e i )E) (p 2,(1 e i )E) Hom Λ (e i Λ,(1 e i )E). It is clear that Hom Λ ( a Q 1,e(a)=i e s(a)λ,g) and Hom Λ (e i Λ,g) are surjective since e s(a) Λ and e i Λ are projective. Moreover, by the sequence (4), Hom Λ (p 2,(1 e i )Λ) is also surjective. Consequently, Hom Λ (p 2,(1 e i )E) is also surjective. Then the statement follows from the additivity of the functors. Now we apply the above results to the following key proposition. Proposition Let T I 1,...,I n and assume that T is a basic support τ-tilting ideal of Λ. Then I i T is a basic support τ-tilting Λ-module. Proof. There is nothing to show if I i T = T. Assume that I i T T. Then, by Lemma 2.8, there exists a left mutation µ e i T (T). Now let e be an idempotent of Λ such that T is a τ-tilting (Λ/ e )-module. By applying the functor Λ T to (2), we get the following exact sequence of (Λ/ e )-module e i Λ Λ T p 2 Λ T a Q 1,e(a)=i e s(a) Λ Λ T π ΛT e i I i Λ T 0.

11 CLASSIFYING τ-tilting MODULES OVER PREPROJECTIVE ALGEBRAS OF DYNKIN TYPE 11 By applying Corollary 2.5 to the support τ-tilting left Λ-module T, we have e i I i Λ T = e i I i T. Moreover, Lemma 2.6 implies that e i I i T is indecomposable. On the other hand, from Lemma 2.9, p 2 Λ T is a left (add((1 e i )T))-approximation. If e i I i T = 0, then p 2 Λ T is clearly left minimal. Assume e i I i T 0. Since Λ is selfinjective, e j T has a simple socle for any j Q 0 and these simple modules are mutually non-isomorphic. Hence e s(a) Λ Λ T and e i I i T are not isomorphic for any a Q 1 such that e(a) = i. Thus, π Λ T is a radical map and hence p 2 Λ T is left minimal. Then, applying Definition-Theorem 1.5 (iii), we conclude that µ e i T (T) = e i I i T (1 e i )T = I i T is a basic support τ-tilting (Λ/ e )-module. Now we are ready to prove Theorem 2.2. Proof of Theorem 2.2. We use induction on the number of products of the ideal I i, i Q 0. By Lemma 2.3, I i is a basic support τ-tilting ideal of Λ for any i Q 0. Assume that I i1 I ik is a basic support τ-tilting ideal for i 1,...,i k Q 0 and k > 1. By Proposition 2.10, I i0 (I i1 I ik ) is a basic support τ-tilting Λ-module for any vertex i 0 Q 0. Similarly we can show that it is a basic support τ-tilting left Λ-module. At the end of this subsection, we give the following lemma for later use. Lemma Let T I 1,...,I n. If I i T T, then there is a left mutation of T : µ e i T (T) = I i T. Proof. This follows from Lemma 2.8 and Proposition Now we show examples of support τ-tilting modules and their mutations. Example (a)letλbethepreprojectivealgebraoftypea 2. Inthiscase, H(sτ-tiltΛ) is given as follows I 1 1 I 2 I I 1 I I 2 Here we represent modules by their radical filtrations and we write a direct sum X Y by X Y. Note that I i denotes a left multiplication. (b) Let Λ be the preprojective algebra of type A 3. In this case, H(sτ-tiltΛ) is given as follows

12 12 YUYA MIZUNO In these two examples, H(sτ-tiltΛ) consists of a finite connected component. We will show that this is the case for preprojective algebras of Dynkin type in the sequel. Thus, all support τ-tilting modules can be obtained by mutations from Λ Bijection between support τ-tilting modules and the Weyl group. In the previoussubsection, we have shownthat elements of I 1,...,I n are basic supportτ-tilting ideals. In this subsection, we will show that any basic support τ-tilting Λ-module is given as an element of I 1,...,I n. Moreover, we show that there exists a bijection between the Weyl group and basic support τ-tilting Λ-modules, which implies that there are only finitely many basic support τ-tilting Λ-modules. First we recall the following definition. Definition Let Q beafiniteconnected acyclic quiver with vertices Q 0 = {1,...,n}. TheCoxeter group W Q associated toqis definedby thegenerators s 1,...,s n andrelations s 2 i = 1, s i s j = s j s i if there is no arrow between i and j in Q, s i s j s i = s j s i s j if there is precisely one arrow between i and j in Q. Each element w W Q can be written in the form w = s i1 s ik. If k is minimal among all such expressions for w, then k is called the length of w and we denote by l(w) = k. In this case, we call s i1 s ik a reduced expression of w.

13 CLASSIFYING τ-tilting MODULES OVER PREPROJECTIVE ALGEBRAS OF DYNKIN TYPE 13 In particular W Q is the Weyl group if Q is Dynkin. Then, we give the following important result. Theorem Let Q be a finite connected acyclic quiver with vertices Q 0 = {1,...,n}. There exists a bijection W Q I 1,...,I n. It is given by w I w = I i1 I i2 I ik for any reduced expression w = s i1 s ik. The statement is given in [BIRS, III.1.9] for non-dynkin quivers. The same result holds for Dynkin quivers. For the convenience of the reader, we give a complete proof of Theorem 2.14 for Dynkin quivers. For a proof, we provide the following set-up. Notation Let Q be an extended Dynkin quiver obtained from Q by adding a vertex 0 (i.e. Q0 = {0} Q 0 ) and the associated arrows. We denote by Λ the completion of the associated preprojective algebra and Ĩi := Λ(1 e i ) Λ for i Q. For each w W Q, let Ĩ w := Ĩi 1 Ĩi k, where w = s i1 s ik is a reduced expression (this is well-defined [BIRS, Theorem III.1.9]). Note that we have Λ = Λ/ e 0, I i = Ĩi/ e 0. Proof of Theorem One can check that the map W Q I 1,...,I n, w = s i1 s ik I w := I i1 I i2 I ik is well-defined and surjective by [BIRS, Theorem III.1.9], where the assumption that Q is non-dynkin is not used. We only have to show the injectivity. Since i 1,,i k Q 0, we have s ij s 0 for any 1 j k. Thus we have I w = I i1 I ik = (Ĩi 1 / e 0 ) (Ĩi k / e 0 ) = (Ĩi 1 Ĩi k )/ e 0 = Ĩw/ e 0. Therefore, if I w = I w for w,w W Q, then we have Ĩw/ e 0 = Ĩw / e 0. Since s 0 does not appear in reduced expressions of w and w, we have e 0 Ĩw and e 0 Ĩw. Hence, we obtain Ĩw = Ĩw and conclude w = w by [BIRS, Theorem III.1.9]. Thus, for any w W Q, we have a support τ-tilting module I w. Now we give an explicit description of mutations using this correspondence. Let (I w,p w ) be a basic support τ-tilting pair, where P w is a basic projective Λ-module which is determined from I w (subsection 1.2). Because e i Λ has simple socle S σ(i), where σ : Q 0 Q 0 is a Nakayama permutation of Λ, if e i I w = 0, then e σ(i) Λ addp w and hence P w is given by e σ(i) Λ. For any i Q 0, we define a mutation i Q 0,e i I w=0 µ i (I w,p w ) := Then we have the following result. { µ(ei I w,0)(i w,p w ) if e i I w 0 µ (0,eσ(i) Λ)(I w,p w ) if e i I w = 0. Theorem For any w W Q and i Q 0, a mutation of basic support τ-tilting Λ-module I w is given as follows : µ i (I w,p w ) = (I si w,p si w). In particular, W Q acts transitively and freely on sτ-tiltλ by s i (I w,p w ) := µ i (I w,p w ).

14 14 YUYA MIZUNO Proof. By Theorem 2.2 and 2.14, I w and I si w are basic support τ-tilting modules, which are not isomorphic. Let w = s i1 s ik be a reduced expression. If l(s i w) > l(w), then s i w = s i s i1 s ik is a reduced expression. Hence, we get (1 e i )I si w = (1 e i )I i I w = (1 e i )I w. Therefore we have { (I si w,p si w) (ei I i I w (1 e i )I w,p w ) if e i I i I w 0 = ((1 e i )I w,p w e σ(i) Λ) if e i I i I w = 0. Thus (I w,p w ) and (I si w,p si w) have a common almost complete support τ-tilting pair ((1 e i )I w,p w ) as a direct summand. On the other hand, if l(s i w) < l(w), then u := s i w satisfies l(u) < l(s i u). Then, similarly, we can show that (I u,p u ) = (I si w,p si w) and (I si u,p si u) = (I w,p w ) have a common almost complete support τ-tilting pair as a direct summand. Therefore, by Definition-Theorem 1.5 (i), the first statement follows. The second statement given in this theorem follows from Theorem Using the above result, we give the following crucial lemma. Lemma The support τ-tilting quiver H(sτ-tiltΛ) has a finite connected component. Proof. Let C be the connected component of H(sτ-tiltΛ) containing Λ. By Theorem 2.2, I w isabasicsupportτ-tilting Λ-moduleforanyw W Q. Wewillshowthat{I w w W Q } gives the set of vertices of C. First, we show that every I w belongs to C by induction on the length of w W Q. Assume that {I w w W Q with l(w) k} belong to C. Take w W Q with l(w) = k+1 and decompose w = s i w, where l(w ) = k. Then, we have I w = I i I w I w by Theorem 2.14 and we get µ e i I (I w w ) = I i I w by Lemma Thus, I w belongs to C and our claim follows inductively. Next, we show that any vertex in C has a form I w for some w W Q. This follows the fact that the neighbours of I w are given as I si w for i Q by Theorem Therefore we obtain the assertion. Now we recall the following useful result. Proposition [AIR, Corollary 2.38] If H(sτ-tiltΛ) has a finite connected component C, then C = H(sτ-tiltΛ). As a conclusion, we can obtain the following statement. Theorem Any basic support τ-tilting Λ-module is isomorphic to an element of I 1,...,I n. In particular, it is isomorphic to a support τ-tilting ideal of Λ. Proof. By Lemma 2.17, H(sτ-tiltΛ) has a finite connected component, and Proposition 2.18 implies that it coincides with H(sτ-tiltΛ). Thus, any support τ-tilting Λ-module is given by I w for some w W Q. In particular, it is a support τ-tilting ideal from Theorem 2.2. Furthermore, we give the following lemma. Lemma If right ideals T and U are isomorphic as Λ-modules, then T = U. Proof. Assume that f : T U is an isomorphism of Λ-modules. Since Λ is selfinjective, there exists a Λ-module map h : Λ Λ making the diagram

15 CLASSIFYING τ-tilting MODULES OVER PREPROJECTIVE ALGEBRAS OF DYNKIN TYPE 15 0 T ι Λ 0 U f ι Λ, commutative, where ι is the canonical inclusion. Put h(1) = λ Λ. By the commutative diagram, we have ιf(t) = hι(t) and hence we get U = h(t) = λt T. By the similar argument for f 1, we can show that T U. Thus we conclude that T = U. Now we are ready to prove the main result of this paper. Theorem There exist bijections between the isomorphism classes of basic support τ-tilting Λ-modules, basic support τ-tilting Λ op -modules and the elements of W Q. Proof. By Theorem 2.19, it is enough to show a bijection between sτ-tiltλ and W Q. By Theorem 2.2 and 2.14, we have a map W Q w I w sτ-tiltλ. This map is surjective since any support τ-tilting Λ-module is isomorphic to I w for some w W Q by Theorem Moreover, it is injective by Theorem 2.14 and Lemma Thus we get the conclusion. Remark It is known that the order of W Q is finite and the explicit number is determined by the type of the underlying graph of Q as follows [H, Section 2.11]. Q A n D n E 6 E 7 E 8 (n+1)! 2 n 1 n! At the end of this subsection, we give an application related to annihilators of sτ-tiltλ. Note that a tilting module is a faithful τ-tilting modules (i.e. its (right) annihilator vanishes) [AIR, Proposition 2.2]. We can completely determine annihilators of support τ-tilting Λ-modules. Here, we denote by annx := {λ Λ Xλ = 0} the annihilator of X modλ. Corollary We have anni w = I w 1 w 0, where w 0 is the longest element in W Q. Thus, we have a bijection sτ-tiltλ sτ-tiltλ, T annt. For a proof, we recall the following useful result. Proposition [ORT, Proposition 6.4] Let w 0 be the longest element in W Q. Then we have the following isomorphisms (a) DI w = Λ/Iw 1 w 0 in modλ op. (b) DI w = Λ/Iw0 w 1 in modλ. Then we give a proof of Corollary Proof of Corollary It is clear that the right annihilator of I w coincides with the left annihilator of DI w. On the other hand, we have isomorphism DI w = Λ/Iw 1 w 0 of Λ op - modules by Proposition Thus, we get anni w = I w 1 w 0. The second statement given in this corollary follows from Theorem h

16 16 YUYA MIZUNO 2.3. Partial orders of support τ-tilting modules and the Weyl group. In this subsection, we study a relationship between a partial order of support τ-tilting modules andthat ofw Q. Inparticular, weshowthat thebijection W Q sτ-tiltλgiven intheorem 2.21 induces an (anti)isomorphism as partially ordered sets. Definition Let u,w W Q. We write u L w if there exist s i1,...,s ik such that w = s ik...s i1 u and l(s ij...s i1 u) = l(u) + j for 0 j k. Clearly L gives a partial order on W Q, and we call L the (left) weak order. We denote by H(W Q, L ) the Hasse quiver induced by weak order on W Q. The following assertion is immediate from the definition of the weak order. Lemma An arrow in H(W Q, L ) is given by w s i w (if l(w) > l(s i w)), s i w w (if l(w) < l(s i w)) for any w W Q and i Q 0. Example (a) Let Q be a quiver of type A 2. Then H(W Q, L ) is given as follows (b) Let Q be a quiver of type A 3. Then H(W Q, L ) is given as follows.

17 CLASSIFYING τ-tilting MODULES OVER PREPROJECTIVE ALGEBRAS OF DYNKIN TYPE Next we give the following observation. Lemma Let w W Q and i Q 0. (i) If l(w) < l(s i w), then I i I w = I si w I w and we have a left mutation µ i (I w,p w ). (ii) If l(w) > l(s i w), then I i I w = I w I si w and we have a right mutation µ + i (I w,p w ). Proof. Let w = s i1 s ik be a reduced expression. If l(s i w) > l(w), then s i w = s i s i1 s ik is a reduced expression. Thus, we have I i I w = I si w I w by Theorem 2.14, and we get a left mutation µ i (I w,p w ) by Lemma On the other hand, if l(s i w) < l(w), then u := s i w satisfies l(u) < l(s i u). Then, similarly, we get a left mutation µ i (I u,p u ) = (I si u,p si u) = (I w,p w ), or equivalently µ + i (I w,p w ) = (I si w,p si w). Summarizing previous results, we give the following equivalent conditions that a left (or right) mutation occurs. Corollary Let w W Q and i Q 0. (a) The following conditions are equivalent : (i) l(w) < l(s i w). (ii) I i I w I w. (iii) We have a left mutation µ i (I w,p w ). (b) The following conditions are equivalent : (i) l(w) > l(s i w). (ii) I i I w = I w. (iii) We have a right mutation µ + i (I w,p w ).

18 18 YUYA MIZUNO Proof. It is enough to show (a). By Lemma 2.11 and 2.28, (i) implies (ii) and (ii) implies (iii). Assume that we have a left mutation µ i (I w,p w ). If l(w) > l(s i w), then we get a right mutation µ + i (I w,p w ) by Lemma 2.28, which contradicts Definition-Theorem 1.5. Thus (iii) implies (i). Finally we give the following results. Theorem The bijection in W Q sτ-tiltλ in Theorem 2.21 gives an isomorphism of partially ordered sets (W Q, L ) and (sτ-tiltλ, ) op. Proof. It is enough to show that H(W Q, L ) coincides with H(sτ-tiltΛ) op since the Hasse quivers determine the partial orders. By Theorem 1.7 and Corollary 2.29, arrows starting from I w are given by I w I i I w in H(sτ-tiltΛ), where i Q 0 satisfies l(w) < l(s i w). On the other hand, Lemma 2.26 implies that arrows to w are given by s i w w in H(W Q, L ), where s i satisfies l(w) < l(s i w). Therefore H(sτ-tiltΛ) op coincides with H(W Q, L ) and the statement follows. We remark that the Bruhat order on W Q coincides with the reverse inclusion relation on I 1, I n [ORT, Lemma 6.5]. 3. g-matrices and cones In this section, we study g-vectors [DK], which is also called index [P] (see also [AR1]), and g-matrices of support τ-tilting modules. We give a complete description of g-matrices in terms of reflection transformations. Moreover, we study cones defined by g-matrices, which provide a geometric realization of support τ-tilting modules, and we show that they coincide with chambers of the associated root system. Throughout this section, unless otherwise specified, let Q be a Dynkin quiver with vertices Q 0 = {1,...,n}, Λ the preprojective algebra of Q and I i = Λ(1 e i )Λ for i Q 0. First, we define g-vectors in our setting. We refer to [AIR, section 5] for a background of this notion. Definition 3.1. By Krull-Schmidt theorem, we identify the set of isomorphism classes of projective Λ-modules with submonoid Z n 0 of the free abelian group Zn. For a Λ-module X, take a minimal projective presentation P 1 (X) P 0 (X) X 0 andletg(x) = (g 1 (X),,g n (X)) t := P 0 (X) P 1 (X) Z n, wheretdenotesthetranspose matrix. Then, for any w W Q and i Q 0, we define a g-vector by { g(e i I w ) if e i I w 0 Z n g i (w) = (0,...,0, σ(i) 1,0,,0) t if e i I w = 0, where σ : Q 0 Q 0 is a Nakayama permutation of Λ (i.e. D(Λe σ(i) ) = e i Λ)). We define a g-matrix of support τ-tilting Λ-module I w by and its cone by g(w) := (g 1 (w),,g n (w)) GL n (Z) C(w) := {a 1 g 1 (w)+ +a n g n (w) a i R >0 }.

19 CLASSIFYING τ-tilting MODULES OVER PREPROJECTIVE ALGEBRAS OF DYNKIN TYPE 19 Next, we define g-vectors for extended Dynkin cases. We follow Notation By Theorem 2.14, there exists a bijection W Q Ĩ 0,Ĩ 1,...,Ĩ n,w Ĩ w = Ĩ i1 Ĩ i2 Ĩ ik, where w = s i1 s ik is a reduced expression of w. Note that Ĩw is a tilting Λ-modules of projective dimension at most one [IR] (hence e i Ĩ w 0 for any i Q 0 ). For any w W Q and i Q 0, take a minimal projective presentation of Λ-module e i Ĩ w Then we define a g-vector by P 1 (e i Ĩ w ) P 0 (e i Ĩ w ) e i Ĩ w 0. g i (w) = (g 0 (e i Ĩ w ),,g n (e i Ĩ w )) t := P 0 (e i Ĩ w ) P 1 (e i Ĩ w ) Z n+1, and we define a g-matrix by g(w) := ( g 0 (w),, g n (w)) GL n+1 (Z). We use these notations in this section. We also denote by ( ) := Λ Λ for simplicity. Then, we give the following results. Proposition 3.2. Let w W Q and i Q 0. Take a minimal projective presentation of Λ-module e i Ĩ w (8) 0 P 1 f 1 P 0 f 0 e i Ĩ w 0. Then, applying the functor Λ Λ to (8), we have the following exact sequence 0 ν 1 (e i Λ/e i I w ) P 1 f 1 P 0 f 0 e i I w 0, where ν 1 := Hom Λ (DΛ, ). Moreover, if e i I w 0, then the sequence P 1 f 1 P 0 f 0 e i I w 0 is a minimal projective presentation of Λ-module e i I w. Proof. Since e i e 0 and Λ = Λ/ e 0, we have e i Ĩ w Λ Λ = e i Ĩ w /e i Ĩ w e 0 = e i Ĩ w /e i e 0 = e i I w. Then, by applying the functor Λ Λ to (8), we have the following exact sequence 0 Tor Λ 1 (e i Ĩ w,λ) g P 1 f 1 P 0 f 0 e i I w 0. On the other hand, we have the following exact sequence 0 e i Ĩ w e i Λ e i Λ/ei Ĩ w 0. Then, we obtain Λ-module isomorphisms Tor Λ 1 (e i Ĩ w,λ) = DExt 1 Λ(e i Ĩ w,dλ) = DExt 2 Λ (e i Λ/e i Ĩ w,dλ) ([CE]) = Hom Λ(DΛ,e i Λ/ei Ĩ w ) (2-CY property) = Hom Λ (DΛ,e i Λ/e i I w ) (e i Λ/ei Ĩ w = ei Λ/e i I w ) = ν 1 (e i Λ/e i I w ).

20 20 YUYA MIZUNO Now assume that e i I w 0. Then, clearly ν 1 (e i Λ/e i I w ) is not projective and hence g is a radical map. Moreover, it is clear that f 0 is a projective cover by the assumption of f 0. Thus we obtain the conclusion. Remark 3.3. It is known that, for every non-projective indecomposable module X over a preprojective algebra of Dynkin type, its third syzygy Ω 3 X is isomorphic to ν 1 (X) [AR2, BBK]. This property appears in the above proposition. Using the above proposition, we give the following key result. Proposition 3.4. For any w W Q and i Q 0, the g-vector g i (w) equals the image of g i (w) under the projection Z n+1 Z n which forgets the 0-th coordinate. Proof. Take a minimal projective presentation of Λ-module e i Ĩ w (9) 0 P 1 f 1 P 0 f 0 e i Ĩ w 0. We decompose P 0 = P 0 (e 0 Λ) l and P 1 = P 1 (e 0 Λ) m, where (e 0 Λ) l (respectively, (e 0 Λ) m ) is a maximal direct summand of P 0 (respectively, P 1 ) which belongs to add(e 0 Λ). For g i (w) = (g 0 (e i Ĩ w ),g 1 (e i Ĩ w ),,g n (e i Ĩ w )) t, it is clear that (g 1 (e i Ĩ w ),...,g n (e i Ĩ w )) t is determined by P 0 and P 1. We will show that it coincides with gi (w). By Proposition 3.2, applying Λ Λ to (9), we have the following exact sequence (10) 0 ν 1 (e i Λ/e i I w ) P 1 f 1 P 0 f 0 e i I w 0. (i) Assume that P 0 0. It implies that P 0 0 and hence e ii w 0. Therefore, by Proposition 3.2, the sequence (10) gives a minimal projective presentation of e i I w. Thus g i (w) coincides with (g 1 (e i Ĩ w ),...,g n (e i Ĩ w )) t. (ii) Assume that P 0 = 0. It implies that P 0 = 0 and hence e ii w = 0. Thus, g i (w) = (0,...,0, σ(i) 1,0,,0) t by definition. On the other hand, by the sequence (10), we have P 1 = ν 1 (e i Λ) = e σ(i) ΛandhenceP 1 = e σ(i) Λ. Thus g i (w) = (g 0 (e i Ĩ w ),0,...,0, σ(i) 1,0,,0) t and we obtain the conclusion. Next we introduce the following notations [Bou, BB]. Definition 3.5. Let Q be a finite connected acyclic quiver with vertices Q 0 = {1,...,n}. For i,j Q 0, let m ij := {a Q 1 s(a) = i,e(a) = j}+ {a Q 1 s(a) = j,e(a) = i}. Let e 1,...,e n be the canonical basis of Z n. The geometric representation σ : W Q GL n (Z) of W Q is defined by σ(s i )(e j ) = σ i (e j ) := e j +(m ij 2δ ij )e i, where δ ij denotes the Kronecker delta. On the other hand, the contragradient σ : W Q GL n (Z) of the geometric representation is defined by e σ (s i )(e j ) = σi (e j i j j) = e j + e e(a) i = j. a Q 1,s(a)=i For an arbitrary expression w = s i1...s ik of w, we define σ(w) := σ ik...σ i1 and σ (w) = σ i k...σ i 1. Then, we give the following key result.

21 CLASSIFYING τ-tilting MODULES OVER PREPROJECTIVE ALGEBRAS OF DYNKIN TYPE 21 Proposition 3.6. For any w W Q, we have g(w) = σ (w). Proof. By Proposition 3.4, the g-matrix g(w) = (g 1 (w),,g n (w)) is given by 1-st to n-th rows and columns of g(w) = ( g 0 (w), g 1 (w),, g n (w)). On the other hand, by [IR, Theorem 6.6], we have g(w) = σ (w), where σ is the contragradient W Q GL n+1 (Z) of the geometric representation. For w = s i1...s ik, the 0-th column of σ i j is (1,0,...,0) t by the assumption of s ij s 0 for any 1 j k. Because 1-st to n-th rows and columns of σ i j is equal to σi j by definition, we conclude that g(w) = σi k...σi 1 = σ (w). Finally we give the following settings. Definition 3.7. An element of Φ := {σ(w)(e i )} i Q0,w W Q is called a root. For a,b R n, we write a natural pairing a,b := a b t. To each root x Φ, we define a hyperplane H x := {y R n y,x = 0}. A chamber of Φ is a connected component of R n \ x Φ H x. We denote by C 0 the chamber {a 1 e 1 + +a n e n a i R >0 }. Note that chambers are given by w W Q σ (w)(c 0 ) and there is a bijection between W Q and chambers via w σ (w)(c 0 ). Then we obtain the following conclusion. Theorem 3.8. (a) The set of g-matrices of support τ-tilting Λ-modules coincides with the subgroup σ1,...,σ n of GL(Zn ) generated by σi for all i Q 0. (b) For w W Q, we have C(w) = σ (w)(c 0 ), where C(w) denotes the cone of I w. In particular, cones of basic support τ-tilting Λ-modules coincide with chambers of the associated root system Φ. Proof. From Proposition 3.6, (a) follows. Moreover, we have Thus, (b) follows. C(w) = {a 1 g 1 (w)+ +a n g n (w) a i R >0 } = {a 1 σ (w)(e 1 )+ +a n σ (w)(e n ) a i R >0 } = σ (w)(c 0 ). Example 3.9. (a) Let Λ be the preprojective algebra of type A 2. In this case, the g- matrices of Example 2.12 (a) are given as follows, where σ1 = ( ) and σ 2 = ( ) σ σ σ 2 σ σ Moreover, their chambers are given as follows. σ

22 22 YUYA MIZUNO (b) Let Λ be the preprojective algebra of type A 3. In this case, the g-matrices of Example 2.12 (b) are given as follows Further connections In this section, we extend our bijections by combining with other works. We also explain some relationships with other results. We have the following bijections (We refer to [BY] for the definitions (g), (h), (i) and (j)).

23 CLASSIFYING τ-tilting MODULES OVER PREPROJECTIVE ALGEBRAS OF DYNKIN TYPE 23 Theorem 4.1. Let Q be a Dynkin quiver with vertices Q 0 = {1,...,n} and Λ the preprojective algebra of Q. There are bijections between the following objects. (a) The elements of the Weyl group W Q. (b) The set I 1,...,I n. (c) The set of isomorphism classes of basic support τ-tilting Λ-modules. (d) The set of isomorphism classes of basic support τ-tilting Λ op -modules. (e) The set of torsion classes in modλ. (f) The set of torsion-free classes in modλ. (g) The set of isomorphism classes of basic two-term silting complexes in K b (projλ). (h) The set of intermediate bounded co-t-structures in K b (projλ) with respect to the standard co-t-structure. (i) The set of intermediate bounded t-structures in D b (modλ) with length heart with respect to the standard t-structure. (j) The set of isomorphism classes of two-term simple-minded collections in D b (modλ). (k) The set of quotient closed subcategories in modkq. (l) The set of subclosed subcategories in modkq. We have given bijections between (a), (b), (c) and (d). Bijections between (g), (h), (i) and (j) are the restriction of [KY] and it is given in [BY, Corollary 4.3] (it is stated for Jacobian algebras, but it holds for any finite dimensional algebra as they point out). Note that compatibilities of mutations and partial orders of these objects are discussed in [KY]. We will give bijections between (a), (e) and (f) by showing the following statement, which provides complete descriptions of torsion classes and torsion-free classes in modλ. Proposition 4.2. Any torsion class in modλ is given as FacI w and any torsion-free class in modλ is given as SubΛ/I w for some w W Q. Moreover, there exist bijections between the elements of W Q, torsion classes and torsion-free classes. Proof. Since there exists only finitely many support τ-tilting modules by Theorem 2.21, Theorem 1.10 implies that any torsion class (torsion-free class) is functorially finite. Thus, Theorem 1.9 gives a bijection between basic support τ-tilting Λ-modules and torsion classes in modλ, which is given by the map I w FacI w. Similarly, there exists a bijection between basic support τ-tilting Λ op -modules and torsion classes in modλ op. By the duality D : modλ op modλ, any torsion-free class of modλ is given as D(FacI w ), where FacI w is a torsion class in modλ op. Then, by Proposition 2.24, we have D(FacI w ) = Sub(DI w ) = SubΛ/I w0 w 1, where w 0 is thelongest element in W Q. Remark 4.3. It is shown that objects FacI w and SubΛ/I w have several nice properties. For example, FacI w and SubΛ/I w are Frobenius and, moreover, stable 2-CY categories which have cluster-tilting objects [BIRS, GLS3]. It is known that weak order of W Q is a lattice (i.e. any two elements x,y W Q have a greatest lower bound, called meet x y and a least upper bound, called join x y). From the viewpoint of Theorem 4.2, it is natural to consider what is a join and meet in torsion classes. We give an answer to the question as follows. Proposition 4.4. Let T and T be torsion classes of modλ. Then we have T T = T T and T T = Tors{T,T }, where Tors{T,T } is the smallest torsion class in modλ containing T and T.