Casimir operators of Lie algebras with a nilpotent radical

J.C. Ndogmo

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

2007-09-29

Abstract:We show that a Lie algebra having a nilpotent radical has a fundamental set of invariants consisting of Casimir operators. We give a different proof of this fact in the special and well-known case where the radical is abelian.

Optimization and Control,Group Theory

What problem does this paper attempt to address?

The Casimir Invariants of Universal Lie algebra extensions via commutative structures

A B Yanovski

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

2001-08-23

Dynamical Systems

Abstract:We consider the Casimir Invariants related to some a special kind of Lie-algebra extensions, called universal extensions. We show that these invariants can be studied using the equivalence between the universal extensions and the commutative algebras and consider in detail the so called coextension structures, arising in the calculation of the Casimir functions.
The Frobenius semiradical, generic stabilisers, and Poisson centre for nilradicals

Dmitri I. Panyushev

2023-10-29

Abstract:Let $\mathfrak g$ be a complex simple Lie algebra and $\mathfrak n$ the nilradical of a parabolic subalgebra of $\mathfrak g$. We consider some properties of the coadjoint representation of $\mathfrak n$ and related algebras of invariants. This includes (i) the problem of existence of generic stabilisers, (ii) a description of the Frobenius semiradical of $\mathfrak n$ and the Poisson centre $Z(\mathfrak n)$ of the symmetric algebra $S(\mathfrak n)$, (iii) the structure of $S(\mathfrak n)$ as $Z(\mathfrak n)$-module, and (iv) the description of square integrable (= quasi-reductive) nilradicals. Our main technical tools are the Kostant cascade in the set of positive roots of $\mathfrak g$ and the notion of optimisation of $\mathfrak n$.

Representation Theory,Algebraic Geometry
Eigenvalue problem versus Casimir functions for Lie algebras

Alina Dobrogowska,Marzena Szajewska

DOI: https://doi.org/10.1007/s13324-024-00892-4

2024-03-27

Analysis and Mathematical Physics

Abstract:We present a new perspective on the invariants of Lie algebras (Casimir functions). Our approach is based on the connection of a linear mapping , which has a given eigenvector v , to a Lie algebra. We obtain a solvable Lie algebra by considering a single pair ( F , v ). However, by considering a set of such pairs , , we can obtain any finite-dimensional Lie algebra. We also describe the Casimir function equations in terms of pairs, since the eigenvalue problem of ( F , v ) yields a Lie bracket. We outline the criterion for the quantity of Casimirs and their formulas for any Lie algebra, which depends on the decomposability of the tensor built from the pairs . In addition, we present the meaning of lifting Lie algebras in this context and explain how to construct Casimir functions for the lifted Lie algebra based on Casimir functions for the initial Lie algebra. One of the main results of the paper is to present the method to identify all Casimirs for a lifted Lie algebra starting from the initial one.

mathematics, applied
The Classification of Complete Lie Algebras with Commutative Nilpotent Radical

CP Jiang,DJ Meng

DOI: https://doi.org/10.1090/s0002-9939-98-03911-2

IF: 0.9709

1998-01-01

Proceedings of the American Mathematical Society

Abstract:The work in this paper is a continuation of an earlier paper of the second author (Acta Math. 34 (1991), 191–202). We discuss the properties of finite-dimensional complete Lie algebras with abelian nilpotent radical over the complex field C \mathbf {C} . We solve the problems of isomorphism, classification and realization of complete Lie algebras with commutative nilpotent radical.
Maximal Eigenvalues of A Casimir Operator and Multiplicity-Free Modules

Gang Han

IF: 0.9709

2013-01-01

Proceedings of the American Mathematical Society

