Topologie en Meetkunde, 2013
Schedule
The hoorcollege of
WISB341 is on mondays from 11:00to 12:45 uur, in room BBL 169
in room MIN 211, except for week 22 (=27 may) where the class will be held in MIN 012.
Classes are held in English.
The werkcollege is wednesday from 9:00 to 10:45 in room BBL 169
Teachers
The main teacher is André Henriques.
The first week, I will be out of town and Gil Cavalcanti will replace me.
The assistant is Felix Denis (F.L.Denis@students.uuuu.nlnl)
Dictaat
We will start by following these notes on the classification of surfaces
and then we will follow the first few chapters of Hatcher's book.
.
Homework
There will be homework, to be handed in during the werkcollege 9 days after the day when it is posted on the website.
The homework counts for 10% ofthe final grade.
Exams
There are two exams for this class: one written exam halfway,
and one oral exam at the end. Both count for 45% of the final grade.
Exam questions for the oral exam:
• Define "manifold". Give some examples and counterexamples.
• State the classification of surfaces. Explain the terms "conneced sum", "orientable" and "Euler characteristic".
• Define "CWcomplex" with particular emphasis on the topology. Give some examples and counterexamples.
• Define "homotopy equivalence", and prove that it is an equivalence relation. Give some examples.
• Define π_{1}(X) and compute it for as many spaces as you can.
• State van Kampen's theorem and sketch its proof.
• Define "cover". Give some examples and counterexamples. State some classification theorems about covers.
• Define "universal cover" and explain its universal property.
• State and prove the path lifting property for covers.
• Define "homology". Compute it for some familiar examples.
The oral exam will take place in room 613 of the Hans Freudenthalgebouw. Here is the schedule:
Show up at 
Monday 24^{th} 
Tuesday 25^{th} 
8:00  Mohamed Hashi 

