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.

We show that the Virasoro conjecture in Gromov–Witten theory holds for the the total space of a toric bundle $E \to B$ if and only if it holds for the base B. The main steps are: (i) We establish a localization formula that expresses Gromov–Witten invariants of E, equivariant with respect to the fiberwise torus action in terms of genus-zero invariants of the toric fiber and all-genus invariants of B, and (ii) we pass to the nonequivariant limit in this formula, using Brown’s mirror theorem for toric bundles.

A quiver representation assigns a vector space to each vertex, and a linear map to each arrow of a quiver. When one considers the category $\mathrm {Vect}(\mathbb {F}_1)$ of vector spaces “over $\mathbb {F}_1$” (the field with one element), one obtains $\mathbb {F}_1$-representations of a quiver. In this paper, we study representations of a quiver over the field with one element in connection to coefficient quivers. To be precise, we prove that the category $\mathrm {Rep}(Q,\mathbb {F}_1)$ is equivalent to the (suitably defined) category of coefficient quivers over Q. This provides a conceptual way to see Euler characteristics of a class of quiver Grassmannians as the number of “$\mathbb {F}_1$-rational points” of quiver Grassmannians. We generalize techniques originally developed for string and band modules to compute the Euler characteristics of quiver Grassmannians associated with $\mathbb {F}_1$-representations. These techniques apply to a large class of $\mathbb {F}_1$-representations, which we call the $\mathbb {F}_1$-representations with finite nice length: we prove sufficient conditions for an $\mathbb {F}_1$-representation to have finite nice length, and classify such representations for certain families of quivers. Finally, we explore the Hall algebras associated with $\mathbb {F}_1$-representations of quivers. We answer the question of how a change in orientation affects the Hall algebra of nilpotent $\mathbb {F}_1$-representations of a quiver with bounded representation type. We also discuss Hall algebras associated with representations with finite nice length, and compute them for certain families of quivers.

Suppose $\mathfrak {g}=\mathfrak {g}_{\bar 0}+\mathfrak {g}_{\bar 1}$ is a finite-dimensional restricted Lie superalgebra over an algebraically closed field $\mathbf {k}$ of characteristic $p>2$. In this article, we propose a conjecture for maximal dimensions of irreducible modules over the universal enveloping algebra $U(\mathfrak {g})$ of $\mathfrak {g}$, as a super generalization of the celebrated first Kac–Weisfeiler conjecture. It is demonstrated that the conjecture holds for all basic classical Lie superalgebras and all completely solvable restricted Lie superalgebras. In this process, we investigate irreducible representations of solvable Lie superalgebras.

In a recent paper, motivated by the study of central extensions of associative algebras, George Janelidze introduces the notion of weakly action representable category. In this paper, we show that the category of Leibniz algebras is weakly action representable and we characterize the class of acting morphisms. Moreover, we study the representability of actions of the category of Poisson algebras and we prove that the subvariety of commutative Poisson algebras is not weakly action representable.

This paper introduces type P web supercategories. They are defined as diagrammatic monoidal ${\mathbb {k}}$-linear supercategories via generators and relations. We study the structure of these categories and provide diagrammatic bases for their morphism spaces. We also prove these supercategories provide combinatorial models for the monoidal supercategory generated by the symmetric powers of the natural module and their duals for the Lie superalgebra of type P.

We use the dual functional realization of loop algebras to study the prime irreducible objects in the Hernandez–Leclerc (HL) category for the quantum affine algebra associated with $\mathfrak {sl}_{n+1}$. When the HL category is realized as a monoidal categorification of a cluster algebra (Hernandez and Leclerc (2010, Duke Mathematical Journal 154, 265–341); Hernandez and Leclerc (2013, Symmetries, integrable systems and representations, 175–193)), these representations correspond precisely to the cluster variables and the frozen variables are minimal affinizations. For any height function, we determine the classical decomposition of these representations with respect to the Hopf subalgebra $\mathbf {U}_q(\mathfrak {sl}_{n+1})$ and describe the graded multiplicities of their graded limits in terms of lattice points of convex polytopes. Combined with Brito, Chari, and Moura (2018, Journal of the Institute of Mathematics of Jussieu 17, 75–105), we obtain the graded decomposition of stable prime Demazure modules in level two integrable highest weight representations of the corresponding affine Lie algebra.

Let ${\mathfrak g}$ be a complex simple Lie algebra and ${\mathfrak n}$ the nilradical of a parabolic subalgebra of ${\mathfrak g}$. We consider some properties of the coadjoint representation of ${\mathfrak n}$ and related algebras of invariants. This includes (i) the problem of existence of generic stabilizers, (ii) a description of the Frobenius semiradical of ${\mathfrak n}$ and the Poisson center of the symmetric algebra , (iii) the structure of as -module, and (iv) the description of square integrable (= quasi-reductive) nilradicals. Our main technical tools are the Kostant cascade in the set of positive roots of ${\mathfrak g}$ and the notion of optimization of ${\mathfrak n}$.

