More on the Hochschild and Cyclic Homologies of Crossed Modules of Algebras

We investigate the Hochschild and cyclic homologies of crossed modules of algebras in some special cases. We prove that the cotriple cyclic homology of a crossed module of algebras (I, A, ρ) is isomorphic to HC _*(ρ): HC _*(I) → HC _*(A), provided I is H-unital and the ground ring is a field with characteristic zero. We also calculate the Hochschild and cyclic homologies of a crossed module of algebras (R, 0, 0) for each algebra R with trivial multiplication. At the end, we give some applications proving a new five term exact sequence.     

Poisson color algebras of arbitrary degree

A Poisson algebra is a Lie algebra endowed with a commutative associative product in such a way that the Lie and associative products are compatible via a Leibniz rule. If we part from a Lie color algebra, instead of a Lie algebra, a graded-commutative associative product and a graded-version Leibniz rule we get a so-called Poisson color algebra (of degree zero). This concept can be extended to any degree, so as to obtain the class of Poisson color algebras of arbitrary degree. This class turns out to be a wide class of algebras containing the ones of Lie color algebras (and so Lie superalgebras and Lie algebras), Poisson algebras, graded Poisson algebras, z-Poisson algebras, Gerstenhaber algebras, and Schouten algebras among other classes of algebras. The present paper is devoted to the study of structure of Poisson color algebras of degree g₀, where g₀ is some element of the grading group G such that g₀ = 0 or 4g₀≠0, and with restrictions neither on the dimension nor the base field, by stating a second Wedderburn-type theorem for this class of algebras.     

Some notes on the second homology of Leibniz algebras

Some properties of the second homology and cover of Leibniz algebras are established. By constructing a stem cover, the second Leibniz homology and cover of abelian, Heisenberg Lie algebras and cyclic Leibniz algebras are described. Also, for the dimension of a non-cyclic nilpotent Leibniz algebra L, we obtain dim(HL₂(L))≥2.     

On the Cyclic Homology of an Algebra Associated with a Cyclic Quiver and a Monic Polynomial

In this article, we compute the Hochschild homology group of A = KΓ/(f(X ^s )), where KΓ is the path algebra of the cyclic quiver Γ with s vertices and s arrows over a commutative ring K, f(x) is a monic polynomial over K, and X is the sum of all arrows in KΓ. Moreover, we compute the cyclic homology group of A in the case f(x) = (x ? a) ^m , where a ∈ K, so that we can determine the cyclic homology of A in general when K is an algebraically closed field.     

Cyclic Homology of Hopf Comodule Algebras and Hopf Module Coalgebras

Abstract

In this paper we construct a cylindrical module A ? ? for an ?-comodule algebra A, where the antipode of the Hopf algebra ? is bijective. We show that the cyclic module associated to the diagonal of A ? ? is isomorphic with the cyclic module of the crossed product algebra A ? ?. This enables us to derive a spectral sequence for the cyclic homology of the crossed product algebra. We also construct a cocylindrical module for Hopf module coalgebras and establish a similar spectral sequence to compute the cyclic cohomology of crossed product coalgebras.     

Periodic Cyclic Homology of Iwahori–Hecke Algebras

We determine the periodic cyclic homology of the Iwahori–Hecke algebras H _q , for q * not a proper root of unity. (In this paper, by a proper root of unity we shall mean a root of unity other than 1.) Our method is based on a general result on periodic cyclic homology, which states that a weakly spectrum preserving morphism of finite type algebras induces an isomorphism in periodic cyclic homology. The concept of a weakly spectrum preserving morphism is defined in this paper, and most of our work is devoted to understanding this class of morphisms. Results of Kazhdan and Lusztig and Lusztig show that, for the indicated values of q, there exists a weakly spectrum preserving morphism _q : H _q J, to a fixed finite type algebra J. This proves that _q induces an isomorphism in periodic cyclic homology and, in particular, that all algebras H _q have the same periodic cyclic homology, for the indicated values of q. The periodic cyclic homology groups of the algebra H ₁ can then be determined directly, using results of Karoubi and Burghelea, because it is the group algebra of an extended affine Weyl group.     

Identities of Group Algebras

We consider polynomial identities of group algebras over a field F of characteristic zero. We prove that any PI group algebra satisfies the same identities as a matrix algebra M _n (F ), where n is the maximal degree of finite dimensional representations of the group over algebraic extensions of F.     

Realizing Operadic Plus-constructions as Nullifications

