Structures and bimodules of simple Hom-alternative algebras

Similarity, Codepth Two Bicomodules and QF Bimodules

For any k-coalgebra C it is shown that similar quasi-finite C-comodules have strongly equivalent coendomorphism coalgebras; (the converse is in general not true). As an application we give a general result about codepth two coalgebra homomorphisms. Also a notion of codepth two bicomodule is introduced. The last section applies similarity to an endomorphism ring theorem for quasi-Frobenius (QF) bimodules and then to finite depth ring extensions. For QF extensions, we establish that left and right depth two are equivalent notions as well as a converse endomorphism theorem, and characterize depth…

Homological unimodularity and Calabi-Yau condition for Poisson algebras

In this paper, we show that the twisted Poincaré duality between Poisson homology and cohomology can be derived from the Serre invertible bimodule. This gives another definition of a unimodular Poisson algebra in terms of its Poisson Picard group. We also achieve twisted Poincaré duality for Hochschild (co)homology of Poisson bimodules using rigid dualizing complex. For a smooth Poisson affine variety with the trivial canonical bundle, we prove that its enveloping algebra is a Calabi-Yau algebra if the Poisson structure is unimodular.

Bimodules over relative Rota-Baxter algebras and cohomologies

A relative Rota-Baxter algebra is a generalization of a Rota-Baxter algebra. Relative Rota-Baxter algebras are closely related to dendriform algebras. In this paper, we introduce bimodules over a relative Rota-Baxter algebra that fits with the representations of dendriform algebras. We define the cohomology of a relative Rota-Baxter algebra with coefficients in a bimodule and then study abelian extensions of relative Rota-Baxter algebras in terms of the second cohomology group. Finally, we consider homotopy relative Rota-Baxter algebras and classify skeletal homotopy relative Rota-Baxter algeb…

Splitting of operations for alternative and Malcev structures

In this paper we define pre-Malcev algebras and alternative quadri-algebras and prove that they generalize pre-Lie algebras and quadri-algebras respectively to the alternative setting. Constructions in terms bimodules, splitting of operations, and Rota-Baxter operators are discussed.

A Pride-Guba-Sapir 精确序列：结合代数的关系双模

A Pride-Guba-Sapir exact sequence for the relation bimodule of an associative algebra

本文将 Pride 与 Guba-Sapir 关于幺半群展示的精确序列推广到结合代数展示，并给出更初等的证明，从而扩展了关系双模与 Squier 复形同调之间的联系。

李代数双模的张量积与格罗滕迪克环

Tensor products of Leibniz bimodules and Grothendieck rings

本文定义了三种李代数双模张量积概念，引入弱双模修正自然张量积问题，并证明其诱导非结合乘法，揭示有限维李代数双模范畴的格罗滕迪克环性质。

利用双模范畴给出经典支配维数的新公式

A new formula for the classical dominant dimension using bimodules

该研究通过双模范畴刻画有限维代数的支配维数，建立了相关经典猜想与Gorenstein同调代数的联系，并为Hochschild（上）同调提供了新解释。

Gorenstein projective modules over rings of Morita contexts

Under semi-weak and weak compatibility of bimodules, we establish sufficient and necessary conditions of Gorenstein-projective modules over rings of Morita contexts with one bimodule homomorphism zero. This generalises and extends results on triangular matrix Artin algebras and on Artin algebras of Morita contexts with two bimodule homomorphisms zero in the literature, where only sufficient conditions are given under a strong assumption of compatibility of bimodules. An application is provided to describe Gorenstein-projective modules over noncommutative tensor products arising from Morita con…

Gorenstein projective bimodules via monomorphism categories and filtration categories

We generalize the monomorphism category from quiver (with monomial relations) to arbitrary finite dimensional algebras by a homological definition. Given two finite dimension algebras $A$ and $B$, we use the special monomorphism category Mon(B, A-Gproj) to describe some Gorenstein projective bimodules over the tensor product of $A$ and $B$. If one of the two algebras is Gorenstein, we give a sufficient and necessary condition for Mon(B, A-Gproj) being the category of all Gorenstein projective bimodules. In addition, If both $A$ and $B$ are Gorenstein, we can describe the category of all Gorens…

Nearly associative and nearly Hom-associative algebras and bialgebras

Basic definitions and properties of nearly associative algebras are described. Nearly associative algebras are proved to be Lie-admissible algebras. Two-dimensional nearly associative algebras are classified, and its main classes are derived. The bimodules, matched pairs and Manin triple of a nearly associative algebras are derived and their equivalence with nearly associative bialgebras is proved. Basic definitions and properties of nearly Hom-associative algebras are described. Related bimodules and matched pairs are given, and associated identities are established.

Structure of multiplicative simple Hom-Jordan algebras

