Let k be a commutative Noetherian ring. In this paper we consider filtered modules of the category FI firstly introduced by Nagpal. We show that a finitely generated FI-module V is filtered if and only if its higher homologies all vanish, and if and only if a certain homology vanishes. Using this homological characterization, we characterize finitely generated FI-modules V whose projective dimension is finite, and describe an upper bound for it. Furthermore, we give a new proof for the fact that V induces a finite complex of filtered modules, and use it as well as a result of Church and Ellenberg to obtain another upper bound for homological degrees of V.

Let $(R, \frak{m}, k_{R})$ be a regular local$k$-algebra satisfying the weak Jacobian criterion, and such that$k$_{$R$}/$k$is an algebraic field extension. Let $\mathcal{D}_{R}$ be the ring of$k$-linear differential operators of$R$. We give an explicit decomposition of the $\mathcal{D}_{R}$ -module $\mathcal{D}_{R}/\mathcal{D}_{R} \frak{m}_{R}^{n+1}$ as a direct sum of simple modules, all isomorphic to $\mathcal{D}_{R}/\mathcal{D}_{R} \frak{m}$ , where certain “Pochhammer” differential operators are used to describe generators of the simple components.

Let$p$be a prime integer, 1≤$s$≤$r$be integers and$F$be a field of characteristic different from$p$. We find upper and lower bounds for the essential$p$-dimension ed_{$p$}( $$ Al{{g}_{{{{p}^r},{{p}^s}}}} $$ ) of the class $$ Al{{g}_{{{{p}^r},{{p}^s}}}} $$ of central simple algebras of degree$p$^{$r$}and exponent dividing$p$^{$s$}. In particular, we show that ed($Alg$_{8,2})=ed_{2}($Alg$_{8,2})=8 and ed_{$p$}( $$ Al{{g}_{{{{p}^2},p}}} $$ )=$p$^{2}+$p$for$p$odd.

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.

Let $A = \bigoplus _{i \geqslant 0} A_i$ be a graded locally finite $k$-algebra where $A_0$ is a finite-dimensional algebra whose finitistic dimension is 0. In this paper we develop a generalized Koszul theory preserving many classical results, and show an explicit correspondence between this generalized theory and the classical theory. Applications in representations of certain categories and extension algebras of standard modules of standardly stratified algebras are described.