Showing 1–47 of 47 results for author: Vercruysse, J

The Hopf category of Frobenius algebras

Authors: Paul Großkopf, Joost Vercruysse

Abstract: We show that the universal measuring coalgebras between Frobenius algebras turn the category of Frobenius algebras into a Hopf category (in the sense of Batista-Caenepeel-Vercruysse), and the universal comeasuring algebras between Frobenius algebras turn the category Frobenius algebras into a Hopf opcategory. We also discuss duality and compatibility results between these structures. Our theory… ▽ More We show that the universal measuring coalgebras between Frobenius algebras turn the category of Frobenius algebras into a Hopf category (in the sense of Batista-Caenepeel-Vercruysse), and the universal comeasuring algebras between Frobenius algebras turn the category Frobenius algebras into a Hopf opcategory. We also discuss duality and compatibility results between these structures. Our theory vastly generalizes the well-known fact that any homomorphism beween Frobenius algebras is an isomorphism, but also allows to go beyond classical (iso)morphisms between Frobenius algebras, especially in finite characteristic, as we show by some explicit examples. The paper is concluded with some open questions and considerations about Topological Quantum Field Theories. △ Less

Submitted 11 July, 2024; v1 submitted 26 June, 2024; originally announced June 2024.

Comments: v1: 43 pages. Comments are welcome. v2: 42 pages. No essential changes, but several small corrections and improvements compared to previous (draft) version

Dualities for universal (co)acting Hopf monoids

Authors: Ana Agore, Alexey Gordienko, Joost Vercruysse

Abstract: In general, universal (co)measuring (co)monoids and universal (co)acting bi/Hopf monoids, which prove to be a useful tool in the classification of quantum symmetries, do not always exist. In order to ensure their existence, the support of a given object was recently introduced in \cite{AGV3} and used to restrict the class of objects considered when defining universal (co)acting objects. It is well… ▽ More In general, universal (co)measuring (co)monoids and universal (co)acting bi/Hopf monoids, which prove to be a useful tool in the classification of quantum symmetries, do not always exist. In order to ensure their existence, the support of a given object was recently introduced in \cite{AGV3} and used to restrict the class of objects considered when defining universal (co)acting objects. It is well-known that, in contrast with the universal coacting Hopf algebra, for actions on algebras over a field it is usually difficult to describe the universal acting Hopf algebra explicitly and this turns the duality theorem into an important investigation tool. In the present paper we establish duality results for universal (co)measuring (co)monoids and universal (co)acting bi/Hopf monoids in pre-rigid braided monoidal categories $\mathcal C$. In addition, when the base category $\mathcal C$ is closed monoidal, we provide a convenient uniform approach to the aforementioned universal objects in terms of the cosupports, which in this case become subobjects of internal hom-objects. In order to explain our constructions, we use the language of locally initial objects. Known results from the literature are recovered when the base category is the category of vector spaces over a field. New cases where our results can be applied are explored, including categories of (co)modules over (co)quasitriangular Hopf algebras, Yetter-Drinfeld modules and dg-vector spaces. △ Less

Submitted 25 June, 2024; originally announced June 2024.

Comments: 49 pages

Lifting of locally initial objects and universal (co)acting Hopf algebras

Authors: Ana Agore, Alexey Gordienko, Joost Vercruysse

Abstract: The universal (co)acting bi/Hopf algebras introduced by Yu.\,I.~Manin, M.~Sweedler and D.~Tambara, the universal Hopf algebra of a given (co)module structure, as well as the universal group of a grading, introduced by J.~Patera and H.~Zassenhaus, find their applications in the classification of quantum symmetries. Typically, universal (co)acting objects are defined as initial or terminal in the co… ▽ More The universal (co)acting bi/Hopf algebras introduced by Yu.\,I.~Manin, M.~Sweedler and D.~Tambara, the universal Hopf algebra of a given (co)module structure, as well as the universal group of a grading, introduced by J.~Patera and H.~Zassenhaus, find their applications in the classification of quantum symmetries. Typically, universal (co)acting objects are defined as initial or terminal in the corresponding categories and, as such, they do not always exist. In order to ensure their existence, we introduce the support of a given object, which generalizes the support of a grading and is used to restrict the class of objects under consideration. The existence problems for universal objects are formulated and studied in a purely categorical manner by seeing them as particular cases of the lifting problem for a locally initial object. We prove the existence of a lifting and, consequently, of the universal (co)acting objects under some assumptions on the base (braided or symmetric monoidal) category. In contrast to existing constructions, our approach is self-dual in the sense that we can use the same proof to obtain the existence of universal actions and coactions. In particular, when the base category is the category of vector spaces over a field, the category of sets or their duals, we recover known existence results for the aforementioned universal objects. The proposed approach allows us to apply our results not only to the classical categories of sets and vectors spaces and their duals but also to (co)modules over bi/Hopf algebras, differential graded vector spaces, $G$-sets and graded sets. △ Less

Submitted 25 June, 2024; originally announced June 2024.

Comments: 49 pages

Correspondence theorems for infinite Hopf-Galois extensions

Authors: Hoan-Phung Bui, Joost Vercruysse, Gabor Wiese

Abstract: This paper extends Hopf-Galois theory to infinite field extensions and provides a natural definition of subextensions. For separable (possibly infinite) Hopf-Galois extensions, it provides a Galois correspondence. This correspondence also is a refinement of what was known in the case of finite separable Hopf-Galois extensions. This paper extends Hopf-Galois theory to infinite field extensions and provides a natural definition of subextensions. For separable (possibly infinite) Hopf-Galois extensions, it provides a Galois correspondence. This correspondence also is a refinement of what was known in the case of finite separable Hopf-Galois extensions. △ Less

Submitted 10 April, 2024; originally announced April 2024.

Comments: 37 pages

MSC Class: 12F10; 20E18; 16S40; 16T05

Towards a classification of simple partial comodules of Hopf algebras

Authors: Eliezer Batista, William Hautekiet, Paolo Saracco, Joost Vercruysse

Abstract: Making the first steps towards a classification of simple partial comodules, we give a general construction for partial comodules of a Hopf algebra \(H\) using central idempotents in right coideal subalgebras and show that any \(1\)-dimensional partial comodule is of that form. We conjecture that in fact all finite-dimensional simple partial \(H\)-comodules arise this way. For \(H = kG\) for some… ▽ More Making the first steps towards a classification of simple partial comodules, we give a general construction for partial comodules of a Hopf algebra \(H\) using central idempotents in right coideal subalgebras and show that any \(1\)-dimensional partial comodule is of that form. We conjecture that in fact all finite-dimensional simple partial \(H\)-comodules arise this way. For \(H = kG\) for some finite group \(G\), we give conditions for the constructed partial comodule to be simple, and we determine when two of them are isomorphic. If \(H = kG^*,\) then our construction recovers the work of M. Dokuchaev and N. Zhukavets. We also study the partial modules and comodules of the non-commutative non-cocommutative Kac-Paljutkin algebra \(\mathcal{A}\). △ Less

