3. GRAPHS AND CW-COMPLEXES. Graphs.

Size: px
Start display at page:

Download "3. GRAPHS AND CW-COMPLEXES. Graphs."

Transcription

1 Graphs. 3. GRAPHS AND CW-COMPLEXES Definition. A directed graph X consists of two disjoint sets, V (X) and E(X) (the set of vertices and edges of X, resp.), together with two mappings o, t : E(X) V (X). Vertices o(e), t(e) are the endpoints of e, Definition. A graph is a directed graph X together with a mapping E(X) E(X), e ē, satisfying: e ē, ē = e, o(ē) = t(e) and (consequently) t(ē) = o(e), for all e E(X). An unoriented edge of X is a pair {e,ē}, where e E(X). Depict vertices by small circles, and edges e as line segments joining their endpoints, with an arrow pointing from o(e) to t(e). Unoriented edges are depicted as line segments without an arrow. e ē {e, ē} Note: o(e) = t(e) is allowed. Definition. An orientation of a graph X is a set containing exactly one edge from each unoriented edge {e,ē}. Definition. Let X and Y be graphs. A graph map from X to Y is a mapping f : V (X) E(X) V (Y ) E(Y ) which maps vertices to vertices and edges to edges, such that, for all edges e V (X), f (o(e)) = o( f (e)), f (t(e)) = t( f (e)) and f (ē) = f (e). Graph map f is called an isomorphism if it is bijective. A graph X is a subgraph of a graph Y if V (X) V (Y ), E(X) E(Y ) and the inclusion map V (X) E(X) V (Y ) E(Y ) is a graph map, i.e. if e E(X) then o(e), t(e) and ē have the same meaning in Y as they do in X. Paths. Let L n (n 0) be the graph with vertex set {0,1,...,n} and edge set {(0,1),(1,2),...,(n 1,n)} {(1,0),(2,1),...,(n,n 1)} with o(i,i + 1) = i, t(i,i + 1) = i + 1, (i,i + 1) = (i + 1,i). L n : n 1 n Definition. A path of length n in a graph X is a graph map p : L n X. Denote p(0) by o(p) and p(n) by t(p) and call these the endpoints of p. 1

2 [Say that p joins o(p) to t(p), and that it is a path from o(p) to t(p).] A path p of length n > 0 can be viewed as a sequence of edges (e 1,...,e n ), where t(e i ) = o(e i+1 ) for 1 i n 1, and o(p) = o(e 1 ), t(p) = t(e n ) (e i = p(i 1,i)). Also, for every vertex v of X, there is a trivial path, denoted by 1 v, with o(1 v ) = t(1 v ) = v, of length 0. Definition. A graph X is connected if, given x, y V (X), there exists a path in X from x to y. A path (e 1,...,e n ) is reduced if e i ē i+1 for 1 i n 1 (trivial paths are reduced). A path p is closed if o(p) = t(p). A circuit is a closed reduced path of positive length, (e 1,...,e n ) such that o(e i ) o(e j ) for 1 i, j n with i j. Definition. A tree is a connected graph having no circuits. Lemma 3.1. A graph X is a tree given vertices u, v of X, there is a unique reduced path which joins u to v. Proof. Omitted. A subtree of a graph is a subgraph which is a tree. A maximal tree in a graph X is a subtree of X which is not properly contained in any other subtree of X. Lemma 3.2. Let X be a connected graph. Then a subtree T of X is maximal if and only if V (T ) = V (X). Further, X has a maximal subtree. Proof. Omitted. Fundamental group. Given two paths p = (e 1,...,e n ) and q = ( f 1,..., f m ), with t(p) = o(q), the product pq is defined to be (e 1,...,e n, f 1,..., f m ), a path from o(p) to t(q). Note: if q is trivial, pq = p, and if p is trivial then pq = q. If p = (e 1,...,e n ) is a path, p means the path (ē n,...,ē 1 ) ( 1 v = 1 v ). Note: for any path p, p = p, o( p) = t(p), t( p) = o(p). Let p, q be paths; p q means one is obtained from the other by deleting a pair of edges of the form eē. Definition. Paths p and q are freely equivalent, written p q, if there is a sequence of paths p = p 1, p 2,... p n = q, where p i p i+1 for 1 i n 1. Equivalence relation on the set of all paths; denote equivalence class of p by [p]. Note: freely equivalent paths have the same endpoints. 2

3 Lemma 3.3. Any path is equivalent to a unique reduced path. Proof. Just like the proof of Lemma 1.2. Lemma 3.4. (1) If p p, q q and t(p) = o(q) then pq p q ; (2) If p q then p q. Proof. Exercise. Let v 0 be a vertex of the connected graph X. Let π 1 (X,v 0 ) be the set of equivalence classes of paths starting and ending at v 0. If [p], [q] π 1 (X,v 0 ), then by Lemma 3.4(1), can define their product by [p][q] = [pq]. This makes π 1 (X,v 0 ) into a group. Identity elt is [1 v0 ], and [p] 1 is [ p]. Definition. The group π 1 (X,v 0 ) is called the fundamental group of X at v 0. Now choose a maximal tree T of X. For v V (X), let p v be the reduced path in T from v 0 to v. For e E(X), let w e = p o(e) ep t(e). Then [w e ] π 1 (X,v 0 ), and [w e ] = 1 if e E(T ). If e E(T ) then w e is reduced. Further, wē = p o(ē) ē p t(ē) = p t(e) ē p o(e) = w e hence [w e ] 1 = [wē]. Suppose p = e 1...e n is a path from v 0 to v 0 in X. Then w e1...w en p, so [p] = [w e1 ]...[w en ]. Let A be an orientation of X. Follows: π 1 (X,v 0 ) is generated by U = {[w e ] e A \ E(T )}. Theorem 3.5. In fact, π 1 (X,v 0 ) is free with basis U. Proof. Omitted. Cayley Graphs. Let G be a gp, α : X G a mapping such that α(x) generates G. Form a directed graph: set of vertices is G; set of edges is G X; edge (g,x) has label x. o(g,x) = g, t(g,x) = gα(x). For every edge e = (g,x) add an edge ē, with label x 1, defining o(ē) = gα(x), t(ē) = g. Get a graph, the Cayley graph of G wrt α, denoted Γ(G,α). Usually, α is suppressed and graph is denoted by Γ(G,X). CW-complexes. Let E n = {x R n x 1}, U n = {x R n x < 1}, S n 1 = E n U n. Let A be a Hausdorff space, Λ a set; for λ Λ, let E λ be a copy of E n, so containing a copy S λ, U λ of S n 1, U n. Let f λ : S λ A be a cts map, for 3

