Showing 1–37 of 37 results for author: Kaoutit, L E

Asymmetries of thermal processes in open quantum systems

Authors: Álvaro Tejero, Rafael Sánchez, Laiachi El Kaoutit, Daniel Manzano, Antonio Lasanta

Abstract: An intriguing phenomenon in non-equilibrium quantum thermodynamics is the asymmetry of thermal processes. Relaxation to thermal equilibrium is the most important dissipative process, being a key concept for the design of heat engines and refrigerators, contributing to the study of foundational questions of thermodynamics, and being relevant for quantum computing through the process of algorithmic… ▽ More An intriguing phenomenon in non-equilibrium quantum thermodynamics is the asymmetry of thermal processes. Relaxation to thermal equilibrium is the most important dissipative process, being a key concept for the design of heat engines and refrigerators, contributing to the study of foundational questions of thermodynamics, and being relevant for quantum computing through the process of algorithmic cooling. Despite the importance of this kind of processes, their dynamics are far from being understood. We show that the free relaxation to thermal equilibrium follows intrinsically different paths depending on whether the temperature of the system increases (heating up) or decreases (cooling down), being faster in the first case. Our theory is exemplified using the recently developed thermal kinematics based on information geometry theory, utilizing three prototypical examples: a quantum two-level system, the quantum harmonic oscillator, and a trapped quantum Brownian particle, including both analytic results and numerical simulations. For this, we have extended the thermal kinematic approach to open quantum systems. Additionally, we offer a simple theoretical explanation in the case of a two level system and a more general picture for the other two systems based on the spectral decomposition of the Liouvillian and the spectral gap of reciprocal processes. △ Less

Submitted 28 June, 2024; originally announced June 2024.

Comments: 16 pages, 7 figures

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)

The Hopf algebroid structure of differentially recursive sequences

Authors: Laiachi El Kaoutit, Paolo Saracco

Abstract: A differentially recursive sequence over a differential field is a sequence of elements satisfying a homogeneous differential equation with non-constant coefficients (namely, Taylor expansions of elements of the field) in the differential algebra of Hurwitz series. The main aim of this paper is to explore the space of all differentially recursive sequences over a given field with a non-zero differ… ▽ More A differentially recursive sequence over a differential field is a sequence of elements satisfying a homogeneous differential equation with non-constant coefficients (namely, Taylor expansions of elements of the field) in the differential algebra of Hurwitz series. The main aim of this paper is to explore the space of all differentially recursive sequences over a given field with a non-zero differential. We show that these sequences form a two-sided vector space that admits, in a canonical way, a structure of Hopf algebroid over the subfield of constant elements. We prove that it is the direct limit, as a left comodule, of all spaces of formal solutions of linear differential equations and that it satisfies, as Hopf algebroid, an additional universal property. When the differential on the base field is zero, we recover the Hopf algebra structure of linearly recursive sequences. △ Less

Submitted 16 March, 2020; originally announced March 2020.

Comments: 28 pages, comments are welcome!

MSC Class: Primary 12H05; 16S32; 16T05; 34M15; Secondary 05A19; 03D20; 34G10; 41A58

Journal ref: Quaestiones Mathematicae (2021)

Towards differentiation and integration between Hopf algebroids and Lie algebroids

Authors: Alessandro Ardizzoni, Laiachi El Kaoutit, Paolo Saracco

Abstract: In this paper we set up the foundations around the notions of formal differentiation and formal integration in the context of commutative Hopf algebroids and Lie-Rinehart algebras. Specifically, we construct a contravariant functor from the category of commutative Hopf algebroids with a fixed base algebra to that of Lie-Rinehart algebras over the same algebra, the differentiation functor, which ca… ▽ More In this paper we set up the foundations around the notions of formal differentiation and formal integration in the context of commutative Hopf algebroids and Lie-Rinehart algebras. Specifically, we construct a contravariant functor from the category of commutative Hopf algebroids with a fixed base algebra to that of Lie-Rinehart algebras over the same algebra, the differentiation functor, which can be seen as an algebraic counterpart to the differentiation process from Lie groupoids to Lie algebroids. The other way around, we provide two interrelated contravariant functors form the category of Lie-Rinehart algebras to that of commutative Hopf algebroids, the integration functors. One of them yields a contravariant adjunction together with the differentiation functor. Under mild conditions, essentially on the base algebra, the other integration functor only induces an adjunction at the level of Galois Hopf algebroids. By employing the differentiation functor, we also analyse the geometric separability of a given morphism of Hopf algebroids. Several examples and applications are presented along the exposition. △ Less

Submitted 17 July, 2020; v1 submitted 24 May, 2019; originally announced May 2019.

Comments: Minor changes. Comments are very welcome!

MSC Class: 14L17; 16T15; 16S30; 20L05; 22A22; 20F40; 13N15; 22E20

Journal ref: Publ. Mat. 67 (2023), no. 1, 3-88

Categorified groupoid-sets and their Burnside ring

Authors: Laiachi El Kaoutit, Leonardo Spinosa

