Showing 1–19 of 19 results for author: Stefan, D

On deformation theory of associative algebras in monoidal categories

Authors: Abdenacer Makhlouf, Dragoş Ştefan

Abstract: We extend the classical concept of deformation of an associative algebra, as introduced by Gerstenhaber, by using monoidal linear categories and cocommutative coalgebras as foundational tools. To achieve this goal, we associate to each cocommutative coalgebra $C$ and each linear monoidal category $\M$, a $\Bbbk$-linear monoidal category $\M_{C}$. This construction is functorial: any coalgebra morp… ▽ More We extend the classical concept of deformation of an associative algebra, as introduced by Gerstenhaber, by using monoidal linear categories and cocommutative coalgebras as foundational tools. To achieve this goal, we associate to each cocommutative coalgebra $C$ and each linear monoidal category $\M$, a $\Bbbk$-linear monoidal category $\M_{C}$. This construction is functorial: any coalgebra morphism $ι:C\to\widetilde{C}$ induces a strict monoidal functor $ι^{*}:\M_{\widetilde{C}}\to\M_{C}$. An $ι$-deformation of an algebra $(A,m)$ is defined as an algebra $(A,\widetilde{m})$ in the fiber of $ι^{*}$ over $(A,m)$. Within this framework, the deformations of $(A,m)$ are organized into a presheaf, which is shown to be representable. In other words, there exists a universal deformation satisfying a specific universal property. It is well established that classical deformation theory is deeply connected to Hochschild cohomology. We identify and analyze the cohomology theory that governs $ι$-deformations in the second part of the paper. Additionally, several particular cases and applications of these results are examined in detail. △ Less

Submitted 14 December, 2024; originally announced December 2024.

$PBW$-deformations of graded rings

Authors: Alessandro Ardizzoni, Paolo Saracco, Dragoş Ştefan

Abstract: We prove in a very general framework several versions of the classical Poincaré-Birkhoff-Witt Theorem, which extend results from [BeGi, BrGa, CS, HvOZ, WW]. Applications and examples are discussed in the last part of the paper. We prove in a very general framework several versions of the classical Poincaré-Birkhoff-Witt Theorem, which extend results from [BeGi, BrGa, CS, HvOZ, WW]. Applications and examples are discussed in the last part of the paper. △ Less

Submitted 12 October, 2017; originally announced October 2017.

MSC Class: 17C25 (Primary); 16W50; 16E40 (Secondary)

Journal ref: Israel J. Math. 249 (2022), no. 2, 769-856

On Koszulity of Finite Posets

Authors: Adrian Manea, Dragoş Ştefan

Abstract: We prove in a unifying way several equivalent descriptions of Koszul rings, some of which being well known in the literature. Most of them are stated in terms of coring theoretical properties of $\Tor_n^A(R,R)$. As an application of these characterizations we investigate the Koszulity of the incidence rings for finite graded posets. Based on these results, we describe an algorithm to produce new c… ▽ More We prove in a unifying way several equivalent descriptions of Koszul rings, some of which being well known in the literature. Most of them are stated in terms of coring theoretical properties of $\Tor_n^A(R,R)$. As an application of these characterizations we investigate the Koszulity of the incidence rings for finite graded posets. Based on these results, we describe an algorithm to produce new classes of Koszul posets (i.e. graded posets whose incidence rings are Koszul). Specific examples of Koszul posets are included. △ Less

Submitted 18 May, 2016; originally announced May 2016.

Comments: 14 pages; 4 figures. The first version of arXiv:1504.03548 was split into two parts, the present article containing one of them

MSC Class: Primary 16E40; Secondary 16T15

Further Properties and Applications of Koszul Pairs

Authors: Adrian Manea, Dragoş Ştefan

