Connected cw complex pdf

For a cw complex with finitely many cells, the euler characteristic can be defined as. Y with y pathconnected, show that fcan be extended to a map x. Thus every connected cw complex is homotopy equivalent to a cw complex with these additional properties. Denote x the regular covering space corresponding to n. Conclude by showing that the colimit of a sequence of closed inclusions of locally pathconnected spaces is locally pathconnected. A nite complex is a cwcomplex with only nitely many cells. It is obviously natural with respect to maps of the pair y, b, when attention is paid to basepoints, and it commutes with injections and boundary. The c stands for closurefinite, and the w for weak topology an ndimensional closed cell is the image of an ndimensional closed ball under an attaching map. It is a cw complex made of nondegenerate simplices of the simplicial set.

Simply connected and 4dimensional cw complex, homotopy selfequivalences, whitehead exact sequence, sequences, automorphisms 1. There is a spectral sequence whose initial term is, in low dimensions, the homology groupl of f with coefficients in the homotopy group1 of x and whose final term is the graded group of the homotopy group of x y with respect to a suitable filtration. Notation and conventions in the following a space is a topological space and a map f. Let xbe an aspherical space, and y a connected, nite cwcomplex. Contents gcw complexes d g x a i university of chicago. Conclude by showing that the colimit of a sequence of closed inclusions of locally path connected spaces is locally path connected. Look at that proof and the neighbourhoods constructed in that proof. If eay denotes the group of homotopy selfequivalences of ay and. Connectedpdf is a document conversion application that converts standard pdfs into shareable pdfs that can be updated even after being sent out. Introduction let xbe a cw complex, and let ex denote the group of homotopy classes of selfhomotopy equivalences of x. For a simply connected cwcomplex x of dimension n, let y be a space obtained by attaching cells of dimension q to x, q n, and let ay denote an adamshilton model of y.

Show that every cw complex is locally path connected. Note that the cwcomplex constructed in this proof is also pathconnected, so the correspondence theorem applies and so there is a pathconnected nsheeted cover p. Cinduces isomorphisms on all homotopy groups, but it is not a homotopy equivalence, so the cw hypothesis is required. Since a cwcomplex is a colimit in top over its cells, and as such equipped with the final topology of the cell inclusion maps, a subset of a cwcomplex is open or closed precisely if its restriction to the closure of each cell is open or closed, respectively. Suppose x,x0 is a connected cw complex note that cw complexes are lo cally path connected, so that this implies x is path connected.

For a simply connected cw complex x of dimension n, let y be a space obtained by attaching cells of dimension q to x, q n, and let ay denote an adamshilton model of y. This conjecture is interesting and highly nontrivial even in the case where the group g acts trivially on the space m. By a theorem in class, a cw complex is connected if and only if it is path connected. For example, suppose x is a pathconnected cwcomplex with only even dimensional cells. X, where y 1 is a point in the interior of the cell di. Thus for each cell in a, the image of its attaching map is contained in a, so a is itself a cw complex. Show that every cwcomplex is locally pathconnected. Pdf it is shown that the hyperspace of a connected cwcomplex is an absolute retract for stratifiable spaces, where the hyperspace is the space of. Observe that if x is a nite complex, a4 is redundant, since w is the union of the compact sets. Then m g is a closed, smooth, simplyconnected, spinable 5manifold with h 2m g.

Whitehead torsion, part ii lecture 4 harvard university. When does there exist a homotopy equivalence xm, where m is a compact smooth manifold. We have decided to use the term cellular space instead of cw complex, following. Show that a cw complex is contractible if it is the union of an. Since it is a cwcomplex, x is locally pathconnected and semilocally simplyconnected because it is locally contractible. Here we collect a number of basic topological facts about cw complexes for con venient reference. Pdf let d be the class of all cw complexes homotopy dominated by finite cw complexes. In other words, the wedge sum of an uncountable number of circles. Andrew blumberg, equivariant homotopy theory, 2017 pdf, github a standard reference is.

Introduction lecture 1 february 2, 2011 in this course, we will be concerned with variations on the following. This class of spaces is broader and has some better categorical properties than simplicial complexes, but still retains a combinatorial nature that allows for computation often with a much smaller complex. It is easy to see by induction over skeleta that a subcomplex is a closed subspace. Onthetopologicalsocialchoicemodel university of chicago.

In topology, a cw complex is a type of topological space introduced by j. How do you prove a cw complex is locally path connected. Here are some facts about cwcomplexes that we will not prove but will use if need. X y between topological spaces x and y is a function which is continuous. Postnikov systems exist on connected cw complexes and there is a weak homotopyequivalence between and cw complex z and a. After all cells have been attached one has a cw complex z with a weak homotopy equivalence f. This is given by sending a g gcw complex, y y, to the presheaf sending g h gh to y h yh, the subspace of y y fixed by h h.

