6
$\begingroup$

It can be easily seen that there exists a functor $F:Top \rightarrow Grpd$ from the category of topological spaces to the category of groupoids defined as follows:

Obj: $X \mapsto \pi_{\leq 1}(X)$, where $\pi_{\leq 1}(X)$ is the fundamental groupoid of $X$.

Mor: ($f:X \rightarrow Y) \mapsto F(f):\pi_{\leq 1}(X) \rightarrow \pi_{\leq 1}(Y)$ where the functor $F(f)$ is defined as follows:

Obj: $x \mapsto f(x)$

Mor: $([\gamma]:x \rightarrow y) \mapsto [f(\gamma)]:f(x) \rightarrow f(y) $ where $[\gamma]$ is the homotopy class of path $\gamma$ in $X$ and $[f(\gamma)]$ is the homotopy class of path $f (\gamma)$ in $Y$.

Also it is not difficult to see that $F$ is well behaved with homotopy (for example in the chapter 6 of http://www.groupoids.org.uk/pdffiles/topgrpds-e.pdf)) that is in the sense that if $f,g: X \rightarrow Y$ are homotopic then the induced functors $F(f)$ and $F(g)$ are naturally isomorphic.

Also using this functor $F$ one can construct a 2-funntor $\tilde{F}: 1Type \mapsto Gpd$ where $1Type$ is the 2-category consisting of homotopy 1-types, maps and homotopy class of homotopies between maps and $Gpd$ is the 2-category consist of Groupoids, functors and natural transformations. Now according to Homotopy hypothesis of dimension 1 as mentioned in http://math.ucr.edu/home/baez/homotopy/homotopy.pdf this $\tilde{F}$ is an equivalence of 2-categories.

So from the above mentioned observations I felt that the functor $F$ is an interesting object of study.

Now if we consider the following sequence of functors: $$ X \stackrel{F}{\mapsto} \pi_{\le 1}(X) \stackrel{N}{\mapsto} N(\pi_{\le 1}(X)) \stackrel{r}{\mapsto} r(N(\pi_{\le 1}(X))) $$ where $N$ is the nerve functor and $r$ is the geometric realization functor.

My question is the following:

How the topological spaces $X$ and $r(N(\pi_{\leq 1}(X)))$ are related? It may be possible that my question does not make much sense when $X$ is a general topological space but then, does there exist any specific class of topological spaces $X$ which has a "good relation" with $r(N(\pi_{\leq 1}(X)))$?

I would be also very grateful if someone can refer some literature in this direction.

Thank you!

$\endgroup$
  • 6
    $\begingroup$ en.wikipedia.org/wiki/Postnikov_system $\endgroup$ – Denis Nardin May 12 at 11:38
  • 2
    $\begingroup$ @DenisNardin Thanks for the comment. But can you please explain in little details how this helps in answering my question. Prior apologies if I sound stupid! $\endgroup$ – Adittya Chaudhuri May 12 at 11:42
  • 5
    $\begingroup$ @AdittyaChaudhuri $|N \pi X|$ (using more usual notations...) is the $X_1$ from the Wikipedia article. It's a space satisfying $\pi_k(X_1, x) = 0$ for all $x \in X_1$ and $k \ge 2$, equipped with a map $X \to X_1$ inducing a bijection on $\pi_0$ and an isomorphism on all $\pi_1$'s. $\endgroup$ – Najib Idrissi May 12 at 12:49
  • 2
    $\begingroup$ PS: Note that this is essentially the statement of the dimension 1 homotopy hypothesis you mention (not exactly the same strictly speaking, but I think they're pretty much equivalent). $\endgroup$ – Najib Idrissi May 12 at 12:59
  • 1
    $\begingroup$ @PraphullaKoushik $X$ and $r(N(\pi_{\le 1}(X)))$ are not isomorphic even when $X$ is a CW-complex. Consider the case of $S^2$. Every loop is trivial, and $\pi_{\le 1}(X)$ is equivalent to the trivial category. So its geometric realization is contractible. $\endgroup$ – Najib Idrissi May 12 at 20:33
3
$\begingroup$

The inclusion of groupoids into simplicial sets is fully faithful. Its left adjoint, $\Pi_1$ is given by left Kan extension of the functor $\Delta\to \mathcal{Gpd}$ sending the n-simplex to the contractible groupoid with objects $\{0,...,n\}$.

The entirety of the data of the homotopy type of the space $X$ is contained in its singular simplicial set, which is canonically a Kan complex. In particular, the fundamental groupoid functor you've written above is canonically isomorphic to the composite $\Pi_1 \circ \operatorname{Sing}$. Then we have a universal natural transformation $$\operatorname{Sing} \to N\circ \Pi_1\circ \operatorname{Sing}$$ given by the unit of the adjunction $Π_1\dashv N$. Taking geometric realizations, we obtain a span

$$\lvert \Pi_1 \rvert \cong \lvert N\circ \Pi_1\circ \operatorname{Sing}\rvert \leftarrow \lvert \operatorname{Sing}\rvert \xrightarrow{\simeq} \operatorname{id_{\mathbf{Top}}},$$

where the righthand map is the counit of the adjunction between simplicial sets and topological spaces $\lvert \bullet \rvert \dashv \operatorname{Sing}$, and is a natural weak homotopy equivalence by a theorem of Quillen.

So the lefthand map exhibits the nerve of the fundamental groupoid as stage 1 of the Postnikov System as mentioned by Denis in the first comment.

| cite | improve this answer | |
$\endgroup$
  • $\begingroup$ Thanks for the answer. Here in the first line by "inclusion of groupoids into simplicial sets" do you mean to say nerve functor? Also you mentioned "Universal natural transformation"... I came across that term in Mac lane (Working Mathematician -Pg 39 2nd edition).. did you mean to say in that way? But in that case a universal natural transformation is defined between 2 functors $T_0,T_1: C \rightarrow C \times 2$ where $2$ is the category $0 \rightarrow 1$ and $C$ is any category. I am not getting how we use this notion here. Also are we using the fact it is Universal? $\endgroup$ – Adittya Chaudhuri May 13 at 3:52
  • 1
    $\begingroup$ 1.) Yes, I mean along the nerve. 2.) By universal natural transformation, I mean 'Universal Morphism' as in this wikipedia article en.wikipedia.org/wiki/Adjoint_functors . The unit and counit of an adjunction are always universal in this sense. $\endgroup$ – Harry Gindi May 13 at 11:23
  • 1
    $\begingroup$ @AdittyaChaudhuri I just wanted to mention: This is a general pattern. At least when we have a Kan complex K, we can write down its map to its n+2-coskeleton, which is also a Kan complex.Then the unit map for the coskeleton adjunction, $K\to \operatorname{Cosk}_{n+2} K$ exhibits $\operatorname{Cosk}_{n+2}$ as the nth truncation, that is, the nth stage of the postnikov system. But note that when K is a Kan complex, the $1+2=3$-coskeleton for is canonically isomorphic to $NΠ_1(K)$.Taking the case $K=\operatorname{Sing}(X)$ gives the direct relation to topology by the same span as above. $\endgroup$ – Harry Gindi May 13 at 14:42
  • 1
    $\begingroup$ yes. that's right. $\endgroup$ – Harry Gindi May 14 at 7:38
  • 1
    $\begingroup$ @AdittyaChaudhuri yeah, implicitly they are two different constructions that are canonically isomorphic. $\endgroup$ – Harry Gindi May 14 at 7:52