Abstract: Koszul pairs were introduced in [arXiv:1011.4243] as an instrument for the study of Koszul rings. In this paper, we continue the enquiry of such pairs, focusing on the description of the second component, as a follow-up of the study in [arXiv:1605.05458]. As such, we introduce Koszul corings and prove several equivalent characterizations for them. As applications, in the case of locally finite… ▽ More Koszul pairs were introduced in [arXiv:1011.4243] as an instrument for the study of Koszul rings. In this paper, we continue the enquiry of such pairs, focusing on the description of the second component, as a follow-up of the study in [arXiv:1605.05458]. As such, we introduce Koszul corings and prove several equivalent characterizations for them. As applications, in the case of locally finite $R$-rings, we show that a graded $R$-ring is Koszul if and only if its left (or right) graded dual coring is Koszul. Finally, for finite graded posets, we obtain that the respective incidence ring is Koszul if and only if the incidence coring is so. △ Less

Submitted 14 September, 2016; v1 submitted 14 April, 2015; originally announced April 2015.

Comments: part of the first version

MSC Class: 16E40; 16T10; 16T15

Journal ref: SIGMA 12 (2016), 092, 24 pages

The cohomology ring of the 12-dimensional Fomin-Kirillov algebra

Authors: Dragos Stefan, Cristian Vay

Abstract: The $12$-dimensional Fomin-Kirillov algebra $FK_3$ is defined as the quadratic algebra with generators $a$, $b$ and $c$ which satisfy the relations $a^2=b^2=c^2=0$ and $ab+bc+ca=0=ba+cb+ac$. By a result of A. Milinski and H.-J. Schneider, this algebra is isomorphic to the Nichols algebra associated to the Yetter-Drinfeld module $V$, over the symmetric group $\mathbb{S}_3$, corresponding to the con… ▽ More The $12$-dimensional Fomin-Kirillov algebra $FK_3$ is defined as the quadratic algebra with generators $a$, $b$ and $c$ which satisfy the relations $a^2=b^2=c^2=0$ and $ab+bc+ca=0=ba+cb+ac$. By a result of A. Milinski and H.-J. Schneider, this algebra is isomorphic to the Nichols algebra associated to the Yetter-Drinfeld module $V$, over the symmetric group $\mathbb{S}_3$, corresponding to the conjugacy class of all transpositions and the sign representation. Exploiting this identification, we compute the cohomology ring $Ext_{FK_3}^*(\Bbbk,\Bbbk)$, showing that it is a polynomial ring $S[X]$ with coefficients in the symmetric braided algebra of $V$. As an application we also compute the cohomology rings of the bosonization $FK_3\#\Bbbk\mathbb{S}_3$ and of its dual, which are $72$-dimensional ordinary Hopf algebras. △ Less

Submitted 5 February, 2016; v1 submitted 20 April, 2014; originally announced April 2014.

Comments: v3: Final version, accepted for publication in Advances in Mathematics

Journal ref: Advances in Mathematics, Volume 291 (2016), pp. 584-620

On de Rham Cohomology of Linear Categories

Authors: Andrei Chiteş, Mădălin Ciungu, Dragoş Ştefan

Abstract: We define the Chern map from the Grothendieck group of a linear category C to the de Rham cohomology of C with coefficients in a DG-category. In order to achieve our goal, we define the notion of connection on a C-module, and we show that the trace of the curvature of a connection is a de Rham cocycle, whose cohomology class does not depend on the choice of the connection. We define the Chern map from the Grothendieck group of a linear category C to the de Rham cohomology of C with coefficients in a DG-category. In order to achieve our goal, we define the notion of connection on a C-module, and we show that the trace of the curvature of a connection is a de Rham cocycle, whose cohomology class does not depend on the choice of the connection. △ Less

Submitted 18 December, 2011; originally announced December 2011.

Comments: 12 pages

MSC Class: 18G60 (Primary) 13D15 (Secondary)

Factorizable enriched categories and applications

Authors: Aura Bârdeş, Dragoş Ştefan

Abstract: We define the twisted tensor product of two enriched categories, which generalizes various sorts of `products' of algebraic structures, including the bicrossed product of groups, the twisted tensor product of (co)algebras and the double cross product of bialgebras. The key ingredient in the definition is the notion of simple twisting systems between two enriched categories. To give examples of sim… ▽ More We define the twisted tensor product of two enriched categories, which generalizes various sorts of `products' of algebraic structures, including the bicrossed product of groups, the twisted tensor product of (co)algebras and the double cross product of bialgebras. The key ingredient in the definition is the notion of simple twisting systems between two enriched categories. To give examples of simple twisted tensor products we introduce matched pairs of enriched categories. Several other examples related to ordinary categories, posets and groupoids are also discussed. △ Less

