Right ideals in non-associative universal enveloping algebras of Lie triple systems

J.M. Perez Izquierdo

DOI: https://doi.org/10.48550/arXiv.math/0602431

2006-02-20

Abstract:We prove that the only proper right ideal of the universal enveloping algebra of a finite-dimensional central simple Lie triple system over a field of characteristic zero is its augmentation ideal.

Rings and Algebras

What problem does this paper attempt to address?

On induced completely prime primitive ideals in enveloping algebras of classical Lie algebras

Simon M. Goodwin,Lewis Topley,Matthew Westaway

2023-12-04

Abstract:A distinguished family of completely prime primitive ideals in the universal enveloping algebra of a reductive Lie algebra ${\mathfrak g}$ over ${\mathbb C}$ are those ideals constructed from one-dimensional representations of finite $W$-algebras. We refer to these ideals as Losev--Premet ideals. For ${\mathfrak g}$ simple of classical type, we prove that for a Losev-Premet ideal $I$ in $U({\mathfrak g})$, there exists a Losev-Premet ideal $I_0$ for a certain Levi subalgebra ${\mathfrak g}_0$ of ${\mathfrak g}$ such that associated variety of $I_0$ is the closure of a rigid nilpotent orbit in ${\mathfrak g}_0$ and $I$ is obtained from $I_0$ by parabolic induction. This is deduced from the corresponding statement about one-dimensional representations of finite $W$-algebras.

Representation Theory,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
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
M-ideals in real operator algebras

David P. Blecher,Matthew Neal,Antonio M. Peralta,Shanshan Su

2024-05-09

Abstract:In a recent paper we showed that a subspace of a real JBW*-triple is an M-summand if and only if it is a weak*-closed triple ideal. As a consequence, M-ideals of real JB*-triples, including real C*-algebras, real JB*-algebras and real TROs, correspond to norm-closed triple ideals. In the present paper we extend this result to (possibly non-selfadjoint) real operator algebras and Jordan operator algebras, where the argument is necessarily different. We also give simple characterizations of one-sided M-ideals in real operator algebras, and give some applications to that theory.

Operator Algebras,Functional Analysis
$M$-ideals, yet again: the case of real JB$^*$-triples

David P. Blecher,Matthew Neal,Antonio M. Peralta,Shanshan Su

2024-01-11

Abstract:We prove that a subspace of a real JBW$^*$-triple is an $M$-summand if and only if it is a weak$^*$-closed triple ideal. As a consequence, $M$-ideals of real JB$^*$-triples correspond to norm-closed triple ideals. As in the setting of complex JB$^*$-triples, a geometric property is characterized in purely algebraic terms. This is a newfangled treatment of the classical notion of $M$-ideal in the real setting by a fully new approach due to the unfeasibility of the known arguments in the setting of complex C$^*$-algebras and JB$^*$-triples. The results in this note also provide a full characterization of all $M$-ideals in real C$^*$-algebras, real JB$^*$-algebras and real TROs.

Operator Algebras
Leavitt Path Algebras in Which Every Lie Ideal is an Ideal and Applications

Huỳnh Việt Khánh

DOI: https://doi.org/10.1007/s00031-024-09848-1

2024-02-18

Transformation Groups

Abstract:In this paper, we classify all Leavitt path algebras which have the property that every Lie ideal is an ideal. As an application, we show that Leavitt path algebras with this property provide a class of locally finite, infinite-dimensional Lie algebras whose locally solvable radical is completely determined. This particularly gives us a new class of semisimple Lie algebras over a field of prime characteristic.

mathematics
Post-Lie algebras and factorization theorems

Kurusch Ebrahimi-Fard,Igor Mencattini,Hans Munthe-Kaas

DOI: https://doi.org/10.1016/j.geomphys.2017.04.007

2017-01-27

Abstract:In this note we further explore the properties of universal enveloping algebras associated to a post-Lie algebra. Emphasizing the role of the Magnus expansion, we analyze the properties of group like-elements belonging to (suitable completions) of those Hopf algebras. Of particular interest is the case of post-Lie algebras defined in terms of solutions of modified classical Yang-Baxter equations. In this setting we will study factorization properties of the aforementioned group-like elements.

