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 show that, for an arbitrary finite-dimensional quasi-reductive Lie superalgebra over ${\mathbb {C}}$ with a triangular decomposition and a character $\zeta $ of the nilpotent radical, the associated Backelin functor $\Gamma _\zeta $ sends Verma modules to standard Whittaker modules provided the latter exist. As a consequence, this gives a complete solution to the problem of determining the composition factors of the standard Whittaker modules in terms of composition factors of Verma modules in the category ${\mathcal {O}}$. In the case of the ortho-symplectic Lie superalgebras, we show that the Backelin functor $\Gamma _\zeta $ and its target category, respectively, categorify a q-symmetrizing map and the corresponding q-symmetrized Fock space associated with a quasi-split quantum symmetric pair of type $AIII$.

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.

For classical Lie superalgebras of type I, we provide necessary and sufficient conditions for a Verma supermodule $\Delta (\lambda )$ to be such that every nonzero homomorphism from another Verma supermodule to $\Delta (\lambda )$ is injective. This is applied to describe the socle of the cokernel of an inclusion of Verma supermodules over the periplectic Lie superalgebras $\mathfrak {pe} (n)$ and, furthermore, to reduce the problem of description of $\mathrm {Ext}^1_{\mathcal O}(L(\mu ),\Delta (\lambda ))$ for $\mathfrak {pe} (n)$ to the similar problem for the Lie algebra $\mathfrak {gl}(n)$. Additionally, we study the projective and injective dimensions of structural supermodules in parabolic category $\mathcal O^{\mathfrak {p}}$ for classical Lie superalgebras. In particular, we completely determine these dimensions for structural supermodules over the periplectic Lie superalgebra $\mathfrak {pe} (n)$ and the orthosymplectic Lie superalgebra $\mathfrak {osp}(2|2n)$.

We establish some cohomological bounds in $D$-module theory that are known in the holonomic case and folklore in general. The method rests on a generalization of the $b$-function lemma for non-holonomic $D$-modules.

We give explicit formulae for differential graded Lie algebra (DGLA) models of $3$-cells. In particular, for a cube and an $n$-faceted banana-shaped $3$-cell with two vertices, $n$ edges each joining those two vertices, and $n$ bi-gon $2$-cells, we construct a model symmetric under the geometric symmetries of the cell fixing two antipodal vertices. The cube model is to be used in forthcoming work for discrete analogues of differential geometry on cubulated manifolds.

We construct a cycle in higher Hochschild homology associated to the two-dimensional torus which represents 2-holonomy of a nonabelian gerbe in the same way as the ordinary holonomy of a principal G-bundle gives rise to a cycle in ordinary Hochschild homology. This is done using the connection 1-form of Baez–Schreiber. A crucial ingredient in our work is the possibility to arrange that in the structure crossed module $\unicode[STIX]{x1D707}:\mathfrak{h}\rightarrow \mathfrak{g}$ of the principal 2-bundle, the Lie algebra $\mathfrak{h}$ is abelian, up to equivalence of crossed modules.

Given a quasi-hereditary algebra , we present conditions which guarantee that the algebra obtained by grading by its radical filtration is Koszul and at the same time inherits the quasi-hereditary property and other good Lie-theoretic properties that might possess. The method involves working with a pair consisting of a quasi-hereditary algebra and a (positively) graded subalgebra . The algebra arises as a quotient of by a defining ideal of . Along the way, we also show that the standard (Weyl) modules for have a structure as graded modules for . These results are applied to obtain new information about the finite dimensional algebras (e.g., the -Schur algebras) which arise as quotients of quantum enveloping algebras. Further applications, perhaps the most penetrating, yield results for the finite dimensional algebras associated with semisimple algebraic groups in positive characteristic . These results require, at least at present, considerable restrictions on the size of .

Let $\mathfrak{g}$ be a semisimple complex Lie algebra and $\mathfrak{k}\,\subset\mathfrak{g}$ be any algebraic subalgebra reductive in $\mathfrak{g}$ . For any simple finite dimensional $\mathfrak{k}$ -module $V$ , we construct simple $\left( \mathfrak{g},\mathfrak{k} \right)$ -modules $M$ with finite dimensional $\mathfrak{k}$ -isotypic components such that $V$ is a $\mathfrak{k}$ -submodule of $M$ and the Vogan norm of any simple $\mathfrak{k}$ -submodule $V\prime \subset M,V\prime \ne \,V$ , is greater than the Vogan norm of $V$ . The $\left( \mathfrak{g},\mathfrak{k} \right)$ -modules $M$ are subquotients of the fundamental series of $\left( \mathfrak{g},\mathfrak{k} \right)$ -modules.

Let L be a finite-dimensional Lie algebra over the field F. The Ado-Iwasawa Theorem asserts the existence of a finite-dimensional L-module which gives a faithful representation ρ of L. Let S be a subnormal subalgebra of L, let be a saturated formation of soluble Lie algebras and suppose that S ∈ . I show that there exists a module V with the extra property that it is -hypercentral as S-module. Further, there exists a module V which has this extra property simultaneously for every such S and , along with the Hochschild extra that ρ(x) is nilpotent for every x ∈ L with ad(x) nilpotent. In particular, if L is supersoluble, then it has a faithful representation by upper triangular matrices.

Given $X$ a complex Banach space, $L$ a complex nilpotent finite dimensional Lie algebra, and $\rho\,{\colon}\, L\to L(X)$, a representation of $L$ in $X$ such that $\rho (l\,)\,{\in}\, K(X)$ for all $l\,{\in}\, L$, the Taylor, the Słodkowski, the Fredholm, the split and the Fredholm split joint spectra of the representation $\rho$ are computed.

Let be a saturated formation of soluble Lie algebras over the field F, and let L ∈ . Let V and W be -hypercentral and -hyperexcentric L-modules respectively. Then V ⊗FW and HomF(V, W) are -hyperexcentric and Hn(L, W) = 0 for all n.

In this paper, we calculate the center and the universal covering algebra of the Steinberg unitary Lie algebra stun , where is a unital nonassociative algebra with involution and n ≥ 3.