About enveloping algebras of direct sums

Gérard Henry Edmond Duchamp,Christophe Tollu,Jean-Gabriel Luque,Vu Nguyen Dinh

2024-05-14

Abstract:We solve the PBW-like problem of normal ordering for enveloping algebras of direct sums.

Logic in Computer Science

What problem does this paper attempt to address?

Remarks on the Sequential Effect Algebras

Jun Shen,Junde Wu

DOI: https://doi.org/10.1016/s0034-4877(09)90015-5

IF: 0.808

2009-01-01

Reports on Mathematical Physics

Abstract:In this paper, first, we answer affirmatively an open problem which was presented in 2005 by professor Gudder on the sub-sequential effect algebras. That is, we prove that if (E, 0, 1, circle plus, o) is a sequential effect algebra and A is a commutative subset of E, then the sub-sequential effect algebra (A) over bar generated by A is also commutative. Next, we also study the following uniqueness problem: If na = nb = c for some positive integer n >= 2, then under what conditions a = b hold? We prove that if c is a sharp element of E and a vertical bar b, then a = b. We give also two examples to show that neither of the above two conditions can be discarded.
Two problems in the representation theory of reduced enveloping algebras

Matthew Westaway

2024-09-26

Abstract:In this paper we consider two problems relating to the representation theory of Lie algebras ${\mathfrak g}$ of reductive algebraic groups $G$ over algebraically closed fields ${\mathbb K}$ of positive characteristic $p>0$. First, we consider the tensor product of two baby Verma modules $Z_{\chi}(\lambda)\otimes Z_{\chi'}(\mu)$ and show that it has a filtration of baby Verma modules of a particular form. Secondly, we consider the minimal-dimension representations of a reduced enveloping algebra $U_\chi({\mathfrak g})$ for a nilpotent $\chi\in{\mathfrak g}^{*}$. We show that under certain assumptions in type $A$ we can obtain the minimal-dimensional modules as quotients of certain modules obtained by base change from simple highest weight modules over ${\mathbb C}$.

Representation Theory,Rings and Algebras
Geometric realisations of the unipotent enveloping algebra of a quiver

Lucien Hennecart

DOI: https://doi.org/10.1016/j.aim.2024.109536

IF: 1.675

2024-04-01

Advances in Mathematics

Abstract:We compare and generalise the various geometric constructions (due to Ringel, Lusztig, Schofield, Bozec, Davison...) of the unipotent generalised Kac–Moody algebra associated with an arbitrary quiver. These constructions are interconnected through several geometric operations, including the stalk Euler characteristic of constructible complexes, the characteristic cycle, the Euler obstruction map, and the intersection multiplicities of Lagrangian subvarieties. We provide a proof that these geometric realisations hold for the integral form of the Lie algebra. Furthermore, by modifying the generators of the enveloping algebra, we ensure compatibility with the natural coproducts that can be defined in terms of restriction diagrams. As a result, we establish that the top cohomological Hall algebra of the strictly seminilpotent stack is isomorphic to the positive part of the enveloping algebra of the generalised Kac-Moody algebra associated with the quiver. This appears to be one of the cornerstones needed to describe the BPS algebra of very general 2-Calabi–Yau categories, which is the subject of the author's work on BPS Lie algebras for 2-Calabi–Yau categories with Davison and Schlegel Mejia.

mathematics
Bases of Quantized Enveloping Algebras

BM Deng,J Du

DOI: https://doi.org/10.2140/pjm.2005.220.33

2005-01-01

Pacific Journal of Mathematics

Abstract:We give a systematic description of many monomial bases for a specified quantized enveloping algebra and of many integral monomial bases for the associated Lusztig Z[ v, v(-1)]-form. The relations among monomial bases, PBW bases and canonical bases are also discussed.
The PBW Theorem and simplicity criteria for the Poisson enveloping algebra and the algebra of Poisson differential operators

V. V. Bavula

DOI: https://doi.org/10.48550/arXiv.2107.00321

2021-07-01

Rings and Algebras

Abstract:For an arbitrary Poisson algebra $\CP$ over an arbitrary field, an (analogue of) the Poincar\'{e}-Birkhof-Witt Theorem is proven and several presentations/constructions for its Poisson enveloping algebra $\CU (\CP )$ are given. As a result, explicit sets of generators and defining relations are given for $\CU (\CP )$ and the algebra $P\CD (\CP)$ of Poisson differential operators on $\CP$. Simplicity criteria for the algebras $\CU (\CP )$ and $P\CD (\CP )$ are given. In the case when the algebra $\CP$ is of essentially finite type, a criterion for the algebra $\CU (\CP )$ to be a domain is presented and a criterion for a natural epimorphism $\CU (\CP )\ra P\CD (\CP )$ to be an isomorphism is given. The kernel of the epimorphism is described and for large classes of Poisson algebras an explicit set of generators is given. Explicit formulae for the Gelfand-Kirillov dimension of the algebras $\CU (\CP )$ and $P\CD (\CP)$ are given. In the case when the Poisson algebra $\CP$ is a regular domain of essentially finite type an explicit simplecticity criterion for $\CP$ is found and a criterion is presented for the algebra $\CU (\CP )$ to be isomorphic to the algebra $\CD (\CP )$ of differential operators on $\CP$.
Coideal subalgebras of pointed and connected Hopf algebras

G.-S. Zhou

2024-02-25

Abstract:Let $H$ be a pointed Hopf algebra with abelian coradical. Let $A\supseteq B$ be left (or right) coideal subalgebras of $H$ that contain the coradical of $H$. We show that $A$ has a PBW basis over $B$, provided that $H$ satisfies certain mild conditions. In the case that $H$ is a connected graded Hopf algebra of characteristic zero and $A$ and $B$ are both homogeneous of finite Gelfand-Kirillov dimension, we show that $A$ is a graded iterated Ore extension of $B$. These results turn out to be conceptual consequences of a structure theorem for each pair $S\supseteq T$ of homogeneous coideal subalgebras of a connected graded braided bialgebra $R$ with braiding satisfying certain mild conditions. The structure theorem claims the existence of a well-behaved PBW basis of $S$ over $T$. The approach to the structure theorem is constructive by means of a combinatorial method based on Lyndon words and braided commutators, which is originally developed by V. K. Kharchenko for primitively generated braided Hopf algebras of diagonal type. Since in our context we don't priorilly assume $R$ to be primitively generated, new methods and ideas are introduced to handle the corresponding difficulties, among others.

Quantum Algebra,Rings and Algebras
Enveloping actions and duality theorems for partial twisted smash products

Shuangjian Guo,Shengxiang Wang

DOI: https://doi.org/10.48550/arXiv.1501.00120

2014-12-31

Abstract:In this paper, we first generalize the theorem about the existence of an enveloping action to a partial twisted smash product. Second, we construct a Morita context between the partial twisted smash product and the twisted smash product related to the enveloping action. Furthermore, we show some results relating partial actions and partial representations over the partial twisted smash products, which generalize the results of Alves and Batista (Comm. Algebra, 38(8): 2872-2902, 2010). Finally, we present versions of the duality theorems of Blattner-Montgomery for partial twisted smash products.

Rings and Algebras
Enveloping algebras of derivations of commutative and noncommutative algebras

Jason Bell,Lucas Buzaglo

2024-11-27

Abstract:Let $\Bbbk$ be a field of characteristic zero. Motivated by the fundamental question of whether it is possible for the universal enveloping algebra of an infinite-dimensional Lie algebra to be noetherian, we study Lie algebras of derivations of associative algebras. The main result of this paper is that the universal enveloping algebra of the Lie algebra of derivations of a finitely generated $\Bbbk$-algebra is not noetherian. This extends a result of Sierra and Walton on the Witt algebra, as well as a result of the second author on Krichever-Novikov algebras. We highlight that the result applies to derivations of both commutative and noncommutative algebras without restriction on their growth.

Rings and Algebras
Q A ] 2 N ov 2 01 5 Realizing Enveloping Algebras via Moduli Stacks

