Loop space decompositions of highly symmetric spaces with applications to polyhedral products

We generalise the fold map for the wedge sum and use this to give a loop space decomposition of topological spaces with a high degree of symmetry. This is applied to polyhedral products to give a loop space decomposition of polyhedral products associated to families of graphs.


Introduction
The motivation for this paper is to study polyhedral products associated to graphs with a high degree of symmetry.This is the first systematic study of polyhedral products associated to graphs.
To do this, in the first part of the paper, we prove a general loop space decomposition theorem that holds for topological spaces constructed iteratively via a generalisation of the fold map.This is used as a tool for the main objective of this paper, which is to prove a loop space decomposition of polyhedral products associated to a particular family of graphs known as generalised book graphs.
The generalised book graph case also requires a novel result about the naturality of a homotopy equivalence derived from a certain homotopy pushout considered in [7], which is of interest in its own right.
We first provide the necessary setup to state the general loop space decomposition.Let X be a pointed CW -complex.The fold map F : X ∨ X → X on the wedge sum is defined as a pushout map resulting in a commutative diagram * X X X ∨ X X.
Intuitively, this takes each copy of X in the wedge and folds them onto a single copy of X.
In this paper, we generalise the idea of the fold map and determine its homotopy fibre.In particular, for n ≥ 2 let X 1 , • • • , X n be homeomorphic, path-connected CW-complexes, and for 1 ≤ i < j ≤ n, let φ i,j : X i → X j be a homeomorphism.Let A 1 , A 2 be homeomorphic subcomplexes of X 1 .Also, assume there is an automorphism ψ of X 1 such that ψ(A 1 ) = A 2 and ψ(A 2 ) = A 1 .
Define the space P 2 as the pushout where f 2 is the composite This corresponds to gluing X 1 to X 2 by gluing the copy of A 2 in X 1 to the copy of A 1 in X 2 .
Inductively define P n as the pushout where f n is the composite This corresponds to gluing the copy of X n−1 contained in P n−1 to X n by gluing the copy of A 2 in X n−1 to the copy of A 1 in X n .We define a fold map by sending each copy of X i via the homeomorphism φ −1 1,i into X 1 .The wedge sum X ∨ X → X corresponds to letting n = 2, A 1 = A 2 = * , X 1 = X 2 = X, φ = id X and ψ = id X , where id X : X → X is the identity map.In Section 3, we decompose the homotopy fibre of g n and use this to give a loop space decomposition of P n .Specifically, we prove the following result.
Theorem 1.1.Let P n be the topological space constructed as above where n ≥ 2. Let F A2 be the homotopy fibre of the inclusion A 2 ֒→ X 1 .Then As examples, in Section 3 we apply Theorem 1.1 to the wedge sum n i=1 X to obtain a version of the Hilton-Milnor theorem, and to the connected sum X#X, when X is a closed, n-dimensional manifold, to obtain a homotopy decomposition for Ω(X#X).The decomposition of Ω(X#X) recovers a special case of [3] using a different approach, and a special case of [10,Lemma 2.1].
The main motivation behind Theorem 1.1 in this paper is to study polyhedral products associated to graphs.Polyhedral products have attracted considerable attention due to their diverse range of applications across mathematics.They originated in the study of spaces called moment-angle manifolds, but have since been applied to number theory, combinatorics, free groups and robotics to name just a few areas [2].
A polyhedral product is a natural subspace of m i=1 X i defined as follows.Let K be a simplicial complex on the vertex set [m] = {1, 2, • • • , m}.For 1 ≤ i ≤ m, let (X i , A i ) be a pair of pointed CW -complexes, where A i is a pointed CW -subcomplex of X i .Let (X, A) = {(X i , A i )} m i=1 be the sequence of pairs.For each simplex σ ∈ K, let (X, A) σ be defined by The polyhedral product determined by (X, A) and K is In this paper, we specialise to the case when X i = X and A i = A for all i, and in this case, the polyhedral product is denoted by (X, A) K .
For a simplicial complex with a high degree of symmetry, we define a fold map which is similar to the fold map constructed for Theorem 1.1.It is shown that for polyhedral products of the form (X, * ) K , this induces a fold map on the level of polyhedral products.This gives us a special case of Theorem 1.1, presented in the paper as Theorem 4.9, in the case of polyhedral products.
Polyhedral products of the form (CP ∞ , * ) K are known as Davis-Januszkiewicz spaces which are denoted by DJ K .These are closely related to polyhedral products of the form (D 2 , S 1 ) K which are known as moment-angle complexes, and these are denoted by Z K .There are various families of simplicial complexes for which it is known that the corresponding moment-angle complexes are homotopy equivalent to a wedge of simply connected spheres.These include shifted complexes [8], flag complexes with chordal 1-skeleton [16] and totally fillable complexes [11].However, there are many examples of simplicial complexes for which the loops on the corresponding moment-angle complex are homotopy equivalent to a product of spheres and loops on simply connected spheres, but is not homotopy equivalent to a wedge of spheres before looping.In [16], it was shown that the loops on a moment-angle complex associated to flag complexes (without the assumption on the 1-skeleton) are homotopy equivalent to a product of spheres and loops on simply connected spheres.
The decomposition obtained here was a coarse description with no way to enumerate the spheres given in the product.In Section 5.2, we apply Theorem 1.1 to give an explicit decomposition of the loops on a family of graphs known as book graphs.
The author would like to thank Stephen Theriault for his guidance and diligent proof reading during the preparation of this work.