Abstract: We explore the category of internal categories in the usual category of (right) group-sets, whose objects are referred to as categorified group-sets. More precisely, we develop a new Burnside theory, where the equivalence relation between two categorified group-sets is given by a particular equivalence between the underlying categories. We also exhibit some of the differences between the old Burns… ▽ More We explore the category of internal categories in the usual category of (right) group-sets, whose objects are referred to as categorified group-sets. More precisely, we develop a new Burnside theory, where the equivalence relation between two categorified group-sets is given by a particular equivalence between the underlying categories. We also exhibit some of the differences between the old Burnside theory and the new one. Lastly, we briefly explain how to extend these new techniques and concepts to the context of groupoids, employing the categories of (right) groupoid-sets, aiming by this to give an alternative approach to the classical Burnside ring of groupoids. △ Less

Submitted 16 June, 2019; v1 submitted 28 November, 2018; originally announced November 2018.

Comments: 21 pages. The title has been changed according to the referee's suggestions. To appear in Turkish Journal of Mathematics

MSC Class: Primary 18D20; 18D10; 19A22; Secondary 18D05; 20L05; 18B40; 18G30

On Burnside Theory for groupoids

Authors: Laiachi El Kaoutit, Leonardo Spinosa

Abstract: We explore the concept of conjugation between subgroupoids, providing several characterizations of the conjugacy relation (Theorem A in §1.2). We show that two finite groupoid-sets, over a locally strongly finite groupoid, are isomorphic, if and only if, they have the same number of fixed points with respect to any subgroupoid with a single object (Theorem B in §1.2). Lastly, we examine the ghost… ▽ More We explore the concept of conjugation between subgroupoids, providing several characterizations of the conjugacy relation (Theorem A in §1.2). We show that two finite groupoid-sets, over a locally strongly finite groupoid, are isomorphic, if and only if, they have the same number of fixed points with respect to any subgroupoid with a single object (Theorem B in §1.2). Lastly, we examine the ghost map of a finite groupoid and the idempotents elements of its Burnside algebra. The exposition includes an Appendix where we gather the main general technical notions that are needed along the paper. △ Less

Submitted 28 June, 2021; v1 submitted 12 July, 2018; originally announced July 2018.

Comments: The abstract and subsection 1.1 are changed; the title as well

MSC Class: 18B40; 20L05; 19A22

Linear Representations and Frobenius Morphisms of Groupoids

Authors: Juan Jesús Barbarán Sánchez, Laiachi EL Kaoutit

Abstract: Given a morphism of (small) groupoids with injective object map, we provide sufficient and necessary conditions under which the induction and co-induction functors between the categories of linear representations are naturally isomorphic. A morphism with this property is termed a Frobenius morphism of groupoids. As a consequence, an extension by a subgroupoid is Frobenius if and only if each fibre… ▽ More Given a morphism of (small) groupoids with injective object map, we provide sufficient and necessary conditions under which the induction and co-induction functors between the categories of linear representations are naturally isomorphic. A morphism with this property is termed a Frobenius morphism of groupoids. As a consequence, an extension by a subgroupoid is Frobenius if and only if each fibre of the (left or right) pull-back biset has finitely many orbits. Our results extend and clarify the classical Frobenius reciprocity formulae in the theory of finite groups, and characterize Frobenius extension of algebras with enough orthogonal idempotents. △ Less

Submitted 12 March, 2019; v1 submitted 25 June, 2018; originally announced June 2018.

MSC Class: 18D10; 16D90; 18D35; 18B40; 20L05; 20L99

Journal ref: SIGMA 15 (2019), 019, 33 pages

Mackey formula for bisets over groupoids

Authors: Laiachi El Kaoutit, Leonardo Spinosa

Abstract: In this paper we establish the Mackey formula for groupoids, extending the well known formula in abstract groups context. This formula involves the notion of groupoid-biset, its orbit set and the tensor product over groupoids, as well as cosets by subgroupoids. In this paper we establish the Mackey formula for groupoids, extending the well known formula in abstract groups context. This formula involves the notion of groupoid-biset, its orbit set and the tensor product over groupoids, as well as cosets by subgroupoids. △ Less

Submitted 10 December, 2018; v1 submitted 20 November, 2017; originally announced November 2017.

Comments: 24 pages, section 5 added, further minor modifications

MSC Class: Primary 18B40; 20L05; 22F05; Secondary 20C15; 13A50

Topological tensor product of bimodules, complete Hopf Algebroids and convolution algebras

Authors: Laiachi El Kaoutit, Paolo Saracco

Abstract: Given a finitely generated and projective Lie-Rinehart algebra, we show that there is a continuous homomorphism of complete commutative Hopf algebroids between the completion of the finite dual of its universal envelo** Hopf algebroid and the associated convolution algebra. The topological Hopf algebroid structure of this convolution algebra is here clarified, by providing an explicit descriptio… ▽ More Given a finitely generated and projective Lie-Rinehart algebra, we show that there is a continuous homomorphism of complete commutative Hopf algebroids between the completion of the finite dual of its universal envelo** Hopf algebroid and the associated convolution algebra. The topological Hopf algebroid structure of this convolution algebra is here clarified, by providing an explicit description of its topological antipode as well as of its other structure maps. Conditions under which that homomorphism becomes an homeomorphism are also discussed. These results, in particular, apply to the smooth global sections of any Lie algebroid over a smooth (connected) manifold and they lead a new formal groupoid scheme to enter into the picture. In the Appendix we develop the necessary machinery behind complete Hopf algebroid constructions, which involves also the topological tensor product of filtered bimodules over filtered rings. △ Less