In this paper, we study an analogue of the Bernstein–Gelfand–Gelfand category ${\mathcal {O}}$ for truncated current Lie algebras $\mathfrak {g}_n$ attached to a complex semisimple Lie algebra. This category admits Verma modules and simple modules, each parametrized by the dual space of the truncated currents on a choice of Cartan subalgebra in $\mathfrak {g}$. Our main result describes an inductive procedure for computing composition multiplicities of simples inside Vermas for $\mathfrak {g}_n$, in terms of similar composition multiplicities for ${\mathfrak {l}}_{n-1}$ where ${\mathfrak {l}}$ is a Levi subalgebra. As a consequence, these numbers are expressed as integral linear combinations of Kazhdan–Lusztig polynomials evaluated at 1. This generalizes recent work of the first author, where the case $n=1$ was treated.

We give a lattice theoretical interpretation of generalized deep holes of the Leech lattice VOA $V_\Lambda $. We show that a generalized deep hole defines a ‘true’ automorphism invariant deep hole of the Leech lattice. We also show that there is a correspondence between the set of isomorphism classes of holomorphic VOA V of central charge $24$ having non-abelian $V_1$ and the set of equivalence classes of pairs $(\tau , \tilde {\beta })$ satisfying certain conditions, where $\tau \in Co.0$ and $\tilde {\beta }$ is a $\tau $-invariant deep hole of squared length $2$. It provides a new combinatorial approach towards the classification of holomorphic VOAs of central charge $24$. In particular, we give an explanation for an observation of G. Höhn, which relates the weight one Lie algebras of holomorphic VOAs of central charge $24$ to certain codewords associated with the glue codes of Niemeier lattices.

We study the spaces of twisted conformal blocks attached to a $\Gamma$-curve $\Sigma$ with marked $\Gamma$-orbits and an action of $\Gamma$ on a simple Lie algebra $\mathfrak {g}$, where $\Gamma$ is a finite group. We prove that if $\Gamma$ stabilizes a Borel subalgebra of $\mathfrak {g}$, then the propagation theorem and factorization theorem hold. We endow a flat projective connection on the sheaf of twisted conformal blocks attached to a smooth family of pointed $\Gamma$-curves; in particular, it is locally free. We also prove that the sheaf of twisted conformal blocks on the stable compactification of Hurwitz stack is locally free. Let $\mathscr {G}$ be the parahoric Bruhat–Tits group scheme on the quotient curve $\Sigma /\Gamma$ obtained via the $\Gamma$-invariance of Weil restriction associated to $\Sigma$ and the simply connected simple algebraic group $G$ with Lie algebra $\mathfrak {g}$. We prove that the space of twisted conformal blocks can be identified with the space of generalized theta functions on the moduli stack of quasi-parabolic $\mathscr {G}$-torsors on $\Sigma /\Gamma$ when the level $c$ is divisible by $|\Gamma |$ (establishing a conjecture due to Pappas and Rapoport).

Let G be a simple algebraic group with ${\mathfrak g}={\textrm{Lie }} G$ and ${\mathcal O}_{\textsf{min}}\subset{\mathfrak g}$ the minimal nilpotent orbit. For a ${\mathbb Z}_2$-grading ${\mathfrak g}={\mathfrak g}_0\oplus{\mathfrak g}_1$, let $G_0$ be a connected subgroup of G with ${\textrm{Lie }} G_0={\mathfrak g}_0$. We study the $G_0$-equivariant projections $\varphi\,:\,\overline{{\mathcal O}_{\textsf{min}}}\to {\mathfrak g}_0$ and $\psi:\overline{{\mathcal O}_{\textsf{min}}}\to{\mathfrak g}_1$. It is shown that the properties of $\overline{\varphi({\mathcal O}_{\textsf{min}})}$ and $\overline{\psi({\mathcal O}_{\textsf{min}})}$ essentially depend on whether the intersection ${\mathcal O}_{\textsf{min}}\cap{\mathfrak g}_1$ is empty or not. If ${\mathcal O}_{\textsf{min}}\cap{\mathfrak g}_1\ne\varnothing$, then both $\overline{\varphi({\mathcal O}_{\textsf{min}})}$ and $\overline{\psi({\mathcal O}_{\textsf{min}})}$ contain a 1-parameter family of closed $G_0$-orbits, while if ${\mathcal O}_{\textsf{min}}\cap{\mathfrak g}_1=\varnothing$, then both are $G_0$-prehomogeneous. We prove that $\overline{G{\cdot}\varphi({\mathcal O}_{\textsf{min}})}=\overline{G{\cdot}\psi({\mathcal O}_{\textsf{min}})}$. Moreover, if ${\mathcal O}_{\textsf{min}}\cap{\mathfrak g}_1\ne\varnothing$, then this common variety is the affine cone over the secant variety of ${\mathbb P}({\mathcal O}_{\textsf{min}})\subset{\mathbb P}({\mathfrak g})$. As a digression, we obtain some invariant-theoretic results on the affine cone over the secant variety of the minimal orbit in an arbitrary simple G-module. In conclusion, we discuss more general projections that are related to either arbitrary reductive subalgebras of ${\mathfrak g}$ in place of ${\mathfrak g}_0$ or spherical nilpotent G-orbits in place of ${\mathcal O}_{\textsf{min}}$.

