Showing 1–36 of 36 results for author: Menini, C

On the Hopf envelope of finite-dimensional bialgebras

Authors: Alessandro Ardizzoni, Claudia Menini, Paolo Saracco

Abstract: The Hopf envelope of a bialgebra is the free Hopf algebra generated by the given bialgebra. Its existence, as well as that of the cofree Hopf algebra, is a well-known fact in Hopf algebra theory, but their construction is not particularly handy or friendly. In this note, we offer a novel realisation of the Hopf envelope and of the cofree Hopf algebra of a finite-dimensional bialgebra as a particul… ▽ More The Hopf envelope of a bialgebra is the free Hopf algebra generated by the given bialgebra. Its existence, as well as that of the cofree Hopf algebra, is a well-known fact in Hopf algebra theory, but their construction is not particularly handy or friendly. In this note, we offer a novel realisation of the Hopf envelope and of the cofree Hopf algebra of a finite-dimensional bialgebra as a particular quotient and sub-bialgebra, respectively, of the bialgebra itself. Our construction can also be extended to the infinite-dimensional case, provided that the bialgebra satisfies additional conditions, such as being left Artinian as an algebra or admitting a $n$-antipode, the latter being a notion hereby introduced. △ Less

Submitted 8 April, 2025; originally announced April 2025.

MSC Class: 16T05; 16T10; 18M05

Des croquis comme support de raisonnement et de changement de registres

Authors: D Grenier, C Menini, P Sénéchaud, F Vandebrouck, La Ciiu

Abstract: We are convinced of the usefulness of sketches and diagrams during mathematical work but the observation is made in our practices that they are not spontaneously used by students. In order to study the understanding and use of sketches by mathematics students, we designed and then proposed a test at different university levels. The test consists of five exercises.The first concerns different repre… ▽ More We are convinced of the usefulness of sketches and diagrams during mathematical work but the observation is made in our practices that they are not spontaneously used by students. In order to study the understanding and use of sketches by mathematics students, we designed and then proposed a test at different university levels. The test consists of five exercises.The first concerns different representation registers of a set of numbers, the second on a graphic proof of an implicative algebraic proposition and the last three on the graphic approch to the notions of injectivity, surjectivity, bijectivity in the context of the analysis. The sketches, proposed or requested in each exercise, are intended to be aids to changes of register and reasoning. We present what motivated the choices and developments of the exercises then we analyze the results of these tests. In each case, we see difficulties in understanding and the sketches proposed, which leads to think that the sketch must be the subject of specific work at the university level. △ Less

Submitted 15 April, 2024; originally announced April 2024.

Comments: in French language

BiHom-NS-algebras, twisted Rota-Baxter operators and generalized Nijenhuis operators

Authors: Ling Liu, Abdenacer Makhlouf, Claudia Menini, Florin Panaite

Abstract: The purpose of this paper is to introduce and study BiHom-NS-algebras, which are a generalization of NS-algebras using two homomorphisms. Moreover, we discuss their relationships with twisted Rota-Baxter operators in a BiHom-associative context. Furthermore, we introduce a generalization of Nijenhuis operators that lead to BiHom-NS-algebras along BiHom-associative algebras The purpose of this paper is to introduce and study BiHom-NS-algebras, which are a generalization of NS-algebras using two homomorphisms. Moreover, we discuss their relationships with twisted Rota-Baxter operators in a BiHom-associative context. Furthermore, we introduce a generalization of Nijenhuis operators that lead to BiHom-NS-algebras along BiHom-associative algebras △ Less

Submitted 1 November, 2022; v1 submitted 9 June, 2022; originally announced June 2022.

Comments: 15 pages

Pre-rigid Monoidal Categories

Authors: Alessandro Ardizzoni, Isar Goyvaerts, Claudia Menini

Abstract: Liftable pairs of adjoint functors between braided monoidal categories in the sense of \cite{GV-OnTheDuality} provide auto-adjunctions between the associated categories of bialgebras. Motivated by finding interesting examples of such pairs, we study general pre-rigid monoidal categories. Roughly speaking, these are monoidal categories in which for every object $X$, an object $X^{\ast}$ and a nicel… ▽ More Liftable pairs of adjoint functors between braided monoidal categories in the sense of \cite{GV-OnTheDuality} provide auto-adjunctions between the associated categories of bialgebras. Motivated by finding interesting examples of such pairs, we study general pre-rigid monoidal categories. Roughly speaking, these are monoidal categories in which for every object $X$, an object $X^{\ast}$ and a nicely behaving evaluation map from $X^{\ast}\otimes X$ to the unit object exist. A prototypical example is the category of vector spaces over a field, where $X^{\ast}$ is not a categorical dual if $X$ is not finite-dimensional. We explore the connection with related notions such as right closedness, and present meaningful examples. We also study the categorical frameworks for Turaev's Hopf group-(co)algebras in the light of pre-rigidity and closedness, filling some gaps in literature along the way. Finally, we show that braided pre-rigid monoidal categories indeed provide an appropriate setting for liftability in the sense of loc. cit. and we present an application, varying on the theme of vector spaces, showing how -- in favorable cases -- the notion of pre-rigidity allows to construct liftable pairs of adjoint functors when right closedness of the category is not available. △ Less