Preliminary homotopy theory
In this section, we prove the results in homotopy theory that will be required later on.All the spaces in this section will be assumed to be path-connected CW -complexes.First, we have a result known as Mather's Cube Lemma [13].
Theorem 2.1.Suppose there is a homotopy commutative diagram of spaces and maps where the bottom face is a homotopy pushout and the four sides are homotopy pullbacks, then the top face is also a homotopy pushout.
There is an action θ : ΩB × F → F given by θ(λ, (e, ω)) = (e, λ • ω) where λ • ω is the path defined by It follows from the definition that θ restricted to F is homotopic to the identity and θ restricted to ΩB is homotopic to t.One property of this action is that the following diagram homotopy commutes where π 2 is the projection into the second factor.With this action, the following result will be used to determine the homotopy type of various fibres.
Lemma 2.2.Let F → E → B and F ′ → E ′ s − → B ′ be homotopy fibrations and suppose there exists a homotopy fibration diagram that defines the spaces G, H, J and the maps v : G → H and u : H → J.If t • Ωs has a right homotopy inverse w : J → ΩE ′ , then the composite Proof.First, consider the diagram (1) where i 2 is the inclusion into the second factor.We want to show that α can be chosen to be the identity map.
The top square of (2) is a homotopy pullback.Since the restriction of θ to H is homotopic to the identity, the composite ψ • i 2 is homotopic to v. Therefore, we obtain a pullback map Now we wish to show that β ≃ id G which will imply that α ≃ id G .Consider the homotopy We can see from this that id G • β ≃ π 2 • i 2 = id G .Thus β ≃ id G , implying that α ≃ id G .By the 5-lemma applied to (2), ψ induces an isomorphism on homotopy groups.Therefore by Whitehead's theorem, ψ is a homotopy equivalence.
Let i : A ֒→ A ∨ B be the inclusion into the first wedge summand and let F be the homotopy fibre of i.In this case, the homotopy type of F can be determined in terms of the homotopy fibre F ′ of the pinch map p : A ∨ B → A. If X and Y are pointed spaces, the right half-smash is defined by It was shown in [6] that there exists a homotopy equivalence The following proposition is a slight generalisation of [9, Lemma 5.2].
Proposition 2.3.Let A and B be pointed spaces and let i : A ֒→ A ∨ B be the inclusion.Denote by F the homotopy fibre of i.Then there exists a homotopy equivalence F ≃ Ω(B ⋊ ΩA).
Proof.Consider the following diagram The bottom square commutes since the pinch map is a left inverse of i.Therefore, we can take homotopy fibres to obtain (3).In particular, the top square is a homotopy pullback.Therefore, F is homotopy equivalent to the homotopy fibre of * → B ⋊ ΩA.Hence, there is a homotopy equivalence Next, we will require the homotopy type of a specific homotopy pushout to decompose the homotopy fibre of a map in Section 5.If X and Y are pointed spaces with basepoints x 0 and y 0 respectively, then the reduced join is defined by X * Y = (X × I × Y )/ ∼, where (x, 0, y) ∼ (x, 0, y ′ ), (x, 1, y) ∼ (x ′ , 1, y) and (x 0 , t, y 0 ) ∼ (x 0 , 0, y 0 ) for all x, x ′ ∈ X, y, y ′ ∈ Y and t ∈ I.By definition, The following result is from [7].
Lemma 2.4.Let A, B and C be spaces.Define Q as the homotopy pushout In Section 5 we will require a naturality property of the homotopy equivalence in Lemma 2.4.
Suppose there are two homotopy pushouts Q and Q ′ of the form (4) In addition, suppose f and f ′ are null homotopic, realised by homotopies H : A × I → C and Since H and H ′ restricted to A× {1} and A ′ × {1} respectively are constant maps, there are quotient maps f , f ′ such that (5) can be written as a commutative diagram ( 6) The next lemma will show that the homotopy equivalence in Lemma 2.4 is natural in this case.Let Lemma 2.5.Suppose we have data as in ( 4) and (5).Then the homotopy equivalence in Lemma 2.4 is natural with respect to a, b and c.

