Category Theory
Zulip Server
Archive

You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.


Stream: learning: questions

Topic: Homology is "just" the colimit of a constant functor?


view this post on Zulip Chris Grossack (they/them) (Feb 22 2025 at 07:20):

In a talk I recently attended, the speaker said offhand that given a space (by which I mean an \infty-groupoid) XX, we have

H(X,k)limXhkH_\bullet(X,k) \simeq \varinjlim^h_X k

I assume by this he means that the homology of XX, viewed as chain complex with 00 differential, is the (homotopy) colimit of the constant functor XD(k)X \to \mathcal{D}(k) sending all of XX to the chain complex of just kk concentrated in degree 00.

This sounded like a cool computation to try, and I think I have some idea of how it should work -- my guess is that this colimit will end up being singular chains on XX, and this is equivalent to homology when kk is a field since in that case every chain complex is formal.

1) Does this sound like the right idea of a proof? How might one show that the colimit is singular chains? I think this will have something to do with a tensoring of D(k)\mathcal{D}(k) over spaces, but I don't quite see how to make this precise... Maybe we think about the unique colimit preserving functor from spaces to D(k)\mathcal{D}(k) induced by sending the point to kk? (Remembering that spaces are the free cocompletion of a point)

2) In my gesture at an argument, I crucially needed kk to be a field to appeal to formality... Is that really necessary? Or does this kind of argument hold for Z\mathbb{Z}, etc.?

3) Is there a standard reference for this? I looked around and wasn't able to find anything, though it's possible I'm missing some obvious place I should have looked

Thanks in advance ^_^

view this post on Zulip Mike Shulman (Feb 22 2025 at 15:54):

Re: 2, I think the thing to do in general is just stop with the chain complex. Sometimes people blur the line between the homology groups of X and the chain complex (or spectrum) whose homology (or homotopy) groups are those homology groups. The latter is better-behaved as an object, so it makes sense to keep it around as long as possible.

view this post on Zulip Mike Shulman (Feb 22 2025 at 15:57):

I'm more familiar with the world of spectra, where the formula H(X;A)=π(XHA)H_*(X;A) = \pi_*(X \wedge HA) is a well-known dual to the representability of cohomology H(X;A)=π(hom(X,HA))H^*(X;A) = \pi_{-*}(\hom(X,HA)), where HAHA is the Eilenberg-Mac Lane spectrum. I think one way to prove those facts is to show that these formulas satisfy the Eilenberg-Steenrod axioms and appeal to the uniqueness of (co)homology, and you could presumably also do that with chain complexes.

view this post on Zulip Mike Shulman (Feb 22 2025 at 15:59):

Another possibility that occurs to me is to use the Dold-Kan correspondence to replace chain complexes by simplicial abelian groups, represent XX by a Kan complex, and work at model category level with the simplicial enrichment of simplicial abelian groups.

view this post on Zulip Kevin Carlson (Feb 23 2025 at 00:22):

But to be clear, the story “should be” something like: XX is a colimit of points indexed by itself, so ΣX\Sigma^\infty X is the colimit of (the constant diagram of) sphere spectra S\mathbb S indexed by X,X, so H(X,k)H_*(X,k) is the colimit of k=kSSk=k\otimes_{\mathbb S} \mathbb S indexed the same way, by cocontinuity of stabilization and tensoring with (the spectrum associated to) k.k.

How satisfactory this story is as told depends on how much you’re worried about absorbing the key intuitions versus recovering exact constructions like the singular chains. To that end I think you could probably recover singular chains using an explicit formula for homotopy colimits of chain complexes, say in terms of weighted colimits. This is probably roughly the same thing as Mike was thinking in his second suggestion, though.

view this post on Zulip Kevin Carlson (Feb 23 2025 at 00:31):

Actually, if you already know that ordinary homology is cocontinuous from the \infty-category of spaces to that of chain complexes, which after all is exactly what the Eilenberg-Steenrod axioms say, then we’re done already, having constructed two cocontinuous functors agreeing on the point, just as you suggested.

view this post on Zulip Chris Grossack (they/them) (Feb 23 2025 at 18:42):

Great, thanks you two! This is plenty to think about, and look closely related to some ideas I was having.