Submitted 19 October, 2023; originally announced October 2023.

MSC Class: 16T05; 16T15; 16D60

Everybody knows what a normal gabi-algebra is

Authors: Johannes Berger, Paolo Saracco, Joost Vercruysse

Abstract: Let A be a k-algebra over a commutative ring k. By the renowned Tannaka-Krein reconstruction, liftings of the monoidal structure from k-modules to A-modules correspond to bialgebra structures on A and liftings of the closed monoidal structure correspond to Hopf algebra structures on A. In this paper, we determine conditions on A that correspond to liftings of the closed structure alone, i.e. witho… ▽ More Let A be a k-algebra over a commutative ring k. By the renowned Tannaka-Krein reconstruction, liftings of the monoidal structure from k-modules to A-modules correspond to bialgebra structures on A and liftings of the closed monoidal structure correspond to Hopf algebra structures on A. In this paper, we determine conditions on A that correspond to liftings of the closed structure alone, i.e. without considering the monoidal one, which lead to the notion of what we call a gabi-algebra. First, we tackle the question from the general perspective of monads, then we focus on the set-theoretic and the linear setting. Our main and most surprising result is that a normal gabi-algebra, that is an algebra A whose category of modules is (associative and unital normal) closed with closed forgetful functor to k-modules, is automatically a Hopf algebra (thus justifying our title). △ Less

Submitted 18 August, 2023; originally announced August 2023.

Comments: 40 pages, comments are welcome

MSC Class: Primary 16T05; 16T15; 18D15; 18M05; Secondary 18D20

Free and co-free constructions for Hopf categories

Authors: Paul Großkopf, Joost Vercruysse

Abstract: We show that under mild conditions on the monoidal base category $\mathcal V$, the category ${\sf VHopf}$ of Hopf $\mathcal V$-categories is locally presentable and deduce the existence of free and cofree Hopf categories. We also provide an explicit description of the free and cofree Hopf categories over a semi-Hopf category. One of the conditions on the base category $\mathcal V$, states that end… ▽ More We show that under mild conditions on the monoidal base category $\mathcal V$, the category ${\sf VHopf}$ of Hopf $\mathcal V$-categories is locally presentable and deduce the existence of free and cofree Hopf categories. We also provide an explicit description of the free and cofree Hopf categories over a semi-Hopf category. One of the conditions on the base category $\mathcal V$, states that endofunctors obtained by tensoring with a fixed object preserve jointly monic families, which leads us to the notion of ``very flat monoidal product'', which we investigate in particular for module categories. △ Less

Submitted 29 April, 2024; v1 submitted 4 May, 2023; originally announced May 2023.

Comments: Several corrections with respect to previous version. Final version as accepted for publication in Journal of Pure and Applied Algebra

Correspondence theorems for Hopf algebroids with applications to affine groupoids

Authors: Laiachi El Kaoutit, Aryan Ghobadi, Paolo Saracco, Joost Vercruysse

Abstract: We provide a correspondence between one-sided coideal subrings and one-sided ideal two-sided coideals in an arbitrary bialgebroid. We prove that, under some expected additional conditions, this correspondence becomes bijective for Hopf algebroids. As an application, we investigate normal Hopf ideals in commutative Hopf algebroids (affine groupoid schemes) in connection with the study of normal aff… ▽ More We provide a correspondence between one-sided coideal subrings and one-sided ideal two-sided coideals in an arbitrary bialgebroid. We prove that, under some expected additional conditions, this correspondence becomes bijective for Hopf algebroids. As an application, we investigate normal Hopf ideals in commutative Hopf algebroids (affine groupoid schemes) in connection with the study of normal affine subgroupoids. △ Less

Submitted 14 November, 2022; originally announced November 2022.

Journal ref: Canad. J. Math. (2023)

A comonadicity theorem for partial comodules

Authors: Eliezer Batista, William Hautekiet, Joost Vercruysse

Abstract: We show that the category of partial comodules over a Hopf algebra $H$ is comonadic over ${\sf Vect}_k$ and provide an explicit construction of this comonad using topological vector spaces. The case when $H$ is finite dimensional is treated in detail. A study of partial representations of linear algebraic groups is initiated; we show that a connected linear algebraic group does not admit partialit… ▽ More We show that the category of partial comodules over a Hopf algebra $H$ is comonadic over ${\sf Vect}_k$ and provide an explicit construction of this comonad using topological vector spaces. The case when $H$ is finite dimensional is treated in detail. A study of partial representations of linear algebraic groups is initiated; we show that a connected linear algebraic group does not admit partiality. △ Less

Submitted 17 May, 2022; originally announced May 2022.

Comments: 38 pages, comments are welcome

MSC Class: Primary 16T05; 16T15; 18C20; Secondary 16S40; 20G05; 20G42

Geometric partial comodules over flat coalgebras in Abelian categories are globalizable

Authors: Paolo Saracco, Joost Vercruysse

Abstract: The aim of this paper is to prove the statement in the title. As a by-product, we obtain new globalization results in cases never considered before, such as partial corepresentations of Hopf algebras. Moreover, we show that for partial representations of groups and Hopf algebras, our globalization coincides with those described earlier in literature. Finally, we introduce Hopf partial comodules ov… ▽ More The aim of this paper is to prove the statement in the title. As a by-product, we obtain new globalization results in cases never considered before, such as partial corepresentations of Hopf algebras. Moreover, we show that for partial representations of groups and Hopf algebras, our globalization coincides with those described earlier in literature. Finally, we introduce Hopf partial comodules over a bialgebra as geometric partial comodules in the monoidal category of (global) modules. By applying our globalization theorem we obtain an analogue of the fundamental theorem for Hopf modules in this partial setting. △ Less

Submitted 15 July, 2021; originally announced July 2021.

Comments: 33 pages, comments are welcome!

MSC Class: 16T15; 16W22; 18A40

Journal ref: J. Pure Appl. Algebra 228 (2024), no. 3, Paper No. 107502, 31 pp

On the globalization of geometric partial (co)modules in the categories of topological spaces and algebras

Authors: Paolo Saracco, Joost Vercruysse

Abstract: We study the globalization of partial actions on sets and topological spaces and of partial coactions on algebras by applying the general theory of globalization for geometric partial comodules, as previously developed by the authors. We show that this approach does not only allow to recover all known results in these settings, but it allows to treat new cases of interest, too. We study the globalization of partial actions on sets and topological spaces and of partial coactions on algebras by applying the general theory of globalization for geometric partial comodules, as previously developed by the authors. We show that this approach does not only allow to recover all known results in these settings, but it allows to treat new cases of interest, too. △ Less

Submitted 14 July, 2021; originally announced July 2021.

Comments: 16 pages, comments are welcome!

MSC Class: 16T15; 16W22; 18A40

Journal ref: Semigroup Forum (2022)

