Homological Associativity of Differential Graded Algebras and Gröbner Bases

Michael Nelson

2024-06-01

Abstract:We investigate associativity of multiplications on chain complexes over commutative noetherian rings from two perspectives. First, we introduce a natural associator subcomplex and show how its homology can detect associativity. Second, we use Gröbner bases to compute associators.

Commutative Algebra

What problem does this paper attempt to address?

Gerstenhaber algebra structure on the cohomology of a hom-associative algebra

Apurba Das

DOI: https://doi.org/10.1007/s12044-019-0543-3

2020-01-29

Abstract:A hom-associative algebra is an algebra whose associativity is twisted by an algebra homomorphism. In this paper, we define a cup product on the cohomology of a hom-associative algebra. A direct verification shows that this cup product together with the degree -1documentclass[12pt]{minimal}usepackage{amsmath}usepackage{wasysym}usepackage{amsfonts}usepackage{amssymb}usepackage{amsbsy}usepackage{mathrsfs}usepackage{upgreek}setlength{oddsidemargin}{-69pt}egin{document}$$-1$$end{document} graded Lie bracket (which controls the deformation of the hom-associative algebra structure) on the cohomology makes it a Gerstenhaber algebra.
Associative 2-algebras and nonabelian extensions of associative algebras

Yunhe Sheng,You Wang

DOI: https://doi.org/10.1007/s40062-024-00341-w

2024-02-03

Journal of Homotopy and Related Structures

Abstract:In this paper, we study nonabelian extensions of associative algebras using associative 2-algebra homomorphisms. First we construct an associative 2-algebra using the bimultipliers of an associative algebra. Then we classify nonabelian extensions of associative algebras using associative 2-algebra homomorphisms. Finally we analyze the relation between nonabelian extensions of associative algebras and nonabelian extensions of the corresponding commutator Lie algebras.

mathematics
Higher structures on homology groups

Niels Kowalzig,Francesca Pratali

2024-06-11

Abstract:We dualise the classical fact that an operad with multiplication leads to cohomology groups which form a Gerstenhaber algebra to the context of cooperads: as a result, a cooperad with comultiplication induces a homology theory that is endowed with the structure of a Gerstenhaber coalgebra, that is, it comes with a graded cocommutative coproduct which is compatible with a coantisymmetric cobracket in a dual Leibniz sense. As an application, one obtains Gerstenhaber coalgebra structures on Tor groups over bialgebras or Hopf algebras, as well as on Hochschild homology for Frobenius algebras.

Algebraic Topology,K-Theory and Homology,Quantum Algebra
Basic cohomology of associative algebras

Michel Dubois-Violette,Thierry Masson

DOI: https://doi.org/10.48550/arXiv.alg-geom/9404014

1994-04-29

Abstract:We define a new cohomology for associative algebras which we compute for algebras with units.

Algebraic Geometry
Noncommutatively Graded Algebras

Patrik Nystedt

DOI: https://doi.org/10.48550/arXiv.1710.11400

2017-10-31

Abstract:Inspired by the commutator and anticommutator algebras derived from algebras graded by groups, we introduce noncommutatively graded algebras. We generalize various classical graded results to the noncommutatively graded situation concerning identity elements, inverses, existence of limits and colimits and adjointness of certain functors. In the particular instance of noncommutatively graded Lie algebras, we establish the existence of universal graded enveloping algebras and we show a graded version of the Poincaré-Birkhoff-Witt theorem.

Rings and Algebras
Associative Geometries. I: Torsors, linear relations and Grassmannians

Wolfgang Bertram,Michael Kinyon

DOI: https://doi.org/10.48550/arXiv.1005.3192

2010-05-18

Abstract:We define and investigate a geometric object, called an associative geometry, corresponding to an associative algebra (and, more generally, to an associative pair). Associative geometries combine aspects of Lie groups and of generalized projective geometries, where the former correspond to the Lie product of an associative algebra and the latter to its Jordan product. A further development of the theory encompassing involutive associative algebras will be given in subsequent work.

Rings and Algebras
Cohomology of BiHom-Associative Trialgebras

Erik Mainellis,Bouzid Mosbahi,Ahmed Zahari

2024-04-24

Abstract:The paper concerns the cohomology of (multiplicative) BiHom-associative trialgebras. We first detail the correspondence between central extensions and second cohomology. This is followed by a general cohomology theory that unifies those of BiHom-associative algebras and associative trialgebras. Finally, we introduce one-parameter formal deformations and classify generalized $\alpha\beta$-derivations of 3-dimensional BiHom-associative trialgebras.

Rings and Algebras
Homotopy Gerstenhaber formality of Davis-Januszkiewicz spaces

Matthias Franz

DOI: https://doi.org/10.4310/HHA.2021.v23.n2.a17

2021-01-25