Rings and Algebras
Fully noncentral Lie ideals and invariant additive subgroups in rings

Eusebio Gardella,Tsiu-Kwen Lee,Hannes Thiel

2024-09-05

Abstract:We prove conditions ensuring that a Lie ideal or an invariant additive subgroup in a ring contains all additive commutators. A crucial assumption is that the subgroup is fully noncentral, that is, its image in every quotient is noncentral. For a unital algebra over a field of characteristic $\neq 2$ where every additive commutator is a sum of square-zero elements, we show that a fully noncentral subspace is a Lie ideal if and only if it is invariant under all inner automorphisms. This applies in particular to zero-product balanced algebras.

Rings and Algebras,Operator Algebras
A characterisation of Lie algebras using ideals and subalgebras

Vladimir Dotsenko,Xabier García‐Martínez

DOI: https://doi.org/10.1112/blms.13062

IF: 1.036

2024-05-09

Bulletin of the London Mathematical Society

Abstract:We prove that if, for a non‐trivial variety of non‐associative algebras, every subalgebra of every free algebra is free and I2 is an ideal whenever I is an ideal, then this variety coincides with the variety of all Lie algebras.

mathematics
On universal Lie nilpotent associative algebras

Pavel Etingof,John Kim,Xiaoguang Ma

DOI: https://doi.org/10.1016/j.jalgebra.2008.09.042

IF: 0.908

2009-01-01

Journal of Algebra

Abstract:We study the quotient Qi(A) of a free algebra A by the ideal Mi(A) generated by the ith commutator of any elements. In particular, we completely describe such quotient for i=4 (for i⩽3 this was done previously by Feigin and Shoikhet). We also study properties of the ideals Mi(A), e.g. when Mi(A)Mj(A) is contained in Mi+j−1(A) (by a result of Gupta and Levin, it is always contained in Mi+j−2(A)).

mathematics
Symmetric quasi-hereditary envelopes

Volodymyr Mazorchuk,Vanessa Miemietz

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

2008-12-17

Abstract:We show how any finite-dimensional algebra can be realized as an idempotent subquotient of some symmetric quasi-hereditary algebra. In the special case of rigid symmetric algebras we show that they can be realized as centralizer subalgebras of symmetric quasi-hereditary algebras. We also show that the infinite-dimensional symmetric quasi-hereditary algebras we construct admit quasi-hereditary structure with respect to two opposite orders, that they have strong exact Borel and $\Delta$-subalgebras and the corresponding triangular decompositions.

Representation Theory
Noetherian enveloping algebras of simple graded Lie algebras

Nicolás Andruskiewitsch,Olivier Mathieu

2024-05-24

Abstract:It is shown that the universal enveloping algebra of an infinite-dimensional simple $\mathbb Z^n$-graded Lie algebra is not Noetherian.

Rings and Algebras
Isomorphism invariants of restricted enveloping algebras

Hamid Usefi

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

2009-12-23

Abstract:Let $L$ and $H$ be finite-dimensional restricted Lie algebras over a perfect field $\F$ such that $u(L)\cong u(H)$, where $u(L)$ is the restricted enveloping algebra of $L$. We prove that if $L$ is $p$-nilpotent and abelian, then $L\cong H$. We deduce that if $L$ is abelian and $\F$ is algebraically closed, then $L\cong H$. We use these results to prove the main result of this paper stating that if $L$ is $p$-nilpotent, then $L/L'^p+\gamma_3(L)\cong H/H'^p+\gamma_3(H)$.

Rings and Algebras,Group Theory
Linearly presented perfect ideals of codimension $2$ in three variables

André Dória,Zaqueu Ramos,Aron Simis

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

2017-12-07

