In this paper, we first introduce the concept of symmetric biderivation radicals and characteristic subalgebras of Lie algebras and study their properties. Based on these results, we precisely determine biderivations of some Lie algebras including finite-dimensional simple Lie algebras over arbitrary fields of characteristic not $2$ or $3$, and the Witt algebras $\mathcal {W}^+_n$ over fields of characteristic $0$. As an application, commutative post-Lie algebra structure on the aforementioned Lie algebras is shown to be trivial.

In this paper, we classify simple smooth modules over the mirror Heisenberg–Virasoro algebra ${\mathfrak {D}}$, and simple smooth modules over the twisted Heisenberg–Virasoro algebra $\bar {\mathfrak {D}}$ with non-zero level. To this end we generalize Sugawara operators to smooth modules over the Heisenberg algebra, and develop new techniques. As applications, we characterize simple Whittaker modules and simple highest weight modules over ${\mathfrak {D}}$. A vertex-algebraic interpretation of our result is the classification of simple weak twisted and untwisted modules over the Heisenberg–Virasoro vertex algebras. We also present a few examples of simple smooth ${\mathfrak {D}}$-modules and $\bar {\mathfrak {D}}$-modules induced from simple modules over finite dimensional solvable Lie algebras, that are not tensor product modules of Virasoro modules and Heisenberg modules. This is very different from the case of simple highest weight modules over $\mathfrak {D}$ and $\bar {\mathfrak {D}}$ which are always tensor products of simple Virasoro modules and simple Heisenberg modules.

In this paper, we give a new method to classify all simple cuspidal modules for the $\mathbb {Z}$-graded and $1/2\mathbb {Z}$-graded Ovsienko–Roger superalgebras. Using this result, we classify all simple Harish–Chandra modules over some related Lie superalgebras, including the $N=1$ BMS$_3$ superalgebra, the super $W(2,2)$, etc.

Let K be any field of characteristic two and let $U_1$ and $W_1$ be the Lie algebras of the derivations of the algebra of Laurent polynomials $K[t,t^{-1}]$ and of the polynomial ring K[t], respectively. The algebras $U_1$ and $W_1$ are equipped with natural $\mathbb{Z}$ -gradings. In this paper, we provide bases for the graded identities of $U_1$ and $W_1$ , and we prove that they do not admit any finite basis.

Using crossed homomorphisms, we show that the category of weak representations (respectively admissible representations) of Lie–Rinehart algebras (respectively Leibniz pairs) is a left module category over the monoidal category of representations of Lie algebras. In particular, the corresponding bifunctor of monoidal categories is established to give new weak representations (respectively admissible representations) of Lie–Rinehart algebras (respectively Leibniz pairs). This generalises and unifies various existing constructions of representations of many Lie algebras by using this new bifunctor. We construct some crossed homomorphisms in different situations and use our actions of monoidal categories to recover some known constructions of representations of various Lie algebras and to obtain new representations for generalised Witt algebras and their Lie subalgebras. The cohomology theory of crossed homomorphisms between Lie algebras is introduced and used to study linear deformations of crossed homomorphisms.

We prove that the group of automorphisms of the Lie algebra DerK(Qn) of derivations of the field of rational functions Qn = K(x1, . . ., xn) over a field of characteristic zero is canonically isomorphic to the group of automorphisms of the K-algebra Qn.

Let $\Gamma$ be a connection on a smooth manifold $M$. In this paper we give some properties of $\Gamma$ by studying the corresponding Lie algebras. In particular, we compute the first Chevalley–Eilenberg cohomology space of the horizontal vector fields Lie algebra on the tangent bundle of $M$, whose the corresponding Lie derivative of $\Gamma$ is null, and of the horizontal nullity curvature space.

We prove that for simple complex finite dimensional Lie algebras, affine Kac–Moody Lie algebras, the Virasoro algebra, and the Heisenberg–Virasoro algebra, simple highest weight modules are characterized by the property that all positive root elements act on these modules locally nilpotently. We also show that this is not the case for higher rank Virasoro algebras and for Heisenberg algebras.

Let d be a positive integer, q=(qij)d×d be a d×d matrix, ℂq be the quantum torus algebra associated with q. We have the semidirect product Lie algebra $\mathfrak{g}$=Der(ℂq)⋉Z(ℂq), where Z(ℂq) is the centre of the rational quantum torus algebra ℂq. In this paper, we construct a class of irreducible weight $\mathfrak{g}$-modules $\mathcal{V}$α (V,W) with three parameters: a vector α∈ℂd, an irreducible $\mathfrak{gl}$d-module V and a graded-irreducible $\mathfrak{gl}$N-module W. Then, we show that an irreducible Harish Chandra (uniformaly bounded) $\mathfrak{g}$-module M is isomorphic to $\mathcal{V}$α(V,W) for suitable α, V, W, if the action of Z(ℂq) on M is associative (respectively nonzero).

In this paper we classify indecomposable modules for the Lie algebra of vector fields on a torus that admit a compatible action of the algebra of functions. An important family of such modules is given by spaces of jets of tensor fields.

In this article, we prove that a free divisor in a three-dimensional complex manifold must be Euler homogeneous in a strong sense if the cohomology of its complement is the hypercohomology of its logarithmic differential forms. Calderón-Moreno et al. conjectured this implication in all dimensions and proved it in dimension two. We prove a theorem that describes in all dimensions a special minimal system of generators for the module of formal logarithmic vector fields. This formal structure theorem is closely related to the formal decomposition of a vector field by Kyoji Saito and is used in the proof of the above result. Another consequence of the formal structure theorem is that the truncated Lie algebras of logarithmic vector fields up to dimension three are solvable. We give an example that this may fail in higher dimensions.

We study the representations of extended affine Lie algebras $s{{\ell }_{\ell +1}}\left( {{\mathbb{C}}_{q}} \right)$ where $q$ is $N$-th primitive root of unity ($({{\mathbb{C}}_{q}}$ is the quantum torus in two variables). We first prove that $\oplus \,s{{\ell }_{\ell +1}}\left( \mathbb{C} \right)$ for a suitable number of copies is a quotient of $s{{\ell }_{\ell +1}}\left( {{\mathbb{C}}_{q}} \right)$. Thus any finite dimensional irreducible module for $\oplus \,s{{\ell }_{\ell +1}}\left( \mathbb{C} \right)$lifts to a representation of $s{{\ell }_{\ell +1}}\left( {{\mathbb{C}}_{q}} \right)$. Conversely, we prove that any finite dimensional irreducible module for $s{{\ell }_{\ell +1}}\left( {{\mathbb{C}}_{q}} \right)$ comes from above. We then construct modules for the extended affine Lie algebras $s{{\ell }_{\ell +1}}\left( {{\mathbb{C}}_{q}} \right)\oplus \mathbb{C}{{d}_{1}}\oplus \mathbb{C}{{d}_{2}}$ which is integrable and has finite dimensional weight spaces.

In a recent paper [2] we defined four classes of infinite dimensional simple Lie algebras over a field of characteristic 0 which we called W*, S*, H*, and K*. As the names suggest, these classes generalize the Lie algebras of Cartan type. A second paper [3] investigates the derivations of the algebras W* and S*, and the possible isomorphisms between these algebras and the algebras defined by Block [1]. In the present paper we investigate the automorphisms of the algebras of type W*.