Submitted 15 February, 2018; v1 submitted 18 May, 2017; originally announced May 2017.

Comments: Minor changes, 33 pages. To appear in CCM

MSC Class: 13J10; 20L05; 13N10; 16W70 (Primary); 46M05; 16W50; 16T15; 22A22 (Secondary)

Journal ref: Commun. Contemp. Math. 21 (2019), no. 6, 1850015, 53 pp

Comparing topologies on linearly recursive sequences

Authors: Laiachi El Kaoutit, Paolo Saracco

Abstract: The space of linearly recursive sequences of complex numbers admits two distinguished topologies. Namely, the adic topology induced by the ideal of those sequences whose first term is $0$ and the topology induced from the Krull topology on the space of complex power series via a suitable embedding. We show that these topologies are not equivalent. The space of linearly recursive sequences of complex numbers admits two distinguished topologies. Namely, the adic topology induced by the ideal of those sequences whose first term is $0$ and the topology induced from the Krull topology on the space of complex power series via a suitable embedding. We show that these topologies are not equivalent. △ Less

Submitted 9 May, 2017; originally announced May 2017.

Comments: 8 pages

MSC Class: Primary: 13J05; 40A05; 16W70; Secondary: 13J10; 54A10; 16W80

Journal ref: Ars Math. Contemp. 16 (2019), n. 2, 319-329

Finite dual of a cocommutative Hopf algebroid. Application to linear differential matrix equations and Picard-Vessiot theory

Authors: Laiachi El Kaoutit, José Gómez-Torrecillas

Abstract: A fundamental tool of Differential Galois Theory is the assignment of an algebraic group to each finite-dimensional differential module over differential field in such a way that the category of differential modules it generates is equivalent, as a symmetric monoidal category, to the category of representations of the group. Its underlying set is then recognized as the group of differential automo… ▽ More A fundamental tool of Differential Galois Theory is the assignment of an algebraic group to each finite-dimensional differential module over differential field in such a way that the category of differential modules it generates is equivalent, as a symmetric monoidal category, to the category of representations of the group. Its underlying set is then recognized as the group of differential automorphisms of the Picard-Vessiot field extension of the base field for this differential module. These results can be obtained by means of a Tannaka reconstruction process, applied to the abelian category of finite-dimensional differential modules. In this paper, we explore the possibility of extending this theory when the differential field is replaced by a more general differential ring $A$. In this case, it is reasonable to deal with differential modules which are finitely generated and projective over $A$. A major obstacle is that this category is not abelian, in contrast with the classical case when $A$ is a field. To overcome this difficulty, we develop some fundamental results concerning the \emph{finite dual}, hereby introduced, of a cocommutative Hopf algebroid, and a canonical monoidal functor sending (differential) modules to comodules. This functor is proved to be an equivalence of categories whenever a canonical ring homomorphism, which is introduced in this work, with domain in the aforementioned finite dual and with values in the convolutional ring, is injective. Module-theoretical sufficient conditions to get its injectivity are investigated. This machinery is applied to differential modules and their Picard-Vessiot theory. △ Less

Submitted 27 April, 2018; v1 submitted 26 July, 2016; originally announced July 2016.

Comments: 45 pages. The paper is now entirely improved. New references were incorporated and the Picard-Vessiot theory, following Y. André, is contemplated as well as Malgrange's and Umemura's approaches to linear differential matrix equations

MSC Class: 18D10; 13N10; 16W25; 13B99; 16T10; 20G99; 34G10

On geometrically transitive Hopf algebroids

Authors: Laiachi El Kaoutit

Abstract: This paper contributes to the characterization of a certain class of commutative Hopf algebroids. It is shown that a commutative flat Hopf algebroid with a non zero base ring and a nonempty character groupoid is geometrically transitive if and only if any base change morphism is a weak equivalence (in particular, if any extension of the base ring is Landweber exact), if and only if any trivial bun… ▽ More This paper contributes to the characterization of a certain class of commutative Hopf algebroids. It is shown that a commutative flat Hopf algebroid with a non zero base ring and a nonempty character groupoid is geometrically transitive if and only if any base change morphism is a weak equivalence (in particular, if any extension of the base ring is Landweber exact), if and only if any trivial bundle is a principal bi-bundle, and if and only if any two objects are fpqc locally isomorphic. As a consequence, any two isotropy Hopf algebras of a geometrically transitive Hopf algebroid (as above) are weakly equivalent. Furthermore, the character groupoid is transitive and any two isotropy Hopf algebras are conjugated. Several other characterizations of these Hopf algebroids in relation to transitive groupoids are also given. △ Less

Submitted 29 December, 2017; v1 submitted 24 August, 2015; originally announced August 2015.

Comments: 30 pages, the changes were made following the referee suggestions. Final version, to appear in JPAA

MSC Class: Primary 16D90; 16T15; 18B40; 18D35; 18D10; Secondary 14M17; 20L05; 58H05

Functorial Constructions for Non-associative Algebras with Applications to Quasi-bialgebras

Authors: Alessandro Ardizzoni, Laiachi El Kaoutit, Paolo Saracco