Abstract:Let g be a finite-dimensional complex semisimple Lie algebra and b a Borel subalgebra. Then g acts on its exterior algebra boolean AND g naturally. We prove that the maximal eigenvalue of the Casimir operator on boolean AND g is one third of the dimension of g, that the maximal eigenvalue m(i) of the Casimir operator on. boolean AND(i)g is increasing for 0 <= i <= r, where r is the number of positive roots, and that the corresponding eigenspace M-i is a multiplicity-free g-module whose highest weight vectors correspond to certain ad-nilpotent ideals of b. We also obtain a result describing the set of weights of the irreducible representation of g with highest weight a multiple of rho, where rho is one half the sum of positive roots.
Topological radicals, IV. Frattini theory of Banach Lie algebras

Edward Kissin,Victor S. Shulman,Yuri V. Turovskii

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

2012-08-23

Abstract:We develop the theory of topological radicals in Banach Lie algebras, consider various ways of constructing such radicals and study a family of (pre)radicals related to subalgebras and ideals of finite codimension in Banach Lie algebras. It extends to the infinite-dimensional case many results of the well known Frattini theory of Lie algebras.

Functional Analysis
On the stable radical of the module category for special biserial algebras

Suyash Srivastava,Vinit Sinha,Amit Kuber

2023-11-17

Abstract:Suppose $\Lambda$ is a special biserial algebra over an algebraically closed field. Schröer showed that if $\Lambda$ is domestic then the radical of the category of finitely generated (left) $\Lambda$-modules is nilpotent, and the least ordinal, denoted $\mathrm{st}(\Lambda)$, where the decreasing sequence of powers of the radical stabilizes satisfies $\mathrm{st}(\Lambda)<\omega^2$. With Gupta and Sardar, the third author conjectured that if $\Lambda$ has at least one band then $\omega\le\mathrm{st}(\Lambda)<\omega^2$ even when $\Lambda$ is non-domestic. In this paper we settle this conjecture in the affirmative. We also describe an algorithm to compute $\mathrm{st}(\Lambda)$ up to a finite error. We also show that for each $\omega\leq\alpha<\omega^2$ there is a finite-dimensional tame representation type algebra $\Gamma$ with $\mathrm{st}(\Gamma)=\alpha$.

Representation Theory
On class operators for the lower radical class and semisimple closure constructions

N. R. McConnell,R. G. McDougall,T. Stokes,L. K. Thornton

DOI: https://doi.org/10.1007/s10474-024-01492-1

2024-12-05

Acta Mathematica Hungarica

Abstract:We construct the lower radical class and the semisimple closure for a given class using class operators and detail some of the properties of these operators and their interplay with the operators already used in radical theory. The setting is the class of algebras introduced by Puczy lowski which ensures the results hold in groups, multi-operator groups such as rings, as well as loops and hoops.

mathematics
Interplay between Algebraic Groups, Lie Algebras and Operator Ideals

Daniel Beltita,Sasmita Patnaik,Gary Weiss

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

2013-03-20

Abstract:In the framework of operator theory, we investigate a close Lie theoretic relationship between all operator ideals and certain classical groups of invertible operators that can be described as the solution sets of certain algebraic equations, hence can be regarded as infinite-dimensional linear algebraic groups. Historically, this has already been done for only the complete-norm ideals; in that case one can work within the framework of the well-known Lie theory for Banach-Lie groups. That kind of Lie theory is not applicable for arbitrary operator ideals, so we needed to find a new approach for dealing with the general situation. The simplest instance of the aforementioned relationship is provided by the Lie algebra $\ug_{\Ic}(\Hc)=\{X\in\Ic\mid X^*=-X\}$ associated with the group $\U_{\Ic}(\Hc)=\U(\Hc)\cap(\1+\Ic)$ where $\Ic$ is an arbitrary operator ideal in $\Bc(\Hc)$ and $\U(\Hc)$ is the full group of unitary operators. We investigate the Cartan subalgebras (maximal abelian self-adjoint subalgebras) of $\ug_{\Ic}(\Hc)$ for $\{0\}\subsetneqq\Ic\subsetneqq\Bc(\Hc)$, and obtain an uncountably many $\U_{\Ic}(\Hc)$-conjugacy classes of these Cartan subalgebras. The cardinality proof will be given in a follow up paper \cite{BPW13} and stands in contrast to the $\U(\Hc)$-uniqueness work of de la Harpe \cite{dlH72}.

