An explicit deformation theory of (co)associative bialgebras

BiHom-Associative Algebras, BiHom-Lie Algebras and BiHom-Bialgebras

A BiHom-associative algebra is a (nonassociative) algebra $A$ endowed with two commuting multiplicative linear maps $α,β\colon A\rightarrow A$ such that $α(a)(bc)=(ab)β(c)$, for all $a, b, c\in A$. This concept arose in the study of algebras in so-called group Hom-categories. In this paper, we introduce as well BiHom-Lie algebras (also by using the categorical approach) and BiHom-bialgebras. We discuss these new structures by presenting some basic properties and constructions (representations, twisted tensor products, smash products etc).

A concept of $\frac23$PROP and deformation theory of (co)associative bialgebras

We introduce a concept of $\frac23$PROP generalizing the Kontsevich concept of $\frac12$PROP. We prove that some Stasheff-type compactification of the Kontsevich spaces $K(m,n)$ defines a topological $\frac23$PROP structure. The corresponding chain complex is a minimal model for its cohomology (both are considered as $\frac23$PROPs). We construct a $\frac23$PROP $\End(V)$ for a vector space $V$. Finally, we construct a dg Lie algebra controlling the deformations of a (co)associative bialgebra. Philosophically, this construction is a version of the Markl's operadic construction from [M1] applie…

Formality theorem and bialgebra deformations

In this paper we prove formality of the exterior algebra on V+V* endowed with the big bracket considered as a graded Poisson algebra. We also discuss connection of this result to bialgebra deformations of the symmetric algebra of V considered as bialgebra.

Bialgebras, Frobenius algebras and associative Yang-Baxter equations for Rota-Baxter algebras

Rota-Baxter operators and bialgebras go hand in hand in their applications, such as in the Connes-Kreimer approach to renormalization and the operator approach to the classical Yang-Baxter equation. We establish a bialgebra structure that is compatible with the Rota-Baxter operator, called the Rota-Baxter antisymmetric infinitesimal (ASI) bialgebra. This bialgebra is characterized by generalizations of matched pairs of algebras and double constructions of Frobenius algebras to the context of Rota-Baxter algebras. The study of the coboundary case leads to an enrichment of the associative Yang-B…

On antisymmetric infinitesimal conformal bialgebras

In this paper, we construct a bialgebra theory for associative conformal algebras, namely antisymmetric infinitesimal conformal bialgebras. On the one hand, it is an attempt to give conformal structures for antisymmetric infinitesimal bialgebras. On the other hand, under certain conditions, such structures are equivalent to double constructions of Frobenius conformal algebras, which are associative conformal algebras that are decomposed into the direct sum of another associative conformal algebra and its conformal dual as $\mathbb{C}[\partial]$-modules such that both of them are subalgebras an…

An explicit formula for the deformation quantization of Lie bialgebras

A model of 3-dimensional topological quantum field theory is rigorously constructed. The results are applied to an explicit formula for deformation quantization of any finite-dimensional Lie bialgebra over the field of complex numbers. This gives an explicit construction of "quantum groups" from any Lie bialgebra, which was proven without explicit formulas in [EK].

Hom-bialgebras and comodule Hom-algebras

We study Hom-bialgebras and objects admitting coactions by Hom-bialgebras. In particular, we construct a Hom-bialgebra M representing the functor of 2x2-matrices on Hom-associative algebras. Then we construct a Hom-algebra analogue of the affine plane and show that it is a comodule Hom-algebra over M in a suitable sense. It is also shown that the enveloping Hom-associative algebra of a Hom-Lie algebra is naturally a Hom-bialgebra.

Rota-Baxter systems, dendriform algebras and covariant bialgebras