Abstract: The aim of this paper is to establish a contravariant adjunction between the category of quasi-bialgebras and a suitable full subcategory of dual quasi-bialgebras, adapting the notion of finite dual to this framework. Various functorial constructions involving non-associative algebras and non-coassociative coalgebras are then carried out. Several examples illustrating our methods are expounded as… ▽ More The aim of this paper is to establish a contravariant adjunction between the category of quasi-bialgebras and a suitable full subcategory of dual quasi-bialgebras, adapting the notion of finite dual to this framework. Various functorial constructions involving non-associative algebras and non-coassociative coalgebras are then carried out. Several examples illustrating our methods are expounded as well. △ Less

Submitted 9 July, 2015; originally announced July 2015.

MSC Class: Primary 17A01; 17B62; Secondary 16T99; 18D25

Journal ref: J. Algebra 449 (2016), 460-496

Hereditary triangular matrix comonads

Authors: Laiachi El Kaoutit, José Gómez-Torrecillas

Abstract: We recognise Harada's generalized categories of diagrams as a particular case of modules over a monad defined on a finite direct product of additive categories. We work in the dual (albeit formally equivalent) situation, that is, with comodules over comonads. With this conceptual tool at hand, we obtain several of the Harada results with simpler proofs, some of them under more general hypothesis,… ▽ More We recognise Harada's generalized categories of diagrams as a particular case of modules over a monad defined on a finite direct product of additive categories. We work in the dual (albeit formally equivalent) situation, that is, with comodules over comonads. With this conceptual tool at hand, we obtain several of the Harada results with simpler proofs, some of them under more general hypothesis, besides with a characterization of the normal triangular matrix comonads that are hereditary, that is, of homological dimension less or equal than $1$. Our methods rest on a matrix representation of additive functors and natural transformations, which allows us to adapt typical algebraic manipulations from Linear Algebra to the additive categorical setting. △ Less

Submitted 28 April, 2015; originally announced April 2015.

MSC Class: 15A30; 18G20; 18C20; 16T15

Morita theory for Hopf algebroids, principal bibundles, and weak equivalences

Authors: Laiachi El Kaoutit, Niels Kowalzig

Abstract: We show that two flat commutative Hopf algebroids are Morita equivalent if and only if they are weakly equivalent and if and only if there exists a principal bibundle connecting them. This gives a positive answer to a conjecture due to Hovey and Strickland. We also prove that principal (left) bundles lead to a bicategory together with a 2-functor from flat Hopf algebroids to trivial principal bund… ▽ More We show that two flat commutative Hopf algebroids are Morita equivalent if and only if they are weakly equivalent and if and only if there exists a principal bibundle connecting them. This gives a positive answer to a conjecture due to Hovey and Strickland. We also prove that principal (left) bundles lead to a bicategory together with a 2-functor from flat Hopf algebroids to trivial principal bundles. This turns out to be the universal solution for 2-functors which send weak equivalences to invertible 1-cells. Our approach can be seen as an algebraic counterpart to Lie groupoid Morita theory. △ Less

Submitted 13 February, 2017; v1 submitted 28 July, 2014; originally announced July 2014.

Comments: 50 pages; v2: added a section in which we exhibit the categorical group structure of monoidal symmetric autoequivalences. v3: added a section which explains the abstract groupoid case as a guideline and for motivation. To appear in Doc. Math

Report number: Roma01.Math

Representative functions on discrete groupoids and duality with Hopf algebroids

Authors: Laiachi EL Kaoutit

Abstract: The aim of this paper is to establish a duality between the category of discrete groupoids and the category of geometrically transitive commutative Hopf algebroids in the sense of P. Deligne and A. Bruguières. In one direction we have the usual contravariant functor which assigns to each Hopf algebroid its characters groupoid (the fiber groupoid at the ground field). In the other direction we cons… ▽ More The aim of this paper is to establish a duality between the category of discrete groupoids and the category of geometrically transitive commutative Hopf algebroids in the sense of P. Deligne and A. Bruguières. In one direction we have the usual contravariant functor which assigns to each Hopf algebroid its characters groupoid (the fiber groupoid at the ground field). In the other direction we construct the contravariant functor which associated to each discrete groupoid its Hopf algebroid of representative functions. This duality extends the well known duality between discrete groups and commutative Hopf algebras, and also sheds light on a new approach to Tannaka-Krein duality for compact topological groupoids. Our results are supported by several illustrative examples including topological ones. △ Less

Submitted 28 November, 2013; v1 submitted 12 November, 2013; originally announced November 2013.

Comments: 23 pages. Minor typos fixed, added Examples 2.4 and 3.6. Comments welcome

MSC Class: Primary 18B40; 20L05; 20L15; Secondary 22A22; 14R20

Invertible Bimodules, Miyashita Action in Monoidal Categories and Azumaya Monoids

Authors: Alessandro Ardizzoni, Laiachi El Kaoutit