Liqian Bai,Fan Xu

2015-01-01

Abstract:Let CF(ObjA) denote the vector space of Q-valued constructible functions on a given stack ObjA for an exact category A. By using the Ringel– Hall algebra approach, Joyce proved that CF(ObjA) is an associative Qalgebra via the convolution multiplication and the subspace CFind(ObjA) of constructible functions supported on indecomposables is a Lie subalgebra of CF(ObjA) in [10]. In this paper, we show that there is a subalgebra CFKS(ObjA) of CF(ObjA) isomorphic to the universal enveloping algebra of CFind(ObjA). Moreover we construct a comultiplication on CFKS(ObjA) and a degenerate form of Green’s theorem. This generalizes Joyce’s work, as well as results of [3].
Realizing enveloping algebras via moduli stacks

Liqian Bai,Fan Xu

DOI: https://doi.org/10.48550/arXiv.1511.00396

2015-11-02

Abstract:Let $\mathop{\rm CF}\nolimits(\mathop{\mathfrak{Obj}\kern .05em}\nolimits_\mathcal{A})$ denote the vector space of $\mathbb{Q}$-valued constructible functions on a given stack $\mathop{\mathfrak{Obj}\kern .05em}\nolimits_\mathcal{A}$ for an exact category $\mathcal{A}$. By using the Ringel--Hall algebra approach, Joyce proved that $\mathop{\rm CF}\nolimits(\mathop{\mathfrak{Obj}\kern .05em}\nolimits_\mathcal{A})$ is an associative $\mathbb{Q}$-algebra via the convolution multiplication and the subspace $\mathop{\rm CF}\nolimits^{\rm ind}\mathop{\mathfrak{Obj}\kern .05em}\nolimits_\mathcal{A})$ of constructible functions supported on indecomposables is a Lie subalgebra of $\mathop{\rm CF}\nolimits(\mathop{\mathfrak{Obj}\kern .05em}\nolimits_\mathcal{A})$ in [10]. In this paper, we show that there is a subalgebra $\mathop{\rm CF}\nolimits^{\text{KS}}(\mathop{\mathfrak{Obj}\kern .05em}\nolimits_\mathcal{A})$ of $\mathop{\rm CF}\nolimits(\mathop{\mathfrak{Obj}\kern .05em}\nolimits_\mathcal{A})$ isomorphic to the universal enveloping algebra of $\mathop{\rm CF}\nolimits^{\rm ind}(\mathop{\mathfrak{Obj}\kern .05em}\nolimits_\mathcal{A})$. Moreover we construct a comultiplication on $\mathop{\rm CF}\nolimits^{\text{KS}}(\mathop{\mathfrak{Obj}\kern .05em}\nolimits_\mathcal{A})$ and a degenerate form of Green's theorem. This generalizes Joyce's work, as well as results of [3].

