9
$\begingroup$

If $A$, $B$, and $C$ are topological groups, and $f: A \to B$ and $g: B \to C$ are two continuous group homomorphisms, what does it usually mean for

$$1 \to A \stackrel{f}{\to} B \stackrel{g}{\to} C \to 1$$

to be exact?

I would expect that one at least expects exactness as abstract groups (as opposed to, say $g(B)$ just being dense in $C$).

Does one also expect $f$ to be a homeomorphism of $A$ onto $f(A)$? And if so, does one further expect $C$ to be homeomorphic to $B/f(A)$ with the quotient topology>?

Would one's expectations change if $A$, $B$, and $C$ were all abelian topological groups? (And what if they were all topological $G$-modules for some topological group $G$ -- that is, if each was an abelian topological group and additionally we had continuous group action maps $G \times A \to A$ and same for $B$ and $C$, and $f$ and $g$ were $G$-equivariant?)

This seems to just be a question of semantics. I definitely see at least some authors require $A$, $C$ to have the subspace, quotient topology. But then something I read somewhere else seems to suggest that the condition should only be on the topology of $A$ only, or maybe no additional topological condition at all --- I can't quite tell...

So, what do you expect when you read or hear that $1 \to A \to B \to C \to 1$ is an exact sequence of topological groups? Is there a consensus?