First show that attaching cells to a locally pathconnected space produces a locally pathconnected space. X characteristic maps, for in an arbitrary index set and n 2. Show that a cw complex retracts onto any contractible subcomplex. Simply connected and 4dimensional cwcomplex, homotopy selfequivalences, whitehead exact sequence, sequences, automorphisms 1. The term cwcomplex comes from \closure nite with the weak topology, where \closure nite refers to a3 and \weak topology refers to a4. A space is connected if it cannot be written as the disjoint union. Our result has a number of consequences, which we now list. Solutions to homework 2 attaching one cell, we could pick a basepoint x 0 in the interior of the cell and take a y. A nite complex is a cw complex with only nitely many cells. S2 is pathconnected, and the homology groups of the spheres, we obtain. The cohomology of xis periodic if and only if there is an orientable spherical bration e. A cw complex x is connected if and only if its 1skeleton x is. A gcw complex y, b is a subcomplex of x, a if y is a gsubspace of x, bis a closed gsubspace of a, and y n y\x n in the cw decomposition.

The document owner can make changes to the pdf, check a box, and instantly notify the recipients that there is an updated version. The determination of the group ex presents a challenging problem of computation. The precise definition prescribes how the cells may be topologically glued together. Assume that xhas the homotopy type of a connected cw complex. One can also apply this technique to produce a cw approximation to a pair x,x0. Show that as a result, if x has the homotopy type of a nite cwcomplex, xis contractible. The euler characteristic of a space with finitely generated homology is the lefschetz number also called lefschetz trace of the identity map from to itself. Theres a key theorem about cwcomplexes, that the inclusion of any of any subcomplex into the entire cwcomplex is a cofibration.

Postnikov systems exist on connected cw complexes and there is a weak homotopyequivalence between and lecture 1 february 2, 2011 in this course, we will be concerned with variations on the following. Then for any connected cwcomplex x, we have theorem 1 the doldthom theorem. Then every element 2whg can be realized as the whitehead torsion of a homotopy equivalence f. Cw complex and let y b e aspace suc h that h is nonempt y, connected, and nsimple if h o ccurs as an isotrop y subgroup of x a. A g cw complex y, b is a subcomplex of x, a if y is a gsubspace of x, bis a closed gsubspace of a, and y n y\x n in the cw decomposition.

A discrete group acts freely and properly on rn sm for some. Cohomology groups of lens spaces uwmadison department of. The collection of g gcwcomplexes has a full embedding into the infinity,1presheaves on the orbit category orb g orbg. Roughly speaking, a cw complex is made of basic building blocks called cells.

Then the boundary maps in the cellular chain complex are. Xsuch that the total space eis homotopy equivalent to a nite dimensional cwcomplex. We can put on sn the cellular structure consisting of a single 0cell, say e0, together with a single ncell, say en. A b e a relativ e g cw complex and let y b e aspace suc h that h is nonempt y, connected, and nsimple if h o ccurs as an isotrop y subgroup of x a. A further feature which can be useful is that all the attaching maps for the cells of z are basepointpreserving.

First show that attaching cells to a locally path connected space produces a locally path connected space. Let c be the cantor set with the discrete topology. Theres a key theorem about cw complexes, that the inclusion of any of any subcomplex into the entire cw complex is a cofibration. X which is a union of cells of x, such that the closure of each cell in a is contained in a. Equilibrium points in nperson games social sciences.

If x is a space, then a subspace of x is a subset a. This is given by sending a g gcw complex, y y, to the presheaf sending g h gh to y h yh, the subspace of y y fixed by h h see at elmendorfs theorem references. The term cw complex comes from \closure nite with the weak topology, where \closure nite refers to a3 and \weak topology refers to a4. The class of cwcomplexes or the class of spaces of the same homotopy type as a cwcomplex is the most suitable class of topological spaces in relation to homotopy theory. If x is pathconnected, this procedure produces a cw approximation having a single 0 cell. However, the simplicial set structure also implies that the corners of each simplex are consistently locally ordered, and this is not possible with an arbitrary gluing. The simplest cw complex, complex, regular complex, and simplicial complex homeomorphic to the torus. Its cw complex topology is the same as the topology induced from x, as one sees by noting inductively that the two topologies agree on an a. The doldthom is not, however, merely of interest as a technical curio connecting homology and homotopy theory. For an example of a connected, uncountable cw complex, you can for example take this one. The simplices can be glued to themselves or multiply glued to each other. The homotopy hypothesis generalizing to weak ngroupoids. In other words, what is special about the homotopy type of a compact smooth manifold m.

The new version is automatically recorded in the cloud in an intuitive document version tree. The rational toral rank r0x of a space x is the largest integer rsuch that the torus tr can act continuously on a cwcomplex in the rational homotopy type of x with all its isotropy subgroups. Assume that xhas the homotopy type of a connected cwcomplex. Theres a key theorem about cw complexes, that the inclusion of any of any subcomplex into the entire cwcomplex is a cofibration. Suppose that x is a connected cw complex such that for some n41 there is a map a as above. Cw complexes soren hansen this note is meant to give a short introduction to cw complexes. Its cw complex topology is the same as the topology induced from x, as one sees by noting inductively that.