Abstract:A homotopy Gerstenhaber structure on a differential graded algebra is essentially a family of operations defining a multiplication on its bar construction. We prove that the normalized singular cochain algebra of a Davis-Januszkiewicz space is formal as a homotopy Gerstenhaber algebra, for any coefficient ring. This generalizes a recent result by the author about classifying spaces of tori and also strengthens the well-known dga formality result for Davis-Januszkiewicz spaces due to the author and Notbohm-Ray. As an application, we determine the cohomology rings of free and based loop spaces of Davis-Januszkiewicz spaces.

Algebraic Topology
Bigraded differential algebra for vertex algebra complexes

A.Zuevsky

2023-12-11

Abstract:For an infinite chain bicomplex we show that the orthogonality and grading conditions provide it with the structure of a bigraded differential algebra with respect to a natural multiplication of several elements bicomplex spaces. Corresponding bigraded algebra commutation relations generate a sequence of non-vanishing cohomology invariants associated to vertex algebras. In particular, we apply this result to the bicomplex of grading-restricted vertex algebra cohomology endowed with a multiplication we introduce. We provide examples associated to various choices of vertex algebra bicomplex subspaces. The generators and commutation relations of the bigraded differential algebra form a continual Lie algebra with the root space provided by a grading-restricted vertex algebra.

Functional Analysis
On the homology and homotopy of commutative shuffle algebras

Birgit Richter

DOI: https://doi.org/10.48550/arXiv.1310.2831

2014-01-25

Abstract:For commutative algebras there are three important homology theories, Harrison homology, Andre-Quillen homology and Gamma-homology. In general these differ, unless one works with respect to a ground field of characteristic zero. We show that the analogues of these homology theories agree in the category of pointed commutative monoids in symmetric sequences and that Hochschild homology always possesses a Hodge decomposition in this setting. In addition we prove that the category of pointed differential graded commutative monoids in symmetric sequences has a model structure and that it is Quillen equivalent to the model category of pointed simplicial commutative monoids in symmetric sequences.

Algebraic Topology,K-Theory and Homology
Homological algebra of semimodules and semicontramodules: Semi-infinite homological algebra of associative algebraic structures

Leonid Positselski

DOI: https://doi.org/10.1007/978-3-0346-0436-9

2014-05-10

Abstract:We develop the basic constructions of homological algebra in the (appropriately defined) unbounded derived categories of modules over algebras over coalgebras over noncommutative rings (which we call semialgebras over corings). We define double-sided derived functors SemiTor and SemiExt of the functors of semitensor product and semihomomorphisms, and construct an equivalence between the exotic derived categories of semimodules and semicontramodules. Certain (co)flatness and/or (co)projectivity conditions have to be imposed on the coring and semialgebra to make the module categories abelian (and the cotensor product associative). Besides, for a number of technical reasons we mostly have to assume that the basic ring has a finite homological dimension (no such assumptions about the coring and semialgebra are made). In the final sections we construct model category structures on the categories of complexes of semi(contra)modules, and develop relative nonhomogeneous Koszul duality theory for filtered semialgebras and quasi-differential corings. Our motivating examples come from the semi-infinite cohomology theory. Comparison with the semi-infinite (co)homology of Tate Lie algebras and graded associative algebras is established in appendices, and the semi-infinite homology of a locally compact topological group relative to an open profinite subgroup is defined. An application to the correspondence between complexes of representations of an infinite-dimensional Lie algebra on the complementary central charge levels ($c$ and $26-c$ for the Virasoro) is worked out.

Category Theory,Rings and Algebras,Representation Theory
(Co)homology and crossed module for BiHom-associative algebras

Danli Huang,Ling Liu

DOI: https://doi.org/10.1016/j.jalgebra.2024.01.022

IF: 0.908

2024-04-01

Journal of Algebra

Abstract:BiHom-associative algebras are generalized associative algebras with two multiplicative linear maps. In this paper, we give the Hochschild homology and cyclic homology structure of BiHom-associative algebras. Then, generalize the dual bimodule action to define the cyclic cohomology. Finally, we introduce the crossed modules of BiHom-associative algebras and show that the Hochschild cohomology of BiHom-associative algebra classifies crossed modules.

mathematics
Cohomology ring of n-Lie algebras.

M. Rotkiewicz

Abstract:Natural graded Lie brackets on the space of cochains of n-Leibniz and n-Lie algebras are introduced. It turns out that these brackets agree under the natural embedding introduced by Gautheron. Moreover, n-Leibniz and n-Lie algebras turn to be canonical structures for these brackets in a similar way in which associative algebras (respectively, Lie algebras) are canonical structures for the Gerstenhaber bracket (respectively, Nijenhuis-Richardson bracket). This allows to define the corresponding cohomology operators and graded Lie algebra structures on the cohomology spaces in an uniform simple way by means of square zero elements.

Mathematics
Structure and classification of Hom-associative algebras

Abdenacer Makhlouf,Ahmed Zahari

DOI: https://doi.org/10.12697/acutm.2020.24.06

2020-09-23

Acta et Commentationes Universitatis Tartuensis de Mathematica

