nLab compact object

Redirected from "finitely-presentable object".
Contents

Contents

Idea

An object of a category is called compact if it is “finite” or “small” in some precise sense. There are however different formalizations of this idea. Here discussed is the notion, usually going by this term, where an object XX is called compact if mapping out of it preserves filtered colimits.

This means that if any other object AA is given as the colimit of a “suitably increasing” family of objects {A i}\{A_i\}, then every morphism

XA=limiA i X \longrightarrow A = \underset{\underset{i}{\longrightarrow}}{\lim} A_i

out of the compact object XX into that colimit factors through one of the coprojections A ilimA iiA_i \to \underset{\underset{i}{\longrightarrow}}{lim A_i}.

The notion of small object is essentially the same, with a bit more flexibility on when the family {A i}\{A_i\} is taken to be “suitably increasing”. An important application of the above factorization property is accordingly named the small object argument. On the other hand, there is also the notion of finite object (in a topos) which, while closely related, is different. See also Subtleties and different meanings below.

Definition

Definition

Let CC be a locally small category that admits filtered colimits. Then an object XCX \in C is compact, or finitely presented or finitely presentable, or of finite presentation, if the corepresentable functor

Hom C(X,):CSet Hom_C(X,-) \colon C \to Set

preserves these filtered colimits. This means that for every filtered category DD and every functor F:DCF : D \to C, the canonical morphism

limdC(X,F(d))C(X,limdF(d)) \underset{\underset{d}{\to}}{\lim} C(X,F(d)) \xrightarrow{\simeq} C(X, \underset{\underset{d}{\to}}{\lim} F(d))

is an isomorphism.

More generally, if κ\kappa is a regular cardinal, then an object XX such that C(X,)C(X,-) commutes with κ\kappa-filtered colimits is called κ\kappa-compact, or κ\kappa-presented, or κ\kappa-presentable. An object which is κ\kappa-compact for some regular κ\kappa is called a small object.

Properties

Proposition

(smooth colimits of compact objects are compact)
A κ\kappa-small colimit of κ\kappa-compact objects is again a κ\kappa-compact object.

Proof

Let DD be a κ\kappa-small category and X:DCX : D \to C a diagram of κ\kappa-compact objects. Let II be a κ\kappa-filtered category and A:ICA : I \to C a κ\kappa-filtered diagram in CC. Then

Hom(limdX d,limiA i)limdHom(X d,limiA i) Hom \Big( \underset{\underset{d}{\longrightarrow}}{\lim} X_d ,\, \underset{\underset{i}{\longrightarrow}}{\lim} A_i \Big) \;\simeq\; \underset{\underset{d}{\longleftarrow}}{\lim} \; Hom \Big( X_d ,\, \underset{\underset{i}{\longrightarrow}}{\lim} A_i \Big)

by general properties of the hom functor. Now using that every X dX_d is κ\kappa-compact and II is κ\kappa-filtered this is

limdlimiHom(X d,A i). \cdots \;\simeq\; \underset{\underset{d}{\longleftarrow}}{\lim} \; \underset{\underset{i}{\longrightarrow}}{\lim} \; Hom\big(X_d, A_i\big) \,.

Since this (co)limit is taken in Set, the κ\kappa-small limit over DD commutes with the κ\kappa-filtered colimit

limilimdHom(X d,A i). \cdots \;\simeq\; \underset{\underset{i}{\longrightarrow}}{\lim} \; \underset{\underset{d}{\longleftarrow}}{\lim} \, Hom\big(X_d, A_i\big) \,.

Finally we make take the limit again to a colimit in the first argument

limiHom(limdX d,A i), \cdots \;\simeq\; \underset{\underset{i}{\longrightarrow}}{\lim} \; Hom \big( \underset{\underset{d}{\longrightarrow}}{\lim} X_d ,\, A_i \big) \,,

which yields the claim.

Proposition

In a λ\lambda-accessible category, if λ\lambda is sharply smaller than κ\kappa, then every κ\kappa-compact object is a retract of a κ\kappa-small λ\lambda-filtered colimit of λ\lambda-compact objects.

Proof

See Adamek-Rosicky, Remark 2.15. It is noted there that with the more technical proof of Makkai-Pare, Proposition 2.3.11 the words “a retract of” can be omitted.

If we weaken the hypothesis to λκ\lambda\le \kappa, then we retain all of the result except for λ\lambda-filteredness of the colimit.