4 λ Λ. Let Z = A λ Λ E λ, and let X be the quotient space Z/, where is the equiv. rel. gend by z f λ (z), z S λ, λ Λ. Let q : Z X be the quotient map: q maps A homeomorphically onto a closed subspace of X, which is identified with A via q. Also, X is Hausdorff. Definition. Let Y be a Hausdorff space having A as a subspace. Then Y is obtained from A by adjoining n-cells if a homeom. h : X Y, for some X constructed as above, with h A = id A. Put p = h q, let c λ = p(e λ ) (the n-cells), let p λ = p Eλ (the characteristic maps), and let f λ = p λ Sλ (the attaching maps). Facts: (i) A is closed in Y. (ii) p λ Uλ is a homeom. onto an open subset c λ of Y whose closure in Y is c λ. (iii)the c λ are the path components of Y A. (iv) A subset B of Y is closed iff B A is closed in A and B c λ is closed in c λ, for all λ Λ. Definition. A top. space X is a CW-complex if subspaces X 0 X 1 X 2... with X = X n n 0 such that each X n is closed, X 0 is discrete, X n is obtained from X n 1 (n 1) by adjoining n-cells and a subset Y of X is closed iff Y X n is closed in X n, for all n 0. Note: E 1 = [ 1,1], U 1 = ( 1,1). Let X be a 1-dimensional CW-complex (X = X 1 ), let c be a 1-cell. If g 1, g 2 are homeoms. U 1 c, define g 1 g 2 to mean g 1 1 g 2 is strictly increasing. (Equiv. rel. on set of such homeoms. with two equivalence classes, [g] and [g ], where g (t) = g( t).) An oriented 1-cell is a pair (c,[g]) where c is a 1-cell and [g] is one of the equivalence classes. Define (c,[g]) = (c,[g ]). If ϕ : [ 1,1] c is the char. map, put g = ϕ ( 1,1). Then define o(c,[g]) = ϕ( 1), t(c,[g]) = ϕ(1). This defines a graph Γ, with V (Γ) = X 0, E(Γ) the set of oriented 1-cells. If c is a 1-cell with char. map ϕ and g = ϕ (0,1), e = (c,[g]), then there is a path α e in X from o(e) to t(e), α e = ϕ h, where h : [0,1] [ 1,1] is h(t) = 2t 1. Define αē to be ϕ h (where ϕ (t) = ϕ( t)), so αē(t) = α e (1 t), hence α e αē is homotopic to the constant path at o(e). If p = (e 1,...,e m ) is a path in Γ, define θ(p) = homotopy class of α e1...α em (bracketing is unimportant) and let θ(1 v ) =homotopy class of const. path at v, v V (Γ). 4

5 Follows: if p q then θ(p) = θ(q). Hence, if v V (Γ), an induced map ψ : π 1 (Γ,v) π 1 (X,v), [p] θ(p). Theorem 3.6. The map ψ : π 1 (Γ,v) π 1 (X,v), is a group isomorphism, so π 1 (X,v) is a free group. Proof. See Massey s book, Thm 5.1, Ch.6 (needs Seifert-van Kampen Theorem). 2-complexes. Let X be obtained from A by attaching 2-cells. Let {c λ λ Λ} be the set of 2-cells, with char. maps p λ. Assume A path connected. Let g : [0,1] S 1 be the map t e 2πit. Then α λ := p λ g is a closed path in A. Choose v A and a path β λ in A from v to α λ (0). Then β λ α λ β 1 λ is a closed path at v, so its homotopy class w λ is in π 1 (A,v). Theorem 3.7. The homomorphism π 1 (A,v) π 1 (X,v) induced by the inclusion map is onto, and the kernel is the normal subgroup of π 1 (A,v) generated by {w λ λ Λ}. Proof. See Massey, Thm 2.1, Ch.7 (another application of Seifert-van Kampen). Let X R be a group presn. Let K 0 = {v}, and let K 1 be obtained from K 0 by adjoining a set of 1-cells {c x x X}. (Only one choice for attaching maps.) [ Bouquet of circles joined at a single point.] Let p x be the char. map, g x its restriction to ( 1,1), e x = (c x,g x ) corr. oriented edge, and define e x 1 = ē x. For oriented edge e y, y X ±1, let α y = α ey be the corr. path in K 1 as above. (preceding Thm 3.6). [If y = x ±1, x X, α y goes once round c x in a preferred direction.] Let F be the free gp on X. By Thms 3.5 and 3.6, x homotopy class of α x extends to an isomorphism Φ : F π 1 (K 1,x). If r R, say r = y 1...y k, y i X ±1, define α r = α y1...α yk. Then α r induces β r : S 1 K 1 with α r = β r g (g : t e 2πit ). Adjoin 2-cells {c r r R} to K 1 with β r as attaching map for c r, to obtain a CW-cx K = K(X R). By Thm 3.7, π 1 (K,v) = π 1 (K 1,v)/N, N being the normal subgp gend by {w r r R}, where w r is the htopy class of α r, ie w r = Φ(r). Hence π 1 (K,x) = F/N, where N is the normal subgp of F gend by R, so π 1 (K,x) has presn X R. 5

6 6 Examples. (1) x,y xyx 1 y 1 ; K the torus S 1 S 1. c x c y (2) x x 2 ; K is the real projective plane RP 2, obtained by identifying antipodal points of S 2. (3) x,y xyx 1 y ; K is the Klein bottle. Presn transforms to a,b a 2 = b 2 by Tietze transfs.

MATH730 NOTES WEEK 8

