arXiv++ Combinatorics

We continue our investigation on denominator conjecture of Fomin and Zelevinsky for cluster algebras via geometric models initialed in \cite{FG22}. In this paper, we confirm the denominator conjecture for cluster algebras of finite type. The new contribution is a proof of this conjecture for cluster algebras of type $\mathbb{D}$ and an algorithm for the exceptional types. For the type $\mathbb{D}$ cases, our approach involves geometric model provided by discs with a puncture. By removing the puncture or changing the puncture to an unmarked boundary component, this also yields an alternative proof for the denominator conjecture of cluster algebras of type $\mathbb{A}$ and $\mathbb{C}$ respectively.

The denominator conjecture, proposed by Fomin and Zelevinsky, says that for a cluster algebra, the cluster monomials are uniquely determined by their denominator vectors with respect to an initial cluster. In this paper, for a cluster algebra from a marked surface with at least three boundary marked points, we establish this conjecture with respect to a given strong admissible tagged triangulation.

It is proved that a multiset of permissible arcs over a tiling is uniquely determined by its intersection vector under a mild condition. This generalizes a classical result over marked surfaces with triangulations. We apply this result to study $τ$-tilting theory of gentle algebras and denominator conjecture in cluster algebras. In the case of gentle algebras, it is proved that different $τ$-rigid $A$-modules over a gentle algebra $A$ have different dimension vectors if and only if $A$ has no even oriented cycle with full relations. For cluster algebras, the denominator conjecture has been established for cluster algebras of type $\mathbb{A}\mathbb{B}\mathbb{C}$.

The claim in the title is proved.

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.

We investigate the existence and non-existence of maximal green sequences for quivers arising from weighted projective lines. Let $Q$ be the Gabreil quiver of the endomorphism algebra of a basic cluster-tilting object in the cluster category $\mathcal{C}_\mathbb{X}$ of a weighted projective line $\mathbb{X}$. It is proved that there exists a quiver $Q'$ in the mutation equivalence class $\operatorname{Mut}(Q)$ such that $Q'$ admits a maximal green sequence. On the other hand, there is a quiver in $\operatorname{Mut}(Q)$ which does not admit a maximal green sequence if and only if $\mathbb{X}$ is of wild type.