Quantization of Lie bialgebras, II

This paper is a continuation of [EK]. We show that the quantization procedure of [EK] is given by universal acyclic formulas and defines a functor from the category of Lie bialgebras to the category of quantized universal enveloping algebras. We also show that this functor defines an equivalence between the category of Lie bialgebras over k [[h]] and the category of quantized universal enveloping (QUE) algebras.     

Cohen–Macaulay Isolated Singularities with a Dualizing Module

We generalize results of Foxby concerning a commutative Nötherian ring to a certain noncommutative Nötherian algebra Λ over a commutative Gorenstein complete local ring. We assume that Λ is a Cohen–Macaulay isolated singularity having a dualizing module. Then the same method as in the commutative cases works and we obtain a category equivalence between two subcategories of mod Λ, one of which includes all finitely generated modules of finite Gorenstein dimension. We give examples of such algebras which are not Gorenstien; orders related to almost Bass orders and some k-Gorenstein algebras for an integer k.Presented by I. Reiten ^★The author is supported by Grant-in-Aid for Scientific Researches B(1) No. 14340007 in Japan.     

Automorphic equivalence in the varieties of representations of Lie algebras

Abstract

In this paper, we consider the wide class of subvarieties of the variety of all representation of Lie algebras over a field k of characteristic 0. We study the relation between the geometric equivalence and automorphic equivalence of the representations from these subvarieties.     

An Equivalence of Categories for Lie Color Algebras

Abstract

Let k be a field with char k = p > 0 and G an abelian group with a bicharacter λ on G. For each p-(G,λ)-Lie color algebra L over k the p-universal enveloping algebra u(L) is a G-graded Hopf algebra,i.e.,a Hopf algebra in the category ^kG ? of kG-comodules. In this paper we describe a subcategory of ^kG ? which is equivalent to the category of the finite dimensional p-(G,λ)-Lie color algebras over k.     

Freeoids: a semi-abstract view on endomorphism monoids of relatively free algebras

A freeoid over a (normally, infinite) set of variables X is defined to be a pair (W, E), where W is a superset of X, and E is a submonoid of W ^W containing just one extension of every mapping X → W. For instance, if W is a relatively free algebra over a set of free generators X, then the pair F(W) := (W, End(W)) is a freeoid. In the paper, the kernel equivalence and the range of the transformation F are characterized. Freeoids form a category; it is shown that the transformation F gives rise to a functor from the category of relatively free algebras to the category of freeoids which yields a concrete equivalence of the first category to a full subcategory of the second one. Also, the concept of a model of a freeoid is introduced; the variety generated by a free algebra W is shown to be concretely equivalent to the category of models of F(W). The sets X, W, and the algebras W may generally be many-sorted.     

Etude de la categorie des algebres de Hopf commutatives connexes sur un corps

Let k be a perfect field of characteristic p0; the categoryH of connected abelian Hopf algebras over k is abelian and locally noetherian. Technics of locally noetherian categories are used here to obtain Krull and homological dimensions ofH (which are respectively 1 and 2), and a decomposition ofH in a product of categories. First we have, whereH ^– is the category of Grassman algebras, andH ⁺ consists of Hopf algebras which are zero in odd degrees; then we prove thatH ⁺ itself is a product of isomorphic categoriesH _n, n^*, and we give an equivalence betweenH _n and a category of modules. This is compared to some results of algebraic geometry about Greenberg modules.     

Structure theorems of <Emphasis Type="Italic">E</Emphasis>(<Emphasis Type="Italic">n</Emphasis>)-Azumaya algebras

Let k be a field and E(n) be the 2 ⁿ⁺¹-dimensional pointed Hopf algebra over k constructed by Beattie, Dăscălescu and Grünenfelder [J. Algebra, 2000, 225: 743–770]. E(n) is a triangular Hopf algebra with a family of triangular structures R _M parameterized by symmetric matrices M in M _n (k). In this paper, we study the Azumaya algebras in the braided monoidal category $ E_{(n)} \mathcal{M}^{R_M } $ E_{(n)} \mathcal{M}^{R_M } and obtain the structure theorems for Azumaya algebras in the category $ E_{(n)} \mathcal{M}^{R_M } $ E_{(n)} \mathcal{M}^{R_M } , where M is any symmetric n×n matrix over k.     

Sharply transitive linear algebraic groups