In this paper, we mainly study structure of multiplicative simple Hom-Jordan algebras. We talk about equivalent conditions for multiplicative Hom-Jordan algebras being solvable, simple and semi-simple. As an application, we give a theorem about classification of multiplicative simple Hom-Jordan algebras. Moreover, some propositions about bimodules of multiplicative Hom-Jordan algebras are also displayed.

Hom-post-Lie modules, O-operators and some functors on Hom-algebras

The aim of this paper is to study modules over Hom-post-Lie algebras and give some contructions and various twisting i.e. we show that modules over post-Hom-Lie algebras are close by twisting either Hom-post-Lie algebras or module structure maps. Given a type of Hom-algebra A, an A-bimodule M and an O-operator T : A ---> M, we give constructions another of Hom-algebra structure on M.

Quantum differentiation and chain maps of bimodule complexes

We consider a finite group acting on a vector space and the corresponding skew group algebra generated by the group and the symmetric algebra of the space. This skew group algebra illuminates the resulting orbifold and serves as a replacement for the ring of invariant polynomials, especially in the eyes of cohomology. One analyzes the Hochschild cohomology of the skew group algebra using isomorphisms which convert between resolutions. We present an explicit chain map from the bar resolution to the Koszul resolution of the symmetric algebra which induces various isomorphisms on Hochschild homol…

Idempotents and structures of rings

We study a ring containing a complete set of orthogonal idempotents as a generalized matrix ring via its Peirce decomposition. We focus on the case where some of the underlying bimodule homomorphisms are zero. Upper and lower triangular generalized matrix rings are pertinent examples of the class of rings which we study. The triviality of the particular bimodule homomorphisms motivates the introduction of three new types of idempotents, namely inner Peirce trivial idempotents, outer Peirce trivial idempotents and Peirce trivial idempotents. These idempotents provide the main tools in our inves…

Hirzebruch-Riemann-Roch and Lefschetz type formulas for finite dimensional algebras

The Hirzebuch-Riemann-Roch (HRR) and Lefschetz type formulas for finite dimensional elementary algebras of finite global dimension are explicitly given. They have cohomological, homological, Hochschild cohomological and Hochschild homological four versions, and module, bimodule, module complex and bimodule complex four levels. For this, the dimension matrix of a bimodule (complex) and the trace matrix of a bimodule (complex) endomorphism are introduced. It is shown that Shklyarov pairing, Chern character and Hattori-Stallings trace can be concretely expressed by Cartan matrix, dimension vector…

Homological Epimorphisms of Differential Graded Algebras

Let R and S be differential graded algebras. In this paper we give a characterisation of when a differential graded R-S-bimodule M induces a full embedding of derived categories M\otimes - :D(S)--> D(R). In particular, this characterisation generalises the theory of Geigle and Lenzing's homological epimorphisms of rings. Furthermore, there is an application of the main result to Dwyer and Greenlees's Morita theory.

Topological tensor product of bimodules, complete Hopf Algebroids and convolution algebras

Given a finitely generated and projective Lie-Rinehart algebra, we show that there is a continuous homomorphism of complete commutative Hopf algebroids between the completion of the finite dual of its universal enveloping Hopf algebroid and the associated convolution algebra. The topological Hopf algebroid structure of this convolution algebra is here clarified, by providing an explicit description of its topological antipode as well as of its other structure maps. Conditions under which that homomorphism becomes an homeomorphism are also discussed. These results, in particular, apply to the s…

Hom-Leibniz bialgebras and BiHom-Leibniz dendriform algebras

The notion of a Hom-Leibniz bialgebra is introduced and it is shown that matched pairs of Hom-Leibniz algebras, Manin triples of Hom-Leibniz algebras and Hom-Leibniz bialgebras are equivalent in a certain sense. The notion of Hom-Leibniz dendriform algebra is established, their bimodules and matched pairs are defined and their properties and theorems about their interplay and construction are obtained. Furthermore, the concept of BiHom-Leibniz dendriform algebras is introduced and discussed, their bimodules and matched pairs are constructed and properties are described. Finally, the connection…

控制结构、形变与同伦理论在平均代数中的应用

Controlling structures, deformations and homotopy theory for averaging algebras

本文研究结合代数上的相对平均算子与相对平均代数，构造控制其代数结构的分次李代数与 $L_\infty$-代数，定义上同调并研究形变、阿贝尔扩张及同伦相对平均代数。

On the Rosenberg-Zelinsky sequence in abelian monoidal categories

We consider Frobenius algebras and their bimodules in certain abelian monoidal categories. In particular we study the Picard group of the category of bimodules over a Frobenius algebra, i.e. the group of isomorphism classes of invertible bimodules. The Rosenberg-Zelinsky sequence describes a homomorphism from the group of algebra automorphisms to the Picard group, which however is typically not surjective. We investigate under which conditions there exists a Morita equivalent Frobenius algebra for which the corresponding homomorphism is surjective. One motivation for our considerations is the …

