-
arXiv:1805.04931 [pdf, ps, other]
On the cohomology of comodules over smash coproducts
Abstract: We consider the category of comodules over a smash coproduct coalgebra $C\smashco H$. We show that there is a Grothendieck spectral sequence connecting the derived functors of the Hom functors coming from $C\smashco H$-colinear, $H$-colinear and rational $C$-colinear morphisms. We give several applications and connect our results to existing spectral sequences in the literature.
Submitted 13 May, 2018; originally announced May 2018.
Comments: 15 pages
MSC Class: 16S40; 16W30
-
arXiv:1702.01337 [pdf, ps, other]
Descent and Galois theory for Hopf categories
Abstract: Descent theory for linear categories is developed. Given a linear category as an extension of a diagonal category, we introduce descent data, and the category of descent data is isomorphic to the category of representations of the diagonal category, if some flatness assumptions are satisfied. Then Hopf-Galois descent theory for linear Hopf categories, the Hopf algebra version of a linear category,… ▽ More
Submitted 4 February, 2017; originally announced February 2017.
Comments: 38 pages
MSC Class: 16T05
-
arXiv:1612.09540 [pdf, ps, other]
Frobenius and separable functors for the category of entwined modules over cowreaths, I: General theory
Abstract: Entwined modules over cowreaths in a monoidal category are introduced. They can be identified to coalgebras in an appropriate monoidal category. It is investigated when such coalgebras are Frobenius (resp. separable), and when the forgetful functor from entwined modules to representations of the underlying algebra is Frobenius (resp. separable). These properties are equivalent when the unit object… ▽ More
Submitted 13 May, 2018; v1 submitted 30 December, 2016; originally announced December 2016.
Comments: 34 pages
MSC Class: 16T05; 18D10; 16T15; 16S40
-
arXiv:1503.05447 [pdf, ps, other]
Hopf Categories
Abstract: We introduce Hopf categories enriched over braided monoidal categories. The notion is linked to several recently developed notions in Hopf algebra theory, such as Hopf group (co)algebras, weak Hopf algebras and duoidal categories. We generalize the fundamental theorem for Hopf modules and some of its applications to Hopf categories.
Submitted 12 April, 2016; v1 submitted 18 March, 2015; originally announced March 2015.
Comments: 47 pages; final version to appear in Algebras and Representation Theory
MSC Class: 16T05
Journal ref: Algebras Represent. Theory 19 (2016), 1173-1216
-
arXiv:1302.5626 [pdf, ps, other]
Monoidal ring and coring structures obtained from wreaths and cowreaths
Abstract: Let $A$ be an algebra in a monoidal category $\Cc$, and let $X$ be an object in $\Cc$. We study $A$-(co)ring structures on the left $A$-module $A\ot X$. These correspond to (co)algebra structures in $EM(\Cc)(A)$, the Eilenberg-Moore category associated to $\Cc$ and $A$. The ring structures are in bijective correspondence to wreaths in $\Cc$, and their category of representations is the category of… ▽ More
Submitted 31 May, 2013; v1 submitted 22 February, 2013; originally announced February 2013.
Comments: 34 pages; to appear in Algebras Represent. Theory
MSC Class: 16T05; 18D05; 18D10
Journal ref: Algebras Represent. Theory 17 (2014), 1035-1082
-
arXiv:1210.8052 [pdf, ps, other]
The uniqueness of braidings on the monoidal category of non-commutative descent data
Abstract: Let $A$ be an algebra over a commutative ring $k$. It is known that the categories of non-commutative descent data, of comodules over the Sweedler canonical coring, of right $A$-modules with a flat connection are isomorphic as braided monoidal categories to the center of the category of $A$-bimodules. We prove that the braiding on these categories is unique if there exists a $k$-linear unitary map… ▽ More
Submitted 30 October, 2012; originally announced October 2012.
Comments: 9 pages, submitted
-
arXiv:1202.2441 [pdf, ps, other]
Stable equivalence of Morita type and Frobenius extensions
Abstract: A.S. Dugas and R. Martínez-Villa proved in \cite[Corollary 5.1]{dm} that if there exists a stable equivalence of Morita type between the $k$-algebras $Λ$ and $Γ$, then it is possible to replace $Λ$ by a Morita equivalent $k$-algebra $Δ$ such that $Γ$ is a subring of $Δ$ and the induction and restriction functors induce inverse stable equivalences. In this note we give an affirmative answer to a qu… ▽ More
Submitted 11 February, 2012; originally announced February 2012.
Comments: 4 pages, to appear in Annals Univ. Bucharest
MSC Class: 16T15; 16D90
-
arXiv:1109.3044 [pdf, ps, other]
Comodules over semiperfect corings
Abstract: We discuss when the Rat functor associated to a coring satisfying the left $α$-condition is exact. We study the category of comodules over a semiperfect coring. We characterize semiperfect corings over artinian rings and over qF-rings.
Submitted 14 September, 2011; originally announced September 2011.
Comments: 18 pages
MSC Class: 16W30
Journal ref: Proceedings of the International Conference on Mathematics and its Applications, ICMA 2004, State of Kuwait, Kuwait, 2005, 135-160
-
arXiv:1109.1947 [pdf, ps, other]
On cross product Hopf algebras
Abstract: Let $A$ and $B$ be algebras and coalgebras in a braided monoidal category $\Cc$, and suppose that we have a cross product algebra and a cross coproduct coalgebra structure on $A\ot B$. We present necessary and sufficient conditions for $A\ot B$ to be a bialgebra, and sufficient conditions for $A\ot B$ to be a Hopf algebra. We discuss when such a cross product Hopf algebra is a double cross (co)pro… ▽ More
Submitted 9 September, 2011; originally announced September 2011.
Comments: 46 pages
MSC Class: 16T05; 18D18
-
arXiv:1108.3176 [pdf, ps, other]
The center of the category of bimodules and descent data for non-commutative rings
Abstract: Let $A$ be an algebra over a commutative ring $k$. We compute the center of the category of $A$-bimodules. There are six isomorphic descriptions: the center equals the weak center, and can be described as categories of noncommutative descent data, comodules over the Sweedler canonical $A$-coring, Yetter-Drinfeld type modules or modules with a flat connection from noncommutative differential geomet… ▽ More
Submitted 15 December, 2011; v1 submitted 16 August, 2011; originally announced August 2011.
Comments: 14 pages; to appear in J. Algebra Appl
MSC Class: 16T10; 16T05; 16S40
Journal ref: J. Algebra Appl. 11 (2012), 1-17
-
arXiv:1108.2575 [pdf, ps, other]
Braidings on the category of bimodules, Azumaya algebras and epimorphisms of rings
Abstract: Let $A$ be an algebra over a commutative ring $k$. We prove that braidings on the category of $A$-bimodules are in bijective correspondence to canonical R-matrices, these are elements in $A\ot A\ot A$ satisfying certain axioms. We show that all braidings are symmetries. If $A$ is commutative, then there exists a braiding on ${}_A\Mm_A$ if and only if $k\to A$ is an epimorphism in the category of r… ▽ More
Submitted 8 October, 2012; v1 submitted 12 August, 2011; originally announced August 2011.
Comments: 12 pages; final version, to appear in Appl. Cat. Structures
MSC Class: 16T10; 16T05; 16S40
Journal ref: Appl. Categ. Structures 22 (2014), 29-42
-
arXiv:1103.2263 [pdf, ps, other]
On integrals and cointegrals for quasi-Hopf algebras
Abstract: Using the machinery provided by a Frobenius algebra we show how the antipode of a quasi-Hopf algebra $H$ carries out left or right cointegrals for $H$. These formulas will allow us to find out the explicit form of an integral and a cointegral for the quantum double $D(H)$ of $H$ in terms of those of $H$, and so to answer to a conjecture of Hausser and Nill raised at the end of the nineties.
Submitted 16 November, 2011; v1 submitted 11 March, 2011; originally announced March 2011.
Comments: 29 pages, to appear in J. Algebra
MSC Class: 16T05
-
arXiv:1103.2261 [pdf, ps, other]
Weak bialgebras and monoidal categories
Abstract: We study monoidal structures on the category of (co)modules over a weak bialgebra. Results due to Nill and Szlachányi are unified and extended to infinite algebras. We discuss the coalgebra structure on the source and target space of a weak bialgebra.
Submitted 16 November, 2011; v1 submitted 11 March, 2011; originally announced March 2011.
Comments: 23 pages, to appear in Comm. Algebra
MSC Class: 16T05
-
arXiv:1011.4802 [pdf, ps, other]
A monoidal structure on the category of relative Hopf modules
Abstract: Let $B$ be a bialgebra, and $A$ a left $B$-comodule algebra in a braided monoidal category $\Cc$, and assume that $A$ is also a coalgebra, with a not-necessarily associative or unital left $B$-action. Then we can define a right $A$-action on the tensor product of two relative Hopf modules, and this defines a monoidal structure on the category of relative Hopf modules if and only if $A$ is a bialge… ▽ More
Submitted 22 November, 2010; originally announced November 2010.
Comments: 17 pages
MSC Class: 16T05; 18D10
-
arXiv:1011.0886 [pdf, ps, other]
Algebras graded by discrete Doi-Hopf data and the Drinfeld double of a Hopf group-coalgebra
Abstract: We study Doi-Hopf data and Doi-Hopf modules for Hopf group-coalgebras. We introduce modules graded by a discrete Doi-Hopf datum; to a Doi-Hopf datum over a Hopf group coalgebra, we associate an algebra graded by the underlying discrete Doi-Hopf datum, using a smash product type construction. The category of Doi-Hopf modules is then isomorphic to the category of graded modules over this algebra. Th… ▽ More
Submitted 3 November, 2010; originally announced November 2010.
Comments: 34 pages
MSC Class: 16T05
-
arXiv:1004.5235 [pdf, ps, other]
Hopf-Galois extensions and isomorphisms of small categories
Abstract: We associate two linear categories with two objects to a module over the subalgebra of coinvariants of a Hopf-Galois extension, and prove that they are isomorphic. The structure Theorem for cleft extensions, and the Militaru \cStefan lifting Theorem can be obtained using these isomorphisms.
Submitted 29 April, 2010; originally announced April 2010.
Comments: 21 pages
MSC Class: 16W30; 16D90
-
arXiv:0912.0679 [pdf, ps, other]
The braided monoidal structures on the category of vector spaces graded by the Klein group
Abstract: Let $k$ be a field, $k^*=k\setminus\{0\}$ and $C_2$ the cyclic group of order 2. In this note we compute all the braided monoidal structures on the category of $k$-vector spaces graded by the Klein group $C_2\times C_2$. Actually, for the monoidal structures we will compute the explicit form of the 3-cocycles on $C_2\times C_2$ with coefficients in $k^*$, while for the braided monoidal structure… ▽ More
Submitted 3 December, 2009; originally announced December 2009.
Comments: 22 pages
MSC Class: 16W30
-
arXiv:0907.0187 [pdf, ps, other]
Monoidal Hom-Hopf algebras
Abstract: Hom-structures (Lie algebras, algebras, coalgebras, Hopf algebras) have been investigated in the literature recently. We study Hom-structures from the point of view of monoidal categories; in particular, we introduce a symmetric monoidal category such that Hom-algebras coincide with algebras in this monoidal category, and similar properties for coalgebras, Hopf algebras and Lie algebras.
Submitted 14 August, 2013; v1 submitted 1 July, 2009; originally announced July 2009.
Comments: 25 pages; extended version: compared to the version that appeared in Comm. Algebra, the Section Preliminary Results and Remarks 5.1 and 6.1 have been added
MSC Class: 16W30
Journal ref: Comm. Algebra 39 (2011), 2216-2240
-
arXiv:0812.1691 [pdf, ps, other]
Hopf-Galois extensions and an exact sequence for $H$-Picard groups
Abstract: 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}$.
Submitted 3 December, 2009; v1 submitted 9 December, 2008; originally announced December 2008.
Comments: 35 pages; to appear in J. Algebra
MSC Class: 16W30; 16D90
-
arXiv:0812.1685 [pdf, ps, other]
Strong group coalgebras
Abstract: We introduce strong group coalgebras, as a generalization of strongly graded coalgebras. We give several characterizations, and study two special types of strong group coalgebras, namely cleft group algebras (or crossed coproduct group coalgebras) and smash coproduct group coalgebras.
Submitted 9 December, 2008; originally announced December 2008.
Comments: 16 pages
MSC Class: 16W30; 16W50
-
arXiv:0812.1674 [pdf, ps, other]
Monadic approach to Galois descent and cohomology
Abstract: We describe a simplified categorical approach to Galois descent theory. It is well known that Galois descent is a special case of Grothendieck descent, and that under mild additional conditions the category of Grothendieck descent data coincides with the Eilenberg-Moore category of algebras over a suitable monad. This also suggests using monads directly, and our monadic approach to Galois descen… ▽ More
Submitted 9 December, 2008; originally announced December 2008.
Comments: 25 pages
MSC Class: 18C15; 18D10
-
arXiv:0704.3036 [pdf, ps, other]
Involutory quasi-Hopf algebras
Abstract: We introduce and investigate the basic properties of an involutory (dual) quasi-Hopf algebra. We also study the representations of an involutory quasi-Hopf algebra and prove that an involutory dual quasi-Hopf algebra with non-zero integral is cosemisimple.
Submitted 9 December, 2008; v1 submitted 23 April, 2007; originally announced April 2007.
Comments: 26 pages
MSC Class: 16W30
-
arXiv:math/0701931 [pdf, ps, other]
Group corings
Abstract: We introduce group corings, and study functors between categories of comodules over group corings, and the relationship to graded modules over graded rings. Galois group corings are defined, and a Structure Theorem for the $G$-comodules over a Galois group coring is given. We study (graded) Morita contexts associated to a group coring. Our theory is applied to group corings associated to a comod… ▽ More
Submitted 31 January, 2007; originally announced January 2007.
Comments: 38 pages
MSC Class: 16W30; 16W50
-
arXiv:math/0610524 [pdf, ps, other]
Partial (co)actions of Hopf algebras and partial Hopf-Galois theory
Abstract: 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.
Submitted 9 December, 2008; v1 submitted 17 October, 2006; originally announced October 2006.
Comments: 22 pages
MSC Class: 16W30
-
arXiv:math/0608572 [pdf, ps, other]
Morita equivalences induced by bimodules over Hopf-Galois extensions
Abstract: 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.
Submitted 9 February, 2007; v1 submitted 23 August, 2006; originally announced August 2006.
Comments: 32 pages
MSC Class: 16W30; 16D90
-
arXiv:math/0511609 [pdf, ps, other]
Constructing infinite Comatrix Corings from colimits
Abstract: We propose a class of infinite comatrix corings, and describe them as colimits of systems of usual comatrix corings. The infinite comatrix corings of El Kaoutit and Gómez Torrecillas are special cases of our construction, which in turn can be considered as a special case of the comatrix corings introduced recently by Gómez Torrecillas an the third author.
Submitted 19 April, 2006; v1 submitted 24 November, 2005; originally announced November 2005.
Comments: 23 pages, some corrections and additions to the previous version, and a renumbering of theorems in section 4
MSC Class: 16W30
-
arXiv:math/0505686 [pdf, ps, other]
The Brauer group of Azumaya corings and the second cohomology group
Abstract: Let $R$ be a commutative ring. An Azumaya coring consists of a couple $(S,\Cc)$, with $S$ a faithfully flat commutative $R$-algebra, and an $S$-coring $\Cc$ satisfying certain properties. If $S$ is faithfully projective, then the dual of $\Cc$ is an Azumaya algebra. Equivalence classes of Azumaya corings form an abelian group, called the Brauer group of Azumaya corings. This group is canonically… ▽ More
Submitted 31 May, 2005; originally announced May 2005.
Comments: 26 pages
MSC Class: 16W30
-
arXiv:math/0504427 [pdf, ps, other]
Duality for finite Hopf algebras explained by corings
Abstract: We give a coring version for the duality theorem for actions and coactions of a finitely generated projective Hopf algebra. We also provide a coring analogue for a theorem of H.-J. Schneider, which generalizes and unifies the duality theorem for finite Hopf algebras and its refinements.
Submitted 6 May, 2005; v1 submitted 21 April, 2005; originally announced April 2005.
Comments: 7 pages
MSC Class: 16W30
-
arXiv:math/0503687 [pdf, ps, other]
On the cohomology of relative Hopf modules
Abstract: Let $H$ be a Hopf algebra over a field $k$, and $A$ an $H$-comodule algebra. The categories of comodules and relative Hopf modules are then Grothendieck categories with enough injectives. We study the derived functors of the associated Hom functors, and of the coinvariants functor, and discuss spectral sequences that connect them. We also discuss when the coinvariants functor preserves injective… ▽ More
Submitted 1 April, 2005; v1 submitted 29 March, 2005; originally announced March 2005.
Comments: 23 pages
MSC Class: 16W30
-
arXiv:math/0503686 [pdf, ps, other]
Fully bounded noetherian rings and Frobenius extensions
Abstract: Let $i: A\to R$ be a ring morphism, and $χ: R\to A$ a right $R$-linear map with $χ(χ(r)s)=χ(rs)$ and $χ(1_R)=1_A$. If $R$ is a Frobenius $A$-ring, then we can define a trace map $\tr: A\to A^R$. If there exists an element of trace 1 in $A$, then $A$ is right FBN if and only if $A^R$ is right FBN and $A$ is right noetherian. The result can be generalized to the case where $R$ is an $I$-Frobenius… ▽ More
Submitted 6 January, 2006; v1 submitted 29 March, 2005; originally announced March 2005.
Comments: 15 pages
MSC Class: 16W30
-
arXiv:math/0410209 [pdf, ps, other]
The relative Picard group of a comodule algebra and Harrison cohomology
Abstract: Let $A$ be a commutative comodule algebra over a commutative bialgebra $H$. The group of invertible relative Hopf modules maps to the Picard group of $A$, and the kernel is described as a quotient group of the group of invertible grouplike elements of the coring $A\ot H$, or as a Harrison cohomology group. Our methods are based on elementary $K$-theory. The Hilbert 90 Theorem follows as a coroll… ▽ More
Submitted 7 October, 2004; originally announced October 2004.
Comments: 12 pages
MSC Class: 16W30
-
arXiv:math/0409600 [pdf, ps, other]
A categorical approach to Turaev's Hopf group-coalgebras
Abstract: We show that Turaev's group-coalgebras and Hopf group-coalgebras are coalgebras and Hopf algebras in a symmetric monoidal category, which we call the Turaev category. A similar result holds for group-algebras and Hopf group-algebras. As an application, we give an alternative approach to Virelizier's version of the Fundamental Theorem for Hopf algebras. We introduce Yetter-Drinfeld modules over H… ▽ More
Submitted 30 September, 2004; originally announced September 2004.
Comments: 22 pages
MSC Class: 16W30
-
arXiv:math/0409599 [pdf, ps, other]
Yetter-Drinfeld modules over weak Hopf algebras and the center construction
Abstract: 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 fortior… ▽ More
Submitted 1 April, 2005; v1 submitted 30 September, 2004; originally announced September 2004.
Comments: 22 pages
MSC Class: 16W30
-
arXiv:math/0408334 [pdf, ps, other]
The equivariant Brauer group of a group
Abstract: We consider the Brauer group ${\rm BM}'(k,G)$ of a group $G$ (finite or infinite) over a commutative ring $k$ with identity. A split exact sequence $$1\longrightarrow {\rm Br}'(k)\longrightarrow {\rm BM}'(k,G)\longrightarrow {\rm Gal}(k,G) \longrightarrow 1$$ is obtained. This generalizes the Fröhlich-Wall exact sequence from the case of a field to the case of a commutative ring, and generalizes… ▽ More
Submitted 24 August, 2004; originally announced August 2004.
Comments: 13 pages
MSC Class: 16A16
-
arXiv:math/0407510 [pdf, ps, other]
Doi-Hopf modules and Yetter-Drinfeld modules for quasi-Hopf algebras
Abstract: For a quasi-Hopf algebra $H$, a left $H$-comodule algebra $\mf{B}$ and a right $H$-module coalgebra $C$ we will characterize the category of Doi-Hopf modules ${}^C{\cal M}(H)_{\mf{B}}$ in terms of modules. We will also show that for an $H$-bicomodule algebra $\mb{A}$ and an $H$-bimodule coalgebra $C$ the category of generalized Yetter-Drinfeld modules ${}_{\mb{A}}{\cal YD}(H)^C$ is isomorphic to… ▽ More
Submitted 29 July, 2004; originally announced July 2004.
Comments: 31 pages
MSC Class: 16W30
-
arXiv:math/0406436 [pdf, ps, other]
Galois theory for comatrix corings: descent theory, Morita theory, Frobenius and separability properties
Abstract: El Kaoutit and Gómez Torrecillas introduced comatrix corings, generalizing Sweedler's canonical coring, and proved a new version of the Faithfully Flat Descent Theorem. They also introduced Galois corings, as corings isomorphic to a comatrix coring. In this paper, we further investigate this theory. We prove a new version of the Joyal-Tierney Descent Theorem, and generalize the Galois Coring Str… ▽ More
Submitted 19 October, 2004; v1 submitted 22 June, 2004; originally announced June 2004.
Comments: 42 pages
MSC Class: 16W30
-
arXiv:math/0406187 [pdf, ps, other]
Galois corings applied to partial Galois theory
Abstract: Partial Galois extensions were recently introduced by Dokuchaev, Ferrero and Paques. We introduce partial Galois extensions for noncommutative rings, using the theory of Galois corings. We associate a Morita context to a partial action on a ring.
Submitted 9 June, 2004; originally announced June 2004.
Comments: 14 pages
MSC Class: 16W30
-
arXiv:math/0406186 [pdf, ps, other]
Galois theory for weak Hopf algebras
Abstract: We develop Hopf-Galois theory for weak Hopf algebras, and recover analogs of classical results for Hopf algebras. Our methods are based on the recently introduced Galois theory for corings. We focus on the situatation where the weak Hopf algebra is a groupoid algebra or its dual. We obtain weak versions of strongly graded rings, and classical Galois extensions.
Submitted 9 June, 2004; originally announced June 2004.
Comments: 24 pages
MSC Class: 16W30
-
arXiv:math/0311381 [pdf, ps, other]
More properties of Yetter-Drinfeld modules over quasi-Hopf algebras
Abstract: We generalize various properties of Yetter-Drinfeld modules over Hopf algebras to quasi-Hopf algebras. The dual of a finite dimensional Yetter-Drinfeld module is again a Yetter-Drinfeld module. The algebra $H_0$ in the category of Yetter-Drinfeld modules that can be obtained by modifying the multiplication in a proper way is quantum commutative. We give a Structure Theorem for Hopf modules in th… ▽ More
Submitted 21 November, 2003; originally announced November 2003.
Comments: 22 pages
MSC Class: 16W30
-
arXiv:math/0311379 [pdf, ps, other]
Yetter-Drinfeld categories for quasi-Hopf algebras
Abstract: We show that all possible categories of Yetter-Drinfeld modules over a quasi-Hopf algebra $H$ are isomorphic. We prove also that the category $\yd^{\rm fd}$ of finite dimensional left Yetter-Drinfeld modules is rigid and then we compute explicitly the canonical isomorphisms in $\yd^{\rm fd}$. Finally, we show that certain duals of $H_0$, the braided Hopf algebra introduced in \cite{bn,bpv}, are… ▽ More
Submitted 30 June, 2004; v1 submitted 21 November, 2003; originally announced November 2003.
Comments: 29 pages
MSC Class: 16W30
-
arXiv:math/0311378 [pdf, ps, other]
Naturally full functors in nature
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
Submitted 20 July, 2004; v1 submitted 21 November, 2003; originally announced November 2003.
Comments: 27 pages
MSC Class: 16W30
-
arXiv:math/0311377 [pdf, ps, other]
Galois corings from the descent theory point of view
Abstract: We introduce Galois corings, and give a survey of properties that have been obtained so far. The Definition is motivated using descent theory, and we show that classical Galois theory, Hopf-Galois theory and coalgebra Galois theory can be obtained as a special case.
Submitted 21 November, 2003; originally announced November 2003.
Comments: 23 pages
MSC Class: 16W30
-
arXiv:math/0211430 [pdf, ps, other]
Two-sided (two-cosided) Hopf modules and Doi-Hopf modules for quasi-Hopf algebras
Abstract: Let $H$ be a finite dimensional quasi-Hopf algebra over a field $k$ and ${\mathfrak A}$ a right $H$-comodule algebra in the sense of Hausser and Nill. We first show that on the $k$-vector space ${\mathfrak A}\ot H^*$ we can define an algebra structure, denoted by ${\mathfrak A}\ovsm H^*$, in the monoidal category of left $H$-modules (i.e. ${\mathfrak A}\ovsm H^*$ is an $H$-module algebra. Then w… ▽ More
Submitted 27 November, 2002; originally announced November 2002.
Comments: 31 pages
MSC Class: 16W30
-
arXiv:math/0210461 [pdf, ps, other]
Semisimplicity of the categories of Yetter-Drinfeld modules and Long dimodules
Abstract: Let $k$ be a field, and $H$ a Hopf algebra with bijective antipode. If $H$ is commutative, noetherian, semisimple and cosemisimple, then the category ${}_{H}{\mathcal {YD}}^H$ of Yetter-Drinfeld modules is semisimple. We also prove a similar statement for the category of Long dimodules, without the assumption that $H$ is commutative.
Submitted 30 October, 2002; originally announced October 2002.
Comments: 13 pages
MSC Class: 16W30
-
arXiv:math/0210460 [pdf, ps, other]
Twistings, crossed coproducts and Hopf-Galois coextensions
Abstract: Let $H$ be a Hopf algebra. Ju and Cai introduced the notion of twisting of an $H$-module coalgebra. In this note, we study the relationship between twistings, crossed coproducts and Hopf-Galois coextensions. In particular, we show that a twisting of an $H$-Galois coextension remains $H$-Galois if the twisting is invertible.
Submitted 30 October, 2002; originally announced October 2002.
Comments: 20 pages
MSC Class: 16W30
-
arXiv:math/0210288 [pdf, ps, other]
Projectivity of a relative Hopf module over the subring of coinvariants
Abstract: Let $k$ be a commutative ring, $H$ a faithfully flat Hopf algebra with bijective antipode, $A$ a $k$-flat right $H$-comodule algebra. We investigate when a relative Hopf module is projective over the subring of coinvariants $B=A^{{\rm co}H}$, and we study the semisimplicity of the category of relative Hopf modules.
Submitted 18 October, 2002; originally announced October 2002.
Comments: 15 pages
MSC Class: 16W30
-
arXiv:math/0209063 [pdf, ps, other]
On good filtration dimensions for standardly stratified algebras
Abstract: $\nabla$-good filtration dimensions of modules and of algebras are introduced by Parker for quasi-hereditary algebras. These concepts are now generalized to the setting of standardly stratified algebras. Let $A$ be a standardly stratified algebra. The $\bar{\nabla}$-good filtration dimension of $A$ is proved to be the projective dimension of the characteristic module of $A$. Several characteriza… ▽ More
Submitted 21 November, 2003; v1 submitted 6 September, 2002; originally announced September 2002.
Comments: 12 pages
MSC Class: 16E10; 16G20; 18G20
-
arXiv:math/0207077 [pdf, ps, other]
Separable bimodules and approximation
Abstract: Using approximations, we give several characterizations of separability of bimodules. We also discuss how separability properties can be used to transfer some representation theoretic properties from one ring to another one: contravariant finiteness of the subcategory of (finitely generated) left modules with finite projective dimension, finitistic dimension, finite representation type, Auslande… ▽ More
Submitted 9 July, 2002; originally announced July 2002.
Comments: 14 pages
MSC Class: 16G60; 16D20
-
arXiv:math/0206198 [pdf, ps, other]
Morita Theory for corings and cleft entwining structures
Abstract: Using the theory of corings, we generalize and unify Morita contexts introduced by Chase and Sweedler, Doi, and Cohen, Fischman and Montgomery. We discuss when the contexts are strict. We apply our theory corings arising from entwining structures, and this leads us to the notion of cleft entwining structure.
Submitted 19 June, 2002; originally announced June 2002.
Comments: 27 pages
MSC Class: 16W30
-
arXiv:math/0112226 [pdf, ps, other]
Maschke functors, semisimple functors and separable functors of the second kind. Applications
Abstract: We introduce separable functors of the second kind (or $H$-separable functors) and $H$-Maschke functors. $H$-separable functors are generalizations of separable functors. Various necessary and sufficient conditions for a functor to be $H$-separable or $H$-Maschke, in terms of generalized (co)Casimir elements (integrals, in the case of Hopf algebras), are given. An $H$-separable functor is always… ▽ More
Submitted 20 December, 2001; originally announced December 2001.
Comments: 23 pages
MSC Class: 16W30; 16B50