We describe algebraically, diagrammatically, and in terms of weight vectors, the restriction of tensor powers of the standard representation of quantum $\mathfrak {sl}_2$ to a coideal subalgebra. We realize the category as a module category over the monoidal category of type $\pm 1$ representations in terms of string diagrams and via generators and relations. The idempotents projecting onto the quantized eigenspaces are described as type $B/D$ analogues of Jones–Wenzl projectors. As an application, we introduce and give recursive formulas for analogues of $\Theta$-networks.

Scalar relative invariants play an important role in the theory of group actions on a manifold as their zero sets are invariant hypersurfaces. Relative invariants are central in many applications, where they often are treated locally since an invariant hypersurface may not be a locus of a single function. Our aim is to establish a global theory of relative invariants.

For a Lie algebra ${\mathfrak g}$ of holomorphic vector fields on a complex manifold M, any holomorphic ${\mathfrak g}$-invariant hypersurface is given in terms of a ${\mathfrak g}$-invariant divisor. This generalizes the classical notion of scalar relative ${\mathfrak g}$-invariant. Any ${\mathfrak g}$-invariant divisor gives rise to a ${\mathfrak g}$-equivariant line bundle, and a large part of this paper is therefore devoted to the investigation of the group $\mathrm {Pic}_{\mathfrak g}(M)$ of ${\mathfrak g}$-equivariant line bundles. We give a cohomological description of $\mathrm {Pic}_{\mathfrak g}(M)$ in terms of a double complex interpolating the Chevalley-Eilenberg complex for ${\mathfrak g}$ with the Čech complex of the sheaf of holomorphic functions on M.

We also obtain results about polynomial divisors on affine bundles and jet bundles. This has applications to the theory of differential invariants. Those were actively studied in relation to invariant differential equations, but the description of multipliers (or weights) of relative differential invariants was an open problem. We derive a characterization of them with our general theory. Examples, including projective geometry of curves and second-order ODEs, not only illustrate the developed machinery but also give another approach and rigorously justify some classical computations. At the end, we briefly discuss generalizations of this theory.

We prove a strong quantitative version of the Kurosh Problem, which has been conjectured by Zelmanov, up to a mild polynomial error factor, thereby extending all previously known growth rates of algebraic algebras. Consequently, we provide the first counterexamples to the Kurosh Problem over any field with known subexponential growth, and the first examples of finitely generated, infinite-dimensional, nil Lie algebras with known subexponential growth over fields of characteristic zero.

We also widen the known spectrum of the Gel’fand–Kirillov dimensions of algebraic algebras, improving the answer of Alahmadi–Alsulami–Jain–Zelmanov to a question of Bell, Smoktunowicz, Small and Young. Finally, we prove improved analogous results for graded-nil algebras.

In this paper, we show that for a large natural class of vertex operator algebras (VOAs) and their modules, the Zhu’s algebras and bimodules (and their g-twisted analogs) are Noetherian. These carry important information about the representation theory of the VOA, and its fusion rules, and the Noetherian property gives the potential for (non-commutative) algebro-geometric methods to be employed in their study.

We give a complete combinatorial classification of the parabolic Verma modules in the principal block of the parabolic category $\mathcal{O}$ associated with a minimal or a maximal parabolic subalgebra of the special linear Lie algebra for which the answer to Kostant’s problem is positive.

Let $\mathfrak{g}$ be the queer superalgebra $\operatorname {\mathfrak{q}}(n)$ over the field of complex numbers $\mathbb C$. For any associative, commutative, and finitely generated $\mathbb C$-algebra A with unity, we consider the loop Lie superalgebra $\mathfrak{g} \otimes A$. We define a class of central operators for $\mathfrak{g} \otimes A$, which generalizes the classical Gelfand invariants. We show that they generate the algebra $U(\mathfrak{g} \otimes A)^{\mathfrak{g}}$. We also show that there are no non-trivial $\mathfrak{g}$-invariants of $U(\mathfrak{g} \otimes A)$ where $\mathfrak{g}=\mathfrak{p}(n)$, the periplectic Lie superalgebra.

