arXiv subjects
Publications and source records attributed to Bethany Marsh.
There is a natural bijection between Dyck paths and basis diagrams of the Temperley-Lieb algebra defined via tiling. Overhang paths are certain generalisations of Dyck paths allowing more general steps but restricted to a rectangle in the two-dimensional integer lattice. We show that there is a natural bijection, extending the above tiling construction, between overhang paths and basis diagrams of the Brauer algebra.
We consider quivers/skew-symmetric matrices under the action of mutation (in the cluster algebra sense). We classify those which are isomorphic to their own mutation via a cycle permuting all the vertices, and give families of quivers which have higher periodicity. The periodicity means that sequences given by recurrence relations arise in a natural way from the associated cluster algebras. We present a number of interesting new families of non-linear recurrences, necessarily with the Laurent property, of both the real line and the plane, containing integrable maps as special cases. In particular, we show that some of these recurrences can be linearised and, with certain initial conditions, give integer sequences which contain all solutions of some particular Pell equations. We extend our construction to include recurrences with parameters, giving an explanation of some observations made by Gale. Finally, we point out a connection between quivers which arise in our classification and those arising in the context of quiver gauge theories.
We generalise the notion of cluster structures from the work of Buan-Iyama-Reiten-Scott to include situations where the endomorphism rings of the clusters may have loops. We show that in a Hom-finite 2-Calabi-Yau category, the set of maximal rigid objects satisfies these axioms whenever there are no 2-cycles in the quivers of their endomorphism rings. We apply this result to the cluster category of a tube, and show that this category forms a good model for the combinatorics of a type B cluster algebra.
We construct frieze patterns of type D_N with entries which are numbers of matchings between vertices and triangles of corresponding triangulations of a punctured disc. For triangulations corresponding to orientations of the Dynkin diagram of type D_N, we show that the numbers in the pattern can be interpreted as specialisations of cluster variables in the corresponding Fomin-Zelevinsky cluster algebra.
Associated to any acyclic cluster algebra is a corresponding triangulated category known as the cluster category. It is known that there is a one-to-one correspondence between cluster variables in the cluster algebra and exceptional indecomposable objects in the cluster category inducing a correspondence between clusters and cluster-tilting objects. Fix a cluster-tilting object T and a corresponding initial cluster. By the Laurent phenomenon, every cluster variable can be written as a Laurent polynomial in the initial cluster. We give conditions on T equivalent to the fact that the denominator in the reduced form for every cluster variable in the cluster algebra has exponents given by the dimension vector of the corresponding module over the endomorphism algebra of T.
We show that for cluster algebras associated with finite quivers without oriented cycles (with no coefficients), a seed is determined by its cluster, as conjectured by Fomin and Zelevinsky.We also obtain an interpretation of the monomial in the denominator of a non-polynomial cluster variable in terms of the composition factors of an indecomposable exceptional module over an associated hereditary algebra.
Motivated by representation theory we exhibit an interior structure to Catalan sequences and many generalisations thereof. Certain of these coincide with well known (but heretofore isolated) structures. The remainder are new.
We show that the m-cluster category of type D_n is equivalent to a certain geometrically-defined category of arcs in a punctured regular nm-m+1-gon. This generalises a result of Schiffler for m=1. We use the notion of the mth power of a translation quiver to realise the m-cluster category in terms of the cluster category.
We show that the $m$-cluster category of type $A_{n-1}$ is equivalent to a certain geometrically-defined category of diagonals of a regular $nm+2$-gon. This generalises a result of Caldero, Chapoton and Schiffler for $m=1$. The approach uses the theory of translation quivers and their corresponding mesh categories. We also introduce the notion of the $m$th power of a translation quiver and show how it can be used to realise the $m$-cluster category in terms of the cluster category.
We investigate the cluster-tilted algebras of finite representation type over an algebraically closed field. We give an explicit description of the relations for the quivers for finite representation type. As a consequence we show that a (basic) cluster-tilted algebra of finite type is uniquely determined by its quiver. Also some necessary conditions on the shapes of quivers of cluster-tilted algebras of finite representation type are obtained along the way.
Matrix mutation appears in the definition of cluster algebras of Fomin and Zelevinsky. We give a representation theoretic interpretation of matrix mutation, using tilting theory in cluster categories of hereditary algebras. Using this, we obtain a representation theoretical interpretation of cluster mutation in case of acyclic cluster algebras of finite type.
For the flag variety G/B of a reductive algebraic group G we define a certain (set-theoretical) cross-section phi from G/B to G, which depends on a choice of reduced expression for the longest element in the Weyl group. This cross-section is continuous along the components of Deodhar's decomposition of G/B and assigns to any flag gB a representative phi(gB) in G which comes with a natural factorization into simple root subgroups and simple reflections. We introduce a generalization of the Chamber Ansatz of Berenstein, Fomin and Zelevinsky and use it to obtain formulas for the factors of phi(gB). Our results then allow us parameterize explicitly the components of the totally nonnegative part of the flag variety as defined by Lusztig. This gives a new proof of Lusztig's conjectured cell decomposition of this set.
We introduce a new class of algebras, which we call cluster-tilted. They are by definition the endomorphism algebras of tilting objects in a cluster category. We show that their representation theory is very close to the representation theory of hereditary algebras. As an application of this, we prove a generalised version of so-called APR-tilting.
We introduce a new category C, which we call the cluster category, obtained as a quotient of the bounded derived category D of the module category of a finite-dimensional hereditary algebra H over a field. We show that, in the simply-laced Dynkin case, C can be regarded as a natural model for the combinatorics of the corresponding Fomin-Zelevinsky cluster algebra. In this model, the tilting modules correspond to the clusters of Fomin-Zelevinsky. Using approximation theory, we investigate the tilting theory of C, showing that it is more regular than that of the module category itself, and demonstrating an interesting link with the classification of self-injective algebras of finite representation type. This investigation also enables us to conjecture a generalisation of APR-tilting.
The negative part $U^-$ of a quantised enveloping algebra associated to a simple Lie algebra possesses a canonical basis $\mathcal{B}$ with favourable properties. Lusztig has associated a cone to a reduced expression $\mathbf{i}$ for the longest element $w_0$ in the Weyl group of $\mathfrak{g}$, with good properties with respect to monomial elements of $\mathcal{B}$. The first author has associated a subalgebra $A_{\mathbf{i}}$ of $U^-$, compatible with the dual basis $\mathcal{B}^*$, to each reduced expression $\mathbf{i}$. We show that, after a certain twisting, the string parametrisation of the adapted basis of this subalgebra coincides with the corresponding Lusztig cone. As an application, we give explicit expressions for the generators of the Lusztig cones.
We provide a quiver-theoretic interpretation of certain smooth complete simplicial fans associated to arbitrary finite root systems in recent work of S. Fomin and A. Zelevinsky. The main properties of these fans then become easy consequences of the known facts about tilting modules due to K. Bongartz, D. Happel and C. M. Ringel.
Let U^+ be the plus part of the quantized enveloping algebra of a simple Lie algebra and let B^* be the dual canonical basis of U^+. Let b,b' be in B* and suppose that one of the two elements is a q-commuting product of quantum flag minors. We show that b and b' are multiplicative if and only if they q-commute.
In this paper we show that there is a link between the combinatorics of the canonical basis of a quantized enveloping algebra and the monomial bases of the second author arising from representations of quivers. We prove that some reparametrization functions of the canonical basis, arising from the link between Lusztig's approach to the canonical basis and the string parametrization of the canonical basis, are given on a large region of linearity by linear functions arising from these monomial basis for a quantized enveloping algebra.