We study Zariski-closed linear groupsG GL _n (k) over fieldsk of characteristic 0 which act sharply transitively on the non-zero vectors ofk ⁿ . For square-freen, orn15, or ifk has cohomological dimension 1 we obtain a complete classification (i.e. a reduction to questions about associative division algebras). The main tools are representation theory of Lie algebras over algebraically closed and non-closed fields, and results about simple associative algebras in order to control the interplay between linear Lie algebras and the associative algebras generated by them. The relation to nearfields and left-symmetric division algebras is also discussed.     

The grothendieck group of the category of modules of finite projective dimension over certain weakly triangular algebras

In this paper we study the category of finitely generated modules of finite projective dimension over a class of weakly triangular algebras, which includes the algebras whose idempotent ideals have finite projective dimension. In particular, we prove that the relations given by the (relative) almost split sequences generate the group of all relations for the Grothendieck group of P ^<∞(Λ) if and only if P ^<∞(Λ) is of finite type. A similar statement is known to hold for the category of all finitely generated modules over an artin algebra, and was proven by C.M.Butler and M. Auslander ( [B] and [A]).     

Ramified partition algebras

For each natural number n, poset T, and |T|–tuple of scalars Q, we introduce the ramified partition algebra P _n ^(T) (Q), which is a physically motivated and natural generalization of the partition algebra [24, 25] (the partition algebra coincides with case |T|=1). For fixed n and T these algebras, like the partition algebra, have a basis independent of Q. We investigate their representation theory in case ${{T=\underline{{2}}:=({1,2},\leq)}}$. We show that ${{P_n^{(\underline{{2}})$ (Q) is quasi–hereditary over field k when Q ₁ Q ₂ is invertible in k and k is such that certain finite group algebras over k are semisimple (e.g. when k is algebraically closed, characteristic zero). Under these conditions we determine an index set for simple modules of ${{P_n^{(\underline{{2}})$ (Q), and construct standard modules with this index set. We show that there are unboundedly many choices of Q such that ${{P_n^{(\underline{{2}})$ (Q) is not semisimple for sufficiently large n, but that it is generically semisimple for all n. We construct tensor space representations of certain non–semisimple specializations of ${{P_n^{(\underline{{2}})$ (Q), and show how to use these to build clock model transfer matrices [24] in arbitrary physical dimensions. Sadly Ahmed died before this work was completed. His memory lives on.     

Central simple algebras with involution: a geometric approach

Let k be an algebraically closed base field of characteristic zero. The category equivalence between central simple algebras and irreducible, generically free PGL _n -varieties is extended to the context of central simple algebras with involution. The associated variety of a central simple algebra with involution comes with an action of , where τ is the automorphism of PGL _n given by τ (h) = (h ⁻¹)^transpose. Basic properties of an involution are described in terms of the action of on the associated variety, and in particular in terms of the stabilizer in general position for this action.     

Purity and Equational Compactness of Projection Algebras

The notions of purity and equational compactness of universal algebras have been studied by Banaschewski and Nelson. Also, Banaschewski deals with these notions in the special case of G-sets for a group G. In this paper we study these and related concepts in the category PRO of projection algebras, that is in N -sets, for the monoid N with the binary operation m.n=min{m,n}. We show that every monomorphism in PRO is pure and hence every equationally compact projection algebra is in fact injective. Then, we introduce the notions of s-purity and s-compactness by which we characterize the retractions and hence equationally compact projection algebras. And, among other results, we show that equationally compact, injective, and complete projection algebras are the same. Finally, we characterize (pure-)essential monomorphisms and construct the Equationally Compact Hulls, equivalently the Injective Hulls, of projection algebras. These results, among other things, generalize the main results of Guili, regarding completeness and s-injectivity in the category PRO _s of separated projection algebras.     

Isoclinism between pairs of n-Lie algebras and their properties

In this paper, we investigate the notion of isoclinism on a pair of n-Lie algebras, which forms an equivalence relation. In addition, we prove that each equivalence class contains a stem pair of n-Lie algebras, which has minimal dimension amongst the finite dimensional pairs of n-Lie algebras. Finally, some more results are obtained when two isoclinic pairs of n-Lie algebras are given.     

Categories equivalent to the category of rational H-spaces

The category of rationalH-spaces is shown to be equivalent to the category of commutative Hopf algebras over , the category of cocommutative Hopf algebras over , and the categoryL of graded Lie algebras over by the rational cohomology, homology, and homotopy functors, respectively. Several consequences of these equivalences are derived. It is also proved that the loop-space functor is an equivalence from the category of coformal rational spaces to . Dually, the category of rationalcoH-spaces is shown to be equivalent to the comonoid category ofL and to the category of cocommutative coalgebras over . The suspension functor is an equivalence from the category of formal, rational spaces to the category of 2-connected, rationalcoH-spaces.     

Coloured peak algebras and Hopf algebras

For G a finite abelian group, we study the properties of general equivalence relations on G _n = G ⁿ ⋊ _n , the wreath product of G with the symmetric group _n , also known as the G-coloured symmetric group. We show that under certain conditions, some equivalence relations give rise to subalgebras of G _n as well as graded connected Hopf subalgebras of ⨁ _{n≥ o} G _n . In particular we construct a G-coloured peak subalgebra of the Mantaci-Reutenauer algebra (or G-coloured descent algebra). We show that the direct sum of the G-coloured peak algebras is a Hopf algebra. We also have similar results for a G-colouring of the Loday-Ronco Hopf algebras of planar binary trees. For many of the equivalence relations under study, we obtain a functor from the category of finite abelian groups to the category of graded connected Hopf algebras. We end our investigation by describing a Hopf endomorphism of the G-coloured descent Hopf algebra whose image is the G-coloured peak Hopf algebra. We outline a theory of combinatorial G-coloured Hopf algebra for which the G-coloured quasi-symmetric Hopf algebra and the graded dual to the G-coloured peak Hopf algebra are central objects. 2000 Mathematics Subject Classification Primary: 16S99; Secondary: 05E05, 05E10, 16S34, 16W30, 20B30, 20E22Bergeron is partially supported by NSERC and CRC, CanadaHohlweg is partially supported by CRC     

On Appell Sets and the Fueter-Sce Mapping

It is proved in Clifford algebras generated by an odd number of basis vectors e ₁, ... , e _n , that the recently discussed Appell polynomials in Clifford algebras are the Fueter-Sce extension of the complex monomials z ^k . Furthermore, it is shown, for which complex functions the Fueter-Sce extension and the extension method using Appell polynomials coincide.      

Intermediate Growth of Solvable Lie Superalgebras

Finitely generated solvable Lie algebras have an intermediate growth between polynomial and exponential. Recently the second author suggested the scale to measure such an intermediate growth of Lie algebras. The growth was specified for solvable Lie algebras F(A ^q , k) with a finite number of generators k, and which are free with respect to a fixed solubility length q. Later, an application of generating functions allowed us to obtain more precise asymptotic. These results were obtained in the generality of polynilpotent Lie algebras. Now we consider the case of Lie superalgebras; we announce that main results and describe the methods. Our goal is to compute the growth for F(A ^q , m, k), the free solvable Lie superalgebra of length q with m even and k odd generators. The proof is based upon a precise formula of the generating function for this algebra obtained earlier. The result is obtained in the generality of free polynilpotent Lie superalgebras. __________ Translated from Sovremennaya Matematika i Ee Prilozheniya (Contemporary Mathematics and Its Applications), Vol. 14, Algebra, 2004.     

INSTANCES AND RAMIFICATIONS OF THE SEMI-ADJOINT SITUATION II. THE COMPARISON FUNCTOR

Abstract

If a functor U has a left co-unadjoint then U can be factored through a category of semad algebras. An analogue of the Beck monadicity theory is obtained. If R is a ring without a left unit but satisfying R² = R then the category of unitary left R-modules need not be monadic over Set. The forgetful functor has, however, a left co-unadjoint for which a comparison functor is an equivalence of categories. Another example of a semadic functor is obtained by composing the forgetful functor from Abelian groups to Set with the doubling functor. The semi-adjoint situations in the senses of Medvedev and Davis are examined.     

Constructions of stable equivalences of Morita type for finite dimensional algebras II

Suppose k is a field. Let A and B be two finite dimensional k-algebras such that there is a stable equivalence of Morita type between A and B. In this paper, we prove that (1) if A and B are representation-finite then their Auslander algebras are stably equivalent of Morita type; (2) The n-th Hochschild homology groups of A and B are isomorphic for all n≥1. A new proof is also provided for Hochschild cohomology groups of self-injective algebras under a stable equivalence of Morita type.