Let be a commutative ring containing a primitive $l'$th root $\varepsilon $ of $1$. The infinitesimal q-Schur algebras over form an ascending chain of subalgebras of the q-Schur algebra , which are useful in studying representations of the Frobenius kernel of the associated quantum linear group. Let be the quantized enveloping algebra of $\mathfrak {gl}_n$ over . There is a natural surjective algebra homomorphism $\zeta _{d}$ from to . The map $\zeta _{d}$ restricts to a surjective algebra homomorphism $\zeta _{d,r}$ from to , where is a certain Hopf subalgebra of , which is closely related to Frobenius–Lusztig kernels of . We give the extra defining relations needed to define the infinitesimal q-Schur algebra as a quotient of . The map $\zeta _{d,r}$ induces a surjective algebra homomorphism , where is the modified quantum algebra associated with . We also give a generating set for the kernel of $\dot {\zeta }_{d,r}$. These results can be used to give a classification of irreducible -modules over a field of characteristic p.

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.

This paper presents a classification of all simple Harish-Chandra modules for the $N=1$ Heisenberg–Virasoro superalgebra, which turn out to be highest weight modules, lowest weight modules, and evaluation modules of the intermediate series (all weight spaces are one dimensional). Moreover, a characterization of the tensor product of highest weight modules with intermediate series modules is obtained.

In this paper, we develop two new homological invariants called relative dominant dimension with respect to a module and relative codominant dimension with respect to a module. Among the applications are precise connections between Ringel duality, split quasi-hereditary covers and double centralizer properties, constructions of split quasi-hereditary covers of quotients of Iwahori-Hecke algebras using Ringel duality of q-Schur algebras and a new proof for Ringel self-duality of the blocks of the Bernstein-Gelfand-Gelfand category $\mathcal {O}$. These homological invariants are studied over Noetherian algebras which are finitely generated and projective as a module over the ground ring. They are shown to behave nicely under change of rings techniques.

We introduce a diagrammatic monoidal category, the spin Brauer category, that plays the same role for the spin and pin groups as the Brauer category does for the orthogonal groups. In particular, there is a full functor from the spin Brauer category to the category of finite-dimensional modules for the spin and pin groups. This functor becomes essentially surjective after passing to the Karoubi envelope, and its kernel is the tensor ideal of negligible morphisms. In this way, the spin Brauer category can be thought of as an interpolating category for the spin and pin groups. We also define an affine version of the spin Brauer category, which acts on categories of modules for the pin and spin groups via translation functors.

We compute the Jantzen filtration of a $\mathcal {D}$-module on the flag variety of $\operatorname {\mathrm {SL}}_2(\mathbb {C})$. At each step in the computation, we illustrate the $\mathfrak {sl}_2(\mathbb {C})$-module structure on global sections to give an algebraic picture of this geometric computation. We conclude by showing that the Jantzen filtration on the $\mathcal {D}$-module agrees with the algebraic Jantzen filtration on its global sections, demonstrating a famous theorem of Beilinson and Bernstein.

We develop techniques to construct isomorphisms between simple affine W-algebras and affine vertex algebras at admissible levels. We then apply these techniques to obtain many new, and conjecturally all, admissible collapsing levels for affine W-algebras. In short, if a simple affine W-algebra at a given level is equal to its affine vertex subalgebra generated by the centraliser of an ${\mathfrak {sl}}_2$-triple associated with the underlying nilpotent orbit, then that level is said to be collapsing. Collapsing levels are important both in representation theory and in theoretical physics. Our approach relies on two fundamental invariants of vertex algebras. The first one is the associated variety, which, in the context of admissible level simple affine W-algebras, leads to the Poisson varieties known as nilpotent Slodowy slices. We exploit the singularities of these varieties to detect possible collapsing levels. The second invariant is the asymptotic datum. We prove a general result asserting that, under appropriate hypotheses, equality of asymptotic data implies isomorphism at the level of vertex algebras. Then we use this to give a sufficient criterion, of combinatorial nature, for an admissible level to be collapsing. Our methods also allow us to study isomorphisms between quotients of W-algebras and extensions of simple affine vertex algebras at admissible levels. Based on such examples, we are led to formulate a general conjecture: for any finite extension of vertex algebras, the induced morphism between associated Poisson varieties is dominant.

We give a generators-and-relations description of the reduced versions of quiver quantum toroidal algebras, which act on the spaces of BPS states associated to (noncompact) toric Calabi–Yau threefolds X. As an application, we obtain a description of the K-theoretic Hall algebra of (the quiver with potential associated to) X, modulo torsion.

