We present a version of a proof by Andy Chermak of the existence and uniqueness of centric linking systems associated with arbitrary saturated fusion systems. This proof differs from the one in [Ch2] in that it is based on the computation of derived functors of certain inverse limits. This leads to a much shorter proof, but one which is aimed mostly at researchers familiar with homological algebra.

Let $A$ be a finite dimensional k-algebra standardly stratified for a partial order $\leqslant$ and $\Delta$ be the direct sum of all standard modules. In this paper we study the extension algebra $E = Ext^{\ast}_A (Δ,Δ)$ of standard modules, characterize the stratification property of $E$ for $\geqslant$ and $\geqslant ^{op}$, and obtain a sufficient condition for $E$ to be a generalized Koszul algebra (in a sense which we define).

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.

In this paper, we obtain a class of irreducible Virasoro modules by taking tensor products of the irreducible Virasoro modules $\Omega(\lambda,b)$ with irreducible highest weight modules $V(\theta ,h)$ or with irreducible Virasoro modules $\mathrm{Ind}_{\theta}(N)$ defined in Mazorchuk and Zhao (Selecta Math. (N.S.) 20:839–854,2014). We determine the necessary and sufficient conditions for two such irreducible tensor products to be isomorphic. Then we prove that the tensor product of $\Omega(\lambda,b)$ with a classical Whittaker module is isomorphic to the module $\mathrm{Ind}_{\theta, \lambda}(\mathbb{C}_{\mathbf{m}})$ defined in Mazorchuk and Weisner (Proc. Amer. Math. Soc. 142:3695–3703,2014). As a by-product we obtain the necessary and sufficient conditions for the module $\mathrm{Ind}_{\theta, \lambda}(\mathbb{C}_{\mathbf{m}})$ to be irreducible. We also generalize the module $\mathrm{Ind}_{\theta, \lambda}(\mathbb{C}_{\mathbf{m}})$ to $\mathrm{Ind}_{\theta,\lambda}(\mathcal{B}^{(n)}_{\mathbf{s}})$ for any non-negative integer $n$ and use the above results to completely determine when the modules $\mathrm{Ind}_{\theta,\lambda}(\mathcal{B}^{(n)}_{\mathbf{s}})$ are irreducible. The submodules of $\mathrm{Ind}_{\theta,\lambda}(\mathcal{B}^{(n)}_{\mathbf{s}})$ are studied and an open problem in Guo et al. (J. Algebra 387:68–86,2013) is solved. Feigin–Fuchs’ Theorem on singular vectors of Verma modules over the Virasoro algebra is crucial to our proofs in this paper.

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.

We introduce the notions of a D-standard abelian category and a K-standard additive category. We prove that for a finite dimensional algebra A, its module category is D-standard if and only if any derived autoequivalence on Ais standard, that is, isomorphic to the derived tensor functor by a two-sided tilting complex. We prove that if the subcategory of projective A-modules is K-standard, then the module category is D-standard. We provide new examples of D-standard module categories.

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.

The topological center of the spectrum of the Weyl algebra$W$, i.e. the norm closure of the algebra generated by the set of functions $\{n\mapsto\lambda^{n^{i}};\lambda\in\mathbb{T}\mbox{ and }i\in\mathbb {N}\}$ , is characterized in a recent paper by$Jabbari$and$Namioka$(Ellis group and the topological center of the flow generated by the map $n\mapsto \lambda^{n^{k}}$ , to appear in$Milan J. Math.$). By the techniques essentially used in the cited paper, the topological center of the spectrum of the subalgebra$W$_{$k$}, the norm closure of the algebra generated by the set of functions $\{n\mapsto\lambda^{n^{i}};\lambda\in\mathbb{T}\mbox{ and }i=0,1,2,\ldots,k\}$ , will be characterized, for all$k$∈ℕ. Also an example of a non-minimal dynamical system, with the enveloping semigroup Σ, for which the set of all continuous elements of Σ is not equal to the topological center of Σ, is given.

Let R be a ring. R is called a quasi-Frobenius (QF) ring if R is right artinian and RR is an injective right R-module. In this article, we introduce (weak) fuzzy homomorphisms of modules to obtain a fuzzy characterization of QF rings. We also obtain some fuzzy characterizations of right artinian rings and right CF rings. These results throw new light on the research of QF rings and the related CF conjecture.

The action of a Lie pseudogroup $\mathcal{G}$ on a smooth manifold$M$induces a prolonged pseudogroup action on the jet spaces$J$^{$n$}of submanifolds of$M$. We prove in this paper that both the local and global freeness of the action of $\mathcal{G}$ on$J$^{$n$}persist under prolongation in the jet order$n$. Our results underlie the construction of complete moving frames and, indirectly, their applications in the identification and analysis of the various invariant objects for the prolonged pseudogroup actions.