Quantum Algebra,Representation Theory
(Quasi-)Poisson Enveloping Algebras

Yan Hong Yang,Yuan Yao,Yu Ye

DOI: https://doi.org/10.1007/s10114-012-1041-z

2012-01-01

Acta Mathematica Sinica English Series

Abstract:We introduce the quasi-Poisson enveloping algebra and Poisson enveloping algebra for a non-commutative Poisson algebra. We prove that for a non-commutative Poisson algebra, the category of quasi-Poisson modules is equivalent to the category of left modules over its quasi-Poisson enveloping algebra, and the category of Poisson modules is equivalent to the category of left modules over its Poisson enveloping algebra.
Realizing Enveloping Algebras Via Varieties of Modules

Ming Ding,Jie Xiao,Fan Xu

DOI: https://doi.org/10.1007/s10114-010-9070-y

2010-01-01

Abstract:By using the Ringel-Hall algebra approach, we investigate the structure of the Lie algebra L(Λ) generated by indecomposable constructible sets in the varieties of modules for any finite-dimensional ℂ-algebra Λ. We obtain a geometric realization of the universal enveloping algebra R(Λ) of L(Λ), this generalizes the main result of Riedtmann. We also obtain Green’s formula in a geometric form for any finite-dimensional ℂ-algebra Λ and use it to give the comultiplication formula in R(Λ).
Universal enveloping algebras of weighted differential Poisson algebras

Ying Chen,Chuangchuang Kang,Jiafeng Lü

2024-11-05