Operator Algebras,Functional Analysis,Representation Theory
Equivariant quantizations of the positive nilradical and covariant differential calculi

Marco Matassa

2024-04-29

Abstract:Consider a decomposition $\mathfrak{n} = \mathfrak{n}_1 \oplus \cdots \oplus \mathfrak{n}_r$ of the positive nilradical of a complex semisimple Lie algebra of rank $r$, where each $\mathfrak{n}_k$ is a module under an appropriate Levi factor. We show that this can be quantized as a finite-dimensional subspace $\mathfrak{n}^q_k = \mathfrak{n}^q_1 \oplus \cdots \oplus \mathfrak{n}^q_r$ of the positive part of the quantized enveloping algebra, where each $\mathfrak{n}^q_k$ is a module under the left adjoint action of a quantized Levi factor. Furthermore, we show that $\mathbb{C} \oplus \mathfrak{n}^q$ is a left coideal, with the possible exception of components corresponding to some exceptional Lie algebras. Finally we use these quantizations to construct covariant first-order differential calculi on quantum flag manifolds, compatible in a certain sense with the decomposition above, which coincide with those introduced by Heckenberger-Kolb in the irreducible case.

Quantum Algebra,Representation Theory
Three-dimensional Lie algebras admitting regular semisimple algebraic Nijenhuis operators

Zhikhareva Ekaterina Sergeevna

2024-10-14

Abstract:The aim of this paper is to classify all real and complex 3-dimensional Lie algebras admitting regular semisimple algebraic Nijenhuis operators. This problem is completely solved (see Theorems 2 and 3) by describing all Nijenhuis eigenbases for each 3-dimensional Lie algebra. It turns out that the answer is different in real and complex cases in the sence that there are real Lie algebras such that they do not admit an algebraic Nijenhuis operator, but their complexification admits such operators. An equally interesting question is to describe all algebraic Nijenhuis operators which are not equivalent by an automorphism of the Lie algebra. We give an answer to this question for some Lie algebras.

Differential Geometry
On involutions of minuscule Kirillov algebras induced by real structures

Mischa Elkner

2024-11-25

Abstract:We study Kirillov algebras attached to minuscule highest weight representations of semisimple Lie algebras. They can be viewed as equivariant cohomology algebras of partial flag varieties. Real structures on the varieties then induce involutions of these algebras. We describe how these involutions act on the spectra of minuscule Kirillov algebras, and model the fixed points via the equivariant cohomology of real partial flag varieties. We then use this model to characterise freeness of the fixed point coordinate ring over the appropriate base. As an application, we recover a $q=-1$ phenomenon of Stembridge in the minuscule case by geometric means.

Representation Theory
Jordan-Kronecker invariants of finite-dimensional Lie algebras

Alexey Bolsinov,Pumei Zhang

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

2012-11-03

Abstract:For any finite-dimensional Lie algebra we introduce the notion of Jordan-Kronecker invariants, study their properties and discuss examples. These invariants naturally appear in the framework of the bi-Hamiltonian approach to integrable systems on Lie algebras and are closely related to Mischenko-Fomenko's argument shift method.

Representation Theory
Nijenhuis operators on homogeneous spaces related to $C^*$-algebras

Tomasz Goliński,Gabriel Larotonda,Alice Barbora Tumpach

2024-10-29

Abstract:For a unital non-simple $C^*$-algebra $\mathcal A$ we consider its Banach--Lie group $G$ of invertible elements. For a given closed ideal $\mathfrak k$ in $\mathcal A$, we consider the embedded Banach--Lie subgroup $K$ of $G$ of elements differing from the unit element by an element in $\mathfrak k$. We study vector bundle maps of the tangent space of the homogeneous space $G/K$, induced by an admissible bounded operator on $\mathcal A$. In particular, we discuss when this vector bundle map is a Nijenhuis operator in $G/K$. The special case of almost complex structures in $G/K$ is also addressed. Examples for particular classes of $C^*$-algebras are presented, including the Toeplitz algebra and crossed products by $\mathbb Z$.

