arXiv subjects

S. Caenepeel

Publications and source records attributed to S. Caenepeel.

At least 19 recordsLinked to original sources

arXiv2018

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

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 of the category is a $\otimes$-generator.

math.CT↗

arXiv2018

On the cohomology of comodules over smash coproducts

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.

math.RA↗

arXiv2017

Descent and Galois theory for Hopf categories

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, is developed. This leads to the notion of Hopf-Galois category extension. We have a dual theory, where actions by dual linear Hopf categories on linear categories are considered. Hopf-Galois category extensions over groupoid algebras correspond to strongly graded linear categories.

math.RA↗

arXiv2016

Hopf Categories

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.

math.QA↗

arXiv2013

Monoidal Hom-Hopf algebras

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.

math.RA↗

arXiv2013

Monoidal ring and coring structures obtained from wreaths and cowreaths

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 representations over the induced wreath product. The coring structures are in bijective correspondence to cowreaths in $\Cc$, and their category of corepresentations is the category of generalized entwined modules. We present several examples coming from (co)actions of Hopf algebras and their generalizations. Various notions of smash products that have appeared in the literature appear as special cases of our construction.

math.RA↗

arXiv2012

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

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 $E : A \to Z(A)$. This condition is satisfied if $k$ is a field or $A$ is a commutative or a separable algebra.

math.QA↗

arXiv2012

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

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 rings, and then the corresponding $R$-matrix is trivial. If the invariants functor $G = (-)^A:\{}_A\Mm_A\to \Mm_k$ is separable, then $A$ admits a canonical R-matrix; in particular, any Azumaya algebra admits a canonical R-matrix. Working over a field, we find a remarkable new characterization of central simple algebras: these are precisely the finite dimensional algebras that admit a canonical R-matrix. Canonical R-matrices give rise to a new class of examples of simultaneous solutions for the quantum Yang-Baxter equation and the braid equation.

math.QA↗

arXiv2012

Stable equivalence of Morita type and Frobenius extensions

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 question of Alex Dugas about the existence of a $Γ$-coring structure on $Δ$. We do this by showing that $Δ$ is a Frobenius extension of $Γ$.

math.RA↗

arXiv2011

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

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 geometry. All six isomorphic categories are braided monoidal categories: in particular, the category of comodules over the Sweedler canonical $A$-coring $A \ot A$ is braided monoidal. We provide several applications: for instance, if $A$ is finitely generated projective over $k$ then the category of left End_k(A)$-modules is braided monoidal and we give an explicit description of the braiding in terms of the finite dual basis of $A$. As another application, new families of solutions for the quantum Yang-Baxter equation are constructed: they are canonical maps $Ω$ associated to any right comodule over the Sweedler canonical coring $A \ot A$ and satisfy the condition $Ω^3 = Ω$. Explicit examples are provided.

math.QA↗

arXiv2011

Weak bialgebras and monoidal categories

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.

math.QA↗

arXiv2011

On integrals and cointegrals for quasi-Hopf algebras

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.

math.QA↗

arXiv2011

Comodules over semiperfect corings

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.

math.RA↗

arXiv2011

On cross product Hopf algebras

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)product, a biproduct, or, more generally, a smash (co)product Hopf algebra. In each of these cases, we provide an explicit description of the associated Hopf algebra projection.

math.QA↗

arXiv2010

A monoidal structure on the category of relative Hopf modules

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 bialgebra in the category of left Yetter-Drinfeld modules over $B$. Some examples are given.

math.CT↗

arXiv2010

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

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. This is applied to the category of Yetter-Drinfeld modules over a Hopf group coalgebra, leading to the construction of the Drinfeld double. It is shown that this Drinfeld double is a quasitriangular graded Hopf algebra.

math.RA↗

arXiv2010

Hopf-Galois extensions and isomorphisms of small categories

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.

math.RA↗

arXiv2009

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

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}$.

math.RA↗