D4-objects in abelian categories: Transfer via functors

Wide Morita contexts and equivalences of comodule categories

D. Happel, I. Reiten and S. Smalø initiated an investigation of quasitilted artin <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper K"> <mml:semantics> <mml:mi>K</mml:mi> <mml:annotation encoding="application/x-tex">K</mml:annotation> </mml:semantics> </mml:math> </inline-formula> -algebras that are the endomorphism rings of tilting objects in hereditary abelian categories whose Hom and Ext groups are all finitely generated over a commutative artinian ring <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper K"> <mml:semantics> <mml:mi>K</mml:mi> <mml:annotation encoding="application/x-tex">K</mml:annotation> </mml:semantics> </mml:math> </inline-formula> . Here, employing a notion of <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="asterisk"> <mml:semantics> <mml:mo> ∗ </mml:mo> <mml:annotation encoding="application/x-tex">\ast</mml:annotation> </mml:semantics> </mml:math> </inline-formula> -objects, tilting objects in arbitrary abelian categories are defined and are shown to yield a version of the classical tilting theorem between the category and the category of modules over their endomorphism rings. This leads to a module theoretic notion of quasitilted rings and their characterization as endomorphism rings of tilting objects in hereditary cocomplete abelian categories.

We find sufficient and necessary conditions for the category of Gorenstein projective modules of an artin algebra being an abelian category, and give another proof for the Auslander–Solberg correspondence which demonstrates the concrete form of the category of Gorenstein projective modules. Then we find a characterization for this category of Gorenstein projective modules. At last we give an example of this correspondence.

This paper establishes several results for coalgebraic structure in -categories, specifically with connections to the spectral noncommutative geometry of cobordism theories.We prove that the categories of comodules and modules over a bialgebra always admit suitably structured monoidal structures in which the tensor product is taken in the ambient category (as opposed to a relative (co)tensor product over the underlying algebra or coalgebra of the bialgebra).We give two examples of higher coalgebraic structure: first, following Hess we show that for a map of E n -ring spectra : A B, the associated -category of descent data is equivalent to the -category of comodules over B A B, the so-called descent coring; secondly, we show that Thom spectra are canonically equipped with a highly structured comodule structure which is equivalent to the -categorical Thom diagonal of Ando, Blumberg, Gepner, Hopkins and Rezk (which we describe explicitly) and that this highly structured diagonal decomposes the Thom isomorphism for an oriented Thom spectrum in the expected way indicating that Thom spectra are good examples of spectral noncommutative torsors.

To a big $n$-tilting object in a complete, cocomplete abelian category ${\textsf{A}}$ with an injective cogenerator we assign a big $n$-cotilting object in a complete, cocomplete abelian category ${\textsf{B}}$ with a projective generator and vice versa. Then we construct an equivalence between the (conventional or absolute) derived categories of ${\textsf{A}}$ and ${\textsf{B}}$. Under various assumptions on ${\textsf{A}}$, which cover a wide range of examples (for instance, if ${\textsf{A}}$ is a module category or, more generally, a locally finitely presentable Grothendieck abelian category), we show that ${\textsf{B}}$ is the abelian category of contramodules over a topological ring and that the derived equivalences are realized by a contramodule-valued variant of the usual derived Hom functor.

In an abelian category $\mathscr{A}$ with small ${\rm Ext}$ groups, we show that there exists a one-to-one correspondence between any two of the following: balanced pairs, subfunctors $\mathcal{F}$ of ${\rm Ext}^{1}_{\mathscr{A}}(-,-)$ such that $\mathscr{A}$ has enough $\mathcal{F}$-projectives and enough $\mathcal{F}$-injectives and Quillen exact structures $\mathcal{E}$ with enough $\mathcal{E}$-projectives and enough $\mathcal{E}$-injectives. In this case, we get a strengthened version of the translation of the Wakamatsu lemma to the exact context, and also prove that subcategories which are $\mathcal{E}$-resolving and epimorphic precovering with kernels in their right $\mathcal{E}$-orthogonal class and subcategories which are $\mathcal{E}$-coresolving and monomorphic preenveloping with cokernels in their left $\mathcal{E}$-orthogonal class are determined by each other. Then we apply these results to construct some (pre)enveloping and (pre)covering classes and complete hereditary $\mathcal{E}$-cotorsion pairs in the module category.