Proof. Consider the homotopy pushout
Up to homotopy equivalences, replace the projection A×B π1 −→ A with the inclusion A×B ֒→ A×CB and define Q as the strict pushout ( 7) The map f factors as the composite A ֒→ CA f − → C, and so the pushout ( 7) is equivalent to the iterated pushout ( 8) which defines the map α.Further, the inclusion A × B ֒→ A × CB factors as the composite This implies that (8) gives rise to the commutative diagram of pushouts ( 9) Since M ≃ * and N ≃ C ⋊ B, the bottom right square in ( 9) which is a pushout, implies that This recovers the result in Lemma 2.4 but in a form that is better for proving naturality.All the maps in the two left squares of ( 9) are natural.By hypothesis, (6) commutes so f is natural with respect to such diagrams.The naturality of λ, ψ and α then follow as they are induced pushout maps.The homotopy equivalence ǫ : This implies γ is natural as it is a composite of natural maps.Hence, the homotopy equivalence

The generalised fold map
In this section, we define a generalised fold map and determine the homotopy type of its fibre.
where f 2 is the composite This corresponds to gluing X 1 to X 2 by gluing the copy of A 2 in X 1 to the copy of A 1 in X 2 .
Inductively define P n as the pushout (10) where f n is the composite This corresponds to gluing the copy of X n−1 contained in P n−1 to X n by gluing the copy of A 2 in X n−1 to the copy of A 1 in X n .We exploit the symmetry of the space P n to define a map g n called the fold map.
Proposition 3.1.For n ≥ 2, there exists a pushout map g n making the following diagram commute where ψ n is the identity on X 1 when n is odd and ψ n = ψ −1 when n is even.Moreover, g n maps φ 1,n−1 (A 2 ) to A 2 when n is even and to A 1 when n is odd.
Proof.First consider the case n = 2.By definition, P 2 is the pushout f2 Observe that by the definition of φ 1,2 and ψ, the following diagram commutes Therefore, by the universal property of a pushout, we obtain a pushout map g 2 : Now suppose the result is true for n − 1.First consider the case n is odd and so n − 1 is even.
Consider the map X n−1 to A 1 by the definition of ψ.Therefore, by the commutativity of Therefore, the composite φ −1 1,n • f n maps φ 1,n−1 (A 1 ) to A 1 and so (11) commutes in this case.Now suppose n is even and so n − 1 is odd.Consider the map X n−1 By the commutativity of Intuitively, g n takes each copy of X i contained in P n and folds it down onto the copy of X 1 .Now consider the homotopy fibration that defines the space F Pn .The composite (11), and hence g n has a right homotopy inverse.This gives us the following result.
Lemma 3.2.The homotopy fibration F Pn → P n gn −→ X 1 splits after looping to give a homotopy equivalence Recall from Proposition 3.1 the definition of g n as the pushout map ( 12) For X one of φ 1,n−1 (A 2 ), X n , P n−1 , or P n , let F X be the homotopy fibre of the composite X ֒→ P n gn −→ X 1 .Since all the homotopy fibres are given by composing into a common base, the following cube homotopy commutes (13) where the sides are homotopy pullbacks and the bottom face is a homotopy pushout.Therefore by Theorem 2.1, the top face is a homotopy pushout.We can identify the space F Pn in the top face of the cube more precisely.
Proposition 3.3.For n ≥ 2, there is a homotopy equivalence where F A2 is the homotopy fibre of the inclusion A 2 ֒→ X 1 .
Proof.This proof will be done in three steps.First, the n = 2 case will be proved.Then, it will be shown that the induced map of fibres F φ1,n−1(A2) → F Pn−1 is null homotopic.Finally, this will allow us to inductively prove the proposition for n ≥ 3.
Step 1: By Proposition 3.1, we have a commutative diagram By the top face of ( 13) and the fact the homotopy fibre of a homeomorphism is contractible, we obtain a homotopy pushout of fibres Therefore, F P2 ≃ ΣF A2 .
Step 2: By construction, the map F φ1,n−1(A2) → F Pn−1 is the map of homotopy fibres induced by the bottom square in the following homotopy fibration diagram ( 14) We consider the case when n is odd and n is even seperately.
Suppose n is even.By Proposition 3.1, the map Considering the bottom squares going from left to right: the first square commutes by definition, the second and third squares clearly commute, and the fourth square commutes by definition of g n−1 .Then take homotopy fibres vertically to obtain (15).The middle row is equal to α and the bottom row is the identity on X 1 .Each of the top squares is a homotopy pullback, and so the sequence of four homotopy pullbacks in the top part of ( 15) is a homotopy pullback.Therefore, the top row shows that the induced map of fibres in (14) factors through a contractible space, and so the map between fibres is null homotopic.Now suppose n is odd.By Proposition 3.1, the map g n−1 maps φ 1,n−1 (A 2 ) to A 1 in X 1 .Consider the following diagram ( 16) Considering the bottom squares going from left to right: the first square commutes by definition, the second, third and fourth squares clearly commute, and the fifth square commutes by definition of g n−1 .Then take homotopy fibres vertically to obtain (16).The middle row is equal α and the bottom row is the identity on X 1 .Considering the top squares: the first and second squares are homotopy pullbacks and the outer perimeter of the third to fifth squares is a homotopy pullback, since the composite ψ −1 • ψ ≃ id X1 .Therefore, the sequence of five homotopy pullbacks in the top part of ( 16) is a homotopy pullback.Hence, the top row shows that the induced map of fibres in (14) factors through a contractible space, and so the map between fibres is null homotopic.
Step 3: By (12), the composite which is a homeomorphism.Therefore F Xn is contractible and so the homotopy pushout in the top face of ( 13) is equivalent, up to homotopy, to the homotopy pushout This implies that F Pn is the homotopy cofibre of the map F φ1,n−1(A2) → F Pn−1 .However, this map is null homotopic and so is the same, up to homeomorphism, as the inclusion A 2 ֒→ X 1 .Therefore, there is a homotopy equivalence F φ1,i(A2) ≃ F A2 for all 2 ≤ i ≤ n − 1.By induction, we obtain We now have everything we need to prove Theorem 1.1.
Proof of Theorem 1.1:By Lemma 3.2, there is a homotopy equivalence where F Pn is the homotopy fibre of P n gn −→ X 1 .By Proposition 3.3, there is a homotopy equivalence Substituting this into (17), we obtain ΣF A2 as desired.
Remark 3.4.As pointed out by an anonymous referee, there is an alternative, slick proof of Theorem 1.1 using [5, p.180].However, we leave the proof as presented as it is more hands-on and fits in well with the later applications.