Abstract:The $\lambda$-differential operators and modified $\lambda$-differential operators are generalizations of classical differential operators. This paper introduces the notions of $\lambda$-differential Poisson ($\lambda$-DP for short) algebras and modified $\lambda$-differential Poisson ($\lambda$-mDP for short) algebras as generalizations of differential Poisson algebras. The $\lambda$-DP algebra is proved to be closed under tensor product, and a $\lambda$-DP algebra structure is provided on the cohomology algebra of the $\lambda$-DP algebra. These conclusions are also applied to $\lambda$-mDP algebras and their modules. Finally, the universal enveloping algebras of $\lambda$-DP algebras are generalized by constructing a $\mathcal{P}$-triple. Three isomorphisms among opposite algebras, tensor algebras and the universal enveloping algebras of $\lambda$-DP algebras are obtained.

Mathematical Physics
Ordinal and Horizontal Sums Constructing PBZ*-lattices

Roberto Giuntini,Claudia Mureşan,Francesco Paoli

DOI: https://doi.org/10.48550/arXiv.1811.01869

2018-12-13

Abstract:PBZ*-lattices are algebraic structures related to quantum logics, which consist of bounded lattices endowed with two kinds of complements, named {\em Kleene} and {\em Brouwer}, such that the Kleene complement satisfies a weakening of the orthomodularity condition and the De Morgan laws, while the Brouwer complement only needs to satisfy the De Morgan laws for the pairs of elements with their Kleene complements. PBZ*-lattices form a variety $\mathbb{PBZL}^{\ast }$, which includes the variety $\mathbb{OML}$ of orthomodular lattices (considered with an extended signature, by letting their two complements coincide) and the variety $V(\mathbb{AOL})$ generated by the class $\mathbb{AOL}$ of antiortholattices. We investigate the congruences of antiortholattices, in particular of those obtained through certain ordinal sums and of those whose Brower complements satisfy the De Morgan laws, infer characterizations for their subdirect irreducibility and prove that even the lattice reducts of antiortholattices are directly irreducible. Since the two complements act the same on the lattice bounds in all PBZ*-lattices, we can define the horizontal sum of any nontrivial PBZ*-lattices, obtained by glueing them at their smallest and at their largest elements; a horizontal sum of two nontrivial PBZ*-lattices is a PBZ*-lattice exactly when at least one of its summands is an orthomodular lattice. We investigate the algebraic structures and the congruence lattices of these horizontal sums, then the varieties they generate. We obtain a relative axiomatization of the variety $V(\mathbb{OML}\boxplus \mathbb{AOL})$ generated by the horizontal sums of nontrivial orthomodular lattices with nontrivial antiortholattices w.r.t. $\mathbb{PBZL}^{\ast }$, as well as a relative axiomatization of the join of varieties $\mathbb{OML}\vee V(\mathbb{AOL})$ w.r.t. $V(\mathbb{OML}\boxplus \mathbb{AOL})$.

Rings and Algebras
On monomial algebras with representation-finite enveloping algebras

Jianguo Zhou,Yu-Zhe Liu,Chao Zhang

2024-04-27

Abstract:The present paper mainly considers the representation type of the enveloping algebra of monomial algebra. Let $A$ be a monomial algebra and $A^e= A\otimes_{\mathrm{l}\!\mathrm{k}} A^{\mathrm{op}}$ its enveloping algebra. It is shown that $A^e$ is representation-finite if and only if $A \cong \pmb{A}_n/\mathrm{rad}^2 \pmb{A}_n$, where $\pmb{A}_n$ is the path algebra $\mathrm{l}\!\mathrm{k}\mathcal{Q}$ with $\mathcal{Q} = 1 \longrightarrow 2 \longrightarrow \cdots \longrightarrow n$. Moreover, we show that the number of all isoclasses of indecomposable $(\pmb{A}_n/ \mathrm{rad}^2\pmb{A}_n)^e$-modules is $\frac{4}{3}n^3 + n^2-\frac{7}{3}n+1$, and classify all indecomposable modules over $(\pmb{A}_n/ \mathrm{rad}^2\pmb{A}_n)^e$. Finally, the Clebsch-Gordon problem over $(\pmb{A}_n/ \mathrm{rad}^2\pmb{A}_n)^e$ is studied.

Representation Theory
Akivis Superalgebras and speciality

Helena Albuquerque,Ana Paula Santana

DOI: https://doi.org/10.48550/arXiv.0710.4535

2007-10-25