Abstract:The goal of this paper is the fine structure of the ideals in the title, with emphasis on the properties of the associated Rees algebra and the special fiber. The watershed between the present approach and some of the previous work in the literature is that here one does not assume that the ideals in question satisfy the common generic properties. One exception is a recent work of N. P. H. Lan which inspired the present work. Here we recover and extend his work. We strongly focus on the behavior of the ideals of minors of the corresponding so-called Hilbert--Burch matrix and on conjugation features of the latter. We apply the results to three important models: linearly presented ideals of plane fat points, reciprocal ideals of hyperplane arrangements and linearly presented monomial ideals.

Commutative Algebra,Algebraic Geometry
Lie 2-algebras of toral rank 3

Germán Benitez,Carlos R. Payares Guevara,Elkin O. Quintero Vanegas

2024-03-05

Abstract:In this paper we study Lie 2-algebras over an algebraically closed field of characteristic two, which have a triangulable Cartan subalgebra, and derive some general properties of centerless ones. These properties allow us to do an analysis on simple Lie 2-algebras of toral rank three and provide a necessary condition for simplicity. By means of this latter condition we also conclude that simple Lie 2-algebras with a triangulable Cartan subalgebra of toral rank three and of dimension less than or equal to 16 cannot exist.

Rings and Algebras
On order units in the augmentation ideal

Piotr Mizerka,Piotr W. Nowak

2023-10-05

Abstract:We study order units in the real group ring and the augmentation ideal, as well as in matrix algebras. We identify an infinite family of order units in the powers of the augmentation ideal, that includes the Laplacian, and show that these order units are naturally obtained via cohomological operations from more simpler diagonal order units in matrix algebras.

Group Theory,Operator Algebras,Rings and Algebras
On Rees algebras of linearly presented ideals and modules

Alessandra Costantini,Edward F. Price,Matthew Weaver

DOI: https://doi.org/10.1007/s13348-024-00440-0

2024-04-05

Collectanea mathematica

Abstract:Let I be a perfect ideal of height two in and let denote its Hilbert–Burch matrix. When has linear entries, the algebraic structure of the Rees algebra is well-understood under the additional assumption that the minimal number of generators of I is bounded locally up to codimension . In the first part of this article, we determine the defining ideal of under the weaker assumption that such condition holds only up to codimension , generalizing previous work of P. H. L. Nguyen. In the second part, we use generic Bourbaki ideals to extend our findings to Rees algebras of linearly presented modules of projective dimension one.

mathematics, applied
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
On split Leibniz superalgebras

Antonio J. Calderón,José M. Sánchez

DOI: https://doi.org/10.1016/J.LAA.2013.01.017

2024-01-24

Abstract:We study the structure of arbitrary split Leibniz superalgebras. We show that any of such superalgebras ${\frak L}$ is of the form ${\frak L} = {\mathcal U} + \sum_jI_j$ with ${\mathcal U}$ a subspace of an abelian (graded) subalgebra $H$ and any $I_j$ a well described (graded) ideal of ${\frak L}$ satisfying $[I_j,I_k] = 0$ if $j \neq k$. In the case of ${\frak L}$ being of maximal length, the simplicity of ${\frak L}$ is also characterized in terms of connections of roots.

Rings and Algebras

Right ideals in non-associative universal enveloping algebras of Lie triple systems

On induced completely prime primitive ideals in enveloping algebras of classical Lie algebras

Enveloping algebras of derivations of commutative and noncommutative algebras

Two problems in the representation theory of reduced enveloping algebras

M-ideals in real operator algebras

$M$-ideals, yet again: the case of real JB$^*$-triples

Leavitt Path Algebras in Which Every Lie Ideal is an Ideal and Applications

Post-Lie algebras and factorization theorems

Fully noncentral Lie ideals and invariant additive subgroups in rings

A characterisation of Lie algebras using ideals and subalgebras

On universal Lie nilpotent associative algebras

Symmetric quasi-hereditary envelopes

Noetherian enveloping algebras of simple graded Lie algebras

Isomorphism invariants of restricted enveloping algebras

Linearly presented perfect ideals of codimension $2$ in three variables

Lie 2-algebras of toral rank 3

On order units in the augmentation ideal

On Rees algebras of linearly presented ideals and modules

Geometric realisations of the unipotent enveloping algebra of a quiver

On split Leibniz superalgebras