We classify the automorphic Lie algebras of equivariant maps from a complex torus to $\mathfrak{sl}_2(\mathbb{C})$. For each case, we compute a basis in a normal form. The automorphic Lie algebras correspond precisely to two disjoint families of Lie algebras parametrised by the modular curve of $\mathrm{PSL}_2({\mathbb{Z}})$, apart from four cases, which are all isomorphic to Onsager’s algebra.

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.

In this work, we introduce Urod algebras associated to simply laced Lie algebras as well as the concept of translation of W-algebras.

Both results are achieved by showing that the quantum Hamiltonian reduction commutes with tensoring with integrable representations; that is, for V and L an affine vertex algebra and an integrable affine vertex algebra associated with $\mathfrak {g}$, we have the vertex algebra isomorphism $H_{DS,f}^{0}(V\otimes L)\cong H_{DS,f}^{0}(V)\otimes L$, where in the left-hand-side the Drinfeld–Sokolov reduction is taken with respect to the diagonal action of $\widehat {\mathfrak {g}}$ on $V{\otimes } L$.

The proof is based on some new construction of automorphisms of vertex algebras, which may be of independent interest. As corollaries, we get fusion categories of modules of many exceptional W-algebras, and we can construct various corner vertex algebras.

A major motivation for this work is that Urod algebras of type A provide a representation theoretic interpretation of the celebrated Nakajima–Yoshioka blowup equations for the moduli space of framed torsion free sheaves on $\mathbb {CP}^{2}$ of an arbitrary rank.

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.

A thin Lie algebra is a Lie algebra $L$, graded over the positive integers, with its first homogeneous component $L_1$ of dimension two and generating $L$, and such that each non-zero ideal of $L$ lies between consecutive terms of its lower central series. All homogeneous components of a thin Lie algebra have dimension one or two, and the two-dimensional components are called diamonds. Suppose the second diamond of $L$ (that is, the next diamond past $L_1$) occurs in degree $k$. We prove that if $k>5$, then $[Lyy]=0$ for some non-zero element $y$ of $L_1$. In characteristic different from two this means $y$ is a sandwich element of $L$. We discuss the relevance of this fact in connection with an important theorem of Premet on sandwich elements in modular Lie algebras.

The Virasoro algebra $\mathcal {L}$ is an infinite-dimensional Lie algebra with basis {Lm, C| m ∈ ℤ} and relations [Lm, Ln] = (n − m)Lm+n + δm+n,0((m3 − m)/12)C, [Lm, C] = 0 for m, n ∈ ℤ. Let $\mathfrak a$ be the subalgebra of $\mathcal {L}$ spanned by Li for i ≥ −1. For any triple (μ, λ, α) of complex numbers with μ ≠ 0, λ ≠ 0 and any non-trivial $\mathfrak a$-module V satisfying the condition: for any v ∈ V there exists a non-negative integer m such that Liv = 0 for all i ≥ m, non-weight $\mathcal {L}$-modules on the linear tensor product of V and ℂ[∂], denoted by $\mathcal {M}(V,\mu ,\Omega (\lambda ,\alpha ))\ (\Omega (\lambda ,\alpha )=\mathbb {C}[\partial ]$ as vector spaces), are constructed in this paper. We prove that $\mathcal {M}(V,\mu ,\Omega (\lambda ,\alpha ))$ is simple if and only if μ ≠ 1, λ ≠ 0, α ≠ 0. We also give necessary and sufficient conditions for two such simple $\mathcal {L}$-modules being isomorphic. Finally, these simple $\mathcal {L}$-modules $\mathcal {M}(V,\mu ,\Omega (\lambda ,\alpha ))$ are proved to be new for V not being the highest weight $\mathfrak a$-module whose highest weight is non-zero.

Let $W_{\unicode[STIX]{x1D70B}}$ be the lattice Lie algebra of Witt type associated with an additive inclusion $\unicode[STIX]{x1D70B}:\mathbb{Z}^{N}{\hookrightarrow}\mathbb{C}^{2}$ with $N>1$. In this article, the classification of simple $\mathbb{Z}^{N}$-graded $W_{\unicode[STIX]{x1D70B}}$-modules, whose multiplicities are uniformly bounded, is given.

Kantor pairs arise naturally in the study of 5-graded Lie algebras. In this article, we introduce and study Kantor pairs with short Peirce gradings and relate themto Lie algebras graded by the root system of type $\text{B}{{\text{C}}_{2}}$. This relationship allows us to define so-called Weyl images of short Peirce graded Kantor pairs. We use Weyl images to construct new examples of Kantor pairs, including a class of infinite dimensional central simple Kantor pairs over a field of characteristic $\ne$ 2 or 3, as well as a family of forms of a split Kantor pair of type ${{\text{E}}_{6}}$.