Abstract: In this paper we introduce and study Miyashita action in the context of monoidal categories aiming by this to provide a common framework of previous studies in the literature. We make a special emphasis of this action on Azumaya monoids. To this end, we develop the theory of invertible bimodules over different monoids (a sort of Morita contexts) in general monoidal categories as well as their corr… ▽ More In this paper we introduce and study Miyashita action in the context of monoidal categories aiming by this to provide a common framework of previous studies in the literature. We make a special emphasis of this action on Azumaya monoids. To this end, we develop the theory of invertible bimodules over different monoids (a sort of Morita contexts) in general monoidal categories as well as their corresponding Miyashita action. Roughly speaking, a Miyashita action is a homomorphism of groups from the group of all isomorphic classes of invertible subobjects of a given monoid to its group of automorphisms. In the symmetric case, we show that for certain Azumaya monoids, which are abundant in practice, the corresponding Miyashita action is always an isomorphism of groups. This generalizes Miyashita's classical result and sheds light on other applications of geometric nature which can not be treated using the classical theory. In order to illustrate our methods, we give a concrete application to the category of comodules over commutative (flat) Hopf algebroids. This obviously includes the special cases of split Hopf algebroids (action groupoids), which for instance cover the situation of the action of an affine algebraic group on an affine algebraic variety. △ Less

Submitted 3 September, 2014; v1 submitted 23 July, 2013; originally announced July 2013.

MSC Class: 18D10; 16H05; 14L30

Morita base change in Hopf-cyclic (co)homology

Authors: Laiachi El Kaoutit, Niels Kowalzig

Abstract: In this paper, we establish the invariance of cyclic (co)homology of left Hopf algebroids under the change of Morita equivalent base algebras. The classical result on Morita invariance for cyclic homology of associative algebras appears as a special example of this theory. In our main application we consider the Morita equivalence between the algebra of complex-valued smooth functions on the class… ▽ More In this paper, we establish the invariance of cyclic (co)homology of left Hopf algebroids under the change of Morita equivalent base algebras. The classical result on Morita invariance for cyclic homology of associative algebras appears as a special example of this theory. In our main application we consider the Morita equivalence between the algebra of complex-valued smooth functions on the classical 2-torus and the coordinate algebra of the noncommutative 2-torus with rational parameter. We then construct a Morita base change left Hopf algebroid over this noncommutative 2-torus and show that its cyclic (co)homology can be computed by means of the homology of the Lie algebroid of vector fields on the classical 2-torus. △ Less

Submitted 10 December, 2012; v1 submitted 16 November, 2011; originally announced November 2011.

Comments: Final version to appear in Lett. Math. Phys

MSC Class: 16D90; 16E40; 16T05; 18D10; 58B34

Invertible unital bimodules over rings with local units, and related exact sequences of groups II

Authors: L. EL Kaoutit, J. Gómez-Torrecillas

Abstract: Let $R$ be a ring with a set of local units, and a homomorphism of groups $\underlineΘ : \G \to \Picar{R}$ to the Picard group of $R$. We study under which conditions $\underlineΘ$ is determined by a factor map, and, henceforth, it defines a generalized crossed product with a same set of local units. Given a ring extension $R \subseteq S$ with the same set of local units and assuming that… ▽ More Let $R$ be a ring with a set of local units, and a homomorphism of groups $\underlineΘ : \G \to \Picar{R}$ to the Picard group of $R$. We study under which conditions $\underlineΘ$ is determined by a factor map, and, henceforth, it defines a generalized crossed product with a same set of local units. Given a ring extension $R \subseteq S$ with the same set of local units and assuming that $\underlineΘ$ is induced by a homomorphism of groups $\G \to \Inv{R}{S}$ to the group of all invertible $R$-sub-bimodules of $S$, then we construct an analogue of the Chase-Harrison-Rosenberg seven terms exact sequence of groups attached to the triple $(R \subseteq S, \underlineΘ)$, which involves the first, the second and the third cohomology groups of $\G$ with coefficients in the group of all $R$-bilinear automorphisms of $R$. Our approach generalizes the works by Kanzaki and Miyashita in the unital case. △ Less

Submitted 23 September, 2011; originally announced September 2011.

MSC Class: 16W22; 16D20; 18A05

Categories of comodules and chain complexes of modules

Authors: A. Ardizzoni, L. El Kaoutit, C. Menini

Abstract: Let $\lL(A)$ denote the coendomorphism left $R$-bialgebroid associated to a left finitely generated and projective extension of rings $R \to A$ with identities. We show that the category of left comodules over an epimorphic image of $\lL(A)$ is equivalent to the category of chain complexes of left $R$-modules. This equivalence is monoidal whenever $R$ is commutative and $A$ is an $R$-algebra. This… ▽ More Let $\lL(A)$ denote the coendomorphism left $R$-bialgebroid associated to a left finitely generated and projective extension of rings $R \to A$ with identities. We show that the category of left comodules over an epimorphic image of $\lL(A)$ is equivalent to the category of chain complexes of left $R$-modules. This equivalence is monoidal whenever $R$ is commutative and $A$ is an $R$-algebra. This is a generalization, using entirely new tools, of results by B. Pareigis and D. Tambara for chain complexes of vector spaces over fields. Our approach relies heavily on the non commutative theory of Tannaka reconstruction, and the generalized faithfully flat descent for small additive categories, or rings with enough orthogonal idempotents. △ Less

Submitted 4 May, 2011; v1 submitted 26 April, 2010; originally announced April 2010.

Comments: The title has been changed, the first part is removed and the construction of the coendomorphim bialgebroid is now freely used in the statement of the main Theorems

MSC Class: Primary 18D10; Secondary 16W30

Invertible unital bimodules over rings with local units, and related exact sequences of groups

Authors: L. El Kaoutit, J. Gómez-Torrecillas

