Abstract:For the cluster algebra $\mathcal{A}$ associated with a triangulated surface, we give a characterization of the triangulated surface such that different non-initial cluster monomials in $\mathcal{A}$ have different $f$-vectors. Similarly, for the associated Jacobian algebra $J$, we give a characterization of the triangulated surface such that different $\tau$-rigid $J$-modules have different dimension vectors. Moreover, we also show that different basic support $\tau$-tilting $J$-modules have different dimension vectors. Our main ingredient is a notion of intersection numbers defined by Qiu and Zhou. As an application, we show that the denominator conjecture holds for $\mathcal{A}$ if the marked surface is a closed surface with exactly one puncture, or the given tagged triangulation has neither loops nor tagged arcs connecting punctures.
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly focus on two aspects:
1. **Uniqueness problem of f - vectors**: For the cluster algebra \(A\) related to triangulated surfaces, the article aims to find the characteristics of triangulated surfaces such that different non - initial cluster monomials have different f - vectors. Specifically, the article studies under what conditions different non - initial cluster monomials (that is, cluster monomials belonging to non - initial cluster variables) in the cluster algebra \(A\) have different f - vectors.
2. **Uniqueness problem of dimension vectors of \(\tau\)-rigid modules**: For the Jacobian algebra \(J\) related to triangulated surfaces, the article attempts to find the characteristics of triangulated surfaces such that different \(\tau\)-rigid \(J\)-modules have different dimension vectors. In addition, the article also studies whether different basic support \(\tau\)-tilting \(J\)-modules have different dimension vectors.
### Main Motivations and Background
- **Conjectures in cluster algebras**: An important motivation of the article is to study the denominator conjecture (Conjecture 1.1) in the theory of cluster algebras, that is, for any two cluster monomials \(x\) and \(x'\) in a cluster algebra, if their denominator vectors are the same, then these two cluster monomials must be equal. The author explores in which cluster algebras this conjecture holds and further studies the similar problem of f - vectors.
- **\(\tau\)-tilting theory**: Another motivation comes from \(\tau\)-tilting theory, especially the representation theory of the finite - dimensional algebra \(\Lambda\). The article studies the problem of whether these modules are isomorphic when different \(\tau\)-rigid \(\Lambda\)-modules have the same dimension vector. Through the categorification of cluster algebras, this problem is closely related to the problem of f - vectors.
### Main Results
- **Theorem 1.6**: For a marking \(T\) of a triangulated surface \(S\), the following conditions are equivalent:
1. For any two non - initial cluster monomials \(x\) and \(x'\) in the cluster algebra \(A(Q_T)\), if \(f(x)=f(x')\), then \(x = x'\).
2. The marked surface \(S\) is a closed surface with exactly one puncture, or each connected component contains at most one odd - length cycle and no even - length cycle.
- **Theorem 1.7**: For a marking \(T\) of a triangulated surface \(S\), if \(S\) is a closed surface with exactly one puncture, or \(T\) has no loops or marked arcs connecting punctures, then the denominator conjecture holds for \(A(Q_T)\).
- **Theorem 1.10**: For a marking \(T\) of a triangulated surface \(S\), the following conditions are equivalent:
1. For any two \(\tau\)-rigid modules \(M\) and \(N\) of the Jacobian algebra \(J_T\), if \(\dim M=\dim N\), then \(M = N\).
2. Each connected component contains at most one odd - length cycle and no even - length cycle.
These results provide an important theoretical basis for understanding the uniqueness and classification problems in cluster algebras and \(\tau\)-tilting theory.