The closest infinite-dimensional relatives of compact Lie algebras are Hilbert-Lie algebras, i.e., real Hilbert spaces with a Lie algebra structure for which the scalar product is invariant. Locally affine Lie algebras $\left( \text{LALAs} \right)$ correspond to double extensions of (twisted) loop algebras over simple Hilbert-Lie algebras $\mathfrak{k}$, also called affinisations of $\mathfrak{k}$. They possess a root space decomposition whose corresponding root system is a locally affine root system of one of the 7 families

$$A_{J}^{\left( 1 \right)},\,B_{J}^{\left( 1 \right)},\,C_{J}^{\left( 1 \right)},\,D_{J}^{\left( 1 \right)},\,B_{J}^{\left( 2 \right)},\,C_{J}^{\left( 2 \right)},\,\,\text{and}\,BC_{J}^{\left( 2 \right)}$$

for some infinite set $J$. To each of these types corresponds a “minimal ” affinisation of some simple Hilbert-Lie algebra $\mathfrak{k}$, which we call standard.

In this paper, we give for each affinisation $\mathfrak{g}$ of a simple Hilbert-Lie algebra $\mathfrak{k}$ an explicit isomorphism from $\mathfrak{g}$ to one of the standard affinisations of $\mathfrak{k}$. The existence of such an isomorphism could also be derived from the classiffication of locally affine root systems, but for representation theoretic purposes it is crucial to obtain it explicitly as a deformation between two twists that is compatible with the root decompositions. We illustrate this by applying our isomorphism theorem to the study of positive energy highest weight representations of $\mathfrak{g}$. In subsequent work, this paper will be used to obtain a complete classification of the positive energy highest weight representations of affinisations of $\mathfrak{k}$.

The trace (or zeroth Hochschild homology) of Khovanov’s Heisenberg category is identified with a quotient of the algebra $W_{1+\infty }$. This induces an action of $W_{1+\infty }$ on the center of the categorified Fock space representation, which can be identified with the action of $W_{1+\infty }$ on symmetric functions.

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.

An equivariant map queer Lie superalgebra is the Lie superalgebra of regular maps from an algebraic variety (or scheme) $X$ to a queer Lie superalgebra $\mathfrak{q}$ that are equivariant with respect to the action of a finite group $\Gamma $ acting on $X$ and $\mathfrak{q}$ . In this paper, we classify all irreducible finite-dimensional representations of the equivariant map queer Lie superalgebras under the assumption that $\Gamma $ is abelian and acts freely on $X$ . We show that such representations are parameterized by a certain set of $\Gamma $ -equivariant finitely supported maps from $X$ to the set of isomorphism classes of irreducible finite-dimensional representations of $\mathfrak{q}$ . In the special case where $X$ is the torus, we obtain a classification of the irreducible finite-dimensional representations of the twisted loop queer superalgebra.

Modular forms for the Weil representation of SL2 (ℤ) play an important role in the theory of automorphic forms on orthogonal groups. In this paper we give some explicit constructions of these functions. As an application, we construct new examples of generalized Kac-Moody algebras whose denominator identities are holomorphic automorphic products of singular weight. They correspond naturally to the Niemeier lattices with root systems and to the Leech lattice.

For Dewitt super groups $G$ modeled via an underlying finitely generated Grassmann algebra it is well known that when there exists a body group $BG$ compatible with the group operation on $G$, then, generically, the kernel $K$ of the body homomorphism is nilpotent. This is not true when the underlying Grassmann algebra is infinitely generated. We show that it is quasi-nilpotent in the sense that as a Banach Lie group its Lie algebra $\kappa$ has the property that for each $a\,\in \,\kappa ,\,\text{a}{{\text{d}}_{a}}$ has a zero spectrum. We also show that the exponential mapping from $\kappa$ to $K$ is surjective and that $K$ is a quotient manifold of the Banach space $\kappa$ via a lattice in $\kappa$.

We construct categorical braid group actions from 2-representations of a Heisenberg algebra. These actions are induced by certain complexes which generalize spherical (Seidel–Thomas) twists and are reminiscent of the Rickard complexes defined by Chuang–Rouquier. Conjecturally, one can relate our complexes to Rickard complexes using categorical vertex operators.

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

Let G be an arbitrary non-zero additive subgroup of the complex number field ℂ, and let Vir[G] be the corresponding generalized Virasoro algebra over ℂ. In this paper we determine all irreducible weight modules with finite-dimensional weight spaces over Vir[G]. The classification strongly depends on the index group G. If G does not have a direct summand isomorphic to ℤ (the integers), then such irreducible modules over Vir[G] are only modules of intermediate series whose weight spaces are all one dimensional. Otherwise, there is one further class of modules that are constructed by using intermediate series modules over a generalized Virasoro subalgebra Vir[G0] of Vir[G] for a direct summand G0 of G with G = G0 ⊕ ℤb, where b ∈ G \ G0. This class of irreducible weight modules do not have corresponding weight modules for the classical Virasoro algebra.