In this paper we generalize the plus-construction given by M. Livernet for algebras over rational differential graded operads to the framework of cofibrant operads over an arbitrary ring (the category of algebras over such operads admits a closed model category structure). We follow the modern approach of J. Berrick and C. Casacuberta defining topological plus-construction as a nullification with respect to a universal acyclic space. We construct a universalH _*^Q-acyclic algebra and we define A A⁺ as the -nullification of the algebra A. This map induces an isomorphism in Quillen homology and quotients out the maximal perfect ideal of _0(A). As an application, we consider for any associative algebra R the plus-constructions of gl(R) in the categories of homotopy Lie and homotopy Leibniz algebras. This gives rise to two new homology theories for associative algebras, namely homotopy cyclic and homotopy Hochschild homologies. Over the rationals these theories coincide with the classical cyclic and Hochschild homologies.Primary: 19D06, 19D55; Secondary: 18D50, 18G55, 55P60, 55U35Received March 2003     

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.     

∗-Prime Group Algebras

An associative algebra R over a field K is said to be right ?-prime if for every nonzero r ? R, there exists a finitely generated subalgebra S of R such that rSt = 0 implies t = 0. Clearly, strongly prime implies ?-prime and ?-prime implies prime. A large number of examples of group algebras are given which show that the concept of ?-prime lies strictly between prime and strongly prime. A complete characterization of ?-prime group algebras is given. It is proved that a group algebra KG of the group G over the field K is ?-prime if and only if Λ⁺(G) = (1). Intersection theorems play an important role in the study. In the process, a new intersection theorem for ?-prime group algebras is obtained. Elementwise characterization of the ?-prime radical is given and its relation with some well-known radicals is discussed.     

Derivations nilpotent on subsets of prime rings

ABSTRACT

Let D be a division algebra with center F. Consider the group CK ₁(D) = D*/F*D′ where D* is the group of invertible elements of D and D′ is its commutator subgroup. In this note we shall show that, assuming a division algebra D is a product of cyclic algebras, the group CK ₁(D) is trivial if and only if D is an ordinary quaternion algebra over a real Pythagorean field F. We also characterize the cyclic central simple algebras with trivial CK ₁ and show that CK ₁ is not trivial for division algebras of index 4. Using valuation theory, the group CK ₁(D) is computed for some valued division algebras.

     

Invariant Cyclic Homology

We define a noncommutative analogue of invariant de Rham cohomology. More precisely, for a triple (A, H, M) consisting of a Hopf algebra H, an H-comodule algebra A, an H-module M, and a compatible grouplike element in H, we define the cyclic module of invariant chains on A with coefficients in M and call its cyclic homology the invariant cyclic homology of A with coefficients in M. We also develop a dual theory for coalgebras. Examples include cyclic cohomology of Hopf algebras defined by Connes–Moscovici and its dual theory. We establish various results and computations including one for the quantum group SL(q,2).     

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.     

Cyclic Homology of Hopf Algebras

A cyclic cohomology theory adapted to Hopf algebras has been introduced recently by Connes and Moscovici. In this paper, we consider this object in the homological framework, in the spirit of Loday and Quillen and Karoubi's work on the cyclic homology of associative algebras. In the case of group algebras, we interpret the decomposition of the classical cyclic homology of a group algebra in terms of this homology. We also compute both cyclic homologies for truncated quiver algebras.     

The mod 2 Homology of the General Linear Group of a 2-adic Local Field

Let F be a finite extension of the 2-adic rational numbers. We compute the mod 2 homology of the general linear group GL(F) as a Hopf algebra over the Steenrod algebra. The answer is formulated in terms of the well-known homology algebras of the infinite unitary group U, its classifying space BU, and the classifying space BO of the infinite orthogonal group.     

On the Hochschild (Co)Homology of Quantum Exterior Algebras

We compute the Hochschild cohomology and homology of the algebra Λ = k 〈x, y〉/(x ², xy + qyx, y ²) with coefficients in ₁ Λ_ψ for every degree preserving k-algebra automorphism ψ : Λ → Λ. As a result we obtain several interesting examples of the homological behavior of Λ as a bimodule.     

Irreducible Subgroups of GL 1(D) Satisfying Group Identities

ABSTRACT

Let D be a finite dimensional F -central division algebra and G an irreducible subgroup of D*: = GL ₁(D). Here we investigate the structure of D under various group identities on G. In particular, it is shown that when [D:F] = p ², p a prime, then D is cyclic if and only if D* contains a nonabelian subgroup satisfying a group identity.     

L'homologie cyclique des algèbres enveloppantes

Summary For any Lie algebra g, we compute the Hochschild and cyclic homology groups of its enveloping algebra in terms of the canonical Lie-Poisson structure on the dual g^*. We also discuss the collapsing of Connes spectral sequence for cyclic homology, particularly in the case of semisimple Lie algebras.