2
$\begingroup$

I have now (May 13) partitioned the answer into the blocks 1,2, as I think 2 is the simpler answer!

1 I hope the book Nonabelian Algebraic Topology will answer the question for you.

A groupoid is level one of a structure called a crossed complex which is a kind of nonabelian chain complex but also with the groupoid structure in dimensions $\leqslant 1$, which operates on the higher dimensional stuff. There is a homotopically defined functor $\Pi$ from the category of filtered spaces to crossed complexes, using the fundamental groupoid and relative homotopy groups and also a functor $\mathbb B$ from crossed complexes to filtered spaces such that $\Pi \mathbb B$ is naturally equivalent to the identity. This setup is particularly useful for CW-complexes with their standard cellular filtration.

Part of the thesis of the book is to use structured spaces, in this case filtered spaces, to get to link various dimensions, and in this way to use strict algebraic structures. Also the proofs use higher cubical homotopy groupoids, and are non trivial, but can involve the intuitive idea of allowing "algebraic inverses to subdivision", that is generalising to dimension $n$ the usual composition of paths. This is more difficult to do simplicially.

Part I of the book deals with dimensions $0,1,2$ where it is easier to explain the intuitions, and history. Section 2.4 discusses the classifying space of a group and of a crossed module, but the groupoid case comes in Chapter 11.

