Localizing Subcategory

A Serre subcategory whose exact quotient functor admits a right-adjoint section, so the objects it annihilates define a recoverable Gabriel localization of an abelian category.

Version

v2 · 2026-09-06 · History

Domain-specific #

2202

Origin domain

category theory

Subdomain

abelian categories and gabriel localization

Aliases

Localising subcategory

Core Idea

A localizing subcategory, in the abelian-category sense fixed here, is a Serre subcategory \(\mathcal C\) of an abelian category \(\mathcal A\) for which the canonical Serre-quotient functor

\[ Q:\mathcal A\longrightarrow \mathcal A/\mathcal C \]

admits a right adjoint

\[ S:\mathcal A/\mathcal C\longrightarrow \mathcal A. \]

The Serre condition says that \(\mathcal C\) is closed under subobjects, quotient objects, and extensions. Equivalently, for every short exact sequence \(0\to A'\to A\to A''\to0\), the middle object lies in \(\mathcal C\) exactly when both ends do. This closure makes \(\mathcal A/\mathcal C\) an abelian category and makes \(Q\) exact, essentially surjective, and characterized by \(\ker Q=\mathcal C\). The additional right adjoint is what upgrades a Serre quotient to a Gabriel localization.

Scope of Application

The primary setting is localization theory for abelian and Grothendieck categories. Module categories translate hereditary torsion theories into localizing subcategories and use section functors to construct modules of quotients. Sheaf categories localize along geometric restriction: objects supported on a removed region become negligible while sheaves on the retained open region embed back by direct image. Noncommutative algebraic geometry studies spaces through Grothendieck categories and their lattices of localizing subcategories. The Gabriel–Popescu theorem places the pattern at the foundation of Grothendieck categories by representing each such category as a quotient of a module category by a localizing subcategory.

Clarity

The abstraction separates three claims that are often compressed into one word. Serre is a closure claim about short exact sequences. Quotient is a universal exact-annihilation construction. Localizing adds a recoverability claim: the quotient has a fully faithful right-adjoint section. The distinction diagnoses an incomplete argument immediately. If a proposed negligible class is only shown to be stable under subobjects, quotients, and extensions, then the quotient exists, but a section and saturation functor have not yet been earned.

Manages Complexity

Localizing subcategories package an entire class of “ignore this torsion/support/negligible part” decisions into a universal interface. Instead of rebuilding a target category and checking every exact functor separately, one proves that \(\mathcal C\) is Serre and localizing. The Serre quotient then factors every exact functor that kills \(\mathcal C\), while the section identifies canonical saturated representatives. This separates the policy—what counts as negligible—from downstream calculations in the localized category.

Abstract Reasoning

Let \(F:\mathcal A\to\mathcal B\) be any exact functor with \(F(C)=0\) for every \(C\in\mathcal C\). The universal property of the Serre quotient gives an exact \(\overline F:\mathcal A/\mathcal C\to\mathcal B\), unique up to the appropriate categorical uniqueness, with \(F=\overline FQ\). This inference is licensed by Serre closure alone.

Knowledge Transfer

Within abelian mathematics the template transfers literally. In modules, choose a hereditary torsion class; in sheaves, choose objects supported on a closed complement; in representation theory, choose a Serre class stable under the relevant coproducts. Then ask the same questions: What does \(Q\) annihilate? Which morphisms become invertible? What does \(S\) select? What are the kernel and cokernel of \(X\to SQX\)? Is the localization of finite type or compatible with extra tensor structure?

Relationships to Other Abstractions

Current abstraction Localizing Subcategory Domain-specific

Parents (1) — more general patterns this builds on

• Localizing Subcategory presupposes Functor Domain-specific

  Functor is the minimal strict DAG parent.

Hierarchy paths (4) — routes to 4 parentless roots

• Localizing Subcategory → Functor → Category → Associativity → Invariance

Show alternative paths (3)

Neighborhood in Abstraction Space

Localizing Subcategory sits in a sparse region of the domain-specific corpus (75^th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Categorical Algebra & Model Systems (8 abstractions)

Nearest neighbors

• Auslander–Reiten theory — 0.85
• Zero-Sum Problem — 0.84
• Regular Category — 0.83
• Joyal Model Structure — 0.83
• Coherent category — 0.83

Computed from structural-signature embeddings · 2026-09-08