Submitted 11 January, 2022; originally announced January 2022.

MSC Class: Primary 18M05; Secondary 18D15; 18M15; 16W50; 16T10

Tensor products and perturbations of BiHom-Novikov-Poisson algebras

Authors: Ling Liu, Abdenacer Makhlouf, Claudia Menini, Florin Panaite

Abstract: We study BiHom-Novikov-Poisson algebras, which are twisted generalizations of Novikov-Poisson algebras and Hom-Novikov-Poisson algebras, and find that BiHom-Novikov-Poisson algebras are closed under tensor products and several kinds of perturbations. Necessary and sufficient conditions are given under which BiHom-Novikov-Poisson algebras give rise to BiHom-Poisson algebras. We study BiHom-Novikov-Poisson algebras, which are twisted generalizations of Novikov-Poisson algebras and Hom-Novikov-Poisson algebras, and find that BiHom-Novikov-Poisson algebras are closed under tensor products and several kinds of perturbations. Necessary and sufficient conditions are given under which BiHom-Novikov-Poisson algebras give rise to BiHom-Poisson algebras. △ Less

Submitted 17 July, 2020; originally announced July 2020.

Comments: 21 pages

Monadic vs Adjoint Decomposition

Authors: Alessandro Ardizzoni, Claudia Menini

Abstract: It is known that the so-called monadic decomposition, applied to the adjunction connecting the category of bialgebras to the category of vector spaces via the tensor and the primitive functors, returns the usual adjunction between bialgebras and (restricted) Lie algebras. Moreover, in this framework, the notions of augmented monad and combinatorial rank play a central role. In order to set these r… ▽ More It is known that the so-called monadic decomposition, applied to the adjunction connecting the category of bialgebras to the category of vector spaces via the tensor and the primitive functors, returns the usual adjunction between bialgebras and (restricted) Lie algebras. Moreover, in this framework, the notions of augmented monad and combinatorial rank play a central role. In order to set these results into a wider context, we are led to substitute the monadic decomposition by what we call the adjoint decomposition. This construction has the advantage of reducing the computational complexity when compared to the first one. We connect the two decompositions by means of an embedding and we investigate its properties by using a relative version of Grothendieck fibration. As an application, in this wider setting, by using the notion of augmented monad, we introduce a notion of combinatorial rank that, among other things, is expected to give some hints on the length of the monadic decomposition. △ Less

Submitted 12 February, 2021; v1 submitted 26 November, 2019; originally announced November 2019.

BiHom-Novikov algebras and infinitesimal BiHom-bialgebras

Authors: Ling Liu, Abdenacer Makhlouf, Claudia Menini, Florin Panaite

Abstract: We introduce and study infinitesimal BiHom-bialgebras, BiHom-Novikov algebras, BiHom-Novikov-Poisson algebras, and find some relations among these concepts. Our main result is to show how to obtain a left BiHom-pre-Lie algebra from an infinitesimal BiHom-bialgebra We introduce and study infinitesimal BiHom-bialgebras, BiHom-Novikov algebras, BiHom-Novikov-Poisson algebras, and find some relations among these concepts. Our main result is to show how to obtain a left BiHom-pre-Lie algebra from an infinitesimal BiHom-bialgebra △ Less

Submitted 30 June, 2020; v1 submitted 18 March, 2019; originally announced March 2019.

Comments: 22 pages. v2, final version, we modified the definition of a BiHom-Novikov-Poisson algebra in section 3

Journal ref: J. Algebra 560 (2020), 1146-1172

Heavily Separable Functors

Authors: Alessandro Ardizzoni, Claudia Menini

Abstract: Prompted by an example related to the tensor algebra, we introduce and investigate a stronger version of the notion of separable functor that we call heavily separable. We test this notion on several functors traditionally connected to the study of separability. Prompted by an example related to the tensor algebra, we introduce and investigate a stronger version of the notion of separable functor that we call heavily separable. We test this notion on several functors traditionally connected to the study of separability. △ Less

Submitted 18 December, 2018; originally announced December 2018.