Adjoint functors and equivalences of subcategories

Cointegrations, relative cohomology for comodules, and coseparable corings

Let \(S(n)\) be the category of invariant subspaces of nilpotent operators with nilpotency index at most \(n\). Such submodule categories have been studied already in 1934 by Birkhoff, they have attracted a lot of attention in recent years, for example in connection with some weighted projective lines (Kussin, Lenzing, Meltzer). On the other hand, we consider the preprojective algebra \(\Pi _n\) of type \(\mathbb {A}_n\); the preprojective algebras were introduced by Gelfand and Ponomarev, they are now of great interest, for example they form an important tool to study quantum groups (Lusztig) or cluster algebras (Geiss, Leclerc, Schroer). We are going to discuss the connection between the submodule category \(\mathcal {S}(n)\) and the module category \(\hbox {mod}\;\Pi _{n-1}\) of the preprojective algebra \(\Pi _{n-1}\). Dense functors \(\mathcal {S}(n) \rightarrow \hbox {mod}\;\Pi _{n-1}\) are known to exist: one has been constructed quite a long time ago by Auslander and Reiten, recently another one by Li and Zhang. We will show that these two functors are full, dense, objective functors with index \(2n\), thus \(\hbox {mod}\;\Pi _{n-1}\) is obtained from \(\mathcal {S}(n)\) by factoring out an ideal which is generated by \(2n\) indecomposable objects. As a byproduct we also obtain new examples of ideals in triangulated categories, namely ideals \(\mathcal {I}\) in a triangulated category \(\mathcal {T}\) which are generated by an idempotent such that the factor category \(\mathcal {T}/\mathcal {I}\) is an abelian category.

We study bialgebras and Hopf algebras in the compact closed categoryRelof sets and binary relations. Various monoidal categories with extra structure arise as the categories of (co)modules of bialgebras and Hopf algebras inRel. In particular, for any groupG, we derive a ribbon category of crossedG-sets as the category of modules of a Hopf algebra inRelthat is obtained by the quantum double construction. This category of crossedG-sets serves as a model of the braided variant of propositional linear logic.

Bialgebras in Rel

The study of radicals in general categories has followed several lines of development. The problem of defining radical properties in general categories has been considered by Kurosh and Shul'geifer, see (7). Under mild conditions on their categories they obtain sufficient conditions for the existence of radical functors which are closely related to radical properties. Another approach is by Maranda (5) and Dickson (3) who studied idempotent radical functors and torsion theories in abelian categories. Our aim has been to study radical functors in as general a category as possible. To this end we introduce the concept of an R-category. The categories of rings, modules, near-rings, groups and Jordan algebras are all examples of R-categories.

We show that direct summands of certain additive functors arising as bifunctors with a fixed argument in an abelian category are again of that form whenever the fixed argument has finite length or, more generally, satisfies the descending chain condition on images of nested endomorphisms. In particular, this provides a positive answer to a conjecture of M. Auslander in the case of categories of finite modules over artin algebras. This implies that the covariant Ext functors are the only injectives in the category of defect-zero finitely presented functors on such categories.

A pair of adjoint functors is called a Frobenius pair of the second type if is a left adjoint of 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 recover the result that a finitely generated projective Hopf algebra over a commutative ring is always a Frobenius extension of the second kind (cf.[27], [17], and prove that the integral spaces of the Hopf algebra and its dual are isomorphic.

We formulate a version of Beck's monadicity theorem for abelian categories, which is applied to the equivariantization of abelian categories with respect to a finite group action. We prove that the equivariantization is compatible with the construction of quotient abelian categories by Serre subcategories. We prove that the equivariantization of the graded module category over a graded ring is equivalent to the graded module category over the same ring but with a different grading. We deduce from these results two equivalences between the category of (equivariant) coherent sheaves on a weighted projective line of tubular type and that on an elliptic curve, where the acting groups are cyclic and the two equivalences are somehow adjoint to each other.