The notions of Hom-coring, Hom-entwining structure and associated entwined Hom-module are introduced. A theorem regarding base ring extension of a Hom-coring is proven and then is used to acquire the Hom-version of Sweedler coring. Motivated by the work of T. Brzezinski, a Hom-coring associated to an entwining Hom-structure is constructed and an identification of entwined Hom-modules with Hom-comodules of this Hom-coring is shown. The dual algebra of this Hom-coring is proven to be a $ψ$-twisted convolution algebra. By a construction, it is shown that a Hom-Doi-Koppinen datum comes from a Hom-entwining structure and that the Doi-Koppinen Hom-Hopf modules are the same as the associated entwined Hom-modules. A similar construction regarding an alternative Hom-Doi-Koppinen datum is also given. A collection of Hom-Hopf-type modules are gathered as special examples of Hom-entwining structures and corresponding entwined Hom-modules, and structures of all relevant Hom-corings are also considered.
Let $(C,A,φ)$ be an entwining structure over $k$. In this paper, we introduce the notions of the pivotal entwined datums and ribbon entwined datums to generalize (co)pivotal Hopf algebras and (co)ribbon Hopf algebras. These notions give necessary and sufficient conditions for the category of entwined modules to be a pivotal category and ribbon category.
The internal bialgebroid -- in a symmetric monoidal category with coequalizers -- is defined. The axioms are formulated in terms of internal entwining structures and alternatively, in terms of internal corings. The Galois property of the coring in question is related to the $\times_R$-Hopf algebra property. The language of entwining structures is used to discuss duality.
We investigate criteria for algebra extensions that are of Galois type with respect to the coaction of a Hopf algebra or, more generally, a one-sided quotient of a Hopf algebra, or with respect to an entwining. We study the module- and comodule-theoretical properties of such extensions.
{\em Galois comodules} over a coring can be characterised by properties of the relative injective comodules. They motivated the definition of {\em Galois functors} over some comonad (or monad) on any category and in the first section of the present paper we investigate the role of the relative injectives (projectives) in this context. Then we generalise the notion of corings (derived from an entwining of an algebra and a coalgebra) to the entwining of a monad and a comonad. Hereby a key role is played by the notion of a {\em grouplike natural transformation} $g:I\to G$ generalising the groupli…
The purpose of this paper is to develop a theory of bimonads and Hopf monads on arbitrary categories thus providing the possibility to transfer the essentials of the theory of Hopf algebras in vector spaces to more general settings. There are several extensions of this theory to {\em monoidal} categories which in a certain sense follow the classical trace. Here we do not pose any conditions on our base category but we do refer to the monoidal structure of the category of endofunctors on any category $\A$ and by this we retain some of the combinatorial complexity which makes the theory so inter…
The notion of a coalgebra-Galois extension is defined as a natural generalisation of a Hopf-Galois extension. It is shown that any coalgebra-Galois extension induces a unique entwining map $ψ$ compatible with the right coaction. For the dual notion of an algebra-Galois coextension it is also proven that there always exists a unique entwining structure compatible with the right action.
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 introduce Yetter-Drinfeld modules over a weak Hopf algebra $H$, and show that the category of Yetter-Drinfeld modules is isomorphic to the center of the category of $H$-modules. The categories of left-left, left-right, right-left and right-right Yetter-Drinfeld modules are isomorphic as braided monoidal categories. Yetter-Drinfeld modules can be viewed as weak Doi-Hopf modules, and, a fortiori, as weak entwined modules. If $H$ is finitely generated and projective, then we introduce the Drinfeld double using duality results between entwining structures and smash product structures, and show …
The relationship between comodules of a coring and flat connections is reviewed. In particular we specialise to corings which are built on a tensor product of algebra and a coalgebra. Such corings are in one-to-one correspondence with entwining structures, and their comodules are entwined modules. These include Yetter-Drinfeld and anti-Yetter-Drinfeld modules and their generalisations, hence all the modules of interest to Hopf-cyclic cohomology. In this way the interpretation of the latter as modules with flat connections [A Kaygun and M Khalkhali, Hopf modules and noncommutative differential …
We studied both the double cross product and the bicrossproduct constructions for the Hom-Hopf algebras of general $(α,β)$-type. This allows us to consider the universal enveloping Hom-Hopf algebras of Hom-Lie algebras, which are of $(α,{\rm Id})$-type. We show that the universal enveloping Hom-Hopf algebras of a matched pair of Hom-Lie algebras form a matched pair of Hom-Hopf algebras. We observe also that, the semi-dualization of a double cross product Hom-Hopf algebra is a bicrossproduct Hom-Hopf algebra. In particular, we apply this result to the universal enveloping Hom-Hopf algebras of a…
Covariant Hom-bimodules are introduced and the structure theory of them in the Hom-setting is studied in a detailed way. The category of bicovariant Hom-bimodules is proved to be a (pre)braided monoidal category and its structure theory is also provided in coordinate form. The notion of Hom-Yetter-Drinfel'd modules is presented and it is shown that the category of Hom-Yetter-Drinfel'd modules is a (pre)braided tensor category as well. As one of the main results, a (pre)braided monoidal equivalence between these tensor categories is verified, which extends the fundamental theorem of Hom-Hopf mo…
The aim of this paper is to generalize the concept of Lie-admissible coalgebra introduced by Goze and Remm to Hom-coalgebras and to introduce Hom-Hopf algebras with some properties. These structures are based on the Hom-algebra structures introduced by the authors.
The codomain category of a generalized homology theory is the category of modules over a ring. For an abelian category A, an A-valued (generalized) homology theory is defined by formally replacing the category of modules with the category A. It is known that the category of bicommutative (i.e. commutative and cocommutative) Hopf algebras over a field k is an abelian category. Denote the category by H. In this paper, we give some ways to construct H-valued homology theories. As a main result, we give H-valued homology theories whose coefficients are neither group Hopf algebras nor function Hopf…
We introduce the Hom-analogue of the L-R-smash product and use it to define the Hom-analogue of the diagonal crossed product. When H is a finite dimensional Hom-Hopf algebra with bijective antipode and bijective structure map, we define the Drinfeld double of H; its algebra structure is a Hom-diagonal crossed product and it has all expected properties, namely it is quasitriangular and modules over it coincide with left-right Yetter-Drinfeld modules over H.
We present two classes of examples of Hopf algebroids associated with noncommutative principal bundles. The first comes from deforming the principal bundle while leaving unchanged the structure Hopf algebra. The second is related to deforming a quantum homogeneous space; this needs a careful deformation of the structure Hopf algebra in order to preserve the compatibilities between the Hopf algebra operations.
The Chern-Galois theory is developed for corings or coalgebras over non-commutative rings. As the first step the notion of an entwined extension as an extension of algebras within a bijective entwining structure over a non-commutative ring is introduced. A strong connection for an entwined extension is defined and it is shown to be closely related to the Galois property and to the equivariant projectivity of the extension. A generalisation of the Doi theorem on total integrals in the framework of entwining structures over a non-commutative ring is obtained, and the bearing of strong connection…
In this paper, we define and study weak monoidal Hom-Hopf algebras, which generalize both weak Hopf algebras and monoidal Hom-Hopf algebras. If $H$ is a weak monoidal Hom-Hopf algebra with bijective antipode and let $Aut_{wmHH}(H)$ be the set of all automorphisms of $H$. Then we introduce a category ${_{H}\mathcal{WMHYD}^{H}}(α,β)$ with $α,β\in Aut_{wmHH}(H)$ and construct a braided $T$-category $\mathcal{WMHYD}(H)$ that having all the categories ${_{H}\mathcal{WMHYD}^{H}}(α,β)$ as components.
Concepts of first order differential calculus (FODC) on a monoidal Hom-algebra and left-covariant FODC over a left Hom-quantum space with respect to a monoidal Hom-Hopf algebra are presented. Then, extension of the universal FODC over a monoidal Hom-algebra to a universal Hom-differential calculus is described. Next, concepts of left(right)-covariant and bicovariant FODC over a monoidal Hom-Hopf algebra are studied in detail. Subsequently, notion of quantum Hom-tangent space associated to a bicovariant Hom-FODC is introduced and equipped with an analogue of Lie bracket (commutator) through Wor…
Let $(H, β)$ be a monoidal Hom-Hopf algebra with the bijective antipode $S$, In this paper, we mainly construct the Drinfel'd codouble $T(H)=(H^{op}\otimes H^{*}, β\otimes β^{*-1})$ and $\widehat{T(H)}=( H^{*}\otimes H^{op}, β^{*-1}\otimes β)$ in the setting of monoidal Hom-Hopf algebras. Then we prove both $T(H)$ and $\widehat{T(H)}$ are coquasitriangular. Finally, we discuss the relation between Drinfel'd codouble and Heisenberg double in the setting of monoidal Hom-Hopf algebras, which is a generalization of the part results in \cite{L94}.
Hom-bialgebras and Hom-Hopf algebras are generalizations of bialgebra and Hopf algebra structures, where associativity and coassociativity conditions are twisted by a homomorphism. The purpose of this paper is to define a Gerstenhaber-Schack cohomology complex for Hom-bialgebras and then study one parameter formal deformations.
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 par…
This short survey article reviews current understand- ing of the structure of noetherian Hopf algebras. The focus is on homological properties. A number of open problems are listed.
We construct several pairings in Hopf-cyclic cohomology of (co)module (co)algebras with arbitrary coefficients. The key ideas instrumental in constructing these pairings are the derived functor interpretation of Hopf-cyclic and equivariant cyclic (co)homology, and the Yoneda interpretation of Ext-groups. As a special case of one of these pairings, we recover the Connes-Moscovici characteristic map in Hopf-cyclic cohomology. We also prove that this particular pairing, along with few others, would stay the same if we replace the derived category of (co)cyclic modules with the homotopy category o…
A quantum group of type A is defined as a Hopf algebra associated to a Hecke symmetry. We show the homology of a Koszul complex associated to the Hecke symmetry is one dimensional and determines a group-like element in the Hopf algebra. This group-like element can be interpreted as a homological determinant as suggested by Yu. Manin.
This note discusses the cyclic cohomology of a left Hopf algebroid ($\times_A$-Hopf algebra) with coefficients in a right module-left comodule, defined using a straightforward generalisation of the original operators given by Connes and Moscovici for Hopf algebras. Lie-Rinehart homology is a special case of this theory. A generalisation of cyclic duality that makes sense for arbitrary para-cyclic objects yields a dual homology theory. The twisted cyclic homology of an associative algebra provides an example of this dual theory that uses coefficients that are not necessarily stable anti Yetter-…
We show that if $A$ and $H$ are Hopf algebras that have equivalent tensor categories of comodules, then one can transport what we call a free Yetter-Drinfeld resolution of the counit of $A$ to the same kind of resolution for the counit of $H$, exhibiting in this way strong links between the Hochschild homologies of $A$ and $H$. This enables us to get a finite free resolution of the counit of $\mathcal B(E)$, the Hopf algebra of the bilinear form associated to an invertible matrix $E$, generalizing an ealier construction of Collins, Hartel and Thom in the orthogonal case $E=I_n$. It follows tha…
We construct rank varieties for the Drinfel'd double of the Taft algebra and for U_q(sl2). For the Drinfel'd double when n=2 this uses a result which identifies a family of subalgebras that control projectivity of A-modules whenever A is a Hopf algebra satisfying a certain homological condition. In this case we show that our rank variety is homeomorphic to the cohomological support variety. We also show that Ext^*(M,M) is finitely generated over the cohomology ring of the Drinfel'd double for any finitely-generated module M.