$V$-universal Hopf algebras (co)acting on $Ω$-algebras

Authors: Ana Agore, Alexey Gordienko, Joost Vercruysse

Abstract: We develop a theory which unifies the universal (co)acting bi/Hopf algebras as studied by Sweedler, Manin and Tambara with the recently introduced \cite{AGV1} bi/Hopf-algebras that are universal among all support equivalent (co)acting bi/Hopf algebras. Our approach uses vector spaces endowed with a family of linear maps between tensor powers of $A$, called $Ω$-algebras. This allows us to treat alg… ▽ More We develop a theory which unifies the universal (co)acting bi/Hopf algebras as studied by Sweedler, Manin and Tambara with the recently introduced \cite{AGV1} bi/Hopf-algebras that are universal among all support equivalent (co)acting bi/Hopf algebras. Our approach uses vector spaces endowed with a family of linear maps between tensor powers of $A$, called $Ω$-algebras. This allows us to treat algebras, coalgebras, braided vector spaces and many other structures in a unified way. We study $V$-universal measuring coalgebras and $V$-universal comeasuring algebras between $Ω$-algebras $A$ and $B$, relative to a fixed subspace $V$ of $\Vect(A,B)$. By considering the case $A=B$, we derive the notion of a $V$-universal (co)acting bialgebra (and Hopf algebra) for a given algebra $A$. In particular, this leads to a refinement of the existence conditions for the Manin--Tambara universal coacting bi/Hopf algebras. We establish an isomorphism between the $V$-universal acting bi/Hopf algebra and the finite dual of the $V$-universal coacting bi/Hopf algebra under certain conditions on $V$ in terms of the finite topology on $\End_F(A)$. △ Less

Submitted 2 September, 2023; v1 submitted 26 May, 2020; originally announced May 2020.

Comments: 31 pages; the formulation of Theorem 4.7 was clarified and minor misprints were corrected

MSC Class: Primary 16T05; Secondary 16W50; 16T05; 16T25; 16W22

Journal ref: Commun. Contemp. Math. 25 (2023), 2150095 (40 pages)

Partial and global representations of finite groups

Authors: Michele D'Adderio, William Hautekiet, Paolo Saracco, Joost Vercruysse

Abstract: Given a subgroup H of a finite group G, we begin a systematic study of the partial representations of G that restrict to global representations of H. After adapting several results from [DEP00] (which correspond to the case where H is trivial), we develop further an effective theory that allows explicit computations. As a case study, we apply our theory to the symmetric group and its subgroup of p… ▽ More Given a subgroup H of a finite group G, we begin a systematic study of the partial representations of G that restrict to global representations of H. After adapting several results from [DEP00] (which correspond to the case where H is trivial), we develop further an effective theory that allows explicit computations. As a case study, we apply our theory to the symmetric group and its subgroup of permutations fixing 1: this provides a natural extension of the classical representation theory of the symmetric group. △ Less

Submitted 19 May, 2020; originally announced May 2020.

Comments: 31 pages

MSC Class: 20C05; 20C30; 20M30

Journal ref: Algebr Represent Theor (2022)

BiHom Hopf algebras viewed as Hopf monoids

Authors: Gabriella Böhm, Joost Vercruysse

Abstract: We introduce monoidal categories whose monoidal products of any positive number of factors are lax coherent and whose nullary products are oplax coherent. We call them $\mathsf{Lax}^+\mathsf{Oplax}^0$-monoidal. Dually, we consider $\mathsf{Lax}_0\mathsf{Oplax}_+$-monoidal categories which are oplax coherent for positive numbers of factors and lax coherent for nullary monoidal products. We define… ▽ More We introduce monoidal categories whose monoidal products of any positive number of factors are lax coherent and whose nullary products are oplax coherent. We call them $\mathsf{Lax}^+\mathsf{Oplax}^0$-monoidal. Dually, we consider $\mathsf{Lax}_0\mathsf{Oplax}_+$-monoidal categories which are oplax coherent for positive numbers of factors and lax coherent for nullary monoidal products. We define $\mathsf{Lax}^+_0\mathsf{Oplax}^0_+$-duoidal categories with compatible $\mathsf{Lax}^+\mathsf{Oplax}^0$- and $\mathsf{Lax}_0\mathsf{Oplax}_+$-monoidal structures. We introduce comonoids in $\mathsf{Lax}^+\mathsf{Oplax}^0$-monoidal categories, monoids in $\mathsf{Lax}_0\mathsf{Oplax}_+$-monoidal categories and bimonoids in $\mathsf{Lax}^+_0\mathsf{Oplax}^0_+$- duoidal categories. Motivation for these notions comes from a generalization of a construction due to Caenepeel and Goyvaerts. This assigns a $\mathsf{Lax}^+_0\mathsf{Oplax}^0_+$-duoidal category $\mathsf D$ to any symmetric monoidal category $\mathsf V$. The unital $\mathsf{BiHom}$-monoids, counital $\mathsf{BiHom}$-comonoids, and unital and counital $\mathsf{BiHom}$-bimonoids in $\mathsf V$ are identified with the monoids, comonoids and bimonoids in $\mathsf D$, respectively. △ Less

Submitted 19 March, 2020; originally announced March 2020.

Comments: 40 pages, a few figures of commutative diagrams

Globalization for geometric partial comodules

Authors: Paolo Saracco, Joost Vercruysse

Abstract: We discuss globalization for geometric partial comodules in a monoidal category with pushouts and we provide a concrete procedure to construct it, whenever it exists. The mild assumptions required by our approach make it possible to apply it in a number of contexts of interests, recovering and extending numerous ad hoc globalization constructions from the literature in some cases and providing obs… ▽ More We discuss globalization for geometric partial comodules in a monoidal category with pushouts and we provide a concrete procedure to construct it, whenever it exists. The mild assumptions required by our approach make it possible to apply it in a number of contexts of interests, recovering and extending numerous ad hoc globalization constructions from the literature in some cases and providing obstruction for globalization in some other cases. △ Less

Submitted 30 March, 2022; v1 submitted 21 January, 2020; originally announced January 2020.

Comments: Authors' Accepted Manuscript

MSC Class: 16T15; 16W22; 18A40

Journal ref: J. Algebra 602 (2022), 37-59

Partial corepresentations of Hopf Algebras

Authors: Marcelo Muniz S . Alves, Eliezer Batista, Felipe Castro, Glauber Quadros, Joost Vercruysse

Abstract: We introduce the notion of a partial corepresentation of a given Hopf algebra $H$ over a coalgebra $C$ and the closely related concept of a partial $H$-comodule. We prove that there exists a universal coalgebra $H^{par}$, associated to the original Hopf algebra $H$, such that the category of regular partial $H$-comodules is isomorphic to the category of $H^{par}$-comodules. We introduce the notion… ▽ More We introduce the notion of a partial corepresentation of a given Hopf algebra $H$ over a coalgebra $C$ and the closely related concept of a partial $H$-comodule. We prove that there exists a universal coalgebra $H^{par}$, associated to the original Hopf algebra $H$, such that the category of regular partial $H$-comodules is isomorphic to the category of $H^{par}$-comodules. We introduce the notion of a Hopf coalgebroid and show that the universal coalgebra $H^{par}$ has the structure of a Hopf coalgebroid over a suitable coalgebra. △ Less

