For the two Cartan type S subalgebras of the Witt algebra $\W_n$, called Lie algebras of divergence-zero vector fields, we determine all module structures on the universal enveloping algebra of their Cartan subalgebra $\h_n$. We also give all submodules of these modules.
Any graded restricted simple Lie algebra of Cartan type contains a subalgebra isomorphic to the Witt algebra over a field of prime characteristic. As some analogue of study on branching rules for restricted non-classical Lie algebras, it is shown that each graded restricted simple Lie algebra of Cartan type can be decomposed into a direct sum of restricted baby Verma modules and simple modules as an adjoint module over the Witt algebra. In particular, the composition factors are precisely determined.
Let $\mathbb{k}$ be an algebraically closed field of characteristic $ p>0. $ In this short note, we illustrate a class of Lie superalgebras over $ \mathbb{k} $ such that the category of restricted supermodules is of one block. As an application, if $ p>3 $ and $ \mathfrak{g} $ is a graded restricted Cartan type Lie superalgebra of type W, S and H, then the category of restricted $ \mathfrak{g} $ supermodules is of one block.
Using tensor categories, we present new constructions of several of the exceptional simple Lie superalgebras with integer Cartan matrix in characteristic $p = 3$ and $p = 5$ from the complete classification of modular Lie superalgebras with indecomposable Cartan matrix and their simple subquotients over algebraically closed fields by Bouarroudj, Grozman, and Leites in 2009. Specifically, let $\mathbfα_p$ denote the kernel of the Frobenius endomorphism on the additive group scheme $\mathbb{G}_a$ over an algebraically closed field of characteristic $p$. The Verlinde category $\mathrm{Ver}_p$ is …
Let $A_{m,n}$ be the tensor product of the polynomial algebra in $m$ even variables and the exterior algebra in $n$ odd variables over the complex field $\C$, and the Witt superalgebra $W_{m,n}$ be the Lie superalgebra of superderivations of $A_{m,n}$. In this paper, we classify the non-trivial simple bounded weight $W_{m,n}$ modules with respect to the standard Cartan algebra of $W_{m,n}$. Any such module is a simple quotient of a tensor module $F(P,L(V_1\otimes V_2))$ for a simple weight module $P$ over the Weyl superalgebra $\mathcal K_{m,n}$, a finite-dimensional simple $\gl_m$-module $V_1…
As a sequel to [Duan-Shu-Yao], we introduce here a category $\mathscr{LC}$ arising from the BGG category $\mathcal{O}$ defined in [Duan-Shu-Yao] for Lie algebras of polynomial vector fields. The objects of $\mathscr{LC}$ are so-called Lie-Cartan modules which admit both Lie-module structure and compatible $R$-module structure ($R$ denotes the corresponding polynomial ring). This terminology is natural, coming from affine connections in differential geometry through which the structure sheaves in topology and the vector fields in geometry are integrated for differential manifolds. In this paper…
We will construct standard pentads which are analogues of Cartan subalgebras, and moreover, we will study graded Lie algebras corresponding to these standard pentads. We call such pentads pentads of Cartan type and describe them by two positive integers and three matrices. The structures of their corresponding Lie algebras are related with contragredient Lie algebras.
Let $ W(n) $ be Jacobson-Witt algebra over algebraic closed field $ \mathbb{K} $ with positive characteristic $ p>2. $ It is difficult to classify all Borel subalgebras of $ W(n) $ or non-classical restricted simple Lie algebras. The present paper and \cite{S7} study two kinds of subalgebras which are easily to understand and highly related to Borel subalgebras. In \cite{S7}, the last author investigates a class of special Borel subalgebras of $W(n)$ which is called homogeneous Borel subalgebras. The present paper focuses on subalgebras of $ W(n) $ which are related to Borel subalgebras such t…
In this paper, we study pre-Lie analogues of Poisson-Nijenhuis structures and introduce ON-structures on bimodules over pre-Lie algebras. We show that an ON-structure gives rise to a hierarchy of pairwise compatible O-operators. We study solutions of the strong Maurer-Cartan equation on the twilled pre-Lie algebra associated to an O-operator, which gives rise to a pair of ON-structures which are naturally in duality. We show that KVN-structures and HN-structures on a pre-Lie algebra g are corresponding to ON-structures on the bimodule $(\mathfrak g^*;\mathrm{ad}^*,-R^*)$, and $KVΩ$-structures …
Let $G$ be a simply connected Lie group with Lie algebra $\mathfrak{g}$. We show that the following categories are naturally equivalent. The category $\mathsf{Mod}(C(G))$, of sufficiently smooth modules over the DG-algebra of singular chains on $G$. The category $\mathsf{Rep}(Tg)$ of representations of the DG-Lie algebra $T\mathfrak{g}$, which is universal for the Cartan relations. This equivalence extends the correspondence between representations of $G$ and representations of $\mathfrak{g}$. In a companion paper we show that in the compact case, the equivalence can be extended to an $\mathsf…
For the exceptional finite-dimensional modular Lie superalgebras $\mathfrak{g}(A)$ with indecomposable Cartan matrix $A$, and their simple subquotients, we computed non-isomorphic Lie superalgebras constituting the homologies of the odd elements with zero square. These homologies are~key ingredients in the Duflo--Serganova approach to the representation theory. There were two definitions of defect of Lie superalgebras in the literature with different ranges of application. We suggest a third definition and an easy-to-use way to find its value. In positive characteristic, we found out one more …
We give an analog of a Chevalley-Serre presentation for the Lie superalgebras W(n) and S(n) of Cartan type. These are part of a wider class of Lie superalgebras, the so-called tensor hierarchy algebras, denoted W(g) and S(g), where g denotes the Kac-Moody algebra A_r, D_r or E_r. Then W(A_{n-1}) and S(A_{n-1}) are the Lie superalgebras W(n) and S(n). The algebras W(g) and S(g) are constructed from the Dynkin diagram of the Borcherds-Kac-Moody superalgebras B(g) obtained by adding a single grey node (representing an odd null root) to the Dynkin diagram of g. We redefine the algebras W(A_r) and …
Let $G$ be a simply connected Lie group with Lie algebra $\mathfrak{g}$ and denote by $\mathrm{C}_{\bullet}(G)$ the DG Hopf algebra of smooth singular chains on $G$. In a companion paper it was shown that the category of sufficiently smooth modules over $\mathrm{C}_{\bullet}(G)$ is equivalent to the category of representations of $\mathbb{T} \mathfrak{g}$, the DG Lie algebra which is universal for the Cartan relations. In this paper we show that, if $G$ is compact, this equivalence of categories can be extended to an $\mathsf{A}_{\infty}$-quasi-equivalence of the corresponding DG categories. A…
In this review article, first we give the concrete formulas of representations and cohomologies of associative algebras, Lie algebras, pre-Lie algebras, Leibniz algebras and 3-Lie algebras and some of their strong homotopy analogues. Then we recall the graded Lie algebras and graded associative algebras that characterize these algebraic structures as Maurer-Cartan elements. The corresponding Maurer-Cartan element equips the graded Lie or associative algebra with a differential. Then the deformations of the given algebraic structures are characterized as the Maurer-Cartan elements of the result…
In Kac's classification of finite-dimensional Lie superalgebras, the contragredient ones can be constructed from Dynkin diagrams similar to those of the simple finite-dimensional Lie algebras, but with additional types of nodes. For example, $A(n-1,0) = \mathfrak{sl}(1|n)$ can be constructed by adding a "gray" node to the Dynkin diagram of $A_{n-1} = \mathfrak{sl}(n)$, corresponding to an odd null root. The Cartan superalgebras constitute a different class, where the simplest example is $W(n)$, the derivation algebra of the Grassmann algebra on $n$ generators. Here we present a novel construct…