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.

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 prove that every invertible 2-local or local automorphism of a simple generalized Witt algebra over any field of characteristic 0 is an automorphism. Furthermore, every 2-local or local automorphism of Witt algebras W_n is an automorphism for all n∈N. But some simple generalized Witt algebras indeed have 2-local (and local) automorphisms that are not automorphisms.

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).

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.

We study endomorphism algebras of 2-term silting complexes in derived categories of hereditary finite dimensional algebras, or more generally of Ext-finite hereditary abelian categories. Module categories of such endomorphism algebras are known to occur as hearts of certain bounded t-structures in such derived categories. We show that the algebras occurring are exactly the algebras of small homological dimension, which are algebras characterized by the property that each indecomposable module either has injective dimension at most one, or it has projective dimension at most one.