3.5.
The case where X i = X for 1 ≤ i ≤ n and A 1 = A 2 has many applications.In this case, we can take ψ : X 1 → X 1 and φ i,j : X i → X j to be the identity map on X.
Example 3.6.Let X be a topological space.We apply Theorem 1.1 to the wedge n i=1 X to obtain a version of the Hilton-Milnor theorem.The wedge sum is formed by gluing the copies of X together by the corresponding basepoints.Let X i = X for 1 ≤ i ≤ n and A 1 = A 2 = * .This means that the homotopy fibre F A2 in the statement of Theorem 1.1 is the homotopy fibre of the inclusion * ֒→ X.
Hence F A2 ≃ ΩX.Applying Theorem 1.1, we obtain Denote by (ΣΩ) k the operation k times (ΣΩ) • • • (ΣΩ) with the convention that when k = 0, the operator is the identity.By induction, we can further decompose Ω Example 3.7.We can also apply Theorem 1.1 to the connected sum X#X, when X is a closed n-dimensional manifold.Denote by X \ D n the manifold X with an open disk removed.Let S n−1 be the boundary circle of D n in X.We can think of X#X as two copies of X \ D n glued together over the boundary circles S n−1 .Let X i = X \ D n for 1 ≤ i ≤ 2 and A 1 = A 2 = S n−1 .Let G be the homotopy fibre of the inclusion S n−1 ֒→ X \ D n .Then applying Theorem 1.1, we obtain Ω(X#X) ≃ Ω(X \ D n ) × ΩΣG.
The manifold X#X is a special case of the double of a manifold with boundary.Loop space decompositions of the double of a manifold with boundary were considered in [10, Section 2], and this recovers a special case of [10, Lemma 2.1].

