Rota-Baxter algebras and dendriform algebras

In this paper we study the adjoint functors between the category of Rota-Baxter algebras and the categories of dendriform dialgebras and trialgebras. In analogy to the well-known theory of the adjoint functor between the category of associative algebras and Lie algebras, we first give an explicit construction of free Rota-Baxter algebras and then apply it to obtain universal enveloping Rota-Baxter algebras of dendriform dialgebras and trialgebras. We further show that free dendriform dialgebras and trialgebras, as represented by binary planar trees and planar trees, are canonical subalgebras of free Rota-Baxter algebras.     

Stabilité des sous-algèbres paraboliques des algèbres de Lie simples exceptionnelles

Let K$\mathbb{K}$ be an algebraically closed field of characteristic 0. In this paper, we prove the equivalence between stability and quasi-reductivity for parabolic subalgebras of exceptional Lie algebras. Therefore, and considering the results of [1], we give a positive answer to the assertion (ii) of the conjecture (5.6) in [11] for parabolic Lie algebras.     

Pluriassociative algebras II: The polydendriform operad and related operads

Dendriform algebras form a category of algebras recently introduced by Loday. A dendriform algebra is a vector space endowed with two nonassociative binary operations satisfying some relations. Any dendriform algebra is an algebra over the dendriform operad, the Koszul dual of the diassociative operad. We introduce here, by adopting the point of view and the tools offered by the theory of operads, a generalization on a nonnegative integer parameter γ of dendriform algebras, called γ-polydendriform algebras, so that 1-polydendriform algebras are dendriform algebras. For that, we consider the operads obtained as the Koszul duals of the γ-pluriassociative operads introduced by the author in a previous work. In the same manner as dendriform algebras are suitable devices to split associative operations into two parts, γ-polydendriform algebras seem adapted structures to split associative operations into 2γ operation so that some partial sums of these operations are associative. We provide a complete study of the γ-polydendriform operads, the underlying operads of the category of γ-polydendriform algebras. We exhibit several presentations by generators and relations, compute their Hilbert series, and construct free objects in the corresponding categories. We also provide consistent generalizations on a nonnegative integer parameter of the duplicial, triassociative and tridendriform operads, and of some operads of the operadic butterfly.     

Rota–Baxter Hom-Lie–Admissible Algebras

We study Hom-type analogs of Rota–Baxter and dendriform algebras, called Rota–Baxter G-Hom–associative algebras and Hom-dendriform algebras. Several construction results are proved. Free algebras for these objects are explicitly constructed. Various functors between these categories, as well as an adjunction between the categories of Rota–Baxter Hom-associative algebras and of Hom-(tri)dendriform algebras, are constructed.     

Nijenhuis algebras, NS algebras, and N-dendriform algebras

In this paper, we study (associative) Nijenhuis algebras, with emphasis on the relationship between the category of Nijenhuis algebras and the categories of NS algebras and related algebras. This is in analogy to the well-known theory of the adjoint functor from the category of Lie algebras to that of associative algebras, and the more recent results on the adjoint functor from the categories of dendriform and tridendriform algebras to that of Rota-Baxter algebras. We first give an explicit construction of free Nijenhuis algebras and then apply it to obtain the universal enveloping Nijenhuis algebra of an NS algebra. We further apply the construction to determine the binary quadratic nonsymmetric algebra, called the N-dendriform algebra, that is compatible with the Nijenhuis algebra. As it turns out, the N-dendriform algebra has more relations than the NS algebra.     

Sur les distributions covariantes dans les algèbres de Lie réductives

We study the possibility of factoring a covariant distribution on reductive Lie algebras as finite sum of products of an invariant distribution by a covariant polynomial.     

Construction de trigèbres dendriformes

We realize the free dendriform trialgebra on one generator, as well as several other examples of dendriform trialgebras, as sub-trialgebras of an algebra of noncommutative polynomials in infinitely many variables. To cite this article: J.-C. Novelli, J.-Y. Thibon, C. R. Acad. Sci. Paris, Ser. I 342 (2006).     

Hochschild cohomology and “smoothness” in monoidal categories

We introduce and investigate the properties of Hochschild cohomology of algebras in an abelian monoidal category M. We show that the second Hochschild cohomology group of an algebra in M classifies extensions of A up to an equivalence. We characterize algebras of Hochschild dimension 0 (separable algebras), and of Hochschild dimension ≤1 (formally smooth algebras). Several particular cases and applications are included in the last section of the paper.     