MATH730 NOTES WEEK 8 MATH730 NOTES WEEK 8 1. Van Kampen s Theorem The main idea of this section is to compute fundamental groups by decomposing a space X into smaller pieces X = U V where the fundamental groups of U, V, and

More information

n ) = f (x 1 ) e 1... f (x n ) e n

n ) = f (x 1 ) e 1... f (x n ) e n 1. FREE GROUPS AND PRESENTATIONS Let X be a subset of a group G. The subgroup generated by X, denoted X, is the intersection of all subgroups of G containing X as a subset. If g G, then g X g can be written

More information

Math 637 Topology Paulo Lima-Filho. Problem List I. b. Show that a contractible space is path connected.

Math 637 Topology Paulo Lima-Filho. Problem List I. b. Show that a contractible space is path connected. Problem List I Problem 1. A space X is said to be contractible if the identiy map i X : X X is nullhomotopic. a. Show that any convex subset of R n is contractible. b. Show that a contractible space is

More information

Part II. Algebraic Topology. Year

Part II. Algebraic Topology. Year Part II Year 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2017 Paper 3, Section II 18I The n-torus is the product of n circles: 5 T n = } S 1. {{.. S } 1. n times For all n 1 and 0

More information

Basic Notions in Algebraic Topology 1

Basic Notions in Algebraic Topology 1 Basic Notions in Algebraic Topology 1 Yonatan Harpaz Remark 1. In these notes when we say map we always mean continuous map. 1 The Spaces of Algebraic Topology One of the main difference in passing from

More information

MATH540: Algebraic Topology PROBLEM SET 3 STUDENT SOLUTIONS

MATH540: Algebraic Topology PROBLEM SET 3 STUDENT SOLUTIONS Key Problems 1. Compute π 1 of the Mobius strip. Solution (Spencer Gerhardt): MATH540: Algebraic Topology PROBLEM SET 3 STUDENT SOLUTIONS In other words, M = I I/(s, 0) (1 s, 1). Let x 0 = ( 1 2, 0). Now

More information

3. Prove or disprove: If a space X is second countable, then every open covering of X contains a countable subcollection covering X.

3. Prove or disprove: If a space X is second countable, then every open covering of X contains a countable subcollection covering X. Department of Mathematics and Statistics University of South Florida TOPOLOGY QUALIFYING EXAM January 24, 2015 Examiners: Dr. M. Elhamdadi, Dr. M. Saito Instructions: For Ph.D. level, complete at least

More information

SOLUTIONS TO THE FINAL EXAM

SOLUTIONS TO THE FINAL EXAM SOLUTIONS TO THE FINAL EXAM Short questions 1 point each) Give a brief definition for each of the following six concepts: 1) normal for topological spaces) 2) path connected 3) homeomorphism 4) covering

More information

The Fundamental Group and Covering Spaces

The Fundamental Group and Covering Spaces Chapter 8 The Fundamental Group and Covering Spaces In the first seven chapters we have dealt with point-set topology. This chapter provides an introduction to algebraic topology. Algebraic topology may

More information

GROUPS ACTING ON TREES

GROUPS ACTING ON TREES GROUPS ACTING ON TREES A. Raghuram & B. Sury 1 Introduction This is an expanded version of the notes of talks given by us in the instructional workshop on geometric group theory held in the Indian Institute

More information

CELLULAR HOMOLOGY AND THE CELLULAR BOUNDARY FORMULA. Contents 1. Introduction 1

CELLULAR HOMOLOGY AND THE CELLULAR BOUNDARY FORMULA. Contents 1. Introduction 1 CELLULAR HOMOLOGY AND THE CELLULAR BOUNDARY FORMULA PAOLO DEGIORGI Abstract. This paper will first go through some core concepts and results in homology, then introduce the concepts of CW complex, subcomplex

More information

Math 215B: Solutions 3

Math 215B: Solutions 3 Math 215B: Solutions 3 (1) For this problem you may assume the classification of smooth one-dimensional manifolds: Any compact smooth one-dimensional manifold is diffeomorphic to a finite disjoint union

More information

MATH8808: ALGEBRAIC TOPOLOGY

MATH8808: ALGEBRAIC TOPOLOGY MATH8808: ALGEBRAIC TOPOLOGY DAWEI CHEN Contents 1. Underlying Geometric Notions 2 1.1. Homotopy 2 1.2. Cell Complexes 3 1.3. Operations on Cell Complexes 3 1.4. Criteria for Homotopy Equivalence 4 1.5.

More information

MAT 530: Topology&Geometry, I Fall 2005

MAT 530: Topology&Geometry, I Fall 2005 MAT 530: Topology&Geometry, I Fall 2005 Problem Set 11 Solution to Problem p433, #2 Suppose U,V X are open, X =U V, U, V, and U V are path-connected, x 0 U V, and i 1 π 1 U,x 0 j 1 π 1 U V,x 0 i 2 π 1

More information

MATH 215B HOMEWORK 5 SOLUTIONS

MATH 215B HOMEWORK 5 SOLUTIONS MATH 25B HOMEWORK 5 SOLUTIONS. ( marks) Show that the quotient map S S S 2 collapsing the subspace S S to a point is not nullhomotopic by showing that it induces an isomorphism on H 2. On the other hand,

More information

Corrections to Introduction to Topological Manifolds (First edition) by John M. Lee December 7, 2015

Corrections to Introduction to Topological Manifolds (First edition) by John M. Lee December 7, 2015 Corrections to Introduction to Topological Manifolds (First edition) by John M. Lee December 7, 2015 Changes or additions made in the past twelve months are dated. Page 29, statement of Lemma 2.11: The

More information

Topology Hmwk 6 All problems are from Allen Hatcher Algebraic Topology (online) ch 2

Topology Hmwk 6 All problems are from Allen Hatcher Algebraic Topology (online) ch 2 Topology Hmwk 6 All problems are from Allen Hatcher Algebraic Topology (online) ch 2 Andrew Ma August 25, 214 2.1.4 Proof. Please refer to the attached picture. We have the following chain complex δ 3

More information

