Second Homology Groups and Universal Coverings of Steinberg Leibniz Algebras of Small Characteristic

It is known that the second Leibniz homology group HL ₂ (𝔰𝔱𝔩 _n (R)) of the Steinberg Leibniz algebra 𝔰𝔱𝔩 _n (R) is trivial for n ≥ 5. In this article, we determine HL ₂(𝔰𝔱𝔩 _n (R)) explicitly (which are shown to be not necessarily trivial) for n = 3, 4 without any assumption on the base ring.     

On Cartan Invariants and Blocks of Zassenhaus Algebras #

In this article, we determine the Cartan invariants for Zassenhaus algebras W(1,n). This is done by reducing representations of generalized restricted Cartan type Lie algebra W(1,n) to representations of restricted Lie algebras W(1,1) and of ± b𝔰 ± b𝔩(2), and then extending Feldvoss-Nakano's argument on W(1,1) to the case W(1,n).     

Representations of Nonstandard Poincaré Hopf Algebras

Let 𝔭 _q (1 + 1) be a nonstandard Poincaré Hopf algebra, we characterize all finite dimensional completely E-semisimple modules of 𝔭 _q (1 + 1). We also classify all finite dimensional E-semisimple modules of 𝔭 _q for a special quotient algebra of 𝔭 _q (1 + 1). Moreover, the decomposition of tensor product of two finite dimensional E-semisimple indecomposable modules is obtained.     

Symplectic meanders

Analogous to the 𝔰𝔩(n) case, we address the computation of the index of seaweed subalgebras of 𝔰𝔭(2n) by introducing graphical representations called symplectic meanders. Formulas for the algebra’s index may be computed by counting the connected components of its associated meander. In certain cases, formulas for the index can be given in terms of elementary functions.     

Reductivity of the Lie Algebra of a Bilinear Form

Let f: V × V → F be a totally arbitrary bilinear form defined on a finite dimensional vector space V over a field F, and let L(f) be the subalgebra of 𝔤𝔩(V) of all skew-adjoint endomorphisms relative to f. Provided F is algebraically closed of characteristic not 2, we determine all f, up to equivalence, such that L(f) is reductive. As a consequence, we find, over an arbitrary field, necessary and sufficient conditions for L(f) to be simple, semisimple or isomorphic to 𝔰𝔩(n) for some n.     

Symmetric Powers of Nat 𝔰𝔩2(𝕂)

We identify the spaces of homogeneous polynomials in two variables 𝕂[Y^k, XY^k?1, ?, X^k] among representations of the Lie ring 𝔰𝔩₂(𝕂). This amounts to constructing a compatible 𝕂-linear structure on some abstract 𝔰𝔩₂(𝕂)-modules, where 𝔰𝔩₂(𝕂) is viewed as a Lie ring.     

On Universal Central Extensions of Leibniz Algebras

We construct the endofunctor 𝔲𝔠𝔢 between the category of Leibniz algebras which assigns to a perfect Leibniz algebra its universal central extension, and we obtain the isomorphism 𝔲𝔠𝔢_Lie(𝔮_Lie) ? (𝔲𝔠𝔢_Leib(𝔮))_Lie, where 𝔮 is a perfect Leibniz algebra satisfying the condition [x, [x, y]] + [[x, y], x] = 0, for all x, y ∈ 𝔮. Moreover, we obtain several results concerning the lifting of automorphisms and derivations in a covering. We also study the relationship between the universal central extension of a semidirect product of perfect Leibniz algebras and the semidirect product of the universal central extension of both of them.     

ℤ/2ℤ Invariants of the free fermion algebra

By using quantum vertex operators we study the invariance of the rank n free-fermion vertex algebra under the action of the group ?∕2? and obtain its minimal generating set. When n = 1, it is well known that this subalgebra is isomorphic to the Virasoro vertex algebra with central charge 1∕2. In the n = 2 case we show that invariant subalgebra is isomorphic to a simple quotient of a certain W-algebra, which we explicitly construct. For n≥3, our approach leads to a rediscovery of the spinor representation of the a?ne vertex algebra associated to the Lie algebra 𝔰𝔬(n) of I. Frenkel.     

Non-abelian Tensor Product of Leibniz Algebras and an Exact Sequence in Leibniz Homology

Abstract

Let 𝔪 and 𝔫 be two-sided ideals of a Leibniz algebra 𝔤 such that 𝔤 = 𝔪 + 𝔫. The goal of the paper is to achieve the exact sequence Ker(𝔪  𝔫 + 𝔫  𝔪 → 𝔤) → HL ₂(𝔤) → HL ₂(𝔤/𝔪) ⊕ HL ₂(𝔤/𝔫) → 𝔪 ∩ 𝔫/ [𝔪,𝔫] → HL ₁(𝔤) → HL ₁(𝔤/𝔪) ⊕ HL ₁(𝔤/𝔫) → 0, where HL denotes the Leibniz homology with trivial coefficients of a Leibniz algebra and denotes a non-abelian tensor product of Leibniz algebras.     

On the composition subalgebras of Bridgeland’s Hall algebras

Let A be a finite dimensional hereditary algebra over a finite field k and 𝒫 the category consisting of finite dimensional projective (left) A-modules. In this paper, we consider the composition subalgebra of Bridgeland’s Hall algebra of the category 𝒞_m(𝒫) of m-cyclic complexes for any positive integer m≥2 and determine its generating relations.     

The Lower Socle and Finite Rank Elementary Operators

Abstract

