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.     

Finite Presentability and the Homological Type FP m for a Class of Hopf Algebras

We define and study the property finite presentability in the category  of Hopf algebras that are smash product of universal enveloping algebra of a Lie algebra by a group algebra. We show that for such Hopf algebras finite presentability is equivalent with finite presentability as an associative k-algebra.     

Hom-Lie-Rinehart algebras

We introduce hom-Lie-Rinehart algebras as an algebraic analogue of hom-Lie algebroids, and systematically describe a cohomology complex by considering coefficient modules. We define the notion of extensions for hom-Lie-Rinehart algebras. In the sequel, we deduce a characterization of low dimensional cohomology spaces in terms of the group of automorphisms of certain abelian extension and the equivalence classes of those abelian extensions in the category of hom-Lie-Rinehart algebras, respectively. We also construct a canonical example of hom-Lie-Rinehart algebra associated to a given Poisson algebra and an automorphism.     

On a Plus-Construction for Algebras over an Operad

We prove a analogous to Quillen's plus-construction in the category of algebras over an operad. For that purpose we prove that this category is a closed model category and prove the existence of an obstruction theory. We apply further this plus-construction for the specific cases of Lie algebras and Leibniz algebras which are a noncommutative version of Lie algebras: let sl(A) be the kernel of the trace map gl(A)A/[A,A], where A is an associative algebra with unit and gl(A) is the Lie algebra of matrices over A. Then the homotopy of slA)⁺ in the category of Lie algebras is the cyclic homology of A whereas it is the Hochschild homology of A in the category of Leibniz algebras.     

Derived dynkin extensions

The finite dimensional tame hereditary algebras are associated with the extended Dynkin diagrams. An indecomposable module over such an algebra is either preprojective or preinjective or lies in a family of tubes whose tubular type is the corresponding Dynkin diagram. The study of one-point extensions by simple regular modules in such tubes was initiated in [Ri].

We generalise this approach by starting out with algebras which are derived equivalent to a tame hereditary algebra and considering one-point extensions by modules which are simple regular in tubes in the derived category. If the obtained tubular type is again a Dynkin diagram these algebras are called derived Dynkin extensions.

Our main theorem says that a representation infinite algebra is derived equivalent to a tame hereditary algebra iff it is an iterated derived Dynkin extension of a tame concealed algebra. As application we get a new proof of a theorem in [AS] about domestic tubular branch enlargements which uses the derived category instead of combinatorial arguments.     

On derived categories of modules over 2-vertex basic algebras

We investigate finite dimensional 2-vertex basic algebras of finite global dimension and the derived categories of modules over such algebras. We prove that any superrigid object in the derived category of modules over a “loop-kind” two-vertex algebra is a pure module up to the action of Serre functor and translation. All superrigid objects in the derived categories of modules over two-vertex algebras of global dimension 2 are described. Also we obtain a complete classification of two-vertex basic algebras possessing a full exceptional pair in the derived category of modules.     

Cleft extensions in braided categories

Majid in [14] and Bespalov in [2] obtain a braided interpretation of Radford’s theorem about Hopf algebras with projection ([19]). In this paper we introduce the notion of H-cleft comodule (module) algebras (coalgebras) for a Hopf algebra H in a braided monoidal category, and we characterize it as crossed products (coproducts). This allows us give very short proofs for know results in our context, and to introduce others stated for the category of R-modules about of Hopf algebra extensions. In particular we give a proof of the result by Bespalov [2] for a braided monoidal category with co(equalizers).     

Morita classes of algebras in modular tensor categories

We consider algebras in a modular tensor category C. If the trace pairing of an algebra A in C is non-degenerate we associate to A a commutative algebra Z(A), called the full centre, in a doubled version of the category C. We prove that two simple algebras with non-degenerate trace pairing are Morita-equivalent if and only if their full centres are isomorphic as algebras. This result has an interesting interpretation in two-dimensional rational conformal field theory; it implies that there cannot be several incompatible sets of boundary conditions for a given bulk theory.     

Projections of weak braided Hopf algebras

In this paper we study the projections of weak braided Hopf algebras using the notion of Yetter-Drinfeld module associated with a weak braided Hopf algebra. As a consequence, we complete the study ofthe structure of weak Hopf algebras with a projection in a braiding setting obtaining a categorical equivalencebetween the category of weak Hopf algebra projections associated with a weak Hopf algebra H living in abraided monoidal category and the category of Hopf algebras in the non-strict braided monoidal cate...     

Categorical Constructions for Hopf Algebras

We prove that both the embedding of the category of Hopf algebras into that of bialgebras and the forgetful functor from the category of Hopf algebras to the category of algebras have right adjoints; in other words, every bialgebra has a Hopf coreflection, and on every algebra there exists a cofree Hopf algebra. In this way, we give an affirmative answer to a forty-years old problem posed by Sweedler. On the route, the coequalizers and the coproducts in the category of Hopf algebras are explicitly described.     

DG-Modules vs. Relative Hopf Modules

In this note we show the interlacing between homological algebra and the category of relative Hopf modules. We show that many well-known concepts related with differential graded algebras can be performed as purely Hopf algebraic phenomenons.     

THE TENSOR CATEGORY OF LINEAR MAPS AND LEIBNIZ ALGEBRAS