Abstract:The purpose of this paper is to study the structure and the algebraic varieties of Hom-associative algebras. We characterize multiplicative simple Hom-associative algebras and give some examples deforming the 2 × 2-matrix algebra to simple Hom-associative algebras. We provide a classification of n-dimensional Hom-associative algebras for n ≤ 3. Then we study irreducible components using deformation theory.
Generalized H-Lie structure of associative algebras in a category

Shuanhong Wang,Haibin Kan,Huixiang Chen

2002-01-01

Algebra Colloquium

Abstract:We show that, if A is a sum of two H-commutative subalgebras, then the H-commutator ideal of A is nilpotent. This is inspired by a classical result of Kegel [9], which says that a ring is nilpotent if it is a sum of two nilpotent subrings. Then a partial analog of some results in [12] is shown in a more general quasi-triangular Hopf algebra setting.
On deformation cohomology of compatible Hom-associative algebras

Taoufik Chtioui,Ripan Saha

DOI: https://doi.org/10.48550/arXiv.2210.12501

2022-10-22

Rings and Algebras

Abstract:In this paper, we consider compatible Hom-associative algebras as a twisted version of compatible associative algebras. Compatible Hom-associative algebras are characterized as Maurer-Cartan elements in a suitable bidifferential graded Lie algebra. We also define a cohomology theory for compatible Hom-associative algebras generalizing the classical case. As applications of cohomology, we study abelian extensions and deformations of compatible Hom-associative algebras.
Koszulity for nonquadratic algebras II

Roland Berger

DOI: https://doi.org/10.48550/arXiv.math/0301172

2003-01-16

Abstract:It has been shown recently, in a joint work with Michel Dubois-Violette and Marc Wambst (see <a class="link-https" data-arxiv-id="math.QA/0203035" href="https://arxiv.org/abs/math.QA/0203035">math.QA/0203035</a>), that Koszul property of $N$-homogeneous algebras (as defined in the original paper) becomes natural in a $N$-complex setting. A basic question is to define the differential of the bimodule Koszul complex of an $N$-homogeneous algebra, e.g., for computing its Hochschild homology. The differential defined here uses $N$-complexes. That puts right the wrong differential presented in the original paper in a 2-complex setting. Actually, as we shall see, it is impossible to avoid $N$-complexes in defining the differential, whereas the bimodule Koszul complex is a 2-complex.

Quantum Algebra,K-Theory and Homology,Rings and Algebras
BiHom-$Ω$-associative algebras and related structures

Jiaqi Liu,Yuanyuan Zhang

2024-04-14

Abstract:In this paper, we first propose the concepts of BiHom-$\Omega$-associative algebras, BiHom-$\Omega$-dendriform algebras, BiHom-$\Omega$-pre-Lie algebras and BiHom-$\Omega$-Lie algebras. We then obtain a new BiHom-$\Omega$-associative (resp. Lie) algebra by defining a new multiplication on a BiHom-$\Omega$-associative (resp. Lie) algebra with the Rota-Baxter family of weight $\lambda$.In addition, we generalize the classical relationships of associative algebras, pre-Lie algebras, dendriform algebras and Lie algebras to the BiHom-$\Omega$ version.

Rings and Algebras
Non-semigroup gradings of associative algebras

Pasha Zusmanovich

DOI: https://doi.org/10.1016/j.laa.2017.01.038

2018-05-01

Abstract:It is known that there are Lie algebras with non-semigroup gradings, i.e. such that the binary operation on the grading set is not associative. We provide a similar example in the class of associative algebras.

Rings and Algebras
Hom-power associative algebras

Donald Yau

DOI: https://doi.org/10.48550/arXiv.1007.4118

2010-07-23

Rings and Algebras

Abstract:A generalization of power associative algebra, called Hom-power associative algebra, is studied. The main result says that a multiplicative Hom-algebra is Hom-power associative if and only if it satisfies two identities of degrees three and four. It generalizes Albert's result that power associativity is equivalent to third and fourth power associativity. In particular, multiplicative right Hom-alternative algebras and non-commutative Hom-Jordan algebras are Hom-power associative.

Homological Associativity of Differential Graded Algebras and Gröbner Bases

Gerstenhaber algebra structure on the cohomology of a hom-associative algebra

Associative 2-algebras and nonabelian extensions of associative algebras

Higher structures on homology groups

Basic cohomology of associative algebras

Noncommutatively Graded Algebras

Associative Geometries. I: Torsors, linear relations and Grassmannians

Cohomology of BiHom-Associative Trialgebras

Homotopy Gerstenhaber formality of Davis-Januszkiewicz spaces

Bigraded differential algebra for vertex algebra complexes

On the homology and homotopy of commutative shuffle algebras

Homological algebra of semimodules and semicontramodules: Semi-infinite homological algebra of associative algebraic structures

(Co)homology and crossed module for BiHom-associative algebras

Cohomology ring of n-Lie algebras.

Structure and classification of Hom-associative algebras

Generalized H-Lie structure of associative algebras in a category

On deformation cohomology of compatible Hom-associative algebras

Koszulity for nonquadratic algebras II

BiHom-$Ω$-associative algebras and related structures

Non-semigroup gradings of associative algebras

Hom-power associative algebras