Searcharxiv⌕ Search

arXiv subjects

S. Caenepeel

Publications and source records attributed to S. Caenepeel.

At least 37 records · Page 2Linked to original sources
arXiv2009

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

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 structures we will compute the explicit form of the abelian 3-cocycles on $C_2\times C_2$ with coefficients in $k^*$. In particular, this will allow us to produce examples of quasi-Hopf algebras and weak braided Hopf algebras, out of the vector space $k[C_2\times C_2]$.

math.QA↗
arXiv2008

Involutory quasi-Hopf algebras

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.

math.QA↗
arXiv2008

Monadic approach to Galois descent and cohomology

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 descent makes no reference to Grothendieck descent theory at all. In order to make Galois descent constructions perfectly clear, we also describe their connections with some other related constructions of categorical algebra, and make various explicit calculations, especially with 1-cocycles and 1-dimensional non-abelian cohomology, usually omitted in the literature.

math.CT↗
arXiv2008

Strong group coalgebras

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.

math.RA↗
arXiv2008

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

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.

math.RA↗
arXiv2007

Group corings

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 comodule algebra over a Hopf group coalgebra.

math.RA↗
arXiv2006

Constructing infinite Comatrix Corings from colimits

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.

math.RA↗
arXiv2006

Fully bounded noetherian rings and Frobenius extensions

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 $A$-ring, and the condition on the trace can be replaced by a weaker condition. We recover results of Garc\'ıa and del R\'ıo and by Dǎscǎlescu, Kelarev and Torrecillas on actions of group and Hopf algebras on FBN rings as special cases. We also obtain applications to extensions of Frobenius algebras, and to Frobenius corings with a grouplike element.

math.RA↗
arXiv2005

The Brauer group of Azumaya corings and the second cohomology group

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 isomorphic to the second flat cohomology group. We also give algebraic interpretations of the second Amitsur cohomology group and the first Villamayor-Zelinsky cohomology group in terms of corings.

math.RA↗
arXiv2005

Duality for finite Hopf algebras explained by corings

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.

math.RA↗
arXiv2005

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

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 that the category of Yetter-Drinfeld modules is isomorphic to the category of modules over the Drinfeld double.

math.QA↗
arXiv2005

On the cohomology of relative Hopf modules

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 injectives.

math.RA↗
arXiv2005

Frobenius Functors of the second kind

A pair of adjoint functors $(F,G)$ is called a Frobenius pair of the second type if $G$ is a left adjoint of $βFα$ for some category equivalences $α$ and $β$. Frobenius ring extensions of the second kind provide examples of Frobenius pairs of the second kind. We study Frobenius pairs of the second kind between categories of modules, comodules, and comodules over a coring. We also show that a finitely generated projective Hopf algebra over a commutative ring is always a Frobenius extension of the second kind, and prove that the integral spaces of the Hopf algebra and its dual are isomorphic.

math.RA↗
arXiv2004

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

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 Structure Theorem. We associate a Morita context to a coring with a fixed comodule, and relate it to Galois-type properties of the coring. An affineness criterion is proved in the situation where the coring is coseparable. Further properties of the Morita context are studied in the situation where the coring is (co)Frobenius.

math.RA↗
arXiv2004

The relative Picard group of a comodule algebra and Harrison cohomology

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 corollary. The part of the Picard group of the coinvariants that becomes trivial after base extension embeds in the Harrison cohomology group, and the image is contained in a well-defined subgroup $E$. It equals $E$ if $H$ is a cosemisimple Hopf algebra over a field.

math.RA↗
arXiv2004

A categorical approach to Turaev's Hopf group-coalgebras

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 Hopf group-coalgebras using the center construction.

math.QA↗
arXiv2004

The equivariant Brauer group of a group

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 the Picco-Platzeck exact sequence from the finite case of $G$ to the infinite case of $G$. Here ${\rm Br}'(k)$ is the Brauer-Taylor group of Azumaya algebras (not necessarily with unit). The method developed in this paper might provide a key to computing the equivariant Brauer group of an infinite quantum group.

math.RA↗