J. Gomez-Torrecillas, M. Zarouali Darkaoui
We investigate Frobenius pairs between categories of comodules over rather general corings. We particularize to the case of the adjoint pair of functors associated to a morphism of corings over different base rings, which leads to a reasonable notion of Frobenius coring extension. When applied to corings stemming from entwining structures, we obtain new results in this setting.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
It is proved here that any quasi-Frobenius bimodule produces a quasi-Frobenius comatrix coring
We investigate adjoint and Frobenius pairs between categories of comodules over rather general corings. We particularize to the case of the adjoint pair of functors associated to a morphism of corings over different base rings, which leads to a reasonable notion of Frobenius coring extension. When applied to corings stemming from entwining structures, we obtain new results in this setting and in graded ring theory.
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 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.
To any bimodule which is finitely generated and projective on one side one can associate a coring, known as a comatrix coring. A new description of comatrix corings in terms of data reminiscent of a Morita context is given. It is also studied how properties of bimodules are reflected in the associated comatrix corings. In particular it is shown that separable bimodules give rise to coseparable comatrix corings, while Frobenius bimodules induce Frobenius comatrix corings.
We study adjoint and Frobenius pairs of functors, equivalences, and the Picard group for corings.
Let $\Cc$ and $\Dd$ be two corings over a ring $A$ and $\Cc\stackrelλ{\longrightarrow}\Dd$ be a morphism of corings. We investigate the situation when the associated induced ("corestriction of scalars") functor $\Mm^\Cc\longrightarrow \Mm^\Dd$ is a Frobenius functor, and call these morphisms Frobenius extensions of corings. The characterization theorem generalizes notions such as Frobenius corings and is applied to several situations; in particular, provided some (general enough) flatness conditions hold, the notion proves to be dual to that of Frobenius extensions of rings (algebras). Several…
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.
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 corin…
We give characterizations of the separability of the induction and ad-induction functors associated to a coring morphism.
The notion of a Frobenius coring is introduced, and it is shown that any such coring produces a tower of Frobenius corings and Frobenius extensions. This establishes a one-to-one correspondence between Frobenius corings and extensions.
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-F…
In this note we consider different versions of coinduction functors between categories of comodules for corings induced by a morphism of corings. In particular we introduce a new version of the coinduction functor in the case of locally projective corings as a composition of suitable ``Trace'' and ``Hom'' functors and show how to derive it from a more general coinduction functor between categories of type $σ\lbrack M].$ In special cases (e.g. the corings morphism is part of a morphism of measuring $α$-pairings or the corings have the same base ring), a version of our functor is shown to be iso…
A notion of a coring extension is defined and it is related to the existence of an additive functor between comodule categories that factorises through forgetful functors. This correspondence between coring extensions and factorisable functors is illustrated by functors between categories of descent data. A category in which objects are corings and morphisms are coring extensions is also introduced.
Given a ring $A$ and an $A$-coring $\cC$ we study when the forgetful functor from the category of right $\cC$-comodules to the category of right $A$-modules and its right adjoint $-\otimes_A\cC$ are separable. We then proceed to study when the induction functor $-\otimes_A\cC$ is also the left adjoint of the forgetful functor. This question is closely related to the problem when $A\to {}_A{\rm Hom}(\cC,A)$ is a Frobenius extension. We introduce the notion of a Galois coring and analyse when the tensor functor over the subring of $A$ fixed under the coaction of $\cC$ is an equivalence. We also …
Comparing self-dual corings, Frobenius corings and Ringel self-duality
本文分类自对偶余环与自对偶代数扩张，将其（自）对偶性与Ringel（自）对偶性比较，揭示差异，给出余环自对偶的等价刻画并解释Ringel自对偶的同调特性。
We introduce group corings, and study functors between categories of comodules over group corings, and the relationship to graded modules over graded rings. Galois group corings are defined, and a Structure Theorem for the $G$-comodules over a Galois group coring is given. We study (graded) Morita contexts associated to a group coring. Our theory is applied to group corings associated to a comodule algebra over a Hopf group coalgebra.
We discuss when the Rat functor associated to a coring satisfying the left $α$-condition is exact. We study the category of comodules over a semiperfect coring. We characterize semiperfect corings over artinian rings and over qF-rings.
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.
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-m…
A relationship between coseparable corings and separable non-unital rings is established. In particular it is shown that an A-coring C has an associative A-balanced product. A Morita context is constructed for a coseparable coring with a grouplike element. Biseparable corings are defined, and a conjecture relating them to Frobenius corings is proposed.
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.
We extend the comatrix coring to the case of a quasi-finite bicomodule. We also generalize some of its interesting properties. We study equivalences between categories of comodules over rather general corings. We particularize to the case of the adjoint pair of functors associated to a morphism of corings over different base rings. We apply our results to corings coming from entwining structures and graded structures, and we obtain new results in the setting of entwining structures and in the graded ring theory.
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 sho…
A pair of adjoint functors $(F,G)$ is called a Frobenius pair of the second type if $G$ is a left adjoint of $βFα$ for some category equivalences $α$ and $β$. Frobenius ring extensions of the second kind provide examples of Frobenius pairs of the second kind. We study Frobenius pairs of the second kind between categories of modules, comodules, and comodules over a coring. We also show that a finitely generated projective Hopf algebra over a commutative ring is always a Frobenius extension of the second kind, and prove that the integral spaces of the Hopf algebra and its dual are isomorphic.
Let $R$, $S$ be two rings, $C$ an $R$-coring and ${}_{R}^C{\mathcal M}$ the category of left $C$-comodules. The category ${\bf Rep}\, ( {}_{R}^C{\mathcal M}, {}_{S}{\mathcal M} )$ of all representable functors ${}_{R}^C{\mathcal M} \to {}_{S}{\mathcal M}$ is shown to be equivalent to the opposite of the category ${}_{R}^C{\mathcal M}_S$. For $U$ an $(S,R)$-bimodule we give necessary and sufficient conditions for the induction functor $U\otimes_R - : {}_{R}^C\mathcal{M} \to {}_{S}\mathcal{M}$ to be: a representable functor, an equivalence of categories, a separable or a Frobenius functor. The l…
We investigate the property of being Frobenius for some functors strictly related with Hopf modules over a bialgebra and how this property reflects on the latter. In particular, we characterize one-sided Hopf algebras with anti-(co)multiplicative one-sided antipode as those for which the free Hopf module functor is Frobenius. As a by-product, this leads us to relate the property of being an FH-algebra (in the sense of Pareigis) for a given bialgebra with the property of being Frobenius for certain naturally associated functors.
Generalising the notion of Galois corings, Galois comodules were introduced as comodules $P$ over an $A$-coring $\cC$ for which $P_A$ is finitely generated and projective and the evaluation map $μ_\cC:\Hom^\cC(P,\cC)\ot_SP\to \cC$ is an isomorphism (of corings) where $S=\End^\cC(P)$. It was observed that for such comodules the functors $\Hom_A(P,-)\ot_SP$ and $-\ot_A\cC$ from the category of right $A$-modules to the category of right $\cC$-comodules are isomorphic. In this note we call modules $P$ with this property {\em Galois comodules} without requiring $P_A$ to be finitely generated and pr…
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.
We give a bicategorical version of the main result of A. Masuoka ({Corings and invertible bimodules,} {\em Tsukuba J. Math.} \textbf{13} (1989), 353--362) which proposes a non-commutative version of the fact that for a faithfully flat extension of commutative rings $R \subseteq S$, the relative Picard group $Pic(S/R)$ is isomorphic to the Amitsur 1--cohomology group $H^1(S/R,U)$ with coefficients in the units functor $U$.
We establish relations between Gorenstein projective precovers linked by Frobenius functors. This is motivated by an open problem that how to find general classes of rings for which modules have Gorenstein projective precovers. It is shown that if $F:\C\rightarrow\D$ is a separable Frobenius functor between abelian categories with enough projective objects, then every object in $\C$ has a Gorenstein projective precover provided that every object in $\D$ has a Gorenstein projective precover. This result is applied to separable Frobenius extensions and excellent extensions.
We show that the Nakayama automorphism of a Frobenius algebra $R$ over a field $k$ is independent of the field (Theorem 4). Consequently, the $k$-dual functor on left $R$-modules and the bimodule isomorphism type of the $k$-dual of $R$, and hence the question of whether $R$ is a symmetric $k$-algebra, are independent of $k$. We give a purely ring-theoretic condition that is necessary and sufficient for a finite-dimensional algebra over an infinite field to be a symmetric algebra (Theorem 7). Key words: Nakayama automorphism, Frobenius algebra, Frobenius ring, symmetric algebra, dual module, du…
The Chern-Galois theory is developed for corings or coalgebras over non-commutative rings. As the first step the notion of an entwined extension as an extension of algebras within a bijective entwining structure over a non-commutative ring is introduced. A strong connection for an entwined extension is defined and it is shown to be closely related to the Galois property and to the equivariant projectivity of the extension. A generalisation of the Doi theorem on total integrals in the framework of entwining structures over a non-commutative ring is obtained, and the bearing of strong connection…
Given a complete, cocomplete category $\mathcal C$, we investigate the problem of describing those small categories $I$ such that the diagonal functor $Δ:\mathcal C\to {\rm Functors}(I,\mathcal C)$ is a Frobenius functor. This condition can be rephrased by saying that the limits and the colimits of functors $I\to\mathcal C$ are naturally isomorphic. We find necessary conditions on $I$ for a certain class of categories $\mathcal C$, and, as an application, we give both necessary and sufficient conditions in the two special cases $\mathcal C={\bf Set}$ or $_R\mathcal M$, the category of left mod…
We prove that a quasi-bialgebra admits a preantipode if and only if the associated free quasi-Hopf bimodule functor is Frobenius, if and only if the relative (opmonoidal) monad is a Hopf monad. The same results hold in particular for a bialgebra, tightening the connection between Hopf and Frobenius properties.
Frobenius functors and $n$-torsionfree objects
本文研究阿贝尔范畴中 $n$-挠自由对象，证明 Frobenius 函子保持且忠实函子反映该性质，并利用挠自由滤过的稳定化建立弱 Gorenstein 性，同时将 Auslander 型条件传递到 Frobenius 扩张，并构造了非 Gorenstein 代数的实例。
Properties of (most general) non-commutative torsors or A-B torsors are analysed. Starting with pre-torsors it is shown that they are equivalent to a certain class of Galois extensions of algebras by corings. It is shown that a class of faithfully flat pre-torsors induces equivalences between categories of comodules of associated corings. It is then proven that A-B torsors correspond to monoidal functors (and, under some additional conditions, equivalences) between categories of comodules of bialgebroids.
Firm Frobenius algebras are firm algebras and counital coalgebras such that the comultiplication is a bimodule map. They are investigated by categorical methods based on a study of adjunctions and lifted functors. Their categories of comodules and of firm modules are shown to be isomorphic if and only if a canonical comparison functor from the category of comodules to the category of non-unital modules factorizes through the category of firm modules. This happens for example if the underlying algebra possesses local units, e.g. the firm Frobenius algebra arises from a co-Frobenius coalgebra ov…
We develop the basic constructions of homological algebra in the (appropriately defined) unbounded derived categories of modules over algebras over coalgebras over noncommutative rings (which we call semialgebras over corings). We define double-sided derived functors SemiTor and SemiExt of the functors of semitensor product and semihomomorphisms, and construct an equivalence between the exotic derived categories of semimodules and semicontramodules. Certain (co)flatness and/or (co)projectivity conditions have to be imposed on the coring and semialgebra to make the module categories abelian (an…
Let $A$ be a ring and $\M_A$ the category of $A$-modules. It is well known in module theory that for any $A $-bimodule $B$, $B$ is an $A$-ring if and only if the functor $-\otimes_A B: \M_A\to \M_A$ is a monad (or triple). Similarly, an $A $-bimodule $\C$ is an $A$-coring provided the functor $-\otimes_A\C:\M_A\to \M_A$ is a comonad (or cotriple). The related categories of modules (or algebras) of $-\otimes_A B$ and comodules (or coalgebras) of $-\otimes_A\C$ are well studied in the literature. On the other hand, the right adjoint endofunctors $\Hom_A(B,-)$ and $\Hom_A(\C,-)$ are a comonad and…
Recollements induced by left Frobenius pairs
本文研究阿贝尔范畴中左Frobenius对在逗号范畴中的诱导条件，并据此从其稳定范畴构造右三角范畴与三角范畴的重粘合，应用于完备遗传余挠对和Gorenstein投射对象。
We characterize noncommutative Frobenius algebras A in terms of the existence of a coproduct which is a map of left A^e-modules. We show that the category of right (left) comodules over A, relative to this coproduct, is isomorphic to the category of right (left) modules. This isomorphism enables a reformulation of the cotensor product of Eilenberg and Moore as a functor of modules rather than comodules. We prove that the cotensor product M \Box N of a right A-module M and a left A-module N is isomorphic to the vector space of homomorphisms from a particular left A^e-module D to N \otimes M, vi…
We study when induction functors (and their adjoints) between categories of Doi-Hopf modules and, more generally, entwined modules are separable, resp. Frobenius. We present a unified approach, leading to new proofs of old results by the authors, as well as to some new ones. Also our methods provide a categorical explanation for the relationship between separability and Frobenius properties.
The aim of this paper is mainly to build a new representation-theoretic realization of finite root systems through the so-called Frobenius-type triangular matrix algebras by the method of reflection functors over any field. Finally, we give an analog of APR-tilting module for this class of algebras. The major conclusions contains the known results as special cases, e.g. that for path algebras over an algebraically closed field and for path algebras with relations from symmetrizable cartan matrices. Meanwhile, it means the corresponding results for some other important classes of algebras, that…
We develop filtered-graded techniques for algebras in monoidal categories with the main goal of establishing a categorical version of Bongale's 1967 result: A filtered deformation of a Frobenius algebra over a field is Frobenius as well. Towards the goal, we first construct a monoidal associated graded functor, building on prior works of Ardizzoni-Menini, of Galatius et al., and of Gwillian-Pavlov. Next, we produce equivalent conditions for an algebra in a rigid monoidal category to be Frobenius in terms of the existence of categorical Frobenius form; this builds on work of Fuchs-Stigner. Thes…
Let K be a comonad on a model category M. We provide conditions under which the associated category of K-coalgebras admits a model category structure such that the forgetful functor to M creates both cofibrations and weak equivalences. We provide concrete examples that satisfy our conditions and are relevant in descent theory and in the theory of Hopf-Galois extensions. These examples are specific instances of the following categories of comodules over a coring. For any semihereditary commutative ring R, let A be a dg R-algebra that is homologically simply connected. Let V be an A-coring that …
Let $k$ be a commutative ring, let $\mathcal{C}$ be a small, $k$-linear, Hom-finite, locally bounded category, and let $\mathcal{B}$ be a $k$-linear abelian category. We construct a Frobenius exact subcategory $\mathcal{GP}(\mathcal{G}_P\operatorname{proj}(\mathcal{B}^{\mathcal{C}}))$ of the functor category $\mathcal{B}^{\mathcal{C}}$, and we show that it is a subcategory of the Gorenstein projective objects $\mathcal{GP}(\mathcal{B}^{\mathcal{C}})$ in $\mathcal{B}^{\mathcal{C}}$. Furthermore, we obtain criteria for when $\mathcal{GP}(\mathcal{G}_P\operatorname{proj}(\mathcal{B}^{\mathcal{C}}…
Consider the obvious functor from the unbounded derived category of all finitely generated modules over a left noetherian ring $R$ to the unbounded derived category of all modules. We answer the natural question whether this functor defines an equivalence onto the full subcategory of complexes with finitely generated cohomology modules in two special cases. If $R$ is a quasi-Frobenius ring of infinite global dimension, then this functor is not full. If $R$ has finite left global dimension, this functor is an equivalence. We also prove variants of the latter assertion for left coherent rings, f…
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。