Submitted 4 December, 2011; originally announced December 2011.

Comments: 25 pages

MSC Class: 18D20 (Primary) 18D10; 16Sxx (Secondary)

Journal ref: Journal of Algebra, Volume 348, Issue 1, 2011, Pages 416-445

Koszul pairs and applications

Authors: Pascual Jara Martínez, Javier López Peña, Dragoş Ştefan

Abstract: Let $R$ be a semisimple ring. A pair $(A,C)$ is called almost-Koszul if $A$ is a connected graded $R$-ring and $C$ is a compatible connected graded $R$-coring. To an almost-Koszul pair one associates three chain complexes and three cochain complexes such that one of them is exact if and only if the others are so. In this situation $(A,C)$ is said to be Koszul. One proves that a connected $R$-ring… ▽ More Let $R$ be a semisimple ring. A pair $(A,C)$ is called almost-Koszul if $A$ is a connected graded $R$-ring and $C$ is a compatible connected graded $R$-coring. To an almost-Koszul pair one associates three chain complexes and three cochain complexes such that one of them is exact if and only if the others are so. In this situation $(A,C)$ is said to be Koszul. One proves that a connected $R$-ring $A$ is Koszul if and only if there is a connected $R$-coring $C$ such that $(A,C)$ is Koszul. This result allows us to investigate the Hochschild (co)homology of Koszul rings. We apply our method to show that the twisted tensor product of two Koszul rings is Koszul. More examples and applications of Koszul pairs, including a generalization of Fröberg Theorem, are discussed in the last part of the paper. △ Less

Submitted 5 February, 2016; v1 submitted 18 November, 2010; originally announced November 2010.

Comments: The final version, accepted for publication in Journal of Noncommutative Geometry

A categorical approach to cyclic duality

Authors: Gabriella Böhm, Dragos Stefan

Abstract: The aim of this paper is to provide a unifying categorical framework for the many examples of para-(co)cyclic modules arising from Hopf cyclic theory. Functoriality of the coefficients is immediate in this approach. A functor corresponding to Connes's cyclic duality is constructed. Our methods allow, in particular, to extend Hopf cyclic theory to (Hopf) bialgebroids. The aim of this paper is to provide a unifying categorical framework for the many examples of para-(co)cyclic modules arising from Hopf cyclic theory. Functoriality of the coefficients is immediate in this approach. A functor corresponding to Connes's cyclic duality is constructed. Our methods allow, in particular, to extend Hopf cyclic theory to (Hopf) bialgebroids. △ Less

Submitted 31 August, 2010; v1 submitted 24 October, 2009; originally announced October 2009.

Comments: LaTeX 2e, 47 pages, lots of figures. v2: the same mathematical content as in v1 is presented via string diagrams. Final version to appear in J. Noncommutative Geometry

MSC Class: 16E40 (Primary); 18G30 (Secondary); 16W30

Journal ref: J. Noncommutative Geometry 6 (2012), no. 3, 481-538

Coactions on Hochschild Homology of Hopf-Galois Extensions and Their Coinvariants

Authors: Abdenacer Makhlouf, Dragos Stefan

Abstract: Let A be an H-Galois extension of B. If M is a Hopf bimodule then HH.(A,M), the Hochschild homology of A with coefficients in M, is a right comodule over the coalgebra C:=H/[H,H]. Given an injective left C-comodule V, we denote the cotensor product of M and V by N. Our aim is to investigate the relationship between the cotensor product of HH.(A,M) and V, on the one hand, and HH.(B,N) on the othe… ▽ More Let A be an H-Galois extension of B. If M is a Hopf bimodule then HH.(A,M), the Hochschild homology of A with coefficients in M, is a right comodule over the coalgebra C:=H/[H,H]. Given an injective left C-comodule V, we denote the cotensor product of M and V by N. Our aim is to investigate the relationship between the cotensor product of HH.(A,M) and V, on the one hand, and HH.(B,N) on the other hand. The roots of this problem can be found in Lorenz's work on the descent of Hochschild homology of centrally Galois extensions, where HH.(A)^G, the subspace of invariant cycles with respect to the action of the Galois group, and HH.(B) are shown to be isomorphic. △ Less

