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.

Based on the work of Ringel and Green, one can define the (Drinfeld) double Ringel--Hall algebra ${\mathscr D}(Q)$ of a quiver $Q$ as well as its highest weight modules. The main purpose of the present paper is to show that the basic representation $L(\Lambda_0)$ of ${\mathscr D}(\Delta_n)$ of the cyclic quiver $\Delta_n$ provides a realization of the $q$-deformed Fock space $\bigwedge^\infty$ defined by Hayashi. This is worked out by extending a construction of Varagnolo and Vasserot. By analysing the structure of nilpotent representations of $\Delta_n$, we obtain a decomposition of the basic representation $L(\Lambda_0)$ which induces the Kashiwara--Miwa--Stern decomposition of $\bigwedge^\infty$ and a construction of the canonical basis of $\bigwedge^\infty$ defined by Leclerc and Thibon in terms of certain monomial basis elements in ${\mathscr D}(\Delta_n)$.

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.

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.

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.