Related papers: A Strict Positivstellensatz for Enveloping Algebra…
The second author gave a formula for the elements of the enveloping algebra of a Lie superalgebra defined by Gorelik under an appropriate unimodularity assumption. We show that this formula is a particular case of a formula for the Jacobian…
We use Reznick's Theorem for positive homogeneous polynomials to prove an elliptic regularity result for representations of enveloping algebras of Lie algebras. This allows us to relax a technical condition for a sum of squares…
We prove a noncommutative real Nullstellensatz for 2-step nilpotent Lie algebras that extends the classical, commutative real Nullstellensatz as follows: Instead of the real polynomial algebra $\mathbb R[x_1, \dots, x_d]$ we consider the…
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 g be the Lie algebra of a connected, simply connected semisimple algebraic group over an algebraically closed field of sufficiently large positive characteristic. We study the compatibility between the Koszul grading on the restricted…
Let k be an algebraically closed field of positive characteristic and G a simple algebraic group defined over k. Under the assumption that the characteristic is a good prime for G, we determine a maximal G-stable subvariety U' of the…
Real algebra is usually thought of as the study of certain kinds of preorders on fields and rings. Among its core themes are the separation theorems known as Positivstellens\"atze. However, there is a nascent subfield of real algebra which…
We study localizations (in the sense of J. L. Taylor) of the universal enveloping algebra, U(g), of a complex Lie algebra g. Specifically, let f : U(g) --> H be a homomorphism to some well-behaved topological Hopf algebra H. We formulate…
Following Robert's [26], we study the structure of unitary groups and groups of approximately inner automorphisms of unital $C^*$-algebras, taking advantage of the former being Banach-Lie groups. For a given unital $C^*$-algebra $A$, we…
We show that a class of algebras is closed under the taking of homomorphic images and direct products if and only if the class consists of all algebras that satisfy a set of (generally simultaneous) equations. For classes of regular…
In a broad sense, positivstellens\"atze are results about representations of polynomials which are strictly positive on a given set. We give constructive and, to a large extent, elementary proofs of some known positivstellens\"atze for…
The study of open quantum systems relies on the notion of unital completely positive semigroups on $C^*$-algebras representing physical systems. The natural generalisation would be to consider the unital completely positive semigroups on…
Let $\mathbb{K}$ be an algebraically closed field of characteristic 0. A finite dimensional Lie algebra $\mathfrak{g}$ over $\mathbb{K}$ is said to be stable if there exists a linear form $g\in\mathfrak{g}^{*}$ and a Zariski open subset in…
A well-known and old result of Hazewinkel and Koszul states that the cohomology of a finite-dimensional Lie algebra is isomorphic, up to a suitable shift, to its twisted homology, a Lie-theoretical version of Poincare duality. This paper…
Using the notion of existentially closed structures, we obtain embedding theorems for groups and Lie algebras. We also prove the existence of some groups and Lie algebras with prescribed properties.
Let $G$ be a complex reductive algebraic group, $g$ its Lie algebra and $h$ a reductive subalgebra of $g$, $n$ a positive integer. Consider the diagonal actions $G:g^n, N_G(h):h^n$. We study a relation between the algebra $C[h^n]^{N_G(h)}$…
We show how various constructions of $\mathbb{Z}$-graded Lie superalgebras are related to each other. These Lie superalgebras have a Lie algebra $\mathfrak{g}$ as the subalgebra at degree 0, an odd $\mathfrak{g}$-module V as the subspace at…
We call a finite, spanning set of a semi-simple real Lie algebra a distinguished set if it satisfies the following property: The Lie bracket of any two elements out of the set is, up to some constant, another element in the set; conversely,…
We prove that for a connected, semisimple linear Lie group $G$ the spaces of generating pairs of elements or subgroups are well-behaved in a number of ways: the set of pairs of elements generating a dense subgroup is Zariski-open in the…
This paper investigates the toral stabilizer of a finite-dimensional restricted Lie algebra $(\mathfrak{g},[p])$, defined over an algebraically closed field $k$ of positive characteristic. We compute the group of toral stabilizers of some…