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.

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.

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.

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.

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