Submitted 23 November, 2009; v1 submitted 29 October, 2008; originally announced October 2008.

Comments: Version v2: substantially revised. Title changed. To appear in the Journal of Pure and Applied Algebra

MSC Class: 16E40; 16W30

On the classification of twisting maps between $K^n$ and $K^m$

Authors: Pascual Jara, Javier López Peña, Gabriel Navarro, Dragoş Ştefan

Abstract: We define the notion of admissible pair for an algebra $A$, consisting on a couple $(Γ,R)$, where $Γ$ is a quiver and $R$ a unital, splitted and factorizable representation of $Γ$, and prove that the set of admissible pairs for $A$ is in one to one correspondence with the points of the variety of twisting maps $\mathcal{T}_A^n:=\mathcal{T}(K^n,A)$. We describe all these representations in the ca… ▽ More We define the notion of admissible pair for an algebra $A$, consisting on a couple $(Γ,R)$, where $Γ$ is a quiver and $R$ a unital, splitted and factorizable representation of $Γ$, and prove that the set of admissible pairs for $A$ is in one to one correspondence with the points of the variety of twisting maps $\mathcal{T}_A^n:=\mathcal{T}(K^n,A)$. We describe all these representations in the case $A=K^m$. △ Less

Submitted 24 September, 2009; v1 submitted 19 May, 2008; originally announced May 2008.

Comments: 21 pages

MSC Class: 16S35; 16G20

Examples of para-cocyclic objects induced by BD-laws

Authors: Gabriella Böhm, Dragos Stefan