Let G be a Baumslag–Solitar group. We calculate the intersection $\gamma_{\omega}(G)$ of all terms of the lower central series of G. Using this, we show that $[\gamma_{\omega}(G),G]=\gamma_{\omega}(G)$, thus answering a question of Bardakov and Neschadim [1]. For any $c \in \mathbb{N}$, with $c \geq 2$, we show, by using Lie algebra methods, that the quotient group $\gamma_{c}(G)/\gamma_{c+1}(G)$ of the lower central series of G is finite.

We determine the dimensions of $\textrm{Ext}$-groups between simple modules and dual generalized Verma modules in singular blocks of parabolic versions of category $\mathcal{O}$ for complex semisimple Lie algebras and affine Kac-Moody algebras.

We establish an equivalence between two approaches to quantization of irreducible symmetric spaces of compact type within the framework of quasi-coactions, one based on the Enriquez–Etingof cyclotomic Knizhnik–Zamolodchikov (KZ) equations and the other on the Letzter–Kolb coideals. This equivalence can be upgraded to that of ribbon braided quasi-coactions, and then the associated reflection operators (K-matrices) become a tangible invariant of the quantization. As an application we obtain a Kohno–Drinfeld type theorem on type $\mathrm {B}$ braid group representations defined by the monodromy of KZ-equations and by the Balagović–Kolb universal K-matrices. The cases of Hermitian and non-Hermitian symmetric spaces are significantly different. In particular, in the latter case a quasi-coaction is essentially unique, while in the former we show that there is a one-parameter family of mutually nonequivalent quasi-coactions.

We introduce the quantum isomeric supercategory and the quantum affine isomeric supercategory. These diagrammatically defined supercategories, which can be viewed as isomeric analogues of the HOMFLYPT skein category and its affinisation, provide powerful categorical tools for studying the representation theory of the quantum isomeric superalgebras (commonly known as quantum queer superalgebras).

Let $W = \mathbb {C}[t,t^{-1}]\partial _t$ be the Witt algebra of algebraic vector fields on $\mathbb {C}^\times$ and let $V\!ir$ be the Virasoro algebra, the unique nontrivial central extension of $W$. In this paper, we study the Poisson ideal structure of the symmetric algebras of $V\!ir$ and $W$, as well as several related Lie algebras. We classify prime Poisson ideals and Poisson primitive ideals of $\operatorname {S}(V\!ir)$ and $\operatorname {S}(W)$. In particular, we show that the only functions in $W^*$ which vanish on a nontrivial Poisson ideal (that is, the only maximal ideals of $\operatorname {S}(W)$ with a nontrivial Poisson core) are given by linear combinations of derivatives at a finite set of points; we call such functions local. Given a local function $\chi \in W^*$, we construct the associated Poisson primitive ideal through computing the algebraic symplectic leaf of $\chi$, which gives a notion of coadjoint orbit in our setting. As an application, we prove a structure theorem for subalgebras of $V\!ir$ of finite codimension and show, in particular, that any such subalgebra of $V\!ir$ contains the central element $z$, substantially generalising a result of Ondrus and Wiesner on subalgebras of codimension one. As a consequence, we deduce that $\operatorname {S}(V\!ir)/(z-\zeta )$ is Poisson simple if and only if $\zeta \neq ~0$.

We introduce the combinatorial notion of a q-factorization graph intended as a tool to study and express results related to the classification of prime simple modules for quantum affine algebras. These are directed graphs equipped with three decorations: a coloring and a weight map on vertices, and an exponent map on arrows (the exponent map can be seen as a weight map on arrows). Such graphs do not contain oriented cycles and, hence, the set of arrows induces a partial order on the set of vertices. In this first paper on the topic, beside setting the theoretical base of the concept, we establish several criteria for deciding whether or not a tensor product of two simple modules is a highest-$\ell $-weight module and use such criteria to prove, for type A, that a simple module whose q-factorization graph has a totally ordered vertex set is prime.

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.

It was established by Boalch that Euler continuants arise as Lie group valued moment maps for a class of wild character varieties described as moduli spaces of points on $\mathbb {P}^1$ by Sibuya. Furthermore, Boalch noticed that these varieties are multiplicative analogues of certain Nakajima quiver varieties originally introduced by Calabi, which are attached to the quiver $\Gamma _n$ on two vertices and n equioriented arrows. In this article, we go a step further by unveiling that the Sibuya varieties can be understood using noncommutative quasi-Poisson geometry modelled on the quiver $\Gamma _n$. We prove that the Poisson structure carried by these varieties is induced, via the Kontsevich–Rosenberg principle, by an explicit Hamiltonian double quasi-Poisson algebra defined at the level of the quiver $\Gamma _n$ such that its noncommutative multiplicative moment map is given in terms of Euler continuants. This result generalises the Hamiltonian double quasi-Poisson algebra associated with the quiver $\Gamma _1$ by Van den Bergh. Moreover, using the method of fusion, we prove that the Hamiltonian double quasi-Poisson algebra attached to $\Gamma _n$ admits a factorisation in terms of n copies of the algebra attached to $\Gamma _1$.