-
Projections of Hopf braces
Authors:
José Manuel Fernández Vilaboa,
Ramón González Rodríguez,
Brais Ramos Pérez,
Ana Belén Rodríguez Raposo
Abstract:
This paper is devoted to the study of Hopf braces projections in a monoidal setting. Given a cocommutative Hopf brace ${\mathbb H}$ in a strict symmetric monoidal category ${\sf C}$, we define the braided monoidal category of left Yetter-Drinfeld modules over ${\mathbb H}$. For a Hopf brace ${\mathbb A}$ in this category, we introduce the concept of bosonizable Hopf brace and we prove that its bos…
▽ More
This paper is devoted to the study of Hopf braces projections in a monoidal setting. Given a cocommutative Hopf brace ${\mathbb H}$ in a strict symmetric monoidal category ${\sf C}$, we define the braided monoidal category of left Yetter-Drinfeld modules over ${\mathbb H}$. For a Hopf brace ${\mathbb A}$ in this category, we introduce the concept of bosonizable Hopf brace and we prove that its bosonization ${\mathbb A}\blacktriangleright\hspace{-0.15cm}\blacktriangleleft {\mathbb H}$ is a new Hopf brace in ${\sf C}$ that gives rise to a projection of Hopf braces satisfying certain properties. Finally, taking these properties into account, we introduce the notions of v$_{i}$-strong projection over ${\mathbb H}$, $i=1,2,3,4$, and we prove that there is a categorical equivalence between the categories of bosonizable Hopf braces in the category of left Yetter-Drinfeld modules over ${\mathbb H}$ and the category of v$_{4}$-strong projections over ${\mathbb H}$.
△ Less
Submitted 18 April, 2024;
originally announced April 2024.
-
Categorical equivalences for Hopf trusses and their modules
Authors:
Ramón González Rodríguez,
Ana Belén Rodríguez Raposo
Abstract:
In this paper we introduce the notion of generalized invertible 1-cocycle in a strict braided monoidal category C, and we prove that the category of Hopf trusses is equivalent to the category of generalized invertible 1-cocycles. On the other hand, we also introduce the notions of module for a Hopf truss and for a generalized invertible 1-cocycle. We prove some functorial results involving these c…
▽ More
In this paper we introduce the notion of generalized invertible 1-cocycle in a strict braided monoidal category C, and we prove that the category of Hopf trusses is equivalent to the category of generalized invertible 1-cocycles. On the other hand, we also introduce the notions of module for a Hopf truss and for a generalized invertible 1-cocycle. We prove some functorial results involving these categories of modules and we show that the category of modules associated to a generalized invertible 1-cocycle is equivalent to a category of modules associated to a suitable Hopf truss. Finally, assuming that in C we have equalizers, we introduce the notion of Hopf-module in the Hopf truss setting and we obtain the Fundamental Theorem of Hopf modules associated to a Hopf truss.
△ Less
Submitted 7 March, 2025; v1 submitted 11 December, 2023;
originally announced December 2023.
-
Modules over invertible 1-cocycles
Authors:
José Manuel Fernández Vilaboa,
Ramón González Rodríguez,
Brais Ramos Pérez,
Ana Belén Rodríguez Raposo
Abstract:
In this paper we introduce in a braided setting the notion of left module for an invertible 1-cocycle and we prove some categorical equivalences between categories of modules associated to an invertible 1-cocycle and categories of modules associated to Hopf braces.
In this paper we introduce in a braided setting the notion of left module for an invertible 1-cocycle and we prove some categorical equivalences between categories of modules associated to an invertible 1-cocycle and categories of modules associated to Hopf braces.
△ Less
Submitted 9 November, 2023;
originally announced November 2023.
-
Cohomological Obstructions and Weak Crossed Products over Weak Hopf Algebras
Authors:
Ramón González Rodríguez,
Ana Belén Rodríguez Raposo
Abstract:
Let $H$ be a cocommutative weak Hopf algebra and let $(B, \varphi_{B})$ a weak left $H$-module algebra. In this paper, for a twisted convolution invertible morphism $σ:H\otimes H\rightarrow B$ we define its obstruction $θ_σ$ as a degree three Sweedler 3-cocycle with values in the center of $B$. We obtain that the class of this obstruction vanish in third Sweedler cohomology group…
▽ More
Let $H$ be a cocommutative weak Hopf algebra and let $(B, \varphi_{B})$ a weak left $H$-module algebra. In this paper, for a twisted convolution invertible morphism $σ:H\otimes H\rightarrow B$ we define its obstruction $θ_σ$ as a degree three Sweedler 3-cocycle with values in the center of $B$. We obtain that the class of this obstruction vanish in third Sweedler cohomology group $\mathcal{H}^3_{\varphi_{Z(B)}}(H, Z(B))$ if, and only if, there exists a twisted convolution invertible 2-cocycle $α:H\otimes H\rightarrow B$ such that $H\otimes B$ can be endowed with a weak crossed product structure with $α$ keeping a cohomological-like relation with $σ$. Then, as a consequence, the class of the obstruction of $σ$ vanish if, and only if, there exists a cleft extension of $B$ by $H$.
△ Less
Submitted 6 May, 2021;
originally announced May 2021.
-
Equivalences for weak crossed products
Authors:
José Manuel Fernández Vilaboa,
Ramón González Rodríguez,
Ana Belén Rodríguez Raposo
Abstract:
In this paper we give a criterion that characterizes equivalent weak crossed products. By duality, we obtain a similar result for weak crossed coproducts and, as a consequence, we find the conditions that assures the equivalence between two weak crossed biproducts. As an application, we show that the main results proved by Panaite, for Brzeziński's crossed products, admits a substantial reduction…
▽ More
In this paper we give a criterion that characterizes equivalent weak crossed products. By duality, we obtain a similar result for weak crossed coproducts and, as a consequence, we find the conditions that assures the equivalence between two weak crossed biproducts. As an application, we show that the main results proved by Panaite, for Brzeziński's crossed products, admits a substantial reduction in the imposed conditions.
△ Less
Submitted 20 May, 2015;
originally announced May 2015.
-
Iterated weak crossed products
Authors:
J. M. Fernández Vilaboa,
R. González Rodríguez,
A. B. Rodríguez Raposo
Abstract:
In this paper we show how iterate weak crossed products with common monoid. More concretely, if $(A\otimes V, μ_{A\otimes V})$ and $(A\otimes W, μ_{A\otimes W})$ are weak crossed products, we find sufficient conditions to obtain a new weak crossed product $(A\otimes V\otimes W, μ_{A\otimes V\otimes W})$
In this paper we show how iterate weak crossed products with common monoid. More concretely, if $(A\otimes V, μ_{A\otimes V})$ and $(A\otimes W, μ_{A\otimes W})$ are weak crossed products, we find sufficient conditions to obtain a new weak crossed product $(A\otimes V\otimes W, μ_{A\otimes V\otimes W})$
△ Less
Submitted 5 March, 2015;
originally announced March 2015.
-
Partial and unified crossed products are weak crossed products
Authors:
J. M. Fernández Vilaboa,
R. González Rodríguez,
A. B. Rodríguez Raposo
Abstract:
In [J.M. Fernández Vilaboa, R. González Rodríguez and A.B. Rodríguez Raposo: Preunits and weak crossed products. J. of Pure Appl. Algebra 213, 2244-2261 (2009)] the notion of a weak crossed product of an algebra by an object, both living in a monoidal category was presented. Unified crossed products defined in [A. Agore, G. Militaru: Extending structures II: The quantum version. arXiv:1011.2174v3…
▽ More
In [J.M. Fernández Vilaboa, R. González Rodríguez and A.B. Rodríguez Raposo: Preunits and weak crossed products. J. of Pure Appl. Algebra 213, 2244-2261 (2009)] the notion of a weak crossed product of an algebra by an object, both living in a monoidal category was presented. Unified crossed products defined in [A. Agore, G. Militaru: Extending structures II: The quantum version. arXiv:1011.2174v3 (2011)] and partial crossed products defined in [M. Muniz S. Alves, E. Batista, M. Dokuchaev, A. Paques: Twisted partial actions of Hopf algebras. preprint (2011)] are crossed product structures defined for a Hopf algebra and another object. In this paper we prove that unified crossed products and partial crossed products are particular instances of weak crossed products.
△ Less
Submitted 31 October, 2011;
originally announced October 2011.
-
Weak Crossed Biproducts and Weak Projections
Authors:
J. M. Fernández Vilaboa,
R. González Rodríguez,
A. B. Rodríguez Raposo
Abstract:
We present the universal theory of weak crossed biproducts, and we prove that every weak projection of weak bialgebras induces an example of this crossed structure. As an example, we give the construction of a weak projection of a weak bialgebra associated to a groupoid that admits an exact factorization.
We present the universal theory of weak crossed biproducts, and we prove that every weak projection of weak bialgebras induces an example of this crossed structure. As an example, we give the construction of a weak projection of a weak bialgebra associated to a groupoid that admits an exact factorization.
△ Less
Submitted 30 October, 2009; v1 submitted 9 June, 2009;
originally announced June 2009.