Frobenius bimodules and flat-dominant dimensions

We establish relations between Frobenius parts and between flat-dominant dimensions of algebras linked by Frobenius bimodules. This is motivated by the Nakayama conjecture and an approach of Martinez-Villa to the Auslander-Reiten conjecture on stable equivalences. We show that the Frobenius parts of Frobenius extensions are again Frobenius extensions. Further, let $A$ and $B$ be finite-dimensional algebras over a field $k$, and let $\dm(_AX)$ stand for the dominant dimension of an $A$-module $X$. If $_BM_A$ is a Frobenius bimodule, then $\dm(A)\le \dm(_BM)$ and $\dm(B)\le \dm(_A\Hom_B(M, B))$.…

Hochschild (co)homology of exterior algebras

The minimal projective bimodule resolutions of the exterior algebras are explicitly constructed. They are applied to calculate the Hochschild (co)homology of the exterior algebras. Thus the cyclic homology of the exterior algebras can be calculated in case the underlying field is of characteristic zero. Moreover, the Hochschild cohomology rings of the exterior algebras are determined by generators and relations.

Transposed Hom-Poisson and Hom-pre-Lie Poisson algebras and bialgebras

The notions of transposed Hom-Poisson and Hom-pre-Lie Poisson algebras are introduced. Their bimodules and matched pairs are defined and the relevant properties and theorems are given. The notion of Manin triple of transposed Hom-Poisson algebras is introduced, and its equivalence to the transposed Hom-Poisson bialgebras is investigated. The notion of $\mathcal{O}$-operator is exploited to illustrate the relations existing between transposed Hom-Poisson and Hom-pre-Lie Poisson algebras.

Integral Calculus on Quantum Exterior Algebras

Hom-connections and associated integral forms have been introduced and studied by T.Brzeziński as an adjoint version of the usual notion of a connection in non-commutative geometry. Given a flat hom-connection on a differential calculus $(Ω, d)$ over an algebra $A$ yields the integral complex which for various algebras has been shown to be isomorphic to the noncommutative de Rham complex (in the sense of Brzeziński et al.). In this paper we shed further light on the question when the integral and the de Rham complex are isomorphic for an algebra $A$ with a flat hom-connection. We specialise ou…

On the Hochschild homology of involutive algebras

We study the homological algebra of bimodules over involutive associative algebras. We show that Braun's definition of involutive Hochschild cohomology in terms of the complex of involution-preserving derivations is indeed computing a derived functor: the Z/2-invariants intersected with the center. We then introduce the corresponding involutive Hochschild homology theory and describe it as the derived functor of the pushout of Z/2-coinvariants and abelianization.

On Leibniz cohomology

In this paper we prove the Leibniz analogue of Whitehead's vanishing theorem for the Chevalley-Eilenberg cohomology of Lie algebras. As a consequence, we obtain the second Whitehead lemma for Leibniz algebras. Moreover, we compute the cohomology of several Leibniz algebras with adjoint or irreducible coefficients. Our main tool is a Leibniz analogue of the Hochschild-Serre spectral sequence, which is an extension of (the dual of) a spectral sequence of Pirashvili for Leibniz homology from symmetric bimodules to arbitrary bimodules.

Hochschild (co)homology of Hopf crossed products

Let A a k-algebra, H a Hopf algebra, E = A#H a general crossed product and M an E-bimodule. We obtain a complex simpler than the canonical one, giving the Hochschild homology of E with coefficients in M. This complex is eqquiped with a natural filtration. We prove that the associated spectral sequence coincides with that obtained by either, the Hochschild-Serre direct method or the Cartan-Leray-Grothendieck method. We also get similar results for the cohomology.

Admissible Hom-Novikov-Poisson and Hom-Gelfand-Dorfman color Hom-algebras

The main feature of color Hom-algebras is that the identities defining the structures are twisted by even linear maps. The purpose of this paper is to introduce and give some constructions of admissible Hom-Novikov-Poisson color Hom-algebras and Hom-Gelfand-Dorfman color Hom-algebras. Their bimodules and matched pairs are defined and the relevant properties and theorems are given. Also, the connections between Hom-Novikov-Poisson color Hom-algebras and Hom-Gelfand-Dorfman color Hom-algebras is proved. Furthermore, we show that the class of admissible Hom-Novikov-Poisson color Hom-algebras is c…

非交换张量三角几何：模、双模和单幂Hopf代数

Noncommutative tensor triangular geometry: modules, bimodules, and unipotent Hopf algebras

本文研究了单幂Hopf代数的非交换张量三角几何，探讨了稳定范畴中的厚理想、Balmer谱及Hochschild上同调支持之间的关系。