2 But an answer can easily be put: a groupoid $G$ has a set of objects say $G_0$ and its classifying space $BG $ also contains the set $G_0$.The fundamental groupoid $\pi_1(BG, G_0)$ is naturally isomorphic to $G$! That is, you need the concept of the fundamental groupoid $\pi_1(X,S) $ on a set $S$ of base points, which is formed of homotopy classes rel end points of paths in $X$ with end points in $S$. You can find this developed in the book "Topology and Groupoids". The notion itself was published in my paper

``Groupoids and Van Kampen's theorem'', Proc. London Math. Soc. (3) 17 (1967) 385-40.

The use of this Van Kampen Theorem involving a set of base points was to allow a theorem which could compute fundamental groups of spaces, such as the circle, where the traditional theorem did not apply.

See also this mathoverflow link.

| cite | improve this answer | |
$\endgroup$
  • $\begingroup$ Thank you Sir very much. I will definitely read the book you mentioned & will try to connect it to answer my question. But geometrically what is the meaning of geometrical realisation of the nerve of a fundamental groupoid? . So according to Najib Idrissi's comment it is $X_1$ which is coming from postkinov system of $X$ i.e sequence of spaces$X_n$ and maps $\phi_n:X \rightarrow X_n$ which induce isomorphisms from $\pi_i(X)$ to $ \pi_i(X_n)$ for $i \leq n$, bijection on $\pi_0$ and $\pi(X_n)=0$ for $i > n$. But how this is related to geometric realisation I am not getting properly! $\endgroup$ – Adittya Chaudhuri May 12 at 18:10
  • $\begingroup$ Sir, in the comment above I assumed $X$ is a C W complex and "by sequence of spaces" I mean an inverse system of spaces. $\endgroup$ – Adittya Chaudhuri May 12 at 18:13
  • $\begingroup$ Thank you Sir for the edit. I am trying to understand it. $\endgroup$ – Adittya Chaudhuri May 12 at 20:20
1
$\begingroup$

A very rough argument that can be (easily) formalized is as follows:

We have a notion of $\infty$-groupoids. These are like groupoids, but they have homotopies between morphisms, homotopies between homotopies, and so on. Every topological space presents an infinity groupoid by taking the objects to be points, morphisms to be paths, morphisms between morphisms to be homotopies of paths, etc.

If one takes the connected components of this we get the path components of our space. If one takes the connected components of the automorphism group of a point, we get the fundamental group. If one takes the connected components of the morphisms from a constant path to itself we get the second homotopy group, and so on.

Hence this $\infty$-groupoid can be seen as presenting all the homotopical information of our space. Now the fundamental groupoid is given by taking this $\infty$-groupoid and taking connected components of the morphisms between points to get an actual groupoid. Now we just remarked that the higher homotopy information (homotopy groups after the first) are all contained in the connected components of the morphism sets. By discretizing these sets we are removing all higher homotopical information.

So what should we expect when we realize it? Well we should expect that $\pi_0 , \pi_1$ are that of are spaces, but $\pi_n$ for $n>1$ is trivial. This is exactly what happens, we get the first Postnikov space for $X$, i.e. $K(\pi_1(X),1)$ (or really a disjoint union of these for each path component).

| cite | improve this answer | |
$\endgroup$
  • $\begingroup$ Thanks for the answer. Can you please explain in little detail about what do you mean by Connected components of Morphisms? Also I did not get what is meant by "discretizing the morphism sets"? Did you mean to say all higher $k-$ morphisms are identity? $\endgroup$ – Adittya Chaudhuri May 13 at 4:26
  • 1
    $\begingroup$ Connected components of a groupoid mean the isomorphism classes. You are correct in your guess of what "discretizing" meant. $\endgroup$ – Connor Malin May 13 at 15:55

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.