The action of the mapping class group of the thrice-punctured projective plane on its GL(2,C) character variety produces an algorithm for generating the simple length spectra of quasi-Fuchsian thrice-punctured projective planes. We apply this algorithm to quasi-Fuchsian representations of the corresponding fundamental group to prove: a sharp upper-bound for the length its shortest geodesic, a McShane identity and the surprising result of non-polynomial growth for the number of simple closed geodesic lengths.

In this paper we study derived equivalences between triangular matrix algebras using certain classical recollements. We show that special properties of these recollements actually characterize triangular matrix algebras, and describe methods to construct tilting modules and tilting complexes inducing derived equivalences between them.

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.

We give two homological proofs of the Noetherianity of the category FI, a fundamental result discovered by Church, Ellenberg, Farb, and Nagpal.

In this paper, we give geometric realizations of Lusztig's symmetries. We also give projective resolutions of a kind of standard modules. By using the geometric realizations and the projective resolutions, we obtain the categorification of the formulas of Lusztig's symmetries.