Abstract: Given an extension $R \subseteq S$ of rings with same set of local units, inspired by the works of Miyashita, we construct four exact sequences of groups relating Picard's groups of $R$ and $S$. Given an extension $R \subseteq S$ of rings with same set of local units, inspired by the works of Miyashita, we construct four exact sequences of groups relating Picard's groups of $R$ and $S$. △ Less

Submitted 26 March, 2009; originally announced March 2009.

Corings with decomposition and semiperfect corings

Authors: L. El Kaoutit, J. Gómez-Torrecillas

Abstract: We give a characterization, in terms of Galois infinite comatrix corings, of the corings that decompose as a direct sum of left comodules which are finitely generated as left modules. Then we show that the associated rational functor is exact. This is the case of a right semiperfect coring which is locally projective and whose Galois comodule is a projective left unital module with superfluous r… ▽ More We give a characterization, in terms of Galois infinite comatrix corings, of the corings that decompose as a direct sum of left comodules which are finitely generated as left modules. Then we show that the associated rational functor is exact. This is the case of a right semiperfect coring which is locally projective and whose Galois comodule is a projective left unital module with superfluous radical. △ Less

Submitted 13 February, 2009; originally announced February 2009.

Coinduction functor and simple comodules

Authors: L. El Kaoutit, J. Gómez-Torrecillas

Abstract: Consider a coring with exact rational functor, and a finitely generated and projective right comodule. We construct a functor (\emph{coinduction functor}) which is right adjoint to the hom-functor represented by this comodule. Using the coinduction functor, we establish a bijective map between the set of representative classes of torsion simple right comodules and the set of representative class… ▽ More Consider a coring with exact rational functor, and a finitely generated and projective right comodule. We construct a functor (\emph{coinduction functor}) which is right adjoint to the hom-functor represented by this comodule. Using the coinduction functor, we establish a bijective map between the set of representative classes of torsion simple right comodules and the set of representative classes of simple right modules over the endomorphism ring. A detailed application to a group-graded modules is also given. △ Less

Submitted 12 February, 2009; originally announced February 2009.

On the set of grouplikes of a coring

Authors: L. El Kaoutit, J. Gomez-Torrecillas

Abstract: We focus our attention to the set $\gl{\coring{C}}$ of grouplike elements of a coring $\coring{C}$ over a ring $A$. We do some observations on the actions of the groups $U(A)$ and $\aut{\coring{C}}$ of units of $A$ and of automorphisms of corings of $\coring{C}$, respectively, on $\gl{\coring{C}}$, and on the subset $\galois{\coring{C}}$ of all Galois grouplike elements. Among them, we give cond… ▽ More We focus our attention to the set $\gl{\coring{C}}$ of grouplike elements of a coring $\coring{C}$ over a ring $A$. We do some observations on the actions of the groups $U(A)$ and $\aut{\coring{C}}$ of units of $A$ and of automorphisms of corings of $\coring{C}$, respectively, on $\gl{\coring{C}}$, and on the subset $\galois{\coring{C}}$ of all Galois grouplike elements. Among them, we give conditions on $\coring{C}$ under which $\galois{\coring{C}}$ is a group, in such a way that there is an exact sequence of groups $\{1\} \to U(A^{g}) \to U(A) \to \galois{\coring{C}} \to \{1\},$ where $A^g$ is the subalgebra of coinvariants for some $g \in \galois{\coring{C}}$. △ Less

Submitted 27 January, 2009; originally announced January 2009.

Non-commutative integral forms and twisted multi-derivations

Authors: Tomasz Brzezinski, Laiachi El Kaoutit, Christian Lomp

Abstract: Non-commutative connections of the second type or hom-connections and associated integral forms are studied as generalisations of right connections of Manin. First, it is proven that the existence of hom-connections with respect to the universal differential graded algebra is tantamount to the injectivity, and that every finitely cogenerated injective module admits a hom-connection with respect… ▽ More Non-commutative connections of the second type or hom-connections and associated integral forms are studied as generalisations of right connections of Manin. First, it is proven that the existence of hom-connections with respect to the universal differential graded algebra is tantamount to the injectivity, and that every finitely cogenerated injective module admits a hom-connection with respect to any differential graded algebra. The bulk of the paper is devoted to describing a method of constructing hom-connections from twisted multi-derivations. The notion of a free twisted multi-derivation is introduced and the induced first order differential calculus is described. It is shown that any free twisted multi-derivation on an algebra A induces a unique hom-connection on A that vanishes on the dual basis for the module of one-forms. To any flat hom-connection \nabla on A one associates a chain complex, termed a complex of integral forms on A. The canonical cokernel morphism to the zeroth homology space is called a \nabla-integral. Examples of free twisted multi-derivations, hom-connections and corresponding integral forms are provided by covariant calculi on Hopf algebras or quantum groups and on quantum spaces. The example of a flat hom-connection within the 3D left-covariant differential calculus on the quantum group SL(2) is described in full detail. A descent of hom-connections to the base algebra of a faithfully flat Hopf-Galois extension or a principal comodule algebra is studied. As an example, a hom-connection on the standard quantum Podles sphere is presented. In both cases the complex of integral forms is shown to be isomorphic to the de Rham complex, and the \nabla-integrals coincide with Hopf-theoretic integrals or invariant (Haar) measures. △ Less