MSC Class: Primary 16H05; Secondary 18D10

{sigma, tau}-Rota-Baxter operators, infinitesimal Hom-bialgebras and the associative (Bi)Hom-Yang-Baxter equation

Authors: Ling Liu, Abdenacer Makhlouf, Claudia Menini, Florin Panaite

Abstract: We introduce the concept of {sigma, tau}-Rota-Baxter operator, as a twisted version of a Rota-Baxter operator of weight zero. We show how to obtain a certain {sigma, tau}-Rota-Baxter operator from a solution of the associative (Bi)Hom-Yang-Baxter equation, and, in a compatible way, a Hom-pre-Lie algebra from an infinitesimal Hom-bialgebra. We introduce the concept of {sigma, tau}-Rota-Baxter operator, as a twisted version of a Rota-Baxter operator of weight zero. We show how to obtain a certain {sigma, tau}-Rota-Baxter operator from a solution of the associative (Bi)Hom-Yang-Baxter equation, and, in a compatible way, a Hom-pre-Lie algebra from an infinitesimal Hom-bialgebra. △ Less

Submitted 20 February, 2018; originally announced February 2018.

Comments: 17 pages

BiHom-pre-Lie algebras, BiHom-Leibniz algebras and Rota-Baxter operators on BiHom-Lie algebras

Authors: Ling Liu, Abdenacer Makhlouf, Claudia Menini, Florin Panaite

Abstract: We investigate some properties of Rota-Baxter operators on BiHom-Lie algebras. Along the way, we introduce BiHom analogues of pre-Lie and Leibniz algebras. We investigate some properties of Rota-Baxter operators on BiHom-Lie algebras. Along the way, we introduce BiHom analogues of pre-Lie and Leibniz algebras. △ Less

Submitted 2 February, 2020; v1 submitted 1 June, 2017; originally announced June 2017.

Comments: 18 pages. The content of this paper was part of the first version of arXiv:math.QA/1703.07275. In v2 we added a short section about BiHom-PostLie algebras

Rota-Baxter operators on BiHom-associative algebras and related structures

Authors: Ling Liu, Abdenacer Makhlouf, Claudia Menini, Florin Panaite

Abstract: The purpose of this paper is to study Rota-Baxter operators for BiHom-associative algebras. Moreover, we introduce and discuss the properties of the notions of BiHom-(tri)dendriform algebra, BiHom-Zinbiel algebra and BiHom-quadri-algebra. We construct the free Rota-Baxter BiHom-associative algebra and present some observations about categories and functors related to Rota-Baxter structures. The purpose of this paper is to study Rota-Baxter operators for BiHom-associative algebras. Moreover, we introduce and discuss the properties of the notions of BiHom-(tri)dendriform algebra, BiHom-Zinbiel algebra and BiHom-quadri-algebra. We construct the free Rota-Baxter BiHom-associative algebra and present some observations about categories and functors related to Rota-Baxter structures. △ Less

Submitted 16 March, 2019; v1 submitted 21 March, 2017; originally announced March 2017.

Comments: 27 pages. The title has been changed, the part about BiHom-Lie algebras has been removed and will appear as a separate article. In v3 we added some things about BiHom-Zinbiel algebras

Liftable pairs of functors and Initial objects

Authors: Alessandro Ardizzoni, Isar Goyvaerts, Claudia Menini

Abstract: Let $\mathcal{A}$ and $\mathcal{B}$ be monoidal categories and let $R:\mathcal{A} \rightarrow \mathcal{B}$ be a lax monoidal functor. If $R$ has a left adjoint $L$, it is well-known that the two adjoints induce functors $\overline{R}={\sf Alg}(R):{\sf Alg}(\mathcal{A})\rightarrow {\sf Alg }(\mathcal{B})$ and… ▽ More Let $\mathcal{A}$ and $\mathcal{B}$ be monoidal categories and let $R:\mathcal{A} \rightarrow \mathcal{B}$ be a lax monoidal functor. If $R$ has a left adjoint $L$, it is well-known that the two adjoints induce functors $\overline{R}={\sf Alg}(R):{\sf Alg}(\mathcal{A})\rightarrow {\sf Alg }(\mathcal{B})$ and $\underline{L}={\sf Coalg(L)}:{\sf Coalg}(\mathcal{B})\rightarrow {\sf Coalg}(\mathcal{A})$ respectively. The pair $(L,R)$ is called "liftable" if the functor $\overline{R}$ has a left adjoint and if the functor $\underline{L}$ has a right adjoint. A pleasing fact is that, when $\mathcal{A}$, $\mathcal{B}$ and $R$ are moreover braided, a liftable pair of functors as above gives rise to an adjunction at the level of bialgebras. In this note, sufficient conditions on the category $\mathcal{A}$ for $\overline{R}$ to possess a left adjoint, are given. Natively these conditions involve the existence of suitable colimits that we interpret as objects which are simultaneously initial in four distinguished categories (among which the category of epi-induced objects), allowing for an explicit construction of $\overline{L}$, under the appropriate hypotheses. This is achieved by introducing a relative version of the notion of weakly coreflective subcategory, which turns out to be a useful tool to compare the initial objects in the involved categories. We apply our results to obtain an analogue of Sweedler's finite dual for the category of vector spaces graded by an abelian group $G$ endowed with a bicharacter. When the bicharacter on $G$ is skew-symmetric, a lifted adjunction as mentioned above is explicitly described, inducing an auto-adjunction on the category of bialgebras "colored" by $G$. △ Less