Submitted 9 March, 2021; v1 submitted 20 November, 2019; originally announced November 2019.

Comments: 41 papes, v2:several small corrections, final version as accepted for publication in Journal of Algebra

MSC Class: 16T05; 16S40

A Larson-Sweedler Theorem for Hopf V-Categories

Authors: Mitchell Buckley, Timmy Fieremans, Christina Vasilakopoulou, Joost Vercruysse

Abstract: The aim of this paper is to extend the classical Larson-Sweedler theorem, namely that a k-bialgebra has a non-singular integral (and in particular is Frobenius) if and only if it is a finite dimensional Hopf algebra, to the `many-object' setting of Hopf categories. To this end, we provide new characterizations of Frobenius V-categories and we develop the integral theory for Hopf V-categories. Our… ▽ More The aim of this paper is to extend the classical Larson-Sweedler theorem, namely that a k-bialgebra has a non-singular integral (and in particular is Frobenius) if and only if it is a finite dimensional Hopf algebra, to the `many-object' setting of Hopf categories. To this end, we provide new characterizations of Frobenius V-categories and we develop the integral theory for Hopf V-categories. Our results apply to Hopf algebras in any braided monoidal category as a special case, and also relate to Turaev's Hopf group algebras and particular cases of weak and multiplier Hopf algebras. △ Less

Submitted 16 October, 2020; v1 submitted 6 August, 2019; originally announced August 2019.

Comments: 54 pages, 1 Table. Revised manuscript according to referees' suggestions. To appear in Advances in Mathematics

Equivalences of (co)module algebra structures over Hopf algebras

Authors: Ana Agore, Alexey Gordienko, Joost Vercruysse

Abstract: We introduce the notion of support equivalence for (co)module algebras (over Hopf algebras), which generalizes in a natural way (weak) equivalence of gradings. We show that for each equivalence class of (co)module algebra structures on a given algebra A, there exists a unique universal Hopf algebra H together with an H-(co)module structure on A such that any other equivalent (co)module algebra str… ▽ More We introduce the notion of support equivalence for (co)module algebras (over Hopf algebras), which generalizes in a natural way (weak) equivalence of gradings. We show that for each equivalence class of (co)module algebra structures on a given algebra A, there exists a unique universal Hopf algebra H together with an H-(co)module structure on A such that any other equivalent (co)module algebra structure on A factors through the action of H. We study support equivalence and the universal Hopf algebras mentioned above for group gradings, Hopf-Galois extensions, actions of algebraic groups and cocommutative Hopf algebras. We show how the notion of support equivalence can be used to reduce the classification problem of Hopf algebra (co)actions. We apply support equivalence in the study of the asymptotic behaviour of codimensions of H-identities and, in particular, to the analogue (formulated by Yu. A. Bahturin) of Amitsur's conjecture, which was originally concerned with ordinary polynomial identities. As an example we prove this analogue for all unital H-module structures on the algebra $F[x]/(x^2)$ of dual numbers. △ Less

Submitted 14 September, 2020; v1 submitted 11 December, 2018; originally announced December 2018.

Comments: 35 pages; to appear in Journal of Noncommutative Geometry

MSC Class: Primary 16W50; Secondary 16T05; 16T25; 16W22; 16W25

Journal ref: Journal of Noncommutative Geometry, 15:3 (2021), 951-993

A semi-abelian extension of a theorem by Takeuchi

Authors: Marino Gran, Florence Sterck, Joost Vercruysse

Abstract: We prove that the category of cocommutative Hopf algebras over a field is a semi-abelian category. This result extends a previous special case of it, based on the Milnor-Moore theorem, where the field was assumed to have zero characteristic. Takeuchi's theorem asserting that the category of commutative and cocommutative Hopf algebras over a field is abelian immediately follows from this new observ… ▽ More We prove that the category of cocommutative Hopf algebras over a field is a semi-abelian category. This result extends a previous special case of it, based on the Milnor-Moore theorem, where the field was assumed to have zero characteristic. Takeuchi's theorem asserting that the category of commutative and cocommutative Hopf algebras over a field is abelian immediately follows from this new observation. We also prove that the category of cocommutative Hopf algebras over a field is action representable. We make some new observations concerning the categorical commutator of normal Hopf subalgebras, and this leads to the proof that two definitions of crossed modules of cocommutative Hopf algebras are equivalent in this context. △ Less

Submitted 12 December, 2018; v1 submitted 15 August, 2018; originally announced August 2018.

Comments: 27 pages

MSC Class: 18E10; 18D35; 18G50; 16T05; 16B50; 18B40

Journal ref: Journal of Pure and Applied Algebra 223 (2019) 4171-4190

Geometrically Partial actions

Authors: Jiawei Hu, Joost Vercruysse

Abstract: We introduce "geometric" partial comodules over coalgebras in monoidal categories, as an alternative notion to the notion of partial action and coaction of a Hopf algebra introduced by Caenepeel and Janssen. The name is motivated by the fact that our new notion suits better if one wants to describe phenomena of partial actions in algebraic geometry. Under mild conditions, the category of geometric… ▽ More We introduce "geometric" partial comodules over coalgebras in monoidal categories, as an alternative notion to the notion of partial action and coaction of a Hopf algebra introduced by Caenepeel and Janssen. The name is motivated by the fact that our new notion suits better if one wants to describe phenomena of partial actions in algebraic geometry. Under mild conditions, the category of geometric partial comodules is shown to be complete and cocomplete and the category of partial comodules over a Hopf algebra is lax monoidal. We develop a Hopf-Galois theory for geometric partial coactions to illustrate that our new notion might be a useful additional tool in Hopf algebra theory. △ Less

Submitted 22 November, 2019; v1 submitted 12 May, 2018; originally announced May 2018.

Comments: revised version; improved presentation; stronger version of "fundamental theorem" for partial comodules. Version accepted for publication in "Transactions of the American Mathematical Society". Updated references

Dilations of partial representations of Hopf algebras

Authors: Marcelo Muniz S. Alves, Eliezer Batista, Joost Vercruysse

Abstract: We introduce the notion of a dilation for a partial representation (i.e. a partial module) of a Hopf algebra, which in case the partial representation origins from a partial action (i.e.a partial module algebra) coincides with the enveloping action (or globalization). This construction leads to categorical equivalences between the category of partial $H$-modules, a category of (global) $H$-modules… ▽ More We introduce the notion of a dilation for a partial representation (i.e. a partial module) of a Hopf algebra, which in case the partial representation origins from a partial action (i.e.a partial module algebra) coincides with the enveloping action (or globalization). This construction leads to categorical equivalences between the category of partial $H$-modules, a category of (global) $H$-modules endowed with a projection satisfying a suitable commutation relation and the category of modules over a (global) smash product constructed upon $H$, from which we deduce the structure of a Hopfish algebra on this smash product. These equivalences are used to study the interactions between partial and global representation theory. △ Less