Symmetric Brace Algebras

We develop a symmetric analog of brace algebras and discuss the relation of such algebras to L_∞-algebras. We give an alternate proof that the category of symmetric brace algebras is isomorphic to the category of pre-Lie algebras. As an application, symmetric braces are used to describe transfers of strongly homotopy structures. We then explain how these symmetric brace algebras may be used to examine the L_∞-algebras that result from a particular gauge theory for massless particles of high spin.Mathematics Subject Classifications (2000) 55S20 (primary), 70S15 (secondary).Tom Lada: The research of the first author was supported in part by NSF grant INT-0203119.Martin Markl: The research of the second author was supported by grant MŠMT ME 603 and by the Academy of Sciences of the Czech Republic, Institutional Research Plan No. AV0Z10190503.     

Centroids of Zinbiel Algebras

Zinbiel algebras were introduced by a way of Koszul dual to Leibniz algebras and connected with commutative associate algebras, pre-Lie algebras and dendriform algebras etc. In this article, the centroids of Zinbiel algebra are discussed. We study the proprieties of centroids and also determinate the centroids of Zinbiel algebras up to dimension ≤4. As consequent, we get the conclusion that the centroids of 2-dimensional Zinbiel algebras are not small and 3,4-dimensional Zinbiel algebras are almost small.     

Dendriform equations

We investigate solutions for a particular class of linear equations in dendriform algebras. Motivations as well as several applications are provided. The latter follow naturally from the intimate link between dendriform algebras and Rota–Baxter operators, e.g. the Riemann integral map or Jackson's q-integral.     

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.     

On Ext-Transfer for Algebraic Groups

This paper builds upon the work of Cline and Donkin to describe explicit equivalences between some categories associated to the category of rational modules for a reductive group G and categories associated to the category of rational modules for a Levi subgroup H. As an application, we establish an Ext-transfer result from rational G-modules to rational H-modules. In case G = GL_n, these results can be illustrated in terms of classical Schur algebras. In that case, we establish another category equivalence, this time between the module category for a Schur algebra and the module category for a union of blocks for a natural quotient of a larger Schur algebra. This category equivalence provides a further Ext-transfer theorem from the original Schur algebra to the larger Schur algebra. This result extends to the category level the decomposition number method of Erdmann. Finally, we indicate (largely without proof) some natural variations to situations involving quantum groups and q-Schur algebras.     

Composition algebras and outer automorphisms of algebraic groups via triality

In this note, we establish an equivalence of categories between the category of all eight-dimensional composition algebras with any given quadratic form n over a field k of characteristic not two, and a category arising from an action of the projective similarity group of n on certain pairs of automorphisms of the group scheme PGO⁺(n) defined over k. This extends results recently obtained in the same direction for symmetric composition algebras. We also derive known results on composition algebras from our equivalence.     

Gerstenhaber structure and Deligne’s conjecture for Loday algebras

A method for establishing a Gerstenhaber algebra structure on the cohomology of Loday-type algebras is presented. This method is then applied to dendriform dialgebras and three types of trialgebras introduced by Loday and Ronco. Along the way, our results are combined with a result of McClure-Smith to prove an analogue of Deligne’s conjecture for Loday algebras.     

Koszul duality for extension algebras of standard modules

We define and investigate a class of Koszul quasi-hereditary algebras for which there is a natural equivalence between the bounded derived category of graded modules and the bounded derived category of graded modules over (a proper version of) the extension algebra of standard modules. Examples of such algebras include, in particular, the multiplicity free blocks of the BGG category O, and some quasi-hereditary algebras with Cartan decomposition in the sense of König.     

Galois theory in variable categories

The order-reversing bijection between field extensions and subgroups of the Galois group G follows from the equivalence between the opposite of the category of étale algebras and the category of discrete G-spaces [2]. We show that the basic ingredient for this equivalence of categories, and for various known generalizations, is a factorization system for variable categories.     

Bounded derived categories and repetitive algebras

By a theorem due to the first author, the bounded derived category of a finite dimensional algebra over a field embeds fully faithfully into the stable category over its repetitive algebra. This embedding is an equivalence if the algebra is of finite global dimension. The purpose of this paper is to investigate the relationship between the derived category and the stable category over the repetitive algebra from various points of view for algebras of infinite global dimension. The most satisfactory results are obtained for Gorenstein algebras, especially for selfinjective algebras.