Submitted 17 January, 2022; v1 submitted 1 February, 2017; originally announced February 2017.

Comments: The previous verision has been revised by means of weak coreflections and initial objects. The study of pre-rigid categories has been extrapolated and expanded to become an independent research line (arXiv:2201.03952)

MSC Class: Primary 18M05; Secondary 16W50

Restricted Lie algebras via monadic decomposition

Authors: Alessandro Ardizzoni, Isar Goyvaerts, Claudia Menini

Abstract: We give a description of the category of restricted Lie algebras over a field $\Bbbk $ of prime characteristic by means of monadic decomposition of the functor that computes the $\Bbbk $-vector space of primitive elements of a $\Bbbk $-bialgebra. We give a description of the category of restricted Lie algebras over a field $\Bbbk $ of prime characteristic by means of monadic decomposition of the functor that computes the $\Bbbk $-vector space of primitive elements of a $\Bbbk $-bialgebra. △ Less

Submitted 19 April, 2017; v1 submitted 9 October, 2015; originally announced October 2015.

MSC Class: Primary 18C15; Secondary 16S30

Cohomology and Coquasi-bialgebras in the category of Yetter-Drinfeld Modules

Authors: Ivàn Angiono, Alessandro Ardizzoni, Claudia Menini

Abstract: We prove that a finite-dimensional Hopf algebra with the dual Chevalley Property over a field of characteristic zero is quasi-isomorphic to a Radford-Majid bosonization whenever the third Hochschild cohomology group in the category of Yetter-Drinfeld modules of its diagram with coefficients in the base field vanishes. Moreover we show that this vanishing occurs in meaningful examples where the dia… ▽ More We prove that a finite-dimensional Hopf algebra with the dual Chevalley Property over a field of characteristic zero is quasi-isomorphic to a Radford-Majid bosonization whenever the third Hochschild cohomology group in the category of Yetter-Drinfeld modules of its diagram with coefficients in the base field vanishes. Moreover we show that this vanishing occurs in meaningful examples where the diagram is a Nichols algebra. △ Less

Submitted 16 September, 2015; originally announced September 2015.

MSC Class: Primary 16W30; Secondary 16E40

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

Authors: Giacomo Graziani, Abdenacer Makhlouf, Claudia Menini, Florin Panaite

Abstract: 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 di… ▽ More 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). △ Less

Submitted 25 October, 2015; v1 submitted 3 May, 2015; originally announced May 2015.

Journal ref: SIGMA 11 (2015), 086, 34 pages

Milnor-Moore Categories and Monadic Decomposition

Authors: Alessandro Ardizzoni, Claudia Menini

Abstract: In this paper Hom-Lie algebras, Lie color algebras, Lie superalgebras and other type of generalized Lie algebras are recovered by means of an iterated construction, known as monadic decomposition of functors, which is based on Eilenberg-Moore categories. To this aim we introduce the notion of Milnor-Moore category as a monoidal category for which a Milnor-Moore type Theorem holds. We also show how… ▽ More In this paper Hom-Lie algebras, Lie color algebras, Lie superalgebras and other type of generalized Lie algebras are recovered by means of an iterated construction, known as monadic decomposition of functors, which is based on Eilenberg-Moore categories. To this aim we introduce the notion of Milnor-Moore category as a monoidal category for which a Milnor-Moore type Theorem holds. We also show how to lift the property of being a Milnor-Moore category whenever a suitable monoidal functor is given and we apply this technique to provide examples. △ Less

Submitted 9 January, 2014; originally announced January 2014.

MSC Class: Primary 18C15; Secondary 17B75

Quantum Lines for Dual Quasi-Bialgebras

Authors: Alessandro Ardizzoni, Margaret Beattie, Claudia Menini

