Quasi-abelian category

Last updated July 02, 2024

In mathematics, specifically in category theory, a quasi-abelian category is a pre-abelian category in which the pushout of a kernel along arbitrary morphisms is again a kernel and, dually, the pullback of a cokernel along arbitrary morphisms is again a cokernel.

Definition

Let ${\mathcal {A}}$ be a pre-abelian category. A morphism $f$ is a kernel (a cokernel) if there exists a morphism $g$ such that $f$ is a kernel (cokernel) of $g$ . The category ${\mathcal {A}}$ is quasi-abelian if for every kernel $f:X\rightarrow Y$ and every morphism $h:X\rightarrow Z$ in the pushout diagram

{\begin{array}{ccc}X&{\xrightarrow {f}}&Y\\\downarrow _{h}&&\downarrow _{h'}\\Z&{\xrightarrow {f'}}&Q\end{array}}

the morphism $f'$ is again a kernel and, dually, for every cokernel $g:X\rightarrow Y$ and every morphism $h:Z\rightarrow Y$ in the pullback diagram

{\begin{array}{ccc}P&{\xrightarrow {g'}}&Z\\\downarrow _{h'}&&\downarrow _{h}\\X&{\xrightarrow {g}}&Y\end{array}}

the morphism $g'$ is again a cokernel.

Equivalently, a quasi-abelian category is a pre-abelian category in which the system of all kernel-cokernel pairs forms an exact structure.

Given a pre-abelian category, those kernels, which are stable under arbitrary pushouts, are sometimes called the semi-stable kernels. Dually, cokernels, which are stable under arbitrary pullbacks, are called semi-stable cokernels.^[1]

Properties

Let $f$ be a morphism in a quasi-abelian category. Then the induced morphism ${\overline {f}}:\operatorname {cok} \ker f\to \ker \operatorname {cok} f$ is always a bimorphism, i.e., a monomorphism and an epimorphism. A quasi-abelian category is therefore always semi-abelian.

Examples and non-examples

Every abelian category is quasi-abelian. Typical non-abelian examples arise in functional analysis.^[2]

The category of Banach spaces is quasi-abelian.
The category of Fréchet spaces is quasi-abelian.
The category of (Hausdorff) locally convex spaces is quasi-abelian.

Contrary to the claim by Beilinson,^[3] the category of complete separated topological vector spaces with linear topology is not quasi-abelian.^[4] On the other hand, the category of (arbitrary or Hausdorff) topological vector spaces with linear topology is quasi-abelian.^[4]

History

The concept of quasi-abelian category was developed in the 1960s. The history is involved.^[5] This is in particular due to Raikov's conjecture, which stated that the notion of a semi-abelian category is equivalent to that of a quasi-abelian category. Around 2005 it turned out that the conjecture is false.^[6]

Left and right quasi-abelian categories

By dividing the two conditions in the definition, one can define left quasi-abelian categories by requiring that cokernels are stable under pullbacks and right quasi-abelian categories by requiring that kernels stable under pushouts.^[7]

Citations

↑ Richman and Walker, 1977.
↑ Prosmans, 2000.
↑ Beilinson, A (2008). "Remarks on topological algebras". Moscow Mathematical Journal. 8 (1).
1 2 Positselski, Leonid (2024). "Exact categories of topological vector spaces with linear topology". Moscow Math. Journal. 24 (2): 219–286.
↑ Rump, 2008, p. 986f.
↑ Rump, 2011, p. 44f.
↑ Rump, 2001.

Related Research Articles

In mathematics, specifically in category theory, a pre-abelian category is an additive category that has all kernels and cokernels.

The snake lemma is a tool used in mathematics, particularly homological algebra, to construct long exact sequences. The snake lemma is valid in every abelian category and is a crucial tool in homological algebra and its applications, for instance in algebraic topology. Homomorphisms constructed with its help are generally called connecting homomorphisms.

An exact sequence is a sequence of morphisms between objects such that the image of one morphism equals the kernel of the next.

Homological algebra is the branch of mathematics that studies homology in a general algebraic setting. It is a relatively young discipline, whose origins can be traced to investigations in combinatorial topology and abstract algebra at the end of the 19th century, chiefly by Henri Poincaré and David Hilbert.

In category theory and its applications to other branches of mathematics, kernels are a generalization of the kernels of group homomorphisms, the kernels of module homomorphisms and certain other kernels from algebra. Intuitively, the kernel of the morphism f : X → Y is the "most general" morphism k : K → X that yields zero when composed with f.

The cokernel of a linear mapping of vector spaces $f : X \to Y$ is the quotient space $Y / im(f)$ of the codomain of $f$ by the image of $f$ . The dimension of the cokernel is called the corank of $f$ .

In mathematics, an equaliser is a set of arguments where two or more functions have equal values. An equaliser is the solution set of an equation. In certain contexts, a difference kernel is the equaliser of exactly two functions.

In category theory, a branch of mathematics, the image of a morphism is a generalization of the image of a function.

In mathematics, certain functors may be derived to obtain other functors closely related to the original ones. This operation, while fairly abstract, unifies a number of constructions throughout mathematics.

In category theory, a branch of mathematics, a pushout is the colimit of a diagram consisting of two morphisms f : Z → X and g : Z → Y with a common domain. The pushout consists of an object P along with two morphisms X → P and Y → P that complete a commutative square with the two given morphisms f and g. In fact, the defining universal property of the pushout essentially says that the pushout is the "most general" way to complete this commutative square. Common notations for the pushout are $and .$

In category theory, a branch of mathematics, a pullback is the limit of a diagram consisting of two morphisms $f : X \to Z$ and $g : Y \to Z$ with a common codomain. The pullback is written

In mathematics, the derived categoryD(A) of an abelian category A is a construction of homological algebra introduced to refine and in a certain sense to simplify the theory of derived functors defined on A. The construction proceeds on the basis that the objects of D(A) should be chain complexes in A, with two such chain complexes considered isomorphic when there is a chain map that induces an isomorphism on the level of homology of the chain complexes. Derived functors can then be defined for chain complexes, refining the concept of hypercohomology. The definitions lead to a significant simplification of formulas otherwise described (not completely faithfully) by complicated spectral sequences.

In mathematics, a triangulated category is a category with the additional structure of a "translation functor" and a class of "exact triangles". Prominent examples are the derived category of an abelian category, as well as the stable homotopy category. The exact triangles generalize the short exact sequences in an abelian category, as well as fiber sequences and cofiber sequences in topology.

In mathematics, in particular homotopy theory, a continuous mapping between topological spaces

In category theory, a regular category is a category with finite limits and coequalizers of a pair of morphisms called kernel pairs, satisfying certain exactness conditions. In that way, regular categories recapture many properties of abelian categories, like the existence of images, without requiring additivity. At the same time, regular categories provide a foundation for the study of a fragment of first-order logic, known as regular logic.

In homological algebra, the mapping cone is a construction on a map of chain complexes inspired by the analogous construction in topology. In the theory of triangulated categories it is a kind of combined kernel and cokernel: if the chain complexes take their terms in an abelian category, so that we can talk about cohomology, then the cone of a map f being acyclic means that the map is a quasi-isomorphism; if we pass to the derived category of complexes, this means that f is an isomorphism there, which recalls the familiar property of maps of groups, modules over a ring, or elements of an arbitrary abelian category that if the kernel and cokernel both vanish, then the map is an isomorphism. If we are working in a t-category, then in fact the cone furnishes both the kernel and cokernel of maps between objects of its core.

In mathematics, specifically in category theory, an exact category is a category equipped with short exact sequences. The concept is due to Daniel Quillen and is designed to encapsulate the properties of short exact sequences in abelian categories without requiring that morphisms actually possess kernels and cokernels, which is necessary for the usual definition of such a sequence.

In mathematics a stack or 2-sheaf is, roughly speaking, a sheaf that takes values in categories rather than sets. Stacks are used to formalise some of the main constructions of descent theory, and to construct fine moduli stacks when fine moduli spaces do not exist.

In mathematics, especially in algebraic topology, the homotopy limit and colimit^{pg 52} are variants of the notions of limit and colimit extended to the homotopy category $. The main idea is this: if we have a diagram$

In mathematics, specifically in category theory, a semi-abelian category is a pre-abelian category in which the induced morphism $is a bimorphism, i.e., a monomorphism and an epimorphism, for every morphism .$

References

Fabienne Prosmans, Derived categories for functional analysis. Publ. Res. Inst. Math. Sci. 36(5–6), 19–83 (2000).
Fred Richman and Elbert A. Walker, Ext in pre-Abelian categories. Pac. J. Math. 71(2), 521–535 (1977).
Wolfgang Rump, A counterexample to Raikov's conjecture, Bull. London Math. Soc. 40, 985–994 (2008).
Wolfgang Rump, Almost abelian categories, Cahiers Topologie Géom. Différentielle Catég. 42(3), 163–225 (2001).
Wolfgang Rump, Analysis of a problem of Raikov with applications to barreled and bornological spaces, J. Pure and Appl. Algebra 215, 44–52 (2011).
Jean Pierre Schneiders, Quasi-abelian categories and sheaves, Mém. Soc. Math. Fr. Nouv. Sér. 76 (1999).

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[1] Richman and Walker, 1977.

[2] Prosmans, 2000.

[3] Beilinson, A (2008). "Remarks on topological algebras". Moscow Mathematical Journal. 8 (1).

[exact-4] 1 2 Positselski, Leonid (2024). "Exact categories of topological vector spaces with linear topology". Moscow Math. Journal. 24 (2): 219–286.

[5] Rump, 2008, p. 986f.

[6] Rump, 2011, p. 44f.

[7] Rump, 2001.

[1]

[2]

[3]

[4]

[5]

[6]

[7]