Cluster Algebras Bernard Leclerca and Lauren K

Total Page:16

File Type:pdf, Size:1020Kb

Cluster Algebras Bernard Leclerca and Lauren K SPECIAL FEATURE: INTRODUCTION Cluster algebras Bernard Leclerca and Lauren K. Williamsb,1 See Fig. 2 for a picture of the flip graph of aLaboratoire de Mathématiques Nicolas Oresme, Université de Caen, 14032 Caen, France; the hexagon. and bDepartment of Mathematics, University of California, Berkeley, CA 94720 Now we can associate a cluster variable (an element of F) to each of the diagonals of the n-gon by imposing a relation for every flip: What Is a Cluster Algebra? cluster x′ = (x − {x}) ∪ {x′}, with the new cluster variable x′ determined by an ex- Given a quadrilateral, with sides a, b, c,and Cluster algebras were conceived by Fomin d and diagonals e and f,westipulatethat and Zelevinsky (1) in the spring of 2000 as change relation of the form x x = x x + x x (Fig. 3). Using the fact a tool for studying dual canonical bases and e f a c b d + + − − that the flip graph is connected (i.e., we can total positivity in semisimple Lie groups. xx′ = y M + y M : get from the initial triangulation to any However, the theory of cluster algebras + − + other by a series of flips), it is clear that we has since taken on a life of its own, as Here y and y are coefficients, whereas M − can attach in this way an element x of F to connections and applications have been and M are monomials in the elements of i each diagonal i.Itisanexercisetoshowthat discovered in diverse areas of mathematics, x − {x}. this construction is well defined, that is, x including representation theory of quivers i Example: The Type A Cluster Algebra does not depend on the sequence of flips and finite dimensional algebras, cf., for used to pass from the initial triangulation example, refs. 2–15; Poisson geometry (16– Although we have not given the formal def- – inition of cluster algebra, we will nevertheless to any triangulation containing the diagonal i. 19); Teichmüller theory (20 24); string A – provide an example, which we hope will By definition, the cluster algebra n asso- theory (25 31); discrete dynamical systems F and integrability (6, 32–38); and combina- give the reader the flavor of the theory. The ciated with the n-gon is the subalgebra of – combinatorics of triangulations of an n-gon generated by all of the cluster variables as- torics (39 47). A Quite remarkably, cluster algebras pro- (a convex polygon with n vertices) will be sociated with its diagonals. A cluster of n is vide a unifying algebraic and combinatorial used to describe the example presented here. a subset of the set of cluster variables corre- framework for a wide variety of phenomena We will subsequently identify the resulting sponding to the diagonals of a triangulation A − in these and other settings. We refer the cluster algebra with the homogeneous co- of the n-gone. Thus, the rank of n is n 3. reader to the survey papers (36, 48–53) and ordinate ring of the Grassmannian Gr2,n of Note that our construction depends on a to the cluster algebras portal (www.math. 2-planes in an n-dimensional vector space. choice of initial triangulation. However, if lsa.umich.edu/~fomin/cluster.html) for var- Fig. 1 shows an example of a triangulation we choose two different triangulations, the = ious introductions to cluster algebras and T,withn 8. We have labeled the diagonals resulting cluster algebras will be isomorphic. ... their links with other subjects in mathe- of T by the numbers 1, 2, ,5andthesides Let Gr2,n be the Grassmann variety pa- ... matics (and physics). of the octagon by the numbers 6, 7, ,13. rametrizing 2-planes in an n-dimensional F = Q½ ; ...; ð ; ...; Þ In brief, a cluster algebra A of rank k is We now set x6 x13 x1 x5 . complex vector space. We now explain how F A a subring of an ambient field F of rational In other words, consists of rational func- the cluster algebra n is related to the ho- tions in the variables x , ..., x labeled by the C½ ; functions in k variables, say x1, ..., xk.Unlike 1 5 mogeneous coordinate ring Gr2 n of Gr2,n most commutative rings, a cluster algebra diagonals, with coefficients which are poly- in its Plücker embedding. ... C½ is not presented at the outset via a complete nomials in the variables x6, , x13 labeled by Recall that Gr2;n is generated by Plücker ... ≤ < ≤ set of generators and relations. Instead, from the sides. The variables x1, , x5 are the coordinates pij for 1 i j n. The ... the data of the initial seed—which includes initial cluster variables. The variables x6, , relations among the Plücker coordinates the k initial cluster variables x , ..., x ,plus x13 generate the ring of coefficients, and we are generated by three-term Plücker rela- 1 k F Q½ ; ...; an exchange matrix—one uses an iterative regard as an algebra over x6 x13 . tions: For any 1 ≤ i < j < k < ℓ ≤ n,onehas procedure called “mutation” to produce the We then use the combinatorics of trian- = + : rest of the cluster variables. In particular, each gulationsandflipsoftriangulationstodefine pikpjℓ pijpkℓ piℓpjk [1] new cluster variable is a rational expression the other cluster variables. Consider a tri- ... in x1, , xk. The cluster algebra is then de- angulation T containing a diagonal t.Within To make the connection with cluster fined to be the subring of F generated by all T,thediagonalt is the diagonal of some algebras, label the vertices of an n-gon from 1 cluster variables. quadrilateral. Then there is a new tri- to n in order around the boundary. Then The set of all cluster variables has a re- angulation T′ which is obtained by replac- each side and diagonal of the polygon is markable combinatorial structure: It is a ing t with the other diagonal of that quadri- uniquely identified by the labels of its end- union of overlapping algebraically inde- lateral. This local move is called a “flip.” points. This gives a bijection between the set pendent k subsets of F called “clusters,” Consider the graph whose vertex set is of Plücker coordinates and the set of sides which together have the structure of a the set of triangulations of an n-gon, with and diagonals of the n-gon (Fig. 1, Right). By simplicial complex called the “cluster com- an edge between two vertices whenever the plex.” The clusters are related to each other corresponding triangulations are related by Author contributions: B.L. and L.K.W. wrote the paper. by birational transformations of the fol- a flip. It is well-known that this flip graph is The authors declare no conflict of interest. lowing kind: For every cluster x and every connected, and moreover is the 1-skeleton of 1To whom correspondence should be addressed. Email: williams@ cluster variable x ∈ x, there is another a convex polytope called the “associahedron.” math.berkeley.edu. 9676–9679 | PNAS | July 8, 2014 | vol. 111 | no. 27 www.pnas.org/cgi/doi/10.1073/pnas.1410635111 Downloaded by guest on October 1, 2021 p Research Institute (MSRI) program in field of cluster algebras. We refer the reader 8 1212 INTRODUCTION p SPECIAL FEATURE: 7 9 18 p Berkeley on Cluster Algebras held during to the papers themselves for full details. 3 p 23 – 8 13 3 August 20 December 21, 2012 featured ex- 1 p Webs on Surfaces, Rings of Invariants, 6 2 p p tended stays of more than 50 mathema- 10 78 17 16 p p 4 36 34 ticians, ranging from graduate students and and Clusters 5 7 4 ≅ Ck p postdoctoral students to senior researchers. Let V be a vector space endowed with 13 11 p 35 p 67 45 Many additional mathematicians passed a volume form. The topic of the first paper 12 p 56 56 through the cluster algebras program for in our issue, by Fomin and Pylyavskyy (59), is rings of SL invariants of collec- Fig. 1. A triangulation T of an octagon (Left), and the shorter visits, for example, to participate in k labeling of T by Plücker coordinates (Right). one of the three focused workshops that tions of vectors, covectors, and matrices, in a took place as part of the program. k-dimensional vector space. More precisely, ð Þ = C½ð pÞa × b × ð ð ÞÞcSLðVÞ The program presented a broad panorama let Ra;b;c V V V SL V noting that the Plücker relations correspond of the current state of this rapidly expanding be the ring of SLðVÞ-invariant polynomials to exchange relations in A (Fig. 4), one p a c n subject, enabled many mathematicians to on ðV Þ × Vb × ðSLðVÞÞ . A generating set shows that there is a well-defined iso- broaden their understanding of the roles that for this ring has been known since 1976, but morphism from A ⊗ C to C½Gr ; map- n 2 n cluster algebras play in various active areas of the size of a minimal generating set, let alone ping the elements x associated with the i research, facilitated new interactions, and, an efficient description of the corresponding sides and diagonals to the corresponding more generally, provided the participants an ideal of relations, are, so far, unknown. Plücker coordinates. excellent opportunity to share and further In ref. 59, the authors study the case k = 3, One may generalize this example in several develop their ideas. This MSRI program was and give a series of remarkable results and ways. First, one may replace Gr2,n by an ar- conjectures about the structure of R ; ; ðVÞ.
Recommended publications
  • COVERING THEORY for LINEAR CATEGORIES with APPLICATION to DERIVED CATEGORIES Introduction the Covering Technique Has Been Playin
    COVERING THEORY FOR LINEAR CATEGORIES WITH APPLICATION TO DERIVED CATEGORIES RAYMUNDO BAUTISTA AND SHIPING LIU Abstract. We extend the Galois covering theory introduced by Bongartz- Gabriel for skeletal linear categories to general linear categories. We show that a Galois covering between Krull-Schmidt categories preserves irreducible morphisms and almost splits sequences. Specializing to derived categories, we study when a Galois covering between locally bounded linear categories induces a Galois covering between the bounded derived categories of finite dimensional modules. As an application, we show that each locally bounded linear category with radical squared zero admits a gradable Galois covering, which induces a Galois covering between the bounded derived categories of finite dimensional modules, and a Galois covering between the Auslander-Reiten quivers of these bounded derived categories. In a future paper, this will enable us to obtain a complete description of the bounded derived category of finite dimensional modules over a finite dimensional algebra with radical squared zero. Introduction The covering technique has been playing an important role in the representation theory of finite dimensional algebras; see, for example, [6, 8, 9, 16]. In this connec- tion, algebras are regarded as locally bounded linear categories; see [6]. To each Galois covering between such categories, Bongartz-Gabriel associated a push-down functor between their module categories, which induces a Galois covering between the Auslander-Reiten quivers in the locally representation-finite case; see [6, 8]. This technique was extended later by Asashiba by studying the induced push-down functor between the bounded homotopy categories of finitely generated projective modules; see [1].
    [Show full text]
  • Infinity-Tilting Theory
    ∞-TILTING THEORY LEONID POSITSELSKI AND JAN SˇTOVˇ ´ICEKˇ Abstract. We define the notion of an infinitely generated tilting object of infi- nite homological dimension in an abelian category. A one-to-one correspondence between ∞-tilting objects in complete, cocomplete abelian categories with an injec- tive cogenerator and ∞-cotilting objects in complete, cocomplete abelian categories with a projective generator is constructed. We also introduce ∞-tilting pairs, con- sisting of an ∞-tilting object and its ∞-tilting class, and obtain a bijective corre- spondence between ∞-tilting and ∞-cotilting pairs. Finally, we discuss the related derived equivalences and t-structures. Contents Introduction 1 1. The Tilted and Cotilted Abelian Categories 4 2. ∞-Tilting-Cotilting Correspondence 7 3. ∞-Tilting and ∞-Cotilting Pairs 13 4. ∞-Tilting-Cotilting Derived Equivalences 17 5. ∞-Tilting and ∞-Cotilting t-Structures 20 6. Examples 25 References 32 Introduction The phrase ‘tilting theory’ is often used to refer to a well-developed general ma- chinery for producing equivalences between triangulated categories (see [3] for an introduction, history and applications). Such equivalences are often represented by a arXiv:1711.06169v3 [math.CT] 13 Aug 2019 distinguished object, a so-called tilting object, and it is crucial to most of the theory that such a tilting object is homologically small. If A is an abelian category with exact coproducts (e.g. a category of modules over a ring or sheaves on a topological space) and T is a tilting object, the smallness typically translates at least to the assumptions that T is finitely generated and of finite projective dimension. In this paper we introduce and systematically develop ∞-tilting theory, where all homological smallness assumptions are dropped.
    [Show full text]
  • I. Overview of Activities, April, 2005-March, 2006 …
    MATHEMATICAL SCIENCES RESEARCH INSTITUTE ANNUAL REPORT FOR 2005-2006 I. Overview of Activities, April, 2005-March, 2006 …......……………………. 2 Innovations ………………………………………………………..... 2 Scientific Highlights …..…………………………………………… 4 MSRI Experiences ….……………………………………………… 6 II. Programs …………………………………………………………………….. 13 III. Workshops ……………………………………………………………………. 17 IV. Postdoctoral Fellows …………………………………………………………. 19 Papers by Postdoctoral Fellows …………………………………… 21 V. Mathematics Education and Awareness …...………………………………. 23 VI. Industrial Participation ...…………………………………………………… 26 VII. Future Programs …………………………………………………………….. 28 VIII. Collaborations ………………………………………………………………… 30 IX. Papers Reported by Members ………………………………………………. 35 X. Appendix - Final Reports ……………………………………………………. 45 Programs Workshops Summer Graduate Workshops MSRI Network Conferences MATHEMATICAL SCIENCES RESEARCH INSTITUTE ANNUAL REPORT FOR 2005-2006 I. Overview of Activities, April, 2005-March, 2006 This annual report covers MSRI projects and activities that have been concluded since the submission of the last report in May, 2005. This includes the Spring, 2005 semester programs, the 2005 summer graduate workshops, the Fall, 2005 programs and the January and February workshops of Spring, 2006. This report does not contain fiscal or demographic data. Those data will be submitted in the Fall, 2006 final report covering the completed fiscal 2006 year, based on audited financial reports. This report begins with a discussion of MSRI innovations undertaken this year, followed by highlights
    [Show full text]
  • TILTING up ITERATED TILTED ALGEBRAS 1. Introduction Throughout This Paper, We Let K Denote a Fixed Algebraically Closed Field. B
    PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 128, Number 8, Pages 2223{2232 S 0002-9939(99)05230-2 Article electronically published on November 29, 1999 TILTING UP ITERATED TILTED ALGEBRAS IBRAHIM ASSEM, DIETER HAPPEL, AND SONIA TREPODE (Communicated by Ken Goodearl) Abstract. We show that, if A is a representation-finite iterated tilted algebra of euclidean type Q, then there exist a sequence of algebras A = A0;A1;A2;:::; (i) (i) Am, and a sequence of modules T ,where0≤ i<m,suchthateachT is Ai Ai (i) an APR-tilting Ai-module, or an APR-cotilting Ai-module, End T = Ai+1 Ai and Am is tilted representation-finite. 1. Introduction Throughout this paper, we let k denote a fixed algebraically closed field. By algebra is always meant a finite dimensional associative k-algebra with an identity, which we assume moreover to be basic and connected, and by module is meant a finitely generated right A-module. Tilting theory is by now an established tool in the representation theory of algebras. In particular, the classes of tilted and iterated tilted algebras, introduced by means of the tilting process, were very useful, for instance, in the classification of the self-injective algebras of polynomial growth (see [1], [7], [11]). We recall their definition. Let Q be a finite, connected quiver without oriented cycles and let kQ denote the path algebra of Q.AnalgebraA is said to be iterated tilted of type Q if there exists a going-up tilting series from A to kQ, that is, a sequence of algebras A = A0;A1;:::;Am = kQ and a sequence of tilting modules T (i),where0≤ i<m, such that End T (i) = A and each T (i) Ai Ai i+1 Ai is separating, that is, such that each indecomposable Ai-module M satisfies either (i) 1 (i) HomAi (T ;M)=0orExtAi (T ;M) = 0 (see [2]).
    [Show full text]
  • Generalized Tilting Theory in Functor Categories
    Table of content Motivation and Introduction Main results Applications Generalized tilting theory in functor categories Xi Tang April 25, 2019 logo Table of content Motivation and Introduction Main results Applications Table of content 1 Motivation and Introduction 2 Main results Equivalences induced by T A cotorsion pair 3 Applications An isomorphism of Grothendieck groups An abelian model structure A t-structure induced by T logo Table of content Motivation and Introduction Main results Applications References S. Bazzoni, The t-structure induced by an n- tilting module, Trans. Amer. Math. Soc. (to ap- pear). R. Mart´ınez-Villa and M. Ortiz-Morales, Tilting theory and functor categories I. Classical tilt- ing, Appl. Categ. Struct. 22 (2014), 595–646. R. Mart´ınez-Villa and M. Ortiz-Morales, Tilting theory and functor categories II. Generalized tilting, Appl. Categ. Struct. 21 (2013), 311– logo 348. Table of content Motivation and Introduction Main results Applications Motivation K algebraically closed field Λ finite dimensional K-algebra TΛ tilting module Γ := End(T)op Brenner-Butler Tilting Theorem The following statements hold. (1) (T (T); F(T)) is a torsion theory, where 1 T (T) := fM 2 mod Λ j ExtΛ(T; M) = 0g; logo F(T) := fM 2 mod Λ j HomΛ(T; M) = 0g: Table of content Motivation and Introduction Main results Applications Motivation (2) (X (T); Y(T)) is a torsion theory, where X (T) := fN 2 mod Γ j N ⊗Γ T = 0g; Γ Y(T) := fN 2 mod Γ j Tor1 (N; T) = 0g. (3) There are two category equivalences: T (T) F(T) g 7 s s w ' X (T) Y(T): logo Table of content Motivation and Introduction Main results Applications R associative ring TR n-tilting module S := End(T)op Miyashita Theorem There are category equivalences: e ExtR(T;−) n / n KE (TR) KT (ST); where e o s e S Tore (−;T) n i KEe (TR) := fM j ExtR(T; M) = 0; 0 6 i 6= e 6 ng; n S logo KTe (ST) := fN j Tori (N; T) = 0; 0 6 i 6= e 6 ng.
    [Show full text]
  • ALL TILTING MODULES ARE of FINITE TYPE 1. Introduction in The
    PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 135, Number 12, December 2007, Pages 3771–3781 S 0002-9939(07)08911-3 Article electronically published on August 30, 2007 ALL TILTING MODULES ARE OF FINITE TYPE SILVANA BAZZONI AND JAN SˇTOVˇ ´ICEKˇ (Communicated by Martin Lorenz) Abstract. We prove that any infinitely generated tilting module is of finite type, namely that its associated tilting class is the Ext-orthogonal of a set of modules possessing a projective resolution consisting of finitely generated projective modules. 1. Introduction In the early eighties Brenner and Butler in [9] and Happel and Ringel in [18] gen- eralized the classical Morita equivalence induced by a progenerator by introducing the notion of a tilting module over a finite-dimensional Artin algebra. In order to obtain equivalences between subcategories of the module category, tilting modules were assumed to be finitely generated and moreover of projective dimension at most one. Later, Miyashita [20] considered tilting modules of finite projective dimension and studied the equivalences induced by them. Colby and Fuller in [10] extended the setting to arbitrary rings, but in all the above-mentioned papers the tilting modules were always assumed to be finitely generated. The notion of infinitely generated tilting modules over arbitrary rings was introduced by Colpi and Trlifaj in [11] for the one-dimensional case and by Angeleri-H¨ugel and Coelho in [1] in the general case of finite projective dimension. One of the advantages in dealing with infinitely generated tilting modules is evident in connection with the good approximation theory that they induce and which we are going to illustrate (cf.
    [Show full text]
  • Τ-Tilting Theory – an Introduction
    τ-TILTING THEORY – AN INTRODUCTION HIPOLITO TREFFINGER 1. Introduction The term τ-tilting theory was coined by Adachi, Iyama and Reiten in [3] a paper having this title that first appeared in the arXiv in 2012 and that was published in 2014. In this paper, the authors combined with a fresh approach to the the study of two classical branches of representation theory of finite dimensional algebras, namely tilting theory and Auslander-Reiten theory. The combination of these two subjects is clearly reflected in the name of this novel theory, where the greek letter τ represents the Auslander-Reiten translation in the module category of an algebra while the reference to tilting theory is obvious. In these notes we give a small introduction to τ-tilting theory from the representation the- oretic perspective, making special emphasis in the close relation between τ-tilting theory and torsion theories. Clearly, this notes do not represent a complete survey on the topic since several important aspects of the theory are not covered in detail or even mentioned. For instance, in this notes we do not cover the explicit between τ-tilting theory with cluster theory, stability conditions, or exceptional sequences, just to name a few. These notes are organised as follows. In Section 2 we give a short historical account of the developments in representation theory that lead to the introduction of τ-tilting theory, hoping that this will help placing τ-tilting theory in the more general framework of representation theory. Then, in Section 3 we start giving the material that is covered in the lectures by giving the definition of our main objects of study: τ-rigid and τ-tilting modules and pairs.
    [Show full text]
  • K-Theory and Derived Equivalences
    K-THEORY AND DERIVED EQUIVALENCES DANIEL DUGGER AND BROOKE SHIPLEY Abstract. We show that if two rings have equivalent derived categories then they have the same algebraic K-theory. Similar results are given for G-theory, and for a large class of abelian categories. Contents 1. Introduction 1 2. Model category preliminaries 4 3. K-theory and model categories 7 4. Tilting Theory 10 5. Proofs of the main results 12 6. Derived equivalence implies Quillen equivalence 14 7. Many-generators version of proofs 17 Appendix A. Proof of Proposition 3.7 20 References 22 1. Introduction Algebraic K-theory began as a collection of elaborate invariants for a ring R. Quillen was able to construct these in [Q2] by feeding the category of finitely- generated projective R-modules into the so-called Q-construction; this showed in particular that K-theory was a Morita invariant of the ring. The Q-construction could take as input any category with a sensible notion of exact sequence, and Waldhausen later generalized things even further. He realized that the same kind of invariants can be defined for a very broad class of homotopical situations (cf. [Wa], which used ‘categories with cofibrations and weak equivalences’). To define the algebraic K-theory of a ring using the Waldhausen approach, one takes as input the category of bounded chain complexes of finitely-generated projective modules. As soon as one understands this perspective it becomes natural to ask whether the Waldhausen K-theory really depends on the whole input category or just on the associated homotopy category, where the weak equivalences have been inverted.
    [Show full text]
  • Introduction to Cluster Algebras Sergey Fomin
    Joint Introductory Workshop MSRI, Berkeley, August 2012 Introduction to cluster algebras Sergey Fomin (University of Michigan) Main references Cluster algebras I–IV: J. Amer. Math. Soc. 15 (2002), with A. Zelevinsky; Invent. Math. 154 (2003), with A. Zelevinsky; Duke Math. J. 126 (2005), with A. Berenstein & A. Zelevinsky; Compos. Math. 143 (2007), with A. Zelevinsky. Y -systems and generalized associahedra, Ann. of Math. 158 (2003), with A. Zelevinsky. Total positivity and cluster algebras, Proc. ICM, vol. 2, Hyderabad, 2010. 2 Cluster Algebras Portal hhttp://www.math.lsa.umich.edu/˜fomin/cluster.htmli Links to: • >400 papers on the arXiv; • a separate listing for lecture notes and surveys; • conferences, seminars, courses, thematic programs, etc. 3 Plan 1. Basic notions 2. Basic structural results 3. Periodicity and Grassmannians 4. Cluster algebras in full generality Tutorial session (G. Musiker) 4 FAQ • Who is your target audience? • Can I avoid the calculations? • Why don’t you just use a blackboard and chalk? • Where can I get the slides for your lectures? • Why do I keep seeing different definitions for the same terms? 5 PART 1: BASIC NOTIONS Motivations and applications Cluster algebras: a class of commutative rings equipped with a particular kind of combinatorial structure. Motivation: algebraic/combinatorial study of total positivity and dual canonical bases in semisimple algebraic groups (G. Lusztig). Some contexts where cluster-algebraic structures arise: • Lie theory and quantum groups; • quiver representations; • Poisson geometry and Teichm¨uller theory; • discrete integrable systems. 6 Total positivity A real matrix is totally positive (resp., totally nonnegative) if all its minors are positive (resp., nonnegative).
    [Show full text]
  • Τ-Tilting Theory, Which ‘Completes’ (Classical) Tilting Theory from the Viewpoint of Mutation
    COMPOSITIO MATHEMATICA τ -tilting theory Takahide Adachi, Osamu Iyama and Idun Reiten Compositio Math. 150 (2014), 415{452 doi:10.1112/S0010437X13007422 FOUNDATION COMPOSITIO MATHEMATICA Downloaded from https://www.cambridge.org/core. IP address: 170.106.35.229, on 25 Sep 2021 at 16:00:33, subject to the Cambridge Core terms of use, available at https://www.cambridge.org/core/terms. https://doi.org/10.1112/S0010437X13007422 Compositio Math. 150 (2014) 415{452 doi:10.1112/S0010437X13007422 τ -tilting theory Takahide Adachi, Osamu Iyama and Idun Reiten Dedicated to the memory of Dieter Happel Abstract The aim of this paper is to introduce τ-tilting theory, which `completes' (classical) tilting theory from the viewpoint of mutation. It is well known in tilting theory that an almost complete tilting module for any finite-dimensional algebra over a field k is a direct summand of exactly one or two tilting modules. An important property in cluster- tilting theory is that an almost complete cluster-tilting object in a 2-CY triangulated category is a direct summand of exactly two cluster-tilting objects. Reformulated for path algebras kQ, this says that an almost complete support tilting module has exactly two complements. We generalize (support) tilting modules to what we call (support) τ-tilting modules, and show that an almost complete support τ-tilting module has exactly two complements for any finite-dimensional algebra. For a finite-dimensional k-algebra Λ, we establish bijections between functorially finite torsion classes in mod Λ, support τ-tilting modules and two-term silting complexes in Kb(proj Λ).
    [Show full text]
  • Tilting Theory
    Introduction to τ-tilting theory Osamu Iyamaa and Idun Reitenb,1 aGraduate School of Mathematics, Nagoya University, Nagoya 464-8602, Japan; and bDepartment of Mathematical Sciences, Norwegian University of Science and Technology, 7491 Trondheim, Norway Edited by Bernard Leclerc, University of Caen, Caen, France, and accepted by the Editorial Board January 22, 2014 (received for review September 17, 2013) From the viewpoint of mutation, we will give a brief survey of when dealing with categorification of cluster algebras. For cluster tilting theory and cluster-tilting theory together with a motivation categories (10), and more generally, for 2-Calabi–Yau trian- from cluster algebras. Then we will give an introduction to τ-tilting gulated categories (11), a class of objects called cluster-tilting theory which was recently developed. objects have the desired property (Theorem 9). For path algebras kQ, this result for cluster categories was translated to the fact 1. Introduction that the same holds for support tilting pairs (which generalize Let Λ be a finite dimensional algebra over an algebraically closed tilting modules) (12, 13) (Theorem 7). More generally, for field k, for example k is the field of complex numbers. We always 2-Calabi–Yau triangulated categories we can translate to the assume that Λ is associative and has an identity. An important property that for the associated 2-Calabi–Yau tilted algebras class of algebras is the path algebras kQ for a finite quiver Q, that the support τ-tilting pairs have the desired property for is, a finite-directed graph. The k-basis for kQ is the paths in Q.
    [Show full text]
  • Cluster Algebras in Algebraic Lie Theory
    Transformation Groups, Vol. ?, No. ?, ??, pp. 1{?? c Birkh¨auserBoston (??) CLUSTER ALGEBRAS IN ALGEBRAIC LIE THEORY CH. GEISS B. LECLERC∗ Instituto de Matem´aticas LMNO UMR 6139 Universidad Nacional Universit´ede Caen Aut´onomade M´exico Basse-Normandie Ciudad Universitaria, CNRS, Campus 2, 04510 M´exicoD.F., Mexico F-14032 Caen cedex, France [email protected] [email protected] J. SCHROER¨ Mathematisches Institut Universit¨atBonn Endenicher Allee 60, D-53115 Bonn, Germany [email protected] Abstract. We survey some recent constructions of cluster algebra structures on coor- dinate rings of unipotent subgroups and unipotent cells of Kac-Moody groups. We also review a quantized version of these results. Contents 1 Introduction 2 2 Cluster algebras 2 3 Lie theory 5 4 Categories of modules over preprojective algebras 10 5 Cluster structures on coordinate rings 18 6 Chamber Ansatz 22 7 Quantum cluster structures on quantum coordinate rings 24 8 Related topics 27 ∗Institut Universitaire de France Received ??, 2012. Accepted August ?, 2012. 2 CH. GEISS, B. LECLERC AND J. SCHROER¨ 1. Introduction Cluster algebras were invented by Fomin and Zelevinsky [13] as an abstraction of certain combinatorial structures which they had previously discovered while studying total positivity in semisimple algebraic groups. A cluster algebra is a commutative ring with a distinguished set of generators and a particular type of relations. Although there can be infinitely many generators and relations, they are all obtained from a finite number of them by means of an inductive procedure called mutation. The precise definition of a cluster algebra will be recalled in x2 below.
    [Show full text]