We define cohomology of associative H-pseudoalgebras, and we show that it describes module extensions, abelian pseudoalgebra extensions, and pseudoalgebra first order deformations. We describe in details the same results for the special case of associative conformal algebras.
In this paper, we generalize Schur-Weyl duality and Morita Theorem on associative algebras to those on associative $H$-pseudoalgebras. Meanwhile, we get a plenty of associative $H$-pseudoalgebras over a cocommutative Hopf algebra $H$.
Pseudoalgebras, introduced in [BDK], are multi-dimensional analogues of conformal algebras, which provide an axiomatic description of the singular part of the operator product expansion. Our main interest in this paper is the pseudoalgebra Cend_n, which is the analogue of an algebra of endomorphisms of a finite module. We study its algebraic properties. In particular, we introduce the class of unital pseudoalgebras and describe their structure and representations. Also, we classify pseudoalgebras algebraically similar to Cend_n.
This note is to show the effectiveness of the notion of pseudoalgebra in the theory of conformal algebras. We adduce very simple construction of free associative conformal algebra and find its linear basis. There is no any new result but we hope that the technique could be useful for further development of the theory of conformal algebras and pseudoalgebras.
Conformal algebras, recently introduced by Kac, encode an axiomatic description of the singular part of the operator product expansion in conformal field theory. The objective of this paper is to develop the theory of ``multi-dimensional'' analogues of conformal algebras. They are defined as Lie algebras in a certain ``pseudotensor'' category instead of the category of vector spaces. A pseudotensor category (as introduced by Lambek, and by Beilinson and Drinfeld) is a category equipped with ``polylinear maps'' and a way to compose them. This allows for the definition of Lie algebras, represent…
In this paper, we introduce the cohomology theory of $\mathcal{O}$-operators on Hom-associative algebras. This cohomology can also be viewed as the Hochschild cohomology of a certain Hom-associative algebra with coefficients in a suitable bimodule. Next, we study infinitesimal and formal deformations of an $\mathcal{O}$-operator and show that they are governed by the above-defined cohomology. Furthermore, the notion of Nijenhuis elements associated with an $\mathcal{O}$-operator is introduced to characterize trivial infinitesimal deformations.
We describe semiinfinite cohomology of associative algebras in terms of Koszul (or bar) duality. Consider an associative algebra $A$ and two its subalgebras $B$ and $N$ such that $A=B\otimes N$ as a vector space. We prove that the endomorphism algebra of the semiregular $A$-module appears naturally in semiinfinite cohomology theory as a ``two times Koszul dual'' to the algebra $A$. We compare semiinfinite cohomology of universal enveloping algebras with the well-known Lie algebra semiinfinite cohomology. A new description of the critical 2-cocycle is provided. As a consequence we obtain anothe…
Motivated by ideas from stable homotopy theory we study the space of strongly homotopy associative multiplications on a two-cell chain complex. In the simplest case this moduli space is isomorphic to the set of orbits of a group of invertible power series acting on a certain space. The Hochschild cohomology rings of resulting A-infinity algebras have an interpretation as totally ramified extensions of discrete valuation rings. All A-infinity algebras are supposed to be unital and we give a detailed analysis of unital structures which is of independent interest.
We define for an associative algebra an $A_{\infty}$ category whose objects are automorphisms of this algebra. This construction has some resemblance with Fukaya'a categories related to Floer cohomology.
In this paper, we introduce the notions of crossed module of associative conformal algebras, 2-term strongly homotopy associative conformal algebras, and discuss the relationship between them and the 3-th Hochschild cohomology of associative conformal algebras. We classify the non-abelian extensions by introducing the non-abelian cohomology. We show that non-abelian extensions of an associative conformal algebra can be viewed as Maurer-Cartan elements of a suitable differential graded Lie algebra, and prove that the Deligne groupoid of this differential graded Lie algebra corresponds one to on…
An associative algebra is nothing but an odd quadratic codifferential on the tensor coalgebra of a vector space, and an A-infinity algebra is simply an arbitrary odd codifferential. Hochschild cohomology classifies the deformations of an associative algebra into an A-infinity algebra, and cyclic cohomology in the presence of an invariant inner product classifies the deformations of the associative algebra into an A-infinity algebra preserving the inner product. Similarly, a graded Lie algebra is simply a special case of an odd codifferential on the exterior coalgebra of a vector space, and an …
We define several versions of the cohomology ring of an associative algebra. These ring structures unify some well known operations from homological algebra and differential geometry. They have some formal resemblance with the quantum multiplication on Floer cohomology of free loop spaces. We discuss some examples, as well as applications to index theorems, characteristic classes and deformations.
In this paper we show that non abelian extensions of an associative algebra $\mathcal{B}$ by an associative algebra $\mathcal{A}$ can be viewed as Maurer-Cartan elements of a suitable differential graded Lie algebra $L$. In particular we show that $\mathcal{MC}(L)$, the Deligne groupoid of $L$, is in 1-1 correspondence with the non-abelian cohomology $H^2_{nab}(\mathcal{B},\mathcal{A})$.
We define a BV-structure on the Hochschild-cohomology of a unital, associative algebra A with a symmetric, invariant and non-degenerate inner product. The induced Gerstenhaber algebra is the one described in Gerstenhaber's original paper on Hochschild-cohomology. We also prove the corresponding theorem in the homotopy case, namely we define the BV-structure on the Hochschild-cohomology of a unital A-infinity-algebra with a symmetric and non-degenerate infinity-inner product.
The purpose of this paper is to study deformation theory of Hom-associative algebra morphisms and Hom-Lie algebra morphisms. We introduce a suitable cohomology and discuss Infinitesimal deformations, equivalent deformations and obstructions. Moreover, we provide some examples.
Heaps are para-associative ternary operations bijectively exemplified by groups via the operation $(x,y,z) \mapsto x y^{-1} z$. They are also ternary self-distributive, and have a diagrammatic interpretation in terms of framed links. Motivated by these properties, we define para-associative and heap cohomology theories and also a ternary self-distributive cohomology theory with abelian heap coefficients. We show that one of the heap cohomologies is related to group cohomology via a long exact sequence. Moreover we construct maps between second cohomology groups of normalized group cohomology a…
In this paper we develop a new homology theory of associative algebras called semiinfinite cohomology in a derived category setting. We show that in the case of small quantum groups the zeroth semiinfinite cohomology of the trivial module is closely related to the conformal blocks' spaces. We provide a description of the semiinfinite cohomology spaces of the trivial module over a small quantum group in terms of distributions on the nilpotent cone of the corresponding semisimple Lie algebra.
In a classic paper, Gerstenhaber showed that first order deformations of an associative k-algebra A are controlled by the second Hochschild cohomology group of A. More generally, any n-parameter first order deformation of A gives, due to commutativity of the cup-product on Hochschild cohomology, a morphism from the graded algebra Sym(k^n) to Ext^*(A,A), the Ext-algebra in the category of A-bimodules. We prove that any extension of the n-parameter first order deformation of A to an INFINITE ORDER formal deformation provides a canonical `lift' of the graded algebra morphism above to a dg-algebra…
In this paper we show that to a unital associative algebra object (resp. co-unital co-associative co-algebra object) of any abelian monoidal category $\mathcal{C}$ endowed with a symmetric $2$-trace, one can attach a cyclic (resp. cocyclic) module, and therefore speak of the cyclic (co)homology of the (co)algebra "with coefficients in $F$". We observe that if $\mathcal{M}$ is a $\mathcal{C}$-bimodule category equipped with a stable central pair then $\mathcal{C}$ acquires a symmetric 2-trace. The dual notions of symmetric $2$-contratraces and stable central contrapairs are derived as well. As …
We define two $(n+1)$ graded Lie brackets on spaces of multilinear mappings. The first one is able to recognize $n$-graded associative algebras and their modules and gives immediately the correct differential for Hochschild cohomology. The second one recognizes $n$-graded Lie algebra structures and their modules and gives rise to the notion of Chevalley cohomology.
The abelian category of tetramodules over an associative bialgebra $A$ is related with the Gerstenhaber-Schack (GS) cohomology as $Ext_\Tetra(A,A)=H_\GS(A)$. We construct a 2-fold monoidal structure on the category of tetramodules of a bialgebra. Suppose $C$ is an abelian $n$-fold monoidal category with the unit object $A$. We prove, provided some condition (*), that $Ext_C(A,A)$ is an $(n+1)$-algebra. In the case of bialgebras this condition (*) is satisfied when $A$ is a Hopf algebra. Finally, the GS cohomology of a Hopf algebra is a 3-algebra. As well, we consider this kind of questions of …
It is known that the semi-infinite cohomology spaces of the infinitely twisted nilpotent subalgebra in an affine Lie algebra $g$ with coefficients in an integrable simple module over the affine Lie algebra have a base enumerated by elements of the corresponding affine Weyl group graded by the semiinfinite length function. Let $U$ be the affine quantum group corresponding to $g$. It is possible to define a subalgebra in $U$ being the quantum analogue of the universal enveloping algebra of the infinitely twisted nilpotent subalgebra in $g$. In this paper we prove that for general values of the p…
We propose a method for reduction of quantum systems with arbitrary first class constraints. An appropriate mathematical setting for the problem is homology of associative algebras. For every such an algebra $A$ and its subalgebra B with an augmentation e there exists a cohomological complex which is a generalization of the BRST one. Its cohomology is an associative graded algebra Hk^{*}(A,B) which we call the Hecke algebra of the triple (A,B,e). It acts in the cohomology space H^{*}(B,V) for every left A- module V. In particular the zeroth graded component Hk^{0}(A,B) acts in the space of B- …
We establish a dictionary between the Cacti algebra axioms on a Cacti algebra structure with underlying free associative algebra, under suitable good behavior with degrees. Using these ideas, for an associative algebra $A$ and a bialgebra $H$, we also translate Cacti algebra maps $Ω(H)\to C^\bullet(A)$ (where $Ω(H)$ stands for the cobar construction on $H$ and $C^\bullet(A)$ is the Hochschild cohomology complex) with $H$-module algebra structures on $A$, and illustrate with examples of applications.