Commutative quotients of finite W-algebras

In this paper we reduce the problem of 1-dimensional representations for the finite W-algebras and Humphreys' conjecture on small representations of reduced enveloping algebras to the case of rigid nilpotent elements in exceptional Lie algebras. We use Katsylo's results on sections of sheets to determine the Krull dimension of the largest commutative quotient of the finite W-algebra U(g,e).     

Nilmanifolds with a calibrated G2-structure

We introduce obstructions to the existence of a calibrated G₂-structure on a Lie algebra g of dimension seven, not necessarily nilpotent. In particular, we prove that if there is a Lie algebra epimorphism from g to a six-dimensional Lie algebra h with kernel contained in the center of g, then h has a symplectic form. As a consequence, we obtain a classification of the nilpotent Lie algebras that admit a calibrated G₂-structure.     

Chains of prime ideals in tensor products of algebras

This paper investigates the length of particular chains of prime ideals in tensor products of algebras over a field k. As an application, we compute dim(A⊗_kA) for a new family of domains A that are k-algebras.     

Commutator identities of the homotopes of (−1, 1)-algebras

We study the commutator algebras of the homotopes of (?1, 1)-algebras and prove that they are Malcev algebras satisfying the Filippov identity h _a (x, y, z) = 0 in the case of strictly (?1, 1)-algebras. We also proved that every Malcev algebra with the identities xy ³ = 0, xy ² z ² = 0, and h _a (x, y, z) = 0 is nilpotent of index at most 6.     

1-Dimensional representations and parabolic induction for W-algebras

A W-algebra is an associative algebra constructed from a reductive Lie algebra and its nilpotent element. This paper concentrates on the study of 1-dimensional representations of W-algebras. Under some conditions on a nilpotent element (satisfied by all rigid elements) we obtain a criterium for a finite dimensional module to have dimension 1. It is stated in terms of the Brundan–Goodwin–Kleshchev highest weight theory. This criterium allows to compute highest weights for certain completely prime primitive ideals in universal enveloping algebras. We make an explicit computation in a special case in type E₈. Our second principal result is a version of a parabolic induction for W-algebras. In this case, the parabolic induction is an exact functor between the categories of finite dimensional modules for two different W-algebras. The most important feature of the functor is that it preserves dimensions. In particular, it preserves one-dimensional representations. A closely related result was obtained previously by Premet. We also establish some other properties of the parabolic induction functor.     

Infinite-dimensional super Lie groups

A super Lie group is a group whose operations are G^∞ mappings in the sense of Rogers. Thus the underlying supermanifold possesses an atlas whose transition functions are G^∞ functions. Moreover the images of our charts are open subsets of a graded infinite-dimensional Banach space since our space of supernumbers is a Banach Grassmann algebra with a countably infinite set of generators.In this context, we prove that if h is a closed, split sub-super Lie algebra of the super Lie algebra of a super Lie group G, then h is the super Lie algebra of a sub-super Lie group of G. Additionally, we show that if g is a Banach super Lie algebra satisfying certain natural conditions, then there is a super Lie group G such that the super Lie algebra g is in fact the super Lie algebra of G. We also show that if H is a closed sub-super Lie group of a super Lie group G, then G→G/H is a principal fiber bundle.We emphasize that some of these theorems are known when one works in the super-analytic category and also when the space of supernumbers is finitely generated in which case, one can use finite-dimensional techniques. The issues dealt with here are that our supermanifolds are modeled on graded Banach spaces and that all mappings must be morphisms in the G^∞ category.     

Classification of solvable Lie algebras with a given nilradical by means of solvable extensions of its subalgebras