Proposition

In a locally λ\lambda-presentable category, if λκ\lambda\le \kappa, then every κ\kappa-compact object is a retract of a κ\kappa-small colimit of λ\lambda-compact objects.

Proof

See Adamek-Rosicky, Remark 1.30. It is claimed there that the words “a retract of” can be omitted by reference to an argument in Makkai-Pare, but it seems unclear how this argument is intended to be used. An alternative proof of this improvement is proposed at this mathoverflow question.

Examples

However, there exist compact objects which are not coherent, c.f. the Elephant, D3.3.12.

Subtleties and different meanings

One has to be careful about the following variations of the theme of compactness.

(Some of these subtleties are resolved by noticing that there is a hierarchy of notions of compact objects that are secretly different but partly go by the same name. Some discussion of this is currently at compact topos, but more detailed discussion should eventually be somewhere…)

In the Elephant, what Johnstone calls compact objects are those objects such that the top element of the poset of subobjects Sub(C)\operatorname{Sub}(C) is a compact element; he reserves the term finitely-presented for the notion of compact on this page.

Compactness in additive categories

When CC is an additive category (often a triangulated category), an object xx in CC is called compact if for every set SS of objects of CC such that the coproduct sSs\coprod_{s\in S} s exists, the canonical map

sSC(x,s)C(x, sSs) \coprod_{s\in S} C(x,s)\to C(x,\coprod_{s\in S}s)

is an isomorphism of commutative monoids.

Here is an application of this concept to characterize which abelian categories are categories of modules of some ring:

Theorem

Let CC be an abelian category. If CC has all small coproducts and has a compact projective generator, then CRModC \simeq R Mod for some ring RR. In fact, in this situation we can take R=C(x,x) opR = C(x,x)^{op} where xx is any compact projective generator. Conversely, if CRModC \simeq R Mod, then CC has all small coproducts and x=Rx = R is a compact projective generator.

Proof

This theorem, minus the explicit description of RR, can be found as Exercise F on page 103 of Peter Freyd’s book Abelian Categories. The first part of this theorem can also be found as Prop. 2.1.7. of Victor Ginzburg’s Lectures on noncommutative geometry. Conversely, it is easy to see that RR is a compact projective generator of RModR Mod.

Zoran: While Ginzburg’s reference is surely a worthy to look at, it would be better not to give false impression that this reconstruction theorem is due Ginzburg or at all new. It is rather a classical and well know fact probably from early 1960s, essentially small strengthening of a variant of a circle of abelian reconstruction theorems including the Gabriel-Popescu theorem(probably our variant could be read off from classical algera book by Faith for example, or Popescu’s book on abelian categories, in any case it is well known in noncommutative algebraic geometry). In fact for this fact, if I think better, the reconstruction belongs usually to expositions which treat classical Morita theory for rings.

A triangulated category is compactly generated if it is generated (see generator) by a set of compact objects.

The notion can be modified for categories enriched over a closed monoidal category (compare to the notions of finite and/or rigid objects in various contexts).

Compact objects in the derived categories of quasicoherent sheaves over a scheme are called perfect complexes. Any compact object in the category of modules over a perfect ring is finitely generated as a module.

In non-additive contexts, the above definition is not right. For instance, with this definition a topological space would be compact iff it is connected. In general one should expect to instead preserve filtered colimits, as above.

Compact objects in TopTop

Recall the above example of compact topological spaces. Notice that the statement which one might expect, that a topological space XX is compact if it is a compact object in Top, is not quite right in general.

A counterexample is given for instance in Hovey (1999), page 49, which itself was corrected by Don Stanley (see the errata of that book). See also the blog discussion here.

Namely, the two-element set with the indiscrete topology is a compact space XX for which

Hom(X,)M:TopTop Hom(X, -) M\colon Top \rightarrow Top

doesn’t preserve filtered colimits, in fact not even colimits of sequences (functors out of the ordered set of natural numbers).

For example, consider the sequence of spaces

X n=[n,)×{0,1} X_n=[n,\infty) \times \{0,1\}

where the open sets are of the form

[n,]×{0}[m,)×{1} [n, \infty] \times \{0\} \cup [m,\infty) \times \{1\}

(where mnm \geq n), plus the empty set. Define X nX n+1X_n \rightarrow X_{n+1} so that it sends a pair (k,ϵ)(k, \epsilon) to itself if k>nk \gt n, and (n,ϵ)(n,\epsilon) to (n+1,ϵ)(n+1,\epsilon). This defines a functor