UPDATE: The question has been reduced to understanding what it means for a sequence to be exact in a category that is not abelian but has kernels and cokernels (and a zero object). There are some ideas in Matthew Daws's answer and the following comments below, but a reference would be great.

  • 1
    The writer of [this question](http://math.stackexchange.com/questions/52164/short-exact-sequences-of-topological-groups-and-lie-groups) seems to expect $f$ to be a closed map and $g$ to be open... But I don't quite see yet what that implies for the topologies of $A$ and $C$.2011-11-29
  • 0
    Ok: for an algebraically exact sequence of topological groups with continuous maps, $g$ being open is equivalent to $C$ having the quotient topology. And $f$ being closed (or open) does imply that $A$ has the subspace topology. In the case where $f(A)$ is closed in $B$, $f$ being closed is equivalent to $A$ having the subspace topology.2011-12-01
  • 2
    [Here](http://arxiv.org/abs/1111.0330) is a reference (a paper recently submitted to the arxiv which discusses exactness in general categories. They suggest that the proper answer, one which gets you the useful properties of exact sequences, is more subtle than the obvious generalization. Note that as a way of having zero objects/morphisms, they adopt the language of categories enriched over the category of pointed sets. If you haven't seen enriched categories, you might want to check out the first chapter of [Kelly's book](http://tac.mta.ca/tac/reprints/articles/10/tr10abs.html).2011-12-09
  • 0
    @Aaron: This seems quite helpful, though too complicated for me at the moment. This is not my time to learn about enriched categories. I'm quite surprised, though -- the question seems quite simple and I expected it to have a simple answer. I guess I'm still holding out hope, though maybe math.stackexchange isn't the right place for it.2011-12-10
  • 0
    The good news and bad news with a lot of category theory is that in a lot of familiar categories, many different notions collapse together, e.g. there are many different kinds of [epimorphisms](http://ncatlab.org/nlab/show/epimorphism), several of which are equivalent in $\mathcal{Set}$. This means that in familiar categories, familiar notions can be described/transported simply. Unfortunately, it also means that the obvious generalization won't always be the right one, and won't have all the properties you want it to have (even if it works in the categories you care about).2011-12-10
  • 0
    Also, regarding enriched category theory, it's worthwhile to learn (even if only to see closed symmetric monoidal categories), but you can start by thinking of categories whose hom sets have additional structure. You've seen hom sets where morphisms can be added, and likely where they are actually modules over some ring. In the paper, they use pointed sets and have the base point in each hom set correspond to the zero morphism. This lets them have zero morphisms without a zero object. N.B. The product in pointed sets isn't the product in set. The difference models how zero morphisms work.2011-12-10
  • 1
    @Aaron: The categories I'm interested in at the moment all have zero objects as well as kernels and cokernels. They're often even additive. They're just not normal, so that requiring $\mathop{\rm coker} f = g$ (Matthew Daws's suggestion below) is more restrictive than $\ker (\mathop{\rm coker} f) = \ker g$ (my suggestion below)...2011-12-10

2 Answers 2

3

Edit: Added some references; thanks to t.b. for many of these.

Suppose I take as my category topological (Hausdorff) groups and continuous homomorphisms. This has a "zero object"-- just the trivial group $\{1\}$. Then the (group theoretic) kernel of a continuous homomorphism will be a closed subgroup, and hence a topological group in its own right. It's easy to see that this shows that this category has "kernels" in the abstract sense.

Forming cokernels is a little trickier: given $f:G\rightarrow H$ let $Q$ be the closed normal subgroup of $H$ generated by $f(G)$. Then $H/Q$ is a Hausdorff topological group as well (See Hewitt+Ross, Thm. 5.26). The cokernel of $f$ is then the quotient homomorphism $q:H\rightarrow H/Q$. Indeed, clearly $qf=0$; if $q'f=0$ then $f(G) \subseteq \ker q'$ and so as $\ker q'$ is a closed normal subgroup, $Q\subseteq \ker q'$.

Similarly, $f:G\rightarrow H$ is "monic" if and only if $f$ is (set-theoretic) injective. $f$ is "epi" if it has dense range (Edit: the "only if" claim fails for locally compact groups, see an example of Reid; but it's true for locally compact groups in the category of Hausdorff groups, see a paper of Nummela, "On epimorphisms of topological groups" (1978); for merely Hausdorff topological groups, "only if" is false, see paper of Uspenskij).

I then believe that we have an abstract, category-theoretic definition of "exact sequence", namely $$ 0 \rightarrow G \xrightarrow{f} H \xrightarrow{g} K \rightarrow 0 $$ with $f$ monic, $g$ epi, $f$ is the kernel of $g$ and $g$ is the cokernel of $f$. Translating, this means precisely that $f$ is a homeomorphism onto its range, which is the usual kernel of $g$, and $K$ is isomorphic to $H/f(G)$, with $g$ the quotient map. This definition is copied from Mac Lane, "Categories for the working mathematician", Chapter VIII, Section 3. Now, that section is all about abelian categories, but the definition works in more generality.

Is this the "correct" definition? I absolutely wouldn't want to say that. But if you wanted something to start with, this seems reasonable. If you want something slightly different for an application? Then what's wrong with just spelling out, very clearly, what you mean by "exact", and maybe saying something to the effect that this is not an entirely standard defintion?

  • 4
    The "only if" part of your characterization of epis turns out to be wrong outside the locally compact realm: See Uspenskij, [The epimorphism problem for Hausdorff topological groups](http://dx.doi.org/10.1016/0166-8641(94)90055-8) Re: IIRC. The quotient of an arbitrary topological group by a closed subgroup is Hausdorff, see e.g. [Hewitt-Ross, Thm (5.21), page 38](http://books.google.com/books?id=uf11K1wXEYUC&pg=PA38).2011-12-01
  • 0
    @t.b. Thanks! I knew it would be in Hewitt-Ross, but my copy was not with me at the time...2011-12-01
  • 0
    So are you saying that the right definition of a short exact sequence in any category where zero objects, kernels, cokernerls, monomorphisms, and epimorphsims make sense is what you've proposed: $0 \to G {\stackrel{f}{\to}} H {\stackrel {g}{\to}} K \to 0$ is exact if $f$ is monic, $g$ is epi, $f$ is the kernel of $g$ and $g$ is the cokernel of $f$? In particular this would imply that many monomorphisms and epimorphisms can never be part of any short exact sequence...2011-12-01
  • 0
    @sibilant: I'm not a category theorist in any sense; and I would always hesitate to say that this was the "right" definition. But I think (IIRC; I got this from some private notes I made 6 months ago) that this definition is that which Mac Lane gives in his book (for an abstract category with kernels and cokernels, and with (non-topological) groups as an example).2011-12-02
  • 0
    I have a feeling that this is the right definition of exactness for abelian categories only -- i.e., for normal categories where each mono is a kernel and each epi is a cokernel. That's the context in which Mac Lane defines short exact sequences. I can't find a reference willing to give a definition just for categories with a zero object, kernels, and cokernels,...[continued]2011-12-03
  • 0
    [continued]... but both [nlab](http://ncatlab.org/nlab/show/exact+sequence) and Mac Lane define $A {\stackrel f \to B} {\stackrel g \to} C$ to be exact if $\mathop{\rm im} f = \ker g$, where $\mathop{\rm im} f$ is defined to be $\ker({\mathop{\rm coker}} f)$. In the case of a short exact sequence (i.e., $f$ is mono and $g$ is epi) it's easy to see that $\ker({\mathop {\rm coker}} f) = \ker g$ is a lot less restrictive than $\mathop{\rm coker} f = g$, and matches the more general usage that I have observed.2011-12-03
  • 0
    So I think at this point we need a reference that defines exactness for non-abelian categories with kernels and cokernels. I hope that adding a category-theory tag to this question will help.2011-12-03
  • 0
    @sibilant: In the definition you propose you have that $\mathbb{Q} \to \mathbb{R} \to 0$ is short exact in the category of Hausdorff topological groups, which you certainly don't want to count as a short exact sequence. You seem to be missing that there is also a *coimage* and that the morphism from the coimage to the image is not necessarily an isomorphism. In all the contexts I've seen so far, the definition that Matthew proposes is the one intended.2011-12-03
  • 0
    @t.b.: That's right---is it clear that having $\mathbb Q \to \mathbb R \to 0$ be exact is undesirable? We then have $B \to C \to 0$ exact iff $B \to C$ is an epimorphism, which doesn't seem like a terrible thing.2011-12-03
  • 0
    @t.b.: As far as the coimage -- the lack of an isomorphism from image to coimage is exactly the subtlety that we're discussing, no (that is, the distinction between preabelian and abelian categories in a nonadditive setting). I do hope that given $A {\stackrel f \to} B {\stackrel g \to} C$ in a category with kernels and cokernels (and maybe you need more -- I'll think about it), then $\mathop{\rm im} f = \ker g$ as sub of $B$ if an only if $\mathop{\rm coker} f = \mathop{\rm coim} g$ as quotient of $B$.2011-12-03
  • 0
    @t.b.: I misunderstood what you meant about $\mathbb Q$ and $\mathbb R$; you no doubt meant that my definition would make $0 \to \mathbb Q \to \mathbb R \to 0$ exact. That's weird, but we still have $0 \to A \to B$ exact iff mono, $B \to C \to 0$ exact iff epo, which seems fine. It's just that mono + epi $\not\implies$ iso.2011-12-03
  • 0
    @t.b.: do you have a reference for my proposal being the "correct" (or at least "common") definition of exact in a category with kernels+cokernels? I have _thought_ this was in Mac Lane, but when I checked, it is very true that he really only considers this definition for an abelian category.2011-12-04
  • 1
    @Matthew: I think for topological groups it's in a paper of Graeme Segal, Cohomology of topological groups, Symposia Mathematica IV (1970), 377-387. See also [here](http://www.maths.ed.ac.uk/~aar/papers/stasheff5.pdf) page 516. The abstract categorical nonsense might be in [Eilenberg-Moore](http://books.google.com/books?id=US4ZAQAAIAAJ). Unfortunately, I can't check at the moment.2011-12-04
  • 0
    @MatthewDaws: It feels silly to let 100 points go to waste, so the bounty goes to you.2011-12-13
  • 0
    Ah, thank you very much! Not sure I quite deserve that, but never mind...2011-12-14
  • 0
    @t.b. (and Matt) Just seen this - there is a book of Borceux and Bourn that sets up things like exact sequences for very general categories - I think the book is called "Homological categories" or similar. I've never read it but they definitely consider certain kinds of non-additive category (such as Grp and its relatives)2012-01-14
0

In an additive (or even preadditive) category, a map $\phi: A \to B$ is proper if the natural map from the kernel of the cokernel of $\phi$ to the cokernel of the kernel of $\phi$ is an isomorphism. Note that part of this definition is the requirement that all these kernels and cokernels exist. In this case, both objects are sometimes called the "image" (though various sources mean one or the other in general). Usually a sequence $A \to B \to C$ is defined to be exact if the maps are proper and the natural map from the image of $A \to B$ to the kernel of $B \to C$ is an isomorphism. See, for example, Yoneda's paper "On Ext and Exact Sequences" or "Quasi-Abelian Categories and Sheaves" Jean-Pierre Schneiders.

A monomorphism is proper iff it is the kernel of some morphism, and dually for epimorphisms. If the category has all kernels and cokernels, then a monomorphism is proper iff it is the kernel of its cokernel, and dually for epimorphisms. So for a sequence $0 \to A \to B \to C \to 0$, if you require that the maps be proper, then the sequence is exact if and only if either (1) $A \to B$ is the kernel of $B \to C$ and $B \to C$ is an epimorphism, or (2) $B \to C$ is the cokernel of $A \to B$ and $A \to B$ is a monomorphism.