On the relative homology of cleft extensions of rings and abelian categories

We study the relative homological behaviour of the omnipresent class of cleft extensions of abelian categories. This class of extensions is a natural generalization of the trivial extensions studied in detail by Fossum, Griffith and Reiten and by Palmer and Roos. We apply our results to the relative homology of cleft extensions of rings.     

Expansions of abelian categories

Expansions of abelian categories are introduced. These are certain functors between abelian categories and provide a tool for induction/reduction arguments. Expansions arise naturally in the study of coherent sheaves on weighted projective lines; this is illustrated by various applications.     

Hochschild cohomology of abelian categories and ringed spaces

This paper continues the development of the deformation theory of abelian categories introduced in a previous paper by the authors. We show first that the deformation theory of abelian categories is controlled by an obstruction theory in terms of a suitable notion of Hochschild cohomology for abelian categories. We then show that this Hochschild cohomology coincides with the one defined by Gerstenhaber, Schack and Swan in the case of module categories over diagrams and schemes and also with the Hochschild cohomology for exact categories introduced recently by Keller. In addition we show in complete generality that Hochschild cohomology satisfies a Mayer-Vietoris property and that for constantly ringed spaces it coincides with the cohomology of the structure sheaf.     

Flat covers in abelian and in non-abelian categories

A general existence theorem for flat covers in (e.g., quasi-abelian) locally finitely presented categories is obtained from an additive Ramsey type theorem. In the abelian case, it is shown that flat covers always exist. Applications to categories of separated presheaves or sheaves, localizations of Bousfield type, torsion-free classes of finite type, and categories of filtered objects or complexes, are given.     

Properties of abelian categories via recollements

