Partial actions of Hopf algebras can be considered as a generalization of partial actions of groups on algebras. Among important properties of partial Hopf actions, it is possible to assure the existence of enveloping actions. This allows to extend several results from the theory of partial group actions to the Hopf algebraic setting. In this article, we explore some properties of the fixed point subalgebra with relations to a partial action of a Hopf algebra. We also construct, for partial actions of finite dimensional Hopf algebras a Morita context relating the fixed point subalgebra and the partial smash product. This is a generalization of a well known result in the theory of Hopf algebras for the case of partial actions. Finally, we study Hopf-Galois extensions and reobtain some classical results in the partial case.
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…
Let $H$ be a Hopf algebra, and $A,B$ be $H$-Galois extensions. We investigate the category ${}_A\mathcal{M}_B^H$ of relative Hopf bimodules, and the Morita equivalences between $A$ and $B$ induced by them.
Let $H$ and $L$ be two Hopf algebras such that their comodule categories are monoidal equivalent. We prove that if $H$ is a twisted Calabi-Yau (CY) Hopf algebra, then $L$ is a twisted CY algebra when it is homologically smooth. Especially, if $H$ is a Noetherian twisted CY Hopf algebra and $L$ has finite global dimension, then $L$ is a twisted CY algebra.
We extend Morita theory to abelian categories by using wide Morita contexts. Several equivalence results are given for wide Morita contexts between abelian categories, widely extending equivalence theorems for categories of modules and comodules due to Kato, Muller and Berbec. In the case of Grothendieck categories we derive equivalence results by using quotient categories. We apply the general equivalence results to rings with identity, rings with local units, graded rings, Doi-Hopf modules and coalgebras.
We show that two flat commutative Hopf algebroids are Morita equivalent if and only if they are weakly equivalent and if and only if there exists a principal bibundle connecting them. This gives a positive answer to a conjecture due to Hovey and Strickland. We also prove that principal (left) bundles lead to a bicategory together with a 2-functor from flat Hopf algebroids to trivial principal bundles. This turns out to be the universal solution for 2-functors which send weak equivalences to invertible 1-cells. Our approach can be seen as an algebraic counterpart to Lie groupoid Morita theory.
A coaction of a Hopf algebra on a unital algebra is called homogeneous if the algebra of coinvariants equals the ground field. A coaction of a Hopf algebra on a (not necessarily unital) algebra is called Galois, or principal, or free, if the canonical map, also known as the Galois map, is bijective. In this paper, we establish a duality between a particular class of homogeneous coactions, up to equivariant Morita equivalence, and Galois coactions, up to isomorphism.
A weakly equivariant Hopf algebra is a Hopf algebra A with an action of a finite group G up to inner automorphisms. We show that each weakly equivariant Hopf algebra can be replaced by a Morita equivalent algebra B with a strict action of G and with a coalgebra structure that leads to a tensor equivalent representation category. However, the coproduct of this strictification cannot, in general, be chosen to be unital, so that a strictification of the G-action can only be found on a weak Hopf algebra B.
A Morita context is constructed for any comodule of a coring and, more generally, for an $L$-$\cC$ bicomodule $Σ$ for a pure coring extension $(\cD:L)$ of $(\cC:A)$. It is related to a 2-object subcategory of the category of $k$-linear functors $\Mm^\Cc\to\Mm^\Dd$. Strictness of the Morita context is shown to imply the Galois property of $Σ$ as a $\cC$-comodule and a Weak Structure Theorem. Sufficient conditions are found also for a Strong Structure Theorem to hold. Cleft property of an $L$-$\cC$ bicomodule $Σ$ -- implying strictness of the associated Morita context -- is introduced. It is sho…
We show that all finite dimensional pointed Hopf algebras with the same diagram in the classification scheme of Andruskiewitsch and Schneider are cocycle deformations of each other. This is done by giving first a suitable characterization of such Hopf algebras, which allows for the application of a result of Masuoka about Morita-Takeuchi equivalence and of Schauenburg about Hopf Galois extensions. The "infinitesimal" part of the deforming cocycle and of the deformation determine the deformed multiplication and can be described explicitly in terms of Hochschild cohomology. Applications to, and …
The notion of H-covariant strong Morita equivalence is introduced for *-algebras over C = R(i) with an ordered ring R which are equipped with a *-action of a Hopf *-algebra H. This defines a corresponding H-covariant strong Picard groupoid which encodes the entire Morita theory. Dropping the positivity conditions one obtains H-covariant *-Morita equivalence with its H-covariant *-Picard groupoid. We discuss various groupoid morphisms between the corresponding notions of the Picard groupoids. Moreover, we realize several Morita invariants in this context as arising from actions of the H-covaria…
Motivated by partial group actions on unital algebras, in this article we extend many results obtained by Exel and Dokuchaev to the context of partial actions of Hopf algebras, according to Caenepeel and Jansen. First, we generalize the theorem about the existence of an enveloping action, also known as the globalization theorem. Second, we construct a Morita context between the partial smash product and the smash product related to the enveloping action. Third, we dualize the globalization theorem to partial coactions and finally, we define partial representations of Hopf algebras and show som…
A coring (A,C) consists of an algebra A and a coalgebra C in the monoidal category of A-bimodules. Corings and their comodules arise naturally in the study of Hopf-Galois extensions and descent theory, as well as in the study of Hopf algebroids. In this paper, we address the question of when two corings in a symmetric monoidal model category V are homotopically Morita equivalent, i.e., when their respective categories of comodules are Quillen equivalent. The category of comodules over the trivial coring (A,A) is isomorphic to the category of A-modules, so the question above englobes that of wh…
Let $H$ be a Hopf algebra, and $A$ an $H$-Galois extension. We investigate $H$-Morita autoequivalences of $A$, introduce the concept of $H$-Picard group, and we establish an exact sequence linking the $H$-Picard group of $A$ and the Picard group of $A^{{\rm co}H}$.
In this paper we introduce the notion of a partial action of a groupoid on a ring as well as we give a criteria for the existence of a globalization of it. We construct a Morita context associated to a globalizable partial groupoid action and we introduce the notion of a partial Galois extension, which is related to the strictness of this context.
We introduce partial (co)actions of a Hopf algebra $H$ on an algebra. To this end, we introduce first the notion of lax coring, generalizing Wisbauer's notion of weak coring. We also have the dual notion of lax ring. Several duality results are given, and we develop Galois theory for partial $H$-comodule algebras.
We define a version of Hochschild homology and cohomology suitable for a class of algebras admitting compatible actions of bialgebras, called module algebras. We show this (co)homology, called Hopf--Hochschild (co)homology, can also be defined as a derived functor on the category of representations of a crossed product algebra. We investigate the relationship of our theory with Hopf cyclic cohomology and also prove Morita invariance of the Hopf--Hochschild (co)homology.
In this work, the notion of a twisted partial Hopf action is introduced as a unified approach for twisted partial group actions, partial Hopf actions and twisted actions of Hopf algebras. The conditions on partial cocycles are established in order to construct partial crossed products, which are also related to partially cleft extensions of algebras. Examples are elaborated using algebraic groups.
For module algebras and module coalgebras over an arbitrary bialgebra, we define two types of bivariant cyclic cohomology groups called bivariant Hopf cyclic cohomology and bivariant equivariant cyclic cohomology. These groups are defined through an extension of Connes' cyclic category $Λ$. We show that, in the case of module coalgebras, bivariant Hopf cyclic cohomology specializes to Hopf cyclic cohomology of Connes and Moscovici and its dual version by fixing either one of the variables as the ground field. We also prove an appropriate version of Morita invariance for both of these theories.
In this work, the notion of partial representation of a Hopf algebra is introduced and its relationship with partial actions of Hopf algebras is explored. Given a Hopf algebra $H$, one can associate it to a Hopf algebroid $H_{par}$ which has the universal property that each partial representation of $H$ can be factorized by an algebra morphism from $H_{par}$. We define also the category of partial modules over a Hopf algebra $H$, which is the category of modules over its associated Hopf algebroid $H_{par}$. The Hopf algebroid structure of $H_{par}$ enables us to enhance the category of partial…
In this work we define partial (co)actions on multiplier Hopf algebras, we also present examples and properties. From a partial comodule coalgebra we construct a partial smash coproduct generalizing the constructions made by the L. Delvaux, E. Batista and J. Vercruysse.
In this paper, we generalize Schur-Weyl duality and Morita Theorem on associative algebras to those on associative $H$-pseudoalgebras. Meanwhile, we get a plenty of associative $H$-pseudoalgebras over a cocommutative Hopf algebra $H$.
Partial actions of Hopf algebras can be considered as a generalization of partial actions of groups on algebras. Among important properties of partial Hopf actions, it is possible to prove the existence of enveloping actions, i.e., every partial Hopf action on a algebra A is induced by a Hopf action on a algebra B that contains A as a right ideal. This globalization theorem allows to extend several results from the theory of partial group actions to the Hopf algebraic setting. In this article, we prove a dual version of the globalization theorem: that every partial coaction of a Hopf algebra a…
The duality between partial actions (partial $H$-module algebras) and co-actions (partial $H$-comodule algebras) of a Hopf algebra $H$ is fully explored in this work. A connection between partial (co)actions and Hopf algebroids is established under certain commutativity conditions. Moreover, we continue this duality study, introducing also partial $H$-module coalgebras and their associated $C$-rings, partial $H$-comodule coalgebras and their associated cosmash coproducts, as well as the mutual interrelations between these structures.
In this work, the cohomology theory for partial actions of co-commutative Hopf algebras over commutative algebras is formulated. This theory generalizes the cohomology theory for Hopf algebras introduced by Sweedler and the cohomology theory for partial group actions, introduced by Dokuchaev and Khrypchenko. Some nontrivial examples, not coming from groups are constructed. Given a partial action of a co-commutative Hopf algebra $H$ over a commutative algebra $A$, we prove that there exists a new Hopf algebra $\widetilde{A}$, over a commutative ring $E(A)$, upon which $H$ still acts partially a…
The Drinfel'd double D(A) of a finite-dimensional Hopf algebra A is a Hopf algebraic counterpart of the monoidal center construction. Majid introduced an important representation of the Drinfel'd double, which he called the Schrödinger representation. We study this representation from the viewpoint of the theory of monoidal categories. One of our main results is as follows: If two finite-dimensional Hopf algebras A and B over a field k are monoidally Morita equivalent, i.e., there exists an equivalence F from the module category over A to the module category over B of k-linear monoidal categor…
In this work, we review some properties of twisted partial actions of Hopf algebras on unital algebras and give necessary and sufficient conditions for a twisted partial action to have a globalization. We also elaborate a series of examples.
Study of the quotient module of a finite-dimensional Hopf subalgebra pair in order to compute its depth yields a relative Maschke Theorem, in which semisimple extension is characterized as being separable, and is therefore an ordinary Frobenius extension. We study the core Hopf ideal of a Hopf subalgebra, noting that the length of the annihilator chain of tensor powers of the quotient module is linearly related to the depth, if the Hopf algebra is semisimple. A tensor categorical definition of depth is introduced, and a summary from this new point of view of previous results are included. It i…
Classifying partial (co)actions of Taft and Nichols Hopf algebras on their base fields
Instituto Federal Sul-rio-grandense（南里奥格兰德联邦学院）；Universidade Federal do Rio Grande（里奥格兰德联邦大学）；IME, Universidade Federal do Rio Grande do Sul（里约格兰德州立大学数学与统计学院）
The effectiveness of the aplication of constructions in $G$-graded $k$-categories to the computation of the fundamental group of a finite dimensional $k$-algebra, alongside with open problems still left untouched by those methods and new problems arisen from the introduction of the concept of fundamental group of a $k$-linear category, motivated the investigation of $H$-module categories, i.e., actions of a Hopf algebra $H$ on a $k$-linear category. The $G$-graded case corresponds then to actions of the Hopf algebra $k^G$ on a $k$-linear category. In this work we take a step further and introd…
An extension B\subset A of algebras over a commutative ring k is an H-extension for an L-bialgebroid H if A is an H-comodule algebra and B is the subalgebra of its coinvariants. It is H-Galois if the canonical map A\otimes_B A\to A\otimes_L H is an isomorphism or, equivalently, if the canonical coring (A\otimes_L H:A) is a Galois coring. In the case of a Hopf algebroid H=(H_L,H_R,S) any H_R-extension is shown to be also an H_L-extension. If the antipode is bijective then also the notions of H_R-Galois extensions and of H_L-Galois extensions are proven to coincide. Results about bijective entwi…
We consider the action of a semisimple Hopf algebra $H$ on an $m$-Koszul Artin-Schelter regular algebra $A$. Such an algebra $A$ is a derivation-quotient algebra for some twisted superpotential $\mathsf{w}$, and we show that the homological determinant of the action of $H$ on $A$ can be easily calculated using $\mathsf{w}$. Using this, we show that the smash product $A\,\#\,H$ is also a derivation-quotient algebra, and use this to explicitly determine a quiver algebra $Λ$ to which $A\,\#\,H$ is Morita equivalent, generalising a result of Bocklandt-Schedler-Wemyss. We also show how $Λ$ can be u…
In this paper, we are interested in the study of the existence of connections between partial groupoid actions and partial group actions. Precisely, we prove that there exists a datum connecting a partial action of a connected groupoid and a partial action of any of its isotropy groups. Furthermore, it will be proved that under a suitable condition the partial skew groupoid ring corresponding to a partial action by a connected groupoid is isomorphic to a specific partial skew group ring. We also present a Morita theory and a Galois theory related to these partial actions as well as considerati…
This paper is a written form of a talk. It gives a review of various notions of Galois (and in particular cleft) extensions. Extensions by coalgebras,bialgebras and Hopf algebras (over a commutative base ring) and by corings,bialgebroids and Hopf algebroids (over a non-commutative base algebra) are systematically recalled and compared. In the first version of this paper, the journal version of [15, Theorem 2.6] was heavily used, in two respects. First, it was applied to establish an isomorphism between the comodule categories of two constituent bialgebroids in a Hopf algebroid. Second, it was …
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.
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…
It will be seen that if $H$ is a weak Hopf algebra in the definition of coaction of weak bialgebras on coalgebras \cite{Wang}, then a definition property is suppressed giving rise to the (global) coactions of weak Hopf algebras on coalgebras. The next step will be introduce the more general notion of partial coactions of weak Hopf algebras on coalgebras as well as a family of examples via a fixed element on the weak Hopf algebra, illustrating both definitions: global and partial. Moreover, it will also be presented how to obtain a partial comodule coalgebra from a global one via projections, g…
We introduce a general notion of depth two for ring homomorphism N --> M, and derive Morita equivalence of the step one and three centralizers, R = C_M(N) and C = End_{N-M}(M ø_N M), via dual bimodules and step two centralizers A = End_NM_N and B = (M ø_N M)^N, in a Jones tower above N --> M. Lu's bialgebroids End_k A' and A' ø_k {A'}^op over a k-algebra A' are generalized to left and right bialgebroids A and B with B the R-dual bialgebroid of A. We introduce Galois-type actions of A on M and B on End_NM when M_N is a balanced module. In the case of Frobenius extensions M | N, we prove an endo…
We introduce the notion of a dilation for a partial representation (i.e. a partial module) of a Hopf algebra, which in case the partial representation origins from a partial action (i.e.a partial module algebra) coincides with the enveloping action (or globalization). This construction leads to categorical equivalences between the category of partial $H$-modules, a category of (global) $H$-modules endowed with a projection satisfying a suitable commutation relation and the category of modules over a (global) smash product constructed upon $H$, from which we deduce the structure of a Hopfish al…
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 …
Let H be a semisimple (so, finite dimensional) Hopf algebra over an algebraically closed field k of characteristic zero and let A be a commutative domain over k. We show that if A arises as an H-module algebra via an inner faithful H-action, then H must be a group algebra. This answers a question of E. Kirkman and J. Kuzmanovich and partially answers a question of M. Cohen. The main results of this article extend to working over k of positive characteristic. On the other hand, we obtain results on Hopf actions on Weyl algebras as a consequence of the main theorem.
