The Quotient Category of a Graded Morita-Takeuchi Context

In this paper, we offer a graded equivalence between the quotient categories defined by any graded Morita-Takeuchi context via certain modifications of the graded cotensor functors. As a consequence, we show a commutative diagram that establish the relation between the closed objects of the categories gr^c and M^C, where C is a graded coalgebra.     

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.     

Equivalences of comodule categories for coalgebras over rings

In this article we defined and studied quasi-finite comodules, the cohom functors for coalgebras over rings. Linear functors between categories of comodules are also investigated and it is proved that good enough linear functors are nothing but a cotensor functor. Our main result of this work characterizes equivalences between comodule categories generalizing the Morita-Takeuchi theory to coalgebras over rings. Morita-Takeuchi contexts in our setting is defined and investigated, a correspondence between strict Morita-Takeuchi contexts and equivalences of comodule categories over the involved coalgebras is obtained. Finally, we proved that for coalgebras over QF-rings Takeuchi's representation of the cohom functor is also valid.     

The Morita-Takeuchi Theory for Quotient Categories

Abstract

We study the Morita-Takeuchi context connecting two coalgebras which is dual to the Morita context for algebras. We show that every Morita-Takeuchi context, connecting two coalgebras C and D, leads to an equivalence between quotient categories of the comodule categories ^C M and ^D M. Afterwards we introduce a special Morita-Takeuchi context, called closed, and show that there is a bijection between isomorphism types of closed contexts and isomorphism types of category equivalences between quotient categories of ^C M and ^D M determined by localizing subcategories. This represents a dualization of the classical Morita theorems. Finally we show that from every general context one can construct a closed one.     

New results related to a conjecture of Moore

Let Γ be a group, Γ′ be a subgroup of Γ of finite index, and R be a ring with identity. Assume that M is an RΓ-module whose restriction to RΓ′ is projective. Moore’s conjecture: Assume that, for all ${x \in (\Gamma-\Gamma^{\prime})}$ , either there is an integer n such that ${1 \neq x^{n} \in \Gamma^{\prime}}$ or x has finite order and is invertible in R. Then M is also projective over RΓ. In this paper, we consider an analogue of this conjecture for injective modules. It turns out that the validity of the conjecture for injective modules implies the validity of it on projective and flat modules. It is also shown that the conjecture for injective modules is true whenever Γ belongs to Kropholler’s hierarchy ${{\bf LH}\mathfrak{F}}$ . In addition, assume that M is an RΓ-module whose restriction to RΓ′ is Gorenstein projective (resp. injective), it is proved that M is Gorenstein projective (resp. injective) over RΓ whenever Γ′ is a subgroup of Γ of finite index.     

Morita contexts and Galois theory for weak Hopf comodulelike algebras

We investigate the Morita context and graded cases for weak group corings and derive some equivalent conditions for μ to be surjective. Furthermore, we develop Galois theory for weak group corings. As an application, we give Galois theory for comodulelike algebras over a weak Hopf group coalgebra.     

Gorenstein Homological Aspects of Monomorphism Categories via Morita Rings

In this paper we construct Gorenstein-projective modules over Morita rings with zero bimodule homomorphisms and we provide sufficient conditions for such rings to be Gorenstein Artin algebras. This is the first part of our work which is strongly connected with monomorphism categories. In the second part, we investigate monomorphisms where the domain has finite projective dimension. In particular, we show that the latter category is a Gorenstein subcategory of the monomorphism category over a Gorenstein algebra. Finally, we consider the category of coherent functors over the stable category of this Gorenstein subcategory and show that it carries a structure of a Gorenstein abelian category.     

Derived equivalences and Gorenstein algebras

We introduce a notion of Gorenstein R-algebras over a commutative Gorenstein ring R. Then we provide a necessary and sufficient condition for a tilting complex over a Gorenstein R-algebra A to have a Gorenstein R-algebra B as the endomorphism algebra and a construction of such a tilting complex. Furthermore, we provide an example of a tilting complex over a Gorenstein R-algebra A whose endomorphism algebra is not a Gorenstein R-algebra.     

A Generalization of Auslander's Last Theorem

Before his death, Auslander announced that every finitely generated module over a local Gorenstein ring has a minimal Cohen–Macaulay approximation. Yoshimo extended Auslander's result to local Cohen–Macaulay rings admitting a dualizing module.Over a local Gorenstein ring the finitely generated maximal Cohen–Macaulay modules are the finitely generated Gorenstein projective modules so in fact Auslander's theorem says finitely generated modules over such rings have Gorenstein projective covers. We extend Auslander's theorem by proving that over a local Cohen–Macaulay ring admitting a dualizing module all finitely generated modules of finite G-dimension (in Auslander's sense) have a Gorenstein projective cover. Since all finitely generated modules over a Gorenstein ring have finite G-dimension, we recover Auslander's theorem when R is Gorenstein.