We obtain a new interpretation of the cohomological Hall algebra $\mathcal {H}_Q$ of a symmetric quiver Q in the context of the theory of vertex algebras. Namely, we show that the graded dual of $\mathcal {H}_Q$ is naturally identified with the underlying vector space of the principal free vertex algebra associated to the Euler form of Q. Properties of that vertex algebra are shown to account for the key results about $\mathcal {H}_Q$. In particular, it has a natural structure of a vertex bialgebra, leading to a new interpretation of the product of $\mathcal {H}_Q$. Moreover, it is isomorphic to the universal enveloping vertex algebra of a certain vertex Lie algebra, which leads to a new interpretation of Donaldson–Thomas invariants of Q (and, in particular, re-proves their positivity). Finally, it is possible to use that vertex algebra to give a new interpretation of CoHA modules made of cohomologies of non-commutative Hilbert schemes.

In this paper, we investigate extensions between graded Verma modules in the Bernstein–Gelfand–Gelfand category $\mathcal{O}$. In particular, we determine exactly which information about extensions between graded Verma modules is given by the coefficients of the R-polynomials. We also give some upper bounds for the dimensions of graded extensions between Verma modules in terms of Kazhdan–Lusztig combinatorics. We completely determine all extensions between Verma module in the regular block of category $\mathcal{O}$ for $\mathfrak{sl}_4$ and construct various “unexpected” higher extensions between Verma modules.

We introduce the notions of quasi-Laurent and Laurent families of simple modules over quiver Hecke algebras of arbitrary symmetrizable types. We prove that such a family plays a similar role of a cluster in quantum cluster algebra theory and exhibits a quantum Laurent positivity phenomenon similar to the basis of the quantum unipotent coordinate ring $\mathcal {A}_q(\mathfrak {n}(w))$, coming from the categorification. Then we show that the families of simple modules categorifying Geiß–Leclerc–Schröer (GLS) clusters are Laurent families by using the Poincaré–Birkhoff–Witt (PBW) decomposition vector of a simple module $X$ and categorical interpretation of (co)degree of $[X]$. As applications of such $\mathbb {Z}\mspace {1mu}$-vectors, we define several skew-symmetric pairings on arbitrary pairs of simple modules, and investigate the relationships among the pairings and $\Lambda$-invariants of $R$-matrices in the quiver Hecke algebra theory.

In Cartan’s PhD thesis, there is a formula defining a certain rank 8 vector distribution in dimension 15, whose algebra of authomorphism is the split real form of the simple exceptional complex Lie algebra $\mathfrak {f}_4$. Cartan’s formula is written in the standard Cartesian coordinates in $\mathbb {R}^{15}$. In the present paper, we explain how to find analogous formulae for the flat models of any bracket generating distribution $\mathcal D$ whose symbol algebra $\mathfrak {n}({\mathcal D})$ is constant and 2-step graded, $\mathfrak {n}({\mathcal D})=\mathfrak {n}_{-2}\oplus \mathfrak {n}_{-1}$.

The formula is given in terms of a solution to a certain system of linear algebraic equations determined by two representations $(\rho ,\mathfrak {n}_{-1})$ and $(\tau ,\mathfrak {n}_{-2})$ of a Lie algebra $\mathfrak {n}_{00}$ contained in the $0$th order Tanaka prolongation $\mathfrak {n}_0$ of $\mathfrak {n}({\mathcal D})$.

Numerous examples are provided, with particular emphasis put on the distributions with symmetries being real forms of simple exceptional Lie algebras $\mathfrak {f}_4$ and $\mathfrak {e}_6$.

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.

Let $G$ be a reductive group, and let $\check {G}$ be its Langlands dual group. Arkhipov and Bezrukavnikov proved that the Whittaker category on the affine flags ${\operatorname {Fl}}_G$ is equivalent to the category of $\check {G}$-equivariant quasi-coherent sheaves on the Springer resolution of the nilpotent cone. This paper proves this theorem in the quantum case. We show that the twisted Whittaker category on ${\operatorname {Fl}}_G$ and the category of representations of the mixed quantum group are equivalent. In particular, we prove that the quantum category $\mathsf {O}$ is equivalent to the twisted Whittaker category on ${\operatorname {Fl}}_G$ in the generic case. The strong version of our main theorem claims a motivic equivalence between the Whittaker category on ${\operatorname {Fl}}_G$ and a factorization module category, which holds in the de Rham setting, the Betti setting, and the $\ell$-adic setting.