We prove that, for simple modules $M$ and $N$ over a quantum affine algebra, their tensor product $M\otimes N$ has a simple head and a simple socle if $M\otimes M$ is simple. A similar result is proved for the convolution product of simple modules over quiver Hecke algebras.

We study the absolute continuity of the convolution ${\it\delta}_{e^{X}}^{\natural }\star {\it\delta}_{e^{Y}}^{\natural }$ of two orbital measures on the symmetric spaces $\mathbf{SO}_{0}(p,p)/\mathbf{SO}(p)\times \mathbf{SO}(p)$, $\mathbf{SU}(p,p)/\mathbf{S}(\mathbf{U}(p)\times \mathbf{U}(p))$ and $\mathbf{Sp}(p,p)/\mathbf{Sp}(p)\times \mathbf{Sp}(p)$. We prove sharp conditions on $X$, $Y\in \mathfrak{a}$ for the existence of the density of the convolution measure. This measure intervenes in the product formula for the spherical functions.

Let G be a connected reductive algebraic group defined over an algebraically closed field of characteristic 0. We consider the commuting variety of the nilradical of the Lie algebra of a Borel subgroup B of G. In case B acts on with only a finite number of orbits, we verify that is equidimensional and that the irreducible components are in correspondence with the distinguishedB-orbits in . We observe that in general is not equidimensional, and determine the irreducible components of in the minimal cases where there are infinitely many B-orbits in .

This paper develops a general theory of canonical bases and how they arise naturally in the context of categorification. As an application, we show that Lusztig’s canonical basis in the whole quantized universal enveloping algebra is given by the classes of the indecomposable 1-morphisms in a categorification when the associated Lie algebra is of finite type and simply laced. We also introduce natural categories whose Grothendieck groups correspond to the tensor products of lowest- and highest-weight integrable representations. This generalizes past work of the author’s in the highest-weight case.

A Schunck class $\mathfrak{H}$ is determined by the class $\mathfrak{X}$ of primitives contained in $\mathfrak{H}$. We give necessary and sufficient conditions on $\mathfrak{X}$ for $\mathfrak{H}$ to be a saturated formation.

We study the values of the zeta-function of the root system of type G2 at positive integer points. In our previous work we considered the case when all integers are even, but in the present paper we prove several theorems which include the situation when some of the integers are odd. The underlying reason why we may treat such cases, including odd integers, is also discussed.

Let $\mathfrak{g}=\mbox{Lie}(G)$ be the Lie algebra of a simple algebraic group $G$ over an algebraically closed field of characteristic $0$. Let $e$ be a nilpotent element of $\mathfrak{g}$ and let $\mathfrak{g}_e=\mbox{Lie}(G_e)$ where $G_e$ stands for the stabiliser of $e$ in $G$. For $\mathfrak{g}$ classical, we give an explicit combinatorial formula for the codimension of $[\mathfrak{g}_e,\mathfrak{g}_e]$ in $\mathfrak{g}_e$ and use it to determine those $e\in \mathfrak{g}$ for which the largest commutative quotient $U(\mathfrak{g},e)^{\mbox{ab}}$ of the finite $W$-algebra $U(\mathfrak{g},e)$ is isomorphic to a polynomial algebra. It turns out that this happens if and only if $e$ lies in a unique sheet of $\mathfrak{g}$. The nilpotent elements with this property are called non-singular in the paper. Confirming a recent conjecture of Izosimov, we prove that a nilpotent element $e\in \mathfrak{g}$ is non-singular if and only if the maximal dimension of the geometric quotients $\mathcal{S}/G$, where $\mathcal{S}$ is a sheet of $\mathfrak{g}$ containing $e$, coincides with the codimension of $[\mathfrak{g}_e,\mathfrak{g}_e]$ in $\mathfrak{g}_e$ and describe all non-singular nilpotent elements in terms of partitions. We also show that for any nilpotent element $e$ in a classical Lie algebra $\mathfrak{g}$ the closed subset of Specm  $U(\mathfrak{g},e)^{\mbox{ab}}$ consisting of all points fixed by the natural action of the component group of $G_e$ is isomorphic to an affine space. Analogues of these results for exceptional Lie algebras are also obtained and applications to the theory of primitive ideals are given.

Finite $W$-algebras are certain associative algebras arising in Lie theory. Each $W$-algebra is constructed from a pair of a semisimple Lie algebra ${\mathfrak{g}}$ (our base field is algebraically closed and of characteristic 0) and its nilpotent element $e$. In this paper we classify finite-dimensional irreducible modules with integral central character over $W$-algebras. In more detail, in a previous paper the first author proved that the component group $A(e)$ of the centralizer of the nilpotent element under consideration acts on the set of finite-dimensional irreducible modules over the $W$-algebra and the quotient set is naturally identified with the set of primitive ideals in $U({\mathfrak{g}})$ whose associated variety is the closure of the adjoint orbit of $e$. In this paper, for a given primitive ideal with integral central character, we compute the corresponding $A(e)$-orbit. The answer is that the stabilizer of that orbit is basically a subgroup of $A(e)$ introduced by G. Lusztig. In the proof we use a variety of different ingredients: the structure theory of primitive ideals and Harish-Chandra bimodules for semisimple Lie algebras, the representation theory of $W$-algebras, the structure theory of cells and Springer representations, and multi-fusion monoidal categories.