8:40  Wojciech Bizon 
Oscar van der Heide 
9:20  Aleksander Gavus 
Nick Plantz 
10:00  Remie Janssen 
JanWillem Buurlage 
10:40  Tami Welker 
Leonie van Steijn 
11:20  Tom Bannik 
Yiteng Dang 
12:30  Tara Drwenski 
Luuk Hendrikx 
13:10  Lauran Toussaint 
Joep van den Hoven 
13:50  Henri van den Pol 
Tim Coopmans 
14:30  Lucet Stefano 
Maxim van Oldenbeek 
15:10  Serop Lazarian 
Remco de Boer 
15:50  Michiel Tel 
Paul Scharf 
Material covered
Monday June 17th:
I finished the definition of homology, and introduced the following notions on the way:
the standard nsimplex, a singular nsimplex, the group of nchains, the group of ncycles, the group of nboundaries, the nth homology group. I computed the homology of S^{1}, of S^{1}×S^{1}, and of the Klein Bottle using triangulations of those manifolds (this is treated under the name "simplicial homology" in the book).
Monday June 10th:
The classification of connected covers of X via conjugacy classes of subgroups of the fundamental group of X.
The definition of higher homotopy groups, and the proof that they are abelian.
The (beginning of the) definition of homology.
Homework, hand in Wed June 12th (at the beginning of the class):
Consider the CWcomplex X with one 0cell, two 1cells a and b, and three 2cells A B C with respective attaching map a^{2}, b^{2}, and aba^{1}b^{1}.
What is the order of the fundamental group of X?
Make a complete list of all connected covers of X (up to isomorphism).
For each cover in the list, make a complete description of its natural CWcomplex structure (how many cells of each dimension, and what are the attaching maps). Here, the "natural CWcomplex structure" is the one such that the covering map sends (interiors of) cells homeomorphically to (interiors of) cells.
Identify the universal cover in the list of all covers.
Wednesday June 5th:
Exercises from the book (chapter 1, page 79):
10, 14. • Let F_{2} be the free group on two generators.
An F_{2}set (that is, a set with an action of F_{2}) is the same thing as a set equipped with two permutations.
Given a set S equipped with two permutations σ and τ, construct a cover of SvS^{1} such that p^{1}(*)=S, and such that the action of the two loops in SvS^{1} recovers the two given permutations.
Apply that construction to the following concrete cases:
• S={1,2}, σ=(1,2), τ=e;
• S={1,2,3}, σ=(1,2), τ=(1,2,3);
• S={1,2,3}, σ=(1,2,3), τ=(1,2,3);
• S={1,2,3}, σ=(1,2), τ=(2,3);
• An action of ℤ^{2} on a set S is the same thing as the data of two permutations σ and τ that commute: στ=τσ.
Given two such permutations, construct a cover of S×S^{1} such that the action of the the two loops in S×S^{1} recovers the two given permutations.
Apply the construction to the following concrete cases:
• S={1,2}, σ=(1,2), τ=e;
• S={1,2,3}, σ=(1,2), τ=(1,2);
• S={1,2,3}, σ=(1,2,3), τ=(1,2,3);
• S={1,2,3}, σ=(1,2,3), τ=(1,3,2);
Monday June 3st:
I recalled the definition of universal cover. I stated and proved the universal property of universal covers.
I proved that universal covers are always simply connected.
I recalled what it means for a group to act on a set, and I stated the theorem according to which there is an equivalence of categories between the category of Gsets (the category of sets equipped with an action of G  here, G is the fundamental group of X), and the category of covers of X.
Wednesday May 29th:
Exercises from the book (chapter 1, page 79): 4, 8, 9 Extra hints: a. there are no homomorphisms from a finite group into the integers. b. Construct a continuous map from X to the universal cover of S^{1} (as defined in class). • Describe the universal cover of P^{2}.
• Prove that there is an action of π_{1}(X) on the universal cover of X, and that this action is free and transitive on the preimage of the base point. In particular, this shows that the degree of the universl cover is equal to the order of the fundamental group.
Monday May 27th:
Proof of the path lifting property.
The definition of the universal cover (I defined it as the space whose points are equivalence classes of paths starting from the base point), and some examples: universal cover of torus, of Klein bottle, of genus two surface, of wedge of two circles.
Homework, hand in Wed May 29nd (at the beginning of the class):
Given a pointed space X, given a group G, and given a group homomorphism φ:G→ π_{1}(X),
show that it is always possible to find a pointed space Y and a basepoint preserving map f:Y → X
such that the induced map f_{*}:π_{1}(Y)→π_{1}(X) is equal to φ.
Wednesday May 15th:
Exercises from the book (chapter 1, page 52): 16, 17, 19, 20
(chapter 1, page 79):1, 2, 6.
• Make a complete list of all double covers of the wedge of two circles.
• Make a complete list of all covers of S^{1}.
Monday May 13th:
Fundamental group of an infinite wedge fo circles.
Finished the proof of the fact that the presentation of the fundamental group
can be read off from from the 1cells and 2cells of a CW complex.
Covers: definition. Examples of double covers of S^{1} and of S^{1}×S^{1}.
Wednesday May 8th:
Exercises from the book (chapter 1, page 52): 3, 4, 6, 7, 8, 14. • Construct a space whose π_{1} is a cyclic group of order 3.
• Using the isomorphism SL_{2}(ℤ) = ℤ/4*_{ℤ/2} ℤ/6, construct a space whose π_{1} is SL_{2}(ℤ).
Monday May 6th:
Finished the proof of van Kampen's theorem.
Examples of applications of van Kampen's theorem: computation of π_{1} of the wedge of two circles, and computation of
π_{1} of the torus.
Homework, hand in Wed May 8th (at the beginning of the class):
• Prove that the fundamental group of a finite connected graph is a free group on n generators,
where n is one minus the Euler characteristic of the graph.
Wednesday May 1st:
• finish the exercises from last week that you didn't do.
• SL_{2}(ℤ) is the group of 2x2 matrices with integer coefficients and determinant 1.
Sow that there are subgroups of SL_{2}(ℤ) isomoprhic to ℤ/4 and ℤ/6.
Show that they induce a homomorphism (indeed an isomorphism  but that's hard) from the amalgamated free product ℤ/4*_{ℤ/2} ℤ/6 to SL_{2}(ℤ).
• Use van Kampen's theorem to compute the fundamental group of P^{2}.
• Use van Kampen's theorem to prove that the fundamental group of a wedge of two circles (that is, two circles glued at one point) is a free group on two generators.
Monday April 29th:
Presentations of groups. Free products of groups. Amalgamated free products.
The statement of van Kampen's theorem (and half of the proof).
Wednesday April 24th:
Exercises from the book (chapter 1, page 38): 2, 3, 6, 10, 12, 18
• Use the computation of π_{1}(S^{1})=ℤ to show that every nonconstant polynomial with coefficients in ℂ has a root in ℂ (this is Theorem 1.8 in Hatcher's book).
• Prove that ℝ^{2} and ℝ^{n} (n>2) are not homeomorphic.
Monday April 22nd:
Computation of the fundamental group of S^{n} for n>2, and for n=1.
Statement without proof: how to get a presentation of π_{1}(X) for X a CW complex by taking one generator per 1cell and one relation per 2cell: the attaching maps ofthe 2cells tell you what relations to impose between the generators.
Wednesday April 10th:
Preparation for the exam. Here's a practice exam.
Monday April 8th:
Definition of the fundamental group of a pointed topological space. It's a group.
The homomorphism π_{1}(X,x) → π_{1}(Y,f(x)) induced by a continuous map f:X → Y.
π_{1} of a product is the product of the π_{1}'s. The isomorphism π_{1}(X,x) → π_{1}(X,y) induced by a path between x and y.
Wednesday March 27th:
• Show that the "infinite dimenisonal sphere" S^{∞}=⋃S^{n} (equipped with the CWcomplex topology) is contractible. Hint: show that it is homeomorphic to the "boundary" of an infinite dimensional cube, and use a straight line homotopy.
• Recall the "official" definition of CP^{n} as equivalence classes of points of C^{n+1}{0}.
Prove that CP^{n} is a manifold.
• Consider the map from the unit sphere in C^{n} to CP^{n1} given by f(z_{1},...,z_{n}) := [z_{1}:...:z_{n}:0] and let X:=CP^{n1}∪_{f} D^{2n}.
Prove that the space X is homeomorphic to CP^{n} (write down a formula for a map X→CP^{n}; prove that the formula defines a continuous map; show that it's a homeomorphism).
• The quaternions (H=Span_{R}{1,i,j,k})
form a noncommutative algebra in which division by nonzero elements makes sense.
Define HP^{n} as a quotient of H^{n+1}{0} and show that it is a manifold.
Show (using the same argument as for the case of CP^{n}) that HP^{n} is a cell complex with one cell in each dimension 0,4,8,...,4n.
• The octonions (O=Span_{R}{1,e_{1},...,e_{7}})
form a noncommutative and nonassociative algebra in which division by nonzero elements makes sense.
Show that the naive definition of OP^{n} as a quotient of O^{n+1} does not make sense (for n>2, OP^{n} indeed does not exist).
Show that the definition of OP^{2} by gluing a 16cell onto S^{8} does make sense.
Monday March 25th:
The definition of CW complexes. Many examples.
Homework, hand in Wed March 27th (at the beginning of the class):
Let X be a topological space, let f:S^{n1} → X be a continuous map, and let X∪_{f} D^{n} be the result of attaching an ndimensional cell along the map f. Prove that the inclusion of X into X∪_{f} D^{n} is an NDR (definition given in class).
Wednesday March 20th:
Consider the standard embedding of S^{1} into S^{3}: show that the open complement S^{3}S^{1} deformation retracts onto S^{1} (not the same S^{1}).
Prove that a torus minus a point is homotopy equivalent to a Klein bottle minus a point.
Prove that the notion of homotopy equivalence is compatible with the operation of taking the products of two spaces.
Let X:=D^{2}, and let f:S^{1} → X be the map z↦ z^{2} that goes "twice around the boundary": show that the resulting topological space X∪_{f} D^{2} is homotopy equivalent (but not homeomorphic) to S^{2}.
Study Bing's house with two rooms (definition in the book) and show that it's contractible.
Show that CP^{2} can be obtained by gluing a 4dimensional cell onto S^{2}.
Monday March 18th:
Proof that homotopy equivalence is an equivalence relation.
Definition of contractible. Definition of "defomation retract" and of "neighborhood defomation retract" (NDR).
Proof that if A⊂X is an NDR pair and A is contractible, then the projection map from X to X/A is a homotopy equivalence.
Definition of the operation of gluing cells.
Wednesday March 6th:
Prove that if M and N are surfaces, then χ(M#N)=χ(M)+χ(N)2.
Compute for every surface M the value of χ(M).
Write down a random word (say of length 20) as in exercise (*), and determine to which surface it corresponds.
Show that MB×D^{n2} is homeomorphic to the manifold D^{n1}×[0,1]/(x,0)~(r(x),1) that I defined in class.
Given an example of a closed nonorientable 3manifold.
Let r:S^{1}→S^{1} be the reflection along the xaxis; show that there exists a map f:S^{1}→KB such that f is homotopic to rof.
Show that {*} and D^{n} are homotopy equivalent.
Show that S^{1} and MB are homotopy equivalent.
Show that S^{n1} and ℝ^{n}\{0} are homotopy equivalent.
Show that the thetagraph (two vertices a and b, and three edges from a to b) is homotopy equivalent to the barbell graph (two vertices a and b, one loop from a to a, one loop from b to b, and one edge from a to b).
Monday March 4th:
Euler characteristic χ(M)=VE+F pseudoproof that χ(M) is an invariant of M.
Orientability: definition an nmanifold M is not orientable if it is possble to embed MB×D^{n2} in it.
Number of boundary components, Euler characteristic, and orientability form a full set of invariants for connected 2manifolds.
From Hatcher chapter 0: Homotopic maps. Homotopy equivalent spaces.
Homework, hand in Wed March 6th (at the beginning of the class):
Prove that ℂP^{2} := (ℂ^{3}{(0,0,0)})/(a,b,c)~(λa,λb,λc), λ∈ℂ,λ≠ 0 is a manifold.
Show that there is a way of embedding S^{2} into ℂP^{2} (hint: fix c=0) so that the complement is homeomorphic to an open 4ball {x∈ℝ^{4}:x<1}.
Wednesday Feb 27th:
Let T^{n}=S^{1}×...×S^{1} be the ndimensional torus.
Show that the two possible versions of the connected sum T^{n}#T^{n} (in one of them, we connect the two tori using a handle  in the other one, we use a crosshandle) are homeomorphic to each other.
Show that attaching a handle to an nsphere produces a manifold that is homeomoprhic to S^{n1}×S^{1}.
Identify which surface this is in the classification theorem.
How about these: a
b
c
d
e
f
g?
(note to Felix: use the beamer to show the images of those surfaces during the wercollege  try to open them in multiple windows so that they are all simultanously visible).
Monday Feb 25th:
The real projective plane P^{2}=ℝP^{2}, and the complex projective plane ℂP^{2}.
The operation of connected sum is not well defined: the difference between connecting two nmanifolds using a handle or using a crosshandle.
Example where the above problem shows up: the connected sum of two complex projective planes.
Lemma: crosshandle = two cross caps. Lemma: in the presence of a crosscap, we can trade a handle for a corsshandle.
The classification theorem of compact surfaces with boundary.
Homework, hand in Wed Feb 27th (at the beginning of the class):
Let M be a closed ndimensional manifold ("closed" means "without boundary"),
and let N be an ndimensional manifold whose boundary is S^{n1}.
Prove that N/(∂N~*) [by that, I mean the topological space obtained by crushing the whole boundary of N to a point] is homeomorphic to M if and only if and only if
N is homeomorphic to the open subset of M obtained by removing an open disc
(embedded in a way that is locally like the standard embedding of D^{n} in ℝ^{n}).
Wednesday Feb 20th:
Recall the classification of surfaces. Which surface does one get by gluing a hexagon according the the following pattern:
(*)
• aabcb^{1}c^{1}
• abcabc
• abccb^{1}a
• aabb^{1}c^{1}c^{1}.
Prove that the connected sum of a torus and a projective plane is the homeomorphic to the connected sum of three projective planes.
Show that by gluing two Möbius bands along their boundary, one gets a Klein bottle.
Show that the space obtained by collapsing the whole boundary of S^{1}x[0,1] to a point is not a manifold.
Monday Feb 18th:
Basic properties of compact spaces and of maps between them: the image of something compact is compact; inside a compact space closed <=> compact.
Various descriptions of P^{2}: as a quotient of S^{2}; as a quotient of D^{2}.
Various descriptions of the Klein bottle: as a quotient of [0,1]x[0,1]; as P^{2}#P^{2}.
Handles, crosshandles, and crosscaps.
Lemma: adding a crosshandle is the same as adding two crosscaps.
The standards way of building P^{2}#...#P^{2} by gluing the sides of a 2ngon.
The standards way of building T^{2}#...#T^{2} by gluing the sides of a 4ngon.
Classification theorem of surfaces: the statement.
Homework, hand in Wed Feb 20th (at the beginning of the class):
Prove that the following two constructions of the connected sum operation yield the same manifold up to homeomorphism.
Let M and N be ndimensional manifolds. Pick continuous embeddings f:D^{n}→M and g:D^{n}→N that are locally like the standard embedding of D^{n} into ℝ^{n}.
Let M^{o} be M minus the interior of f(D^{n}), and let N^{o} be N minus the interior of g(D^{n}).
We define X to be (M^{o}⊔N^{o})/f(x)~g(x) for x ∈ S^{n1},
and define Y to be (M^{o}⊔(S^{n1}×[0,1])⊔N^{o})/f(x)~(x,0),g(x)~(x,1) for x ∈ S^{n1}.
Prove that X and Y are homeomorphic to each other by exhibiting a map X→Y and proving that it is a homeomorphism.
[For those who don't know them, I recall some useful facts about compact spaces and continuous maps between them:
• If K is compact and f:K→X is continuous, then f(K) is compact.
• If K and L are compact spaces and f:K→L is a continuous map that is also a bijection, then its inverse f^{1}:L→K is automatically continuous.]
Wednesday Feb 13th:
• Show that for any manifold M, the connected sum of M with S^{n} is again M.
• Prove that the quotient of T^{2}=S^{1}× S^{1} by the equivalence relation
(x,y)~(±x,±y) is again homeomorphic to T^{2}.
• Prove that the quotient of D^{2} by the equivalence relation x~x for x∈∂D^{2} is the projective plane P^{2}.
• Show that S^{1}, T^{1}, and P^{1} are all the same manifold.
• Let M be a manifold with boundary. Prove that M⊔M/(m,0)~(m,1), m∈∂M is again a manifold, this time without boundary. This is called the "double" of M.
• Apply the doubling procedure to the solid torus (=the "interior" of usual embedding of the torus in ℝ^{3}), which manifold does one get as a result of this doubling procedure? (it can be expressed as the product of two known manifolds).
• Apply the doubling procedure to the Möbius band. Which wellknown surface does one get?
Monday Feb 11th:
Definition of compact. Examples of noncompact manifolds. Explanation of the term "paracompact".
Definition of manifolds with boundary. The operations of disjoint union, of cartesian product, and of connected sum.
Examples of manifolds: the sphere S^{n}, the torus T^{n}=S^{1}×...×S^{1}, projective space P^{n} = S^{n}/x~x, the disc D^{n}, the Möbius band, the Klein bottle.
Wednesday Feb 6th:...
Monday Feb 4th:
the definition of topological spaces, continuous maps and of homeomorphisms.
of the product topology,
of the subspace topology,
of the quotient topology (here I had to first recall equivalence relations and quotients of sets),
Definition of Hausdorff spaces, base of a topology and locally Euclidean spaces
Definition of (topological) manifold
Examples:
ℝ^{n},
open set of ℝ^{n},
S^{n} ⊂ ℝ^{n+1} with subspace topology: I parametrized S^{n} using stereographic projection and showed that these projections furnished the local Euclidean structure. Hausdorffness and second countability follow from the same property for ℝ^{n+1}.
Since second countability is a funny and difficult to grasp property I recalled that those who took manifolds last term saw that it was used to produce partitions of unity and that partitions of unity in turn implied that manifolds are metrizable, allowed us to define integrals and were used in the proof of the theorem stating that de Rham cohomology and Cech cohomology with real coefficients are isomorphic. Since half of the class did not take manifolds I hope that they got the message "second countability => nice things".
Results: midterm exam / oral exam / homework average // final grade
3470814: 4.5 / 
3688143: 9.75 / 9.5 / 9 // 9.5
F120138: 7.5 / 8 / 9.5 // 8.0
3688364: 6 / 6.5 / 7 // 6.5
3668983: 6.25 / 7.5 / 9.5 // 7.0
3695921: 6.5 / 5 / 8 // 6.0
3688356: 8.75 / 8.5 / 7.5 // 8.5
3892565: 6.5 / 8 / 8.5 // 7.5
F120139: 7 / 9 / 10 // 8.0
3345041: 7.75 / 10 / 9.5 // 9.0
3149420: 8.75 / 9.5 / 8 // 9.0
3684385: 7.25 / 8.5 / 9.5 // 8.0
3691373: 9.75 / 8 / 4 // 8.5
3587037: 8.5 / 9.5 / 7.5 // 9.0
3894347: 4.5 / 
3655792: 3.75 / 4 /  // 4.0
4032608: 5.5 / 7.5 / 9 // 7.0
3588904: 4.75 / 
3647978: 9.75 / 8.5 / 6.5 // 9.0
3379416: 4.75 / 
3989534: 7.5 / 8 / 9.5 // 8.0
3689239: 5.25 / 5 / 8 // 5.0
3683745: 7 / 4 /  // 5.0
3993466: 9 / 7 / 8 // 8.0
3704823: 6.75 / 6.5 / 5.5 // 6.5
3706915: 9.5 / 10 / 9.75 // 10.0
3701174: 5.25 / 
3590542: 5.25 / 8 / 6.5 // 6.5