Abstract:In this paper we define Akivis superalgebra and study enveloping superalgebras for this class of algebras, proving an analogous of the PBW Theorem. Lie and Malcev superalgebras are examples of Akivis superalgebras. For these particular superalgebras, we describe the connection between the classical enveloping superalgebras and the corresponding generalized concept defined in this work.

Rings and Algebras
Annular webs and Levi subalgebras

Abel Lacabanne,Daniel Tubbenhauer,Pedro Vaz

DOI: https://doi.org/10.4171/JCA/76

2023-11-09

Abstract:For any Levi subalgebra of the form $\mathfrak{l}=\mathfrak{gl}_{l_{1}}\oplus\dots\oplus\mathfrak{gl}_{l_{d}}\subseteq\mathfrak{gl}_{n}$ we construct a quotient of the category of annular quantum $\mathfrak{gl}_{n}$ webs that is equivalent to the category of finite dimensional representations of quantum $\mathfrak{l}$ generated by exterior powers of the vector representation. This can be interpreted as an annular version of skew Howe duality, gives a description of the representation category of $\mathfrak{l}$ by additive idempotent completion, and a web version of the generalized blob algebra.

Quantum Algebra,Geometric Topology,Representation Theory
Shuffle Algebras and Their Integral Forms: Specialization Map Approach in Types B n and G 2

Yue Hu,Alexander Tsymbaliuk

DOI: https://doi.org/10.1093/imrn/rnae029

2024-02-24

International Mathematics Research Notices

Abstract:Abstract We construct a family of PBWD (Poincaré-Birkhoff-Witt-Drinfeld) bases for the positive subalgebras of quantum loop algebras of type $B_{n}$ and $G_{2}$, as well as their Lusztig and RTT (for type $B_{n}$ only) integral forms, in the new Drinfeld realization. We also establish a shuffle algebra realization of these ${\mathbb {Q}}(v)$-algebras (proved earlier in [26] by completely different tools) and generalize the latter to the above ${{\mathbb {Z}}}[v,v^{-1}]$-forms. The rational counterparts provide shuffle algebra realizations of positive subalgebras of type $B_{n}$ and $G_{2}$ Yangians and their Drinfeld-Gavarini duals. All of this generalizes the type $A_{n}$ results of [30].

mathematics
PBW bases and KLR algebras

Syu Kato

DOI: https://doi.org/10.1215/00127094-2405388

2017-11-20

Abstract:We generalize Lusztig's geometric construction of the PBW bases of finite quantum groups of type $\mathsf{ADE}$ under the framework of [Varagnolo-Vasserot, J. reine angew. Math. 659 (2011)]. In particular, every PBW basis of such quantum groups is proven to yield a semi-orthogonal collection in the module category of the KLR-algebras. This enables us to prove Lusztig's conjecture on the positivity of the canonical (lower global) bases in terms of the (lower) PBW bases in the $\mathsf{ADE}$ case. In addition, we verify Kashiwara's problem on the finiteness of the global dimensions of the KLR-algebras of type $\mathsf{ADE}$.

Quantum Algebra,Algebraic Geometry,Representation Theory

About enveloping algebras of direct sums

Remarks on the Sequential Effect Algebras

Two problems in the representation theory of reduced enveloping algebras

Geometric realisations of the unipotent enveloping algebra of a quiver

Bases of Quantized Enveloping Algebras

The PBW Theorem and simplicity criteria for the Poisson enveloping algebra and the algebra of Poisson differential operators

Coideal subalgebras of pointed and connected Hopf algebras

Enveloping actions and duality theorems for partial twisted smash products

Enveloping algebras of derivations of commutative and noncommutative algebras

Q A ] 2 N ov 2 01 5 Realizing Enveloping Algebras via Moduli Stacks

Realizing enveloping algebras via moduli stacks

(Quasi-)Poisson Enveloping Algebras

Realizing Enveloping Algebras Via Varieties of Modules

Universal enveloping algebras of weighted differential Poisson algebras

Ordinal and Horizontal Sums Constructing PBZ*-lattices

On monomial algebras with representation-finite enveloping algebras

Akivis Superalgebras and speciality

Annular webs and Levi subalgebras

Shuffle Algebras and Their Integral Forms: Specialization Map Approach in Types B n and G 2

PBW bases and KLR algebras