Abstract: In this paper, the theory to construct quantum lines for general dual quasi-bialgebras is developed followed by some specific examples where the dual quasi-bialgebras are pointed with cyclic group of points. In this paper, the theory to construct quantum lines for general dual quasi-bialgebras is developed followed by some specific examples where the dual quasi-bialgebras are pointed with cyclic group of points. △ Less

Submitted 7 December, 2013; originally announced December 2013.

MSC Class: 16W30; 16S40

Adjunctions and Braided Objects

Authors: Alessandro Ardizzoni, Claudia Menini

Abstract: In this paper we investigate the categories of braided objects, algebras and bialgebras in a given monoidal category, some pairs of adjoint functors between them and their relations. In particular we construct a braided primitive functor and its left adjoint, the braided tensor bialgebra functor, from the category of braided objects to the one of braided bialgebras. The latter is obtained by a spe… ▽ More In this paper we investigate the categories of braided objects, algebras and bialgebras in a given monoidal category, some pairs of adjoint functors between them and their relations. In particular we construct a braided primitive functor and its left adjoint, the braided tensor bialgebra functor, from the category of braided objects to the one of braided bialgebras. The latter is obtained by a specific elaborated construction introducing a braided tensor algebra functor as a left adjoint of the forgetful functor from the category of braided algebras to the one of braided objects. The behaviour of these functors in the case when the base category is braided is also considered. △ Less

Submitted 12 April, 2013; originally announced April 2013.

MSC Class: 18D10; 18A40

Quasi-bialgebra Structures and Torsion-free Abelian Groups

Authors: Alessandro Ardizzoni, Daniel Bulacu, Claudia Menini

Abstract: We describe all the quasi-bialgebra structures of a group algebra over a torsion-free abelian group. They all come out to be triangular in a unique way. Moreover, up to an isomorphism, these quasi-bialgebra structures produce only one (braided) monoidal structure on the category of their representations. Applying these results to the algebra of Laurent polynomials, we recover two braided monoidal… ▽ More We describe all the quasi-bialgebra structures of a group algebra over a torsion-free abelian group. They all come out to be triangular in a unique way. Moreover, up to an isomorphism, these quasi-bialgebra structures produce only one (braided) monoidal structure on the category of their representations. Applying these results to the algebra of Laurent polynomials, we recover two braided monoidal categories introduced in \cite{CG} by S. Caenepeel and I. Goyvaerts in connection with Hom-structures (Lie algebras, algebras, coalgebras, Hopf algebras). △ Less

Submitted 11 February, 2013; originally announced February 2013.

MSC Class: 16W30; 18D10; 16S34

Monadic Decompositions and Classical Lie Theory

Authors: Alessandro Ardizzoni, José Gómez-Torrecillas, Claudia Menini

Abstract: We show that the functor from bialgebras to vector spaces sending a bialgebra to its subspace of primitives has monadic length at most 2. We show that the functor from bialgebras to vector spaces sending a bialgebra to its subspace of primitives has monadic length at most 2. △ Less

Submitted 18 January, 2013; v1 submitted 13 March, 2012; originally announced March 2012.

Comments: The new version of the file simplifies the exposition of the original one while the former is more detailed

MSC Class: Primary 18C15; Secondary 16S30

Gauge deformations for Hopf algebras with the dual Chevalley property

Authors: Alessandro Ardizzoni, Margaret Beattie, Claudia Menini

Abstract: 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… ▽ More 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$. △ Less

Submitted 1 July, 2011; v1 submitted 22 December, 2010; originally announced December 2010.

MSC Class: 16W30; 16S40

Cocycle deformations for liftings of quantum linear spaces

Authors: Alessandro Ardizzoni, Margaret Beattie, Claudia Menini

