We study the Ginzburg dg algebra Γ_T associated with the quiver with potential arising from a triangulation T of a decorated marked surface S_△⁠, in the sense of [22]. We show that there is a canonical way to identify all finite-dimensional derived categories D_{fd}(Γ_T)⁠, denoted by D_{fd}(S_△)⁠. As an application, we show that the spherical twist group ST(S_△) associated with D_{fd}(S_△) acts faithfully on its space of stability conditions.

We consider the quantum cluster algebras which are injective-reachable and introduce a triangular basis in every seed. We prove that, under some initial conditions, there exists a unique common triangular basis with respect to all seeds. This basis is parametrized by tropical points as expected in the Fock-Goncharov conjecture. As an application, we prove the existence of the common triangular bases for the quantum cluster algebras arising from representations of quantum affine algebras and partially for those arising from quantum unipotent subgroups. This result implies monoidal categorification conjectures of Hernandez-Leclerc and Fomin-Zelevinsky in the corresponding cases: all cluster monomials correspond to simple modules.

We show that the FI-homology of an FI-module can be computed via a Koszul complex. As an application, we prove that the Castelnuovo-Mumford regularity of a finitely generated torsion FI-module is equal to its degree.

We construct a counterexample to the conjugacy of maximal abelian diagonalizable subalgebras in extended affine Lie algebras.

Extriangulated categories were introduced by Nakaoka and Palu by extracting the similarities between exact categories and triangulated categories. A notion of mutation of subcategories in an extriangulated category is defined in this article. Let $\cal A$ be an extension closed subcategory of an extriangulated category $\C$. Then the quotient category $\cal M:=\cal A/\X$ carries naturally a triangulated structure whenever $(\cal A,\cal A)$ forms an $\X$-mutation pair. This result unifies many previous constructions of triangulated quotient categories, and using it gives a classification of thick triangulated subcategories of pretriangulated category $\C/\X$, where $\X$ is functorially finite in $\C$. When $\C$ has Auslander-Reiten translation $\tau$, we prove that for a functorially finite subcategory $\X$ of $\C$ containing projectives and injectives, $\C/\X$ is a triangulated category if and only if $(\C,\C)$ is $\X-$mutation, and if and only if $\tau \underline{\X}=\overline{\X}.$ This generalizes a result by J{\o}rgensen who proved the equivalence between the first and the third conditions for triangulated categories. Furthermore, we show that for such a subcategory $\X$ of the extriangulated category $\C$, $\C$ admits a new extriangulated structure such that $\C$ is a Frobenius extriangulated category. Applications to exact categories and triangulated categories are given. From the applications we present examples that extriangulated categories are neither exact categories nor triangulated categories.\