Some Remarks on Localization in Coalgebras

We analyze the geometry of the Ext-quiver of a coalgebra C in order to study the behavior of simple and injective C-comodules under the action of the functors associated to a localizing subcategory of the category of C-comodules.     

INSTANCES AND RAMIFICATIONS OF THE SEMI-ADJOINT SITUATION I. PRESTABLE REFLECTION AND SYMMETRIC UNADS

Abstract

It is well known that there is a one to one correspondence between idempotent monads in a category and reflective subcategories. In this paper it is examined what replaces the reflective subcategory if the idempotent monad is replaced (a) by a monad and (b) by a symmetric unad. It is shown that in case (a) one obtains the weakly reflective subcategory of objects injective relative to the functor part of the monad. In case (b) one obtains a proto-reflection and it is shown that (for complete categories) the associated orthogonal subcategory is reflective if and only if there exists a free monad associated to the unad.     

Are all localizing subcategories of stable homotopy categories coreflective?

We prove that, in a triangulated category with combinatorial models, every localizing subcategory is coreflective and every colocalizing subcategory is reflective if a certain large-cardinal axiom (Vopěnka?s principle) is assumed true. It follows that, under the same assumptions, orthogonality sets up a bijective correspondence between localizing subcategories and colocalizing subcategories. The existence of such a bijection was left as an open problem by Hovey, Palmieri and Strickland in their axiomatic study of stable homotopy categories and also by Neeman in the context of well-generated triangulated categories.     

Quasi-co-Frobenius Coalgebras. II

Abstract

We prove new characterizations of Quasi-co-Frobenius (QcF) coalgebras and co-Frobenius coalgebras. Among them, we prove that a coalgebra is QcF if and only if C generates every left and every right C-comodule. We also prove that every QcF coalgebra is Morita-Takeuchi equivalent to a co-Frobenius coalgebra.     

Homological Dimension of Coalgebras and Crossed Coproducts

Let H be a Hopf k-algebra. We study the global homological dimension of the underlying coalgebra structure of H. We show that gl.dim(H) is equal to the injective dimension of the trivial right H-comodule k. We also prove that if D = C H is a crossed coproduct with invertible , then gl.dim(D) gl.dim(C) + gl.dim(H). Some applications of this result are obtained. Moreover, if C is a cocommutative coalgebra such that C ^* is noetherian, then the global dimension of the coalgebra C coincides with the global dimension of the algebra C ^*.     

On the closedness of taking injective hulls of several Serre subcategories

Belshoff and Xu showed that every Matlis reflexive module has a Matlis reflexive injective hull if and only if R is complete and has dimension less than or equal to 1. In this paper, we give a characterization of the closedness of taking injective hulls for a Serre subcategory consisting of Minimax modules. In addition, the closedness of taking injective hulls for a Serre subcategory consisting of extension modules of finitely generated modules by modules with finite support is characterized by the number of prime ideals. Our results provide a negative answer to Aghapournahr and Melkersson’s question concerning Melkersson subcategories.     

Hereditary and Formally Smooth Coalgebras

We define formally smooth coalgebras and we study their relation with hereditary coalgebras. The main result of the paper establishes that a coalgebra with separable coradical is hereditary if and only if it is formally smooth if and only if it is the cotensor coalgebra , where C₀ is the coradical of C and N is a certain (C₀,C₀)–bicomodule. Presented by A. Verschoren Mathematics Subject Classifications (2000) primary: 16W30; secondary: 18G20. D. Ştefan: This author thanks the members of the Algebra Department of the University of Granada for their warm hospitality. He is especially grateful to Pascual Jara for the kind invitation to visit University of Granada. This research was partially supported by CERES, Contract 4-147.     

Cotensor Coalgebras in Monoidal Categories

We introduce the concept of cotensor coalgebra for a given bicomodule over a coalgebra in an Abelian monoidal category ?. If ? is also cocomplete, complete, and AB5, we show that such a cotensor coalgebra exists and satisfies a meaningful universal property which resembles the classical one. Here the lack of the coradical filtration is filled by considering a direct limit of a filtration consisting of wedge products. We prove that this coalgebra is formally smooth whenever the comodule is relative injective and the coalgebra itself is formally smooth.     

