arXiv++ Combinatorics

Let $A$ be a finite-dimensional gentle algebra over an algebraically closed field. We investigate the combinatorial properties of support $τ$-tilting graph of $A$. In particular, it is proved that the support $τ$-tilting graph of $A$ is connected and has the so-called reachable-in-face property. This property was conjectured by Fomin and Zelevinsky for exchange graphs of cluster algebras which was recently confirmed by Cao and Li.

In this paper, we give a complete classification of cotorsion pairs in a cluster category $\mathscr{C}$ of type $A^\infty_\infty$ via certain configurations of arcs, called $τ$-compact Ptolemy diagrams, in an infinite strip with marked points. As applications, we classify $t$-structures and functorially finite rigid subcategories in $\mathscr{C}$, respectively. We also deduce Liu-Paquette's classification of cluster tilting categories of $\mathscr{C}$ and Ng's classification of torsion pairs in the cluster category of type $A_\infty$.

We introduce and study mutation of torsion pairs, as a generalization of mutation of cluster tilting objects, rigid objects and maximal rigid objects. It is proved that any mutation of a torsion pair is again a torsion pair. A geometric realization of mutation of torsion pairs in the cluster category of type $A_n$ or $A_{\infty}$ is given via rotation of Ptolemy diagrams.

We study the cluster algebras arising from cluster tubes with rank bigger than $1$. Cluster tubes are $2-$Calabi-Yau triangulated categories which contain no cluster tilting objects, but maximal rigid objects. Fix a certain maximal rigid object $T$ in the cluster tube $\mathcal{C}_n$ of rank $n$. For any indecomposable rigid object $M$ in $\mathcal{C}_n$, we define an analogous $X_M$ of Caldero-Chapton's formula (or Palu's cluster character formula) by using the geometric information of $M$. We show that $X_M, X_{M'}$ satisfy the mutation formula when $M,M'$ form an exchange pair, and that $X_{?}: M\mapsto X_M$ gives a bijection from the set of indecomposable rigid objects in $\mathcal{C}_n$ to the set of cluster variables of cluster algebra of type $C_{n-1}$, which induces a bijection between the set of basic maximal rigid objects in $\mathcal{C}_n$ and the set of clusters. This strengths a surprising result proved recently by Buan-Marsh-Vatne that the combinatorics of maximal rigid objects in the cluster tube $\mathcal{C}_n$ encode the combinatorics of the cluster algebra of type $B_{n-1}$ since the combinatorics of cluster algebras of type $B_{n-1}$ or of type $C_{n-1}$ are the same by a result of Fomin and Zelevinsky. As a consequence, we give a categorification of cluster algebras of type $C$.

We study the cluster combinatorics of $d-$cluster tilting objects in $d-$cluster categories. By using mutations of maximal rigid objects in $d-$cluster categories which are defined similarly for $d-$cluster tilting objects, we prove the equivalences between $d-$cluster tilting objects, maximal rigid objects and complete rigid objects. Using the chain of $d+1$ triangles of $d-$cluster tilting objects in [IY], we prove that any almost complete $d-$cluster tilting object has exactly $d+1$ complements, compute the extension groups between these complements, and study the middle terms of these $d+1$ triangles. All results are the extensions of corresponding results on cluster tilting objects in cluster categories established in [BMRRT] to $d-$cluster categories. They are applied to the Fomin-Reading's generalized cluster complexes of finite root systems defined and studied in [FR2] [Th] [BaM1-2], and to that of infinite root systems [Zh3].