Showing papers in "arXiv: Representation Theory in 2010"
TL;DR: In this article, the authors present an introduction to some aspects of Fomin-Zelevinsky's cluster algebras and their links with the representation theory of quivers and with Calabi-Yau triangulated categories.
Abstract: This is an introduction to some aspects of Fomin-Zelevinsky's cluster algebras and their links with the representation theory of quivers and with Calabi-Yau triangulated categories. It is based on lectures given by the author at summer schools held in 2006 (Bavaria) and 2008 (Jerusalem). In addition to by now classical material, we present the outline of a proof of the periodicity conjecture for pairs of Dynkin diagrams (details will appear elsewhere) and recent results on the interpretation of mutations as derived equivalences.
273 citations
TL;DR: This paper introduces a partial order on the set of silting objects and establishes the relationship with 'silting mutation' by generalizing the theory of Riedtmann-Schofield and Happel-Unger, and shows that iterated silting mutation act transitively on theSet ofsilting objects for local, hereditary or canonical algebras.
Abstract: In representation theory of algebras the notion of `mutation' often plays important roles, and two cases are well known, i.e. `cluster tilting mutation' and `exceptional mutation'. In this paper we focus on `tilting mutation', which has a disadvantage that it is often impossible, i.e. some of summands of a tilting object can not be replaced to get a new tilting object. The aim of this paper is to take away this disadvantage by introducing `silting mutation' for silting objects as a generalization of `tilting mutation'. We shall develope a basic theory of silting mutation. In particular, we introduce a partial order on the set of silting objects and establish the relationship with `silting mutation' by generalizing the theory of Riedtmann-Schofield and Happel-Unger. We show that iterated silting mutation act transitively on the set of silting objects for local, hereditary or canonical algebras. Finally we give a bijection between silting subcategories and certain t-structures.
211 citations
TL;DR: In this article, the Auslander-Reiten structure of the cluster category C(S,M) of a marked surface was studied and it was shown that every rigid indecomposable object is reachable from an initial triangulation.
Abstract: We study in this paper the cluster category C(S,M) of a marked surface (S,M). We explicitly describe the objects in C(S,M) as direct sums of homotopy classes of curves in (S,M) and one-parameter families related to closed curves in (S,M). Moreover, we describe the Auslander-Reiten structure of the category C(S,M) in geometric terms and show that the objects without self-extensions in C(S,M) correspond to curves in (S,M) without self-intersections. As a consequence, we establish that every rigid indecomposable object is reachable from an initial triangulation.
104 citations
TL;DR: In this article, a new proof of Conjectures 5.4, 6.13, 7.2 and 7.12 of Fomin and Zelevinsky's Cluster algebras IV for skew-symmetric cluster algesbras is given.
Abstract: We apply our previous work on cluster characters for Hom-infinite cluster categories to the theory of cluster algebras. We give a new proof of Conjectures 5.4, 6.13, 7.2, 7.10 and 7.12 of Fomin and Zelevinsky's Cluster algebras IV for skew-symmetric cluster algebras. We also construct an explicit bijection sending certain objects of the cluster category to the decorated representations of Derksen, Weyman and Zelevinsky, and show that it is compatible with mutations in both settings. Using this map, we give a categorical interpretation of the E-invariant and show that an arbitrary decorated representation with vanishing E-invariant is characterized by its g-vector. Finally, we obtain a substitution formula for cluster characters of not necessarily rigid objects.
102 citations
TL;DR: In this paper, it was shown that the coordinate ring of the Kac-Moody group is a cluster algebra, and that the cluster characters of Fu and Keller are associated with any cluster-tilting module T of C_w. For the special case of coefficient-free acyclic cluster algebras this conjecture was proved.
Abstract: Let Q be a finite quiver without oriented cycles, and let $\Lambda$ be the corresponding preprojective algebra. Let g be the Kac-Moody Lie algebra with Cartan datum given by Q, and let W be its Weyl group. With w in W is associated a unipotent cell N^w of the Kac-Moody group with Lie algebra g. In previous work we proved that the coordinate ring \C[N^w] of N^w is a cluster algebra in a natural way. A central role is played by generating functions \vphi_X of Euler characteristics of certain varieties of partial composition series of X, where X runs through all modules in a Frobenius subcategory C_w of the category of nilpotent $\Lambda$-modules. We show that for every X in C_w, \vphi_X coincides after appropriate changes of variables with the cluster characters of Fu and Keller associated with any cluster-tilting module T of C_w. As an application, we get a new description of a generic basis of the cluster algebra obtained from \C[N^w] via specialization of coefficients to 1. For the special case of coefficient-free acyclic cluster algebras this proves a conjecture by Dupont.
76 citations
Posted Content•
TL;DR: In this article, the existence of cluster characters for hom-infinite cluster categories was proved and a suitable mutation-invariant subcategory of the cluster category was introduced, which can be used to classify any skew-symmetric cluster algebra.
Abstract: We prove the existence of cluster characters for Hom-infinite cluster categories. For this purpose, we introduce a suitable mutation-invariant subcategory of the cluster category. We sketch how to apply our results in order to categorify any skew-symmetric cluster algebra. More applications and a comparison to Derksen-Weyman-Zelevinsky's results will be given in a future paper.
75 citations
TL;DR: In this paper, the notion of cluster automorphism of a given cluster algebra is introduced as a ''ZZ$-automorphism of the cluster algebra that sends a cluster to another and commutes with mutations.
Abstract: In this article, we introduce the notion of cluster automorphism of a given cluster algebra as a $\ZZ$-automorphism of the cluster algebra that sends a cluster to another and commutes with mutations We study the group of cluster automorphisms in detail for acyclic cluster algebras and cluster algebras from surfaces, and we compute this group explicitly for the Dynkin types and the Euclidean types
61 citations
Posted Content•
TL;DR: In a course on Cherednik algebras given by the first author at MIT in the Fall of 2009 as mentioned in this paper, the goal was to give an introduction to cherednik algebra, and to review the web of connections between them and other mathematical objects.
Abstract: The present notes are based on a course on Cherednik algebras given by the first author at MIT in the Fall of 2009 Their goal is to give an introduction to Cherednik algebras, and to review the web of connections between them and other mathematical objects
60 citations
Posted Content•
TL;DR: Gorenstein homological algebras as mentioned in this paper are a kind of relative homological algebra which has been developed to a high level since more than four decades, and it is hoped that such a theory will help to understand the famous Gorenstein symmetric conjecture of artin algesbras.
Abstract: Gorenstein homological algebra is a kind of relative homological algebra which has been developed to a high level since more than four decades.
In this report we review the basic theory of Gorenstein homological algebra of artin algebras. It is hoped that such a theory will help to understand the famous Gorenstein symmetric conjecture of artin algebras.
With only few exceptions all the results in this report are contained in the existing literature. We have tried to keep the exposition as self-contained as possible. This report can be viewed as a preparation for learning the newly developed theory of virtually Gorenstein algebras.
In Chapter 2 we recall the basic notions in Gorenstein homological algebra with particular emphasis on finitely generated Gorenstein-projective modules, Gorenstein algebras and CM-finite algebras.
In Chapter 3 based on a theorem by Beligiannis we study the Gorenstein-projective resolutions and various Gorenstein dimensions; we also discuss briefly Gorenstein derived categories in the sense of Gao and Zhang.
We include three appendixes: Appendix A treats cotorsion pairs; Appendix B sketches a proof of the theorem by Beligiannis; Appendix C provides a list of open problems in Gorenstein homological algebra of artin algebras.
58 citations
TL;DR: In this article, the authors studied quivers with potential (QPs) whose Jacobian algebras are finite dimensional selfinjective, i.e., they are 3-Calabi-Yau.
Abstract: We study quivers with potential (QPs) whose Jacobian algebras are finite dimensional selfinjective. They are an analogue of the `good QPs' studied by Bocklandt whose Jacobian algebras are 3-Calabi-Yau. We show that 2-representation-finite algebras are truncated Jacobian algebras of selfinjective QPs, which are factor algebras of Jacobian algebras by certain sets of arrows called cuts. We show that selfinjectivity of QPs is preserved under successive mutation with respect to orbits of the Nakayama permutation. We give a sufficient condition for all truncated Jacobian algebras of a fixed QP to be derived equivalent. We introduce planar QPs which provide us with a rich source of selfinjective QPs.
55 citations
Posted Content•
TL;DR: The local Gross-Prasad conjecture for generic L-packets of representations of special orthogonal groups was proved in this paper, and irreducibility results for the induced representations of whose elements of the Lpackets are Langlands quotients were shown in this paper.
Abstract: We prove the local Gross-Prasad conjecture for generic L-packets of representations of special orthogonal groups. The proof uses the same result for tempered L-packets proved in a preceding paper, and irreducibility results for the induced representations of whose the elements of the L-packets are Langlands quotients.
Posted Content•
TL;DR: In this article, a connection between triangulations of even-dimensional cyclic polytopes and tilting modules for higher Auslander algebras of linearly oriented type A which are summands of the cluster tilting module is shown.
Abstract: Higher Auslander algebras were introduced by Iyama generalizing classical concepts from representation theory of finite dimensional algebras. Recently these higher analogues of classical representation theory have been increasingly studied. Cyclic polytopes are classical objects of study in convex geometry. In particular, their triangulations have been studied with a view towards generalizing the rich combinatorial structure of triangulations of polygons. In this paper, we demonstrate a connection between these two seemingly unrelated subjects.
We study triangulations of even-dimensional cyclic polytopes and tilting modules for higher Auslander algebras of linearly oriented type A which are summands of the cluster tilting module. We show that such tilting modules correspond bijectively to triangulations. Moreover mutations of tilting modules correspond to bistellar flips of triangulations.
For any d-representation finite algebra we introduce a certain d-dimensional cluster category and study its cluster tilting objects. For higher Auslander algebras of linearly oriented type A we obtain a similar correspondence between cluster tilting objects and triangulations of a certain cyclic polytope.
Finally we study certain functions on generalized laminations in cyclic polytopes, and show that they satisfy analogues of tropical cluster exchange relations. Moreover we observe that the terms of these exchange relations are closely related to the terms occuring in the mutation of cluster tilting objects.
Posted Content•
TL;DR: The split Grothendieck group of the 2-category of singular Soergel bimodules is isomorphic to the Schur algebroid as mentioned in this paper.
Abstract: We define and study categories of singular Soergel bimodules, which are certain natural generalisations of Soergel bimodules. Indecomposable singular Soergel bimodules are classified, and we conclude that the split Grothendieck group of the 2-category of singular Soergel bimodules is isomorphic to the Schur algebroid. Soergel's conjecture on the characters of indecomposable Soergel bimodules in characteristic zero is shown to imply a similar conjecture for the characters of singular Soergel bimodules.
TL;DR: In this paper, a link between singularity theory and invariant subspace problem of nilpotent operators is established via weighted projective lines and stable categories of vector bundles on those.
Abstract: We show a surprising link between singularity theory and the invariant subspace problem of nilpotent operators as recently studied by C. M. Ringel and M. Schmidmeier, a problem with a longstanding history going back to G. Birkhoff. The link is established via weighted projective lines and (stable) categories of vector bundles on those. The setup yields a new approach to attack the subspace problem. In particular, we deduce the main results of Ringel and Schmidmeier for nilpotency degree p from properties of the category of vector bundles on the weighted projective line of weight type (2,3,p), obtained by Serre construction from the triangle singularity x^2+y^3+z^p. For p=6 the Ringel-Schmidmeier classification is thus covered by the classification of vector bundles for tubular type (2,3,6), and then is closely related to Atiyah's classification of vector bundles on a smooth elliptic curve. Returning to the general case, we establish that the stable categories associated to vector bundles or invariant subspaces of nilpotent operators may be naturally identified as triangulated categories. They satisfy Serre duality and also have tilting objects whose endomorphism rings play a role in singularity theory. In fact, we thus obtain a whole sequence of triangulated (fractional) Calabi-Yau categories, indexed by p, which naturally form an ADE-chain.
TL;DR: In this paper, the authors studied the matrix-valued spherical functions for the pair (K x K, K), K = SU(2), and obtained the following results: the Schur orthogonality of the full spherical functions is satisfied by a three-term recurrence relation, and the weight and the complete block-diagonalization of the orthogonal functions are obtained.
Abstract: The matrix-valued spherical functions for the pair (K x K, K), K=SU(2), are studied. By restriction to the subgroup A the matrix-valued spherical functions are diagonal. For suitable set of representations we take these diagonals into a matrix-valued function, which are the full spherical functions. Their orthogonality is a consequence of the Schur orthogonality relations. From the full spherical functions we obtain matrix-valued orthogonal polynomials of arbitrary size, and they satisfy a three-term recurrence relation which follows by considering tensor product decompositions. An explicit expression for the weight and the complete block-diagonalization of the matrix-valued orthogonal polynomials is obtained. From the explicit expression we obtain right-hand sided differential operators of first and second order for which the matrix-valued orthogonal polynomials are eigenfunctions. We study the low-dimensional cases explicitly, and for these cases additional results, such as the Rodrigues formula and being eigenfunctions to first order differential-difference and second order differential operators, are obtained.
TL;DR: In this article, the authors presented a series of conjectures concerning the combinatorial description of the Kazhdan-Lusztig cells for type B n with unequal parameters.
Abstract: Based on empirical evidence obtained using the CHEVIE computer algebra system, we present a series of conjectures concerning the combinatorial description of the Kazhdan–Lusztig cells for type B n with unequal parameters. These conjectures form a far-reaching extension of the results of Bonnafe and Iancu obtained earlier in the so-called asymptotic case. We give some partial results in support of our conjectures.
Posted Content•
TL;DR: In this article, the periodicity conjecture for pairs of Dynkin diagrams using Fomin-Zelevinsky's cluster algebras and their categorization via triangulated categories was proved.
Abstract: We prove the periodicity conjecture for pairs of Dynkin diagrams using Fomin-Zelevinsky's cluster algebras and their (additive) categorification via triangulated categories
Posted Content•
TL;DR: In this paper, the structure of completions of reflection algebras is studied and a reduction of the completions to smaller reflectors is provided for two-sided ideals and Harish Chandra bimodules.
Abstract: In this paper we study the structure of completions of symplectic reflection algebras. Our results provides a reduction to smaller algebras. We apply this reduction to the study of two-sided ideals and Harish-Chandra bimodules.
Posted Content•
TL;DR: In this article, a new approach to the construction of derived equivalences between blocks of finite groups, based on perverse equivalences, in the setting of Brou\'e's conjecture, is presented.
Abstract: We give a new approach to the construction of derived equivalences between blocks of finite groups, based on perverse equivalences, in the setting of Brou\'e's conjecture. We provide in particular local and global perversity data describing the principal blocks and the derived equivalences for a number of finite simple groups with Sylow subgroups C3xC3. We also examine extensions to automorphism groups in a general setting.
TL;DR: Angeleri-Hugel, Konig, and Liu as mentioned in this paper showed that the Jordan-Holder theorem fails even for stratifications by derived module categories, and also answered negatively an open problem by Angeleri and Hughes, and showed that two different stratifications of the derived module category of a ring may have completely different derived composition factors.
Abstract: Let $T$ be an infinitely generated tilting module of projective dimension at most one over an arbitrary associative ring $A$, and let $B$ be the endomorphism ring of $T$ In this paper, we prove that if $T$ is good then there exists a ring $C$, a homological ring epimorphism $B\ra C$ and a recollement among the (unbounded) derived module categories $\D{C}$ of $C$, $\D{B}$ of $B$, and $\D{A}$ of $A$ In particular, the kernel of the total left derived functor $T\otimes_B^{\mathbb L}-$ is triangle equivalent to the derived module category $\D{C}$ Conversely, if the functor $T\otimes_B^{\mathbb L}-$ admits a fully faithful left adjoint functor, then $T$ is a good tilting module We apply our result to tilting modules arising from ring epimorphisms, and can then describe the rings $C$ as coproducts of two relevant rings Further, in case of commutative rings, we can weaken the condition of being tilting modules, strengthen the rings $C$ as tensor products of two commutative rings, and get similar recollements Consequently, we can produce examples (from commutative algebra and $p$-adic number theory, or Kronecker algebra) to show that two different stratifications of the derived module category of a ring by derived module categories of rings may have completely different derived composition factors (even up to ordering and up to derived equivalence),or different lengths This shows that the Jordan-Holder theorem fails even for stratifications by derived module categories, and also answers negatively an open problem by Angeleri-Hugel, Konig and Liu
Posted Content•
TL;DR: In this paper, the stable categories of graded Cohen-Macaulay modules over quotient singularities have tilting objects, and these categories are triangle equivalent to derived categories of finite dimensional algebras.
Abstract: We shall show that the stable categories of graded Cohen-Macaulay modules over quotient singularities have tilting objects. In particular, these categories are triangle equivalent to derived categories of finite dimensional algebras. Our method is based on higher dimensional Auslander-Reiten theory, which gives cluster tilting objects in the stable categories of (ungraded) Cohen-Macaulay modules.
Posted Content•
TL;DR: In this article, the authors provide a description of the abelian categories that arise as categories of coherent sheaves on weighted projective lines, and two different approaches are presented: one is based on a list of axioms and the other yields a description in terms of expansions of abelians.
Abstract: These notes provide a description of the abelian categories that arise as categories of coherent sheaves on weighted projective lines. Two dif- ferent approaches are presented: one is based on a list of axioms and the other yields a description in terms of expansions of abelian categories. A weighted projective line is obtained from a projective line by inserting finitely many weights. So we describe the category of coherent sheaves on a projective line in some detail, and the insertion of weights amounts to adding simple objects. We call this process 'expansion' and treat it axiomatically. Thus most of these notes are devoted to studying abelian categories, including a brief discussion of tilting theory. We provide many details and have tried to keep the exposition as self-contained as possible.
Posted Content•
[...]
TL;DR: In this article, a survey of recent developments in the representation theory of W-algebras is presented, emphasizing various interactions between W-Algebra and universal enveloping algebrAs an example, we mention the relation between universal envelopes and W-A-Algebra.
Abstract: A finite W-algebra is an associative algebra constructed from a semisimple Lie algebra and its nilpotent element. In this survey we review recent developments in the representation theory of W-algebras. We emphasize various interactions between W-algebras and universal enveloping algebras.
Posted Content•
TL;DR: In this paper, the authors introduce a natural variant of the orbit method, in which the central role is played by certain clusters of coadjoint orbits, which leads to the construction of a subring in the representation ring of U(n, F_q) that is rich in structure but pleasantly comprehensible.
Abstract: The general linear group GL(n, K) over a field K contains a particularly prominent subgroup U(n, K), consisting of all the upper triangular unipotent elements. In this paper we are interested in the case when K is the finite field F_q, and our goal is to better understand the representation theory of U(n, F_q). The complete classification of the complex irreducible representations of this group has long been known to be a difficult task. The orbit method of Kirillov, famous for its success when K has characteristic 0, is a natural source of intuition and conjectures, but in our case the relation between coadjoint orbits and complex representations is still a mystery. Here we introduce a natural variant of the orbit method, in which the central role is played by certain clusters of coadjoint orbits. This "method of clusters" leads to the construction of a subring in the representation ring of U(n, F_q) that is rich in structure but pleasantly comprehensible. The cluster method also has many of the major features one would expect from the philosophy of orbit method.
Posted Content•
TL;DR: In this article, it was shown that the representation theory of symplectic reflection algebras for wreath products categorizes certain structures in the representations of affine Lie algesbras (namely, decompositions of the restriction of the basic representation to finite dimensional and affine subalgebas).
Abstract: The goal of this paper is to present some results and (more importantly) state a number of conjectures suggesting that the representation theory of symplectic reflection algebras for wreath products categorifies certain structures in the representation theory of affine Lie algebras (namely, decompositions of the restriction of the basic representation to finite dimensional and affine subalgebras). These conjectures arose from the insight due to R. Bezrukavnikov and A. Okounkov on the link between quantum connections for Hilbert schemes of resolutions of Kleinian singularities and representations of symplectic reflection algebras.
TL;DR: In this paper, the authors explore a connection between unitary braid group representations associated to a unitary $R$-matrix and to a simple object in the unitary braided fusion category.
Abstract: Governed by locality, we explore a connection between unitary braid group representations associated to a unitary $R$-matrix and to a simple object in a unitary braided fusion category. Unitary $R$-matrices, namely unitary solutions to the Yang-Baxter equation, afford explicitly local unitary representations of braid groups. Inspired by topological quantum computation, we study whether or not it is possible to reassemble the irreducible summands appearing in the unitary braid group representations from a unitary braided fusion category with possibly different positive multiplicities to get representations that are uniformly equivalent to the ones from a unitary R-matrix. Such an equivalence will be called a localization of the unitary braid group representations. We show that the q=exp(\pi i/6) specialization of the unitary Jones representation of the braid groups can be localized by a unitary $9\times 9$ R-matrix. Actually this Jones representation is the first one in a family of theories (SO(N),2) for an odd prime N>1, which are conjectured to be localizable. We formulate several general conjectures and discuss possible connections to physics and computer science.
Posted Content•
TL;DR: In this article, the authors generalize Derksen, Weyman and Zelevinsky's work about skew-symmetric cluster algebras to the skew symmetrizable case by introducing the notion of group species with potentials and their decorated representations.
Abstract: This article tries to generalize former works of Derksen, Weyman and Zelevinsky about skew-symmetric cluster algebras to the skew-symmetrizable case. We introduce the notion of group species with potentials and their decorated representations. In good cases, we can define mutations of these objects in such a way that these mutations mimic the mutations of seeds defined by Fomin and Zelevinsky for a skew-symmetrizable exchange matrix defined from the group species. These good cases are called non-degenerate. Thus, when an exchange matrix can be associated to a non-degenerate group species with potential, we give an interpretation of the $F$-polynomials and the $\g$-vectors of Fomin and Zelevinsky in terms of the mutation of group species with potentials and their decorated representations. Hence, we can deduce a proof of a serie of combinatorial conjectures of Fomin and Zelevinsky in these cases. Moreover, we give, for certain skew-symmetrizable matrices a proof of the existance of a non-degenerate group species with potential realizing this matrix. On the other hand, we prove that certain skew-symmetrizable matrices can not be realized in this way.
Posted Content•
TL;DR: In this article, the decomposition numbers for the Brauer and walled Brauer algebra were determined in characteristic zero in terms of certain polynomials associated to cap and curl diagrams.
Abstract: We determine the decomposition numbers for the Brauer and walled Brauer algebra in characteristic zero in terms of certain polynomials associated to cap and curl diagrams (recovering a result of Martin in the Brauer case). We consider a second family of polynomials associated to such diagrams, and use these to determine projective resolutions of the standard modules. We then relate these two families of polynomials to Kazhdan-Lusztig theory via the work of Lascoux-Sch\"utzenberger and Boe, inspired by work of Brundan and Stroppel in the cap diagram case.
Posted Content•
TL;DR: In this article, the authors proved Alperin's weight conjecture and the character theoretic version of Broue's abelian defect group conjecture for 2-blocks of finite groups with an elementary ABG of order 8.
Abstract: Using the classification of finite simple groups we prove Alperin's weight conjecture and the character theoretic version of Broue's abelian defect group conjecture for 2-blocks of finite groups with an elementary abelian defect group of order 8.
Posted Content•
TL;DR: In this paper, a notion of local homology and cosupport for triangulated categories is developed, building on earlier work of the authors on local cohomology and support.
Abstract: The Hom closed colocalizing subcategories of the stable module category of a finite group are classified. Along the way, the colocalizing subcategories of the homotopy category of injectives over an exterior algebra, and the derived category of a formal commutative differential graded algebra, are classified. To this end, and with an eye towards future applications, a notion of local homology and cosupport for triangulated categories is developed, building on earlier work of the authors on local cohomology and support.