arXiv subjects

S. Caenepeel

Publications and source records attributed to S. Caenepeel.

58 records · Page 4Linked to original sources

arXiv2000

Frobenius and Mashke type Theorems for Doi-Hopf modules and entwined modules revisited: a unified approach

We study when induction functors (and their adjoints) between categories of Doi-Hopf modules and, more generally, entwined modules are separable, resp. Frobenius. We present a unified approach, leading to new proofs of old results by the authors, as well as to some new ones. Also our methods provide a categorical explanation for the relationship between separability and Frobenius properties.

math.RA↗

arXiv1999

The structure of Frobenius algebras and separable algebras

We present a unified apoach to the study of separable and Frobenius algebras. The crucial observation is thsat both cases are related to the nonlinear equation $R^{12}R^{23}=R^{23}R^{13}=R^{13}R^{12}$, called the FS-equation. Given a solution of the FS-equation satisfying certain normalizing conditions, we can construct a Frobenius algebra or a separable algebra A(R). The main result of this paper in the structure of this two fundamental types of algebras: a finitely generated projective Frobenius or separable $k$-algebra $A$ is isomorphic to such A(R). If $A$ is free as a $k$-module, then A(R) can be described using generators and relations. A new characterisation of Frobenius extensions is given: $B\subset A$ is Frobenius if and only if $A$ has a $B$-coring structure such that the comultiplication $Δ$ is an $A$-bimodule map.

math.QA↗

arXiv1999

Factorisation structures of algebras and coalgebras

We consider the factorisation problem for bialgebras: when a bialgebra $K$ factorises as $K=HL$, where $H$ and $L$ are algebras and coalgebras (but not necessarly bialgebras). Given two maps $R: H\ot L\to L\ot H$ and $W:L\ot H\to H\ot L$, we introduce a product $L_W\bowtie_R H$ and give necessary and sufficient conditions for $L_W\bowtie_R H$ to be a bialgebra. It turns out that $K$ factorises as $K=HL$ if and only if $K\cong L_W\bowtie_R H$ for some maps $R$ and $W$. As examples of this product we recover constructions introduced by Majid and Radford. Also, some of the pointed Hopf algebras that were recently constructed bu Beattie, D\u asc\u alescu and Grünenfelder appear as special cases.

math.QA↗

arXiv1998

Separable functors for Doi-Hopf modules. Applications

There are theorems in the literature which are referred as Maschke type theorems, because of the attempt to generalize Maschke's classical theorem. Our remark is that all these theorems are in fact providing sufficient conditions for the separability of a certain forgetful functor. But, unlike classical Maschke's theorem, where the sufficient condition is also necessary, none of these theorems gives any necessary condition for the separability of the forgeful functor in question. Our job is to find a necessary and sufficient condition for the separability of the forgetful functor from the category of Doi-Hopf modules forgetting the comodule structure. As in the classical case, this functor is separable iff exists a certain "integral map" with a normalizing property. As particular cases, improved versions of "Maschke type" theorems are given. Other various applications are given. For example, keeping in mind that the category of Yetter-Drinfel'd modules is also a category of Doi-Hopf modules, we obtain the notion of quantum integral. For H a finite dimensional Hopf algebra, the existence of such a quantum integral is a necessary and sufficient condition for the Drinfel'd double to be a separable extension of H.

math.QA↗