Topology Hmwk 5 All problems are from Allen Hatcher Algebraic Topology (online) ch 1

Topology Hmwk 5 All problems are from Allen Hatcher Algebraic Topology (online) ch 1 Topology Hmwk 5 All problems are from Allen Hatcher Algebraic Topology (online) ch Andrew Ma November 22, 203.3.8 Claim: A nice space X has a unique universal abelian covering space X ab Proof. Given a

More information

Fundamental group. Chapter The loop space Ω(X, x 0 ) and the fundamental group

Fundamental group. Chapter The loop space Ω(X, x 0 ) and the fundamental group Chapter 6 Fundamental group 6. The loop space Ω(X, x 0 ) and the fundamental group π (X, x 0 ) Let X be a topological space with a basepoint x 0 X. The space of paths in X emanating from x 0 is the space

More information

Applications of Homotopy

Applications of Homotopy Chapter 9 Applications of Homotopy In Section 8.2 we showed that the fundamental group can be used to show that two spaces are not homeomorphic. In this chapter we exhibit other uses of the fundamental

More information

Math 751 Week 6 Notes

Math 751 Week 6 Notes Math 751 Week 6 Notes Joe Timmerman October 26, 2014 1 October 7 Definition 1.1. A map p: E B is called a covering if 1. P is continuous and onto. 2. For all b B, there exists an open neighborhood U of

More information

Algebraic Topology Exam 2006: Solutions

Algebraic Topology Exam 2006: Solutions Algebraic Topology Exam 006: Solutions Comments: [B] means bookwork. [H] means similar to homework question. [U] means unseen..(a)[6 marks. B] (i) An open set in X Y is an arbitrary union of sets of the

More information

SMSTC Geometry & Topology 1 Assignment 1 Matt Booth

SMSTC Geometry & Topology 1 Assignment 1 Matt Booth SMSTC Geometry & Topology 1 Assignment 1 Matt Booth Question 1 i) Let be the space with one point. Suppose X is contractible. Then by definition we have maps f : X and g : X such that gf id X and fg id.

More information

Algebraic Topology I Homework Spring 2014

Algebraic Topology I Homework Spring 2014 Algebraic Topology I Homework Spring 2014 Homework solutions will be available http://faculty.tcu.edu/gfriedman/algtop/algtop-hw-solns.pdf Due 5/1 A Do Hatcher 2.2.4 B Do Hatcher 2.2.9b (Find a cell structure)

More information

G i. h i f i G h f j. G j

G i. h i f i G h f j. G j 2. TWO BASIC CONSTRUCTIONS Free Products with amalgamation. Let {G i i I} be a family of gps, A a gp and α i : A G i a monomorphism, i I. A gp G is the free product of the G i with A amalgamated (via the

More information

Bredon, Introduction to compact transformation groups, Academic Press

Bredon, Introduction to compact transformation groups, Academic Press 1 Introduction Outline Section 3: Topology of 2-orbifolds: Compact group actions Compact group actions Orbit spaces. Tubes and slices. Path-lifting, covering homotopy Locally smooth actions Smooth actions

More information

We have the following immediate corollary. 1

We have the following immediate corollary. 1 1. Thom Spaces and Transversality Definition 1.1. Let π : E B be a real k vector bundle with a Euclidean metric and let E 1 be the set of elements of norm 1. The Thom space T (E) of E is the quotient E/E

More information

Math 6510 Homework 11

Math 6510 Homework 11 2.2 Problems 40 Problem. From the long exact sequence of homology groups associted to the short exact sequence of chain complexes n 0 C i (X) C i (X) C i (X; Z n ) 0, deduce immediately that there are

More information

Geometric Topology. Harvard University Fall 2003 Math 99r Course Notes

Geometric Topology. Harvard University Fall 2003 Math 99r Course Notes Geometric Topology Harvard University Fall 2003 Math 99r Course Notes Contents 1 Introduction: Knots and Reidemeister moves........... 1 2 1-Dimensional Topology....................... 1 3 2-Dimensional

More information

MATH 547 ALGEBRAIC TOPOLOGY HOMEWORK ASSIGNMENT 4

MATH 547 ALGEBRAIC TOPOLOGY HOMEWORK ASSIGNMENT 4 MATH 547 ALGEBRAIC TOPOLOGY HOMEWORK ASSIGNMENT 4 ROI DOCAMPO ÁLVAREZ Chapter 0 Exercise We think of the torus T as the quotient of X = I I by the equivalence relation generated by the conditions (, s)

More information

DISCRETIZED CONFIGURATIONS AND PARTIAL PARTITIONS

DISCRETIZED CONFIGURATIONS AND PARTIAL PARTITIONS DISCRETIZED CONFIGURATIONS AND PARTIAL PARTITIONS AARON ABRAMS, DAVID GAY, AND VALERIE HOWER Abstract. We show that the discretized configuration space of k points in the n-simplex is homotopy equivalent

More information

Quiz-1 Algebraic Topology. 1. Show that for odd n, the antipodal map and the identity map from S n to S n are homotopic.

Quiz-1 Algebraic Topology. 1. Show that for odd n, the antipodal map and the identity map from S n to S n are homotopic. Quiz-1 Algebraic Topology 1. Show that for odd n, the antipodal map and the identity map from S n to S n are homotopic. 2. Let X be an Euclidean Neighbourhood Retract space and A a closed subspace of X

More information

The Fundamental Group and The Van Kampen Theorem

The Fundamental Group and The Van Kampen Theorem The Fundamental Group and The Van Kampen Theorem Ronald Alberto Zúñiga Rojas Universidade de Coimbra Departamento de Matemática Topologia Algébrica Contents 1 Some Basic Definitions 2 The Fundamental Group

More information

The fundamental group of a locally finite graph with ends

The fundamental group of a locally finite graph with ends 1 The fundamental group of a locally finite graph with ends Reinhard Diestel and Philipp Sprüssel Abstract We characterize the fundamental group of a locally finite graph G with ends combinatorially, as

More information

1 Spaces and operations Continuity and metric spaces Topological spaces Compactness... 3

1 Spaces and operations Continuity and metric spaces Topological spaces Compactness... 3 Compact course notes Topology I Fall 2011 Professor: A. Penskoi transcribed by: J. Lazovskis Independent University of Moscow December 23, 2011 Contents 1 Spaces and operations 2 1.1 Continuity and metric

More information

B 1 = {B(x, r) x = (x 1, x 2 ) H, 0 < r < x 2 }. (a) Show that B = B 1 B 2 is a basis for a topology on X.

B 1 = {B(x, r) x = (x 1, x 2 ) H, 0 < r < x 2 }. (a) Show that B = B 1 B 2 is a basis for a topology on X. Math 6342/7350: Topology and Geometry Sample Preliminary Exam Questions 1. For each of the following topological spaces X i, determine whether X i and X i X i are homeomorphic. (a) X 1 = [0, 1] (b) X 2

More information

THE FUNDAMENTAL GROUP AND CW COMPLEXES

THE FUNDAMENTAL GROUP AND CW COMPLEXES THE FUNDAMENTAL GROUP AND CW COMPLEXES JAE HYUNG SIM Abstract. This paper is a quick introduction to some basic concepts in Algebraic Topology. We start by defining homotopy and delving into the Fundamental

More information

ACTING FREELY GABRIEL GASTER

ACTING FREELY GABRIEL GASTER ACTING FREELY GABRIEL GASTER 1. Preface This article is intended to present a combinatorial proof of Schreier s Theorem, that subgroups of free groups are free. While a one line proof exists using the

More information

Topology Hmwk 2 All problems are from Allen Hatcher Algebraic Topology (online) ch. 0 and ch 1

Topology Hmwk 2 All problems are from Allen Hatcher Algebraic Topology (online) ch. 0 and ch 1 Topology Hmwk 2 All problems are from Allen Hatcher Algebraic Topology (online) ch. 0 and ch 1 Andrew Ma December 22, 2013 This assignment has been corrected post - grading. 0.29 In case the CW complex

More information

Exercises for Algebraic Topology

Exercises for Algebraic Topology Sheet 1, September 13, 2017 Definition. Let A be an abelian group and let M be a set. The A-linearization of M is the set A[M] = {f : M A f 1 (A \ {0}) is finite}. We view A[M] as an abelian group via

More information

FUNDAMENTAL GROUPS AND THE VAN KAMPEN S THEOREM. Contents

FUNDAMENTAL GROUPS AND THE VAN KAMPEN S THEOREM. Contents FUNDAMENTAL GROUPS AND THE VAN KAMPEN S THEOREM SAMUEL BLOOM Abstract. In this paper, we define the fundamental group of a topological space and explore its structure, and we proceed to prove Van-Kampen

More information

Homework 3 MTH 869 Algebraic Topology

Homework 3 MTH 869 Algebraic Topology Homework 3 MTH 869 Algebraic Topology Joshua Ruiter February 12, 2018 Proposition 0.1 (Exercise 1.1.10). Let (X, x 0 ) and (Y, y 0 ) be pointed, path-connected spaces. Let f : I X y 0 } and g : I x 0 }

