nLab
coproduct-preserving representable

Context

Compact objects

Introduction
Absoluteness
Module categories
- Positive results
- Negative results
References
Footnote

Introduction

In this article, we collect some results about representable functors $C (c, -) : C \to V$ (where $V$ is some base of hom-enrichment) that preserve coproducts.

When $C$ is an extensive category regarded as enriched in $Set$ , we call $c$ a connected object, and this terminology matches well one’s intuition about connectedness from familiar cases such as $C = Top$ , or $C$ the category of graphs, etc. Some basic results with proofs may be found at connected object, including

A connected colimit (i.e., a colimit over a connected diagram of) connected objects is connected.
If $X$ is connected and $X \to Y$ is epic, then $Y$ is connected.

For non-extensive categories (e.g., categories of modules), the relation to “connectedness” tends to be less intuitive¹. Nevertheless, the concept of (arbitrary) coproduct-preserving representable remains important, and it is useful to collect some basic information.

Absoluteness

In an Ab-enriched category, finite coproducts are absolute colimits, hence are preserved by every representable. Thus, the interest is in representables which preserve infinite coproducts as well (which is what most of this page is about).

At the other extreme from extensive categories, in a SupLat-enriched category (such as SupLat or Rel) arbitrary coproducts are absolute, and hence preserved by every representable.

Module categories

Let ${Mod}_{R}$ denote the category of right modules over a ring $R$ , and suppose an object $M$ induces a coproduct-preserving hom-functor ${Mod}_{R} (M, -) : {Mod}_{R} \to Ab$ . Various names for such $M$ appear in the literature, “compact” and “dually slender” among them. In any event, a question arose on MathOverflow as to whether or to what extent this condition coincides with the condition of being finitely generated, for various rings $R$ .

The information provided below was mostly culled from the answers given to that question, especially those by Pierre-Yves Gaillard and Fernando Muro. Here and there some minor details and background information have been filled in, and some key results have been slightly rearranged.

Positive results

We begin with some easy preliminary remarks. Given a family of objects ${B_{i}}_{i \in I}$ in an $Ab$ -enriched category $C$ and a functor $F : C \to Ab$ , there is a canonical arrow

\oplus_{i} F (B_{i}) \to F (\oplus_{i} B_{i})

and if this arrow is an isomorphism for every family $B_{i}$ , we say $F$ preserves coproducts. Turning to the case of representable functors on modules, let

p_{j} : \oplus_{i} B_{i} \to B_{j}

be the obvious projection ( $p_{j} \circ i_{j} = 1_{B_{j}}$ , else $p_{j} \circ i_{k} = 0$ ), and given $f : M \to \oplus_{i} B_{i}$ , put

f_{j} ≔ p_{j} \circ f .

Then ${Mod}_{R} (M, -)$ preserves the particular coproduct $\oplus_{i} B_{i}$ if for each $f : M \to \oplus_{i} B_{i}$ , we have $f_{j} = 0$ for all but finitely many $j$ .

Clearly ${Mod}_{R} (R, -)$ preserves coproducts, and if $F$ , $G$ are coproduct-preserving functors ${Mod}_{R} \to Ab$ , then so is $F \oplus G$ . It follows that

${Mod}_{R} (R^{n}, -)$ preserves coproducts.

Proposition

If ${Mod}_{R} (M, -)$ preserves coproducts and $q : M \to N$ is epic, then ${Mod}_{R} (N, -)$ preserves coproducts.

Proof

Given $f : N \to \oplus_{i} B_{i}$ , we have $p_{j} \circ f \circ q = 0$ for all but finitely many $j$ , whence $f_{j} = p_{j} \circ f = 0$ for all but finitely many $j$ since $q$ is epic.

Combining the two preceding observations, we infer that

${Mod}_{R} (M, -)$ preserves coproducts if $M$ is finitely generated.

Here is a sharper description of coproduct-preserving representables, based on subobject lattices.

Theorem

${Mod}_{R} (M, -)$ preserves coproducts if and only if the union of every countable chain of proper submodules of $M$ is a proper submodule.

Proof

(As adapted from Gaillard’s answer.) Let $M_{0} \subset M_{1} \subset \dots$ be a chain of proper submodules of $M$ whose union is $M$ , and put $Q_{n} = M / M_{n}$ . Since for each $m \in M$ we have $q_{n} (m) = 0$ for all but finitely many $n$ , the map

q = ⟨ q_{n} ⟩ : M \to \prod_{n} Q_{n},