Abstract: In a recent paper arXiv:0705.3190, we gave a general construction of a para-cocyclic structure on a cosimplex, associated to a so called admissible septuple -- consisting of two categories, three functors and two natural transformations, subject to compatibility relations. The main examples of such admissible septuples were induced by algebra homomorphisms. In this note we provide more general e… ▽ More In a recent paper arXiv:0705.3190, we gave a general construction of a para-cocyclic structure on a cosimplex, associated to a so called admissible septuple -- consisting of two categories, three functors and two natural transformations, subject to compatibility relations. The main examples of such admissible septuples were induced by algebra homomorphisms. In this note we provide more general examples coming from appropriate (`locally braided') morphisms of monads. △ Less

Submitted 29 December, 2007; originally announced January 2008.

Comments: 22 pages, 8 eps figures

MSC Class: 16E40; 16W30

Journal ref: Algebr. Represent. Theory 12 (2009), no. 2-5, 153-180

(Co)cyclic (co)homology of bialgebroids: An approach via (co)monads

Authors: Gabriella Böhm, Dragos Stefan

Abstract: For a (co)monad T_l on a category M, an object X in M, and a functor Π: M \to C, there is a (co)simplex Z^*:=ΠT_l^{* +1} X in C. Our aim is to find criteria for para-(co)cyclicity of Z^*. Construction is built on a distributive law of T_l with a second (co)monad T_r on M, a natural transformation i:ΠT_l \to ΠT_r, and a morphism w: T_r X \to T_l X in M. The relations i and w need to satisfy are c… ▽ More For a (co)monad T_l on a category M, an object X in M, and a functor Π: M \to C, there is a (co)simplex Z^*:=ΠT_l^{* +1} X in C. Our aim is to find criteria for para-(co)cyclicity of Z^*. Construction is built on a distributive law of T_l with a second (co)monad T_r on M, a natural transformation i:ΠT_l \to ΠT_r, and a morphism w: T_r X \to T_l X in M. The relations i and w need to satisfy are categorical versions of Kaygun's axioms of a transposition map. Motivation comes from the observation that a (co)ring T over an algebra R determines a distributive law of two (co)monads T_l=T \otimes_R (-) and T_r = (-)\otimes_R T on the category of R-bimodules. The functor Πcan be chosen such that Z^n= T\hat{\otimes}_R... \hat{\otimes}_R T \hat{\otimes}_R X is the cyclic R-module tensor product. A natural transformation i:T \hat{\otimes}_R (-) \to (-) \hat{\otimes}_R T is given by the flip map and a morphism w: X \otimes_R T \to T\otimes_R X is constructed whenever T is a (co)module algebra or coring of an R-bialgebroid. Stable anti Yetter-Drinfel'd modules over certain bialgebroids, so called x_R-Hopf algebras, are introduced. In the particular example when T is a module coring of a x_R-Hopf algebra B and X is a stable anti Yetter-Drinfel'd B-module, the para-cyclic object Z_* is shown to project to a cyclic structure on T^{\otimes_R *+1} \otimes_B X. For a B-Galois extension S \to T, a stable anti Yetter-Drinfel'd B-module T_S is constructed, such that the cyclic objects B^{\otimes_R *+1} \otimes_B T_S and T^ {\hat{\otimes}_S *+1} are isomorphic. As an application, we compute Hochschild and cyclic homology of a groupoid with coefficients, by tracing it back to the group case. In particular, we obtain explicit expressions for ordinary Hochschild and cyclic homology of a groupoid. △ Less

Submitted 8 March, 2008; v1 submitted 22 May, 2007; originally announced May 2007.

Comments: LaTeX file, 39 pages, 4 eps figures. v2: significantly extended, a new section about cyclic homology of groupoids added. v3: final version, to appear in Commun. Math. Phys

MSC Class: 16W30; 16E40

Journal ref: Comm. Math. Phys. 282 (2008), no.1, 239-286

Weak Projections onto a Braided Hopf Algebra

Authors: A. Ardizzoni, C. Menini, D. Stefan

Abstract: We show that, under some mild conditions, a bialgebra in an abelian and coabelian braided monoidal category has a weak projection onto a formally smooth (as a coalgebra) sub-bialgebra with antipode; see Theorem 1.12. In the second part of the paper we prove that bialgebras with weak projections are cross product bialgebras; see Theorem 2.12. In the particular case when the bialgebra $A$ is cocom… ▽ More We show that, under some mild conditions, a bialgebra in an abelian and coabelian braided monoidal category has a weak projection onto a formally smooth (as a coalgebra) sub-bialgebra with antipode; see Theorem 1.12. In the second part of the paper we prove that bialgebras with weak projections are cross product bialgebras; see Theorem 2.12. In the particular case when the bialgebra $A$ is cocommutative and a certain cocycle associated to the weak projection is trivial we prove that $A$ is a double cross product, or biproduct in Madjid's terminology. The last result is based on a universal property of double cross products which, by Theorem 2.15, works in braided monoidal categories. We also investigate the situation when the right action of the associated matched pair is trivial. △ Less

Submitted 9 October, 2006; originally announced October 2006.

MSC Class: 16W30; 18D10

A Milnor-Moore Type Theorem for Braided Bialgebras

Authors: A. Ardizzoni, C. Menini, D. Stefan

Abstract: The paper is devoted to prove a version of Milnor-Moore Theorem for connected braided bialgebras that are infinitesimally cocommutative. Namely in characteristic different from 2, we prove that, for a given connected braided bialgebra $A$ having a $λ$-cocommutative infinitesimal braiding for some regular element $λ\neq 0$ in the base field, then the infinitesimal braiding of $A$ is of Hecke-type… ▽ More The paper is devoted to prove a version of Milnor-Moore Theorem for connected braided bialgebras that are infinitesimally cocommutative. Namely in characteristic different from 2, we prove that, for a given connected braided bialgebra $A$ having a $λ$-cocommutative infinitesimal braiding for some regular element $λ\neq 0$ in the base field, then the infinitesimal braiding of $A$ is of Hecke-type of mark $λ$ and $A$ is isomorphic as a braided bialgebra to the symmetric algebra of the braided subspace of its primitive elements. △ Less

Submitted 18 April, 2008; v1 submitted 8 April, 2006; originally announced April 2006.

MSC Class: 16W30; 16S30

Cotensor Coalgebras in Monoidal Categories

Authors: A. Ardizzoni, C. Menini, D. Stefan

Abstract: We introduce the concept of cotensor coalgebra for a given bicomodule over a coalgebra in an abelian monoidal category. Under some further conditions we show that such a cotensor coalgebra exists and satisfies a meaningful universal property. We prove that this coalgebra is formally smooth whenever the comodule is relative injective and the coalgebra itself is formally smooth. We introduce the concept of cotensor coalgebra for a given bicomodule over a coalgebra in an abelian monoidal category. Under some further conditions we show that such a cotensor coalgebra exists and satisfies a meaningful universal property. We prove that this coalgebra is formally smooth whenever the comodule is relative injective and the coalgebra itself is formally smooth. △ Less

Submitted 16 July, 2005; originally announced July 2005.

MSC Class: 18D10; 18A30

Cyclic homology of Hopf Galois extensions and Hopf algebras

Authors: P. Jara, D. Stefan

Abstract: Let H be a Hopf algebra. By definition a modular crossed H-module is a vector space M on which H acts and coacts in a compatible way. To every modular crossed H-module M we associate a cyclic object Z(H,M). The cyclic homology of Z(H,M) extends the usual cyclic homology of the algebra structure of H, and the relative cyclic homology of an H-Galois extension. For a Hopf subalgebra K we compute, u… ▽ More Let H be a Hopf algebra. By definition a modular crossed H-module is a vector space M on which H acts and coacts in a compatible way. To every modular crossed H-module M we associate a cyclic object Z(H,M). The cyclic homology of Z(H,M) extends the usual cyclic homology of the algebra structure of H, and the relative cyclic homology of an H-Galois extension. For a Hopf subalgebra K we compute, under some assumptions, the cyclic homology of an induced modular crossed module. As a direct application of this computation, we describe the relative cyclic homology of strongly graded algebras. In particular, we calculate the (usual) cyclic homology of group algebras and quantum tori. Finally, when H is the enveloping algebra of a Lie algebra, we construct a spectral sequence that converges to the cyclic homology of H with coefficients in an arbitrary modular crossed module. We also show that the cyclic homology of almost symmetric algebras is isomorphic to the cyclic homology of H with coefficients in a certain modular crossed-module. △ Less

Submitted 8 July, 2003; originally announced July 2003.

Comments: 34 pages, AMS Latex

MSC Class: 16E40;16W30

Hochschild Cohomology of Algebras in Monoidal Categories and Splitting Morphisms of Bialgebras

Authors: A. Ardizzoni, C. Menini, D. Stefan

Abstract: The main goal of this paper is to investigate the structure of Hopf algebras with the property that either its Jacobson radical is a Hopf ideal or its coradical is a subalgebra. In order to do that we define the Hochschild cohomology of an algebra in an abelian monoidal category. Then we characterize those algebras which have dimension less than or equal to 1 with respect to Hochschild cohomolog… ▽ More The main goal of this paper is to investigate the structure of Hopf algebras with the property that either its Jacobson radical is a Hopf ideal or its coradical is a subalgebra. In order to do that we define the Hochschild cohomology of an algebra in an abelian monoidal category. Then we characterize those algebras which have dimension less than or equal to 1 with respect to Hochschild cohomology. Now let us consider a Hopf algebra A such that its Jacobson radical J is a nilpotent Hopf ideal and H:=A/J is a semisimple algebra. By using our homological results, we prove that the canonical projection of A on H has a section which is an H-colinear algebra map. Furthermore, if H is cosemisimple too, then we can choose this section to be an (H,H)-bicolinear algebra morphism. This fact allows us to describe A as a `generalized bosonization' of a certain algebra R in the category of Yetter-Drinfeld modules over H. As an application we give a categorical proof of Radford's result about Hopf algebras with projections. We also consider the dual situation. In this case, many results that we obtain hold true for a large enough class of H-module coalgebras, where H is a cosemisimple Hopf algebra. △ Less

Submitted 24 May, 2003; v1 submitted 23 December, 2002; originally announced December 2002.

Comments: amsart, 41 pages, 7 figures (EPS files), minor changes, typos corrected

MSC Class: 16E10; 16W30; 57T05

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

Authors: Florin Panaite, Dragos Stefan

Abstract: 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… ▽ More 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 for Hopf bimodules, similar to the one recently introduced by R. Taillefer. △ Less

Submitted 7 June, 2000; originally announced June 2000.

Comments: 12 pages, Latex, no figures