Abstract: Let $A$ be a Hopf algebra over a field $K$ of characteristic 0 and suppose there is a coalgebra projection $π$ from $A$ to a sub-Hopf algebra $H$ that splits the inclusion. If the projection is $H$-bilinear, then $A$ is isomorphic to a biproduct $R #_ξH$ where $(R,ξ)$ is called a pre-bialgebra with cocycle in the category $_{H}^{H}\mathcal{YD}$. The cocycle $ξ$ maps $R \otimes R$ to $H$. Examples… ▽ More Let $A$ be a Hopf algebra over a field $K$ of characteristic 0 and suppose there is a coalgebra projection $π$ from $A$ to a sub-Hopf algebra $H$ that splits the inclusion. If the projection is $H$-bilinear, then $A$ is isomorphic to a biproduct $R #_ξH$ where $(R,ξ)$ is called a pre-bialgebra with cocycle in the category $_{H}^{H}\mathcal{YD}$. The cocycle $ξ$ maps $R \otimes R$ to $H$. Examples of this situation include the liftings of pointed Hopf algebras with abelian group of points $Γ$ as classified by Andruskiewitsch and Schneider [AS1]. One asks when such an $A$ can be twisted by a cocycle $γ:A\otimes A\rightarrow K$ to obtain a Radford biproduct. By results of Masuoka [Ma1, Ma2], and Grünenfelder and Mastnak [GM], this can always be done for the pointed liftings mentioned above. In a previous paper [ABM1], we showed that a natural candidate for a twisting cocycle is {$λ\circ ξ$} where $λ\in H^{\ast}$ is a total integral for $H$ and $ξ$ is as above. We also computed the twisting cocycle explicitly for liftings of a quantum linear plane and found some examples where the twisting cocycle we computed was different from {$λ\circ ξ$}. In this note we show that in many cases this cocycle is exactly $λ\circξ$ and give some further examples where this is not the case. As well we extend the cocycle computation to quantum linear spaces; there is no restriction on the dimension. △ Less

Submitted 8 March, 2011; v1 submitted 2 November, 2010; originally announced November 2010.

MSC Class: 16W30; 16S40

Categories of comodules and chain complexes of modules

Authors: A. Ardizzoni, L. El Kaoutit, C. Menini

Abstract: Let $\lL(A)$ denote the coendomorphism left $R$-bialgebroid associated to a left finitely generated and projective extension of rings $R \to A$ with identities. We show that the category of left comodules over an epimorphic image of $\lL(A)$ is equivalent to the category of chain complexes of left $R$-modules. This equivalence is monoidal whenever $R$ is commutative and $A$ is an $R$-algebra. This… ▽ More Let $\lL(A)$ denote the coendomorphism left $R$-bialgebroid associated to a left finitely generated and projective extension of rings $R \to A$ with identities. We show that the category of left comodules over an epimorphic image of $\lL(A)$ is equivalent to the category of chain complexes of left $R$-modules. This equivalence is monoidal whenever $R$ is commutative and $A$ is an $R$-algebra. This is a generalization, using entirely new tools, of results by B. Pareigis and D. Tambara for chain complexes of vector spaces over fields. Our approach relies heavily on the non commutative theory of Tannaka reconstruction, and the generalized faithfully flat descent for small additive categories, or rings with enough orthogonal idempotents. △ Less

Submitted 4 May, 2011; v1 submitted 26 April, 2010; originally announced April 2010.

Comments: The title has been changed, the first part is removed and the construction of the coendomorphim bialgebroid is now freely used in the statement of the main Theorems

MSC Class: Primary 18D10; Secondary 16W30

Cocycle deformations for Hopf algebras with a coalgebra projection

Authors: Alessandro Ardizzoni, Margaret Beattie, Claudia Menini

Abstract: Let $H$ be a Hopf algebra over a field $K$ of characteristic $0$ and let $A$ be a bialgebra or Hopf algebra such that $H$ is isomorphic to a sub-Hopf algebra of $A$ and there is an $H$-bilinear coalgebra projection $π$ from $A$ to $H$ which splits the inclusion. Then $A \cong R \#_ξH$ where $R$ is the pre-bialgebra of coinvariants. In this paper we study the deformations of $A$ by an $H$-bilinear… ▽ More Let $H$ be a Hopf algebra over a field $K$ of characteristic $0$ and let $A$ be a bialgebra or Hopf algebra such that $H$ is isomorphic to a sub-Hopf algebra of $A$ and there is an $H$-bilinear coalgebra projection $π$ from $A$ to $H$ which splits the inclusion. Then $A \cong R \#_ξH$ where $R$ is the pre-bialgebra of coinvariants. In this paper we study the deformations of $A$ by an $H$-bilinear cocycle. If $γ$ is a cocycle for $A$, then $γ$ can be restricted to a cocycle $γ_R$ for $R$, and $A^γ\cong R^{γ_R} \#_{ξ_γ} H$. As examples, we consider liftings of $\mathcal{B}(V) \# K[Γ]$ where $Γ$ is a finite abelian group, $V$ is a quantum plane and $\mathcal{B}(V)$ is its Nichols algebra, and explicitly construct the cocycle which twists the Radford biproduct into the lifting. △ Less

Submitted 18 May, 2010; v1 submitted 1 June, 2009; originally announced June 2009.

Comments: J. Algebra, to appear

MSC Class: 16W30; 16S40

Pre-torsors and Galois comodules over mixed distributive laws

Authors: Gabriella Böhm, Claudia Menini