Locally Stable Grothendieck Categories: Applications

We introduce for any Grothendieck category the notion of stable localizing subcategory, as a localizing subcategory that can be written as an intersection of localizing subcategories defined by indecomposable injectives. A Grothendieck category in which every localizing subcategory is stable is called a locally stable category. As a main result we give a characterization of these categories in terms of the local stability of a localizing subcategory and its quotient category. The locally coirreducible categories (in particular, the categories with Gabriel dimension) and the locally noetherian categories are examples of locally stable categories. We also present some applications to the category of modules over a left fully bounded noetherian ring, to the category of comodules over a coalgebra and to the category of modules over graded rings.     

Representation-Directed Incidence Coalgebras of Intervally Finite Posets and the Tame-Wild Dichotomy

Incidence coalgebras C = K ^□ I of intervally finite posets I that are representation-directed are characterized in the article, and the posets I with this property are described. In particular, it is shown that the coalgebra C = K ^□ I is representation-directed if and only if the Euler quadratic form q _C : ?^(I) → ? of C is weakly positive. Every such a coalgebra C is tame of discrete comodule type and gl. dimC ≤ 2. As a consequence, we get a characterization of the incidence coalgebras C = K ^□ I that are left pure semisimple in the sense that every left C-comodule is a direct sum of finite dimensional subcomodules. It is shown that every such coalgebra C = K ^□ I is representation-directed and gl. dimC ≤ 2. Finally, the tame-wild dichotomy theorem is proved, for the coalgebras K ^□ I that are right semiperfect.     

On radicals of module coalgebras

We introduce the notion of an idempotent radical class of module coalgebras over a bialgebra B. We prove that if R is an idempotent radical class of B-module coalgebras, then every B-module coalgebra contains a unique maximal B-submodule coalgebra in R. Moreover, a B-module coalgebra C is a member of R if, and only if, DB is in R for every simple subcoalgebra D of C. The collection of B-cocleft coalgebras and the collection of H-projective module coalgebras over a Hopf algebra H are idempotent radical classes. As applications, we use these idempotent radical classes to give another proofs for a projectivity theorem and a normal basis theorem of Schneider without assuming a bijective antipode.     

Universality of Categories of Coalgebras

Under GCH, a set functor F does not preserve finite unions of non-empty sets if and only if the category Coalg F of all F-coalgebras is universal. Independently of GCH, we show that for any non-accessible functor F preserving intersections, the category Coalg F has a large discrete full subcategory, and we give an example of a category of F-coalgebras that is not universal, yet has a large discrete full subcategory.     

Cosemisimple Coextensions and Homological Dimension of Smash Coproducts

Let H be a finite dimensional cosemisimple Hopf algebra, C a left H-comodule coalgebra and let C = C/C（H^＊）^＋ be the quotient coalgebra and the smash coproduct of C and H. It is shown that if C/C is a eosemisimple coextension and C is an injective right C-comodule, then gl. dim（the smash coproduct of C and H） = gl. dim（C） = gl. dim（C）, where gl. dim（C） denotes the global dimension of coalgebra C.     

Covering Coalgebras and Dual Non-singularity

Localisation is an important technique in ring theory and yields the construction of various rings of quotients. Colocalisation in comodule categories has been investigated by some authors (see Jara et al., Commun. Algebra, 34(8):2843–2856, 2006 and Nastasescu and Torrecillas, J. Algebra, 185:203–220, 1994). Here we look at possible coalgebra covers π : D → C that could play the rôle of a coalgebra colocalisation. Codense covers will dualise dense (or rational) extensions; a maximal codense cover construction for coalgebras with projective covers is proposed. We also look at a dual non-singularity concept for modules which turns out to be the comodule-theoretic property that turns the dual algebra of a coalgebra into a non-singular ring. As a corollary we deduce that hereditary coalgebras and hence path coalgebras are non-singular in the above sense. We also look at coprime coalgebras and Hopf algebras which are non-singular as coalgebras.     

关于余挠三元组的余星子范畴和余倾斜子范畴

