arxiv: v1 [math.co] 6 Jan 2019

Transcription

1 HOMOTOPY IN THE CATEGORY OF GRAPHS T. CHIH AND L. SCULL rxiv: v1 [mth.co] 6 Jn 2019 Astrt. We develop theory of homotopy for grphs whih is internl to the tegory of grphs. Previous uthors hve ssoited spes to grphs nd their homomoprhisms, nd used the homotopil properties of the spes to get grph theory results. We develop theory for grph homotopy tht is independent of suh onstrutions nd does not use topologil or simpliil ojets. We develop the si theory, nd show tht grphs form 2-tegory, nd the quotient of the 2-ells forms the tegoril homotopy tegory. We explore the expliit struture of homotopy of grph homomorphisms nd homotopy equivlenes of grphs, nd estlish onnetion to dismntling of grphs, identifying nonil representtion for grph homotopy lsses. We finish y onstruting fundmentl groupoid for grphs tht is oth funtoril nd homotopy invrint. 1. Introdution Homotopy theory trditionlly studies ontinuous trnsformtions of spes nd mps etween them. Trnslting suh fundmentlly ontinuous onept into disrete setting suh s grphs presents hllenge. Previous strtegies hve een to ssoite topologil spes or simpliil omplexes to grphs or homomorphisms of grphs, nd then relte the homotopy of the spes to grph properties [1,2,6,7,11 14]. In this pper, we estlish theory of homotopy for grphs using tegoril pproh, stritly internl to the tegory of grphs. In doing this, we follow mny spets of the trditionl development of homotopy for spes, ut pplying them only to grphs nd grph morphisms. Our gol is to present firly omplete development of the sis of homotopy theory for grphs whih does not rely on ny onstrutions or knowledge of topology. We egin in Setion 2 y reviewing the si definitions nd properties of the grph tegory, inluding produts, exponentil ojets nd wlks nd their ontentions [6, 8, 10, 16]. In Setion 3, we introdue the definition of homotopy etween grph morphisms using the onstrutions of Setion 2, without referene to other tegories. We estlish tht the tegory of grphs forms 2- tegory. In Setion 4 we give onrete desription of wht homotopy etween grph morphisms n do, nd identify nonil method for identifying homotopy equivlene. In doing so we estlish onnetion etween our tegoril onstrutions nd dismntling of grphs [3, 5, 10]. In Setion 5 we use our expliit desriptions of homotopies from Setion 4 to show tht the quotient of the 2-tegory onstruted is the tegoril homotopy tegory for grphs. Lstly, in Setion 6 we define funtoril fundmentl groupoid for grphs, nd show tht it is homotopy invrint of grphs. 2. Bkground In this setion, we give kground definitions nd nottion. We inlude some si results whih seem like they should e stndrd, ut we were unle to find speifi referenes in the literture, so we inlude them here for ompleteness. We will use stndrd grph theory definitions nd terminology following [4, 8], nd tegory theory definitions nd terminology from [15, 17]. 1

2 2 T. CHIH AND L. SCULL 2.1. The Grph Ctegory. We work in the tegory Gph of finite undireted grphs, where we llow loops ut hve t most one edge onneting two verties. Definition 2.1. The tegory of grphs Gph is defined y: An ojet is grph G, onsisting of set of verties V(G) = {v i } nd set E(G) of edges onneting them, where eh edge is given y n unordered set of two verties. If two verties re onneted y n edge, we will use nottion v 1 v 2 E(G), or just v 1 v 2 if the prent grph is ler. An rrow in the tegory Gph is grph morphism f : G H. Speifilly, this is given y set mp f : V(G) V(H) suh tht if v 1 v 2 E(G) then f(v 1 ) f(v 2 ) E(H). We will work in this tegory throughout this pper, nd ssume tht grph lwys refers to n ojet in Gph. Definition 2.2. [10,16] The (tegoril) produt grph G H is defined y: A vertex is pir (v,w) where v V(G) nd w V(H). An edge is defined y (v 1,w 1 ) (v 2,w 2 ) E(G H) for v 1 v 2 E(G) nd w 1 w 2 E(H). Exmple 2.3. Let G e the grph on two djent looped verties: V(G) = {0,1} nd E(G) = {0 0,1 1,0 1}. Let H = K 2 with V(H) = {,} nd E(H) = { }. Then G H is isomorphi to the yli grph C 4 : 1 (1,) (1,) 0 (0,) (0,) Lemm 2.4. If w V(H) is looped, ie w w E(H), then there is n inlusion G G H given y v (v,w) whih is grph morphism. Proof. If w is looped then v v in G if nd only if (v,w) (v,w) in G H. Thus the sugrph G {w} is isomorphi to G. Definition 2.5. [6] The exponentil grph H G is defined y: A vertex in V(H G ) is set mp V(G) V(H) [not neessrily grph morphism]. There is n edge f g if whenever v 1 v 2 E(G), then f(v 1 ) g(v 2 ) E(H). Exmple 2.6. Let G nd H e the following grphs: G = 0 1 H = Then the exponentil grph H G is illustrted elow, where the row indites the imge of 0 nd the olumn the imge of 1. So for exmple the vertex in the (,) spot represents the vertex mp

