Our motivation is to build a systematic method in order to investigate the structure of cluster algebras of geometric type. The method is given through the notion of mixing-type subseeds, the theory of seed homomorphisms and the view-point of gluing of seeds. As an application, for (rooted) cluster algebras, we completely classify rooted cluster subalgebras and characterize rooted cluster quotient algebras in detail. Also, we build the relationship between the categorification of a rooted cluster algebra and that of its rooted cluster subalgebras.Note that cluster algebras of geometric type studied here are of the sign-skew-symmetric case.
Contents1. Introduction and preliminaries 1 2. Seed homomorphisms and some elementary properties 5 3. Rooted cluster morphisms and the relationship with seed homomorphisms 10 4. Sub-rooted cluster algebras and rooted cluster subalgebras 16 4.1. Sub-rooted cluster algebras and two special cases 16 4.2. Rooted cluster subalgebras as sub-class of sub-rooted cluster algebras 18 5. On enumeration and monoidal categorification 21 5.1. The number of rooted cluster subalgebras of the form A(Σ I0,I1 ) 21 5.2. Monoidal sub-categorification of a rooted cluster algebra 22 6. Rooted cluster quotient algebras 25 6.1. Rooted cluster quotient algebras via pure sub-cluster algebras 25 6.2. Rooted cluster quotient algebras via gluing method 29 References 40
Introduction and preliminariesCluster algebras are commutative algebras that were introduced by Fomin and Zelevinsky [9] in order to give a combinatorial characterization of total positivity and canonical bases in algebraic groups. The theory of cluster algebras is related to numerous other fields. Since its introduction, the study on cluster algebras mainly involves intersection with Lie theory, representation theory of algebras, its combinatorial method (e.g. the periodicity issue) and categorification and the sub-class constructed from Riemannian surfaces and its topological setting, including the Teichmüller theory.The algebraic structure and properties of cluster algebras were originally studied in a series of articles [9,10,2,11] involving bases and the positivity conjecture. The positive conjecture has been Mathematics Subject Classification(2010): 13F60, 05E15, 20M10. 1 2 MIN HUANG FANG LI YICHAO YANG 1 , that is, Σ ∅,I1 and Σ ∅,I ′ 1 are non-trivial. Since Σ is connected, we have Σ = Σ ∅,I1 ∐ Σ ∅,I ′ 1 , which contradicts to the indecomposability of Σ. "If": Clearly, Σ is connected. If Q is decomposable, then we have Σ = Σ 1 ∐ Σ 2 with non-trivial Σ 1 = (X 1 , (X 1 ) f r , B 1 ) and Σ 2 = (X 2 , (X 2 ) f r , B 2 ). Then we can find x ∈ X 1 , y ∈ X 2 such that there exists a sequence of exchangeable cluster variables (x 1 , · · · , x s ) in X = X 1 ∪ X 2 satisfying that b x1x = 0, b xixi+1 = 0 and b xsy = 0 for i = 1, · · · , s, which is impossible according to (4), the form of B.Lemma 2.9. If a non-trivial seed Σ = (X, X f r , B) is indecomposable, then any seed homomorphism f : Σ → Σ ′ is either positive or negative.Proof. Assume th...