More information

Graphs of groups, Lecture 5

Graphs of groups, Lecture 5 Graphs of groups, Lecture 5 Olga Kharlampovich NYC, Sep. 23 1 / 32 Amalgamated free products Graphs of groups. Definition Let A, B, C be groups and let σ : C A and τc A be injective homomorphisms. If the

More information

GEOMETRY AND TOPOLOGY. Contents

GEOMETRY AND TOPOLOGY. Contents GEOMETRY AND TOPOLOGY NIMA MOSHAYEDI Notes, February 1, 2015 Contents Part 1. Topology 2 1. Topological spaces 2 2. Tools to construct topological spaces 4 2.1. Cell complexes 8 3. Connectedness 8 3.1.

More information

Kernel. Prop-Defn. Let T : V W be a linear map.

Kernel. Prop-Defn. Let T : V W be a linear map. Kernel Aim lecture: We examine the kernel which measures the failure of uniqueness of solns to linear eqns. The concept of linear independence naturally arises. This in turn gives the concept of a basis

More information

Synopsis of material from EGA Chapter II, 4. Proposition (4.1.6). The canonical homomorphism ( ) is surjective [(3.2.4)].

Synopsis of material from EGA Chapter II, 4. Proposition (4.1.6). The canonical homomorphism ( ) is surjective [(3.2.4)]. Synopsis of material from EGA Chapter II, 4 4.1. Definition of projective bundles. 4. Projective bundles. Ample sheaves Definition (4.1.1). Let S(E) be the symmetric algebra of a quasi-coherent O Y -module.

More information

BACHELORARBEIT. Graphs of Groups. and their Fundamental Groups

BACHELORARBEIT. Graphs of Groups. and their Fundamental Groups BACHELORARBEIT Graphs of Groups and their Fundamental Groups Verfasserin: Martina Pflegpeter Matrikel-Nummer: 0606219 Studienrichtung: A 033 621 Mathematik Betreuer: Bernhard Krön Wien, am 01. 03. 2011

More information

1. Classifying Spaces. Classifying Spaces

1. Classifying Spaces. Classifying Spaces Classifying Spaces 1. Classifying Spaces. To make our lives much easier, all topological spaces from now on will be homeomorphic to CW complexes. Fact: All smooth manifolds are homeomorphic to CW complexes.

More information

Non-cocompact Group Actions and π 1 -Semistability at Infinity

Non-cocompact Group Actions and π 1 -Semistability at Infinity Non-cocompact Group Actions and π 1 -Semistability at Infinity arxiv:1709.09129v1 [math.gr] 26 Sep 2017 Ross Geoghegan, Craig Guilbault and Michael Mihalik September 27, 2017 Abstract A finitely presented

More information

Assignment 4; Due Friday, February 3

Assignment 4; Due Friday, February 3 Assignment ; Due Friday, February 3 5.6a: The isomorphism u f : π (X, x) π (X, y) is defined by γ f γ f. Remember that we read such expressions from left to right. So follow f backward from y to x, and

More information

TOPOLOGY AND GROUPS. Contents

