Let $\Lambda$ be a finite dimensional algebra and $G$ be a finite group whose elements act on $\Lambda$ as algebra automorphisms. Under the assumption that $\Lambda$ has a complete set $E$ of primitive orthogonal idempotents, closed under the action of a Sylow $p$-subgroup $S \leqslant G$, we show that the skew group algebra $\Lambda G$ and $\Lambda$ have the same finitistic dimension and the same strong global dimension if the action of $S$ on $E$ is free. Using a homological characterization of piecewise hereditary algebras proved by Happel and Zacharia, we deduce that $\Lambda G$ is piecewise hereditary if and only if $S$ acts freely on $E$ and $\Lambda$ is piecewise hereditary as well.

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.

Let $\mathbf{U}$ be the quantum group and $\mathbf{f}$ be the Lusztig's algebra associated with a symmetrizable generalized Cartan matrix. The algebra $\mathbf{f}$ can be viewed as the positive part of $\mathbf{U}$. Lusztig introduced some symmetries $T_i$ on $\mathbf{U}$ for all $i\in I$. Since $T_i(\mathbf{f})$ is not contained in $\mathbf{f}$, Lusztig considered two subalgebras ${_i\mathbf{f}}$ and ${^i\mathbf{f}}$ of $\mathbf{f}$ for any $i\in I$, where ${_i\mathbf{f}}=\{x\in\mathbf{f}\,\,|\,\,T_i(x)\in\mathbf{f}\}$ and ${^i\mathbf{f}}=\{x\in\mathbf{f}\,\,|\,\,T^{-1}_i(x)\in\mathbf{f}\}$. The restriction of $T_i$ on ${_i\mathbf{f}}$ is also denoted by $T_i:{_i\mathbf{f}}\rightarrow{^i\mathbf{f}}$. The geometric realization of $\mathbf{f}$ and its canonical basis are introduced by Lusztig via some semisimple complexes on the variety consisting of representations of the corresponding quiver. When the generalized Cartan matrix is symmetric, Xiao and Zhao gave geometric realizations of Lusztig's symmetries in the sense of Lusztig. In this paper, we shall generalize this result and give geometric realizations of ${_i\mathbf{f}}$, ${^i\mathbf{f}}$ and $T_i:{_i\mathbf{f}}\rightarrow{^i\mathbf{f}}$ by using the language 'quiver with automorphism' introduced by Lusztig.

Let A be a graded algebra. In this paper we develop a generalized Koszul theory by assuming that A_0 is self-injective instead of semisimple and generalize many classical results. The application of this generalized theory to directed categories and finite EI categories is described.

We study the fundamental groups of the exchange graphs for the bounded derived category D(Q) of a Dynkin quiver Q and the finite-dimensional derived category D(Gamma_N Q)of the Calabi–Yau-N Ginzburg algebra associated to Q. In the case of D(Q), we prove that its space of stability conditions (in the sense of Bridgeland) is simply connected. As an application, we show that the Donaldson–Thomas type invariant associated to Q can be calculated as a quantum dilogarithm function on its exchange graph. In the case of D(Gamma_N Q), we show that the faithfulness of the Seidel–Thomas braid group action (which is known for Q of type A or N=2) implies the simply connectedness of the space of stability conditions.