Submitted 18 January, 2009; originally announced January 2009.

Comments: 28 pages

MSC Class: 58B32; 16W25

Corings with exact rational functors and injective objects

Authors: L. El Kaoutit, J. Gómez-Torrecillas

Abstract: We describe how some aspects of abstract localization on module categories have applications to the study of injective comodules over some special types of corings. We specialize the general results to the case of Doi-Koppinen modules, generalizing previous results in this setting. We describe how some aspects of abstract localization on module categories have applications to the study of injective comodules over some special types of corings. We specialize the general results to the case of Doi-Koppinen modules, generalizing previous results in this setting. △ Less

Submitted 10 July, 2007; originally announced July 2007.

Compatibility Condition between ring and coring

Authors: L. El Kaoutit

Abstract: We introduce the notion of bi-monoid in general monoidal category generalizing by this the notion of bialgebra. In the case of bimodules over a noncommutative algebra, we obtain a compatibility condition between ring and coring whenever both structures admit the same underlying bimodule. We introduce the notion of bi-monoid in general monoidal category generalizing by this the notion of bialgebra. In the case of bimodules over a noncommutative algebra, we obtain a compatibility condition between ring and coring whenever both structures admit the same underlying bimodule. △ Less

Submitted 23 January, 2007; originally announced January 2007.

MSC Class: 16W30; 16D20; 16D90

Extended Distributive Law: Co-wreath over co-rings

Authors: L. El Kaoutit

Abstract: A basic theory of cowreath or extended distributive laws in the bicategory of unital bimodules, is deciphered. Precisely, we give in terms of tensor product over a scalar base ring, a simplest and equivalent definition for cowreath over coring and for comodule over cowreath. An adjunction connecting the category of comodules over the factor coring and the category of comodules over the coring ar… ▽ More A basic theory of cowreath or extended distributive laws in the bicategory of unital bimodules, is deciphered. Precisely, we give in terms of tensor product over a scalar base ring, a simplest and equivalent definition for cowreath over coring and for comodule over cowreath. An adjunction connecting the category of comodules over the factor coring and the category of comodules over the coring arising from the cowreath products is also given. The dual notions i.e. wreaths over rings extension and their modules are included. △ Less

Submitted 28 December, 2006; originally announced December 2006.

MSC Class: 16W30; 16D20; 16D90

Wide Morita contexts in Bicategories

Authors: L. El Kaoutit

Abstract: We give a formal concept of (right) wide Morita context between two 0-cells in arbitrary bicategory. We then construct a new bicategory with the same 0-cells as the oldest one, and with 1-cells all these (right) wide Morita contexts. An application to the (right) Eilenberg-Moore bicategory of comonads associated to the bimodules bicategory is also given. We give a formal concept of (right) wide Morita context between two 0-cells in arbitrary bicategory. We then construct a new bicategory with the same 0-cells as the oldest one, and with 1-cells all these (right) wide Morita contexts. An application to the (right) Eilenberg-Moore bicategory of comonads associated to the bimodules bicategory is also given. △ Less

Submitted 27 April, 2009; v1 submitted 24 August, 2006; originally announced August 2006.

MSC Class: 16W30; ; 16D20; 16D90

Journal ref: Arab. J. Sci. Eng. Vol 33, n. 2C (2008), 153-173

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

Corings over rings with local units

Authors: L. El Kaoutit

Abstract: We show that the category of corings over a fixed base ring with local units is equivalent to the category of comonads in (right) unital modules whose underlying functors preserve inductive limits. Changing base rings, we prove a bi-equivalence of bicategories. A base ring extension of corings by adjunctions is also introduced. We show that the category of corings over a fixed base ring with local units is equivalent to the category of comonads in (right) unital modules whose underlying functors preserve inductive limits. Changing base rings, we prove a bi-equivalence of bicategories. A base ring extension of corings by adjunctions is also introduced. △ Less

Submitted 27 April, 2009; v1 submitted 30 December, 2005; originally announced December 2005.

MSC Class: 16W30; 13B02

Journal ref: Math. Nachr. 282, No. 5 (2009), 726-747

Comatrix Corings an Invertible Bimodules

Authors: L. El Kaoutit, J. Gomez-Torrecillas

Abstract: We extend Masuoka's Theorem [11] concerning the isomorphism between the group of invertible bimodules in a non-commutative ring extension and the group of automorphisms of the associated Sweedler's canonical coring, to the class of finite comatrix corings introduced in [6]. We extend Masuoka's Theorem [11] concerning the isomorphism between the group of invertible bimodules in a non-commutative ring extension and the group of automorphisms of the associated Sweedler's canonical coring, to the class of finite comatrix corings introduced in [6]. △ Less

Submitted 3 January, 2005; originally announced January 2005.

Comments: 10 pages

MSC Class: 16W30; 13B02

Monoidal Categories of Corings

Authors: L. El Kaoutit

Abstract: We introduce a monoidal category of corings using two different notions of corings morphisms. The first one is the (right) coring extensions recently introduced by T. Brzeziński in [2], and the anther is the usual notion of morphisms defined in [5] by J. Gómez-Torrecillas. We introduce a monoidal category of corings using two different notions of corings morphisms. The first one is the (right) coring extensions recently introduced by T. Brzeziński in [2], and the anther is the usual notion of morphisms defined in [5] by J. Gómez-Torrecillas. △ Less