corresponding to the tuple of quotient maps $q_{n} : M \to Q_{n}$ , factors through the inclusion $\oplus_{n} Q_{n} ↪ \prod_{n} Q_{n}$ . However, since each $q_{n}$ is nonzero, $q$ does not belong to the subgroup

\oplus_{n} {Mod}_{R} (M, Q_{n}) ↪ \prod_{n} {Mod}_{R} (M, Q_{n}) ≅ {Mod}_{R} (M, \prod_{n} Q_{n})

and thus the canonical map $\oplus_{n} {Mod}_{R} (M, Q_{n}) \to {Mod}_{R} (M, \oplus_{n} Q_{n})$ is not an isomorphism.

In the other direction, if ${Mod}_{R} (M, -)$ does not preserve coproducts, then we can find some map

f : M \to \oplus_{i \in I} B_{i}

not belonging to the subgroup $\oplus_{i \in I} {Mod}_{R} (M, B_{i}) ↪ {Mod}_{R} (M, \oplus_{i \in I} B_{i})$ . This means that infinitely many components $f_{i} : M \to B_{i}$ are nonzero. Choose a countable subset $N \subset I$ such that $f_{n} : M \to B_{n}$ is nonzero for every $n \in N$ , and put

M_{n} ≔ ⋂_{k \geq n} \ker (f_{k}) .

Each $M_{n}$ is a proper submodule of $M$ , and the $M_{n}$ form a nondecreasing chain, but the union of the $M_{n}$ is $M$ (because for each $m \in M$ , only finitely many $f_{n} (m)$ can be nonzero).

Theorem

Let $R$ be a Noetherian ring, and suppose $M \to N$ is a monomorphism of $R$ -modules. Then if ${Mod}_{R} (N, -)$ is coproduct-preserving, so is ${Mod}_{R} (M, -)$ .

Proof

(As adapted from Muro’s answer.) Consider a family $B_{i}$ of modules, and a map $f : M \to \oplus_{i} B_{i}$ . Since there are enough injectives, there exists an embedding $i_{j} : B_{j} \to E_{j}$ in an injective module, for each $j$ . Next, as explained here, the Noetherian assumption allows us to infer that $\oplus_{i} E_{i}$ is injective. Thus, there exists $g$ such that the diagram

\begin{matrix} M & \to & N \\ ^{f} ↓ & ↓^{g} \\ \oplus_{j} B_{j} & \underset{\oplus_{j} i_{j}}{\to} & \oplus_{j} E_{j} \end{matrix}

commutes. Because ${Mod}_{R} (N, -)$ preserves coproducts, we have $g_{j} = 0$ for all but finitely many $j$ . Since the diagram

\begin{matrix} M & \to & N \\ ^{f_{j}} ↓ & ↓^{g_{j}} \\ B_{j} & \underset{i_{j}}{\to} & E_{j} \end{matrix}

commutes and $i_{j}$ is injective, we see $f_{j} = 0$ for all but finitely many $j$ , whence ${Mod}_{R} (M, -)$ preserves coproducts.

Corollary

Let $R$ be Noetherian. If ${Mod}_{R} (M, -)$ preserves coproducts, then $M$ is finitely generated.

Proof

(Combining Gaillard’s and Muro’s answers.) We prove the contrapositive. Suppose $M$ is not finitely generated. Then we can find a strictly increasing sequence of submodules of $M$ :

M_{1} ↪ M_{2} ↪ \dots ↪ M .

Let $M'$ be the union of the $M_{i}$ . By Theorem 1, the representable ${Mod}_{R} (M', -)$ does not preserve coproducts. By Theorem 2, we infer that ${Mod}_{R} (M, -)$ does not preserve coproducts.

Remark: A ring for which finitely generated modules coincide with modules $M$ such that ${Mod}_{R} (M, -)$ is coproduct-preserving is called steady. Thus, Noetherian rings are steady. Cf. Martin Brandenburg’s answer.

Negative results

Next, we construct an example of a ring $R$ and an $R$ -module $M$ such that ${Mod}_{R} (M, -)$ preserves coproducts but $M$ is not finitely generated.

Lemma

A module $M$ is finitely generated if and only if the union of a totally ordered family of proper submodules of $M$ is a proper submodule.

Proof

The following proof is a practically verbatim transcription from Gaillard’s answer, modulo some notational changes. Assume that $M$ is not finitely generated. Let $P$ be the set of those submodules $N$ of $M$ such that $M / N$ is not finitely generated, ordered by inclusion. Clearly the poset $P$ is nonempty and has no maximal element. By (the contrapositive of) Zorn’s Lemma, there is a nonempty totally ordered subset $T ↪ P$ which has no upper bound. Letting $U$ be the union of the submodules occurring in $T$ , we see that $M / U$ is finitely generated. There is thus a finitely generated submodule $F$ of $M$ which generates $M$ modulo $U$ . Then the collection

