A geometric model for cluster categories of type D_n.

DOI10.1007/S10801-007-0071-6MaRDI QIDQ2467550zbMATH OpenOpenAlexFDO

Publication date 22 January 2008

Published in Journal of Algebraic Combinatorics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0608264

cluster categories elementary moves punctured polygons triangulated surfaces

Module categories in associative algebras (16D90) Representations of quivers and partially ordered sets (16G20) Auslander-Reiten sequences (almost split sequences) and Auslander-Reiten quivers (16G70) (n)-dimensional polytopes (52B11)

Abstract: We give a geometric realization of cluster categories of type

D_{n}

using a polygon with

n

vertices and one puncture in its center as a model. In this realization, the indecomposable objects of the cluster category correspond to certain homotopy classes of paths between two vertices.

Review text

Let \(k\) be an algebraically closed field, and let \(A=kQ\) be the path algebra of a quiver \(Q\). The cluster category \(\mathcal C_Q\) is defined to be the orbit category of the derived category \(\mathcal D^b(A)\) of \(\text{mod}(A)\) with respect to the autoequivalence \(F=\tau^{-1}\circ[1]\), where \(\tau^{-1}\) is the inverse Auslander-Reiten translation on \(\mathcal D^b(A)\). In the paper under review the case that \(Q\) is given by a Dynkin diagram of type \(D_n\) is treated. Similarly like in [\textit{P.~Caldero, F.~Chapoton} and \textit{R.~Schiffler}, Trans. Am. Math. Soc. 358, No. 3, 1347-1364 (2006; Zbl 1137.16020)] (where the case \(A_n\) is treated) and following a more general idea of \textit{S.~Fomin, M.~Shapiro} and \textit{D.~Thurston} [Acta Math. 201, No. 1, 83-146 (2008; Zbl 1263.13023)] this cluster category is realized by a geometric model. The indecomposable objects correspond to tagged edges in the \(n\)-polygon with one puncture. (An edge is a homotopy class of paths between two vertices.) Irreducible morphisms between such objects are given by certain elementary moves. Morphism spaces are spanned by sequences of irreducible maps modulo explicitly described mesh relations. It is furthermore shown that the dimension of the \(\text{Ext}^1\)-space between indecomposable objects \(M\) and \(N\) equals the crossing number of the corresponding edges. Moreover, explicit descriptions of Auslander-Reiten triangles, of tilting objects (= maximal sets of noncrossing tagged edges = triangulations of the punctured polygon) and exchange pairs in the geometric model are given.

Recommendations

Cites work

Cited in

(58)

This page was built for publication: A geometric model for cluster categories of type \(D_n\).

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2467550)