We construct all solvable Lie algebras with a specific n-dimensional nilradical n_n,3 which contains the previously studied filiform (n-2)-dimensional nilpotent algebra n_n-2,1 as a subalgebra but not as an ideal. Rather surprisingly it turns out that the classification of such solvable algebras can be deduced from the classification of solvable algebras with the nilradical n_n-2,1. Also the sets of invariants of coadjoint representation of n_n,3 and its solvable extensions are deduced from this reduction. In several cases they have polynomial bases, i.e. the invariants of the respective solvable algebra can be chosen to be Casimir invariants in its enveloping algebra.     

NILPOTENCY,SOLVABILITY AND RADICALS IN CATEGORIES

Abstract

Nilpotent and solvable ideals are defined and investigated in categories. The relation between the prime radical and the sum of the solvable ideals (which is also a radical) is discussed in categories. For example: If an object satisfies the maximal condition for ideals, then the prime radical is equal to the sum of the solvable ideals. Certain generalizations of theorems in rings, groups, Lie algebras, etc. are also proven, for example: An ideal α: I → A is semiprime if and only if A/I contains no non-zero nilpotent ideals.     

Tensor Product Representations of the Lie Superalgebra 𝔭(n) and Their Centralizers

Abstract

We construct an associative algebra A _k and show that there is a representation of A _k on V ^?k , where V is the natural 2n-dimensional representation of the Lie superalgebra 𝔭(n). We prove that A _k is the full centralizer of 𝔭(n) on V ^?k , thereby obtaining a “Schur-Weyl duality” for the Lie superalgebra 𝔭(n). This result is used to understand the representation theory of the Lie superalgebra 𝔭(n). In particular, using A _k we decompose the tensor space V ^?k , for k = 2 or 3, and show that V ^?k is not completely reducible for any k ≥ 2.     

Factorisation of Lie resolvents

Let G be a group, F a field of prime characteristic p, and V a finite-dimensional FG-module. For each positive integer r, the rth homogeneous component of the free Lie algebra on V is an FG-module called the rth Lie power of V. Lie powers are determined, up to isomorphism, by certain functions Φ^r on the Green ring of FG, called ‘Lie resolvents’. Our main result is the factorisation Φ^pmk=Φ^pm°Φ^k whenever k is not divisible by p. This may be interpreted as a reduction to the key case of p-power degree.     

On the derived algebra of a centraliser

Let g be a classical Lie algebra, e∈g a nilpotent element and ge⊂g the centraliser of e. We prove that ge=[ge,ge] if and only if e is rigid. It is also shown that if e∈[ge,ge], then the nilpotent radical of ge coincides with [ge(1),ge], where ge(1)⊂ge is an eigenspace of a characteristic of e corresponding to the eigenvalue 1.     

Lie triple derivation of the Lie algebra of strictly upper triangular matrix over a commutative ring

Let N(n,R) be the nilpotent Lie algebra consisting of all strictly upper triangular n×n matrices over a 2-torsionfree commutative ring R with identity 1. In this paper, we prove that any Lie triple derivation of N(n,R) can be uniquely decomposited as a sum of an inner triple derivation, diagonal triple derivation, central triple derivation and extremal triple derivation for n≧6. In the cases 1≦n≦5, the results are trivial.     

Second cohomology groups for Frobenius kernels and related structures

Let G be a simple simply connected affine algebraic group over an algebraically closed field k of characteristic p for an odd prime p. Let B be a Borel subgroup of G and U be its unipotent radical. In this paper, we determine the second cohomology groups of B and its Frobenius kernels for all simple B-modules. We also consider the standard induced modules obtained by inducing a simple B-module to G and compute all second cohomology groups of the Frobenius kernels of G for these induced modules. Also included is a calculation of the second ordinary Lie algebra cohomology group of Lie(U) with coefficients in k.     

Lie algebras generated by bounded linear operators on Hilbert spaces