F:Top F: \mathbb{N} \rightarrow Top

The colimit X X_\infty of this sequence is the two-element set {0,1}\{0,1\} with the indiscrete topology. However, the identity map on this space does not factor through any of the canonical maps X nX X_n \rightarrow X_\infty. It follows that the comparison map

colimnHom(X ,X n)Hom(X ,X ) \underset{n}{colim}\ Hom(X_\infty, X_n) \rightarrow Hom(X_\infty, X_\infty)

is not surjective, and therefore not an isomorphism.

Todd (posted from n-category cafe): I don’t know if the story is any different for XX compact Hausdorff, but it could be worth considering.

But with a bit of care on the assumptions, similar results do hold:

Proposition

If YTopY \in Top is a compact topological space, then hom(Y,)hom(Y,-) preserves colimits of functors mapping out of limit ordinals, provided that the arrows of the cocone diagram,

X αX β, X_\alpha \rightarrow X_\beta,

are closed inclusions of T 1 T_1 -spaces, and X βX_\beta is the colimit of earlier X αX_\alpha if β\beta is itself a limit ordinal.

This applies for example to the sequence of inclusions of nn-skeleta in a CW-complex. By considering the cases Y=S kY=S^k and Y=S k×IY = S^k \times I, this implies that the functor π k\pi_k also preserves colimits of such sequences. Applications also occur in the theory of classifying bundles. For example, the total space EO(n)EO(n) of the O ( n ) O(n) -universal principal bundle can be constructed as the colimit colimkV n( n+k)\underset{k \to \infty}{colim} \; V_n(\mathbb{R}^{n+k}) of Stiefel manifolds of orthonormal nn-frames in n+k\mathbb{R}^{n+k}. To show EO(n)EO(n) is weakly contractible, it suffices, by this result, to show that for each jj, the homotopy group π j(V n( n+k))\pi_j(V_n(\mathbb{R}^{n+k})) vanishes for sufficiently large kk.

Proof

Let XX denote the colimit of the diagram mapping out of the limit ordinal κ\kappa. We must show that every map f:YXf \colon Y \to X factors through one of the universal cocone components i α:X αXi_\alpha \colon X_\alpha \to X, where α<κ\alpha \lt \kappa. Suppose not. Starting from any α<κ\alpha \lt \kappa, pick a point x 0f(Y)x_0 \in f(Y) not in the image i α(X α)i_\alpha(X_\alpha). There is a minimal α 1<κ\alpha_1 \lt \kappa such that x 0i α 1(X α 1)x_0 \in i_{\alpha_1}(X_{\alpha_1}). Proceeding inductively, choose x nf(Y)x_n \in f(Y) such that x ni α n(X α n)x_n \notin i_{\alpha_n}(X_{\alpha_n}), and let α n+1\alpha_{n+1} be the minimal ordinal such that x ni α n+1(X α n+1)x_n \in i_{\alpha_{n+1}}(X_{\alpha_{n+1}}). Then let β\beta be the limit of the α n\alpha_n, and let SS be the set {x n:n}\{x_n: n \in \mathbb{N}\}, so that Si β(X β)S \subseteq i_\beta(X_\beta). Any subset KK of SS is closed, because closure of Ki β(X β)K \subseteq i_\beta(X_\beta) is equivalent to closure of of each Ki α n(X α n)K \cap i_{\alpha_n}(X_{\alpha_n}) (since that is how the colimit topology on X βX_\beta is defined), and all these intersections are finite and therefore closed by the T 1T_1 condition. It follows that f 1(S)f^{-1}(S) is an infinite discrete subspace of YY, but this contradicts compactness.

This proof is essentially that given in Hovey (1999), page 50, where this result is needed towards the small object argument on the way to establishing the classical model structure on topological spaces, see this lemma.

finite objects:

geometrymonoidal category theorycategory theory
perfect module(fully-)dualizable objectcompact object

References

Compact objects are discussed under the term “finitely presentable” or “finitely-presentable” objects for instance in

For the pages quoted in the context of the discussion of compact objects in Top see

For the general definition with an eye towards the definition of compact object in an (infinity,1)-category see section A.1.1 section 5.3.4 of

Last revised on June 29, 2024 at 09:23:54. See the history of this page for a list of all contributions to it.