We define the lower socle of a semiprime algebra 𝒜 as the sum of all minimal left ideals 𝒜e where e is a minimal idempotent such that the division algebra e𝒜e is finite dimensional. We study the connection between the condition that the elements a _k , b _k , 1 ≤ k ≤ n, lie in the lower socle of 𝒜 and the condition that the elementary operator x ? a ₁ xb ₁ + ? + a _n xb _n has finite rank. As an application we obtain some results on derivations certain of whose powers have finite rank.     

On Identities of a Ternary Quaternion Algebra

This article studies a simple 4-dimensional ternary algebra 𝒜 which appears analogously to the quaternions from the Lie algebra 𝔰𝔩(2). We describe the heights 1 and 2 identities, and the derivations of 𝒜. Based on 𝒜, some ternary enveloping algebras for ternary Filippov algebras are constructed.     

Generalizations of Strassen's Equations for Secant Varieties of Segre Varieties

In this article, we compute the center of the infinitesimal Hecke algebras H _z associated to 𝔰𝔩₂; then using nontriviality of the center, we study representations of these algebras in the framework of the BGG category 𝒪. We also discuss central elements in infinitesimal Hecke algebras over 𝔤𝔩 _n and 𝔰𝔭(2n) for all n. We end by proving an analogue of Duflo's theorem for H _z .     

Right Coideal Subalgebras of Quantized Universal Enveloping Algebras of Type G 2*

In this article we describe the right coideal subalgebras containing all group-like elements of the two-parameter quantum group U _q (𝔤), where 𝔤 is a simple Lie algebra of type G ₂, while the main parameter of quantization q is not a root of 1. As a consequence, we determine that there are precisely 60 different right coideal subalgebras containing all group-like elements. If the multiplicative order t of q is finite, t > 4, t ≠ 6, then the same classification remains valid for homogeneous right coideal subalgebras of the two-parameter version of the small Lusztig quantum group u _q (𝔤).     

TORSION THEORIES FOR FINITE VON NEUMANN ALGEBRAS

ABSTRACT

The study of modules over a finite von Neumann algebra 𝒜 can be advanced by the use of torsion theories. In this work, some torsion theories for 𝒜 are presented, compared, and studied. In particular, we prove that the torsion theory (T, P) (in which a module is torsion if it is zero-dimensional) is equal to both Lambek and Goldie torsion theories for 𝒜.

Using torsion theories, we describe the injective envelope of a finitely generated projective 𝒜-module and the inverse of the isomorphism K ₀(𝒜) → K ₀ (𝒰), where 𝒰 is the algebra of affiliated operators of 𝒜. Then the formula for computing the capacity of a finitely generated module is obtained. Lastly, we study the behavior of the torsion and torsion-free classes when passing from a subalgebra ? of a finite von Neumann algebra 𝒜 to 𝒜. With these results, we prove that the capacity is invariant under the induction of a ?-module.     

On Behavior of Solvable Ideals of Lie Algebras Under Outer Derivations

Let L be a finite dimensional Lie algebra over a field F. It is well known that the solvable radical S(L) of the algebra L is a characteristic ideal of L if char F = 0, and there are counterexamples to this statement in case char F = p > 0. We prove that the sum S(L) of all solvable ideals of a Lie algebra L (not necessarily finite dimensional) is a characteristic ideal of L in the following cases: 1) char F = 0; 2) S(L) is solvable and its derived length is less than log₂ p.     

Contact and Frobenius solvable Lie algebras with abelian nilradical

The aim of this work is to characterize the families of Frobenius (respectively, contact) solvable Lie algebras that satisfies the following condition: 𝔤 = 𝔥?V, where 𝔥?𝔤𝔩(V), |dim V?dim 𝔤|≤1 and NilRad(𝔤) = V, V being a finite dimensional vector space. In particular, it is proved that every complex Frobenius solvable Lie algebra is decomposable, whereas that in the real case there are only two indecomposable Frobenius solvable Lie algebras.     

Factorisations des extensions galoisiennes

ABSTRACT

In general, Clifford algebras of quadratic forms are finite dimensional; therefore, their representations are easy to describe. However, for homogenous polynomial forms of degree dbm > 2, the situation is different because their Clifford algebras are infinite dimensional. In this article, we get a finite set of pairwise orthogonal idempotents of sum 1 in these algebras. This permits us to obtain interesting properties for d-dimensional representations of polynomial forms of degree d; for example, we show that the image C of the Clifford algebra by such representation is an endomorphism algebra of finitely generated projective Z(C)-module of d-rank, direct sum of finitely generated projective Z(C)-module of 1-rank. Before establishing this, we give a new proof of the Poincaré-Birkhoff-Witt theorem for these algebras with the help of a general composition lemma. At the end of this work, we give a linearization of diagonal binary and ternary forms of degree dbm > 3.     

The Coradical Filtration for Drinfeld Double Ringel-Hall Algebras

Abstract

Let 𝒟(Λ) be the Drinfeld double Ringel-Hall algebra with Λ being any finite dimensional hereditary algebra over a finite field k. We determine the coradical filtration for 𝒟(Λ). As an application, we describe the group of Hopf algebra automorphisms of the Drinfeld double Ringel composition algebra of Λ.     

Formal Expansion of Harish-Chandra Homomorphism

Abstract

Let 𝔤 be a complex semisimple Lie algebra with adjoint group G and let 𝔥 be a Cartan subalgebra of 𝔤. Let Â(𝔤) and Â(𝔥) denote the algebra of differential operators with formal power series coefficients on 𝔤 and 𝔥 respectively. We construct a subalgebra A _𝔤 of Â(𝔤) containing all the pull-backs of the differential operators in G attached to any element x in 𝔤. We also consider the projection P: A _𝔤 → Â _𝔥. Then, we calculate explicity the pull-back of the differential operator in G attached to an element h in 𝔥 modulo Ker P.