A recollement is a decomposition of a given category (abelian or triangulated) into two subcategories with functorial data that enables the glueing of structural information. This paper is dedicated to investigating the behaviour under glueing of some basic properties of abelian categories (well-poweredness, Grothendieck's axioms AB3, AB4 and AB5, existence of a generator) in the presence of a recollement. In particular, we observe that in a recollement of a Grothendieck abelian category the other two categories involved are also Grothendieck abelian and, more significantly, we provide an example where the converse does not hold and explore multiple sufficient conditions for it to hold.     

An embedding theorem for regular Mal'tsev categories

In this paper, we obtain a non-abelian analogue of Lubkin's embedding theorem for abelian categories. Our theorem faithfully embeds any small regular Mal'tsev category $\mathbb{C}$ in an n-th power of a particular locally finitely presentable regular Mal'tsev category. The embedding preserves and reflects finite limits, isomorphisms and regular epimorphisms, as in the case of Barr's embedding theorem for regular categories. Furthermore, we show that we can take n to be the (cardinal) number of subobjects of the terminal object in $\mathbb{C}$.     

Configurations in abelian categories. IV. Invariants and changing stability conditions

This is the last in a series on configurations in an abelian category A. Given a finite poset (I,?), an (I,?)-configuration (σ,ι,π) is a finite collection of objects σ(J) and morphisms ι(J,K) or in A satisfying some axioms, where J,K are subsets of I. Configurations describe how an object X in A decomposes into subobjects.The first paper defined configurations and studied moduli spaces of configurations in A, using Artin stacks. It showed well-behaved moduli stacks ObjA,MA(I,?) of objects and configurations in A exist when A is the abelian category coh(P) of coherent sheaves on a projective scheme P, or mod-KQ of representations of a quiver Q. The second studied algebras of constructible functions and stack functions on ObjA.The third introduced stability conditions(τ,T,?) on A, and showed the moduli space of τ-semistable objects in class α is a constructible subset in ObjA, so its characteristic function is a constructible function. It formed algebras , , , of constructible and stack functions on ObjA, and proved many identities in them.In this paper, if (τ,T,?) and are stability conditions on A we write in terms of the , and deduce the algebras are independent of (τ,T,?). We study invariants or Iss(I,?,κ,τ) ‘counting’ τ-semistable objects or configurations in A, which satisfy additive and multiplicative identities. We compute them completely when A=mod-KQ or A=coh(P) for P a smooth curve. We also find invariants with special properties when A=coh(P) for P a smooth surface with nef, or a Calabi-Yau 3-fold.     

Exactness of direct limits for abelian categories with an injective cogenerator

We prove that the exactness of direct limits in an abelian category with products and an injective cogenerator J is equivalent to a condition on J which is well-known to characterize pure-injectivity in module categories, and we describe an application of this result to the tilting theory. We derive our result as a consequence of a more general characterization of when inverse limits in the Eilenberg–Moore category of a monad on the category of sets preserve regular epimorphisms.     

Abelian categories of modules over a (lax) monoidal functor

Crane and Yetter (Deformations of (bi)tensor categories, Cahier de Topologie et Géometrie Differentielle Catégorique, 1998) introduced a deformation theory for monoidal categories. The related deformation theory for monoidal functors introduced by Yetter (in: E. Getzler, M. Kapranov (Eds.), Higher Category Theory, American Mathematical Society Contemporary Mathematics, Vol. 230, American Mathematical Society, Providence, RI, 1998, pp. 117-134.) is a proper generalization of Gerstenhaber's deformation theory for associative algebras (Ann. Math. 78(2) (1963) 267; 79(1) (1964) 59; in: M. Hazewinkel, M. Gerstenhaber (Eds.), Deformation Theory of Algebras and Structure and Applications, Kluwer, Dordrecht, 1988, pp. 11-264). In the present paper we solidify the analogy between lax monoidal functors and associative algebras by showing that under suitable conditions, categories of functors with an action of a lax monoidal functor are abelian categories. The deformation complex of a monoidal functor is generalized to an analogue of the Hochschild complex with coefficients in a bimodule, and the deformation complex of a monoidal natural transformation is shown to be a special case. It is shown further that the cohomology of a monoidal functor F with coefficients in an F,F-bimodule is given by right derived functors.     

Minimal pseudocompact group topologies on free abelian groups

A Hausdorff topological group G is minimal if every continuous isomorphism f:G→H between G and a Hausdorff topological group H is open. Significantly strengthening a 1981 result of Stoyanov, we prove the following theorem: For every infinite minimal abelian group G there exists a sequence of cardinals such that

     

Protolocalisations of homological categories

A protolocalisation of a homological (resp. semi-abelian) category is a regular full reflective subcategory, whose reflection preserves short exact sequences. We study the closure operator and the torsion theory associated with such a situation. We pay special attention to the fibered, the regular epireflective and the monoreflective cases. We give examples in algebra, topos theory and functional analysis.     

On the cohomology rings of small categories

Let C be a small category and R a commutative ring with identity. The cohomology ring of C with coefficients in R is defined as the cohomology ring of the topological realization of its nerve. First we give an example showing that this ring modulo nilpotents is not finitely generated in general, even when the category is finite EI. Then we study the relationship between the cohomology ring of a category and those of its subcategories and extensions. The main results generalize certain theorems in group cohomology theory.     

On the functoriality of cohomology of categories

In this paper we show that the Baues-Wirsching complex used to define cohomology of categories is a 2-functor from a certain 2-category of natural systems of abelian groups to the 2-category of chain complexes, chain homomorphisms and relative homotopy classes of chain homotopies. As a consequence we derive (co)localization theorems for this cohomology.     

A novel fixed point theorem for the k-Meir-Keeler function

Generalized Meir-Keeler functions are introduced that contain a class of weakly uniformly strict contraction maps. A theorem is proven that assures the existence of a fixed point for the closed k-Meir-Keeler functions and provides a con- structive method to find the points. An advantage of the method is that it is possible to show the existence of a fixed point for functions with domains that are neither complete nor closed.     

The Popescu-Gabriel theorem for triangulated categories

The Popescu-Gabriel theorem states that each Grothendieck abelian category is a localization of a module category. In this paper, we prove an analogue where Grothendieck abelian categories are replaced by triangulated categories which are well generated (in the sense of Neeman) and algebraic (in the sense of Keller). The role of module categories is played by derived categories of small differential graded categories. An analogous result for topological triangulated categories has recently been obtained by A. Heider.     

On the direct image of intersections in exact homological categories

Given a regular epimorphism f:X?Y in an exact homological category C, and a pair (U,V) of kernel subobjects of X, we show that the quotient (f(U)∩f(V))/f(U∩V) is always abelian. When C is nonpointed, i.e. only exact protomodular, the translation of the previous result is that, given any pair (R,S) of equivalence relations on X, the difference mappingδ:Y/f(R∩S)?Y/(f(R)∩f(S)) has an abelian kernel relation. This last result actually holds true in any exact Mal'cev category. Setting Y=X/T, this result says that the difference mapping determined by the inclusion T∪(R∩S)?(T∪R)∩(T∪S) has an abelian kernel relation, which casts a new light on the congruence distributive property.