A reduction theorem for $$\tau$$ τ -rigid modules

A reduction theorem for $$\tau$$ τ -rigid modules Math. Z. https://doi.org/10.1007/s00209-018-2067-4 Mathematische Zeitschrift A reduction theorem for τ-rigid modules 1 2 Florian Eisele · Geoffrey Janssens · Theo Raedschelders Received: 25 October 2016 / Accepted: 27 March 2018 © The Author(s) 2018 Abstract We prove a theorem which gives a bijection between the support τ -tilting modules over a given ﬁnite-dimensional algebra A and the support τ -tilting modules over A/I,where I is the ideal generated by the intersection of the center of A and the radical of A. This bijection is both explicit and well-behaved. We give various corollaries of this, with a particular focus on blocks of group rings of ﬁnite groups. In particular we show that there are τ -tilting-ﬁnite wild blocks with more than one simple module. We then go on to classify all support τ - tilting modules for all algebras of dihedral, semidihedral and quaternion type, as deﬁned by Erdmann, which include all tame blocks of group rings. Note that since these algebras are symmetric, this is the same as classifying all basic two-term tilting complexes, and it turns out that a tame block has at most 32 different basic two-term tilting complexes. We do this by using the aforementioned reduction theorem, which reduces the problem to ten different algebras only depending on the ground ﬁeld k, all of which happen to be string algebras. To deal with these ten algebras we give a combinatorial classiﬁcation of all τ -rigid modules over (not necessarily symmetric) string algebras. The ﬁrst author is supported by the EPSRC, grant EP/M02525X/1, and was, at the beginning of the project presented in this article, supported by the FWO, project G.0157.12N. The second author is an aspirant at the FWO. The third author is supported by an EPSRC postdoctoral fellowship EP/R005214/1 and was at the time of writing supported by an aspirant fellowship from the FWO. B Florian Eisele Florian.Eisele@city.ac.uk Geoffrey Janssens geofjans@vub.ac.be Theo Raedschelders Theo.Raedschelders@glasgow.ac.uk Department of Mathematics, City University London, Northampton Square, London EC1V 0HB, UK Departement Wiskunde, Vrije Universiteit Brussel, Pleinlaan 2, 1050 Ixelles, Belgium School of Mathematics and Statistics, University of Glasgow, Glasgow G12 8QQ, UK 123 F. Eisele et al. Keywords Representation theory of Artin algebras · τ -rigid modules · String algebras · Blocks of group algebras Mathematics Subject Classiﬁcation 16G10 1 Introduction The theory of support τ -tilting modules, as introduced by Adachi, Iyama and Reiten in [4], is related to, and to some extent generalizes, several classical concepts in the representation theory of ﬁnite dimensional algebras. On the one hand, it is related to silting theory for triangulated categories, which was intro- duced by Keller and Vossieck in [23] and provides a generalization of tilting theory. Just like tilting objects, silting objects generate the triangulated category they live in, but in contrast to tilting objects they are allowed to have negative self-extensions. Using Keller’s version [22] of Rickard’s derived Morita theorem, a silting object S in an algebraic triangulated category T gives rise to an equivalence between T and the perfect complexes over the derived endo- morphism ring R End (S). This ring is a non-positively graded DGA, which can however be very hard to present in a reasonable way (see for example [26]). On the other hand, τ -tilting theory is related to mutation theory, which has its origins in the Bernstein–Gelfand–Ponomarev reﬂection functors. The basic idea is to replace an indecomposable summand of a tilting object by a new summand to obtain a new tilting object. This mutation procedure has played an important role in several results concerning Broué’s abelian defect group conjecture, see [19,25,28]. However, it is not always possible to replace a summand of a tilting object and get a new tilting object in return, which may be seen as sign that one needs to consider a larger class of objects. This is why Aihara and Iyama introduced the concept of silting mutation [6], where one observes quite the opposite behavior: any summand of a silting object can be replaced to get (inﬁnitely) many new silting objects, and among all of those possibilities one is distinguished as the “right mutation” and another one as the “left mutation”. So in this setting it is natural to ask whether the action of iterated silting mutation on the set of basic silting objects in K (proj ) is transitive (for an explicit reference, see Question 1.1 in [6]). In general this question is hard, but to make it more manageable, one can start by studying not all of the basic silting complexes, but just the two-term ones. These have the beneﬁt of being amenable to the theory of support τ -tilting modules mentioned above. A support τ -tilting module M is a module which satisﬁes Hom (M,τ M ) = 0 and which has as many non-isomorphic indecomposable summands as it has non-isomorphic simple composition factors. These modules correspond bijectively to two-term silting complexes, and possess a compatible mutation theory as well. Using τ -tilting theory, the computation of all the two-term silting complexes and their mutations is a lot more manageable, and in nice cases, one can deduce from the ﬁniteness of the number of two-term silting complexes, the transitivity of iterated silting mutation. In this article, we will be concerned with determining all basic two-term silting complexes (or equivalently support τ -tilting modules) for various ﬁnite dimensional algebras A deﬁned over an algebraically closed ﬁeld. To this end, we prove the following very general reduction theorem: Theorem 1 (see Theorem 11) For an ideal I which is generated by central elements and contained in the Jacobson radical of A, the g-vectors of indecomposable τ -rigid (respec- 123 A reduction theorem for τ -rigid modules tively support τ -tilting) modules over A coincide with the ones for A/I , as do the mutation quivers. For the purpose of this introduction we will call an algebra obtained from A by taking successive central quotients a good quotient of A. The proof of the theorem is an application of a four-term exact sequence α,β 0 → Hom (C (α), C (β)) → Hom (P, R) × Hom (Q, S) − −− → Hom (P, S) → Hom (C (α), C (β)[1]) → 0 b A A A b C (proj ) K (proj ) A A which is constructed in Proposition 3,where P, Q, R and S are projective modules, and C (α) and C (β) are two-term complexes with terms P and Q, respectively R and S. The power of this theorem lies in its generality. For example, as an immediate corollary, we recover a result of [3] saying that the mutation quiver and the g-vectors of a Brauer graph algebra do not depend on the multiplicities of the exceptional vertices, without having to classify all τ -tilting modules beforehand. One can often use Theorem 1 to effectively compute all two-term silting complexes over a given algebra. In fact, it turns out that many algebras of interest such as all special biserial algebras, in particular all Brauer graph algebras, and all algebras of dihedral, semidihedral and quaternion type have a string algebra as a good quotient. Thus by Theorem 1 it is enough to consider string algebras for all aforementioned classes of algebras. In Sect. 5 we give a combinatorial algorithm to determine the indecomposable τ -rigid modules, the support τ - tilting modules and the mutation quiver of a string algebra, provided it is τ -tilting-ﬁnite i.e. there are only a ﬁnite number of isomorphism classes of τ -tilting modules (otherwise one still gets a description, but no algorithm for obvious reasons). As an application, in Sect. 6, we consider blocks of group algebras. Note that because these algebras are symmetric, silting and tilting complexes coincide. We show that all tame blocks are τ -tilting-ﬁnite, and we give non-trivial (i.e. non-local) examples of wild blocks of (in some sense) arbitrary large defect which are τ -tilting-ﬁnite. For tame blocks, there is a list of algebras containing all possible basic algebras of these blocks, which is due to Erdmann [14]. It turns out that all algebras of dihedral, semidihedral and quaternion type (which are the algebras that Erdmann classiﬁes) have a string algebra as good quotient, and we exploit this to determine the g-vectors and Hasse quivers (of the poset of support τ -tilting modules) of all of them. In particular, we obtain the following theorem. Theorem 2 (see Theorem 16) All algebras of dihedral, semidihedral or quaternion type are τ -tilting-ﬁnite and their g-vectors and Hasse quivers (of the poset of support τ -tilting modules) are independent of the characteristic of k and the parameters involved in the presentations of their basic algebras. The actual computation of the g-vectors and Hasse quivers, which we present in the form of several tables, has been relegated to Appendix 7. Using a result of Aihara and Mizuno [7], we deduce the following theorem: Theorem 3 All tilting complexes over an algebra of dihedral, semidihedral or quaternion type can be obtained from A (as a module over itself) by iterated tilting mutation. b op This implies in particular that if B is another algebra and X ∈ D (A ⊗ B) is a two-sided tilting complex, then there exists a sequence of algebras A = A , A ,..., A = B and two- 0 1 n op b L L sided two-term tilting complexes X ∈ D (A ⊗ A ) such that X = X ⊗ ··· ⊗ X . i i 1 n i −1 A A 1 n−1 123 F. Eisele et al. 2 Preliminaries Throughout this paper, k denotes an algebraically closed ﬁeld of arbitrary characteristic, and A is a basic ﬁnite-dimensional k-algebra with Jacobson radical rad(A). The category of ﬁnitely generated right A-modules is denoted by mod and the subcategory of ﬁnitely gen- erated projective A-modules is denoted by proj .Let P ,..., P denote the non-isomorphic 1 l projective indecomposable A-modules. By τ we denote the Auslander–Reiten translate for A. The category of bounded complexes of projective modules is denoted by C (proj ).More- over, K (proj ) denotes the corresponding homotopy category and K (proj ) denotes its A A Grothendieck group. For any M ∈ mod , |M | is deﬁned as the number of indecomposable direct summands of M. We will use the same notation for complexes. We will now give a short summary of the theory of silting complexes and the theory of support τ -tilting modules introduced in [4]. 2.1 Two-term silting complexes • b i Deﬁnition 1 A complex C = C ∈ K (proj ) is called two-term if C = 0forall i = 0, −1. Deﬁnition 2 A complex C ∈ K (proj ) is called 1. presilting if Hom b (C, C [i ]) = 0for i > 0, K (proj ) 2. silting if it is presilting and generates K (proj ). It can be shown that a silting complex has exactly |A| summands. Remark 1 A two-term presilting complex is also known as a rigid two-term complex. These terms will be used interchangeably. On the set of basic silting complexes, one can deﬁne a partial order as follows: Theorem 4 [6, Theorem 2.11] For basic silting complexes C and D, we write D ≤ Cif Hom (C, D[i ]) = 0, K (proj ) for all i > 0. This deﬁnes a partial order on the set of silting complexes. Let us denote the Hasse quiver of this poset by H (A).Now let C = D ⊕ E beabasic silting complex with D indecomposable. Then there is a triangle (in K (proj )) D − → E → D → D[1], such that f is a minimal left add E-approximation of D. Deﬁnition 3 The left mutation of C with respect to D is deﬁned to be μ (C ) = D ⊕ E . The right mutation μ (C ) is deﬁned dually. We denote by Q(A) the left mutation quiver of A with vertices corresponding to basic silting complexes, there being an arrow C → C whenever C = μ (C ) for some indecom- posable direct summand D of C. Remark 2 For symmetric algebras, silting complexes are in fact tilting complexes, so Q(A) is the mutation quiver of tilting complexes. 123 A reduction theorem for τ -rigid modules Theorem 5 [6, Theorem 2.35] The quivers H (A) and Q(A) are the same. In general, this quiver can be disconnected and has no regularity properties. However, if we restrict our attention to basic two-term silting complexes, then more structure appears. In fact, using the theory of support τ -tilting modules, one can prove the following theorem. Theorem 6 [4, Corollary 3.8] Any basic two-term rigid complex C with |C|=|A|− 1 is a direct summand of exactly two basic two-term silting complexes. Moreover, if two basic two-term silting complexes C and D have |A|− 1 summands in common, then C is a left or right mutation of D. This means that if we denote by Q (A) the full subquiver of Q(A) containing the vertices corresponding to basic two-term silting complexes, then we get an |A|-regular graph. With an eye towards explicit calculations, the following properties are very useful. Proposition 1 [4, Corollary 3.10] If Q (A) has a ﬁnite connected component C, then Q (A) = C. In some cases, ﬁniteness of Q (A) implies that for every n, there are only ﬁnitely many n-term silting complexes. Proposition 2 [7, Theorem 2.4][3, Proposition 6.9] Let A be a symmetric algebra. If for any tilting complex C in the connected component of Q(A) containing A, the set of basic two-term End b (C )-tilting complexes is ﬁnite, then for every n, the set of basic n-term K (proj ) A-tilting complexes is ﬁnite. Theorem 7 [5, Theorem 3.5] If for every n, there are only ﬁnitely many isomorphism classes of basic n-term silting complexes, then Q(A) is connected, i.e. mutation acts transitively on basic silting complexes. Rigid two-term complexes have a complete numerical invariant. Theorem 8 [4, Theorem 5.5] A two-term rigid complex C is uniquely determined by its class [C]∈ K (proj ). Expanding out [C ] in terms of the basis [P ],..., [P ],weget 0 l [C]= g [P ]. i =1 C C C The tuple g = (g ,..., g ) is known as the g-vector of C. So Theorem 8 says that two-term 1 l rigid complexes are uniquely determined by their g-vectors. 2.2 Support τ-tilting modules Deﬁnition 4 A module M ∈ mod is called 1. τ -rigid if Hom (M,τ M ) = 0, 2. τ -tilting if it is τ -rigid and |M|=|A|, 3. support τ -tilting if there is an idempotent e ∈ A such that M is a τ -tilting A/(e)-module. 123 F. Eisele et al. We will often think of a support τ -tilting module as a pair (M, e · A), and say that it is basic if both M and e · A are basic. Also, direct sums are deﬁned componentwise. For basic support τ -tilting modules, there is again a notion of mutation, and one can then similarly deﬁne a left mutation quiver Q (A). Also, there is a partial order on this set giving rise to a Hasse quiver H (A). For details, see [4, Sect. 2.4]. These quivers are again the same (see [4, Corollary 2.34]) and isomorphic to Q (A), as the following shows: Theorem 9 [4, Theorem 3.2, Corollary 3.9] There are mutually inverse functions { basic two-term silting complexes }  { basic support τ -tilting modules } which are deﬁned in the following way: f (C ) = H (C ) (p 0) g((M, R)) = P ⊕ R − −− → Q , where P − → Q → M is a minimal projective presentation of M, and R is the (uniquely determined, up to isomorphism) basic projective module such that (M, R) is a support τ - tilting pair. Moreover, this bijection gives an isomorphism of posets between the left mutation quivers Q (A) and Q (A). 2 τ 3 Geometry of two-term complexes of projective modules In this section we construct an exact sequence which will be useful for proving our ﬁrst main theorem. It also serves to provide an elementary proof of Theorem 8. For two ﬁxed projective A-modules P and Q,Hom (P, Q) can be considered as algebraic variety, isomorphic to afﬁne space. The connected algebraic group G = Aut P × Aut Q A A acts on Hom (P, Q), in such a way that there is a bijection between the set of isomorphism classes of two-term complexes in C (proj ) with terms P and Q, and the set of orbits of G in Hom (P, Q). For a morphism of smooth algebraic varieties f : X → Y and a point x ∈ X,wedenoteby d( f ) : T X → T Y the differential of f at x,where T X and x x f (x ) x T Y denote the tangent spaces of X (respectively Y ) at the point x (respectively f (x )). f (x ) In the speciﬁc case where X is the algebraic group Aut (P) × Aut (Q) and e ∈ X is the A A identity, T X = Hom (P, P) × Hom (Q, Q). e A A When we consider α ∈ Hom (P, Q) as a complex in C (proj ), we will denote it as C (α). The orbit of α ∈ Hom (P, Q) will be denoted by G · α and its stabilizer by G . A α Proposition 3 For α ∈ Hom (P, Q) and β ∈ Hom (R, S) (P, Q, R, S projective A- A A modules), there is an exact sequence α,β g 0 → Hom (C (α), C (β)) → Hom (P, R) × Hom (Q, S) − −− → Hom (P, S) − → Hom (C (α), C (β)[1]) → 0 b A A A b C (proj ) K (proj ) A A where f (X, Y ) = Y ◦ α − β ◦ X α,β 0 0 −1 and g is the natural map (we have C (α) = P and C (β)[1] = C (β) = S, so we may view an element of Hom (P, S) as a map of chain complexes). 123 A reduction theorem for τ -rigid modules Proof The only place where exactness is not immediately clear is at the Hom (P, S) term. The kernel of g consists of all γ ∈ Hom (P, S) such that g(γ ) is homotopic to zero. This is exactly the image of f (the negative sign in the deﬁnition of f does not affect the α,β α,β image). In Corollary 1 we will use basic properties of algebraic varieties equipped with an action of an algebraic group, which are summarised in the following proposition. Proposition 4 Let X be an algebraic variety equipped with an algebraic action of a con- nected algebraic group G and let x ∈ X. Then: 1. the stabilizer subgroup G is closed, 2. the orbit G · x is a locally closed, smooth, connected subvariety of X, 3. The dimension of G · x can be computed via: dim G · x = dim G − dim G . (3.1) Proof Since G is connected, it is also irreducible by [11, Proposition 1.2(b)], and so is the orbit G ·x, since it is the image of G under φ(x ) : G −→ G ·x : g → g·x.By[11, Proposition 6.7] G · x is smooth and locally closed in X,and φ(x ) is an “orbit map” (deﬁned earlier in the same section) for the action of G on G by right translation. Then [11, Proposition 6.4(b)] applied to this orbit map yields (3.1). Corollary 1 With the same notation as in Proposition 3,if α = β ∈ Hom (P, Q), let again G = Aut (P) × Aut (Q) and A A −1 φ : G −→ Hom (P, Q) : (g , g ) → g ◦ α ◦ g α A 1 2 2 Then d(φ ) = f (where e denotes the unit element of G), and we get α e α,α im d(φ ) = T (G · α) α e α Proof That f can be identiﬁed with the differential at the identity of the orbit map is clear. α,α Let us consider the last statement. We should ﬁrst remark that the equality G = Aut b (C (α)) follows immediately from the deﬁnition, and hence dim G = C (proj ) dim End b (C (α)). Since orbits are smooth by Proposition 4(2), we ﬁnd C (proj ) dim T (G · α) = dim G · α = dim G − dim G = dim End (P) × End (Q) − dim End b (C (α)) A A C (proj ) = dim im f , α,α where we used Proposition 4(3) in the second line, and also the exactness statement from Proposition 3 in the last equality. By the identiﬁcation of f and d(φ ) , we are done. α,α α e Using this proposition we can easily reprove the following well-known results by Jensen– Su–Zimmermann in the special case of two-term complexes. Lemma 1 [21, Lemma 4.5] A two-term complex C (α) ∈ K (proj ) with terms P and Q is rigid if and only if the orbit G · α is open (and thus dense) in Hom (P, Q). 123 F. Eisele et al. Proof By Proposition 4, orbits are locally closed and smooth, so they are open exactly when there is a point x ∈ G · α such that dim T (G · α) = dim T Hom (P, Q). By Proposition 3, x x A there is an isomorphism T Hom (P, Q)/T (G · α) − → Hom b (C (α), C (α)[1]), α A α K (proj ) and hence the lemma follows. Note that the denseness of G · α follows from the fact that Hom (P, Q) is an afﬁne space, and hence irreducible. We can use this lemma to obtain an alternative proof of Theorem 8. Note that a slightly weaker form of this theorem was also obtained in [21, Corollary 4.8]. Theorem 10 Two-term rigid complexes in K (proj ) are determined up to isomorphism by their g-vectors. Proof We ﬁrst show that any two-term rigid complex C is isomorphic in K (proj ) to a complex with terms having no direct summands in common. So assume C can be represented by a complex 0 → P − → Q → 0, which is minimal with respect to the number of direct summands of P and Q. This minimality ensures that im d ⊆ rad(Q). To now prove that P and Q have no summands in common, it sufﬁces to show that the image of any morphism f : P → Q is contained in rad(Q).By rigidity, there exist h ∈ End (P) and h ∈ End (Q) such that P A Q A f = h ◦ d + d ◦ h Q P But since im d ⊆ rad(Q),alsoim f ⊆ rad(Q). Now let C (α) and C (β) denote two-term rigid complexes, both with terms P and Q.Then by Lemma 1, the orbits G · α and G · β are dense in Hom (P, Q), so they intersect and we get an isomorphism C (α) = C (β) in C (proj ). In particular, we ﬁnd that two-term rigid complexes are uniquely determined by their terms. Since we know by the ﬁrst part of the proof that P and Q do not have any summands in common, the class [C (α)]∈ K (proj ) already sufﬁces to determine C (α) up to isomor- phism, which is exactly what we needed to prove. 4 Quotients by a centrally generated ideal Suppose z ∈ Z (A) ∩ rad(A) is an element such that z = 0 and consider the ideal I = (z) ¯ ¯ ¯ of A.By P ,..., P we denote the projective indecomposable A = A/I modules. Note that 1 l since z ∈ rad(A), the number of projectives is the same. We know that Hom (P , P ) is isomorphic to e Ae , and under this isomorphism the A i j j i kernel of the natural epimorphism ¯ ¯ Hom (P , P )  Hom (P , P ) : α →¯ α A i j A/I i j corresponds to e Ie .Since I = (z) we therefore have for any α ∈ Hom (P , P ) j i A i j α ¯ = 0 ⇐⇒ α = z · α for some α ∈ Hom (P , P ) (4.1) 0 0 A i j The following is our main reduction theorem, which will turn out to be very powerful in the remainder of this article. 123 A reduction theorem for τ -rigid modules Theorem 11 For an ideal I ⊆ (Z (A) ∩ rad(A)) · A of A, the g-vectors of two-term rigid (respectively silting) complexes for A coincide with the ones for A/I , as do the mutation quivers. Proof It sufﬁces to consider I = (z) a principal ideal, with z ∈ Z (A) such that z = 0. From Proposition 3, we know that for all α ∈ Hom (P, Q),and β ∈ Hom (R, S) (P, Q, R, S A A projective A-modules) there is a commutative diagram with exact rows: α,β g 0Hom (C (α), C (β)) Hom (P, R) × Hom (Q, S) Hom (P, S) Hom (C (α), C (β)[1]) 0 b A A A b C (proj ) K (proj ) A A φ ψ ¯ g ¯ α, ¯ β ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ 0Hom (C (α) ¯ , C (β)) Hom (P, R) × Hom (Q, S) Hom (P, S) Hom (C (α) ¯ , C (β)[1]) 0 b ¯ ¯ ¯ b C (proj ) A A A K (proj ) ¯ ¯ A A Since ψ is surjective, by commutativity of the rightmost square, so is the right- most vertical arrow. This ensures that if Hom b (C (α), C (β)[1]) = 0, also K (proj ) Hom b (C (α) ¯ , C (β)[1]) = 0. K (proj ) The other way round, if Hom b (C (α) ¯ , C (β)[1]) = 0, we claim that also K (proj ) Hom (C (α), C (β)[1]) = 0. From the exact sequence, we see that f is surjec- K (proj ) α, ¯ β tive, and it sufﬁces to prove that f is also surjective. Let γ ∈ Hom (P, S) be arbitrary, α,β A then there exists an element (X, Y ) ∈ Hom (P, R) × Hom (Q, S) such that A A ψ(γ ) = ( f ◦ φ)(X, Y ) α, ¯ β = (ψ ◦ f )(X, Y ), α,β so γ − f (X, Y ) ∈ ker ψ, and therefore, by (4.1), α,β γ = f (X, Y ) + zγ , α,β for some γ ∈ Hom (P, S). Using surjectivity of f ◦ φ again, there exists (X , Y ) ∈ α, ¯ β Hom (P, R) × Hom (Q, S) such that A A γ = f (X , Y ) + zγ . α,β Thus we ﬁnd that γ = f (X, Y ) + zγ α,β = f (X, Y ) + zf (X , Y ) α,β α,β = f (X + zX , Y + zY ), α,β whereweusedthat z ∈ Z (A). Thus f is surjective. α,β We conclude that for all α and β: Hom b (C (α), C (β)[1]) = 0 ⇐⇒ Hom b (C (α) ¯ , C (β)[1]) = 0. (4.2) K (proj ) K (proj ) A ¯ b b Since the assignment C (α) ∈ K (proj ) → C (α) ¯ ∈ K (proj ) does not change the A A/I g-vectors, and these uniquely determine a rigid complex by Theorem 8, it is bijective. For the same reason it preserves and reﬂects direct sums, which means that the aforementioned assignment induces a bijection between the two-term rigid complexes for A and the two- term rigid complexes for A/I which restricts to a bijection between the indecomposable complexes, and therefore also between the silting complexes. The mutation quivers will coincide as well since by Theorem 5 they coincide with the Hasse quivers of the posets formed by the two-term silting complexes, and the order is preserved due to (4.2). As an immediate corollary of Theorem 11, we obtain [1, Theorem B] in the symmetric case. 123 F. Eisele et al. Corollary 2 For a symmetric algebra A with soc(A) ⊆ rad(A), the g-vectors of two-term rigid (respectively silting) complexes for A coincide with the ones for A/ soc(A),asdothe mutation quivers. Proof We may assume without loss of generality that A is basic. In this case A/ rad(A) is a commutative ring. That implies that a · m = m · a for all m ∈ A/ rad(A) (which we now see as an A-A-bimodule), and all a ∈ A.Since A is symmetric we have soc(A) Hom (A/ rad(A), k) as an A-A-bimdule, which implies that a ·m = m ·a for all m ∈ soc(A) and all a ∈ A. That is, soc(A) ⊆ Z (A). Here is another immediate application of the foregoing theorem, which recovers the result of [3] saying that the mutation quiver and the g-vectors of a Brauer graph algebra do not depend on the multiplicities of the exceptional vertices, without having to classify all τ -tilting modules beforehand. Deﬁnition 5 Recall that an algebra A = kQ/I is called special biserial if 1. There are at most two arrows emanating from each vertex of Q. 2. There are at most two arrows ending in each vertex of Q. 3. For any path α ··· α ∈ / I (n ≥ 1) there is at most one arrow α in Q such that 1 n 0 α · α ··· α ∈ / I and there is at most one arrow α in Q such that α ··· α · α ∈ / I . 0 1 n n+1 1 n n+1 Now suppose A is symmetric special biserial. By the main result of [29], these correspond exactly to the Brauer graph algebras. Using Theorem 11 we now get as a corollary [3, Proposition 6.16]. Corollary 3 The poset of two-term tilting complexes of a Brauer graph algebra is indepen- dent of the multiplicities involved. Proof The centers of such algebras have been described in [9, Proposition 2.1.1]. More precisely, the sum of all walks around a vertex in the Brauer graph, with each adjacent edge occurring as a starting point precisely once, is a central element. Now one can fairly easily check that all relations involving the exceptional multiplicities become zero modulo the ideal generated by these central elements. Thus all Brauer graph algebras with the same Brauer graph but different exceptional multiplicities have the same quotient A/ rad(Z (A))A and Theorem 11 indeed yields the corollary. 5 String algebras As a consequence of Theorem 11 the classiﬁcation of indecomposable τ -rigid modules over an algebra A often reduces to the same problem over a quotient A/I , which will typically have a simpler structure than A itself. But of course this quotient still needs to be dealt with. One class of algebras for which one might hope to determine all indecomposable τ -rigid modules are the algebras of radical square zero (see [2]), but this class is not large enough for our purposes. In this section we study the τ -rigid modules of string algebras, which are special biserial algebras (as deﬁned in Example 5) with monomial relations. There is a well-known classiﬁcation of indecomposable modules over these algebras, in terms of combinatorial objects known as “strings”, which are certain walks around the Ext-quiver of the algebra. All Auslander–Reiten sequences are known as well. Hence it is clear that it should be possible to give a combinatorial description of the τ -rigid modules and support τ -tilting modules in 123 A reduction theorem for τ -rigid modules terms of these “strings”. Note that for symmetric special biserial algebras such a classiﬁcation exists already (see [3]). But, as A being symmetric does not imply that A/I is symmetric as well, it is useful to consider non-symmetric special biserial algebras even if one is merely interested in symmetric algebras A. By Remark 5 below we may then restrict our attention to string algebras, even if we are interested in arbitrary special biserial algebras. Deﬁnition 6 (String algebra)Let Q be a ﬁnite quiver and let I be an ideal contained in the k-span of all paths of length ≥ 2. We say that A = kQ/I is a string algebra if the following conditions are met: 1. There are at most two arrows emanating from each vertex of Q. 2. There are at most two arrows ending in each vertex of Q. 3. I is generated by monomials. 4. (Unique Continuation) For any path α ··· α ∈ / I (n ≥ 1) there is at most one arrow 1 n α in Q such that α · α ··· α ∈ / I and there is at most one arrow α in Q such that 0 0 1 n n+1 α ··· α · α ∈ / I . 1 n n+1 We will now introduce the combinatorial notions which are needed to classify τ -rigid modules over string algebras. For the most part we use the same terminology as used by Butler and Ringel in [13], where they classify all (ﬁnite dimensional) indecomposable modules over string algebras, as well as all Auslander–Reiten sequences. We will nonetheless make some deﬁnitions which are particular to our situation, since we only have the very speciﬁc goal of classifying τ -rigid modules in mind. One noteworthy detail on which we deviate from [13] is that, since the convention we use for multiplication in path algebras is the opposite of the one used in [13], the string module M (α ··· α ) we deﬁne below is going to correspond to 1 m −1 −1 the string module M (α ··· α ) as deﬁned in [13]. Deﬁnition 7 (Direct, inverse and unidirectional strings)Let A = kQ/I be a string algebra, −1 and let Q ={α ,...,α } denote the set of arrows in Q.By α for i ∈{1,..., h} we 1 1 h denote formal inverses of the arrows α . −1 −1 −1 1. A string C is a word c ··· c ,where c ∈{α ,α ,...,α ,α } such that c = c 1 m i 1 h i 1 h i +1 −1 for all i ∈{1,..., m − 1} and for every subword W of C, W ∈ / I and W ∈ / I.We −1 also ask that if C contains a subword of the form α · α , then the target of α is equal i i −1 to the target of α ,and if C contains a subword of the form α · α , then the source of j j α is equal to the source of α . Moreover, for each vertex e of Q, we deﬁne two paths i j of length zero, one of which is called “direct” and one of which is called “inverse” (this will make sense in the context of the next point below). 2. We call a string of length greater than zero direct if all c ’s are arrows, and inverse if all c ’s are inverses of arrows. We call a string unidirectional if it is either direct or inverse. −1 3. For an arrow α we denote by s(α ) its source and by t (α ) its target.Wedeﬁne s(α ) = i i i −1 t (α ) and t (α ) = s(α ). We extend this notion to strings by deﬁning s(c ··· c ) = i i 1 m s(c ) and t (c ··· c ) = t (c ).For astring C of length zero, given by a vertex e,we 1 1 m m deﬁne s(C ) = t (C ) = e. 4. If C is unidirectional, then we deﬁne the corresponding direct string C as follows: if C −1 ¯ ¯ is direct, then C := C,and if C is inverse, then C := C . 5. Given a string C of length greater than zero let C ··· C be the unique factorization 1 l of C such that each C is unidirectional of length greater than zero, and for each i ∈ {1,..., l − 1} exactly one of the strings C and C is direct. If C is of length zero we i i +1 set l = 1 and deﬁne C = C := C. 1 l 123 F. Eisele et al. While the above deﬁnition is essentially standard, the next deﬁnition is rather speciﬁc to the problem we are considering. We should note at this point that we use strings in two different ways. Usually, a string C corresponds to a string module M (C ). However, the string C we construct in Deﬁnition 8 (1) below will correspond to the differential of a two-term P P complex of projective modules, namely a minimal projective presentation of M (C ).Itis helpful to keep this in mind. Deﬁnition 8 ( C and intermediate points) P P −1 1. We call C a loose end if C is inverse and C · α ∈ I for all arrows α . Similarly, we 1 1 i i call C a loose end if C is direct and C · α ∈ I for all arrows α . The other constituent l l l i i factors C ,..., C are never considered loose ends. 2 l−1 2. Assume that C is not of length zero. Then we deﬁne a string C as follows: if C is a P 1 loose end, we deﬁne C = C ··· C (or one of the strings of length zero corresponding P 2 l to t (C ) if l = 1). If C is not a loose end then there is at most one arrow α such that 1 1 i −1 −1 α · C is a string, and we deﬁne C := α · C if such an α exists, and C := C P i P i i otherwise. In the same vein, if C is a loose end we deﬁne C := C ··· C (or one of l P 1 l−1 the strings of length zero corresponding to s(C ) if l = 1). If C is not a loose end, then l l there is at most one arrow α such that C · α is a string and we deﬁne C := C · α if i i P i such an α exists, and C := C otherwise. i P −1 Now, if C is of length zero, then C is givenbyavertex e, and we deﬁne C = C = α P P for some α emanating from e, provided such an arrow exists, and C = C := C if i P P no such arrow exists (note that we make a choice here, so in order to make C and C P P well-deﬁned, we technically have to designate one of the arrows emanating from each vertex as the one to be used). Unless l = 1and C = C is a loose end, we deﬁne C := ( C ) = (C ).If l = 1 1 l P P P P P P and C = C is an inverse loose end, then we deﬁne C := (C ),and if C = C is 1 l P P P P 1 l a direct loose end we deﬁne C := ( C ) . P P P P −1 −1 Note that we always have (C ) = ( C ) . P P P P 3. If C has length greater than zero, then we call I (0) = s(C ), I (1) = t (C ), I (2) = t (C ), ..., I (l) = t (C ) C 1 C 1 C 2 C l the intermediate points of C,and for1 ≤ i < l we call C and C the adjacent i i +1 unidirectional strings of the intermediate point I (i ). We say that C is the adjacent C 1 unidirectional string of I (0) and C is the adjacent unidirectional string of I (l).We C l C say that I (i ) is an upper intermediate point if C (if it exists, i.e. if i > 0) is inverse and C i C (if it exists) is direct. We call I (i ) a lower intermediate point if C (if it exists) is i +1 C i direct and C (if it exists) is inverse. In particular, I (0) is an upper (respectively lower) i +1 C intermediate point if C is direct (respectively inverse) and I (l) is an upper (respectively 1 C lower) intermediate point if C is inverse (respectively direct). If C is of length zero, then it corresponds to a vertex e, which we consider an upper intermediate point of C.Thatis, I (0) = e is an upper intermediate point (and, by deﬁnition, the only intermediate point of C), and we say that there are no adjacent unidirectional strings. Example 1 Let ⎛ ⎞ 2 2 ⎝ η ⎠ ε • • A = k 0 1 αβ, βα, ε ,η ,αηβ,βεα 123 A reduction theorem for τ -rigid modules ε α η −1 −1 Consider the string C = ε · α · η . We also denote this string by 0 ← 0 → 1 ← 1. In the latter notation, the intermediate points can easily be read off: I (0) = 0, I (1) = 0, C C I (2) = 1and I (3) = 1. Among these, I (0) and I (2) are lower intermediate points (as C C C C arrows are pointing towards them), and I (1) as well as I (3) are upper intermediate points C C (arrows pointing away). −1 −1 Note that C = ε is not a loose end, since C · α = εα is non-zero. Hence C = 1 P εα α η −1 1 ← 0 → 1 ← 1. The other end, C = η is not a loose end either, since a loose end on εα α η β the right has to be direct by deﬁnition. Hence C = 1 ← 0 → 1 ← 1 → 0. As a second P P αη example, consider the string D = 0 → 1. In this case l = 1, and D = D is a direct loose αη end. To form D we therefore ﬁrst need to form D = 0 ← 0 → 1, and then remove the P P P loose end to form D = 0 ← 0. P P Deﬁnition 9 (Presilted strings)Let C and D be two strings. Write C = C = C ··· C P P and D = D = D ··· D .Wesay that Dis C-presilted if the following two conditions P P 1 n are met: 1. For any i ∈{0,..., m} such that I (i ) is a lower intermediate point of C and any j ∈{0,..., n} such that I ( j ) is an upper intermediate point of D we have that any direct string W with s(W ) = I ( j ) and t (W ) = I (i ) factors as either W = X · W , D C where X is an adjacent string of I ( j ),oras W = W · Y,where Y is an adjacent string of I (i ). 2. Assume that there are i ∈{0,..., m} and j ∈{0,..., n} such that I (i ) = I ( j ) C D and I (i ) and I ( j ) are either both upper intermediate points or they are both lower C D −1 intermediate points. By replacing, if necessary, D by D (and, as a consequence, D −1 by D for each x)and j by n − j we can assume without loss of generality that if n−x +1 i + 1 ≤ m and j + 1 ≤ n, then the strings C and D both start with the same arrow i +1 j +1 or inverse of an arrow, and if i > 0and j > 0 then the strings C and D both end on i j the same arrow or inverse of an arrow. Deﬁne t (1) = 1and t (−1) = 0. For σ ∈{1, −1} we deﬁne e(σ ) ∈ Z to be the maximal integer with respect to the property that ≥0 C = D for all 0 ≤ x < e(σ ) i +σ x +t (σ ) j +σ x +t (σ ) whilst at the same time satisfying 0 ≤ i + σ e(σ ) ≤ m and 0 ≤ j + σ e(σ ) ≤ n.Now we ask that one of the following holds for at least one of the two choices for σ : (a) I (i + σ e(σ )) is an upper intermediate point and i + σ(e(σ ) + 1) ∈{−1, m + 1} (b) I (i + σ e(σ )) is an upper intermediate point, the previous condition is not met, j + σ(e(σ ) + 1)/∈{−1, n + 1} and ¯ ¯ C = D · W i +σ e(σ )+t (σ ) j +σ e(σ )+t (σ ) for some direct string W (which, by the maximality of e(σ ), must have positive length). (c) I (i + σ e(σ )) is a lower intermediate point and j + σ(e(σ ) + 1) ∈{−1, n + 1} (d) I (i + σ e(σ )) is a lower intermediate point, the previous condition is not met, i + σ(e(σ ) + 1)/∈{−1, m + 1} and ¯ ¯ D = W · C j +σ e(σ )+t (σ ) i +σ e(σ )+t (σ ) for some direct string W (which, by the maximality of e(σ ), must have positive length). 123 F. Eisele et al. Example 2 Let A be as in Example 1. 1. Let C = D = 0 → 0. We would like to check whether D is C-presilted. We have α εα C = D = C = 1 ← 0 → 1. We need to check the ﬁrst condition of Deﬁnition 9 P P for I (a) with a ∈{0, 2} and I (1).For a = 0 this means checking that every direct C D string W from I (1) = 0to I (0) = 1 factors either as α · W , εα · W or as W · α.For D C a = 2 we require a factorization either as α · W , εα · W or as W · εα. The direct strings from 0 to 1 are α, εα, αη and εαη, and all of these have factorizations as required. Since C = D we only need to check the second condition for i = j.For i = j we always end up with either 2a or 2c holding. Hence it sufﬁces to check (i, j ) = (0, 2) and −1 (i, j ) = (2, 0). In either case we need to replace D by (D ) , that is, assume from now εα α on that D = 1 ← 0 → 1, and look at (i, j ) = (0, 0) and (i, j ) = (2, 2). By deﬁnition, e(σ ) is the largest non-negative integer such that the constituent factors of C between the intermediate points I (i ) and I (i +σ e(σ )) coincide with the constituent C C factors of D between the intermediate points I (i ) and I (i + σ e(σ )). In our case, C D D −1 and D share no common constituent factors (recall that D was replaced by D ), so e(+1) = e(−1) = 0 both if (i, j ) = (0, 0) and if (i, j ) = (2, 2). If (i, j ) = (0, 0), then condition 2c holds for σ =−1. If (i, j ) = (2, 2), then condition 2c holds for σ =+1. It follows that D is C-presilted. 2. Let us now consider an example where the conditions 2b and 2d come into play. Let εαη α εαη αη α εαη C = D = 1 ← 0 → 1 ← 0 → 1 ← 0 → 1. Note that both C and C are loose 1 6 α εαη αη α ends. Hence C = D = C = 0 → 1 ← 0 → 1 ← 0. We will perform part of the P P veriﬁcation that D is C-presilted. Namely, we will check that the second condition holds −1 for (i, j ) = (2, 0). In this case it is not necessary to replace D by D .Since j = 0 we get e(−1) = 0 and since D = C we also get e(+1) = 0. One can check that j +1 i +1 for σ =−1 neither one of the conditions 2a–2d is satisﬁed. For σ =+1, only 2b has a ¯ ¯ chance of holding. This condition asks that C = D · W for some direct string W . i +1 j +1 Concretely, we need a W such that αη = α · W . Hence condition 2b holds with W = η. Deﬁnition 10 (Presilting strings and support) 1. We say that a string C is presilting if C is C-presilted. 2. We say that a vertex e lies in the support of a string C if one of the following holds (again C = C = C ··· C ): P P 1 m (a) I (i ) = e for some lower intermediate point I (i ) of C with i = 0, m. C C (b) There is a direct string W whose source is an upper intermediate point I (i ) of C and whose target is e, such that W does not factor as W = C · W for any adjacent unidirectional string C of I (i ). For a vertex e of Q we denote by P = e · A the corresponding projective indecomposable module. Given two vertices e and f we will identify direct strings C with s(C ) = e and t (C ) = f with the homomorphism from P to P induced by left multiplication with C f e (considered as an element of A). We will deﬁne the string module associated to a string C as the cokernel of a map ψ , which is constructed in the following deﬁnition. Deﬁnition 11 (The map ψ )Let A = kQ/I be a string algebra and let C be a string. Decompose C = C = C ··· C and consider the length of C : P P 1 m 1. If C is of length zero, then it is given by a vertex e, and we deﬁne ψ : 0 → P . C e 2. If C has length greater than zero than there are four cases to consider: 123 A reduction theorem for τ -rigid modules (a) If C is direct and C is inverse (note that in this case m is even): deﬁne Q(i ) := m m P and P(i ) := P for i ∈{1,..., }.Deﬁne P( + 1) := P . t (C ) s(C ) t (C ) 2 2 m 2i −1 2i −1 Deﬁne m m 2 2 Q := Q(i ) and P := P(i ) i =1 i =1 Furthermore, for each i ∈{1,..., },wedenoteby π the projection from Q Q(i ) onto Q(i ), and for each i ∈{1,..., + 1} we denote by ι the embedding of P(i ) P(i ) into P. We deﬁne a homomorphism ψ : Q −→ P as follows: −1 ψ = ι ◦ C ◦ π + ι ◦ C ◦ π C P(i ) Q(i ) P(i +1) Q(i ) 2i −1 2i i =1 (b) If C is inverse and C is direct (in this case m is even): deﬁne Q(i ) := P m s(C ) 2i −1 m m and P(i ) := P for i ∈{1,..., }.Deﬁne Q( + 1) := P .Deﬁne t (C ) t (C ) 2 2 2i −1 m m 2 2 Q := Q(i ) and P := P(i ) i =1 i =1 Furthermore, for each i ∈{1,..., + 1}, we denote by π the projection from Q(i ) Q onto Q(i ), and for each i ∈{1,..., } we denote by ι the embedding of P(i ) P(i ) into P. We deﬁne a homomorphism ψ : Q −→ P as follows: −1 ψ = ι ◦ C ◦ π + ι ◦ C ◦ π C P(i ) Q(i ) P(i ) Q(i +1) 2i 2i −1 i =1 (c) If C is direct and C is direct (in this case m is odd): deﬁne Q(i ) := P and t (C ) 1 m 2i −1 m+1 P(i ) := P for i ∈{1,..., }.Deﬁne s(C ) 2i −1 m+1 m+1 2 2 Q := Q(i ) and P := P(i ) i =1 i =1 m+1 Furthermore, for each i ∈{1,..., },wedenoteby π the projection from Q Q(i ) onto Q(i ), and by ι the embedding of P(i ) into P. We deﬁne a homomorphism P(i ) ψ : Q −→ P as follows: m−1 −1 ψ = ι m+1 ◦ C ◦ π m+1 + ι ◦ C ◦ π + ι ◦ C ◦ π C P(i ) Q(i ) P(i +1) Q(i ) P( ) m Q( ) 2i −1 2i 2 2 i =1 −1 (d) If C and C are inverse, then C falls under case (2c), so we can deﬁne ψ := 1 m ψ −1 . Remark 3 Note that Deﬁnition 11 is much less technical than it looks: given a string C,we form C = C , and then deﬁne a presentation Q −→ P such that the indecomposable P P direct summands of P are in bijection with the upper intermediate points of C and the indecomposable direct summands of Q are in bijection with the lower intermediate points ¯ ¯ of C . The map between Q and P is then the sum of the direct versions C ,..., C of the 123 F. Eisele et al. factors C ,..., C , each being considered as a map from the summand of Q corresponding to its target to the summand of P corresponding to its source. Deﬁnition 12 (String modules)Let A = kQ/I be a string algebra and let C be a string. The associated string module M (C ) is deﬁned as: M (C ) = coker ψ . In fact, ψ is a minimal projective presentation of M (C ). −1 Remark 4 Note M (C ) M (C ) for cases (2a), (2b) and (2c), justifying the seemingly ad hoc deﬁnition in (2d). Proposition 5 Let A = kQ/I be a string algebra and let M be an indecomposable τ -rigid A-module. Then M is a string module. Proof By [13, Theorem on page 161] each indecomposable A-module is either a string module or a so-called band module. By [13, Bottom of page 165] each band module occurs in an Auslander–Reiten sequence as both the leftmost and the rightmost term, which means that each band module is isomorphic to its Auslander–Reiten translate. But by deﬁnition such a module cannot be τ -rigid. The next proposition is the main technical result of this section. Proposition 6 Let A = kQ/I be a string algebra and let C and D be two strings. Denote • b • b by T (C ) ∈ K (proj ) and T (D) ∈ K (proj ) minimal projective presentations of A A • • M (C ) respectively M (D).Then Hom (T (C ) , T (D) [1]) = 0 if and only if D K (proj ) is C-presilted. Proof We know that a minimal projective presentation of the string module M (C ) is given by the following two-term complex: • (C ) (C ) T (C ) = Q (i ) −→ P ( j ) i j where i ranges over all lower intermediate points of C = C and j ranges over all upper P P intermediate points of C (just as in Deﬁnition 11, we merely added the superscript (C ), and are intentionally less explicit about the range of the direct sum in order to avoid having to deal with three different cases again). In the same vein we have the minimal projective presentation • (D) (D) T (D) = Q (i ) −→ P ( j ) i j of M (D),where i and j range over the lower respectively upper intermediate points of D = D . We adopt the following notation for homomorphisms: given a direct string W P P (D) whose source is the upper intermediate point of D associated with P ( j ) and whose target (C ) is the lower intermediate point of C associated with Q (i ),wedenoteby W the element j,i (C ) (D) of Hom (Q (i ), P ( j )) induced by left multiplication with W . Whenever we write W A j,i below, we will mean this to tacitly imply that W starts and ends in the right vertices. Moreover, we identify (C ) (D) • • Hom (Q (i ), P ( j )) = Hom (T (C ) , T (D) [1]) C (A) i, j 123 A reduction theorem for τ -rigid modules Note that the W form a basis of the above vector space, and we will refer to them as basis j,i elements in what follows. We say that W is involved in an element ϕ of the above space j,i if the coefﬁcient of W is non-zero when we write ϕ as a linear combination of the basis j,i elements. • • Now the condition Hom b (T (C ) , T (D) [1]) = 0 is equivalent to asking that for K (proj ) (C ) (C ) each summand Q (i ) of Q (that is, for each lower intermediate i point of C ) and each (D) (D) summand P ( j ) of P (that is, for each upper intermediate point j of D ) each basis element W is zero-homotopic. One deduces from the deﬁnition of ψ and ψ that the j,i C D • • space of zero-homotopic maps from T (C ) to T (D) [1] is spanned by the following two families of maps: 1. Let u be an upper intermediate point of D and let u be an upper intermediate point of C .Wedeﬁne ¯ ¯ h (W, u, u ) = (W · C ) + (W · C ) if 0 < u < m C u,u −1 u,u +1 u u +1 h (W, u, u ) = (W · C ) if 0 = u < m u,u +1 u +1 h (W, u, u ) = (W · C ) if 0 < u = m C u,u −1 if C has length greater than zero, and h (W, u, u ) = 0 otherwise. 2. Let l be a lower intermediate point of D and let l be a lower intermediate point of C ¯ ¯ h (W, l, l ) = (D · W ) + (D · W ) if 0 < l < n D l−1,l l+1,l l l+1 h (W, l, l ) = (D · W ) if 0 = l < n l+1,l l+1 h (W, l, l ) = (D · W ) if 0 < l = n D l−1,l By deﬁnition, D having a lower intermediate point implies that D is of length greater than zero, so the length zero case does not need to be considered. The source and target of the direct string W are I (u) and I (u ) in the ﬁrst case and I (l) D C D and I (l ) in the second. The ﬁrst condition in the deﬁnition of C-presiltedness is fulﬁlled if and only if each basis element W is involved in some h (W , u, u ) or some h (W , l, l ) for some W . So clearly j,i C D the ﬁrst condition is necessary. Now notice that if W has positive length, then the unique continuation condition (see Deﬁnition 6(4)) ensures that h (W, u, u ) respectively h (W, l, l ) actually involves at most C D one basis element. Hence every W is zero-homotopic if and only if all basis vectors involved j,i in maps of the form h (I (u ), u, u ) with I (u ) = I (u) and h (I (l ), l, l ) with C D C C D C I (l ) = I (l) are zero-homotopic. So assume that we have such a pair l , l respectively C D u , u. These correspond precisely to the pairs i, j which are considered in the second part of the deﬁnition of C-presiltedness. We may assume that D is oriented as in the deﬁnition of C-presiltedness, and we get non-negative integers e(σ ) for σ ∈{1, −1} just as in said deﬁnition. For ease of notation we will write h instead of h and h (the parameters do in C D fact determine which of the two we are dealing with). So we want to know when the basis elements involved in h(I (i ), j, i ) are zero-homotopic, that is, can be written as a linear combination of other h’s. Without loss of generality we can assume that all h’s occurring in 123 F. Eisele et al. such a linear combination lie in the equivalence class of h(I (i ), j, i ) with respect to the transitive closure of the relation h(W, a, b) ∼ h(W , c, d) if there is a basis element which is involved in both h(W, a, b) and h(W , c, d).Wecall h(W, a, b) and h(W , c, d) neighbors of each other. Note that either c = a + 1and d = b + 1, in which case we call h(W , c, d) a right neighbor of h(W, a, b),or c = a − 1and d = b − 1, in which case h(W , c, d) is called a left neighbor of h(W, a, b). Left and right neighbors are unique if they exist. For any −e(−1)< x < e(1) we have ¯ ¯ (C ) + (C ) ⎨ j +x ,i +x −1 j +x ,i +x +1 i +x i +x +1 h(I (i + x ), j + x , i + x ) = or ¯ ¯ (C ) + (C ) j +x −1,i +x j +x +1,i +x i +x i +x +1 depending on whether I (i + x ) is an upper or a lower intermediate point. Hence h(I (i + C C x ), j + x , i + x ) has exactly two neighbors, namely the right neighbor h(I (i + x + 1), j + x + 1, i + x + 1) and the left neighbor h(I (i + x − 1), j + x − 1, i + x − 1). It hence sufﬁces to check what the right neighbor of h(I (i + e(1)), j + e(1), i + e(1)) and the left neighbor of h(I (i − e(−1)), j − e(−1), i − e(−1)) are. If I (i + e(1)) is an upper intermediate point, and i + e(1) = m (i.e.2afor σ =+1is met), then h(I (i +e(1)), j +e(1), i +e(1)) has no right neighbors, but in this case h(I (i + C C e(1)), j +e(1), i +e(1)) = (C ) or h(I (i +e(1)), j +e(1), i +e(1)) = 0 j +e(1),i +e(1)−1 C i +e(1) (if C has length zero). If 2a is met neither for σ = 1 nor for σ =−1then h(I (i +e(1)), j + e(1), i +e(1)) involves two different basis elements. If i +e(1)< m, then a right neighbor of h(I (i +e(1)), j +e(1), i +e(1)) must have the form h(W, i +e(1) +1, j +e(1) +1) where ¯ ¯ D · W = C . That is, a right neighbor exists if and only if the factorization j +e(1)+1 i +e(1)+1 condition 2b for σ =+1 is met, and this right neighbor involves just a single basis element. Similarly one veriﬁes that if I (i + e(1)) is a lower intermediate point, and j + e(1) = n (i.e.2cfor σ =+1 is met), then h(I (i + e(1)), j + e(1), i + e(1)) has no right neighbors, but in this case h(I (i + e(1)), j + e(1), i + e(1)) = (D ) .If2cismet C j +e(1)−1,i +e(1) j +e(1) neither for σ = 1 nor for σ =−1then h(I (i + e(1)), j + e(1), i + e(1)) involves two different basis elements. If 2c is not met for σ =+1, then h(I (i +e(1)), j +e(1), i +e(1)) has a right neighbor (which necessarily involves but a single basis element) if and only 2d is met for σ =+1. We can of course apply the same line of reasoning to the left neighbors of h(I (i − e(−1)), j − e(−1), i − e(−1). What we obtain then is the statement that the equivalence class of h(I (i ), j, i ) with respect to the neighborhood relation contains an element involving only a single basis element if and only if one of the conditions 2a–2d is met for either σ =+1 or σ =+1. Now one just has to realize that if some element in the equivalence class of h(I (i ), j, i ) involves just a single basis element, then any basis element involved in any element of the equivalence class can be written as a linear combination of the elements of the equivalence class. Conversely, if every element of the equivalence class of h(I (i ), j, i ) involves two basis elements, then no basis element involved in any of the elements of the equivalence class can be written as a linear combination of elements of the equivalence class (note that this is just linear algebra, since such an equivalence class written as row vectors with respect to the basis consisting of all involved basis elements in the right order, looks like (1, 1, 0,..., 0), (0, 1, 1, 0,..., 0),…, (0,..., 0, 1, 1), and possibly (1, 0,..., 0) and/or (0,..., 0, 1)). Proposition 7 Let A = kQ/I be a string algebra and let C be a string. Denote by T (C ) ∈ K (proj ) a minimal projective presentation of M (C ). Let e be a vertex of Q, and denote by P the stalk complex belonging to the projective indecomposable P . Then we always have 123 A reduction theorem for τ -rigid modules • • • • Hom b (T (C ) , P [2]) = 0, and Hom b (P [1], T (C ) [1]) = 0 if and only if K (proj ) e K (proj ) e A A e is not in the support of C. Proof Analogous to Proposition 6. These propositions allow us to give a combinatorial characterisation of the indecomposable τ -rigid modules over a string algebra. Theorem 12 Let A = kQ/I be a string algebra. 1. There are bijections { presilting strings for A} { indecomposable τ − rigid A − modules } • b 0 • { indecomposable rigid two-term complexesT ∈ K (proj ) with H (T ) = 0} where the ﬁrst bijection is given by the correspondence between strings and indecom- posable A-modules, and the second bijection is given by taking a minimal projective presentation of an indecomposable τ -rigid module and, in the other direction, taking homology in degree zero. 2. If {C (1), ..., C (l)} is a collection of presilting strings, and {e(1), ..., e(m)} is a collec- tion of vertices of Q, then ⎛ ⎞ l m ⎝ ⎠ M (C (i )), P e( j ) i =1 j =1 is a support τ -tilting pair if and only if l + m =|A|,eachC (i ) is C ( j )-presilted for all i, j ∈{1,..., l}, and none of the e( j )’s is in the support of any of the C (i )’s. 3. If {C (1), ..., C (l)}, {e(1), ..., e(m)} and {D(1), ..., D(l )},{ f (1), ..., f (m )} both give rise to a support τ -tilting module in the sense of the previous point, say M and N, then M ≥ N if and only if D(i ) is C ( j )-presilted for all i, j. In fact, Theorem 12 shows that there is a combinatorial algorithm to determine the inde- composable τ -rigid modules, the support τ -tilting modules and the mutation quiver of a string algebra, provided A has only ﬁnitely many indecomposable τ -rigid modules. The steps involved are as follows: 1. Run through a list of all strings up to a given length, check which of these strings are presilting and which vertices lie in their support. 2. Determine the support τ -tilting modules involving only the presilting strings from Step 1using Theorem 12(2). 3. Determine which of the support τ -tilting modules from Step 2 are mutations of one another, which gives a subquiver of the Hasse quiver of sτ -tilt (the direction of the arrows follows from Theorem 12(3) above). 4. If each vertex in the quiver has exactly |A| neighbors, then we are done by Theorem 6 and Proposition 1. Otherwise we need to use a bigger maximal length in Step 1 and start over. Of course, in practice, this can be done somewhat more efﬁciently. 123 F. Eisele et al. Example 3 (cf. [20]) Consider the quiver α α α α n−2 n−1 1 2 • • • • Q = ··· n−1 1 2 n β β β β 2 3 n−1 n and deﬁne A = kQ/I,where I =α · β ,α · β − β · α | i = 2,..., n − 1 1 2 i i +1 i i −1 Then z = β · α i i −1 i =2 is central in A.Wehave J := I, z=α · β ,β · α | i = 1,..., n − 1 i i +1 i +1 i So by Theorem 11 the poset of 2-term silting complexes over A is isomorphic to the poset of 2-term silting complexes over kQ/J , which is a string algebra. In thesamevein, thealgebra B := kQ/I,β · α n n−1 also has kQ/J as a central quotient, because z obviously remains central modulo β · α . n n−1 This shows that A, which is the Auslander algebra of k[x ]/(x ),and B, which is the preprojective algebra of type A , have isomorphic posets of 2-term silting complexes. In fact, Theorem 11 immediately recovers all of [20, Theorem 5.3]. Now by a result of Mizuno [24], the poset of 2-term silting complexes over B is isomorphic to the group S with the n+1 generation order as its poset structure. One could in principle try to reprove that last assertion using string combinatorics for the algebra kQ/J , but it is not clear whether this would make matters easier. However, what we can easily see is that each string for kQ/J is presilting (and strings can easily be counted in this case), and hence both A and B have exactly 2 · (2 − 1) − n indecomposable τ -rigid modules. Note that for n = 3, the algebra kQ/J is equal to the algebra R(3C ) given in the appendix. R(3C ) has, as expected, 24 support τ -tilting modules and 11 indecomposable τ -rigid modules, and all (presilting) strings are listed in Fig. 4. Remark 5 Suppose A = kQ/I is a special biserial algebra and denote by P a full set of non- isomorphic indecomposable projective-injective non-uniserial A-modules. Then it is well known (see for example [30]) that the quotient algebra B = A/ soc(P) P∈P is a string algebra. By [1, Theorem B], the support τ -tilting modules of A can be explicitly computed from those of B, so the techniques in this section can be used for arbitrary special biserial algebras. 6 Blocks of group algebras Now we will apply our Theorem 11 and the results of Sect. 5 to blocks of group algebras. Throughout this section, k is an algebraically closed ﬁeld of characteristic p,and G is a ﬁnite 123 A reduction theorem for τ -rigid modules group. Remember that since (blocks of) kG are symmetric, two-term silting complexes are in fact tilting. 6.1 τ-tilting-ﬁnite blocks Let us ﬁrst recall the deﬁnition of τ -tilting-ﬁniteness, which was already brieﬂy mentioned in the introduction. Deﬁnition 13 (τ -tilting-ﬁnite algebras) An algebra is called τ -tilting-ﬁnite if there are only ﬁnitely many isomorphism classes of basic support τ -tilting modules. There is a nice sufﬁcient criterion for τ -tilting-ﬁniteness, which is particularly useful for blocks. Theorem 13 Let A be a symmetric algebra with positive deﬁnite Cartan matrix and a derived equivalence class in which the entries of the Cartan matrices are bounded. Then A is τ -tilting- ﬁnite. Proof For a two-term tilting complex T = T ⊕ ··· ⊕ T (remember that l =|A|), write 1 l l l − + ⊕t ⊕t ij ij T : 0 → P → P → 0, j j j =1 j =1 and consider B = End b (T ). Denote by C (respectively C ) the Cartan matrix of A A B K (proj ) (respectively B), and denote by χ the Euler form on K (proj ). Then: (C ) = dim Hom (T , T ) B m,n k m n K (proj ) = (−1) dim Hom b (T , T [i ]) k m n K (proj ) = χ(T , T ) m n ⎛ ⎞ + − + − ⎝ ⎠ = χ (t − t )[P ], (t − t )[P ] j j mj mj nj nj j j + − + − = (t − t )χ ([P ], [P ])(t − t ) i j mi mi nj nj i, j + − + − = (t − t )(C ) (t − t ), A i, j mi mi nj nj i, j where in the second equality we used that the T are tilting. Deﬁning M ∈ M (Z) by M = i l ij + − t − t ,weobtain ij ij C = MC M . (6.1) B A In fact, there are only ﬁnitely many such M. To see this suppose that M ∈ M (Z) also satisﬁes C = M C M .Then B A −1 t −1 t C = M M C M (M ) , A A −1 n which shows that M M ∈ O(Z , C ), the group of orthogonal, integral matrices pre- serving C . Since the Cartan matrix C is positive deﬁnite by assumption, this is a ﬁnite A A group. 123 F. Eisele et al. As we assume that the entries of the Cartan matrices of algebras derived equivalent to A are bounded, it follows that only ﬁnitely many matrices occur as Cartan matrices of algebras in the derived equivalence class of A (as there are only ﬁnitely many l × l-matrices with integer entries between 0 and the assumed upper bound). For each of these ﬁnitely many Cartan matrices, there are only ﬁnitely many matrices M satisfying (6.1). Since the matrix M above is just the matrix of g-vectors of the T , this matrix already determines the tilting complex T by Theorem 8, so we are done. Now we would like to get some idea of how, if at all, τ -tilting-ﬁniteness of a block relates to its defect group and representation type. The following theorem determines the representation type of (blocks of) group algebras. Theorem 14 [10,12,16] Let B be a block of kG and let P be a defect group of B. The block algebra B and the group algebra k P have the same representation type. Moreover: 1. k P is of ﬁnite type if P is cyclic. 2. k P is of tame type if p = 2 and P is the Klein four-group, or a generalized quaternion, dihedral or semi-dihedral group. 3. In all other cases k P is of wild type. Corollary 4 There exist τ -tilting-ﬁnite blocks of group algebras of every representation type and of arbitrary large defect. Proof Let G denote a ﬁnite p-group, so kG is local with defect group G. It is easy to see that local algebras are τ -tilting-ﬁnite, and by Theorem 14 they can be of arbitrary representation type. A more interesting question is whether there exist non-local blocks of group algebras which are τ -tilting-ﬁnite but not representation ﬁnite. Using Theorem 11 we can show the following: Theorem 15 There exist non-local τ -tilting-ﬁnite wild blocks of group algebras with arbi- trary large defect groups, in the sense that every p-group occurs as a subgroup of the defect group of a τ -tilting-ﬁnite non-local block. Proof Assume B is a block of kG, with defect group P.For Q an arbitrary p-group, the algebra kQ ⊗ B is a block of k(Q × G) with defect group Q × P (see for example [8,Ch. IV, §15, Lemma 6]). Since Q is a p-group, there is a non-trivial element z ∈ Z (Q),and we can form the quotient kQ ⊗ B/((1 − z) ⊗ 1) = k Q ⊗ B, k k ¯ ¯ with Q = Q/z.Since Q is again a p-group and Q is ﬁnite we can keep repeating this until we get B as a quotient. Now Theorem 11 provides a bijection between the support τ -tilting modules for B and the support τ -tilting modules for kQ ⊗ B, so it sufﬁces to take for B a block of cyclic defect or (as we will see below) a tame block, to obtain examples as in the statement of the theorem. 6.2 Tame blocks In [14], Erdmann determined the basic algebras of all algebras satisfying the following deﬁnition, which is satisﬁed in particular by all tame blocks of group algebras. 123 A reduction theorem for τ -rigid modules Deﬁnition 14 A ﬁnite-dimensional algebra A deﬁned over an algebraically closed ﬁeld k of arbitrary characteristic is of dihedral, semidihedral or quaternion type if it satisﬁes the following conditions: 1. A is tame, symmetric and indecomposable. 2. The Cartan matrix of A is non-singular. 3. The stable Auslander–Reiten quiver of A has the following properties: Dihedral type Semidihedral type Quaternion type Tubes: Rank 1 and 3 Rank ≤3Rank ≤ 2 At most two 3-tubes At most one 3-tube ∞ ∞ Others: ZA / ZA and ZD ∞ ∞ The Appendix of Erdmann [14] furnishes a complete list of basic algebras satisfying said deﬁnition. Later, Holm [17] showed that non-local tame blocks must actually be of one of the following types: Dihedral: D(2A), D(2B), D(3A), D(3B) , D(3K ) Semidihedral: SD(2A) , SD(2B) , SD(3A) , SD(3B) , SD(3C ), 1,2 1,2 1 1,2 SD(3D), SD(3H ) Quaternion: Q(2A), Q(2B) , Q(3A) , Q(3B), Q(3K ) 1 2 We can show that all tame blocks are τ -tilting-ﬁnite, even without looking at Erdmann’s classiﬁcation [14] in greater detail. Namely, the class of algebras deﬁned in Deﬁnition 14 is clearly closed under derived equivalences (cf. [18, Proposition 2.1]), and it follows from [14] that the entries of the Cartan matrices of algebras in the derived equivalence class of an algebra satisfying Deﬁnition 14 are bounded (to see this one has to use the fact that the dimension of the center is a derived invariant). Moreover, a block of a group algebra always has a positive deﬁnite Cartan matrix. Hence, Theorem 13 implies that all tame blocks are τ -tilting ﬁnite. So it is in principle possible to completely classify the two-term tilting complexes over tame blocks, and describe the associated Hasse quivers (see Theorem 4 for the poset structure). Using Theorem 11 and the results on string algebras, we are able to achieve this (in fact, for all algebras in Erdmann’s list, not just blocks). In Appendix 7, we provide the presentations of the algebras from the appendix of [14], along with central elements and the quotients one obtains. A direct application of Theorem 11 then reduces the computation of g-vectors and Hasse quivers for all tame blocks to the same computation for ﬁve explicitly given ﬁnite dimensional algebras (with trivial center): R(2AB), R(3AB D), R(3C ), R(3H ) and R(3K ) (see Table 2 below), which do not depend on any extra data. The computation of g-vectors and Hasse quivers for all algebras of dihedral, semidihedral or quaternion type reduces to the same computation for the aforementioned ﬁve algebras, and in addition the ﬁve algebras W (2B), W (3ABC ), W (Q(3A) ), W (3F ) and W (3QL R) (also given in Table 2). The following theorem follows immediately from these considerations. Theorem 16 All algebras of dihedral, semidihedral or quaternion type are τ -tilting-ﬁnite and their g-vectors and Hasse quivers (of the poset of support τ -tilting modules) are inde- pendent of the characteristic of k and the parameters involved in the presentations of their basic algebras. 123 F. Eisele et al. If we restrict our attention to tame blocks of group algebras, the results listed in Appendix 7 imply that the g-vectors and Hasse quiver for such a block depend only on the Ext-quiver of its basic algebra. The isomorphism class of the defect group (dihedral, semidihedral or quaternion) does not play a role. Corollary 5 All tilting complexes over an algebra A of dihedral, semidihedral, or quaternion type can be obtained from the regular module A by iterated tilting mutation. Proof By [18, Proposition 2.1], the class of algebras satisfying Deﬁnition 14 is closed under derived equivalence, so the result follows immediately from Proposition 2 and Theorem 7. Since R(2AB), R(3AB D), R(3C ), R(3H ), R(3K ), W (2B), W (3ABC ), W (Q(3A) ), W (3F ) and W (3QL R) are all string algebras one can go further and actually compute (using the results in Sect. 5)the g-vectors and Hasse quivers of the poset of support τ -tilting modules for all algebras of dihedral, semidihedral and quaternion type. For details we refer to Appendix 7. Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 Interna- tional License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made. 7 Appendix: Computations for algebras of dihedral, semidihedral and quaternion type In this appendix, we use Theorem 11 and the results in Sect. 5 to give a complete description of the g-vectors and Hasse quivers (of basic two-term silting complexes, see Sect. 2)ofall algebras in Erdmann’s list (see Deﬁnition 14). These include all the basic algebras of tame blocks of group algebras. In the ﬁrst three columns of Table 1, we give the presentations of the basic algebras listed in [14], along with their names and parameters. Let us look at a single row, which describes an algebra A. Then the fourth column describes elements z ,..., z ∈ rad(A) such that 1 n z + (z ,..., z ) ∈ Z (A/(z ,..., z )). Note that a horizontal bar above an element z i 1 i −1 1 i −1 i means that the image of this element in Z (A/(z ,..., z )) is not central. For instance, 1 i −2 all z appearing before the ﬁrst horizontal bar lie in Z (A),the z after the ﬁrst horizontal i i bar is not central in A, only in A/(z ,..., z ) (this extra piece of information is meant to 1 i −1 help veriﬁcation, it is not technically required). Taking the quotient A/(z ,..., z ) we obtain 1 n the ﬁnite dimensional algebra listed in the ﬁfth column, whose presentation can be found in Table 2.Since A/(z ,..., z ) was obtained from the original algebra A by taking successive 1 n central quotients, Theorem 11 ensures that the g-vectors and Hasse quiver of A coincide with the ones of the algebra speciﬁed in the ﬁfth column. Using the presentations in Table 2 one checks easily that all of them are string algebras. Hence we can use the results of Sect. 5 to determine their support τ -tilting modules using string combinatorics, see Figs. 1, 2, 3, 4, 5, 6, 7, 8, 9 and 10. Calculations dealing with string combinatorics were done using GAP [15], and the results were checked against computations done over k = F using the GAP-package QPA [27]. The GAP code we wrote for this purpose is available at https://github.com/feisele/ tau-tilting-article-code. It is however also possible to check the correctness of the results by hand. 123 A reduction theorem for τ -rigid modules Table 1 Algebras from Erdmann’s list together with central quotients Quiver Name & parameters Relations Successive central elements Quotient β k−1 γβ =0 (βγα) βγ D(2A) 2 k α •0 •1 α = c(αβγ) αβγ + γαβ + βγα R(2AB) k ≥ 1,c =0 or 1 k k γ (αβγ) =(βγα) βγ k−1 2 βγβ =(αβγ) αβ k−1 Q(2A) γβγ =(γαβ) γα αβγ + βγα + γαβ R(2AB) 2 k−1 k k−1 k ≥ 2,c ∈ K γβ +(αβγ) α α =(βγα) βγ + c(βγα) α β =0 βγ 2 k 2 α = c(αβγ) α k−1 SD(2A)1 βγβ =(αβγ) αβ αβγ + βγα + γαβ R(2AB) k−1 k−1 k ≥ 2,c ∈ K γβγ =(γαβ) γα γβ +(αβγ) α (αβγ) α =0 βγ 2 k−1 k k−1 α =(βγα) βγ + c(αβγ) (βγα) βγ SD(2A) γβ =0 αβγ + γαβ + βγα R(2AB) k ≥ 2,c ∈ K k k (αβγ) =(βγα) βγ βη =0 = ηγ = γβ η 2 k k−1 D(2B) α = c(αβγ) (βγα) βγ α •0 •1 R(2AB) k k k ≥ 1,s ≥ 1,c =0 or 1 (αβγ) =(βγα) αβγ + γαβ + βγα k s (γαβ) = η βγ s−1 γβ = η k−1 (βγα) βγ k−1 βη =(αβγ) αβ k−1 Q(2B)1 (αβγ) α + η k−1 ηγ =(γαβ) γα R(2AB) k ≥ 2,s ≥ 3,c ∈ K αβγ + γαβ + βγα k−1 βη =(αβγ) αβ βγ 2 k−1 k 2 α =(βγα) βγ + c(βγα) α β =0 γβ =0 = ηγ = βη η 2 k−1 k k−1 SD(2B) α =(βγα) βγ + c(βγα) (βγα) βγ R(2AB) t k k ≥ 1,t ≥ 2,c ∈ K η =(γαβ) αβγ + γαβ + βγα k k (αβγ) =(βγα) βγ k−1 βη =(αβγ) αβ k−1 (βγα) βγ k−1 ηγ =(γαβ) γα k−1 SD(2B)2 (αβγ) α + η t−1 γβ = η R(2AB) k ≥ 1,t ≥ 3,c ∈ K αβγ + γαβ + βγα 2 k α = c(αβγ) βγ 2 2 βη =0 = η γ βγ = α ,αβ = βη, ηγ = γα s 2 s+1 s SD(2B) (c) γβ = η (1 + cη ),α β =0 βγ + γβ W (2B) s s s+2 s+2 s ≥ 2,c ∈ K γα =0 = η γ, α =0 = η α + η βη =0 αβ = βη, ηγ = γη 2 2 s−1 s Q(2B) βγ = α p(α),γβ = η p(η)+ aη + cη βγ + γβ W (2B) s+1 s+1 s ≥ 4,a =0,p(t) ∈ K[t],p(0) = 1 α =0 = η α + η s−1 s−1 γα =0 = α β αβ = βη, ηγ = γη Q(2B) βγ + γβ 3 2 3 t−1 t βγ = α + cα ,γβ = aη + dη W (2B) t ≥ 3,a,c, d ∈ K, a =0 α + η 4 t+1 2 2 α =0 = η = γα = α β β δ D(3A)1 βγ =0 = ηδ γβδη + βδηγ + δηγβ + ηγβδ • • • R(3ABD) 1 0 2 k k k ≥ 1 (γβδη) =(δηγβ) γβδη γ η k−1 βγβ =(βδηγ) βδη γβδη + βδηγ + δηγβ + ηγβδ k−1 γβγ =(δηγβ) δηγ Q(3A) γβδη 2 k−1 ηδη =(ηγβδ) ηγβ R(3ABD) k ≥ 2 βγ k−1 δηδ =(γβδη) γβδ ηδ βγβδ =0 = ηδηγ βγ =0 SD(3A) γβδη + βδηγ + δηγβ + ηγβδ 1 k−1 δηδ =(γβδη) γβδ R(3ABD) k ≥ 1 γβδηηδ k−1 ηδη =(ηγβδ) ηγβ D(3A) βδ =0 = ηγ γβ + βγ W (3ABCD) k l l, k ≥ 2 (γβ) =(δη) δη + ηδ a−1 βδη =(βγ) β a−1 δηγ =(γβ) γ a−1 Q(3A) δη + ηδ +(βγ) 1 b−1 ηγβ = d(ηδ) η W (Q(3A) ) b−1 1 a ≥ b ≥ 2, 0 = d ∈ K γβ + βγ +(δη) b−1 γβδ = d(δη) δ βδηδ =0 = ηγβγ SD(3A) γβ = δη βγ + γβ + ηδ R(3C) k−1 k−1 k ≥ 2 (βγ) βδ =0 =(ηδ) ηγ αβ =0 = γα δ α D(3B) βγ =0 = ηδ α •1 •0 •2 γβδη + βδηγ + δηγβ + ηγβδ R(3ABD) k k k ≥ 1,s ≥ 2 (γβδη) =(δηγβ) γ η γβδη s k α =(βδηγ) s−1 βγ = α k−1 k−1 αβ =(βδηγ) βδη α +(δηγβ) δη k−1 Q(3B) γα =(δηγβ) δηγ γβδη + βδηγ + δηγβ + ηγβδ R(3ABD) k−1 k ≥ 1,s ≥ 3 ηδη =(ηγβδ) ηγβ γβδη k−1 δηδ =(γβδη) γβδ ηδ α β =0 = βδηδ αβ =0 = γα = βγ α s k SD(3B) α =(βδηγ) γβδη + βδηγ + δηγβ + ηγβδ R(3ABD) k−1 k ≥ 1,s ≥ 2 ηδη =(ηγβδ) ηγβ γβδη k−1 δηδ =(γβδη) γβδ ηδ ηδ =0 k−1 α +(δηγβ) δη s−1 SD(3B) βγ = α γβδη + βδηγ + δηγβ + ηγβδ R(3ABD) k−1 k ≥ 1,s ≥ 3 γα =(δηγβ) δηγ γβδη k−1 αβ =(βδηγ) βδη γα =0 = αβ D(3B) βδ =0 = ηγ βγ + γβ W (3ABCD) k l k ≥ 1,s ≥ 3 (γβ) =(δη) δη + ηδ k s (βγ) = α ηδ =0 = δζ = ζη k−1 α +(δηγβ) δη β s−1 δ βγ = α SD(3D) γβδη + βδηγ + δηγβ + ηγβδ k−1 α • • • ζ 1 0 2 γα =(δηγβ) δηγ R(3ABD) k ≥ 1,s ≥ 3,t ≥ 2 ζ k−1 γ η αβ =(βδηγ) βδη γβδη t k ζ =(ηγβδ) βγ =0 = ηδ, αβ =0 = γα δζ =0 = ζη D(3D) ζ 1 s k α =(βδηγ) R(3ABD) s, t ≥ 2,k ≥ 1 βδγη + δηγβ + ηγβδ + γβδη t k ζ =(ηγβδ) δηγβ k k (γβδη) =(δηγβ) 123 F. Eisele et al. Table 1 continued Quiver Name & parameters Relations Successive central elements Quotient γα =0 = αβ, βδ =0 = ηγ α D(3D)2 δζ =0 = ζη ζ W (3ABCD) k s l t s, t ≥ 2,k,l ≥ 1 (βγ) = α , (ηδ) = ζ βγ + γβ k l ηδ + δη (γβ) =(δη) s−1 βγ = α βγ k−1 γα =(δηγβ) δηγ ηδ k−1 αβ =(βδηγ) βδη βδηγ + δηγβ + ηγβδ + γβδη Q(3D) t−1 ηδ = ζ R(3ABD) s, t ≥ 3,k ≥ 1 α k−1 δζ =(γβδη) γβδ k−1 ζη =(ηγβδ) ηγβ δηγβ α β =0 = δηδ βρ =0 = ρδ δ ηρ =0 = ργ SD(3C) ρ 2,I/II • • • 1 0 2 γβ = δη R(3C) k ≥ 2,s ≥ 2 γβ + βγ + ηδ k s γ η (βγ) = ρ k−1 k−1 (βγ) βδ =0 =(ηδ) ηγ βδ =0 = βρ = ργ SD(3C)1 ηγ =0 = ηρ = ρδ γβ + βγ W (3ABCD) s ≥ 3 ρ = γβ = δη ηδ βγβ =0 = ηδη βρ =0 = ργ 2 2 ηρ =0 = ρ δ γβ + δη s−1 δη − γβ = ρ Q(3C) βγ + δη + ηδ R(3C) k−1 k ≥ 2,s ≥ 3 ηρ =(ηδ) η k−1 ρδ =(δη) δ k−1 k−1 (βγ) βδ =0 =(ηδ) ηγ k−1 δλ =(γβ) γ s−1 SD(3H) λβ =(ηδ) η βγ + γβ •0 •1 R(3H) k ≥ 2,s ≥ 2 βδη = γβδ =0 ηδ + δη ηγ =0 λ δ βδ = δλ = λβ =0 γκ = κη = ηγ =0 βγ + γβ D(3K) a b •0 •1 (βγ) =(κλ) λκ + κλ R(3K) a ≥ b ≥ c ≥ 1 b c γ (λκ) =(ηδ) δη + ηδ c a η (δη) =(γβ) λ δ •2 a−1 βδ =(κλ) κ a−1 ηγ =(λκ) λ b−1 δλ =(γβ) γ βγ + γβ Q(3K) b−1 κη =(βγ) β λκ + κλ R(3K) a ≥ b ≥ c ≥ 2 c−1 λβ =(ηδ) η δη + ηδ c−1 γκ =(δη) δ γβδ =0 = δηγ = λκη κη = ηγ = γκ =0 βγ + γβ k−1 SD(3K) δλ =(γβ) γ δη + ηδ R(3K) b−1 a ≥ b ≥ c ≥ 2 βδ =(κλ) κ κλ + λκ c−1 λβ =(ηδ) η βδλ + δβλ + λβδ β k−1 λβ =(ηδ) η SD(3F ) δη + ηδ • • 0 1 βδη =0 = ηδλ W (3F ) k ≥ 2 βδλ + δλβ + λβδ δλβδ =0 λ δ λα =0 = αβ D(3Q) βρ =0 = ρδ α • • ρ ρ 0 1 W (3QLR) k s s, t ≥ 2,k ≥ 1 (βδλ) = α βδλ + δλβ + λβδ k t (δλβ) = ρ λ δ αβ =0 = λα D(3L) α k s α •0 •1 (βδλ) = α W (3QLR) k, s ≥ 2 βδλ + δλβ + λβδ (δλβ) δ =0 λ δ •2 αβ =0 = βρ = ρδ δζ =0 = ζλ = λα D(3R) ρ s k α • • ρ α =(βδλ) 0 1 W (3QLR) s, t, u ≥ 2 ζ t k ρ =(δλβ) βδλ + δλβ + λβδ u k ζ =(λβδ) λ δ 123 A reduction theorem for τ -rigid modules Table 2 Description of the quotient algebras Quiver Name Relations # of supp. τ -tiltings Figure βγ =0 = γβ α � � 0 1 R(2AB) α =0 8Fig.1 γαβ =0 � � W (2B) βγ =0 = γβ 6Fig.2 0 1 β βγ =0 = ηδ � � � βδηγ =0 = ηγβδ 1 0 2 R(3ABD) 32 Fig. 3 γ η γβδη =0 = δηγβ βγ =0 = γβ � � � 1 0 2 R(3C) 24 Fig. 4 ηδ =0 = δη γ η δλ =0 = λβ ηδ =0 = δη � � 0 1 R(3H) 28 Fig. 5 βγ =0 = γβ ηγ =0 λ δ βδ = δλ = λβ =0 γκ = κη = ηγ =0 � � 0 1 R(3K) βγ =0 = γβ 32 Fig. 6 λκ =0 = κλ δη =0 = ηδ λ δ β βγ =0 = γβ � � � 1 0 2 W (3ABCD) δη =0 = ηδ 20 Fig. 7 γ η βδ =0= ηγ βγ =0 = γβ δη =0 = ηδ � � � 1 0 2 W (Q(3A) ) 24 Fig. 8 βδη =0= δηγ γ η γβδ =0 = ηγβ δη =0 = ηδ � � 0 1 W (3F ) λβ =0 24 Fig. 9 βδλ =0= δλβ = λβδ λ δ � � W (3QLR) βδλ =0= δλβ = λβδ 20 Fig. 10 0 1 λ δ As for the notation used in Figs. 1, 2, 3, 4, 5, 6, 7, 8, 9 and 10: we ﬁrst give a list of all presilting strings C. The notation used for strings should be more or less self-explanatory (and was already seen in Example 1): for instance, β αβ 1 ←− 0 −→ 1 123 F. Eisele et al. Fig. 1 R(2AB) Fig. 2 W (2B) −1 denotes the string β αβ. We give a name to each such string (listed in the ﬁrst column), which is essentially arbitrary (apart from the fact that we use the name X for a string whose g-vector is equal to the g-vector of X multiplied by −1). For each presilting string C we give C and its g-vector, as well as the names of all other presilting strings which are C- P P presilted. Among these, we highlight those D for which C is D-presilted. When P ﬁgures among the C-presilted strings, it simply means that the corresponding vertex e is not in the support of C. This information determines the Hasse quivers completely. 123 A reduction theorem for τ -rigid modules Fig. 3 R(3AB D) 123 F. Eisele et al. Fig. 4 R(3C ) 123 A reduction theorem for τ -rigid modules Fig. 5 R(3H ) 123 F. Eisele et al. Fig. 6 R(3K ) 123 A reduction theorem for τ -rigid modules Fig. 7 W (3ABC D) 123 F. Eisele et al. Fig. 8 W (3QA ) 123 A reduction theorem for τ -rigid modules Fig. 9 W (3F ) 123 F. Eisele et al. Fig. 10 W (3QL R) 123 A reduction theorem for τ -rigid modules References 1. Adachi, T.: The classiﬁcation of τ -tilting modules over Nakayama algebras, arXiv preprint arXiv:1309.2216 (2013) 2. Adachi, T.: τ -rigid-ﬁnite algebras with radical square zero. In: Proceedings of the 47th Symposium on ring theory and representation theory, Symp. Ring Theory Represent. Theory Organ. Comm., Okayama, pp 1–6 (2016) 3. Adachi, T., Aihara, T., Chan, A.: Tilting Brauer graph algebras I: classiﬁcation of two-term tilting com- plexes, arXiv preprint arXiv:1504.04827 (2015) 4. Adachi, T., Iyama, O., Reiten, I.: τ -tilting theory. Compos. Math. 150(3), 415–452 (2014) 5. Aihara, T.: Tilting-connected symmetric algebras. Algebr. Represent. Theory 16(3), 873–894 (2013). (MR 3049676) 6. Aihara, T., Iyama, O.: Silting mutation in triangulated categories. J. Lond. Math. Soc. 85(3), 633–668 (2012). (2) 7. Aihara, T., Mizuno, Y.: Tilting complexes over preprojective algebras of Dynkin type. In: Proceedings of the 47th Symposium on ring theory and representation theory, Symp. ring theory represent. Theory Organ. Comm., Okayama, pp 14–19 (2015) 8. Alperin, J.L.: Local representation theory, Cambridge Studies in Advanced Mathematics. In: Modular representations as an introduction to the local representation theory of ﬁnite groups, vol. 11. Cambridge University Press, Cambridge (1986) (MR 860771). https://doi.org/10.1017/CBO9780511623592 9. Antipov, M.A.: Derived equivalence of symmetric special biserial algebras, Zap. Nauchn. Sem. S.- Peterburg. Otdel. Mat. Inst. Steklov. (POMI) 343 (2007), no. Vopr. Teor. Predts. Algebr. i Grupp. 15, 5–32, 272 (MR 2469411) 10. Bondarenko, V.M., Drozd, J.A.: The representation type of ﬁnite groups, Zap. Naucn. ˇ Sem. Leningrad. Otdel. Mat. Inst. Steklov. (LOMI) 71 (1977), 24–41, 282, Modules and representations 11. Borel, A.: Linear algebraic groups. In: Graduate Texts in Mathematics, second ed., vol. 126. Springer- Verlag, New York (1991). https://doi.org/10.1007/978-1-4612-0941-6 12. Brenner, S.: Modular representations of p groups. J. Algebra 15, 89–102 (1970) 13. Butler, M.C.R., Ringel, C.M.: Auslander-Reiten sequences with few middle terms and applications to string algebras. Comm. Algebra 15(1–2), 145–179 (1987) 14. Erdmann, K.: Blocks of tame representation type and related algebras. Lecture notes in mathematics, vol. 1428. Springer-Verlag, Berlin (1990) 15. The GAP Group, GAP – Groups, Algorithms, and Programming, Version 4.8.2, (2016) 16. Higman, D.G.: Indecomposable representations at characteristic p. Duke Math. J. 21, 377–381 (1954) 17. Holm, T.: Derived equivalent tame blocks. J. Algebra 194(1), 178–200 (1997) 18. Holm, T.: Derived equivalence classiﬁcation of algebras of dihedral, semidihedral, and quaternion type. J. Algebra 211(1), 159–205 (1999) 19. Hoshino, M., Kato, Y.: Tilting complexes deﬁned by idempotents. Commun. Algebra 30(1), 83–100 (2002) 20. Iyama, O., Zhang, X.: Classifying τ -tilting modules over the Auslander algebra of K [x ]/(x ),arXiv preprint arXiv:1602.05037 (2016) 21. Jensen, B.T., Su, X., Zimmermann, A.: Degenerations for derived categories. J. Pure Appl. Algebra 198(1–3), 281–295 (2005) 22. Keller, B.: On the construction of triangle equivalences, Derived equivalences for group rings, Lecture Notes in Math., vol. 1685, Springer, Berlin, 1998, pp. 155–176 23. Keller, B., Vossieck, D.: Aisles in derived categories, Bull. Soc. Math. Belg. Sér. A 40 (1988), no. 2, 239–253, Deuxième Contact Franco-Belge en Algèbre (Faulx-les-Tombes, 1987) 24. Mizuno, Y.: Classifying τ -tilting modules over preprojective algebras of Dynkin type. Math. Z. 277(3–4), 665–690 (2014) 25. Okuyama, T.: Some examples of derived equivalent blocks of ﬁnite groups, preprint (1997) 26. Oppermann, S.: Quivers for silting mutation, arXiv preprint arXiv:1504.02617 (2015) 27. The QPA-team, QPA - Quivers, path algebras and representations, Version 1.23, (2015) 28. Rickard, J.: Derived categories and stable equivalence. J. Pure Appl. Algebra 61(3), 303–317 (1989) 29. Schroll, S.: Trivial extensions of gentle algebras and Brauer graph algebras. J. Algebra 444, 183–200 (2015) 30. Skowronski, ´ A., Waschbüsch, J.: Representation-ﬁnite biserial algebras. J. Reine Angew. Math. 345, 172–181 (1983) http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png Mathematische Zeitschrift Springer Journals