TOPOLOGY AND GROUPS. Contents TOPOLOGY AND GROUPS Contents Introduction............................... 2 Convention and Notation......................... 3 I. Constructing spaces 1. Cayley graphs of groups..................... 4 2.

More information

MAS435 Algebraic Topology Part A: Semester 1 Exercises

MAS435 Algebraic Topology Part A: Semester 1 Exercises MAS435 Algebraic Topology 2011-12 Part A: Semester 1 Exercises Dr E. L. G. Cheng Office: J24 E-mail: e.cheng@sheffield.ac.uk http://cheng.staff.shef.ac.uk/mas435/ You should hand in your solutions to Exercises

More information

Math 754 Chapter III: Fiber bundles. Classifying spaces. Applications

Math 754 Chapter III: Fiber bundles. Classifying spaces. Applications Math 754 Chapter III: Fiber bundles. Classiying spaces. Applications Laurențiu Maxim Department o Mathematics University o Wisconsin maxim@math.wisc.edu April 18, 2018 Contents 1 Fiber bundles 2 2 Principle

More information

120A LECTURE OUTLINES

120A LECTURE OUTLINES 120A LECTURE OUTLINES RUI WANG CONTENTS 1. Lecture 1. Introduction 1 2 1.1. An algebraic object to study 2 1.2. Group 2 1.3. Isomorphic binary operations 2 2. Lecture 2. Introduction 2 3 2.1. The multiplication

More information

UNIQUENESS OF HIGHLY REPRESENTATIVE SURFACE EMBEDDINGS

UNIQUENESS OF HIGHLY REPRESENTATIVE SURFACE EMBEDDINGS UNIQUENESS OF HIGHLY REPRESENTATIVE SURFACE EMBEDDINGS P. D. Seymour Bellcore 445 South St. Morristown, New Jersey 07960, USA and Robin Thomas 1 School of Mathematics Georgia Institute of Technology Atlanta,

More information

Notes for Math 535 Differential Geometry Spring Francis Bonahon. Department of Mathematics, University of Southern California

Notes for Math 535 Differential Geometry Spring Francis Bonahon. Department of Mathematics, University of Southern California Notes for Math 535 Differential Geometry Spring 2016 Francis Bonahon Department of Mathematics, University of Southern California Date of this version: April 27, 2016 c Francis Bonahon 2016 CHAPTER 1 A

More information

Math 205B Homework. Edward Burkard. f(x + h) f(x) L(h) < ɛ h. f(x + h) f(x) < ɛ h + L(h) , then we get continuity.

Math 205B Homework. Edward Burkard. f(x + h) f(x) L(h) < ɛ h. f(x + h) f(x) < ɛ h + L(h) , then we get continuity. Math 05B Homework Edward Burkard 0.0. Lecture Problems. 1. Show that a differentiable function is continuous. 0. Kaiser Wilhelm Problems Let f : R n R m be a differentiable function. Then for any ɛ > 0

More information

X G X by the rule x x g

X G X by the rule x x g 18. Maps between Riemann surfaces: II Note that there is one further way we can reverse all of this. Suppose that X instead of Y is a Riemann surface. Can we put a Riemann surface structure on Y such that

More information

MTH 428/528. Introduction to Topology II. Elements of Algebraic Topology. Bernard Badzioch

MTH 428/528. Introduction to Topology II. Elements of Algebraic Topology. Bernard Badzioch MTH 428/528 Introduction to Topology II Elements of Algebraic Topology Bernard Badzioch 2016.12.12 Contents 1. Some Motivation.......................................................... 3 2. Categories

More information

Some K-theory examples

Some K-theory examples Some K-theory examples The purpose of these notes is to compute K-groups of various spaces and outline some useful methods for Ma448: K-theory and Solitons, given by Dr Sergey Cherkis in 2008-09. Throughout

More information

Solutions to Problem Set 1

Solutions to Problem Set 1 Solutions to Problem Set 1 18.904 Spring 2011 Problem 1 Statement. Let n 1 be an integer. Let CP n denote the set of all lines in C n+1 passing through the origin. There is a natural map π : C n+1 \ {0}

More information

Solutions to homework problems

Solutions to homework problems Solutions to homework problems November 25, 2015 Contents 1 Homework Assignment # 1 1 2 Homework assignment #2 6 3 Homework Assignment # 3 9 4 Homework Assignment # 4 14 5 Homework Assignment # 5 20 6

More information

ALGEBRAICALLY TRIVIAL, BUT TOPOLOGICALLY NON-TRIVIAL MAP. Contents 1. Introduction 1

ALGEBRAICALLY TRIVIAL, BUT TOPOLOGICALLY NON-TRIVIAL MAP. Contents 1. Introduction 1 ALGEBRAICALLY TRIVIAL, BUT TOPOLOGICALLY NON-TRIVIAL MAP HONG GYUN KIM Abstract. I studied the construction of an algebraically trivial, but topologically non-trivial map by Hopf map p : S 3 S 2 and a

More information

The Van Kampen theorem

The Van Kampen theorem The Van Kampen theorem Omar Antolín Camarena Contents 1 The van Kampen theorem 1 1.1 Version for the full fundamental groupoid.................... 2 1.2 Version for a subset of the base points.....................

More information

FREE GROUPS AND GEOMETRY. Group 24 Supervisor: Professor Martin Liebeck. Contents

FREE GROUPS AND GEOMETRY. Group 24 Supervisor: Professor Martin Liebeck. Contents FREE GROUPS AND GEOMETRY P. D. BALSDON, A. HORAWA, R. M. LENAIN, H. YANG Group 24 Supervisor: Professor Martin Liebeck Contents Introduction 1 1. Free groups and free products 2 2. Subgroups of free groups

More information

Topological K-theory

Topological K-theory Topological K-theory Robert Hines December 15, 2016 The idea of topological K-theory is that spaces can be distinguished by the vector bundles they support. Below we present the basic ideas and definitions

More information

FUNDAMENTAL GROUPS AND THE VAN KAMPEN S THEOREM

