Continuous cluster categories. I (Q2352031)

In the article under review, the authors construct a family of topological triangulated categories \(\mathcal{C}_{c}\) as stables categories of some topological Frobenius categories \(\mathcal{F}_{c}\), introduced by the authors in the article included in the book [\textit{K. Igusa} and \textit{G. Todorov}, in: Algebras, quivers and representations. The Abel symposium 2011. Selected papers of the 8th Abel symposium, Balestrand, Norway, June 20--23, 2011. Berlin: Springer. 115--143 (2013; Zbl 1315.13037)]. The case \(c = \pi\) is of particular interest, because it is the limit of the cluster category of type \(A_{n}\) as \(n\) goes to infinity. The first part of the article (sections 2 and 3) includes several constructions of intermediate categories of different types (abelian, exact, Frobenius, triangulated), which are used in order to define the \textit{continuous orbit category} \(\mathcal{C}_{r,s}\). More precisely, it is the orbit category of the doubled continuous derived category \(\mathcal{D}_{r}^{(2)}\) under a triangulated automorphism. The latter category is the double construction, recalled in Subsection 3.1, of the intermediate triangulated category \(\mathcal{D}_{r}\) introduced in Subsection 2.5. The authors also provide another description of the continuous orbit category in Cor. 3.3.2 as the stable category of a certain Frobenius category. In particular they obtain an equivalence between the continuous orbit category \(\mathcal{C}_{r,s}\) and the stable category \(\mathcal{C}_{r \pi/s}\). In Section 4 the authors consider maximal compatible collections of indecomposable objects of \(\mathcal{C}_{\pi,\pi}\), and describe them in term of laminations of the hyperbolic plane. A \textit{cluster} of the category is defined to be a discrete maximal lamination. The main result of the article (see Thm. 6.2.3 and Cor. 6.4.4) states that the continuous orbit category has a cluster structure -- in the sense defined by Buan, Iyama, Reiten, and Scott in [\textit{A. B. Buan}, et al., Compos. Math. 145, No. 4, 1035--1079 (2009; Zbl 1181.18006)] -- only for certain values of \(r\) and \(s\) (including the case \(r=s=\pi\)).