Differential Geometry,Functional Analysis,Operator Algebras
Isotopisms of nilpotent Leibniz algebras and Lie racks

Gianmarco La Rosa,Manuel Mancini,Gábor P. Nagy

DOI: https://doi.org/10.1080/00927872.2024.2330686

2024-03-09

Abstract:In this paper we study the isotopism classes of two-step nilpotent algebras. We show that every nilpotent Leibniz algebra $\mathfrak{g}$ with $\operatorname{dim}[\mathfrak{g},\mathfrak{g}]=1$ is isotopic to the Heisenberg Lie algebra or to the Heisenberg algebra $\mathfrak{l}_{2n+1}^{J_1}$, where $J_1$ is the $n \times n$ Jordan block of eigenvalue 1. We also prove that two such algebras are isotopic if and only if the Lie racks integrating them are isotopic. This gives the classification of Lie racks whose tangent space at the unit element is a nilpotent Leibniz algebra with one-dimensional commutator ideal. Eventually, we introduce new isotopism invariants for Leibniz algebras and Lie racks.

Rings and Algebras
Lie (Jordan) $ \sigma- $centralizer at the zero products on generalized matrix algebra

Mohd Arif Raza,Huda Eid Almehmadi

DOI: https://doi.org/10.3934/math.20241295

2024-01-01

AIMS Mathematics

Abstract:Given a unital commutative ring $ \mathscr{R} $, $ (\mathscr{A}, \mathscr{B}) $ and $ (\mathscr{B}, \mathscr{A}) $ are bimodules of $ \mathscr{M} $ and $ \mathscr{N} $, respectively, where $ \mathscr{A}, \mathscr{B} $ are unitals $ \mathscr{R}- $algebras. The $ \mathscr{R}- $algebra $ \mathscr{G} = $ $ \mathscr{G}(\mathscr{A}, \mathscr{M}, \mathscr{N}, \mathscr{B}) $ is a generalized matrix algebra described by the Morita context $ (\mathscr{A}, \mathscr{B}, \mathscr{M}, \mathscr{N}, \zeta_{\mathscr{M}\mathscr{N}}, \chi_{\mathscr{N}\mathscr{M}}) $. The present study investigated the structure of Lie (Jordan) $ \sigma- $centralizers at the zero products on order two generalized matrix algebra and established that each Jordan $ \sigma- $centralizer at the zero products is a $ \sigma- $centralizer at the zero product on order two generalized matrix algebra. We also provided sufficient and necessary conditions under which a Lie $ \sigma- $centralizer at the zero product is proper on an order two generalized matrix algebra.

mathematics, applied
Computation of Invariants of Lie Algebras by Means of Moving Frames

Vyacheslav Boyko,Jiri Patera,Roman Popovych

DOI: https://doi.org/10.1088/0305-4470/39/20/009

2010-02-24

Abstract:A new purely algebraic algorithm is presented for computation of invariants (generalized Casimir operators) of Lie algebras. It uses the Cartan's method of moving frames and the knowledge of the group of inner automorphisms of each Lie algebra. The algorithm is applied, in particular, to computation of invariants of real low-dimensional Lie algebras. A number of examples are calculated to illustrate its effectiveness and to make a comparison with the same cases in the literature. Bases of invariants of the real solvable Lie algebras up to dimension five, the real six-dimensional nilpotent Lie algebras and the real six-dimensional solvable Lie algebras with four-dimensional nilradicals are newly calculated and listed in tables.

Mathematical Physics,Representation Theory
Invariant Metrics on Nilpotent Lie algebras

R. García-Delgado

2024-09-14

