Related papers: Orthogonal basis for the Shapovalov form on $A_n$

Recently Pascal Baseilhac and Stefan Kolb obtained a PBW basis for the $q$-Onsager algebra $\mathcal O_q$. They defined the PBW basis elements recursively, and it is obscure how to express them in closed form. To mitigate the difficulty, we…

We construct an integral form for the universal enveloping algebra of the Onsager algebra and an explicit integral basis for this integral form. We also formulate straightening identities among some products of basis elements.

Shapovalov elements $\theta _{\beta,m}$ of the classical or quantized universal enveloping algebra of a simple Lie algebra $\mathfrak{g}$ are parameterized by a positive root $\beta$ and a positive integer $m$. They relate the highest…

We construct a basis for a modified quantum group of finite type, extending the PBW bases of positive and negative halves of a quantum group. Generalizing Lusztig's classic results on PBW bases, we show that this basis is orthogonal with…

Given a symmetric operad $\mathcal{P}$ and a $\mathcal{P}$-algebra $V$, the associative universal enveloping algebra ${\mathsf{U}_{\mathcal{P}}}$ is an associative algebra whose category of modules is isomorphic to the abelian category of…

Recently, Kuniba, Okado and Yamada proved that the transition matrix of PBW-type bases of the positive-half of a quantized universal enveloping algebra $U_q(\mathfrak{g})$ coincides with a matrix coefficients of the intertwiner between…

We realize the crystal associated to the quantized enveloping algebras with a symmetric generalized Cartan matrix as a set of Lagrangian subvarieties of the cotangent bundle of the quiver variety. As a by-product, we give a counterexample…

For every system $\{ p_n(z) \}_{n=0}^\infty$ of OPRL or OPUC, we construct Sobolev orthogonal polynomials $y_n(z)$, with explicit integral representations involving $p_n$. Two concrete families of Sobolev orthogonal polynomials (depending…

Let $\mathfrak{g}$ be a finite dimensional complex simple classical Lie superalgebra and $A$ be a commutative, associative algebra with unity over $\mathbb{C}$. In this paper we define an integral form for the universal enveloping algebra…

Let $\mathcal{A}$ be an associative algebra containing the classical or quantum universal enveloping algebra $U$ of a semi-simple complex Lie algebra. Let $\mathcal{J}\subset \mathcal{A}$ designate the left ideal generated by positive root…

We compute the determinant of the Gram matrix of the Shapovalov form on weight spaces of the basic representation of an affine Kac-Moody algebra of ADE type (possibly twisted). As a consequence, we obtain explicit formulae for the…

Given a finite-dimensional, complex simple Lie algebra we exhibit an integral form for the universal enveloping algebra of its map algebra, and an explicit integral basis for this integral form. We also produce explicit commutation formulas…

In this paper we define integral forms for the universal enveloping superalgebras of the map superalgebras of Cartan type complex Lie superalgebras, and exhibit explicit integral bases for these integral forms.

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…

We construct generators of the center of the universal enveloping algebra of the complex orthogonal Lie algebra realized as the alternative matrices of size $n$. These elements are constructed in accordance with the Iwasawa decomposition of…

We present an algebraic theory of orthogonal polynomials in several variables that includes classical orthogonal polynomials as a special case. Our bottom line is a straightforward connection between apolarity of binary forms and the inner…

In this note, we construct dual PBW bases of the positive and negative subalgebras of the two-parameter quantum groups $U_{r,s}(\mathfrak{g})$ in classical types, as used in our earlier work arXiv:2407.01450. Following the ideas of Leclerc…

For any differential graded (DG for short) Poisson algebra $A$ given by generators and relations, we give a "formula" for computing the universal enveloping algebra $A^e$ of $A$. Moreover, we prove that $A^e$ has a Poincar\'e-Birkhoff-Witt…

Cartan-Weyl basis for the quantum affine superalgebra U_q(^osp(1|2)) is constructed in an explicit form.

In this paper we describe a method for computing a basis for the space of weight $2$ cusp forms invariant under a non-split Cartan subgroup of prime level $p$. As an application we compute, for certain small values of $p$, explicit…