Properties of Polyhedral Products
In this section, we introduce the basic properties of polyhedral products needed to apply Theorem 1.1 to them.First, we will require the notion of two simplicial complexes being isomorphic.Definition 4.1.Let K 1 and K 2 be simplicial complexes.A simplicial isomorphism is a bijective Two simplicial complexes are called isomorphic if there exists a simplicial isomorphism between K 1 and K 2 .This definition means that two simplicial complexes are isomorphic if there exists a relabelling of K 2 which makes it identical to K 1 .
Let K be the category of simplicial complexes with morphisms which are simplicial maps and CW * be the category of connected, pointed CW -complexes and pointed continuous maps.The polyhedral product is a functor from K to CW * [1].From this, we obtain the following results.Suppose there is a simplicial inclusion K f − → L. Then for any sequence (X, A) of pointed, path connected CW -complexes, there is an induced map (X, A) K → (X, A) L .Theorem 4.3.Let K 1 and K 2 be isomorphic simplicial complexes on the vertex set [m].Let (X, A) be a pointed CW -pair.Then there exists a homeomorphism (X, A) K1 ∼ = (X, A) K2 .
There is a second type of map we can define between polyhedral products.This involves a special subcomplex known as a full subcomplex.
In the special case where K is a graph, K I is known as the induced subgraph on I. Since K I is a subcomplex of the simplicial complex K, there is an inclusion (X, A) KI → (X, A) K of polyhedral products.Working the other way, projecting from [m] to I does not induce a map of simplicial complexes K → K I .However, there is a projection on the level of polyhedral products.If The following result from [4] shows that (X, A) KI retracts off (X, A) K .Proposition 4.5.Let K be a simplicial complex on the vertex set [m] and let (X, A) be any sequence of pointed, path-connected CW-pairs.Let I ⊆ [m].Then the projection m i=1 X i → X I induces a map (X, A) K → (X, A) KI .Further, the composite (X, A) KI ֒→ (X, A) K → (X, A) KI is the identity map.
The next property is the relation between pushouts of simplicial complexes and pushouts of polyhedral products.Let K be a simplicial complex on the vertex set [m]. Suppose there is a pushout of simplicial complexes To compare the polyhedral products for L, K Then there is a pushout of polyhedral products In [4], the following theorem was proved which allows us to determine the homotopy type of Ω(X, * ) K from Ω(CΩX, ΩX) K .
Theorem 4.7.Let K be a simplicial complex on the vertex set [m] and let {(X, * )} m i=1 be a sequence of pointed pairs (X i , * ) where each X i is path-connected.Then there is a homotopy fibration Further, this fibration splits after looping to give a homotopy equivalence The following result will be required in Section 5.2 to apply Lemma 2.5.This is an adaptation of a result in [8], but a different proof will be provided as we will require an explicit homotopy for our application.
is null homotopic.Moreover, the homotopy can be chosen such that, up to reparameterisation, its restriction to where H is the standard quotient map sending be the standard quotient map sending X i ∨I to a point and H n : CX n ×I → CX n be the homotopy which contracts the cone to the cone point.Let the restriction of H i for 1 ≤ i ≤ n−1 to X i × {1} and the restriction of H n to CX n × {1} be the respective constant maps.Define a homotopy H : This is well defined since at each time t, only one Therefore, H is a homotopy between k and the constant map.Now, we show that there is a fold map on the level of simplicial complexes that induces a fold map, as defined in Section 3, in the case of polyhedral products of the form (X, * ) K .For n ≥ 2, let isomorphic simplicial complexes on a common vertex set [m] and for 1 ≤ i < j ≤ n, let φ i,j : K i → K j be a simplicial isomorphism.Let L 1 , L 2 be isomorphic subcomplexes of K 1 and assume there is a simplicial automorphism ψ : Define M 2 by the pushout where f 2 is the composite This corresponds to gluing the copy of L 2 in K 1 to the copy of L 1 in K 2 .Inductively, define M n by the pushout where f n is the composite This corresponds to gluing the copy of The map f n is the composite of simplicial isomorphisms followed by an inclusion.Hence, f n is injective and so is also a simplicial inclusion.Therefore by Proposition 4.6, the pushout defining M n induces a pushout of polyhedral products where since A i = * , the extra terms in the pushout associated with the ghost vertices disappear This pushout is of the form as in (10) required by Theorem 1.1.Therefore, we obtain the following.
Theorem 4.9.Let M n be a simplicial complex constructed as above where n ≥ 2. Let X be a pathconnected pointed CW -complex.Let G be the homotopy fibre of the inclusion (X, * ) L2 ֒→ (X, * ) K1 .
Then there is a homotopy equivalence Remark 4.10.As in Theorem 1.1, in the case where K i = K for 1 ≤ i ≤ n and L 1 = L 2 , we can take ψ : K 1 → K 1 and φ i,j : K i → K j to be the identity map on K.