Submitted 8 November, 2004; originally announced November 2004.

Comments: 10 pages

MSC Class: 16W30

The bicategories of corings

Authors: Tomasz Brzezinski, L El Kaoutit, J Gomez-Torrecillas

Abstract: To a B-coring and a (B,A)-bimodule that is finitely generated and projective as a right A-module an A-coring is associated. This new coring is termed a base ring extension of a coring by a module. We study how the properties of a bimodule such as separability and the Frobenius properties are reflected in the induced base ring extension coring. Any bimodule that is finitely generated and projecti… ▽ More To a B-coring and a (B,A)-bimodule that is finitely generated and projective as a right A-module an A-coring is associated. This new coring is termed a base ring extension of a coring by a module. We study how the properties of a bimodule such as separability and the Frobenius properties are reflected in the induced base ring extension coring. Any bimodule that is finitely generated and projective on one side, together with a map of corings over the same base ring, lead to the notion of a module-morphism, which extends the notion of a morphism of corings (over different base rings). A module-morphism of corings induces functors between the categories of comodules. These functors are termed pull-back and push-out functors respectively and thus relate categories of comodules of different corings. We study when the pull-back functor is fully faithful and when it is an equivalence. A generalised descent associated to a morphism of corings is introduced. We define a category of module-morphisms, and show that push-out functors are naturally isomorphic to each other if and only if the corresponding module-morphisms are mutually isomorphic. All these topics are studied within a unifying language of bicategories and the extensive use is made of interpretation of corings as comonads in the bicategory Bim of bimodules and module-morphisms as 1-cells in the associated bicategories of comonads in Bim. △ Less

Submitted 7 July, 2005; v1 submitted 3 August, 2004; originally announced August 2004.

Comments: 35 pages; major revision (including a change of the title); to appear in J Pure Appl Algebra

MSC Class: 16W30; 13B02

Infinite Comatrix Corings

Authors: L. El Kaoutit, J. Gomez-Torrecillas

Abstract: We characterize the corings whose category of comodules has a generating set of small projective comodules in terms of the (non commutative) descent theory. In order to extricate the structure of these corings, we give a generalization of the notions of comatrix coring and Galois comodule which avoid finiteness conditions. A sufficient condition for a coring to be isomorphic to an infinite comat… ▽ More We characterize the corings whose category of comodules has a generating set of small projective comodules in terms of the (non commutative) descent theory. In order to extricate the structure of these corings, we give a generalization of the notions of comatrix coring and Galois comodule which avoid finiteness conditions. A sufficient condition for a coring to be isomorphic to an infinite comatrix coring is found. We deduce in particular that any coalgebra over a field and the coring associated to a group-graded ring are isomorphic to adequate infinite comatrix corings. We also characterize when the free module canonically associated to a (not necessarily finite) set of group like elements is Galois. △ Less

Submitted 15 March, 2004; originally announced March 2004.

Comatrix corings: Galois corings, Descent Theory, and a Structure Theorem for Cosemisimple corings

Authors: L. El Kaoutit, J. Gomez-Torrecillas

Abstract: In order to extrincate the structure of corings with a finitely generated and projective generator we give the notion of a comatrix coring. As consequences we give generalizations of the main characterizations of faithfully flat Galois corings and extensions which work for corings without grouplike elements, as well as a generalization of the Descent Theorem. We provide also a complete descripti… ▽ More In order to extrincate the structure of corings with a finitely generated and projective generator we give the notion of a comatrix coring. As consequences we give generalizations of the main characterizations of faithfully flat Galois corings and extensions which work for corings without grouplike elements, as well as a generalization of the Descent Theorem. We provide also a complete description of all cosemisimple corings. No restrictions are made over the ground noncommutative ring. △ Less

Submitted 23 July, 2002; originally announced July 2002.

Comments: 19 pages

MSC Class: 16

Semisimple corings

Authors: L. El Kaoutit, J. Gomez-Torrecillas, F. J. Lobillo

Abstract: While semisimple artinian rings and semisimple coalgebras over a field can be described in terms of matrices (either matrix ring over division rings or comatrix coalgebras over the ground field), semisimple corings seem to have a more intrincated structure in general. It turns out that some well-known properties of semisimple rings or coalgebras, which are immediately deduced from the aforementi… ▽ More While semisimple artinian rings and semisimple coalgebras over a field can be described in terms of matrices (either matrix ring over division rings or comatrix coalgebras over the ground field), semisimple corings seem to have a more intrincated structure in general. It turns out that some well-known properties of semisimple rings or coalgebras, which are immediately deduced from the aforementioned structure, are not evident over a (left) semi-simple coring. For instance, it is not evident that the notion of semi-simple coring is left-right symmetric. To be precise, if every left comodule decomposes a a direct sum of simple comodules, do the right comodules have such a decomposition? In other words, is every left semi-simple coring a right semi-simple coring? We develope the basic essentials for a theory of semi-simple corings, giving a positive answer for the last question, as well as some information about the structure of semi-simple corings. △ Less

Submitted 9 January, 2002; originally announced January 2002.

Journal ref: Algebra Colloquium Volume: 11, Issue: 4, Pages: 427-442, Dec 2004