{N + F : N \in T}

is a totally ordered set of proper submodules whose union is $M$ .

Thus, our task is to construct a ring $R$ and an $R$ -module $M$ such that every countable chain of proper submodules of $M$ is bounded above by a proper submodule of $M$ (cf. Theorem 2), but admitting an uncountable chain of proper submodules whose union is $M$ (so that $M$ is not finitely generated, by the preceding lemma 1). The solution as presented below is essentially from the answers of Gaillard and Brandenburg, with a few extra glosses.

The task is more or less straightforward if we just remember that valuation rings can model arbitrarily complicated rates of growth, i.e., in the present case, we just want to build a valuation field with uncountable supply of rates of growth (or of degrees of infinite/infinitesimal elements). Thus, consider for example the free abelian group generated by the first uncountable ordinal, and make this a totally ordered group $G$ by imposing the lexicographic order. This is the value group of a valuation field $K$ whose elements are Hahn series, formally described as functions

f : G \to ℝ

whose support is well-ordered when considered as a subset of the opposite order $G^{op}$ . (More suggestively, we think of $f$ as a formal series

\sum_{g \in G} a_{g} x^{g}

where $a_{g} = f (g)$ and $x$ is an indeterminate viewed as a generic infinite element, with obvious rules for adding and multiplying. The well-ordering condition is used to ensure that the rules for addition and multiplication are well-founded, and the value $v (f)$ of such a series is the least $g \in G^{op}$ lying in the support of $f$ . That is to say, the greatest $g \in G$ that indexes a non-zero coefficient $a_{g}$ .)

Now let $R$ be the valuation ring consisting of bounded elements of $K$ , i.e., those $f : G \to ℝ$ in $K$ where $f (g) = 0$ whenever $g$ is greater than the identity element of $G$ . Then $K$ is the field of fractions of $R$ , and we may regard $K$ as an $R$ -module.

For each $t \in ω_{1}$ , let $R_{t}$ be the $R$ -submodule of $K$ consisting of all those $f : G \to ℝ$ in $K$ such that $v (f) \leq t$ . These $R_{t}$ are “principal fractional ideals”, and they form a system of proper submodules which is cofinal in the lattice of $R$ -submodules of $K$ , ordered by inclusion.

By cofinality, any countable chain of submodules of $K$ is bounded above by some $R_{t}$ , so that ${Mod}_{R} (K, -)$ preserves coproducts. However, the union of all the $R_{t}$ is $K$ , so that $K$ is not finitely generated.

References

Sasha (mathoverflow.net/users/2095), “Sums-compact” objects = f.g. objects in categories of modules?, Question 59282 (version: 2011-11-19) (link)

Fernando Muro (mathoverflow.net/users/12166), “Sums-compact” objects = f.g. objects in categories of modules?, Answer 59320 (version: 2011-03-23) (link)

Pierre-Yves Gaillard (mathoverflow.net/users/461), “Sums-compact” objects = f.g. objects in categories of modules?, Answer 81333 (version: 2011-11-29) (link)

Martin Brandenburg (mathoverflow.net/users/2841), “Sums-compact” objects = f.g. objects in categories of modules?, Answer 81623 (version: 2011-11-22) (link)

Footnote

The divide between extensive categories and categories of modules is somewhat analogous to the divide between the classical particles and quantum particles. In the classical picture, if an elementary particle (which we can think of as “connected”) is in a state described by a union $U + V$ , then it is either in state $U$ or in state $V$ . Whereas in the quantum picture, one has to consider superpositions $U \oplus V$ of states $U$ , $V$ , and the usual sort of classical logic of disjunctions breaks down. Notice that classical logic (meaning here, non-quantum logic) is largely derived from our experience with extensive categories such as toposes. ↩

Revised on February 24, 2013 19:55:53 by Todd Trimble (67.81.93.26)

nLab
coproduct-preserving representable

Context

Compact objects

Models

Relative version

Contents

Introduction

Absoluteness

Module categories

Positive results

Proposition

Proof

Theorem

Proof

Theorem

Proof

Corollary

Proof

Negative results

Lemma

Proof

References

Footnote

nLab coproduct-preserving representable

Context

Compact objects

Models

Relative version

Contents

Introduction

Absoluteness

Module categories

Positive results

Proposition

Proof

Theorem

Proof

Theorem

Proof

Corollary

Proof

Negative results

Lemma

Proof

References

Footnote

nLab
coproduct-preserving representable