A decorated surface S is an oriented surface, with or without boundary, and a finite set {s 1,..., s n} of special points on the boundary, considered modulo isotopy. Let G be a split reductive group over [special characters omitted].

In this paper, we study the relation between the cocenter \overline {{ilde {\mathcal H}}} and the representations of an affine pro-\overline {{ilde {\mathcal H}}} Hecke algebra \overline {{ilde {\mathcal H}}} . As a consequence, we obtain a new criterion on supersingular representations: a (virtual) representation of \overline {{ilde {\mathcal H}}} is supersingular if and only if its character vanishes on the non-supersingular part of the cocenter \overline {{ilde {\mathcal H}}} .

In this paper we consider several homological dimensions of crossed products $A _{\alpha} ^{\sigma} G$, where $A$ is a left Noetherian ring and $G$ is a finite group. We revisit the induction and restriction functors in derived categories, generalizing a few classical results for separable extensions. The global dimension and finitistic dimension of $A ^{\sigma} _{\alpha} G$ are classified: global dimension of $A ^{\sigma} _{\alpha} G$ is either infinity or equal to that of $A$, and finitistic dimension of $A ^{\sigma} _{\alpha} G$ coincides with that of $A$. A criterion for skew group rings to have finite global dimensions is deduced. Under the hypothesis that $A$ is a semiprimary algebra containing a complete set of primitive orthogonal idempotents closed under the action of a Sylow $p$-subgroup $S \leqslant G$, we show that $A$ and $A _{\alpha} ^{\sigma} G$ share the same homological dimensions under extra assumptions.

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.

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.