We discuss globalization for geometric partial comodules in a monoidal category with pushouts and we provide a concrete procedure to construct it, whenever it exists. The mild assumptions required by our approach make it possible to apply it in a number of contexts of interests, recovering and extending numerous ad hoc globalization constructions from the literature in some cases and providing obstruction for globalization in some other cases.
In this paper, we introduce the notion of globalization for partial module coalgebra and for partial comodule coalgebra. We show that every partial module coalgebra is globalizable exhibiting a standard globalization. We also show the existence of globalization for a partial comodule coalgebra, provided a certain rationality condition. Moreover, we show a relationship between the globalization for the (co)module coalgebra and the usual globalization for the (co)module algebra.
We study the globalization of partial actions on sets and topological spaces and of partial coactions on algebras by applying the general theory of globalization for geometric partial comodules, as previously developed by the authors. We show that this approach does not only allow to recover all known results in these settings, but it allows to treat new cases of interest, too.
In this article, we introduce the concept of partial groupoid actions on R- semicategories as well as we give criteria for existence of a globalization of it. This point of view is a generalization of the notions of partial groupoid actions on rings and partial group action on an R-semicategory. We also define the notions of partial skew groupoid category, smash product and describe functorial relations between them, in particular we show that the smash product is a Galois covering of its associated skew groupoid category.
We study the relations between partial and global group cohomology with values in a commutative unital ring $\mathcal{A}$. In particular, for a unital partial action of a group $G$ on $\mathcal{A}$, such that $\mathcal{A}$ is a direct product of commutative indecomposable rings, we show that any partial $n$-cocycle of $G$ with values in $\mathcal{A}$ is globalizable.
In partial action theory, a pertinent question is whenever given a partial (co)action of a Hopf algebra A on an algebra R, it is possible to construct an enveloping (co)action. The authors Alves and Batista, in [2],have shown that this is always possible if R has unit. We are interested in investigating the situation where both algebras A and R are nonunitary. A nonunitary natural extension for the concept of Hopf algebras was proposed by Van Daele, in [11], which is called multiplier Hopf algebra. Therefore, we will consider partial (co)actions of multipliers Hopf algebras on algebras not nec…
We introduce "geometric" partial comodules over coalgebras in monoidal categories, as an alternative notion to the notion of partial action and coaction of a Hopf algebra introduced by Caenepeel and Janssen. The name is motivated by the fact that our new notion suits better if one wants to describe phenomena of partial actions in algebraic geometry. Under mild conditions, the category of geometric partial comodules is shown to be complete and cocomplete and the category of partial comodules over a Hopf algebra is lax monoidal. We develop a Hopf-Galois theory for geometric partial coactions to …
In this work we investigate partial actions of a Hopf algebra H on nonunital algebras and the associated partial smash products. We show that our partial actions correspond to nonunital algebras in the category of partial representations of H. The central problem of existence of a globalization for a partial action is studied in detail, and we provide sufficient conditions for the existence (and uniqueness) of a minimal globalization for associative algebras in general. Extending previous results by Abadie, Dokuchaev, Exel and Simon, we define Morita equivalence for partial Hopf actions, and w…
We show that the category of partial comodules over a Hopf algebra $H$ is comonadic over ${\sf Vect}_k$ and provide an explicit construction of this comonad using topological vector spaces. The case when $H$ is finite dimensional is treated in detail. A study of partial representations of linear algebraic groups is initiated; we show that a connected linear algebraic group does not admit partiality.
Recently E. R. Alvares, M. M. Alves and M. J. Redondo introduced a cohomology for a group $G$ with values in a module over the partial group algebra $K_{\mathrm{par}}(G)$, which is different from the partial group cohomology defined earlier by the first two named authors of the present paper. Given a unital partial action $α$ of $G$ on a (unital) algebra $\mathcal{A}$ we consider $\mathcal{A}$ as a $K_{\mathrm{par}}(G)$-module in a natural way and study the globalization problem for the cohomology in the sense of Alvares-Alves-Redondo with values in $\mathcal{A}$. The problem is reduced to an …
We introduce the notion of a partial corepresentation of a given Hopf algebra $H$ over a coalgebra $C$ and the closely related concept of a partial $H$-comodule. We prove that there exists a universal coalgebra $H^{par}$, associated to the original Hopf algebra $H$, such that the category of regular partial $H$-comodules is isomorphic to the category of $H^{par}$-comodules. We introduce the notion of a Hopf coalgebroid and show that the universal coalgebra $H^{par}$ has the structure of a Hopf coalgebroid over a suitable coalgebra.
We introduce (continuous) partial category actions on sets (topological spaces) and show that each such action admits a universal globalization. Thereby, we obtain a simultaneous generalization of corresponding results for groups, by Kellendonk and Lawson, and for monoids, by Megrelishvili and Schroder. We apply this result to the special case of partial groupoid actions where we obtain a sharpening of a result by Gilbert, concerning ordered groupoids, in the sense that mediating functions between universal globalizations always are injective.