A generalisation of the notion of a Rota-Baxter operator is proposed. This generalisation consists of two operators acting on an associative algebra and satisfying equations similar to the Rota-Baxter equation. Rota-Baxter operators of any weights and twisted Rota-Baxter operators are solutions of the proposed system. It is shown that dendriform algebra structures of a particular kind are equivalent to Rota-Baxter systems. It is shown further that a Rota-Baxter system induces a weak peudotwistor [F. Panaite & F. Van Oystaeyen, Twisted algebras, twisted bialgebras and Rota-Baxter operators, arX…

Deformation theory of Lie bialgebra properads

We compute the homotopy derivations of the properads governing even and odd Lie bialgebras as well as involutive Lie bialgebras. The answer may be expressed in terms of the Kontsevich graph complexes. In particular, this shows that the Grothendieck-Teichmüller group acts faithfully (and essentially transitively) on the completions of the properads governing even Lie bialgebras and involutive Lie bialgebras, up to homotopy. This shows also that by contrast to the even case the properad governing odd Lie bialgebras admits precisely one non-trivial automorphism - the standard rescaling automorphi…

拟李双代数与伪李双代数的（带轮）properad的图复形与形变理论

Graph complexes and Deformation theories of the (wheeled) properads of quasi- and pseudo-Lie bialgebras

本文研究强同伦拟李双代数的导子复形（含无轮、带轮情形），并借助Kontsevich图复形计算其上同调，推进拟李双代数相关形变理论研究。

A Cacti theoretical interpretation of the axioms of bialgebras and H-module algebras

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.

通过形变到拟经典极限的泊松双代数

Poisson bialgebras by deformations-to-quasiclassical limits

本文将泊松代数的形变-拟经典极限过程推广到双代数层面，推导了泊松双代数的对应关系并通过相干导子阐释，是李双代数量子化过程的无穷小版本。

Gerstenhaber-Schack Cohomology for Hom-bialgebras and Deformations

Hom-bialgebras and Hom-Hopf algebras are generalizations of bialgebra and Hopf algebra structures, where associativity and coassociativity conditions are twisted by a homomorphism. The purpose of this paper is to define a Gerstenhaber-Schack cohomology complex for Hom-bialgebras and then study one parameter formal deformations.

Exotic bialgebras : non-deformation quantum groups

In the classification of solutions of the Yang--Baxter equation, there are solutions that are not deformations of the trivial solution (essentially the identity). We consider the algebras defined by these solutions, and the corresponding dual algebras. We then study the representations of the latter. We are also interested in the Baxterisation of these $R$-matrices and in the corresponding quantum planes.

On Graded Bialgebra Deformations

We introduce the graded bialgebra deformations, which explain Andruskiewitsch-Schneider's liftings method. We also relate this graded bialgebra deformation with the corresponding graded bialgebra cohomology groups, which is the graded version of the one due to Gerstenhaber-Schack.

Deformation theory of bialgebras, higher Hochschild cohomology and formality

A first goal of this paper is to precisely relate the homotopy theories of bialgebras and $E_2$-algebras. For this, we construct a conservative and fully faithful $\infty$-functor from pointed conilpotent homotopy bialgebras to augmented $E_2$-algebras which consists in an appropriate "cobar" construction. Then we prove that the (derived) formal moduli problem of homotopy bialgebras structures on a bialgebra is equivalent to the (derived) formal moduli problem of $E_2$-algebra structures on this "cobar" construction. We show consequently that the $E_3$-algebra structure on the higher Hochschil…

Bialgebra cohomology, pointed Hopf algebras, and deformations

We give explicit formulas for maps in a long exact sequence connecting bialgebra cohomology to Hochschild cohomology. We give a sufficient condition for the connecting homomorphism to be surjective. We apply these results to compute all bialgebra two-cocycles of certain Radford biproducts (bosonizations). These two-cocycles are precisely those associated to the finite dimensional pointed Hopf algebras in the recent classification of Andruskiewitsch and Schneider, in an interpretation of these Hopf algebras as graded bialgebra deformations of Radford biproducts.

Quantization of Lie bialgebras, V

This paper is a continuation of "Quantization of Lie bialgebras I-IV". The goal of this paper is to define and study the notion of a quantum vertex operator algebra in the setting of the formal deformation theory and give interesting examples of such algebras. In particular, we construct a quantum vertex operator algebra from a rational, trigonometric, or elliptic R-matrix, which is a quantum deformation of the affine vertex operator algebra. The simplest vertex operator in this algebra is the quantum current of Reshetikhin and Semenov-Tian-Shansky.

Deformations of associative algebras with inner products

We develop the deformation theory of A_\infty algebras together with \infty inner products and identify a differential graded Lie algebra that controls the theory. This generalizes the deformation theories of associative algebras, A_\infty algebras, associative algebras with inner products, and A_\infty algebras with inner products.

Classification of universal formality maps for quantizations of Lie bialgebras

We settle several questions about the theory of universal deformation quantization of Lie bialgebras by giving their complete classification up to homotopy equivalence. An important new technical ingredient introduced in this paper is an endofunctor D in the category of augmented props with the property that for any representation of a prop P in a vector space V the associated prop DP admits an induced representation on the graded commutative tensor algebra S(V) given in terms of polydifferential operators. Applying this functor to the prop LieB of Lie bialgebras we show that universal formali…

Double constructions of Frobenius algebras, Connes cocycles and their duality

We construct an associative algebra with a decomposition into the direct sum of the underlying vector spaces of another associative algebra and its dual space such that both of them are subalgebras and the natural symmetric bilinear form is invariant or the natural antisymmetric bilinear form is a Connes cocycle. The former is called a double construction of Frobenius algebra and the latter is called a double construction of Connes cocycle which is interpreted in terms of dendriform algebras. Both of them are equivalent to a kind of bialgebras, namely, antisymmetric infinitesimal bialgebras an…

Additive Deformations of Braided Hopf Algebras

Additive deformations of bialgebras in the sense of J. Wirth, i.e. deformations of the multiplication map fulfilling a certain compatibility condition w.r.t. the coalgebra structure, can be generalized to braided bialgebras. The theorems for additive deformations of Hopf algebras can also be carried over to that case. We consider *-structures and prove a general Schoenberg correspondence in this context. Finally we give some examples.

The Frobenius properad is Koszul

We show Koszulness of the prop governing involutive Lie bialgebras and also of the props governing non-unital and unital-counital Frobenius algebras, solving a long-standing problem. This gives us minimal models for their deformation complexes, and for deformation complexes of their algebras which are discussed in detail. Using an operad of graph complexes we prove, with the help of an earlier result of one of the authors, that there is a highly non-trivial action of the Grothendieck-Teichmüller group $GRT_1$ on (completed versions of) the minimal models of the properads governing Lie bialgebr…

On 3+1 anti-de Sitter and de Sitter Lie bialgebras with dimensionful deformation parameters

We analyze among all possible quantum deformations of the 3+1 (anti)de Sitter algebras, so(3,2) and so(4,1), which have two specific non-deformed or primitive commuting operators: the time translation/energy generator and a rotation. We prove that under these conditions there are only two families of two-parametric (anti)de Sitter Lie bialgebras. All the deformation parameters appearing in the bialgebras are dimensionful ones and they may be related to the Planck length. Some properties conveyed by the corresponding quantum deformations (zero-curvature and non-relativistic limits, space isotro…

Lie bialgebra contractions and quantum deformations of quasi-orthogonal algebras

Lie bialgebra contractions are introduced and classified. A non-degenerate coboundary bialgebra structure is implemented into all pseudo-orthogonal algebras $so(p,q)$ starting from the one corresponding to $so(N+1)$. It allows to introduce a set of Lie bialgebra contractions which leads to Lie bialgebras of quasi-orthogonal algebras. This construction is explicitly given for the cases $N=2,3,4$. All Lie bialgebra contractions studied in this paper define Hopf algebra contractions for the Drinfel'd-Jimbo deformations $U_z so(p,q)$. They are explicitly used to generate new non-semisimple quantum…

Poincaré series of quantum matrix bialgebras determined by a pair of quantum spaces

The dimension of the third homogeneous component of a matrix quantum bialgebra, determined by pair of quantum spaces, is calculated. The Poincaré series of some deformations of $GL(n)$ is calculated. A new deformation of $GL(3)$ with the correct dimension is given.

强同伦李双代数轮式 properad 的形变理论与图复形

Deformation theory of the wheeled properad of strongly homotopy Lie bialgebras and graph complexes

本文研究强同伦李双代数轮式 properad 及其次数平移版本的导子复形，证明其与 Kontsevich 图复形拟同构，并得出同伦非平凡导子李代数为两个 $\mathfrak{grt}$ 副本直和的结论。

Algebraic deformation quantization of Leibniz algebras

In this paper we focus on a certain self-distributive multiplication on coalgebras, which leads to so-called rack bialgebra. We construct canon-ical rack bialgebras (some kind of enveloping algebras) for any Leibniz algebra. Our motivation is deformation quantization of Leibniz algebras in the sense of [6]. Namely, the canonical rack bialgebras we have constructed for any Leibniz algebra lead to a simple explicit formula of the rack-star-product on the dual of a Leibniz algebra recently constructed by Dherin and Wagemann in [6]. We clarify this framework setting up a general deformation theory…

多微分李双代数与图复形

Polydifferential Lie bialgebras and graph complexes

本研究分析李双代数properad到其多微分版本的典范态射的形变复形，证明其与有向图复形拟同构，关联Grothendieck-Teichmüller李代数，并借助纠缠图复形描述完整形变复形的结构。

通过微分反对称无穷小双代数得到的 Novikov 双代数的形变族

Deformation families of Novikov bialgebras via differential antisymmetric infinitesimal bialgebras

本文通过引入可容许交换微分代数及第二个线性算子，构造了 Novikov 代数和 Novikov 双代数的形变族，推广了 S. Gelfand 的经典构造，并建立了与 Manin 三元组、Yang-Baxter 型方程等经典双代数理论的联系。

Multiparametric quantum gl(2): Lie bialgebras, quantum R-matrices and non-relativistic limits

Multiparametric quantum deformations of $gl(2)$ are studied through a complete classification of $gl(2)$ Lie bialgebra structures. From them, the non-relativistic limit leading to harmonic oscillator Lie bialgebras is implemented by means of a contraction procedure. New quantum deformations of $gl(2)$ together with their associated quantum $R$-matrices are obtained and other known quantizations are recovered and classified. Several connections with integrable models are outlined.

Bialgebra actions, twists, and universal deformation formulas

We introduce a general theory of twisting algebraic structures based on actions of a bialgebra. These twists are closely related to algebraic deformations and also to the theory of quasi-triangular bialgebras. In particular, a deformation produced from a universal deformation formula (UDF) is a special case of a twist. The most familiar example of a deformation produced from a UDF is perhaps the "Moyal product" which (locally) is the canonical quantization of the algebra of functions on a symplectic manifold in the direction of the Poisson bracket. In this case, the derivations comprising the …

$D$-bialgebras, dendrification和嵌入到几乎Poisson代数的AWB中

$D$-bialgebras, dendrification and embeddings into AWB of almost Poisson algebras

本文引入了几乎Poisson Drinfel'd bialgebras（$D$-bialgebras）并建立了匹配对、Manin三元组与该结构的等价性，同时定义了新的代数结构，并展示了如何通过平均算子将几乎Poisson代数嵌入到AWB中。

Deformation cohomology for Yetter-Drinfel'd modules and Hopf (bi)modules

If A is a bialgebra over a field k and M, N are either left-right Yetter-Drinfel'd modules or left-right Hopf modules over A, we construct deformation cohomologies H^*(M,N) as total cohomologies of certain double complexes Y(M,N) and C(M,N), respectively. In both cases, H^1(M,N) is isomorphic to the group of equivalence classes of extensions of M by N in the corresponding category. In the Yetter-Drinfel'd case, H^*(k,k) is just the Gerstenhaber-Schack cohomology of the bialgebra A. If M, N are Hopf bimodules we construct a natural subbicomplex of the above C(M,N), yielding a cohomology theory …

Gauge deformations for Hopf algebras with the dual Chevalley property

Let $A$ be a Hopf algebra over a field $K$ of characteristic zero such that its coradical $H$ is a finite dimensional sub-Hopf algebra. Our main theorem shows that there is a gauge transformation $ζ$ on $A$ such that $A^ζ\cong Q#H$ where $A^ζ$ is the dual quasi-bialgebra obtained from $A$ by twisting its multiplication by $ζ$, $Q$ is a connected dual quasi-bialgebra in $^H_H\mathcal{YD}$ and $Q #H $ is a dual quasi-bialgebra called the bosonization of $Q$ by $H$.

Hopf代数的加法形变

Additive Deformations of Hopf Algebras

本文研究Hopf代数的加法形变，利用Hochschild上同调变体刻画平凡形变，证明形变反极元的存在性并给出计算公式，且在余交换情形下证明形变可分解为平凡部分与常值反极元部分。

Derived Equivalences Between Associative Deformations

We prove that if two associative deformations (parameterized by the same complete local ring) are derived Morita equivalent, then they are Morita equivalent (in the classical sense).

Formal deformations of morphisms of associative algebras

The strong homotopy Lie algebra, controlling simultaneous deformations of a morphism of associative algebras and its domain and codomain is constructed. Isomorphism of the cohomology of this strong homotopy Lie algebra with the classical construction is shown.

同伦代数中的普适构造

Universal constructions in homotopical algebra

本文利用李图代数有效积分理论，为多种双代数类型的形变与同伦理论提供普适构造，给出Deligne群胚的同伦描述并推广了operadic代数形变公式。

Notes on Formal Deformations of Hom-associative and Hom-Lie Algebras

The aim of this paper is to extend to Hom-algebra structures the theory of formal deformations of algebras which was introduced by Gerstenhaber for associative algebras and extended to Lie algebras by Nijenhuis-Richardson. We deal with Hom-associative and Hom-Lie algebras. We construct the first groups of a deformation cohomology and give several examples of deformations. We provide families of Hom-Lie algebras deforming Lie algebra $sl_2$ and describe as formal deformations the q-deformed Witt algebra and Jackson $sl_2$.

Nijenhuis算子与mock-Lie双代数

Nijenhuis operators and mock-Lie bialgebras

本文通过推广匹配对、Manin三元组等概念，刻画了Nijenhuis mock-Lie双代数，并研究了其形式形变、阿贝尔扩张及与mock-Lie-Yang-Baxter方程的联系。

Associative algebra deformations of the Connes-Moscovici's Hopf algebra $\mathcal{H}_1$

We compute the second Hochschild cohomology space $HH^2(\mathcal{H}_1)$ of Connes-Moscovici's Hopf algebra $\mathcal{H}_1$, giving the infinitesimal deformations (up to equivalence) of the associative structure. $HH^2(\mathcal{H}_1)$ is shown to be one dimensional, and thus Connes-Moscovici's formal deformation of $\mathcal{H}_1$ using Rankin-Cohen brackets is unique up to equivalence.

Cohomology and deformations of O-operators on Hom-associative algebras

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.

无穷小编织的量化与预Cartier双代数

Quantization of infinitesimal braidings and pre-Cartier quasi-bialgebras

本文研究了预Cartier双代数在量化无穷小编织中的作用，并探讨了相关概念如无穷小量子Yang-Baxter方程和Cartier环。

A simple construction of associative deformations

We propose a simple approach to formal deformations of associative algebras. It exploits the machinery of multiplicative coresolutions of an associative algebra A in the category of A-bimodules. Specifically, we show that certain first-order deformations of A extend to all orders and we derive explicit recurrent formulas determining this extension. In physical terms, this may be regarded as the deformation quantization of noncommutative Poisson structures on A.

Deformations of (Bi) tensor Categories

We define the cohomology and formal deformation theories for algebra and bialgebra categories. We suggest some approaches to finding nontrivial deformations of the categories associated to the quantum groups by the work of Lusztig.

Homotopy Gerstenhaber structure on deformation complex of a morphism

$G_\infty$-structure is shown to exist on the deformation complex of a morphism of associative algebras. The main step of the construction is extension of a $B_\infty$-algebra by an associative algebra. Actions of $B_\infty$-algebras on associative and $B_\infty$-algebras are analyzed, extensions of $B_\infty$-algebras by associative and $B_\infty$-algebras, that they act upon, are constructed. The resulting $G_\infty$-algebra on the deformation complex of a morphism is shown to be quasi-isomorphic to the $G_\infty$-algebra on deformation complex of the corresponding diagram algebra.

On Deformations of Associative Algebras

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…

The deformation quantization mapping of Poisson- to associative structures in field theory

Let $\{{\cdot},{\cdot}\}_{\boldsymbol{\mathcal{P}}}$ be a variational Poisson bracket in a field model on an affine bundle $π$ over an affine base manifold $M^m$. Denote by $\times$ the commutative associative multiplication in the Poisson algebra $\boldsymbol{\mathcal{A}}$ of local functionals $Γ(π)\to\Bbbk$ that take field configurations to numbers. By applying the techniques from geometry of iterated variations, we make well defined the deformation quantization map ${\times}\mapsto{\star}={\times}+\hbar\,\{{\cdot},{\cdot}\}_{\boldsymbol{\mathcal{P}}}+\bar{o}(\hbar)$ that produces a noncommu…

无穷小辫子结构与pre-Cartier双代数

Infinitesimal braidings and pre-Cartier bialgebras

提出辫子范畴的无穷小对应物及无穷小辫子结构，在(余)三角双代数(余)模范畴中详细阐述推广的pre-Cartier框架，刻画无穷小R-矩阵性质，并提供显式例子与重构定理。