Skip to main content

Showing 1–50 of 59 results for author: Caenepeel, S

.
  1. arXiv:1805.04931  [pdf, ps, other

    math.RA

    On the cohomology of comodules over smash coproducts

    Authors: S. Caenepeel, T. Guédénon

    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

  2. arXiv:1702.01337  [pdf, ps, other

    math.RA math.CT

    Descent and Galois theory for Hopf categories

    Authors: S. Caenepeel, T. Fieremans

    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

  3. arXiv:1612.09540  [pdf, ps, other

    math.CT

    Frobenius and separable functors for the category of entwined modules over cowreaths, I: General theory

    Authors: D. Bulacu, S. Caenepeel, B. Torrecillas

    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

  4. arXiv:1503.05447  [pdf, ps, other

    math.QA

    Hopf Categories

    Authors: E. Batista, S. Caenepeel, J. Vercruysse

    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

  5. arXiv:1302.5626  [pdf, ps, other

    math.RA math.QA

    Monoidal ring and coring structures obtained from wreaths and cowreaths

    Authors: D. Bulacu, S. Caenepeel

    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

  6. arXiv:1210.8052  [pdf, ps, other

    math.QA math.CT

    The uniqueness of braidings on the monoidal category of non-commutative descent data

    Authors: A. L. Agore, S. Caenepeel, G. Militaru

    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

  7. arXiv:1202.2441  [pdf, ps, other

    math.RA

    Stable equivalence of Morita type and Frobenius extensions

    Authors: M. Beattie, S. Caenepeel, S. Raianu

    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

  8. arXiv:1109.3044  [pdf, ps, other

    math.RA

    Comodules over semiperfect corings

    Authors: S. Caenepeel, M. Iovanov

    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

  9. arXiv:1109.1947  [pdf, ps, other

    math.QA

    On cross product Hopf algebras

    Authors: D. Bulacu, S. Caenepeel, B. Torrecillas

    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

  10. arXiv:1108.3176  [pdf, ps, other

    math.QA math.RA

    The center of the category of bimodules and descent data for non-commutative rings

    Authors: A. L. Agore, S. Caenepeel, G. Militaru

    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

  11. Braidings on the category of bimodules, Azumaya algebras and epimorphisms of rings

    Authors: A. L. Agore, S. Caenepeel, G. Militaru

    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

  12. arXiv:1103.2263  [pdf, ps, other

    math.QA

    On integrals and cointegrals for quasi-Hopf algebras

    Authors: D. Bulacu, S. Caenepeel

    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

  13. arXiv:1103.2261  [pdf, ps, other

    math.QA

    Weak bialgebras and monoidal categories

    Authors: G. Böhm, S. Caenepeel, K. Janssen

    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

  14. arXiv:1011.4802  [pdf, ps, other

    math.CT

    A monoidal structure on the category of relative Hopf modules

    Authors: D. Bulacu, S. Caenepeel

    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

  15. arXiv:1011.0886  [pdf, ps, other

    math.RA

    Algebras graded by discrete Doi-Hopf data and the Drinfeld double of a Hopf group-coalgebra

    Authors: D. Bulacu, S. Caenepeel

    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

  16. arXiv:1004.5235  [pdf, ps, other

    math.RA

    Hopf-Galois extensions and isomorphisms of small categories

    Authors: S. Caenepeel

    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

  17. arXiv:0912.0679  [pdf, ps, other

    math.QA math.RA

    The braided monoidal structures on the category of vector spaces graded by the Klein group

    Authors: D. Bulacu, S. Caenepeel, B. Torrecillas

    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

  18. Monoidal Hom-Hopf algebras

    Authors: S. Caenepeel, I. Goyvaerts

    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

  19. arXiv:0812.1691  [pdf, ps, other

    math.RA

    Hopf-Galois extensions and an exact sequence for $H$-Picard groups

    Authors: S. Caenepeel, A. Marcus

    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

  20. arXiv:0812.1685  [pdf, ps, other

    math.RA

    Strong group coalgebras

    Authors: S. Caenepeel, K. Janssen

    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

  21. arXiv:0812.1674  [pdf, ps, other

    math.CT

    Monadic approach to Galois descent and cohomology

    Authors: F. Borceux, S. Caenepeel, G. Janelidze

    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

  22. arXiv:0704.3036  [pdf, ps, other

    math.QA

    Involutory quasi-Hopf algebras

    Authors: D. Bulacu, S. Caenepeel, B. Torrecillas

    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

  23. arXiv:math/0701931  [pdf, ps, other

    math.RA

    Group corings

    Authors: S. Caenepeel, K. Janssen, S. H. Wang

    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

  24. arXiv:math/0610524  [pdf, ps, other

    math.RA math.QA

    Partial (co)actions of Hopf algebras and partial Hopf-Galois theory

    Authors: S. Caenepeel, K. Janssen

    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

  25. arXiv:math/0608572  [pdf, ps, other

    math.RA

    Morita equivalences induced by bimodules over Hopf-Galois extensions

    Authors: S. Caenepeel, S. Crivei, A. Marcus, M. Takeuchi

    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

  26. arXiv:math/0511609  [pdf, ps, other

    math.RA

    Constructing infinite Comatrix Corings from colimits

    Authors: S. Caenepeel, E. De Groot, J. Vercruysse

    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

  27. arXiv:math/0505686  [pdf, ps, other

    math.RA

    The Brauer group of Azumaya corings and the second cohomology group

    Authors: S. Caenepeel, B. Femic

    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

  28. arXiv:math/0504427  [pdf, ps, other

    math.RA math.QA

    Duality for finite Hopf algebras explained by corings

    Authors: S. Caenepeel, D. Quinn, S. Raianu

    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

  29. arXiv:math/0503687  [pdf, ps, other

    math.RA

    On the cohomology of relative Hopf modules

    Authors: S. Caenepeel, T. Guédénon

    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

  30. arXiv:math/0503686  [pdf, ps, other

    math.RA

    Fully bounded noetherian rings and Frobenius extensions

    Authors: S. Caenepeel, T. Guédénon

    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

  31. arXiv:math/0410209  [pdf, ps, other

    math.RA

    The relative Picard group of a comodule algebra and Harrison cohomology

    Authors: S. Caenepeel, T. Guedenon

    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

  32. arXiv:math/0409600  [pdf, ps, other

    math.QA math.RA

    A categorical approach to Turaev's Hopf group-coalgebras

    Authors: S. Caenepeel, M. De Lombaerde

    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

  33. arXiv:math/0409599  [pdf, ps, other

    math.QA math.RA

    Yetter-Drinfeld modules over weak Hopf algebras and the center construction

    Authors: S. Caenepeel, Dingguo Wang, Yanmin Yin

    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

  34. arXiv:math/0408334  [pdf, ps, other

    math.RA

    The equivariant Brauer group of a group

    Authors: S. Caenepeel, F. Van Oystaeyen, Y. H. Zhang

    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

  35. arXiv:math/0407510  [pdf, ps, other

    math.QA math.RA

    Doi-Hopf modules and Yetter-Drinfeld modules for quasi-Hopf algebras

    Authors: D. Bulacu, S. Caenepeel, B. Torrecillas

    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

  36. arXiv:math/0406436  [pdf, ps, other

    math.RA math.QA

    Galois theory for comatrix corings: descent theory, Morita theory, Frobenius and separability properties

    Authors: S. Caenepeel, E. De Groot, J. Vercruysse

    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

  37. arXiv:math/0406187  [pdf, ps, other

    math.RA

    Galois corings applied to partial Galois theory

    Authors: S. Caenepeel, E. De Groot

    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

  38. arXiv:math/0406186  [pdf, ps, other

    math.RA

    Galois theory for weak Hopf algebras

    Authors: S. Caenepeel, E. De Groot

    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

  39. arXiv:math/0311381  [pdf, ps, other

    math.QA

    More properties of Yetter-Drinfeld modules over quasi-Hopf algebras

    Authors: D. Bulacu, S. Caenepeel, F. Panaite

    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

  40. arXiv:math/0311379  [pdf, ps, other

    math.QA

    Yetter-Drinfeld categories for quasi-Hopf algebras

    Authors: D. Bulacu, S. Caenepeel, F. Panaite

    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

  41. arXiv:math/0311378  [pdf, ps, other

    math.RA

    Naturally full functors in nature

    Authors: A. Ardizzoni, S. Caenepeel, C. Menini, G. Militaru

    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

  42. arXiv:math/0311377  [pdf, ps, other

    math.RA

    Galois corings from the descent theory point of view

    Authors: S. Caenepeel

    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

  43. arXiv:math/0211430  [pdf, ps, other

    math.QA math.RA

    Two-sided (two-cosided) Hopf modules and Doi-Hopf modules for quasi-Hopf algebras

    Authors: D. Bulacu, S. Caenepeel

    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

  44. arXiv:math/0210461  [pdf, ps, other

    math.QA math.RA

    Semisimplicity of the categories of Yetter-Drinfeld modules and Long dimodules

    Authors: S. Caenepeel, T. Guédénon

    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

  45. arXiv:math/0210460  [pdf, ps, other

    math.QA math.RA

    Twistings, crossed coproducts and Hopf-Galois coextensions

    Authors: S. Caenepeel, Dingguo Wang, Yanxin Wang

    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

  46. arXiv:math/0210288  [pdf, ps, other

    math.QA math.RA

    Projectivity of a relative Hopf module over the subring of coinvariants

    Authors: S. Caenepeel, T. Guédeénon

    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

  47. arXiv:math/0209063  [pdf, ps, other

    math.RA

    On good filtration dimensions for standardly stratified algebras

    Authors: Bin Zhu, S. Caenepeel

    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

  48. arXiv:math/0207077  [pdf, ps, other

    math.RA

    Separable bimodules and approximation

    Authors: S. Caenepeel, Bin Zhu

    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

  49. arXiv:math/0206198  [pdf, ps, other

    math.RA math.QA

    Morita Theory for corings and cleft entwining structures

    Authors: S. Caenepeel, J. Vercruysse, Shuanhong Wang

    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

  50. arXiv:math/0112226  [pdf, ps, other

    math.RA

    Maschke functors, semisimple functors and separable functors of the second kind. Applications

    Authors: S. Caenepeel, G. Militaru

    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