Localisation by cospans redux

In my previous post I described a construction whereby a 2-category of groupoids Gpd_J^{ccof}(S) internal to a lextensive category S whose 1-arrows are functors with object component a coproduct inclusion can be localised at the fully faithful essentially \amalg J-surjective functors. The 1-arrows of Gpd_J^{ccof}(S) are called complemented cofibrations, and the 1-arrows of the localisation Gpd_J^{ccof}(S)[W^{-1}] were then certain cospans of such functors. This was rather formal and relied on these notes of mine. However, for the case that the ambient category is that of sets, Land, Nikolaus and Szumiło showed that this localisation is equivalent to localising the category of all small groupoids at the fully faithful essentially surjective functors (although they worked in the setting of (\infty,1)-categories, the result is still just a (2,1)-category). I started sketching how one should construct a 2-functor Gpd_J(S)\to Gpd_J^{ccof}(S)[W^{-1}] from a 2-category Gpd_J(S) of internal groupoids with more general functors to the localisation by cospans. (The functors need to satisfy a condition related to the pretopology one is using on the lextensive category, which in the case of a pretopos with the canonical topology turns out to be always true, but there are interesting cases where it is a real restriction.) That said, one can use Pronk’s comparison theorem to show the stronger result that Gpd_J(S)[W^{-1}]\simeq Gpd_J^{ccof}(S)[W^{-1}], which I will sketch below the fold.

The condition that one must impose on the functors in Gpd_J(S) is that the object components need to be ‘partial J-covers’, in the sense that they are morphisms U_0\to M in S that are an element of a J-covering family \{U_i \to M\}, such that if V\to M is any \amalg J-covering family, then so is U_0 + V\to M. For any pretopology whose covering families are defined as ‘jointly surjective collection of X-maps’, the X-maps will be partial J-covers. With this condition, plus the standing assumptions on the pretopology J from last time, if one has an anafunctor X\leftarrow X[U] \to Y (a 1-arrow in Gpd_J(S)[W^{-1}]), then it is possible to replace it by an isomorphic anafunctor X\leftarrow X[P] \to Y where P\to X_0 is a right principal Y-bundle and P\to Y_0 is a left X-space over Y_0. This is what Makkai refers to as a saturated anafunctor, and the object P with its two actions is a right principal bibundle, another approach to localising the 2-category of groupoids. There is a small subtlety here in that one needs to verify that X[P] is a groupoid in the 2-category we are working with (recall that the source and target maps are always assumed to be in J), and the object component of X[P] \to Y is a partial J-cover, but this works fine, given the assumptions. Then one can form the weak pushout of the span X \leftarrow X[P] \to Y to get a cospan X\to Z\leftarrow Y of complemented cofibrations, where the condition on the object components now means that Z is a groupoid in our 2-category. In the case that the anafunctor we started with was an ordinary functor, this gives the construction I have at the end of my last post.

Now we need to see how to apply Pronk’s comparison theorem, which is the following

Theorem (Pronk): Let B\to B[W^{-1}] be a localisation of the bicategory B  by (right) fractions and let F\colon B\to D be a 2-functor sending 1-arrows in W to equivalences. Then if

  1. F is essentially surjective;
  2. Every 1-arrow f in D is isomorphic to a factorisation F(g)\circ F(w)^{-1} for g,w 1-arrows in B with w\in W;
  3. F is locally fully faithful;

then F is also a localisation of B at W, so then D\simeq B[W^{-1}].

We are actually going to apply the opposite of this theorem with F the composite Gpd_J^{ccof}(S) \to Gpd_J(S) \to Gpd_J(S)[W^{-1}], since we have used a cospan construction (hence left fractions) to get Gpd_J^{ccof}(S) \to Gpd_J^{ccof}(S)[W^{-1}]. This means that condition 2. of the theorem is instead

  • Every 1-arrow f in D is isomorphic to a factorisation F(w)^{-1}\circ F(g) for g,w 1-arrows in B with w\in W;

Now we can use the construction above of a cospan X\to Z\leftarrow Y from an anafunctor X\leftarrow X[U] \to Y to factorise the latter as isomorphic to the composite of anafunctors X \stackrel{=}{\leftarrow} X \to Z and Z \leftarrow Z[V] \to Y, where the latter anafunctor is a quasi-inverse to the complemented cofibration Y\to Z. This proves (the opposite of) 2. above. Condition 1. follows since all the 2-functors here are the identity map on objects, and condition 3. follows since Gpd_J^{ccof}(S) is a full sub-2-category of Gpd_J(S) (i.e. an isomorphic on hom-groupoids) and Gpd_J(S) \to Gpd_J(S)[W^{-1}] is locally fully faithful. Thus

Theorem: There is a 2-functor Gpd_J(S) \to Gpd_J(S)^{ccof}[W^{-1}] which is a localisation of the source at the class of fully faithful, essentially \amalg J-surjective functors.

One such 2-functor would be the composite of the functor I incompletely defined in the previous post, with the localisation functor for Gpd_J(S)^{ccof}. Note also that here I’m not assuming S is a small category, so that Gpd_J(S) could be a large 2-category. If a suitable weak smallness condition holds for J (that is, a version of WISC), then the localisation is still locally essentially small.

One reason for forming the localisation this way is that every complemented cofibration X\to Y can be factorised as X\to Y[X_0] \to Y where the right functor is the inclusion of a disjoint subgroupoid, and the left functor has the identity map as its object component. Such identity-on-objects functors give rise to another kind of generalised map of groupoids, called an actor, due to Buneci and Stachura in the case of topological groupoids, and more generally to Meyer and Zhu for internal groupoids as I’ve been working with here (and not to be confused with a morphism also called an actor, defined by Pradines). This means one can also factor a more general functor X\to Y, with a partial J-cover as object component, as a cospan X\to Y[X_0+Y_0] \leftarrow Y, each leg of which factors as above into two special functors as above. The right leg in the copan is fully faithful and essentially \amalg J-surjective, and the identity-on-objects functor in the factorisation of that is the identity functor. In the setting of topological groupoids, actors have good functoriality properties when forming the associated groupoid C^*-algebras, hence the interest here.

4 thoughts on “Localisation by cospans redux

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Google photo

You are commenting using your Google account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s

This site uses Akismet to reduce spam. Learn how your comment data is processed.