设$\mathcal{A}$ 是一个Abel范畴,且 $(\mathcal{X}, \mathcal{Z},\mathcal{Y})$ 是一个完全遗传余挠三元组.介绍 $\mathcal{A}$ 的 $n$-$\mathcal{Y}$-余倾斜子范畴的定义,并给出 $n$-$\mathcal{Y}$-余倾斜子范畴的一个刻画,类似于 $n$-余倾斜模的 Bazzoni 刻画.作为应用,证明了在一个几乎 Gorenstein 环 $R$ 上, 如果 $\mathcal{GP}$ 是 $n$-$\mathcal{GI}$-余倾斜的, 那么 $R$ 是一个 $n$-Gorenstein 环, 其中 $\mathcal{GP}$ 表示 Gorenstein 投射 $R$-模组成的子范畴且 $\mathcal{GI}$ 表示 Gorenstein 内射 $R$-模组成的子范畴. 进而, 研究 任意环$R$上的$n$-余星子范畴, 以及关于余挠三元组 $(\mathcal{P}, R$-Mod, $\mathcal{I})$ 的 $n$-$\mathcal{I}$-子范畴与 $n$-余星子范畴之间的关系, 其中 $\mathcal{P}$ 表示投射左 $R$-模组成的子范畴且 $\mathcal{I}$ 表示内射左 $R$-模组成的子范畴.     

The Galois Theory of Matrix C-rings

A theory of monoids in the category of bicomodules of a coalgebra C or C-rings is developed. This can be viewed as a dual version of the coring theory. The notion of a matrix ring context consisting of two bicomodules and two maps is introduced and the corresponding example of a C-ring (termed a matrix C -ring) is constructed. It is shown that a matrix ring context can be associated to any bicomodule which is a one-sided quasi-finite injector. Based on this, the notion of a Galois module is introduced and the structure theorem, generalising Schneider’s Theorem II [Schneider, Isr. J. Math., 72:167–195, 1990], is proven. This is then applied to the C-ring associated to a weak entwining structure and a structure theorem for a weak A-Galois coextension is derived. The theory of matrix ring contexts for a firm coalgebra (or infinite matrix ring contexts) is outlined. A Galois connection associated to a matrix C-ring is constructed. Dedicated to Stef Caenepeel on the occasion of his 50th birthday.     

Wedge Products and Cotensor Coalgebras in Monoidal Categories

The construction of the cotensor coalgebra for an “abelian monoidal” category which is also cocomplete, complete and AB5, was performed in Ardizzoni et al. (Comm Algebra 35(1):25–70, 2007). It was also proved that this coalgebra satisfies a meaningful universal property which resembles the classical one. Here the lack of the coradical filtration for a coalgebra E in is filled by considering a direct limit of a filtration consisting of wedge products of a subcoalgebra D of E. The main aim of this paper is to characterize hereditary coalgebras , where D is a coseparable coalgebra in , by means of a cotensor coalgebra: more precisely, we prove that, under suitable assumptions, is hereditary if and only if it is formally smooth if and only if it is the cotensor coalgebra if and only if it is a cotensor coalgebra , where N is a certain D-bicomodule in . Because of our choice, even when we apply our results in the category of vector spaces, new results are obtained. This paper was written while A. Ardizzoni was member of G.N.S.A.G.A. with partial financial support from Mi.U.R.     

The Splitting Problem for Coalgebras: A Direct Approach

In this note we give a new and elementary proof of a result of Năstăsescu and Torrecillas (J. Algebra, 281:144–149, 2004) stating that a coalgebra C is finite dimensional if and only if the rational part of any right module M over the dual algebra is a direct summand in M (the splitting problem for coalgebras). Research supported by a CNCSIS BD-type grant, and by the bilateral project BWS04/04 “New Techniques in Hopf Algebra Theory and Graded Ring Theory” of the Flemish and Romanian governments.     

Monogenic objects in subcategories of MER

As it is well-known, a structure C belonging to one of the subcategories of MER, induces another structure C' belonging to another subcategory. The purpose of the paper is to investigate those C' that can be induced by a single C. This revised version was published online in August 2006 with corrections to the Cover Date.