A reduction theorem for $$\tau$$ τ -rigid modules

, Volume OnlineFirst – Jun 5, 2018
37 pages

/lp/springer_journal/a-reduction-theorem-for-tau-rigid-modules-j4TMv0BG00
Publisher
Springer Berlin Heidelberg
Subject
Mathematics; Mathematics, general
ISSN
0025-5874
eISSN
1432-1823
D.O.I.
10.1007/s00209-018-2067-4
Publisher site
See Article on Publisher Site

Journal

Mathematische ZeitschriftSpringer Journals

Published: Jun 5, 2018

DeepDyve is your personal research library

It’s your single place to instantly
that matters to you.

over 18 million articles from more than
15,000 peer-reviewed journals.

All for just $49/month Explore the DeepDyve Library Search Query the DeepDyve database, plus search all of PubMed and Google Scholar seamlessly Organize Save any article or search result from DeepDyve, PubMed, and Google Scholar... all in one place. Access Get unlimited, online access to over 18 million full-text articles from more than 15,000 scientific journals. Your journals are on DeepDyve Read from thousands of the leading scholarly journals from SpringerNature, Elsevier, Wiley-Blackwell, Oxford University Press and more. All the latest content is available, no embargo periods. DeepDyve Freelancer DeepDyve Pro Price FREE$49/month
\$360/year

Save searches from
PubMed

Create lists to

Export lists, citations