5.
Applications to polyhedral products associated to graphs 5.1.Background on Graph Theory.A graph G is a set of vertices V (G) together with a set of edges E(G) that connect them.In general, this is not a valid simplicial complex as it may have an edge which connects a vertex to itself, or may have multiple edges connecting two vertices v 0 and v 1 .Graphs which do not have either of these are known as simple graphs.A graph G is finite if its There are various notions of adjacency in a graph.Denote the edge connecting two vertices v and Two edges e, e ′ ∈ E(G) are adjacent if they share an end vertex.Finally, a vertex v ∈ V (G) and In most cases, we will consider graphs which are connected.This means for any pair of vertices We will consider many special types of graphs.
Definition 5.1.The degree of a vertex v is the number of edges adjacent to v.For example, the graph C 4 is the following graph Many of the examples of graphs we will consider will be built from these.as the pushout Then for p > 2, define B(n, l, p) iteratively as the pushout ( 18) We can apply Theorem 4.9 to B(n, l, p) using (18).Let L 1 = L 2 = P n , K i = C l for 1 ≤ i ≤ p and ψ and φ 1,j be the identity map for 2 ≤ j ≤ p. Theorem 4.9, we obtain a homotopy equivalence Ω(X, * ) B(n,l,p) ≃ Ω(X, * )