Abstract: We study comodule functors for comonads arising from mixed distributive laws. Their Galois property is reformulated in terms of a (so-called) regular arrow in Street's bicategory of comonads. Between categories possessing equalizers, we introduce the notion of a regular adjunction. An equivalence is proven between the category of pre-torsors over two regular adjunctions $(N_A,R_A)$ and… ▽ More We study comodule functors for comonads arising from mixed distributive laws. Their Galois property is reformulated in terms of a (so-called) regular arrow in Street's bicategory of comonads. Between categories possessing equalizers, we introduce the notion of a regular adjunction. An equivalence is proven between the category of pre-torsors over two regular adjunctions $(N_A,R_A)$ and $(N_B,R_B)$ on one hand, and the category of regular comonad arrows $(R_A,ξ)$ from some equalizer preserving comonad ${\mathbb C}$ to $N_BR_B$ on the other. This generalizes a known relationship between pre-torsors over equal commutative rings and Galois objects of coalgebras.Developing a bi-Galois theory of comonads, we show that a pre-torsor over regular adjunctions determines also a second (equalizer preserving) comonad ${\mathbb D}$ and a co-regular comonad arrow from ${\mathbb D}$ to $N_A R_A$, such that the comodule categories of ${\mathbb C}$ and ${\mathbb D}$ are equivalent. △ Less

Submitted 15 December, 2008; v1 submitted 6 June, 2008; originally announced June 2008.

Comments: 34 pages LaTeX file. v2: a few typos corrected

Journal ref: Appl. Categ. Structures 19 (2011), no. 3, 597-632

Small Bialgebras with a Projection: Applications

Authors: A. Ardizzoni, C. Menini

Abstract: In this paper we continue the investigation started in [A.M.St.-Small], dealing with bialgebras $A$ with an $H$-bilinear coalgebra projection over an arbitrary subbialgebra $H$ with antipode. These bialgebras can be described as deformed bosonizations $R#_ξ H$ of a pre-bialgebra $R$ by $H$ with a cocycle $ξ$. Here we describe the behavior of $ξ$ in the case when $R$ is f.d. and thin i.e. it is c… ▽ More In this paper we continue the investigation started in [A.M.St.-Small], dealing with bialgebras $A$ with an $H$-bilinear coalgebra projection over an arbitrary subbialgebra $H$ with antipode. These bialgebras can be described as deformed bosonizations $R#_ξ H$ of a pre-bialgebra $R$ by $H$ with a cocycle $ξ$. Here we describe the behavior of $ξ$ in the case when $R$ is f.d. and thin i.e. it is connected with one dimensional space of primitive elements. This is used to analyze the arithmetic properties of $A$. Meaningful results are obtained when $H$ is cosemisimple. By means of Ore extension construction, we provide some examples of atypical situations (e.g. the multiplication of $R$ is not $H$-colinear or $ξ$ is non-trivial). △ Less

Submitted 24 May, 2007; originally announced May 2007.

MSC Class: 16W30; 16S40

Associated Graded Algebras and Coalgebras

Authors: A. Ardizzoni, C. Menini

Abstract: We investigate the notion of associated graded coalgebra (algebra) of a bialgebra with respect to a subbialgebra (quotient bialgebra) and characterize those which are bialgebras of type one in the framework of abelian braided monoidal categories. We investigate the notion of associated graded coalgebra (algebra) of a bialgebra with respect to a subbialgebra (quotient bialgebra) and characterize those which are bialgebras of type one in the framework of abelian braided monoidal categories. △ Less

Submitted 20 July, 2010; v1 submitted 17 April, 2007; originally announced April 2007.

MSC Class: 18D10; 16W30

Braided Bialgebras of Type One

Authors: A. Ardizzoni, C. Menini

Abstract: Braided bialgebras of type one in abelian braided monoidal categories are characterized as braided graded bialgebras which are strongly $\mathbb{N}$-graded both as an algebra and as a coalgebra. Braided bialgebras of type one in abelian braided monoidal categories are characterized as braided graded bialgebras which are strongly $\mathbb{N}$-graded both as an algebra and as a coalgebra. △ Less

Submitted 21 February, 2007; originally announced February 2007.

MSC Class: 18D10; 16W30

Formally smooth bimodules

Authors: A. Ardizzoni, Tomasz Brzezinski, C. Menini

Abstract: The notion of a formally smooth bimodule is introduced and its basic properties are analyzed. In particular it is proven that a $B$-$A$ bimodule $M$ which is a generator left $B$-module is formally smooth if and only if the $M$-Hochschild dimension of $B$ is at most one. It is also shown that modules $M$ which are generators in the category $σ[M]$ of $M$-subgenerated modules provide natural exam… ▽ More The notion of a formally smooth bimodule is introduced and its basic properties are analyzed. In particular it is proven that a $B$-$A$ bimodule $M$ which is a generator left $B$-module is formally smooth if and only if the $M$-Hochschild dimension of $B$ is at most one. It is also shown that modules $M$ which are generators in the category $σ[M]$ of $M$-subgenerated modules provide natural examples of formally smooth bimodules. △ Less