We equip the category of linear maps of vector spaces with a tensor product which makes it suitable for various constructions related to Leibniz algebras. In particular, a Leibniz algebra becomes a Lie object in and the universal enveloping algebra functor UL from Leibniz algebras to associative algebras factors through the category of cocommutative Hopf algebras in . This enables us to prove a Milnor-Moore type theorem for Leibniz algebras.     

可换环上一些上三角矩阵李代数的导子

设R是任意含单位元的可换环,t是R上n×n上三角矩阵组成的李代数,b是R上迹为零的n×n上三角矩阵组成的李代数,本文明确给出了t和b的导子代数.     

Representation and duality for Hilbert algebras

In this paper we introduce a special kind of ordered topological spaces, called Hilbert spaces. We prove that the category of Hilbert algebras with semi-homomorphisms is dually equivalent to the category of Hilbert spaces with certain relations. We restrict this result to give a duality for the category of Hilbert algebras with homomorphisms. We apply these results to prove that the lattice of the deductive systems of a Hilbert algebra and the lattice of open subsets of its dual Hilbert space, are isomorphic. We explore how this duality is related to the duality given in [6] for finite Hilbert algebras, and with the topological duality developed in [7] for Tarski algebras.      

Algebras Versus Coalgebras

Algebras and coalgebras are fundamental notions for large parts of mathematics. The basic constructions from universal algebra are now expressed in the language of categories and thus are accessible to classical algebraists and topologists as well as to logicians and computer scientists. Some of them have developed specialised parts of the theory and often reinvented constructions already known in a neighbouring area. One purpose of this survey is to show the connection between results from different fields and to trace a number of them back to some fundamental papers in category theory from the early 1970s. Another intention is to look at the interplay between algebraic and coalgebraic notions. Hopf algebras are one of the most interesting objects in this setting. While knowledge of algebras and coalgebras are folklore in general category theory, the notion of Hopf algebras is usually only considered for monoidal categories. In the course of the text we do suggest how to overcome this defect by defining a Hopf monad on an arbitrary category as a monad and comonad satisfying some compatibility conditions and inducing an equivalence between the base category and the category of the associated bimodules. For a set G, the endofunctor G× – on the category of sets shares these properties if and only if G admits a group structure. Finally, we report about the possibility of subsuming algebras and coalgebras in the notion of ( F , G )-dimodules associated to two functors between different categories. This observation, due to Tatsuya Hagino, was an outcome from the theory of categorical data types and may also be of use in classical algebra.      

Some remarks on Bridgeland’s Hall algebras

We study the functorial properties of Bridgeland’s Hall algebras. Specifically, let 𝒜 and ? be two categories satisfying certain conditions for the definitions of Bridgeland’s Hall algebras, and let F:𝒜→? be a fully faithful exact functor, which preserves projectives, then F induces an embedding of algebras from the Bridgeland’s Hall algebra of 𝒜 to the one of ?. In addition, let A be a finite-dimensional algebra over a finite field and B some special quotient algebra of A, then the Bridgeland’s Hall algebra of B is the quotient algebra of the one of A. Moreover, we consider the BGP-reflection functors on the category of 2-cyclic complexes and obtain some homomorphisms of algebras among the subalgebras of Bridgeland’s Hall algebras.     

广义仿射李代数上的非交换Poisson代数结构

非交换的Poisson代数同时具有(未必交换的)结合代数和李代数两种代数结构,且结合代数和李代数之间满足所谓的Leibniz法则.本文确定了一般广义仿射李代数上所有的Poisson代数结构.     

Flat Nonunimodular Lorentzian Lie Algebras

A flat Lorentzian Lie algebra is a left symmetric algebra endowed with a symmetric bilinear form of signature (?, +,…, +) such that left multiplications are skew-symmetric. In geometrical terms, a flat Lorentzian Lie algebra is the Lie algebra of a Lie group with a left-invariant Lorentzian metric with vanishing curvature. In this article, we show that any flat nonunimodular Lorentzian Lie algebras can be obtained as a double extension of flat Riemannian Lie algebras. As an application, we give all flat nonunimodular Lorentzian Lie algebras up to dimension 4.     

Construction of dialgebras through bimodules over algebras

The varieties of dialgebras (also known as Loday-type algebras) over a given type of algebra have been the subject of multiple recent developments. We provide here a construction of such dialgebra varieties via bimodules over an algebra and a surjective equivariant map. Our construction is equivalent to the KP construction (Kolesnikov–Pozhidaev construction) when departing from the set of linearized identities of the algebra variety. The novel construction simplifies the obtention of the dialgebra equations without forcing a complete linearization of the algebra identities. We illustrate the use of the novel construction providing the dialgebras associated to several varieties of algebras, including those over diverse Lie admissible algebras. We provide some novel explorations on the structure of the dialgebras which are easily articulated through our construction.     

Assosymmetric algebras under Jordan product

We prove that assosymmetric algebras under the Jordan product are Lie triple algebras. A Lie triple algebra is called special if it is isomorphic to a subalgebra of the plus-algebra of some assosymmetric algebra. We establish that the Glennie identity of degree 8 is valid for special Lie triple algebras, but not for all Lie triple algebras.