ΣG
where G is the homotopy fibre of the inclusion (X, * ) Pn ֒→ (X, * ) C l .If we specialise to generalised book graphs of the form B(l, 2l, p), we can determine the homotopy type of Ω(X, * ) B(l,2l,p) more precisely.
For the decomposition that follows, we draw the generalised book graph in its planar form.For example B(2, 4, 4) is a graph of the form where in our case, each X ij = X.Let W be the set of topological spaces homotopy equivalent to a wedge of spaces where each summand is a suspension of smashes of ΩX i 's.Porter's identification of the homotopy fibre gives us the following result.
We now consider the case where the length of the path is greater than or equal to 3. Consider the following fibration diagram which defines the space F ′ , where we use the fibration given in Theorem 4.7: Ω(CΩX, ΩX) P l F ′ (CΩX, ΩX) {v0,v l } (CΩX, ΩX) P l Ω(X, * ) P l F (X, * ) {v0,v l } (X, * )

Ωs
By Theorem 4.7, the map Ω(X, * ) P l Ωs − − → l i=0 ΩX i has a right homotopy inverse.Also, the map ΩX 0 × ΩX l → l i=0 ΩX i is an inclusion and so t has a right homotopy inverse.Therefore, the composite t • Ωs has a right homotopy inverse.Hence, it follows from Lemma 2.2 that there exists a homotopy equivalence Now we need to determine F ′ .To do this, we require an alternative homotopy equivalence for (CΩX, ΩX) P l from [18].Proposition 5.8.Let K be a simplicial complex on the vertex set {1, • • • , m}.Suppose that K = where the last homotopy equivalence follows since CΩX 0 is contractible and so CΩX 0 ⋊ ΩX l is contractible.Now applying Proposition 5.8 with K 1 = P l−1 on the vertex set {0, • • • , l − 1} and ∆ 1 on the vertex set {l − 1, l} we obtain The proof of Proposition 5.8 uses Lemma 2.4, therefore if the hypotheses of Lemma 2.5 also hold, the homotopy equivalence in Proposition 5.8 is natural.We wish to show this is the case for (CX, X) {v0,v l } and (CX, X) P l .To do this, we reproduce the proof of Proposition 5.8 from [18] and show that the hypotheses of Lemma 2.5 hold.
Lemma 5.9.Let P l be the path of length l and let v 0 , v l be the end vertices.The homotopy equivalence in Proposition 5.8 is natural with respect to the inclusion (CX, X) {v0,v l } ֒→ (CX, X) P l .
In particular, this inclusion can be written, up to homotopy equivalences, as the inclusion into the left wedge summand.
Proof.In the following, we will label the vertices by their corresponding vertices for clarity however we are still considering the case (CX, X).Define {v 0 , v l } by the pushout By Proposition 4.6, this induces a pushout of polyhedral products as in the right square of (4).Therefore, with the outer square of (20) and ( 21) for ( 4) and ( 22) for ( 5) the hypotheses of Lemma 2.5 are satisfied, and the homotopy equivalence in Lemma 2.4 is natural for maps R → R ′ .In particular, there exists a homotopy commutative diagram Since CX 0 is naturally homotopy equivalent to a point, so is CX 0 ⋊ X l .Also, CX l−1 is naturally homotopy equivalent to a point, and so we can contract CX 0 ⋊ X l and CX l−1 in (23) to obtain a where X 0 * X l is included into the left wedge summand.
The map R → R ′ is a pushout map obtained by mapping the outer square of (20) to the outer square of (21) via the maps where the first two maps are inclusions and the last map is the identity.The uniqueness of strict pushout maps implies that this is the same map as the one obtained by mapping the right square of (20) to the right square of (21) via where the first two maps are inclusions and the last map is the identity.Thus there exists a commutative diagram Since π 1 and π ′ 1 in the right squares of (20) and (21) respectively are homotopy equivalences, so are g and g ′ .Therefore, combining (24) and (25) we obtain a homotopy commutative diagram Recall F ′ is the homotopy fibre of the inclusion (CΩX, ΩX) {v0,v l } ֒→ (CΩX, ΩX) P l .Applying Lemma 5.9, the map (CΩX, ΩX) {v0,v l } ֒→ (CΩX, ΩX) P l can be written up to homotopy equivalences as the inclusion There is a well-known natural homotopy equivalence [12,14] Σ(Y Using this, there are natural homotopy equivalences Therefore, (26), can be rewritten up to homotopy equivalences as the inclusion Let Y be a pointed topological space.Denote by Y ∧n the n-fold smash product of Y .Putting all this together, we obtain the following result.In particular, (CΩX, ΩX) P l , p i=1 ΣF ∈ W.
For example, let X = CP ∞ .In the case that X = CP ∞ , ΩX ≃ S 1 and so spaces in W are homotopy equivalent to a wedge of simply connected spheres.The graph B(l, 2l, p) is a flag complex, and so by [16], it is known that the loop space of the corresponding moment-angle complex is homotopy equivalent to a product of spheres and loops on spheres.This also implies that the loop space of the Davis-Januszkiewicz space decomposes in the same way.However, the technique used does not give any indication as to how many spheres are in the decomposition.We can use In particular, Z P l , p i=1 ΣF are homotopy equivalent to a wedge of simply connected spheres.
a homotopy fibration sequence.Let b 0 be the basepoint of B and P B = {ω : [0, 1] → B | ω(1) = b 0 } be the path space of B. The homotopy fibre F can be regarded as the space P f (c.f [17][p.59])defined by r = Ωs • w.The left triangle homotopy commutes since the composite G → H → J is null homotopic and by definition of r.The right square homotopy commutes by the naturality of the homotopy action.The first row of (1) is the definition of ψ.The bottom direction of (1) is homotopic to the projection onto the first factor π 1 : J × G → J by definition of r and since the restriction of θ ′ to ΩB ′ is homotopic to t.This gives us that u • ψ ≃ π 1 .This homotopy results in the following homotopy fibration diagram that defines a map α : G → G M and N and maps λ and ψ.In particular, from the top squares in (9), M = CA × B ∪ B CB and N = (C × B) ∪ B CB. Observe that in N , by contracting CB to the cone point, we have a homotopy equivalence ǫ : N ≃ − → C ⋊ B. Now for M , by contracting CB to the cone point, there is a homotopy equivalence

Theorem 4 . 2 .
Let K and L be simplicial complexes on the vertex sets [m] and [n] respectively.

Definition 4 . 4 .
Let K be a simplicial complex on the vertex set [m].If I ⊆ [m], then the full subcomplex K I of K is defined as the simplicial complex

Definition 5 . 3 . 1 vertices of degree 2 .
A graph G is a tree if it contains no cycles.Definition 5.4.A path graph P n is a tree on n + 1 vertices with 2 vertices of degree 1 and n − For example, P 4 is the following graph Definition 5.5.A cycle graph C L of length L ≥ 3 is a graph with L vertices and L edges which contains a single cycle of length L.
5.2.Polyhedral products associated to generalised book graphs.The generalised book graph is denoted B(n, l, p) where 1 ≤ n ≤ l − 2, l ≥ 3 and p ≥ 2. The graph B(n, l, p) is p cycles C l of length l glued together over a common path P n of length n.Formally, define B(n, l, 2)