Related papers: Integrable bounded weight modules of classical Lie…
A Lie algebra $L$ is said to be $(\Theta_{n},sl_{n})$-graded if it contains a simple subalgebra $\mathfrak{g}$ isomorphic to $sl_{n}$ such that the $\mathfrak{g}$-module $L$ decomposes into copies of the adjoint module, the trivial module,…
We introduce the notion of integrable modules over $\imath$quantum groups (a.k.a. quantum symmetric pair coideal subalgebras). After determining a presentation of such modules, we prove that each integrable module over a quantum group is…
Let $\mathfrak{g}$ be a finite-dimensional simple Lie algebra over $\mathbb{C}$. A $\operatorname{Y}(\mathfrak{g})$-module is said to be weight if it is a weight $\mathfrak{g}$-module. We give a complete classification of simple weight…
In this paper, we introduce a class of infinite Lie conformal algebras $\mathfrak{B}(\alpha,\beta,p)$, which are the semi-direct sums of Block type Lie conformal algebra $\mathfrak{B}(p)$ and its non-trivial conformal modules of $\Z$-graded…
In this paper, we give a criterion on the semisimplicity of quantized walled Brauer algebras $\mathscr B_{r,s}$ and classify its simple modules over an arbitrary field $\kappa$.
We extend the notion of semi-infinite cohomology of Lie algebras to include cases where the Lie algebra does not admit a semi-infinite structure but satisfies a mild condition. Our construction clarifies the definition of affine W-algebras…
We introduce quantum Borcherds-Bozec superalgebras. We present and prove various results of the quantum superalgebras including a bilinear form, higher Serre relation, quasi-R-matrix, character formula for the irreducible highest weight…
Let G be a connected semisimple algebraic group over $k$, with Lie algebra $\g$. Let $\h$ be a subalgebra of $\g$. A simple finite-dimensional $\g$-module V is said to be $\h$-indecomposable if it cannot be written as a direct sum of two…
For the algebra L= K <x, d/dx, \int> of polynomial integro-differential operators over a field K of characteristic zero, a classification of indecomposable, generalized weight L-modules of finite length is given. Each such module is an…
Let $L$ be a finite-dimensional Lie algebra over a field of non-zero characteristic and let $S$ be a subalgebra. Suppose that $X$ is a finite set of finite-dimensional $L$-modules. Let $D$ be the category of all finite-dimensional…
Lie algebras are an important class of algebras which arise throughout mathematics and physics. We report on the formalisation of Lie algebras in Lean's Mathlib library. Although basic knowledge of Lie theory will benefit the reader, none…
In this expository article, we describe the classification of the subalgebras of the rank 2 semisimple Lie algebras. Their semisimple subalgebras are well-known, and in a recent series of papers, we completed the classification of the…
We classify semisimple module categories over the tensor category of representations of quantum SL(2) extending previous results to the roots of unity and positive characteristic cases.
In this paper, we re-examine certain integrable modules of Chari-Presslely for an (untwisted) affine Lie algebra $\hat{\g}$ by exploiting basic formal variable techniques. We define and study two categories ${\mathcal{E}}$ and…
In this paper, we investigate the supercategories consisting of supermodules over quiver Hecke superalgebras and cyclotomic quiver Hecke superalgebras. We prove that these supercategories provide a supercategorification of a certain family…
In this paper, a general setting is proposed to define a class of modules over nonsemisimple Lie algebras $\mathfrak{g}$ induced by a nonperfect ideal $\mathfrak{p}$. This class of Lie algebras includes many well-known Lie algebras, and…
Let $\mathfrak{g}=\mathfrak{g}_{\bar{0}}\oplus \mathfrak{g}_{\bar{1}}$ be a classical Lie superalgebra and $\mathcal{F}$ be the category of finite dimensional $\mathfrak{g}$-supermodules which are completely reducible over the reductive Lie…
We classify Jet modules for the Lie (super)algebras $\mathfrak{L}=W\ltimes(\mathfrak{g}\otimes\mathbb{C}[t,t^{-1}])$, where $W$ is the Witt algebra and $\mathfrak{g}$ is a Lie superalgebra with an even diagonlizable derivation. Then we give…
A number of models of linear logic are based on or closely related to linear algebra, in the sense that morphisms are "matrices" over appropriate coefficient sets. Examples include models based on coherence spaces, finiteness spaces and…
We establish a super duality as an equivalence between Whittaker module categories over a pair of classical Lie algebra and Lie superalgebra in the infinite-rank limit. Building on this result and utilizing the Losev-Shu-Xiao decomposition,…