It is proved that the operator Lie algebra ε(T,T^∗) generated by a bounded linear operator T on Hilbert space H is finite-dimensional if and only if T=N+Q, N is a normal operator, [N,Q]=0, and dimA(Q,Q^∗)<+∞, where ε(T,T^∗) denotes the smallest Lie algebra containing T,T^∗, and A(Q,Q^∗) denotes the associative subalgebra of B(H) generated by Q,Q^∗. Moreover, we also give a sufficient and necessary condition for operators to generate finite-dimensional semi-simple Lie algebras. Finally, we prove that if ε(T,T^∗) is an ad-compact E-solvable Lie algebra, then T is a normal operator.     

On reachable elements and the boundary of nilpotent orbits in simple Lie algebras

Let g be a simple Lie algebra. An element x∈g is said to be reachable, if it is contained in the commutant of its centraliser. Any reachable element is necessarily nilpotent. We study various properties of reachable elements, and a relationship between the property of being reachable and the codimension of the boundary of the corresponding orbit. Some general estimates for the boundary of an arbitrary nilpotent orbit is given.     

Abelian subalgebras in some particular types of Lie algebras

It is well-known that there exists a close link between Lie Theory and Relativity Theory. Indeed, the set of all symmetries of the metric in our four-dimensional spacetime is a Lie group. In this paper we try to study this link in depth, by dealing with three particular types of Lie algebras: h_n algebras, g_n algebras and Heisenberg algebras. Our main goal is to compute the maximal abelian dimensions of each of them, which will allow us to move a step forward in the advancement of this subject.     

On Lie Nilpotent Rings and Cohen's Theorem

We study certain (two-sided) nil ideals and nilpotent ideals in a Lie nilpotent ring R. Our results lead us to showing that the prime radical rad(R) of R comprises the nilpotent elements of R, and that if L is a left ideal of R, then L + rad(R) is a two-sided ideal of R. This in turn leads to a Lie nilpotent version of Cohen's theorem, namely if R is a Lie nilpotent ring and every prime (two-sided) ideal of R is finitely generated as a left ideal, then every left ideal of R containing the prime radical of R is finitely generated (as a left ideal). For an arbitrary ring R with identity we also consider its so-called n-th Lie center Z _n (R), n ≥ 1, which is a Lie nilpotent ring of index n. We prove that if C is a commutative submonoid of the multiplicative monoid of R, then the subring ?Z _n (R) ∪ C? of R generated by the subset Z _n (R) ∪ C of R is also Lie nilpotent of index n.     

Linear quivers, generic extensions and Kashiwara operators

In the present paper, we introduce the generic extension graph G of a Dynkin or cyclic quiver Q and then compare this graph with the crystal graph C for the quantized enveloping algebra associated to Q via two maps ℘_Q, _Q : Ω → Λ_Q induced by generic extensions and Kashiwara operators, respectively, where Λ_Q is the set of isoclasses of nilpotent representations of Q, and Ω is the set of all words on the alphabet I, the vertex set of Q. We prove that, if Q is a (finite or infinite) linear quiver, then the intersection of the fibres ℘_Q⁻¹ (λ) and KQ⁻¹ (λ) is non-empty for every λ ∈ Λ _Q. We will also show that this non-emptyness property fails for cyclic quivers.     

The Zassenhaus variety of a reductive Lie algebra in positive characteristic

Let g be the Lie algebra of a connected reductive group G over an algebraically closed field k of characteristic p>0. Let Z be the centre of the universal enveloping algebra U=U(g) of g. Its maximal spectrum is called the Zassenhaus variety of g. We show that, under certain mild assumptions on G, the field of fractions Frac(Z) of Z is G-equivariantly isomorphic to the function field of the dual space g^∗ with twisted G-action. In particular Frac(Z) is rational. This confirms a conjecture of J. Alev. Furthermore we show that Z is a unique factorisation domain, confirming a conjecture of A. Braun and C. Hajarnavis. Recently, A. Premet used the above result about Frac(Z), a result of Colliot-Thelene, Kunyavskii, Popov and Reichstein and reduction mod p arguments to show that the Gelfand-Kirillov conjecture cannot hold for simple complex Lie algebras that are not of type A, C or G₂.