FUNDAMENTAL GROUPS AND THE VAN KAMPEN S THEOREM FUNDAMENTAL GROUPS AND THE VAN KAMPEN S THEOREM ANG LI Abstract. In this paper, we start with the definitions and properties of the fundamental group of a topological space, and then proceed to prove Van-

More information

Minimal free resolutions that are not supported by a CW-complex.

Minimal free resolutions that are not supported by a CW-complex. Minimal free resolutions that are not supported by a CW-complex. Mauricio Velasco Department of Mathematics, Cornell University, Ithaca, NY 4853, US Introduction The study of monomial resolutions and their

More information

4 CONNECTED PROJECTIVE-PLANAR GRAPHS ARE HAMILTONIAN. Robin Thomas* Xingxing Yu**

4 CONNECTED PROJECTIVE-PLANAR GRAPHS ARE HAMILTONIAN. Robin Thomas* Xingxing Yu** 4 CONNECTED PROJECTIVE-PLANAR GRAPHS ARE HAMILTONIAN Robin Thomas* Xingxing Yu** School of Mathematics Georgia Institute of Technology Atlanta, Georgia 30332, USA May 1991, revised 23 October 1993. Published

More information

Topological properties

Topological properties CHAPTER 4 Topological properties 1. Connectedness Definitions and examples Basic properties Connected components Connected versus path connected, again 2. Compactness Definition and first examples Topological

More information

CW complexes. Soren Hansen. This note is meant to give a short introduction to CW complexes.

CW complexes. Soren Hansen. This note is meant to give a short introduction to CW complexes. CW complexes Soren Hansen This note is meant to give a short introduction to CW complexes. 1. Notation and conventions In the following a space is a topological space and a map f : X Y between topological

More information

Groups Subgroups Normal subgroups Quotient groups Homomorphisms Cyclic groups Permutation groups Cayley s theorem Class equations Sylow theorems

Groups Subgroups Normal subgroups Quotient groups Homomorphisms Cyclic groups Permutation groups Cayley s theorem Class equations Sylow theorems Group Theory Groups Subgroups Normal subgroups Quotient groups Homomorphisms Cyclic groups Permutation groups Cayley s theorem Class equations Sylow theorems Groups Definition : A non-empty set ( G,*)

More information

Math 752 Week s 1 1

Math 752 Week s 1 1 Math 752 Week 13 1 Homotopy Groups Definition 1. For n 0 and X a topological space with x 0 X, define π n (X) = {f : (I n, I n ) (X, x 0 )}/ where is the usual homotopy of maps. Then we have the following

More information

Geometry and Topology, Lecture 4 The fundamental group and covering spaces

Geometry and Topology, Lecture 4 The fundamental group and covering spaces 1 Geometry and Topology, Lecture 4 The fundamental group and covering spaces Text: Andrew Ranicki (Edinburgh) Pictures: Julia Collins (Edinburgh) 8th November, 2007 The method of algebraic topology 2 Algebraic

More information

CW-complexes. Stephen A. Mitchell. November 1997

CW-complexes. Stephen A. Mitchell. November 1997 CW-complexes Stephen A. Mitchell November 1997 A CW-complex is first of all a Hausdorff space X equipped with a collection of characteristic maps φ n α : D n X. Here n ranges over the nonnegative integers,

More information

On on a conjecture of Karrass and Solitar

On on a conjecture of Karrass and Solitar On on a conjecture of Karrass and Solitar Warren Dicks and Benjamin Steinberg December 15, 2015 1 Graphs 1.1 Definitions. A graph Γ consists of a set V of vertices, a set E of edges, an initial incidence

More information

THE FUNDAMENTAL GROUP AND SEIFERT-VAN KAMPEN S THEOREM

THE FUNDAMENTAL GROUP AND SEIFERT-VAN KAMPEN S THEOREM THE FUNDAMENTAL GROUP AND SEIFERT-VAN KAMPEN S THEOREM KATHERINE GALLAGHER Abstract. The fundamental group is an essential tool for studying a topological space since it provides us with information about

More information

THE COMPLEX OF FREE FACTORS OF A FREE GROUP Allen Hatcher* and Karen Vogtmann*

THE COMPLEX OF FREE FACTORS OF A FREE GROUP Allen Hatcher* and Karen Vogtmann* THE COMPLEX OF FREE FACTORS OF A FREE GROUP Allen Hatcher* and Karen Vogtmann* ABSTRACT. We show that the geometric realization of the partially ordered set of proper free factors in a finitely generated

More information

Math 6510 Homework 10

Math 6510 Homework 10 2.2 Problems 9 Problem. Compute the homology group of the following 2-complexes X: a) The quotient of S 2 obtained by identifying north and south poles to a point b) S 1 (S 1 S 1 ) c) The space obtained

More information

Algebraic Topology. Len Evens Rob Thompson

Algebraic Topology. Len Evens Rob Thompson Algebraic Topology Len Evens Rob Thompson Northwestern University City University of New York Contents Chapter 1. Introduction 5 1. Introduction 5 2. Point Set Topology, Brief Review 7 Chapter 2. Homotopy

More information

Tree-adjoined spaces and the Hawaiian earring

Tree-adjoined spaces and the Hawaiian earring Tree-adjoined spaces and the Hawaiian earring W. Hojka (TU Wien) Workshop on Fractals and Tilings 2009 July 6-10, 2009, Strobl (Austria) W. Hojka (TU Wien) () Tree-adjoined spaces and the Hawaiian earring

More information

Partial cubes: structures, characterizations, and constructions

Partial cubes: structures, characterizations, and constructions Partial cubes: structures, characterizations, and constructions Sergei Ovchinnikov San Francisco State University, Mathematics Department, 1600 Holloway Ave., San Francisco, CA 94132 Abstract Partial cubes

More information

L E C T U R E N O T E S O N H O M O T O P Y T H E O R Y A N D A P P L I C AT I O N S

L E C T U R E N O T E S O N H O M O T O P Y T H E O R Y A N D A P P L I C AT I O N S L A U R E N T I U M A X I M U N I V E R S I T Y O F W I S C O N S I N - M A D I S O N L E C T U R E N O T E S O N H O M O T O P Y T H E O R Y A N D A P P L I C AT I O N S i Contents 1 Basics of Homotopy