3 HOMOTOPY IN THE CATEGORY OF GRAPHS 3 f(0) =,f(1) =. 1 0 Oservtion 2.7. Iff isloopedinh G,thismensextlythtifv 1 v 2 E(G), thenf(v 1 ) f(v 2 ) E(H). Thus set mp f : V(G) V(H) is grph morphism if nd only if f f E(G H ). Lemm 2.8. If φ : H K is grph morphism nd f g E(H G ) then φf φg E(K G ). So φ indues grph morphism φ : H G K G. Proof. Suppose tht f g E(G H ). So for ny v 1 v 2 E(G), we know tht f(v 1 ) g(v 2 ) E(H). Sine φ is grph morphism, φ(f(v 1 )) φ(g(v 2 )) E(K). So φf φg. Lemm 2.9. If ψ : K G is grph morphism nd f g E(H G ) then fψ gψ E(H K ). So ψ indues grph morphism ψ : H G H K. Proof. Suppose tht v 1 v 2 E(K); then we know tht ψ(v 1 ) ψ(v 2 ) E(G). Sine f g in H G, f(ψ(v 1 )) g(ψ((v 2 )). Sofψ gψ. Proposition [6] The tegory Gph is rtesin losed. In prtiulr, we hve ijetion 2.2. Wlks nd Contention. Gph(G H,K) Gph(G,K H ) Definition Let P n e the pth grph with n+1 verties {0,1,...,n} suh tht i i+1. Let I l n e the looped pth grph with n+1 verties {0,1,...,n} suh tht i i nd i i+1. P n = n I l n = n Definition A wlk in G of length n is morphism α : P n G. A looped wlk in G of length n is morphism α : I l n G. If α(v 1) = x nd α(v n ) = y we sy α is wlk [resp. looped wlk] from x to y. A wlk n e desried y list of verties (v 0 v 1 v 2...v n ) giving the imges of the verties α(i) = v i, suh tht v i v i+1. Thus this definition grees with the usul grph definition of wlk. In the looped se, sine i i E(I l n ), we will hve v i v i nd so looped wlk is simply wlk where ll the verties long the wlk re looped.

4 4 T. CHIH AND L. SCULL Definition Given wlk α : P n G from x to y, nd wlk β : P m G from y to z, we define the ontention of wlks α β : P m+n G y { α(i) if i n (α β)(i) = β(i n) if n < i n+m Sine we re ssumingtht α(n) = y = β(0), α β defines length n+mwlk from x to z. In vertex list form, the ontention (xv 1 v 2...v n 1 y) (yw 1 w 2...w m 1 z) = (xv 1 v 2...v n 1 yw 1...w m 1 z). Conttention of looped wlks is defined in the sme wy. Exmple Consider the grph elow, nd let α e length 1 looped wlk (v 1 v 2 ) nd β length 2 looped wlk (v 2 v 4 v 3 ). v 2 α(1) β(0) v 1 α(0) v 3 β(1) β(2) v 4 Then α β is length 3 looped wlk (v 1 v 2 v 4 v 3 ). (α β)(1) v 2 v 1 (α β)(0) v 3 (α β)(2) (α β)(3) v 4 Oservtion For ny vertex x, there is onstnt length 0 wlk x from x to x defined y x (0) = x. Then for ny other wlk α from x to y, x α = α nd α y = α. If x is looped, we n similrly define onstnt looped wlk t x. It is lso strightforwrd to ompre definitions nd see oth of the following: Lemm Conttention of [ordinry or looped] wlks is ssoitive: when the endpoints mth up to mke ontention defined, we hve (α β) γ = α (β γ) Lemm Conttention of [ordinry or looped] wlks is distriutive: φ(g h) = φg φh nd (g h)ψ = gψ hψ. 3. Homotopy Theory of Grphs We define homotopy etween grph morphisms G H vi the grph G I l n. Beuse we use looped intervl grph, we hve grph inlusion G G {k} G I l n for eh vertex k of I l n. Definition 3.1. [6] Given f,g : G H, we sy tht f is homotopi to g, written f g, if there is mp Λ : G I l n H suh tht Λ G {0} = f nd Λ G {n} = g. We will sy Λ is length n homotopy.

5 HOMOTOPY IN THE CATEGORY OF GRAPHS 5 Oservtion 3.2. [6]By Propostion2.10, morphismλ : G In l H isequivlent tomorphism Λ : In l H G. Sine ll the verties of In l re looped, they n only e mpped to looped verties in H G whihorrespondtogrphmorphismsylemm2.10. SotherestritionofH tog {k}lwys gives grph morphism, nd length n homotopy orresponds to sequene of grph morphsims (ff 1 f 2 f 3...f n 1 g) suh tht f i f i+1 E(H G ). Thus we n think of homotopy from f to g s looped wlk in the exponentil ojet H G. We will swith etween these two views of homotopy s onvenient. Oservtion 3.3. [6] f g defines n equivlene reltion on morphisms G H. G = P 2 Exmple 3.4. Suppose we hve the grph Consider the mps id G,f : G G where f() = f() = nd f() =. We revite these morphisms y listing the imges of verties,, nd in order, so id G = nd f =. id() id() id id() f() f() We n define homotopy Λ : G I1 l G from id G to f, where Λ((x,0)) = x nd Λ((x,1)) = f(x). Sine 0,1 re oth looped in I1 l, the sugrphs G {0} nd G {1} re oth isomorphi to G. It is esy to verify tht Λ is grph homomorphism nd thus is length 1 homotopy. f) f (,1) (,1) (,1) Λ Λ(,1)Λ(,1) Λ(, 0) Λ(, 1) Λ(, 0) Λ(, 0) (,0) (,0) (,0) P 2 I l 1 Lemm 3.5. Suppose tht g g : G H. If h : H K, then hg hg ; nd if f : F G, then gf g f. Proof. Sine g g, there is length n homotopy Λ from g to g in H G. Then h Λ defines length n homotopy from hg to hg y Lemm 2.8. Similrly, Λf defines length n homotopy from gf to g f y Lemm 2.9. Definition 3.6 (Contention of Homotopies). Given Λ 1 : f g nd Λ 2 : g h, we define Λ 1 Λ 2 : f h using the ontention of looped wlks in G H of Definition Exmple 3.7. Let G = C 4 nd H = P 2 with verties leled s elow G 2 H

6 6 T. CHIH AND L. SCULL Let f : G H e defined y f(0) = f(2) =,f(1) =,f(3) =. Agin, we will revite this morphism y listing the imges of 0,1,2,3 in order, so f =. Let f : G H e defined y, nd let f : G H e defined y. One n hek tht f,f,f Gph(G,H). f(1) f(0),f(2) f(3) f (3) f (1) f (0),f (2) f (0),f (2) f (1) f (3) Sine f f E(H G ) we hve length one homotopy α : I l 1 H G defined y α(0) = f,α(1) = f. Similrly, f f E(H G ) nd so we hve homotopy α : I l 1 HG defined y α (0) = f,α (1) = f. Then α α : I l 2 H G is defined y the looped wlk (ff f ) in H G, depited in Figure 1 elow. α(1) α (0) α(0) α (1) Figure 1. Herewehvedepitedthe wlksα ndα. Wehvedrwnonlythesugrph of H G indued y grph homomorphisms rther thn the whole exponentil grph. Proposition 3.8. The ontention opertion on homotopies is unitl nd ssoitive. Proof. The onstnt homotopy defines unit y Oservtion 2.15, nd ssoitivity is given y Lemm We now define nother omposition of homotopies. Definition 3.9 (Composition of Homotopies). Suppose tht f,f : G H nd g,g : H K. Given α : f f nd β : g g, we define α β from gf to g f s follows: let gα = g α denote the homotopy from gf to gf, nd (f ) β = βf denote the homotopy from gf to g f, s defined in Lemm 3.5. Then α β = gα βf. Exmple As in Exmple 3.7, let G = C 4,H = K = P 2 nd let f : G H e defined y, nd f : G H y, with α the length 1 homotopy (ff ). f(1) f(0),f(2) f f(3) f (3) f (0),f (2) f (1) f Let g : H K e defined y g() = g() =,g() = nd let g : H K e defined y g () = g () =,g () =, with β the length 1 homotopy (gg ).

7 HOMOTOPY IN THE CATEGORY OF GRAPHS 7 g() g(),g() g g (),g () g g () Then α β is length 2 homotopy β α : I l 2 K G defined y the looped wlk (gf gf g f ). Conretely, oth gf nd gf re given y the mp nd g f is defined y. Thus α β is length 2 homotopy defined y the wlk ( ). We ould eqully well hve hosen to define the omposition s βf g α. This is not the sme homotopy; however, we will show tht the two resulting homotopies re themselves homotopi. To mke this notion preise, we oserve tht homotopy α from f to g is defined s looped wlk in (H G ) Il n given y (fh1 h 2 h 3...h n 1 g). Then for [looped or unlooped] wlks, we define the notion of homotopy rel endpoints. Let G e ny grph. Rell tht looped vertex of the exponentil ojet G Pn represents length n wlk in G, nd similrly looped vertex of G Il n represents looped wlk in G. Suh n α is given y (α(0)α(1)α(2)...,α(n)) = (v 0 v 1 v 2...,v n ). Define s,t : X Pn X y s(v 0 v 1...v n ) = v 0 nd t(v 0 v 1...v n ) = v n. Note tht these re NOT grph homomorphisms, just mps of vertex sets. Thus α is wlk from x to y if s(α) = x nd t(α) = y. Definition Suppose tht α,β re wlks in G from x to y. We sy α nd β re homotopi rel endpoints if they re homotopi in the sugrph (G Pn ) x,y = {γ G Pn s(γ) = x nd t(γ) = y} Thus two wlks α = (xv 1...v n 1 y) nd β = (xw 1...w n 1 y) re homotopi rel endpoints if there is looped wlk of wlks in G Pn given y Λ = (αλ 1 λ 2...λ k 1 β) where eh wlk λ i strts t x nd ends t y. For looped wlks, we mke the sme definitions in G Il n. Now we pply this notion to homotopies, viewed s looped wlks in (H G ) Il n. Definition Twohomotopiesα,α fromf togrethemselveshomotopiiftheyrehomotopi rel endpoints viewed s looped wlks in (H G ) Il n. Proposition Suppose tht f,f : G H nd g,g : H K. Given α : f f nd β : g g, the two homotopies defined y gα βf nd βf g α re homotopi. Proof. First, suppose tht oth α nd β re length 1 homotopies, so tht there re edges f f nd g g. We onsiderthe twolength 2homotopiesgα βf = (gf g f g f ), nd βf g α = (gf gf g f ). We wnt to show tht these re homotopi. In ft, we lim tht they re onneted y n edge in K G. Sine I l 2 hs edges onneting 0 1 nd 1 2, this requires tht (gα βf )(i) (βf g α)(i+1)

8 8 T. CHIH AND L. SCULL nd (gα βf )(i + 1) (βf g α)(i) for i = 0,1. So there re four onditions to hek. Deoding them, they re: gf gf,gf g f,g f g f nd gf g f. Ehof these holds y Lemm 3.5. Lstly, we onsider the loops i i: for i = 0,2 we hve α(i) = β(i), nd sine these re looped verties, α(i) β(i). Fori = 1, wehveα(1) = g f ndβ(1) = gf. Ifv w E(G), then f(v) f (w) E(H) ndheneg f(v) gf (w) E(K), verifyingthelstondition. Oservethtthislength1homotopy fixes the endpoints, nd thus we hve homotopy of homotopies (tht is, the homotopies re homotopi rel endpoints). f f f f g g g g βf g α gα βf Now if α nd β re homotopies of length n nd m, eh of them is defined y looped wlk (ff 1 f 2 f 3...f n 1 f ) nd (gg 1 g 2 g 3...g m 1 g ). Sine eh suessive pir is onneted, the outer edges of eh squre re onneted y n edge, ie length 1 homotopy, nd we n repetedly swp squres nd get length nm homotopy rel endpoints etween gα βf nd βf g α. f 0 f 1 f 2 f 0 f 1 f 2 f 0 f 1 f 2 f 0 f 1 f 2 f 0 f 1 f 2 g 0 g 0 g 0 g 0 g 0 g 1 g 1 g 1 g 1 g 1 g 2 g 2 g 2 g 2 g 2 Proposition The omposition opertion on homotopies is unitl nd ssoitive. Proof. Unitl: If α is the onstnt homotopyt f, then gα is just onstnt t gf, nd gα βf = βf y Oservtion Similrly if β is the onstnt homotopy t gf, then βf = f nd gα βf = βf. Assoitive: Suppose we hve homotopies α : f f,β : g g nd γ : h h. Then the distriutive property of Lemm 2.17 nd the ssoitive property of Lemm 2.16 give: (α β) γ = (gα βf ) γ = h(gα βf ) γg f = (hgα hβf ) γg f = hgα (hβf γg f ) = hgα (hβ γg )f = α (hβ γg ) = α (β γ)

9 HOMOTOPY IN THE CATEGORY OF GRAPHS Ctegory. We will show tht Gph forms 2-tegory[17]. We wnt our 2-ells to e defined y homotopies of morphisms, ut this does not stisfy the required properties. However, sine homotopy α is defined y looped wlk given y mp α : I l n H G, we hve notion of when two suh mps re themselves homotopi, s in Definiton In order to get 2-tegory, we will define our 2-ells to e homotopy lsses of homotopies. We egin y showing tht ontention nd omposition opertions re well defined up to homotopy. We will use the following more generl result out homotopies of wlks: Lemm If f nd g re looped wlks of length n in G from x to y, nd f g re homotopi rel endpoints, then if h is wlk from y to z, then f h g h rel endpoints; nd if k is wlk from w to x, then k f k g rel endpoints. Proof. We hve f nd g representing verties in G Il n, nd α length m homotopy from f to g. So α is defined y looped wlk (ff 1 f 2...f n 1 g) in G Il n. Now suppose tht h is wlk from y to z. Define sequene (f 0 h f 1 h f 2 h...f n h) in G Il n+m, where eh of these is wlk from x to z. We lim tht eh suessive pir of these is onneted y n edge in G Il n+m. The requirement for this edge to exist is tht given ny edge v i v i+1 in I l n+m, we hve (f k h)(v i ) (f k+1 h)(v i+1 ). By definition of ontention, if i n these re defined y f k (v i ) nd f k+1 (v i+1 ), whih re onneted in G sine f k f k+1 ; if i > n, these re defined y h(v i ) nd h(v i+1 ), whih re onneted sine h is wlk in G. Thus f h g h rel endpoints. The other se follows y n nlogousrgument. Corollry If α α re homotopi s homotopies (ie homotopi rel endpoints) nd β β s homotopies, then α β α β. Lemm If α α nd β β then α β α β. Proof. Strt with α β = gα βf. Now y Lemm 3.5, we hve homotopy gα gα, nd hene y Lemm 3.15 homotopy gα βf gα βf. Then Lemm 3.15 lso sys tht βf β f, nd so gα βf gα β f = α β. Thus we hve α β α β s homotopies. Theorem We n define 2-tegory Gph s follows: Ojets [0-ells] re given y ojets of Gph, the finite undireted grphs. Arrows [1-ells] re given y the rrows of Gph, the grph morphisms Given f,f : G H, 2-ell is homotopy rel endpoints lss [α] of homotopies α : I l n H G. Vertil omposition is defined using ontention [α] [α ] = [α α ] Horizontl ompositon is defined using omposition [α][β] = [α β] Proof. We hve shown tht vertil nd horizontl omposition re well-defined in Corollry 3.16 nd Lemm 3.17, nd tht these opertions re ssoitive nd unitl in Propositions 3.8 nd Therefore wht remins is to hek the interhnge lw. Our set-up is s follows: we hve mps f,f,f : G H nd g,g,g : H K, with two ells α : f f,α : f f nd β : g g,β : g : We wnt to show tht (βα) (β α ) (α α )(β β ). Unrvelling the definitions here shows tht (βα) (β α ) = (gα βf ) (g α β f ), while (α α )(β β ) = g(α α ) (β β )f = (gα gα ) (βf βf ) using the distriutivity of Lemm Sine ontention is ssoitive,

10 10 T. CHIH AND L. SCULL we re ompring gα βf g α β f with gα gα βf β f. Therefore it suffies to show tht βf g α gα βf. But this is extly Proposition Definition We define the homotopy tegory HoGph y modding out the 2-ells in the 2-tegoryGph.. The ojets of HoGph re the sme s the ojets of Gph, nd the rrowsof HoGph re given y equivlene lsses [f] of grph morphisms, where f nd g re equivlent if they hve 2-ell etween them, tht is, if they re homotopi. This lso defines nturl projetion funtor Ψ : Gph HoGph. In Theorem 5.1 we will prove tht this is tegoril homotopy tegory, justifying the nme. 4. Struture of Homotopies nd Homotopy Equivlenes 4.1. Homotopies etween Grphs. We will give more expliit desription of homotopies etween grph morphisms. We show tht grph homotopies n lwys e defined lolly, shifting one vertex t time. We imgine spider wlking through the grph y moving one leg t time. Definition 4.1. Let f,g : G H e grph morphisms. We sy tht f nd g re spider pir if there is single vertex of G, sy x, suh tht f(y) = g(y) for ll y x. If x is unlooped there re no dditionl onditions, ut if x x E(G), then we require tht f(x) g(x) E(H). When we reple f with g we refer to it s spider move. Lemm 4.2. If f nd g re spider pir, then f g E(H G ). Proof. For ny y z E(G) we need to verify tht tht f(y) g(z) E(H). If y,z x then g(z) = f(z) nd so this follows from the ft tht f is grph morphism. If y x for y x, then f(y) g(x) sine f(y) = g(y) sine g is grph morphism. Lstly, if x x, then we hve sked tht f(x) g(x). Therefore f nd g hve n edge in the exponentil grph H G. Exmple 4.3. Let G nd H e the grphs from Exmple 2.6: G = 0 1 H = Let f,g : G H e defined y f(0) =,f(1) =, nd g(0) =,g(1) =. So f,g re spider pir, nd we see tht the morphisms f,g re djent in the exponentil ojet H G.. 1 f g We now prove tht ll homotopies n e deomposed s sequenes of spider moves, moving one vertex t time. 0

11 HOMOTOPY IN THE CATEGORY OF GRAPHS 11 Proposition 4.4 (Spider Lemm). If f g E(H G ), then there is finite sequene of morphisms f = f 0,f 1,f 2,...,f n = g suh tht eh suessive pir f k,f k+1 is spider pir. Proof. Sine G is finite grph, we n lel its verties v 1,v 2,...,v n. Then for 0 k n, we define: { f(v i ) for i n k f k (x i ) = g(v i ) for i > n k First we hek tht eh f k is grph morphism. Suppose v i v j E(G); we need to show tht f k (v i ) f k (v j ). If i,j n k then f k = f for oth verties, nd so sine f is morphism, f(v i ) f(v j ). Similrly if i,j > n k then f k = g on oth verties. Lstly, if i n k nd j > n k, we know tht f g in H G, so y the struture of edges in the exponentil ojet, f(v i ) g(v j ). Thus f k (v i ) f k (v j ). It is ler tht eh pir f k,f k+1 grees on every vertex exept v k+1. So to show this is spider pir, we only need to hek tht if v k+1 is looped, then f k (v k+1 ) f k+1 (v k+1 ). But sine f g E(H G ), we know tht if v k+1 v k+1 then f(v k+1 ) g(v k+1 ). Corollry 4.5. Whenever f g, there is finite sequene of spider moves onneting f nd g. Thus we n see expliitly wht homotopies of grph morphisms n do. Exmple 4.6. Let G = C 4,H = P 2 s in Exmple 3.7. The morphisms f = nd g = re djent in H G. They re not spider pir sine f(1) g(1) nd f(3) g(3). However, if we define h = ; then there is spider move f to h, nd nother from h to g, giving sequene of spider moves from f to g, shown elow. h f g 4.2. Homotopy Equivlenes nd Plets. We will use the spider lemm to nlyze homotopy equivlenes. We egin y looking t spider pirs of identity mps. Definition 4.7. If G is grph, we sy tht morphism f : G G is fold if f nd the identity mp re spider pir. In the literture, fold is lso referred to s dismntling [5,6,10]. Proposition 4.8. If f is fold, then f : G Im(f) is homotopy equivlene. Proof. Sine f nd id G form spider pir, the mp f is the identity on every vertex exept one, ll it v. If f(v) = v then f is the identity nd we re done. If f(v) = w v, then Im(f) = G\{v}. Consider ι : Im(f) G to e the inlusion mp. Then the omposition fι is the identity on Im(f). Now onsider ιf : G G. Sine ι is just the inlusion of the imge, ιf = f. By Lemm 4.2, f id.

12 12 T. CHIH AND L. SCULL We identify when we hve potentil fold y ondition on neighorhood of verties. In [5] [6] folds re defined using this ondition. Proposition 4.9. Suppose tht f : V(G) V(G) is set mp of verties suh tht f is the identity on ll verties exept one. Expliitly there exists vertex w V(G), nd f(x) = x for ll x w. Let v = f(w). Then f is fold if nd only if N(w) N(v). Proof. First, suppose tht f is fold, nd hene grph morphism. Let y N(w); then y w, nd so f(y) f(w). If y w, then f(y) = y nd f(w) = v, so y v nd hene y N(v). If y = w then w w so y the looped ondition for spider pir, we ssume tht f(w) id(w). So v w nd w N(v). Hene the nerve ondition is stisfied. Conversely, suppose tht f is set mp of verties stisfying the nerve ondition. To show tht f is morphism, we hek tht it preserves ll onnetions. If x,x V(G)\{w} nd x x, then f(x) = x,f(x ) = x, nd so f(x) f(x ). If y V(G)\{w} nd w y, then y N(w) N(v), so v y nd hene f(w) f(y). Lstly, if w is looped, then w N(w) N(v), so v w. But then v N(w) N(v), nd onsequently v must e looped s well. Thus f(w) f(w). To see tht f is fold, we know tht if x V(G), we hve tht f(x) = x if nd only if x w. So we just need to hek tht the extr ondition on looped verties holds. If w w then w N(w) N(v) nd so v w. Exmple Let X = P 2 nd let f : G G e defined y f() =,f() =,f() =. f(),f() f() The vertex tht f does not fix is, nd N() = {} = N(). Hene the neighorhood ondition of Proposition 4.9 holds here, nd this is fold mp. In the literture, grphs tht nnot e dismntled, nd thus nnot e folded, re often referred to s stiff grphs [5] [3]. Definition We sy tht grph G is stiff if there re no two distint verties v,w suh tht N(v) N(w). If G is not stiff, then we know y Propositions 4.8 nd 4.9 tht there is fold mp from G to itself, nd tht G is homotopy equivlent to the imge of this fold. Hene we n retrt G down onto smller grph whih is homotopy equivlent. In wht follows, we will show tht the onverse is lso true: if G is stiff, it nnot e retrted down ny further. Definition A grphgis homotopy minimlif it is not homotopy equivlent to ny proper sugrph of itself. Theorem M is homotopy miniml if nd only if M is stiff. To prove this, we use the following lemm. Lemm If G is stiff, then the identity morphism on G is not homotopi to ny other endomorphism. Proof. Suppose tht f id G. Let v e ny vertex of G, nd let x N(v). Then f(v) id G (x), i.e. f(v) x so x N(f(v)). So N(v) N(f(v)). By the nerve ondition, we onlude tht v = f(v) nd so f = id.

13 HOMOTOPY IN THE CATEGORY OF GRAPHS 13 Proof of Theorem Suppose tht M is not stiff. Then there exists v M suh tht N(v) N(w) nd then the fold mp tht tkes v to w nd is the identity everywhere else is homotopy equivlene. So M is not homotopy miniml. Conversely, suppose tht M is stiff. Suppose tht M is homotopy equivlent to sugrph of itself, sy N. So we hve f : M N nd g : N M suh tht gf is homotopi to the identity id M. Then y Lemm 4.14, gf must tully e the identity on M. Hene M is isomorphi to N nd f is tully n utomorphism of M. So N is not proper sugrph nd M is homotopy miniml. Now we prove tht every homotopy lss hs unique homotopy miniml representtive. This is equivlent to the sttement tht given ny grph, ny sequene of dismntles yields unique grph up to isomorphism, proved in [3,5,10] in the ontext of ops nd roers on grphs, nd reognized y Dohtermnn in his 2009 pper [6]. We inlude our proof for ompleteness, s it gives tie to the homotopy thoery of grphs without relying on topologil onstrutions. We strt with the following. Lemm If f : G G suh tht f id G then G is homotopy equivlent to Im(f). Proof. Let ι denote the inlusion mp Im(f) G. Then ιf = f whih is homotopi to id G. We need to show tht fι is homotopi to id H where H = Im(f). Suppose tht v w E(H). Then this edge is the imge of n edge v w E(G), where f(v ) = v,f(w ) = w. Sine f id G, we know tht v f(w ) E(G) nd therefore f(v ) f(f(w )) E(H). So v fι(w) whenever v w, nd so id H fι. Theorem Given ny finite grph G, there is unique (up to isomorphism) homotopy miniml grph M suh tht G is homotopy equivlent to M. Proof. We proeed vi indution on n, the numer of verties of G. If n = 1, then there is only one endomorphism, nd G nnot e homotopy equivlent to proper sugrph. So suppose n > 1. If G is homotopy miniml, let M = G. Otherwise, G is homotopy equivlent to proper sugrph of itself, sy G. Notie tht V(G ) < n. Thus, y indution, there is homotopy miniml sugrph M suh tht G is homotopy equivlent to M. Hene G is lso homotopy equivlent to M. To show tht M is unique, suppose tht there is nother homotopy miniml sugrph M suh tht G M. Thus M M. Thus there re morphisms f : M M,g : M M suh tht gf id M nd fg id M. Thus y Proposition 4.4 we hve sequene of mps id M,k 1,k 2,...,k n = gf suh tht eh suessive pir is spider pir. So y Lemm 4.15 Im(gf) is homotopy equivlent to M. Sine M is miniml, it follows tht Im(gf) = M. Similrly Im(fg) = M, nd f,g re isomorphisms. Definition We will refer to stiff grph whih is homotopy equivlent to G s plet of G, with nottion Pl(G). Note tht this is only defined up to isomorphism, so ould refer to ny grph isomorphi to the M onstruted ove. Oservtion Any grph whih is not miniml is not stiff, nd my e folded. Thus, we n otin miniml retrt of ny grph y ontinuous pplying folds. A onsequene of Theorem 4.16 is tht one my pply these folds in ny ritrry fshion, nd the resulting plets will e isomorphi. See Figure 4.1 elow.

14 14 T. CHIH AND L. SCULL Figure 2. Any series of folds of will eventully terminte with sugrph isomorphi to K 2, lthough not neessrily the sme sugrph. Theorem Two grphs G,H re homotopy equivlent if nd only if their plets Pl(G) nd Pl(H) re isomorphi. Proof. Suppose f : G H is homotopy equivlene. Let ρ H : H Pl(H) e homotopy equivlene from H onto its plet. Then ρ H f is homotopy equivlene from G to Pl(H) nd thus Im(ρ H f) is homotopy equivlent to Pl(H). Sine Pl(H) is homotopy miniml, it must e tht Im(ρ H f) = Pl(H). So y Theorem 4.16, there is unique plet up to isomorphism tht is homotopy equivlent to G nd thus Pl(G) = Pl(H). Conversely, suppose we hve n isomoprhims of grphs ϕ : Pl(G) Pl(H); note tht it is lso homotopy equivlene. There re lso homotopy equivlenes ρ G : G Pl(G),ρ H : Pl(H) from G,H onto their respetive plets, long with their homotopy inverses, the inlusions ι G : Pl(G) G,ι H : Pl(H) H. Then ι H ϕ ρ G : G H is homotopy equivlene etween G nd H. Oservtion If we hve grph G with n isolted vertex v, then N(v) =, nd thus v my e folded into ny other vertex; nd Pl(G) = Pl(G\{v}) (unless G\{v} = ). Thus isolted verties re homotopilly null. 5. The Homotopy Ctegory Rell from Definition 3.19 tht HoGph is tegory whose rrows re homotopy lsses of grph morphisms, nd tht Ψ is the funtor Ψ : Gph HoGph tht tkes ny grph G to G, nd ny morphism f to its homotopy lss [f]. Theorem 5.1. HoGph is the homotopy tegory for Gph. Expliitly, given ny funtor F : Gph C suh tht F tkes homotopy equivlenes to isomorphisms, then there is funtor F : HoGph C suh tht F Ψ = F. Gph Ψ = F HoGph!F C

15 HOMOTOPY IN THE CATEGORY OF GRAPHS 15 Proof. It is ler tht F : HoGph C needs to hve F (G) = F(G) for ny G Oj(HoGph) nd F ([f]) = F(f) for ny [f] Hom(HoGph). Sine Oj(Gph) = Oj(HoGph), we hve tht F is well defined on Oj(HoGph). It remins to show tht F is well defined on Hom(HoGph): tht is, given f,f [f], we lwys hve F(f) = F(f ). By Proposition 4.4, it suffies to show tht F(f) = F(f ) whenever f,f re spider pir. Let f,f : G H e spider pir. Then there is vertex v V(G) suh tht f(w) = f (w) for ll w v. Define new grph Ĝ s follows: V(Ĝ) = V(G) {v }. w 1 w 2 when w 1 w 2 E(G), E(Ĝ) = v w when v w E(G). v v when v v E(G) Thus the new vertex v is tthed to the sme verties s v, nd is looped if nd only if v is looped. Let ι 1 : G Ĝ e the inlusion defined y ι 1(w) = w for w V(G). Let ι 2 : G Ĝ e the inlusion defined y ι 2 (w) = w for eh w V(G)\{v} nd ι 2 (v) = v. Sine N(v) = N(v ) in Ĝ, this is grph morphism. Define ˆf : Ĝ H y { f(w) w V(G) ˆf(w) = f (v) w = v. We lim tht ˆf is grph morphism: suppose w 1 w 2 E(Ĝ). If w 1,w 2 V(G), then ˆf grees with f, so sine f is grph morphism, ˆf(w 1 ) ˆf(w2 ). Now suppose tht w 1 = v nd w 2 V(G). Then ˆf(w 1 ) = f (v) nd ˆf(w 2 ) = f(w) = f (w). Then f (v) f (w) sine f is grph morphism, so ˆf(w 1 ) ˆf(w2 ). Lstly, if w 1 = w 2 = v then ˆf(w i ) = f (v), whih will e looped sine v ws looped nd f is grph morphism. It is ler from the definition tht f = ˆfι 1 nd f = ˆfι 2. Define ρ : { Ĝ G y w w V(G) ρ(w) = v w = v This is fold y Proposition 4.9 sine N(v ) = N(v). Moreover, ρι 1 = ρι 2 = id G. By Proposition 4.8, we know tht ρ nd ι 1,ι 2 re homotopy inverses, so ι 1 ρ id H ι 2 ρ. Thus F(ι 1 ρ) = F(ι 1 )F(ρ) = id H = F(ι 2 )F(ρ) = F(ι 2 ρ). So F(ρ) is n isomorphism nd F(ι 1 ) = F(ι 2 ). Finlly, we onlude tht F(f) = F(ˆfι 1 ) = F(ˆf)F(ι 1 ) = F(ˆf)F(ι 2 ) = F(ˆfι 2 ) = F(f ). Thus, given f,f [f], we hve tht F ([f]) = F(f) = F(f ) = F ([f ]) nd F is well defined. Sine every isomorphism lss hs unique plet y Theorem 4.16, we otin nonil skeleton of HoGph. Thus we my study homotopy phenomenon y looking t the su-tegory of plets nd

16 16 T. CHIH AND L. SCULL the grph morphisms etween them. And sine the plets re extly the stiff grphs, this is extly the su-tegory of stiff grphs Clsses of Plets. Exmple 5.2. One lrge fmily of grphs who re plets re Cores [9,10]. Sine folds re grph morphisms, ore C nnot dmit ny folds nd thus must e stiff. Therefore omplete grphs, odd yles, nd ll grphs where the only endomorphisms re utomorphisms re miniml retrts. Exmple 5.3. Another fmily of plets is given y yles of size 6 or greter. It is ler tht C 4 will dmit fold, ut for ny greter yle, distint verties n shre t most 1 neighor. The odd yles re overed under Exmple 5.2; lrge even yles re lso miniml retrts. Figure 3. Three exmples of plets. On the left ore K 5, in the middle n even yle C 6, on the right grph tht is neither ore nor even yle. Oservtion 5.4. If we onsider grphs with no isolted verties, then the disjoint union (or tegoril oprodut [10, 16]) of plets is itself plet, sine it will e stiff. More generlly, given ny grph G without isolted verties, the miniml retrt of G is the disjoint union of the miniml retrts of the omponents of G. Thus Pl(G H) = Pl(G) Pl(H). We show tht pleting lso respets produts in the sene of isolted verties. Proposition 5.5. Let G,H e grphs with no isolted verties. Then Pl(G) Pl(H) is stiff. Proof. Suppose (v,w),(v,w ) V(Pl(G) Pl(H)) suh tht N(v,w) N(v,w ). Sine we do not hve ny isolted verties, there exists y N(w). Then for ny x N(v), (x,y) (v,w) E(Pl(G) Pl(H)), nd thus (x,y) (v,w ) E(Pl(G) Pl(H)). This implies tht x N(v ). Therefore N(v) N(v ). Sine Pl(G) is stiff, v = v. Similrly, w = w. Lemm 5.6. Let v V(G) suh tht there is fold ρ : G G\{v}. Then G H is homotopy equivlent to G\{v} H. Proof. Sine there is fold ρ : G G\{v}, there is v V(G) where N(v) N(v ) nd ρ(v) = v y Proposition 4.9. Let w V(H). Given ny x N(v) nd y N(w), we hve tht x N(v ) nd thus (x,y) N(v,w). Thus N(v,w) N(v,w), nd thus there is fold from ˆρ : G H G H\{(v,w)} where ˆρ(v,w) = (v,w). We lso note tht if N(v,w ) N(v,w ), then N G\{(v,w)} (v,w ) N G\{(v,w)} (v,w ) sine deletion of verties preserves neighorhood ontinment. Thus, through series of folds for eh w V(H), we hve homotopy equivlene etween G H nd G\{v} H.

17 HOMOTOPY IN THE CATEGORY OF GRAPHS 17 Theorem 5.7. Let G,H e grphs with no isolted verties. Then Pl(G H) = Pl(G) Pl(H). Proof. Sine Pl(G) is the plet of G, y Theorem 4.16, there is series of folds from G to Pl(G). Thus y repeted pplitions of Lemm 5.6, we hve tht G H is homotopy equivlent to Pl(G) H, nd then to Pl(G) Pl(H). Sine Pl(G) Pl(H) is homotopy miniml y Proposition 5.5, Theorem 4.16 sys tht it is the unique miniml retrt of G H. Corollry 5.8. If G,G re homotopy equivlent nd H,H re homotopy equivlent, nd none of these grphs hve isolted verties, then G H is homotopy equivlent to G H. Proof. We know tht Pl(G) = Pl(G ) nd Pl(H) = Pl(H ), so Pl(G H) = Pl(G) Pl(H) = Pl(G ) Pl(H ) = Pl(G H ). Sine G H nd G H re oth homotopy equivlent to Pl(G) Pl(H), they re homotopy equivlent to eh other. 6. The Grph Fundmentl Groupoid In this setion, we define fundmentl groupoid of grph, nlgous to the fundmentl group of topologil spe. The ide of fundmentl group for looped grphs hs een explored in [7], nd lso in [1], who studied tegory of grphs with n lternte definition of grph morphism tht is equivlent to studying looped grphs in our tegory. Our pproh llows groupoid, nd y extension group, to e defined for ny grph with or without loops. Let G e ny grph. Rell tht looped vertex of the exponentil ojet G Pn represents length n wlk in G, notted y listing verties (v 0 v 1 v 2...,v n ); nd tht for wlks, we hve the notion of homotopy rel endpoints from definitionition 3.11: if α,β re wlks from x to y, they re homotopi rel endpoints if there is sequene of wlks f i where ll intermedite f i re lso wlks from x to y. Define the mp : P n+2 P n y i for i n (i) = n 1 for i = n+1 n for i = n+2 This is homotopy equivlene, sine it is reted y two suessive fold mps. We hve n indued grph morphism on the exponentil ojets : G Pn G Pn+2. Expliitly, the wlk (v 0 v 1...,v n 1 v n ) is mpped to the wlk (v 0 v 1...v n 1 v n v n 1 v n ). It is esy to see tht if G does not hve ny isolted verties, then this is n injetion. It is lso strightforwrd to hek: Lemm 6.1. If α,β : P n G re homotopi rel endpoints, then so re (α) nd (β). Definition 6.2. Let WG e the wlk grph formed y tking the olimit over the inlusions ove. Beuse preserves prity, we hve two omponents for this grph, formed y (X P0 ) l (X P2 ) l (X P4 ) l (X P6 ) l X... nd (X P1 ) l (X P3 ) l (X P5 ) l... where the l denotes the looped sugrph of the exponentil ojet representing the wlks. An ojet in this olimit will e represented y some finite length n wlk α = (v 0 v 1 v 2...v n 1 v n ) suh tht this wlk is identified in the olimit with the length n+2 wlk (α) = (v 0 v 1 v 2...v n 1 v n v n 1 v n ). By Lemm 6.1, we hve well-defined notion of homotopy rel endpoints on WG.

18 18 T. CHIH AND L. SCULL Definition 6.3. We define Π(G) to e the the set of homotopy lsses rel endpoints of the wlks of WG. We n develop moreonrete ide ofwht the elements ofπ(g) reusing the followingnotion. Definition 6.4. Let α = (v 0 v 1 v 2...v n ) e wlk in G. We sy tht α is prunle if v i = v i+2 for some i. In this se, we ll the wlk α otined y deleting the verties v i nd v i+1 from the wlk the prune of α: If α = (v 0 v 1 v 2...v i 1 v i v i+1 v i v i+3...v n ) then the prune of α is α = (v 0 v 1 v 2...v i 1 v i v i+3...v n ) Proposition 6.5. Repeted pruning of wlk results in unique non-prunle wlk. Proof. We proeed vi indution. If α is length 0 or 1, then there re no prunings possile nd hene α is itself the unique non-prunle wlk. Now onsider α : P n G. If there exists unique i suh tht v i = v i+2, then pruning α results in unique α of length n 2 nd we re done y indution. Suppose now tht there re two vlues i,j suh tht v i = v i+2 nd v j = v j+2, nd hene two possile prunings of α. We will show tht either hoie of pruning will led to the sme result. Without loss of generlity, ssume i < j. If i+2 < j, then the pth α is of the form (v 0 v 1...,v i v i+1 v i+2...v j v j+1 v j+2...v n ). It is ler tht we n prune t i, giving wlk tht n then e pruned t j; or we n prune t j, giving wlk tht n then e pruned t i, nd the resulting doule prune will e the sme regrdless of the order. By indution, this wlk then hs unique non-prunle result. Suppose tht j = i+2, nd α is of the form (v 0 v 1...,v i 1 v i v i+1 v i v i+1 v i v i+5...v n ) Pruning t i removes the first v i v i+1 pir, while pruning t j = i+2 removes the seond, nd gin the two prunings n e done in either order. Lstly, suppose tht j +i+1, so α is of the form (v 0 v 1...,v i 1 v i v i+1 v i v i+1 v i+4...v n ) Pruning t i removes the first v i v i+1 pir, while pruning t j = i+1 removes the v i+1 v i pir. Both pruning result in α = (v 0 v 1...,v i 1 v i v i+1 v i+4...v n ) Thus y indution ny hoie of prunings on α will eventully result in the sme non-prunle pth. In the olimit WG, we immeditely see tht α is prune of (α), where the prune is pplied t the end. In ft, ny prune of wlk results in nother representtive of the sme element of Π(G), s shown y the following lemm. Lemm 6.6. Let α e prunle t i, so hs the form Then α is homotopi rel endpoints to the wlk (v 0 v 1...,v i 1 v i v i+1 v i v i+2...v n ) (v 0 v 1...,v i 1 v i v i+2...v n v n 1 v n ).

19 HOMOTOPY IN THE CATEGORY OF GRAPHS 19 Proof. AsmpsfromP n G, wenpplyspidermovesα = (v 0 v 1...,v i 1 v i v i+1 v i v i+3 v i+4...v n ) to (v 0 v 1...,v i 1 v i v i+3 v i v i+3 v i+4...v n ) nd then to (v 0 v 1...,v i 1 v i v i+3 v i+4 v i+3 v i+4...v n ). Then repetedly pplying this seond spider move will shift the repet down to the end of the wlk. Thus we n think of elements of Π(G) s homotopy lsses of non-prunle wlks; or lterntely, think of them s homotopy lsses of wlks under the equivlene generted y the pruning opertion. Exmple 6.7. Let G e the grph d e Consider the following wlks α,β WG where α = (e), β = (de). Then α nd β re equivlent in WG : α : e spider move to α : e e prune to α : e spider move to β : d e d d d e e e Next, we onsider ontention. We n extend the endpoint mps s(v 0 v 1...v n ) = v 0 nd t(v 0 v 1...v n ) = v n to well-defined mps WG X, sine oth s nd t re independent of the hoie of representtive in the olimit; nd then to WG, sine the lsses re defined y homotopy rel endpoints. Now we define ontention opertion Π(G) t s Π(G) Π(G). Given α,β in WG with t(α) = s(β), we define α β s in definitionition Proposition 6.8. Contention is well-defined on elements of Π(G). Proof. We need to show tht ontention is well-defined under pruning nd under homotopy rel endpoints. It is esy to see tht if α prunes to α nd β prunes to β then α β prunes to α β ; rell tht we showed in the proof of Proposition 6.5 tht the order in whih the prunes re done will not mtter. Now suppose tht we hve wlks tht re homotopi rel endpoints: α α nd β β. Then there is sequene of spider moves onneting α to α, nd β to β. So we n produe sequene of spider moves onneting α β to α β y holding β fixed nd moving α β to α β, nd then holding α fixed nd moving α β to α β.

20 20 T. CHIH AND L. SCULL Theorem 6.9. Π(G) defines groupoid under the ontention opertion: ojets re given y the verties of G, rrows given y elements of Π(G), soure nd trget mps defined y s,t s ove nd the opertion given y ontention. Proof. The ontention opertion is ssoitive s shown in Lemm 2.16, nd given vertex v G we hve the identity wlk id v defined y the onstnt length 0 wlk v y Oservtion If α = (v 0 v 1...v n 1 v n ) then we n define n inverse α 1 = (v n v n 1...v 1 v +0). Then α α 1 = (v 0 v 1 v 2...v n 2 v n 1 v n v n 1 v n 2...v 2 v 1 v 0 ). Suessive pruning opertions will redue this to the identity wlk onv 0. Theorem Π defines funtor from Gph to groupoids. Proof. We hve shown tht Π ssoites groupoid to ny grph G. Suppose tht φ : G H is grphhomomorphism,nddefineφ : Π(G) Π(H)sfollows. Onojets, wedefineφ (v) = φ(v). If α = (v 0 v 1 v 2...v n ) represents n rrow of Π(G), then φ (α) = (φ(v 0 )φ(v 1 )φ(v 2 )...φ(v n )). This represents wlk in H, sine α is wlk in G, so v i v i+1 E(G); then sine φ is grph homomorphism, φ(v i ) φ(v i+1 ) E(H). To show tht this is well-defined, we need to hek tht φ is independent of pruning nd homotopy rel endpoints. For the first, if α is prunle, then α is of the form (v 0 v 1...v i v i+1 v i...v n ), nd wehveprunethtdeletesv i v i+1 togetα. Thenφ (α) = (φ(v 0 )φ(v 1 )...φ(v i )φ(v i+1 )φ(v i )...φ(v n )) whih hs prune deleting φ(v i )φ(v i+1 ) to get φ (α ). Fortheseond,ifαndβ rehomotopirelenpoints, thenthereissequeneofspidermovesonnetingthem. Ehofthesemovesshiftsonevertex(v 0 v 1...v i 1 v i v i+1...v n )to(v 0 v 1...v i 1ˆv i v i+1...v n ), where v i is not the first or lst vertex. Then pplying φ will give sequene of wlks where eh pir similrly differs y single vertex, nd hene is sequene of spider moves. So φ (α) will e homotopi rel endpoints to φ (β). We esily verify tht φ is homomoprhism of groupoids: it tkes identities to identites nd respets ontention. To verify funtorility, oserve tht if id : G G is the identity, then id is the identity mp on groupoids; nd if φ : G H nd ψ : H K, then (ψφ) is the sme s ψ φ sine they re oth defined y (ψφ(v 0 )ψφ(v 1 )ψφ(v 2 )...ψφ(v n )). Theorem If G,H do not hve ny isolted verties, nd φ,ψ : G H re homotopi, then there is nturl isomorphism from φ to ψ. Proof. By the Spider Lemm 4.4 it is enough to onsider the se when φ nd ψ re onneted y spider move. So ssume tht φ nd ψ gree on every vertex exept one, sy v. Choose vertex w N(v). If w v, then φ(w) = ψ(w) nd we n define the wlk y φ(v)φ(w)ψ(v). If v = w then v is looped, so φ(v) nd ψ(v) re onneted nd we n define the wlk φ(v)φ(v)ψ(v). Note tht this wlk in Π(H) is independent of hoie of w, sine ll hoies re homotopi rel endpoints, s there is spider move onneting them. Corollry Π defines 2-funtor from the 2-tegory Gph of grphs with no isolted verties to the 2-tegory of groupoids, funtors nd nturl trnsformtions. Thus Π psses to funtor from the homotopy tegory HoGph of grphs with no isolted verties to the tegory of groupoids nd funtors up to nturl isomorphism.

21 HOMOTOPY IN THE CATEGORY OF GRAPHS 21 Corollry The equivlene lss of the tegory Π(G) is homotopy invrint for grphs with no isolted verties. Proof. If φ : G H is homotopy equivlene, then there is ψ : H G suh tht φψ id nd ψφ id. Then there is nturl isomorphism from Π(G) to ψ φ Π(G), nd from Π(H) to φ ψ Π(H) nd so φ nd ψ re equivlenes of tegories etween Π(G) nd Π(H). Corollry If G hs no isolted verties, then the fundmentl groupoid Π(G) is equivlent to the fundmentl groupoid of its plet Π(Pl(G)). Oservtion We hve hosen to work with the fundmentl groupoid here. It is esy to reover more fmilir fundmentl group y hoosing sepoint vertex v in G, nd looking t the group of ll rrows in Π(G) whih strt nd end t v; this is just the isotropy sugroup of v in the groupoid. Beuse Π(G) is groupoid, we know tht we hve n isomorphism etween the isotropy groups of ny two hoies of vertex in the sme omponent of G, nd the groupoid of ny omponent retrts onto the isotropy group of the hosen sepoint. Exmple Let G e the grph from Exmple 6.7: d e By Theorem 6.11 we hve tht Π(G) = Π(Pl(G)) = Π(K 2 ), sine the plet of G is isomorphi to K The ojets of Π(G) re the verties 0,1 nd the rrows re identity rrows given y lenght 0 wlks t 0 nd 1, nd the length 1 wlksetween them. Any other wlk would onsist of lternting 0 s nd 1 s, nd my thus e pruned to length 1 wlk. Choosing sepoint, we get trivil fundmentl group. Exmple Consider the grph C The groupoid Π(C 5 ) will hve ojets given y the verex set {0,1,2,3,4}. If we hoose 0 s the sepoint, we n lulte the fundmentl group: the olletion of equivlene lsses of wlks from 0 to 0. If ny wlk reverses orienttion, tht is goes from lokwise to ounterlokwise or vie vers, there will e suwlk...vwv... whih n e pruned. Thus ll non trivil wlks from 0 to 0 my e represented y stritly lokwise or ounterlokwise wlks, whih re generted y nd respetively. Sine the ontention of these wlks

22 22 T. CHIH AND L. SCULL nd prune to the identity wlk 0, these re free genertors for the group, whih is isomorphi to Z. Sine C 5 is onneted, the groupoid Π(C 5 ) retrts down onto this group, nd the rrows etween ny two ojets i,j my e reovered y hoosing wlk from i to j, nd then ontenting with elements of the group with sepoint j. Aknowledgements The uthors re grteful to Dr. Demitri Plesss for his previous forys into tegoril grph theory, nd for his feedk. We lso wnt to thnk Dr. Jeffery Johnson for helping us with some of the terminology in this pper. Referenes [1] E. Bson, H. Brelo, M. de Loungeville, nd R. Luenher. Homotopy theory of grphs. Journl of Alegri Comintoris, 24(1):31 44, [2] E. Bson nd D. N. Kozlov. Proof of the Lovàsz onjeture. Annls of Mthemtis, 165(3): , [3] A. Bonto nd R. Nowkowski. The Gme of Cops nd Roers on Grphs. Student mthemtil lirry. Amerin Mthemtil Soiety, [4] J. Bondy nd U. Murty. Grph theory Grd. Texts Mth, [5] G. R. Brightwell nd P. Winkler. Gis mesures nd dismntlle grphs. Journl of Comintoril Theory, Series B, 78(1):141 66, [6] A. Dohtermnn. Hom omplexes nd homotopy theory in the tegory of grphs. Europen Journl of Comintoris, 30(2): , Feury [7] A. Dohtermnn. Homotopy groups of hom omplexes of grphs. Journl of Comintoril Theory, Series A, 116(1): , [8] C. Godsil nd G. Royle. Algeri Grph Theory. Springer, [9] P. Hell nd J. Nesetril. The ore of grph. Disrete Mthemtis, 109: , Novemer [10] P. Hell nd J. Nešetřil. Grphs nd homomorphisms, volume 28 of Oxford Leture Series in Mthemtis nd its Applitions. Oxford University Press, Oxford, [11] D. N. Kozlov. Chromti numers, morphism omplexes, nd Stiefel-Whitney hrteristi lsses [12] D. N. Kozlov. Collpsing long monotone poset mps. Interntionl Journl of Mthemtis, 8, [13] D. N. Kozlov. Simple homotopy types of Hom-omplexes, neighorhood omplexes, Lovàsz omplexes, nd tom rossut omplexes. Topology Applitions, 14: , [14] D. N. Kozlov. A simple proof for folds on oth sides in omplexes of grph homomorphisms. Proeedings of the Amerin Mthemtil Soiety, 134(5): , [15] S. M Lne. Ctegories for the working mthemtiin, volume 5 of Grdute Texts in Mthemtis. Springer- Verlg, New York, seond edition, [16] D. Plesss. The Ctegories of Grphs. PhD thesis, The University of Montn, [17] E. Riehl. Ctegory Theory in Context. Auror: Dover Modern Mth Originls. Dover Pulitions, Tien Chih: Montn Stte University-Billings, Billings, MT, USA. E-mil ddress: tien.hih@msuillings.edu Lur Sull: Fort Lewis College, Durngo, CO, USA. E-mil ddress: sull l@fortlewis.edu