Submitted 13 February, 2019; v1 submitted 8 February, 2018; originally announced February 2018.

Comments: 25 pages. Corrected several typos, final version to appear in Journal of the London Mathematical Society

Oplax Hopf Algebras

Authors: Mitchell Buckley, Timmy Fieremans, Christina Vasilakopoulou, Joost Vercruysse

Abstract: We introduce the notion of an oplax Hopf monoid in any braided monoidal bicategory, generalizing that of a Hopf monoid in a braided monoidal category in an appropriate way. We show that Hopf V-categories introduced in [BCV16] are a particular type of oplax Hopf monoids in the monoidal bicategory Span|V described in [Böh17]. Finally, we introduce Frobenius V-categories as the Frobenius objects in t… ▽ More We introduce the notion of an oplax Hopf monoid in any braided monoidal bicategory, generalizing that of a Hopf monoid in a braided monoidal category in an appropriate way. We show that Hopf V-categories introduced in [BCV16] are a particular type of oplax Hopf monoids in the monoidal bicategory Span|V described in [Böh17]. Finally, we introduce Frobenius V-categories as the Frobenius objects in the same monoidal bicategory. △ Less

Submitted 27 August, 2020; v1 submitted 4 October, 2017; originally announced October 2017.

Comments: 42 pages; numerous substantial changes and additions throughout the paper, to appear in `Higher Structures'

Split extension classifiers in the category of cocommutative Hopf algebras

Authors: Marino Gran, Gabriel Kadjo, Joost Vercruysse

Abstract: We describe the split extension classifiers in the semi-abelian category of cocommutative Hopf algebras over an algebraically closed field of characteristic zero. The categorical notions of centralizer and of center in the category of cocommutative Hopf algebras is then explored. We show that the categorical notion of center coincides with the one that is considered in the theory of general Hopf a… ▽ More We describe the split extension classifiers in the semi-abelian category of cocommutative Hopf algebras over an algebraically closed field of characteristic zero. The categorical notions of centralizer and of center in the category of cocommutative Hopf algebras is then explored. We show that the categorical notion of center coincides with the one that is considered in the theory of general Hopf algebras. △ Less

Submitted 28 November, 2017; v1 submitted 18 February, 2017; originally announced February 2017.

Comments: 24 pages

MSC Class: 16S40; 16T05; 16U70; 18E10; 20J99

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. 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. △ Less

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

A torsion theory in the category of cocommutative Hopf algebras

Authors: Marino Gran, Gabriel Kadjo, Joost Vercruysse

Abstract: The purpose of this article is to prove that the category of cocommutative Hopf $K$-algebras, over a field $K$ of characteristic zero, is a semi-abelian category. Moreover, we show that this category is action representable, and that it contains a torsion theory whose torsion-free and torsion parts are given by the category of groups and by the category of Lie $K$-algebras, respectively. The purpose of this article is to prove that the category of cocommutative Hopf $K$-algebras, over a field $K$ of characteristic zero, is a semi-abelian category. Moreover, we show that this category is action representable, and that it contains a torsion theory whose torsion-free and torsion parts are given by the category of groups and by the category of Lie $K$-algebras, respectively. △ Less

Submitted 2 May, 2015; v1 submitted 10 February, 2015; originally announced February 2015.

MSC Class: 18E40; 18E10; 20J99; 16T05; 16S40

Dual Constructions for Partial Actions of Hopf Algebras

Authors: Eliezer Batista, Joost Vercruysse

Abstract: The duality between partial actions (partial $H$-module algebras) and co-actions (partial $H$-comodule algebras) of a Hopf algebra $H$ is fully explored in this work. A connection between partial (co)actions and Hopf algebroids is established under certain commutativity conditions. Moreover, we continue this duality study, introducing also partial $H$-module coalgebras and their associated $C$-rin… ▽ More The duality between partial actions (partial $H$-module algebras) and co-actions (partial $H$-comodule algebras) of a Hopf algebra $H$ is fully explored in this work. A connection between partial (co)actions and Hopf algebroids is established under certain commutativity conditions. Moreover, we continue this duality study, introducing also partial $H$-module coalgebras and their associated $C$-rings, partial $H$-comodule coalgebras and their associated cosmash coproducts, as well as the mutual interrelations between these structures. △ Less

Submitted 13 April, 2015; v1 submitted 6 March, 2014; originally announced March 2014.

Comments: v3: strongly revised version

MSC Class: 16T05; 16S40; 16S35; 16W50

Partial Representations of Hopf Algebras

Authors: Marcelo Muniz S. Alves, Eliezer Batista, Joost Vercruysse

Abstract: In this work, the notion of partial representation of a Hopf algebra is introduced and its relationship with partial actions of Hopf algebras is explored. Given a Hopf algebra $H$, one can associate it to a Hopf algebroid $H_{par}$ which has the universal property that each partial representation of $H$ can be factorized by an algebra morphism from $H_{par}$. We define also the category of partial… ▽ More In this work, the notion of partial representation of a Hopf algebra is introduced and its relationship with partial actions of Hopf algebras is explored. Given a Hopf algebra $H$, one can associate it to a Hopf algebroid $H_{par}$ which has the universal property that each partial representation of $H$ can be factorized by an algebra morphism from $H_{par}$. We define also the category of partial modules over a Hopf algebra $H$, which is the category of modules over its associated Hopf algebroid $H_{par}$. The Hopf algebroid structure of $H_{par}$ enables us to enhance the category of partial $H$ modules with a monoidal structure and such that the algebra objects in this category are the usual partial actions. Some examples of categories of partial $H$ modules are explored. In particular we can describe fully the category of partially $\mathbb{Z}_2$-graded modules. △ Less

Submitted 20 September, 2013; v1 submitted 6 September, 2013; originally announced September 2013.

Comments: 39 pages, version 2: some additions in the section on partial gradings and minor corrections elsewhere

MSC Class: 16T05; 16S40; 16S35; 16W50

On the duality of generalized Lie and Hopf algebras

Authors: Isar Goyvaerts, Joost Vercruysse

Abstract: We show how, under certain conditions, an adjoint pair of braided monoidal functors can be lifted to an adjoint pair between categories of Hopf algebras. This leads us to an abstract version of Michaelis' theorem, stating that given a Hopf algebra $H$, there is a natural isomorphism of Lie algebras $Q(H)^*\cong P(H^\circ)$, where $Q(H)^*$ is the dual Lie algebra of the Lie coalgebra of indecomposa… ▽ More We show how, under certain conditions, an adjoint pair of braided monoidal functors can be lifted to an adjoint pair between categories of Hopf algebras. This leads us to an abstract version of Michaelis' theorem, stating that given a Hopf algebra $H$, there is a natural isomorphism of Lie algebras $Q(H)^*\cong P(H^\circ)$, where $Q(H)^*$ is the dual Lie algebra of the Lie coalgebra of indecomposables of $H$, and $P(H^\circ)$ is the Lie algebra of primitive elements of the Sweedler dual of $H$. We apply our theory to Turaev's Hopf group-(co)algebras. △ Less

Submitted 14 February, 2020; v1 submitted 31 May, 2013; originally announced May 2013.

Comments: 27 pages; v2: Details of several proofs have been added in Section 2; v3: Thanks to the suggestions of the anonymous referee, improvements have been made in Section 4.2 (concerning the PFam construction). published in Advances in Mathematics. v4: a missing assumption is added in Lemma 2.4 and Theorem 2.7. This does not influence the main results of the paper

Lie monads and dualities

Authors: Isar Goyvaerts, Joost Vercruysse

Abstract: We study dualities between Lie algebras and Lie coalgebras, and their respective (co)representations. To allow a study of dualities in an infinite-dimensional setting, we introduce the notions of Lie monads and Lie comonads, as special cases of YB-Lie algebras and YB-Lie coalgebras in additive monoidal categories. We show that (strong) dualities between Lie algebras and Lie coalgebras are closely… ▽ More We study dualities between Lie algebras and Lie coalgebras, and their respective (co)representations. To allow a study of dualities in an infinite-dimensional setting, we introduce the notions of Lie monads and Lie comonads, as special cases of YB-Lie algebras and YB-Lie coalgebras in additive monoidal categories. We show that (strong) dualities between Lie algebras and Lie coalgebras are closely related to (iso)morphisms between associated Lie monads and Lie comonads. In the case of a duality between two Hopf algebras -in the sense of Takeuchi- we recover a duality between a Lie algebra and a Lie coalgebra -in the sense defined in this note- by computing the primitive and the indecomposables elements, respectively. △ Less

Submitted 12 December, 2013; v1 submitted 27 February, 2013; originally announced February 2013.

Comments: 27 pages, v2: some examples added and minor changes

Hopf algebras---Variant notions and reconstruction theorems

Authors: Joost Vercruysse

Abstract: Hopf algebras are closely related to monoidal categories. More precise, $k$-Hopf algebras can be characterized as those algebras whose category of finite dimensional representations is an autonomous monoidal category such that the forgetful functor to $k$-vectorspaces is a strict monoidal functor. This result is known as the Tannaka reconstruction theorem (for Hopf algebras). Because of the import… ▽ More Hopf algebras are closely related to monoidal categories. More precise, $k$-Hopf algebras can be characterized as those algebras whose category of finite dimensional representations is an autonomous monoidal category such that the forgetful functor to $k$-vectorspaces is a strict monoidal functor. This result is known as the Tannaka reconstruction theorem (for Hopf algebras). Because of the importance of both Hopf algebras in various fields, over the last last few decades, many generalizations have been defined. We will survey these different generalizations from the point of view of the Tannaka reconstruction theorem. △ Less

Submitted 16 February, 2012; originally announced February 2012.

Comments: Survey paper to appear in to appear in C. Heunen, M. Sadrzadeh, E. Grefenstette (eds.): Compositional methods in quantum physics and linguistics, Oxford University Press, 2012

MSC Class: 18D10; 16T05

A Note on the categorification of Lie algebras

Authors: Isar Goyvaerts, Joost Vercruysse

Abstract: In this short note we study Lie algebras in the framework of symmetric monoidal categories. After a brief review of the existing work in this field and a presentation of earlier studied and new examples, we examine which functors preserve the structure of a Lie algebra. In this short note we study Lie algebras in the framework of symmetric monoidal categories. After a brief review of the existing work in this field and a presentation of earlier studied and new examples, we examine which functors preserve the structure of a Lie algebra. △ Less

Submitted 16 February, 2012; originally announced February 2012.

Comments: 8 pages, to appear in Proceedings of International Workshop "Lie Theory-IX", Varna, 2011

MSC Class: 18D10; 17B60

Multiplier Hopf and bi-algebras

Authors: K. Janssen, J. Vercruysse

Abstract: We propose a categorical interpretation of multiplier Hopf algebras, in analogy to usual Hopf algebras and bialgebras. Since the introduction of multiplier Hopf algebras by Van Daele in [A. Van Daele, Multiplier Hopf algebras, {\em Trans. Amer. Math. Soc.}, {\bf 342}(2), (1994) 917--932.] such a categorical interpretation has been missing. We show that a multiplier Hopf algebra can be understood… ▽ More We propose a categorical interpretation of multiplier Hopf algebras, in analogy to usual Hopf algebras and bialgebras. Since the introduction of multiplier Hopf algebras by Van Daele in [A. Van Daele, Multiplier Hopf algebras, {\em Trans. Amer. Math. Soc.}, {\bf 342}(2), (1994) 917--932.] such a categorical interpretation has been missing. We show that a multiplier Hopf algebra can be understood as a coalgebra with antipode in a certain monoidal category of algebras. We show that a (possibly non-unital, idempotent, non-degenerate, $k$-projective) algebra over a commutative ring $k$ is a multiplier bialgebra if and only if the category of its algebra extensions and both the categories of its left and right modules are monoidal and fit, together with the category of $k$-modules, into a diagram of strict monoidal forgetful functors. △ Less

Submitted 22 January, 2009; v1 submitted 20 January, 2009; originally announced January 2009.

Comments: 23 pages

MSC Class: 16W30; 18D10

The Eilenberg-Moore category and a Beck-type theorem for a Morita context

Authors: Tomasz Brzeziński, Adrian Vazquez Marquez, Joost Vercruysse

Abstract: The Eilenberg-Moore constructions and a Beck-type theorem for pairs of monads are described. More specifically, a notion of a {\em Morita context} comprising of two monads, two bialgebra functors and two connecting maps is introduced. It is shown that in many cases equivalences between categories of algebras are induced by such Morita contexts. The Eilenberg-Moore category of representations of… ▽ More The Eilenberg-Moore constructions and a Beck-type theorem for pairs of monads are described. More specifically, a notion of a {\em Morita context} comprising of two monads, two bialgebra functors and two connecting maps is introduced. It is shown that in many cases equivalences between categories of algebras are induced by such Morita contexts. The Eilenberg-Moore category of representations of a Morita context is constructed. This construction allows one to associate two pairs of adjoint functors with right adjoint functors having a common domain or a {\em double adjunction} to a Morita context. It is shown that, conversely, every Morita context arises from a double adjunction. The comparison functor between the domain of right adjoint functors in a double adjunction and the Eilenberg-Moore category of the associated Morita context is defined. The sufficient and necessary conditions for this comparison functor to be an equivalence (or for the {\em moritability} of a pair of functors with a common domain) are derived. △ Less

Submitted 22 September, 2009; v1 submitted 26 November, 2008; originally announced November 2008.

Comments: 33 pages, some corrections, new section 5.3

MSC Class: 18A40

Quasi-co-Frobenius corings as Galois comodules

Authors: Joost Vercruysse

Abstract: We compare several quasi-Frobenius-type properties for corings that appeared recently in literature and provide several new characterizations for each of these properties. By applying the theory of Galois comodules with a firm coinvariant ring, we can characterize a locally quasi-Frobenius (quasi-co-Frobenius) coring as a locally projective generator in its category of comodules. We compare several quasi-Frobenius-type properties for corings that appeared recently in literature and provide several new characterizations for each of these properties. By applying the theory of Galois comodules with a firm coinvariant ring, we can characterize a locally quasi-Frobenius (quasi-co-Frobenius) coring as a locally projective generator in its category of comodules. △ Less

Submitted 9 June, 2008; v1 submitted 9 June, 2008; originally announced June 2008.

Comments: 23 pages

MSC Class: 16W30; 16L60; 16D90

Bimodule herds

Authors: Tomasz Brzezinski, Joost Vercruysse

Abstract: The notion of a bimodule herd is introduced and studied. A bimodule herd consists of a $B$-$A$ bimodule, its formal dual, called a pen, and a map, called a shepherd, which satisfies untiality and coassociativity conditions. It is shown that every bimodule herd gives rise to a pair of corings and coactions. If, in addition, a bimodule herd is tame i.e. it is faithfully flat and a progenerator, th… ▽ More The notion of a bimodule herd is introduced and studied. A bimodule herd consists of a $B$-$A$ bimodule, its formal dual, called a pen, and a map, called a shepherd, which satisfies untiality and coassociativity conditions. It is shown that every bimodule herd gives rise to a pair of corings and coactions. If, in addition, a bimodule herd is tame i.e. it is faithfully flat and a progenerator, then these corings are associated to entwining structures; the bimodule herd is a Galois comodule of these corings. The notion of a bicomodule coherd is introduced as a formal dualisation of the definition of a bimodule herd. Every bicomodule coherd defines a pair of (non-unital) rings. It is shown that a tame $B$-$A$ bimodule herd defines a bicomodule coherd, and sufficient conditions for the derived rings to be isomorphic to $A$ and $B$ are discussed. The composition of bimodule herds via the tensor product is outlined. The notion of a bimodule herd is illustrated by the example of Galois co-objects of a commutative, faithfully flat Hopf algebra. △ Less

Submitted 10 June, 2008; v1 submitted 16 May, 2008; originally announced May 2008.

Comments: 34 pages; v.2: main theorems reformulated, references added

MSC Class: 16W30; 16W35

Galois theory in bicategories

Authors: Jose Gomez-Torrecillas, Joost Vercruysse

Abstract: We develop a Galois (descent) theory for comonads within the framework of bicategories. We give generalizations of Beck's theorem and the Joyal-Tierney theorem. Many examples are provided, including classical descent theory, Hopf-Galois theory over Hopf algebras and Hopf algebroids, Galois theory for corings and group-corings, and Morita-Takeuchi theory for corings. As an application we construc… ▽ More We develop a Galois (descent) theory for comonads within the framework of bicategories. We give generalizations of Beck's theorem and the Joyal-Tierney theorem. Many examples are provided, including classical descent theory, Hopf-Galois theory over Hopf algebras and Hopf algebroids, Galois theory for corings and group-corings, and Morita-Takeuchi theory for corings. As an application we construct a new type of comatrix corings based on (dual) quasi bialgebras. △ Less

Submitted 22 November, 2007; originally announced November 2007.

Comments: 39 pages

MSC Class: 16W30; 18D05

Morita theory of comodules over corings

Authors: Gabriella Böhm, Joost Vercruysse

Abstract: By a theorem due to Kato and Ohtake, any (not necessarily strict) Morita context induces an equivalence between appropriate subcategories of the module categories of the two rings in the Morita context. These are in fact categories of firm modules for non-unital subrings. We apply this result to various Morita contexts associated to a comodule $Σ$ of an $A$-coring $\cC$. This allows to extend (w… ▽ More By a theorem due to Kato and Ohtake, any (not necessarily strict) Morita context induces an equivalence between appropriate subcategories of the module categories of the two rings in the Morita context. These are in fact categories of firm modules for non-unital subrings. We apply this result to various Morita contexts associated to a comodule $Σ$ of an $A$-coring $\cC$. This allows to extend (weak and strong) structure theorems in the literature, in particular beyond the cases when any of the coring $\cC$ or the comodule $Σ$ is finitely generated and projective as an $A$-module. That is, we obtain relations between the category of $\cC$-comodules and the category of firm modules for a firm ring $R$, which is an ideal of the endomorphism algebra $^\cC(Σ)$. For a firmly projective comodule of a coseparable coring we prove a strong structure theorem assuming only surjectivity of the canonical map. △ Less

Submitted 1 November, 2008; v1 submitted 4 October, 2007; originally announced October 2007.

Comments: LaTeX, 35 pages. v2: Minor changes including the title, examples added in Section 2

MSC Class: 16D90; 16W30

Journal ref: Comm. Algebra 37 (2009), no. 9, 3207-3247

Quasi-Frobenius functors. Applications

Authors: F. Castano Iglesias, C. Nastasescu, J. Vercruysse

Abstract: We investigate functors between abelian categories having a left adjoint and a right adjoint that are \emph{similar} (these functors are called \emph{quasi-Frobenius functors}). We introduce the notion of a \emph{quasi-Frobenius bimodule} and give a characterization of these bimodules in terms of quasi-Frobenius functors. Some applications to corings and graded rings are presented. In particular… ▽ More We investigate functors between abelian categories having a left adjoint and a right adjoint that are \emph{similar} (these functors are called \emph{quasi-Frobenius functors}). We introduce the notion of a \emph{quasi-Frobenius bimodule} and give a characterization of these bimodules in terms of quasi-Frobenius functors. Some applications to corings and graded rings are presented. In particular, the concept of quasi-Frobenius homomorphism of corings is introduced. Finally, a version of the endomorphism ring Theorem for quasi-Frobenius extensions in terms of corings is obtained. △ Less

Submitted 3 September, 2008; v1 submitted 21 December, 2006; originally announced December 2006.

Comments: 20 pages, major changes in v2

MSC Class: 16W30; 16L60

Cofrobenius Corings and adjoint Functors

Authors: M. Iovanov, J. Vercruysse

Abstract: We study co-Frobenius and more generally Quasi-co-Frobenius corings over arbitrary baserings and over PF baserings in particular. We generalize some results about (Quasi-) co-Frobenius coalgebras to the case of non-commutative base rings and give several new characterisations for co-Frobenius and Quasi-co-Frobenius corings, some of them are new even in the coalgebra situation. We construct Morit… ▽ More We study co-Frobenius and more generally Quasi-co-Frobenius corings over arbitrary baserings and over PF baserings in particular. We generalize some results about (Quasi-) co-Frobenius coalgebras to the case of non-commutative base rings and give several new characterisations for co-Frobenius and Quasi-co-Frobenius corings, some of them are new even in the coalgebra situation. We construct Morita contexts to study Frobenius properies of corings and a second kind of Morita contexts to study adjoint pairs. Comparing both Morita contexts, we obtain our main result that characterises (Quasi-) co-Frobenius corings in terms of a pair adjoint functors $(F,G)$ such that $(G,F)$ is locally (Quasi-) adjoint in a sense defined in this note. △ Less

Submitted 15 November, 2007; v1 submitted 27 October, 2006; originally announced October 2006.

Comments: Strongly revised version: major changes in section 3, 5.2 and 5.3, minor changes elsewhere. Change of title (on request of the referee)

MSC Class: 16W30

Cohomology for bicomodules. Separable and Maschke functors

Authors: L. El Kaoutit, J. Vercruysse

Abstract: We introduce the category of bicomodules for a comonad in a Grothendieck category whose underlying functor is right exact and preserves direct sums. We characterize comonads with a separable forgetful functor by means of cohomology groups using cointegrations into bicomodules. We present two applications: the characterization of coseparable corings stated in [11], and the characterization of cos… ▽ More We introduce the category of bicomodules for a comonad in a Grothendieck category whose underlying functor is right exact and preserves direct sums. We characterize comonads with a separable forgetful functor by means of cohomology groups using cointegrations into bicomodules. We present two applications: the characterization of coseparable corings stated in [11], and the characterization of coseparable coalgebras coextensions stated in [16]. △ Less

Submitted 8 August, 2006; originally announced August 2006.

MSC Class: 16W30; 16D20

Equivalences between categories of modules and categories of comodules

Authors: Joost Vercruysse

Abstract: We show the close connection between appearingly different Galois theories for comodules introduced recently in [J. Gómez-Torrecillas and J. Vercruysse, Comatrix corings and Galois Comodules over firm rings, arXiv:math.RA/0509106.] and [R. Wisbauer, On Galois comodules (2004), to appear in Comm. Algebra.]. Furthermore we study equivalences between categories of comodules over a coring and module… ▽ More We show the close connection between appearingly different Galois theories for comodules introduced recently in [J. Gómez-Torrecillas and J. Vercruysse, Comatrix corings and Galois Comodules over firm rings, arXiv:math.RA/0509106.] and [R. Wisbauer, On Galois comodules (2004), to appear in Comm. Algebra.]. Furthermore we study equivalences between categories of comodules over a coring and modules over a firm ring. We show that these equivalences are related to Galois theory for comodules. △ Less

Submitted 2 August, 2006; v1 submitted 19 April, 2006; originally announced April 2006.

Comments: 19 pages, some corrections and additions to version 1

MSC Class: 16W30

Morita theory for coring extensions and cleft bicomodules

Authors: Gabriella Böhm, Joost Vercruysse

Abstract: A Morita context is constructed for any comodule of a coring and, more generally, for an $L$-$\cC$ bicomodule $Σ$ for a pure coring extension $(\cD:L)$ of $(\cC:A)$. It is related to a 2-object subcategory of the category of $k$-linear functors $\Mm^\Cc\to\Mm^\Dd$. Strictness of the Morita context is shown to imply the Galois property of $Σ$ as a $\cC$-comodule and a Weak Structure Theorem. Suff… ▽ More A Morita context is constructed for any comodule of a coring and, more generally, for an $L$-$\cC$ bicomodule $Σ$ for a pure coring extension $(\cD:L)$ of $(\cC:A)$. It is related to a 2-object subcategory of the category of $k$-linear functors $\Mm^\Cc\to\Mm^\Dd$. Strictness of the Morita context is shown to imply the Galois property of $Σ$ as a $\cC$-comodule and a Weak Structure Theorem. Sufficient conditions are found also for a Strong Structure Theorem to hold. Cleft property of an $L$-$\cC$ bicomodule $Σ$ -- implying strictness of the associated Morita context -- is introduced. It is shown to be equivalent to being a Galois $\cC$-comodule and isomorphic to $\End^\cC(Σ)\otimes_{L} \cD$, in the category of left modules for the ring $\End^\cC(Σ)$ and right comodules for the coring $\cD$, i.e. satisfying the normal basis property. Algebra extensions, that are cleft extensions by a Hopf algebra, a coalgebra or a pure Hopf algebroid, as well as cleft entwining structures (over commutative or non-commutative base rings) and cleft weak entwining structures, are shown to provide examples of cleft bicomodules. Cleft extensions by arbitrary Hopf algebroids are described in terms of Morita contexts that do not necessarily correspond to coring extensions. △ Less

Submitted 1 November, 2008; v1 submitted 19 January, 2006; originally announced January 2006.

Comments: 34 pages LaTeX. v2:A missing purity assumption is added throughout Sections 3, 4 and 5

MSC Class: 16W30; 16D90

Journal ref: Adv. Math. 209 (2007) 611-648

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. 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. △ Less

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

Comatrix Corings and Galois Comodules over Firm Rings

Authors: J. Gomez-Torrecillas, J. Vercruysse

Abstract: We give a notion of a comatrix coring which embodies all former constructions and, what is more interesting, leads to the formulation of a notion of Galois coring and the statement of a Faithfully Flat Descent Theorem that generalize the previous versions. We give a notion of a comatrix coring which embodies all former constructions and, what is more interesting, leads to the formulation of a notion of Galois coring and the statement of a Faithfully Flat Descent Theorem that generalize the previous versions. △ Less

Submitted 5 September, 2005; originally announced September 2005.

Local units versus local projectivity. Dualisations: Corings with local structure maps

Authors: Joost Vercruysse

Abstract: We unify and generalize different notions of local units and local projectivity. We investigate the connection between these properties by constructing elementary algebras from locally projective modules. Dual versions of these constructions are discussed, leading to corings with local comultiplications, corings with local counits and rings with local multiplications. We unify and generalize different notions of local units and local projectivity. We investigate the connection between these properties by constructing elementary algebras from locally projective modules. Dual versions of these constructions are discussed, leading to corings with local comultiplications, corings with local counits and rings with local multiplications. △ Less

Submitted 19 April, 2006; v1 submitted 10 September, 2004; originally announced September 2004.

Comments: 22 pages, including a correction to Proposition 1.1

MSC Class: 16W30

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 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. △ Less

Submitted 19 October, 2004; v1 submitted 22 June, 2004; originally announced June 2004.

Comments: 42 pages

MSC Class: 16W30

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. 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. △ Less

Submitted 19 June, 2002; originally announced June 2002.

Comments: 27 pages

MSC Class: 16W30