Abstract:We state criteria for a nilpotent Lie algebra $\g$ to admit an invariant metric. We use that $\g$ possesses two canonical abelian ideals $\ide(\g) \subset \mathfrak{J}(\g)$ to decompose the underlying vector space of $\g$ and then we state sufficient conditions for $\g$ to admit an invariant metric. The properties of the ideal $\mathfrak{J}(\g)$ allows to prove that if a current Lie algebra $\g \otimes \Sa$ admits an invariant metric, then there must be an invariant and non-degenerate bilinear map from $\Sa \times \Sa$ into the space of centroids of $\g/\mathfrak{J}(\g)$. We also prove that in any nilpotent Lie algebra $\g$ there exists a non-zero, symmetric and invariant bilinear form. This bilinear form allows to reconstruct $\g$ by means of an algebra with unit. We prove that this algebra is simple if and only if the bilinear form is an invariant metric on $\g$.

Rings and Algebras
Stability relations for Hilbert space operators and a problem of Kaplansky

Laurent W. Marcoux,Heydar Radjavi,Sascha Troscheit,Yuanhang Zhang

2023-06-20

Abstract:In his monograph on Infinite Abelian Groups, I. Kaplansky raised three ``test problems" concerning their structure and multiplicity. As noted by Azoff, these problems make sense for any category admitting a direct sum operation. Here, we are interested in the operator theoretic version of Kaplansky's second problem which asks: if $A$ and $B$ are operators on an infinite-dimensional, separable Hilbert space and $A \oplus A$ is equivalent to $B \oplus B$ in some (precise) sense, is $A$ equivalent to $B$? We examine this problem under a strengthening of the hypothesis, where a ``primitive" square root $J_2(A)$ of $A\oplus A$ is assumed to be equivalent to the corresponding square root $J_2(B)$ of $B \oplus B$. When ``equivalence" refers to similarity of operators and $A$ is a compact operator, we deduce from this stronger hypothesis that $A$ and $B$ are similar. We exhibit a counterexample (due to J. Bell) of this phenomenon in the setting of unital rings. Also, we exhibit an uncountable family $\{ U_\alpha\}_{\alpha \in \Omega}$ of unitary operators, no two of which are unitarily equivalent, such that each $U_\alpha$ is unitarily equivalent to $J_n(U_\alpha)$, a ``primitive" $n^{th}$ root of $U_\alpha \oplus U_\alpha \oplus \cdots \oplus U_\alpha$.

Functional Analysis
On index of certain nilpotent Lie algebras

A. N. Panov

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

IF: 0.6

2008-01-19

Representation Theory

Abstract:We introduce the method of calculation of index of Lie algebras that are factors of the unitriangular Lie algebra with respect to ideals spanned by subsets of root vectors.

Casimir operators of Lie algebras with a nilpotent radical

The Casimir Invariants of Universal Lie algebra extensions via commutative structures

The Frobenius semiradical, generic stabilisers, and Poisson centre for nilradicals

Eigenvalue problem versus Casimir functions for Lie algebras

The Classification of Complete Lie Algebras with Commutative Nilpotent Radical

Maximal Eigenvalues of A Casimir Operator and Multiplicity-Free Modules

Topological radicals, IV. Frattini theory of Banach Lie algebras

On the stable radical of the module category for special biserial algebras

On class operators for the lower radical class and semisimple closure constructions

Interplay between Algebraic Groups, Lie Algebras and Operator Ideals

Equivariant quantizations of the positive nilradical and covariant differential calculi

Three-dimensional Lie algebras admitting regular semisimple algebraic Nijenhuis operators

On involutions of minuscule Kirillov algebras induced by real structures

Jordan-Kronecker invariants of finite-dimensional Lie algebras

Nijenhuis operators on homogeneous spaces related to $C^*$-algebras

Isotopisms of nilpotent Leibniz algebras and Lie racks

Lie (Jordan) $ \sigma- $centralizer at the zero products on generalized matrix algebra

Computation of Invariants of Lie Algebras by Means of Moving Frames

Invariant Metrics on Nilpotent Lie algebras

Stability relations for Hilbert space operators and a problem of Kaplansky

On index of certain nilpotent Lie algebras