More information

HOMOTOPY THEORY ADAM KAYE

HOMOTOPY THEORY ADAM KAYE HOMOTOPY THEORY ADAM KAYE 1. CW Approximation The CW approximation theorem says that every space is weakly equivalent to a CW complex. Theorem 1.1 (CW Approximation). There exists a functor Γ from the

More information

Notas de Aula Grupos Profinitos. Martino Garonzi. Universidade de Brasília. Primeiro semestre 2018

Notas de Aula Grupos Profinitos. Martino Garonzi. Universidade de Brasília. Primeiro semestre 2018 Notas de Aula Grupos Profinitos Martino Garonzi Universidade de Brasília Primeiro semestre 2018 1 Le risposte uccidono le domande. 2 Contents 1 Topology 4 2 Profinite spaces 6 3 Topological groups 10 4

More information

7.3 Singular Homology Groups

7.3 Singular Homology Groups 184 CHAPTER 7. HOMOLOGY THEORY 7.3 Singular Homology Groups 7.3.1 Cycles, Boundaries and Homology Groups We can define the singular p-chains with coefficients in a field K. Furthermore, we can define the

More information

Assignment 6; Due Friday, February 24

Assignment 6; Due Friday, February 24 Assignment 6; Due Friday, February 24 The Fundamental Group of the Circle Theorem 1 Let γ : I S 1 be a path starting at 1. This path can be lifted to a path γ : I R starting at 0. Proof: Find a covering

More information

Math 440 Problem Set 2

Math 440 Problem Set 2 Math 440 Problem Set 2 Problem 4, p. 52. Let X R 3 be the union of n lines through the origin. Compute π 1 (R 3 X). Solution: R 3 X deformation retracts to S 2 with 2n points removed. Choose one of them.

More information

AN INTRODUCTION TO THE FUNDAMENTAL GROUP

AN INTRODUCTION TO THE FUNDAMENTAL GROUP AN INTRODUCTION TO THE FUNDAMENTAL GROUP DAVID RAN Abstract. This paper seeks to introduce the reader to the fundamental group and then show some of its immediate applications by calculating the fundamental

More information

Fibre Bundles: Trivial or Not?

Fibre Bundles: Trivial or Not? Rijksuniversiteit Groningen Bachelor thesis in mathematics Fibre Bundles: Trivial or Not? Timon Sytse van der Berg Prof. Dr. Henk W. Broer (first supervisor) Prof. Dr. Jaap Top (second supervisor) July

More information

(1) Let π Ui : U i R k U i be the natural projection. Then π π 1 (U i ) = π i τ i. In other words, we have the following commutative diagram: U i R k

(1) Let π Ui : U i R k U i be the natural projection. Then π π 1 (U i ) = π i τ i. In other words, we have the following commutative diagram: U i R k 1. Vector Bundles Convention: All manifolds here are Hausdorff and paracompact. To make our life easier, we will assume that all topological spaces are homeomorphic to CW complexes unless stated otherwise.

More information

Folding graphs and applications, d après Stallings

Folding graphs and applications, d après Stallings Folding graphs and applications, d après Stallings Mladen Bestvina Fall 2001 Class Notes, updated 2010 1 Folding and applications A graph is a 1-dimensional cell complex. Thus we can have more than one

More information

COMBINATORICS OF POLYNOMIAL ITERATIONS

COMBINATORICS OF POLYNOMIAL ITERATIONS COMBINATORICS OF POLYNOMIAL ITERATIONS VOLODYMYR NEKRASHEVYCH Abstract. A complete description of the iterated monodromy groups of postcritically finite backward polynomial iterations is given in terms

More information

Notes on Geometry of Surfaces

Notes on Geometry of Surfaces Notes on Geometry of Surfaces Contents Chapter 1. Fundamental groups of Graphs 5 1. Review of group theory 5 2. Free groups and Ping-Pong Lemma 8 3. Subgroups of free groups 15 4. Fundamental groups of

More information

Tame definable topological dynamics

Tame definable topological dynamics Tame definable topological dynamics Artem Chernikov (Paris 7) Géométrie et Théorie des Modèles, 4 Oct 2013, ENS, Paris Joint work with Pierre Simon, continues previous work with Anand Pillay and Pierre

More information

COVERING SPACES TEJASI BHATNAGAR

COVERING SPACES TEJASI BHATNAGAR COVERING SPACES TEJASI BHATNAGAR Abstract. We will study the concept of the fundamental group of a topological space. In addition, we will also study covering spaces of a topological space and its relation

More information

Lemma 1.3. The element [X, X] is nonzero.

Lemma 1.3. The element [X, X] is nonzero. Math 210C. The remarkable SU(2) Let G be a non-commutative connected compact Lie group, and assume that its rank (i.e., dimension of maximal tori) is 1; equivalently, G is a compact connected Lie group

More information

THE SEIFERT-VAN KAMPEN THEOREM

THE SEIFERT-VAN KAMPEN THEOREM THE SEIFERT-VAN KAMPEN THEOREM ALESSANDRO BIGAZZI Abstract. We propose a detailed self-contained survey of the Seifert- Van Kampen s theorem, along with a brief summary of topological and algebraic preliminaries,

More information

SOME EXERCISES. This is not an assignment, though some exercises on this list might become part of an assignment. Class 2

SOME EXERCISES. This is not an assignment, though some exercises on this list might become part of an assignment. Class 2 SOME EXERCISES This is not an assignment, though some exercises on this list might become part of an assignment. Class 2 (1) Let C be a category and let X C. Prove that the assignment Y C(Y, X) is a functor

More information

MATH 3030, Abstract Algebra Winter 2012 Toby Kenney Sample Midterm Examination Model Solutions

MATH 3030, Abstract Algebra Winter 2012 Toby Kenney Sample Midterm Examination Model Solutions MATH 3030, Abstract Algebra Winter 2012 Toby Kenney Sample Midterm Examination Model Solutions Basic Questions 1. Give an example of a prime ideal which is not maximal. In the ring Z Z, the ideal {(0,

More information