In this article, we study the homomorphisms between scalar generalized Verma modules. We conjecture that any homomorphism between scalar generalized Verma modules is a composition of elementary homomorphisms. The purpose of this article is to confirm the conjecture for some parabolic subalgebras under the assumption that the infinitesimal characters are regular.

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 show that every orbital measure, ${\mu }_{x} $, on a compact exceptional Lie group or algebra has the property that for every positive integer either ${ \mu }_{x}^{k} \in {L}^{2} $ and the support of ${ \mu }_{x}^{k} $ has non-empty interior, or ${ \mu }_{x}^{k} $ is singular to Haar measure and the support of ${ \mu }_{x}^{k} $ has Haar measure zero. We also determine the index $k$ where the change occurs; it depends on properties of the set of annihilating roots of $x$. This result was previously established for the classical Lie groups and algebras. To prove this dichotomy result we combinatorially characterize the subroot systems that are kernels of certain homomorphisms.

For a Lie algebra $L$ over an algebraically closed field $F$ of nonzero characteristic, every finite dimensional $L$-module can be decomposed into a direct sum of submodules such that all composition factors of a summand have the same character. Using the concept of a character cluster, this result is generalised to fields which are not algebraically closed. Also, it is shown that if the soluble Lie algebra $L$ is in the saturated formation $\mathfrak{F}$ and if $V, W$ are irreducible $L$-modules with the same cluster and the $p$-operation vanishes on the centre of the $p$-envelope used, then $V, W$ are either both $\mathfrak{F}$-central or both $\mathfrak{F}$-eccentric. Clusters are used to generalise the construction of induced modules.

We give an explicit construction of the cusp eigenforms on an elliptic curve defined over a finite field, using the theory of Hall algebras and the Langlands correspondence for function fields and ${\mathrm{GL} }_{n} $. As a consequence we obtain a description of the Hall algebra of an elliptic curve as an infinite tensor product of simpler algebras. We prove that all these algebras are specializations of a universal spherical Hall algebra (as defined and studied by Burban and Schiffmann  [On the Hall algebra of an elliptic curve I, Preprint (2005), arXiv:math/0505148 [math.AG]] and Schiffmann and Vasserot [The elliptic Hall algebra, Cherednik Hecke algebras and Macdonald polynomials, Compositio Math. 147 (2011), 188–234]).

Simple, or Kleinian, singularities are classified by Dynkin diagrams of type $ADE$. Let $\mathfrak {g}$ be the corresponding finite-dimensional Lie algebra, and $W$ its Weyl group. The set of $\mathfrak {g}$-invariants in the basic representation of the affine Kac–Moody algebra $\hat {\mathfrak {g}}$ is known as a $\mathcal {W}$-algebra and is a subalgebra of the Heisenberg vertex algebra $\mathcal {F}$. Using period integrals, we construct an analytic continuation of the twisted representation of $\mathcal {F}$. Our construction yields a global object, which may be called a $W$-twisted representation of $\mathcal {F}$. Our main result is that the total descendant potential of the singularity, introduced by Givental, is a highest-weight vector for the $\mathcal {W}$-algebra.

Given two Lie 2-groups, we study the problem of integrating a weak morphism between the corresponding Lie 2-algebras to a weak morphism between the Lie 2-groups. To do so, we develop a theory of butterflies for 2-term L∞-algebras. In particular, we obtain a new description of the bicategory of 2-term L∞-algebras. An interesting observation here is that the role played by 1-connected Lie groups in Lie theory is now played by 2-connected Lie 2-groups. Using butterflies, we also give a functorial construction of 2-connected covers of Lie 2 -groups. Based on our results, we expect that a similar pattern generalizes to Lie n-groups and Lie n-algebras.

We present a new algorithm for constructing a Chevalley basis for any Chevalley Lie algebra over a finite field. This is a necessary component for some constructive recognition algorithms of exceptional quasisimple groups of Lie type. When applied to a simple Chevalley Lie algebra in characteristic p⩾5, our algorithm has complexity involving the seventh power of the Lie rank, which is likely to be close to best possible.

We study the restricted category 𝒪 for an affine Kac–Moody algebra at the critical level. In particular, we prove the first part of the Feigin–Frenkel conjecture: the linkage principle for restricted Verma modules. Moreover, we prove a version of the Bernstein–Gelfand–Gelfand-reciprocity principle and we determine the block decomposition of the restricted category 𝒪. For the proofs, we need a deformed version of the classical structures, so we mostly work in a relative setting.

We describe (braided-) commutative algebras with non-degenerate multiplicative form in certain braided monoidal categories, corresponding to abelian metric Lie algebras (so-called Drinfeld categories). We also describe local modules over these algebras and classify commutative algebras with a finite number of simple local modules.

Let be a classical Lie superalgebra and let ℱ be the category of finite-dimensional -supermodules which are completely reducible over the reductive Lie algebra . In [B. D. Boe, J. R. Kujawa and D. K. Nakano, Complexity and module varieties for classical Lie superalgebras, Int. Math. Res. Not. IMRN (2011), 696–724], we demonstrated that for any module M in ℱ the rate of growth of the minimal projective resolution (i.e. the complexity of M) is bounded by the dimension of . In this paper we compute the complexity of the simple modules and the Kac modules for the Lie superalgebra . In both cases we show that the complexity is related to the atypicality of the block containing the module.

We introduce and study a category of representations of the Borel algebra associated with a quantum loop algebra of non-twisted type. We construct fundamental representations for this category as a limit of the Kirillov–Reshetikhin modules over the quantum loop algebra and establish explicit formulas for their characters. We prove that general simple modules in this category are classified by n-tuples of rational functions in one variable which are regular and non-zero at the origin but may have a zero or a pole at infinity.