We study rooted cluster algebras and rooted cluster mor-phisms which were introduced in [1]recently and cluster struc-tures in 2-Calabi–Yau triangulated categories. An example of rooted cluster morphism which is not ideal is given, this clar-ifyinga doubt in [1]. We introduce the notion of freezing of a seed and show that an injective rooted cluster morphism always arises from a freezing and a subseed. Moreover, it is a section if and only if it arises from a subseed. This answers the Problem 7.7 in [1]. We prove that an inducible rooted clus-ter morphism is ideal if and only if it can be decomposed as a surjective rooted cluster morphism and an injective rooted cluster morphism. For rooted cluster algebras arising from a 2-Calabi–Yau triangulated category Cwith cluster tilting ob-jects, we give an one-to-one correspondence between certain pairs of their rooted cluster subalgebras which we call com-plete pairs (see Definition2.27) and cotorsion pairs in C.

In Berenstein and Rupel (2015), the authors defined algebra homomorphisms from the dual Ringel-Hall algebra of certain hereditary abelian category \mathcal{A} to an appropriate q-polynomial algebra. In the case that \mathcal{A} is the representation category of an acyclic quiver, we give an alternative proof by using the cluster multiplication formulas in (Ding and Xu, Sci. China Math. 55(10) 2045–2066, 2012). Moreover, if the underlying graph of Q associated with \mathcal{A} is bipartite and the matrix B associated to the quiver Q is of full rank, we show that the image of the algebra homomorphism is in the corresponding quantum cluster algebra.

In this paper, we generalize the categorifical construction of a quantum group and its canonical basis by Lusztig (\cite{Lusztig,Lusztig2}) to the generic form of whole Ringel-Hall algebra. We clarify the explicit relation between the Green formula in \cite{Green} and the restriction functor in \cite{Lusztig2}. By a geometric way to prove Green formula, we show that the Hopf structure of a Ringel-Hall algebra can be categorified under Lusztig's framework.

We give a complete classification of (co)torsion pairs in finite $2$-Calabi-Yau triangulated categories with maximal rigid objects which are not cluster tilting. These finite $2$-Calabi-Yau triangulated categories are divided into two main classes: one denoted by $\A_{n,t}$ called of type $A$, and the other denoted by $D_{n,t}$ called of type $D$. By using the geometric model of cluster categories of type $A, $ or type $D$, we give a geometric description of (co)torsion pairs in $\A_{n,t}$ or $D_{n,t}$ respectively, via defining the periodic Ptolemy diagrams. This allows to count the number of (co)torsion pairs in these categories. Finally, we determine the hearts of (co)torsion pairs in all finite $2$-Calabi-Yau triangulated categories with maximal rigid objects which are not cluster tilting via quivers and relations.

For any vertex algebra V and any subalgebra A of V, there is a new subalgebra of V known as the commutant of A in V. This construction was introduced by Frenkel-Zhu, and is a generalization of an earlier construction due to Kac-Peterson and Goddard-Kent-Olive known as the coset construction. In this paper, we interpret the commutant as a vertex algebra notion of invariant theory. We present an approach to describing commutant algebras in an appropriate category of vertex algebras by reducing the problem to a question in commutative algebra. We give an interesting example of a Howe pair (ie, a pair of mutual commutants) in the vertex algebra setting.