Submitted 17 January, 2007; originally announced January 2007.

Comments: 17 pages

MSC Class: 16D20; 14A22

A Schneider type theorem for Hopf algebroids

Authors: Alessandro Ardizzoni, Gabriella Böhm, Claudia Menini

Abstract: Comodule algebras of a Hopf algebroid H with a bijective antipode, i.e. algebra extensions B\subseteq A by H, are studied. Assuming that a lifted canonical map is a split epimorphism of modules of the non-commutative base algebra of H, relative injectivity of the H-comodule algebra A is related to the Galois property of the extension B\subseteq A and also to the equivalence of the category of re… ▽ More Comodule algebras of a Hopf algebroid H with a bijective antipode, i.e. algebra extensions B\subseteq A by H, are studied. Assuming that a lifted canonical map is a split epimorphism of modules of the non-commutative base algebra of H, relative injectivity of the H-comodule algebra A is related to the Galois property of the extension B\subseteq A and also to the equivalence of the category of relative Hopf modules to the category of B-modules. This extends a classical theorem by H.-J. Schneider on Galois extensions by a Hopf algebra. Our main tool is an observation that relative injectivity of a comodule algebra is equivalent to relative separability of a forgetful functor, a notion introduced and analysed hereby. In the first version of this submission, we heavily used the statement that two constituent bialgebroids in a Hopf algebroid possess isomorphic comodule categories. This statement was based on \cite[Brz3,Theorem 2.6], whose proof turned out to contain an unjustified step. In the revised version we return to an earlier definition of a comodule of a Hopf algebroid, that distinguishes between comodules of the two constituent bialgebroids, and modify the statements and proofs in the paper accordingly. △ Less

Submitted 1 November, 2008; v1 submitted 21 December, 2006; originally announced December 2006.

Comments: LaTeX file 34 pages. v2:Substantial revision, distinguishing between comodules of both constituent bialgebroids in a Hopf algebroid

MSC Class: 16W30

Journal ref: J. Algebra 318 (2007), no. 1, 225-269. Corrigendum. J. Algebra 321 (2009) no. 6, 1786-1796

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

Naturally full functors in nature

Authors: A. Ardizzoni, S. Caenepeel, C. Menini, G. Militaru

Abstract: We introduce and discuss the notion of naturally full functor. The definition is similar to the definition of separable functor: a naturally full functor is a functorial version of a full functor, while a separable functor is a functorial version of a faithful functor. We study general properties of naturally full functors. We also discuss when functors between module categories and between cate… ▽ More We introduce and discuss the notion of naturally full functor. The definition is similar to the definition of separable functor: a naturally full functor is a functorial version of a full functor, while a separable functor is a functorial version of a faithful functor. We study general properties of naturally full functors. We also discuss when functors between module categories and between categories of comodules over a coring are naturally full. △ Less

Submitted 20 July, 2004; v1 submitted 21 November, 2003; originally announced November 2003.

Comments: 27 pages

MSC Class: 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

Integrals, quantum Galois extensions and the affineness criterion for quantum Yetter-Drinfel'd modules

Authors: C. Menini, G. Militaru

Abstract: We introduce and study a general concept of integral of a threetuple (H, A, C), where H is a Hopf algebra acting on a coalgebra C and coacting on an algebra A. In particular, quantum integrals associated to Yetter-Drinfel'd modules are defined. Let A be an H-bicomodule algebra, $^H {\cal YD}_A$ be the category of (generalized) Yetter-Drinfel'd modules and $B$ the subalgebra of coinvariants of th… ▽ More We introduce and study a general concept of integral of a threetuple (H, A, C), where H is a Hopf algebra acting on a coalgebra C and coacting on an algebra A. In particular, quantum integrals associated to Yetter-Drinfel'd modules are defined. Let A be an H-bicomodule algebra, $^H {\cal YD}_A$ be the category of (generalized) Yetter-Drinfel'd modules and $B$ the subalgebra of coinvariants of the Verma structure of $A$. We introduce the concept of quantum Galois extensions and we prove the affineness criterion in a quantum version. △ Less

Submitted 10 June, 2001; originally announced June 2001.

Comments: latex 32 pg. J. Algebra, to appear

Journal ref: Journal of Algebra, 247 (2002), 467-508