Problem 1. Classify the covering spaces of the circle. Describe what they are.

Similar documents
SOLUTIONS TO THE FINAL EXAM

INTRODUCTION TO ALGEBRAIC TOPOLOGY. (1) Let k < j 1 and 0 j n, where 1 n. We want to show that e j n e k n 1 = e k n e j 1

Math 451, 01, Exam #2 Answer Key

Assignment 6; Due Friday, February 24

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

Part II. Algebraic Topology. Year

CLASSIFICATION OF GROUPS OF ORDER 60 Alfonso Gracia Saz

Homology of a Cell Complex

a b (mod m) : m b a with a,b,c,d real and ad bc 0 forms a group, again under the composition as operation.

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

Converse to Lagrange s Theorem Groups

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

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

Definitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations

FUNDAMENTAL GROUPS AND THE VAN KAMPEN S THEOREM. Contents

D-MATH Algebra I HS 2013 Prof. Brent Doran. Solution 3. Modular arithmetic, quotients, product groups

Introduction to. Riemann Surfaces. Lecture Notes. Armin Rainer. dim H 0 (X, L D ) dim H 0 (X, L 1 D ) = 1 g deg D

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

Abstract Algebra, Second Edition, by John A. Beachy and William D. Blair. Corrections and clarifications

To hand in: (a) Prove that a group G is abelian (= commutative) if and only if (xy) 2 = x 2 y 2 for all x, y G.

The Fundamental Group and The Van Kampen Theorem

Algebraic Structures Exam File Fall 2013 Exam #1

Math 215a Homework #1 Solutions. π 1 (X, x 1 ) β h

Section VI.33. Finite Fields

Name: Solutions Final Exam

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.

Lisbon school July 2017: eversion of the sphere

Riemann surfaces. 3.1 Definitions

7.3 Singular Homology Groups

X G X by the rule x x g

Algebraic Topology I Homework Spring 2014

Course of algebra. Introduction and Problems

MATH 2112/CSCI 2112, Discrete Structures I Winter 2007 Toby Kenney Homework Sheet 5 Hints & Model Solutions

Math 213br HW 3 solutions

Finite Fields. [Parts from Chapter 16. Also applications of FTGT]

Introduction to Topology

Notes on Systems of Linear Congruences

Math 120 HW 9 Solutions

Algebraic Topology Homework 4 Solutions

ALGEBRA I (LECTURE NOTES 2017/2018) LECTURE 9 - CYCLIC GROUPS AND EULER S FUNCTION

id = w n = w n (m+1)/2

BRAID GROUPS ALLEN YUAN. 1. Introduction. groups. Furthermore, the study of these braid groups is also both important to mathematics

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

Applications of Homotopy

Algebra Qualifying Exam Solutions January 18, 2008 Nick Gurski 0 A B C 0

QUALIFYING EXAM, Fall Algebraic Topology and Differential Geometry

3. Signatures Problem 27. Show that if K` and K differ by a crossing change, then σpk`q

6. Constructing hyperbolic manifolds

MATH 3030, Abstract Algebra FALL 2012 Toby Kenney Midyear Examination Friday 7th December: 7:00-10:00 PM

MATH 215 Final. M4. For all a, b in Z, a b = b a.

Supplementary Notes: Simple Groups and Composition Series

The Fundamental Group

MATH 310 Course Objectives

Congruences and Residue Class Rings

Problemen. x = 2X 3 y = 2Y 4

Math 210B: Algebra, Homework 4

Algebraic Topology M3P solutions 2

Problem 1.1. Classify all groups of order 385 up to isomorphism.

Topics in Representation Theory: Roots and Weights

arxiv: v2 [math.gr] 17 Dec 2017

Math 751 Week 6 Notes

THE FUNDAMENTAL GROUP AND BROUWER S FIXED POINT THEOREM AMANDA BOWER

AN INTRODUCTION TO THE FUNDAMENTAL GROUP

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

The Fundamental Group and Covering Spaces

NOTES ON FIBER BUNDLES

1 Moduli spaces of polarized Hodge structures.

GENERALIZED COVERING SPACES AND THE GALOIS FUNDAMENTAL GROUP

2 Lecture 2: Logical statements and proof by contradiction Lecture 10: More on Permutations, Group Homomorphisms 31

ABSTRACT ALGEBRA 1, LECTURES NOTES 5: SUBGROUPS, CONJUGACY, NORMALITY, QUOTIENT GROUPS, AND EXTENSIONS.

Probabilistic Group Theory

Prime and irreducible elements of the ring of integers modulo n

Definitions, Theorems and Exercises. Abstract Algebra Math 332. Ethan D. Bloch

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

Modern Computer Algebra

Chapter 4. Characters and Gauss sums. 4.1 Characters on finite abelian groups

Abstract Algebra FINAL EXAM May 23, Name: R. Hammack Score:

Groups of Prime Power Order with Derived Subgroup of Prime Order

Chapter 5. Modular arithmetic. 5.1 The modular ring

Modules over the noncommutative torus, elliptic curves and cochain quantization

1 Smooth manifolds and Lie groups

Basic Notions in Algebraic Topology 1

B Sc MATHEMATICS ABSTRACT ALGEBRA

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

SIMPLE CLOSED CURVES ON SURFACES WITH INTERSECTION NUMBER AT MOST ONE

Klein Bottles and Multidimensional Fixed Point Sets

0 Sets and Induction. Sets

T-duality & noncommutative geometry

Three-manifolds and Baumslag Solitar groups

CYCLICITY OF (Z/(p))

Math 120. Groups and Rings Midterm Exam (November 8, 2017) 2 Hours

S ps S qs S rs S 0s. N pqr = s. S 2 2g

Exercises on chapter 1

AN INTRODUCTION TO THE THEORY OF FIELD EXTENSIONS

Section III.15. Factor-Group Computations and Simple Groups

1. Algebra 1.7. Prime numbers

Section 15 Factor-group computation and simple groups

Spherical three-dimensional orbifolds

0.1 Universal Coefficient Theorem for Homology

x n y n d(x, y) = 2 n.

Transcription:

HOMEWORK 1

Problem 1. Classify the covering spaces of the circle. Describe what they are.

Problem 1. Classify the covering spaces of the circle. Describe what they are. Solution: The fundamental group of the circle is π 1 (S 1, 1) = Z.

Problem 1. Classify the covering spaces of the circle. Describe what they are. Solution: The fundamental group of the circle is The subgroups of this group are π 1 (S 1, 1) = Z. H = mz, m = 0, 1, 2, 3,...

Problem 1. Classify the covering spaces of the circle. Describe what they are. Solution: The fundamental group of the circle is The subgroups of this group are π 1 (S 1, 1) = Z. H = mz, m = 0, 1, 2, 3,... If m = 1, we obtain the trivial cover of the space by itself via a homeomorphism. If m = 0, we obtain the universal covering R with covering map p(x) = e 2πix.

For m 0, 1 we will construct we will construct directly a covering p : E m S 1 with p (π 1 (E m, e 0 )) = mz.

For m 0, 1 we will construct we will construct directly a covering p : E m S 1 with p (π 1 (E m, e 0 )) = mz. Take E m = S 1, and p : E m S 1, p(z) = z m.

For m 0, 1 we will construct we will construct directly a covering p : E m S 1 with p (π 1 (E m, e 0 )) = mz. Take E m = S 1, and p : E m S 1, p(z) = z m. Recall that the fundamental group of S 1 is π 1 (S 1, 1) = {[z k ] k Z} with [z k ] [z n ] = [z k+n ].

For m 0, 1 we will construct we will construct directly a covering p : E m S 1 with p (π 1 (E, e 0 )) = mz. Take E m = S 1, and p : E m S 1, p(z) = z m. Recall that the fundamental group of S 1 is π 1 (S 1, 1) = {[z k ] k Z} with [z k ] [z n ] = [z k+n ]. This implies that p : Z Z, is k mk. So p (Z) = mz. Hence the conclusion.

Problem 2. Show that the only covering spaces of the 2-dimensional torus are tori, cylinders and the plane. What about the n-dimensional case?

Problem 2. Show that the only covering spaces of the 2-dimensional torus are tori, cylinders and the plane. What about the n-dimensional case? Solution: The fundamental group of the torus is π 1 (S 1 S 1, (1, 1)) = π 1 (S 1, 1) π 1 (S 1, 1) = Z Z.

Problem 2. Show that the only covering spaces of the 2-dimensional torus are tori, cylinders and the plane. What about the n-dimensional case? Solution: The fundamental group of the torus is π 1 (S 1 S 1, (1, 1)) = π 1 (S 1, 1) π 1 (S 1, 1) = Z Z. Lemma. The subgroups of Z Z are of the form 1. the trivial subgroup, 2. free abelian groups with one generator (p, q), 3. free abelian groups with two generators (p, q) and (r, s) such that ps qr 0.

Proof of the lemma: Because we have a subgroup of a free abelian group, it is free abelian. Assume that it must have more than two generators.

Proof of the lemma: Because we have a subgroup of a free abelian group, it is free abelian. Assume that it must have more than two generators. By taking linear combintations with integer coefficients we can obtain an element of the form (p, q) with p the greatest common divisor of the generators. Add this element to the set of generators. The other generators can then be transformed into elements of the form (0, r) by subtracting multiples of (p, q).

Proof of the lemma: Because we have a subgroup of a free abelian group, it is free abelian. Assume that it must have more than two generators. By taking linear combintations with integer coefficients we can obtain an element of the form (p, q) with p the greatest common divisor of the generators. Add this element to the set of generators. The other generators can then be transformed into elements of the form (0, r) by subtracting multiples of (p, q). By taking algebraic combinations of the generators of the form (0, r) we can obtain an element of the form (0, s) where s is the greatest common divisor of the r s.

Proof of the lemma: Because we have a subgroup of a free abelian group, it is free abelian. Assume that it must have more than two generators. By taking linear combintations with integer coefficients we can obtain an element of the form (p, q) with p the greatest common divisor of the generators. Add this element to the set of generators. The other generators can then be transformed into elements of the form (0, r) by subtracting multiples of (p, q). By taking algebraic combinations of the generators of the form (0, r) we can obtain an element of the form (0, s) where s is the greatest common divisor of the r s. Then (p, q) and (0, s) generate the subgroup, a contradiction. The conclusion follows.

For each subgroup of Z Z we will construct a covering space. If the subgroup is trivial we obtain the universal covering space R 2 with covering map p : R 2 S 1 S 1, p(x, y) = (e 2πix, e 2πiy ).

For each subgroup of Z Z we will construct a covering space. If the subgroup is trivial we obtain the universal covering space R 2 with covering map p : R 2 S 1 S 1, p(x, y) = (e 2πix, e 2πiy ). If H is the subgroup generated by the element (p, q) the covering space is S 1 R, with covering map p(e 2πix, y) = (e 2πipx, e 2πi(qx+y) ).

For each subgroup of Z Z we will construct a covering space. If the subgroup is trivial we obtain the universal covering space R 2 with covering map p : R 2 S 1 S 1, p(x, y) = (e 2πix, e 2πiy ). If H is the subgroup generated by the element (p, q) the covering space is S 1 R, with covering map p(e 2πix, y) = (e 2πipx, e 2πi(qx+y) ). Indeed, note that p ([z]) = ([z p ], [z q ]), hence p (1) = (p, q) Z Z.

For each subgroup of Z Z we will construct a covering space. If the subgroup is trivial we obtain the universal covering space R 2 with covering map p : R 2 S 1 S 1, p(x, y) = (e 2πix, e 2πiy ). If H is the subgroup generated by the element (p, q) the covering space is S 1 R, with covering map p(e 2πix, y) = (e 2πipx, e 2πiqx+y ). Indeed, note that p ([z]) = ([z p ], [z q ]), hence p (1) = (p, q) Z Z. This implies that p (Z) = (p, q)z = H which solves the case of one generator.

If the subgroup has two generators (p, q) and (r, s) with ps rq 0, the corresponding covering space is S 1 S 1, with covering map p : S 1 S 1 S 1 S 1, p(z, w) = (z p w r, z q w s ).

If the subgroup has two generators (p, q) and (r, s) with ps rq 0, the corresponding covering space is S 1 S 1, with covering map p : S 1 S 1 S 1 S 1, p(z, w) = (z p w r, z q w s ). Indeed, p([z], [1]) = ([z p ], [z q ]) and p([1], [w]) = ([w] r, [w] s ).

If the subgroup has two generators (p, q) and (r, s) with ps rq 0, the corresponding covering space is S 1 S 1, with covering map p : S 1 S 1 S 1 S 1, p(z, w) = (z p w r, z q w s ). Indeed, p([z], [1]) = ([z p ], [z q ]) and p([1], [w]) = ([w] r, [w] s ). So p (1, 0) = (p, q) and p (0, 1) = (r, s), which shows that p (Z Z) is the subgroup generated by (p, q) and (r, s).

If the subgroup has two generators (p, q) and (r, s) with ps rq 0, the corresponding covering space is S 1 S 1, with covering map p : S 1 S 1 S 1 S 1, p(z, w) = (z p w r, z q w s ). Indeed, p([z], [1]) = ([z p ], [z q ]) and p([1], [w]) = ([w] r, [w] s ). So p (1, 0) = (p, q) and p (0, 1) = (r, s), which shows that p (Z Z) is the subgroup generated by (p, q) and (r, s). Mission accomplished.

Problem 3. Let G be a topological group and p : ( G, ẽ) (G, e) a covering map, where e is the identity element. Show that there is a unique multiplication on G with ẽ the identity element, such that p is a group homomorphism.

Problem 3. Let G be a topological group and p : ( G, ẽ) (G, e) a covering map, where e is the identity element. Show that there is a unique multiplication on G with ẽ the identity element, such that p is a group homomorphism. Solution: Recall that the covering p : ( G, ẽ) (G, e) is obtained by a standard procedure in which the elements of G are equivalence classes of paths in G.

Problem 3. Let G be a topological group and p : ( G, ẽ) (G, e) a covering map, where e is the identity element. Show that there is a unique multiplication on G with ẽ the identity element, such that p is a group homomorphism. Solution: Recall that the covering p : ( G, ẽ) (G, e) is obtained by a standard procedure in which the elements of G are equivalence classes of paths in G. More precisely, one considers paths in G starting at e modulo the equivalence relation α β if and only if α(1) = β(1) and [α β] H where H = p(π 1 ( G, ẽ)). We denote by ˆα the equivalence class of α.

Define the multiplication on G by ˆα ˆβ = ˆγ where the path γ is defined by γ(t) = α(t) β(t).

Define the multiplication on G by where the path γ is defined by ˆα ˆβ = ˆγ γ(t) = α(t) β(t). Associativity follows from the pointwise associativity of G, the identity element is the constant path at ẽ, and ˆα 1 is the equivalence class of the path α(t) 1, t [0, 1]. Done.

Problem 4. Show that if the action of the group of deck transformations in one fiber is transitive, then its action in every fiber is transitive.

Problem 4. Show that if the action of the group of deck transformations in one fiber is transitive, then its action in every fiber is transitive.

Problem 4. Show that if the action of the group of deck transformations in one fiber is transitive, then its action in every fiber is transitive. Solution: Let p : E B be the covering in question. We assume that the action of the group of deck transformations is transitive in some fiber p 1 (b 0 ) and let us show that it is transitive in some other fiber p 1 (b 0 ).

Problem 4. Show that if the action of the group of deck transformations in one fiber is transitive, then its action in every fiber is transitive. Solution: Let p : E B be the covering in question. We assume that the action of the group of deck transformations is transitive in some fiber p 1 (b 0 ) and let us show that it is transitive in some other fiber p 1 (b 0 ). Take e 0 p 1 (b 0 ) and e 0 p 1 (b 0 ) and consider some path α in E from e 0 to e 0. For every e p 1 (b 0 ), the path p(α) has a unique lift that starts at e.

Problem 4. Show that if the action of the group of deck transformations in one fiber is transitive, then its action in every fiber is transitive. Solution: Let p : E B be the covering in question. We assume that the action of the group of deck transformations is transitive in some fiber p 1 (b 0 ) and let us show that it is transitive in some other fiber p 1 (b 0 ). Take e 0 p 1 (b 0 ) and e 0 p 1 (b 0 ) and consider some path α in E from e 0 to e 0. For every e p 1 (b 0 ), the path p(α) has a unique lift that starts at e. Moreover, every point in p 1 (b 0 ) is the endpoint of a unique such lift. Indeed, run p(α) backwards with b 0 its initial point and lift it to a path that starts at e. Then this path ends at some e in p 1 (b 0 ), and reversing again we obtain a lift from e to e.

The deck transformations permute the paths that are lifts of p(α), and because they act transitively on the initial points, by the unique lifting theorem they act transitively on the paths (this is because each path is uniquely determined by its starting point).

The deck transformations permute the paths that are lifts of p(α), and because they act transitively on the initial points, by the unique lifting theorem they act transitively on the paths (this is because each path is uniquely determined by its starting point). It follows that the group of deck transformations acts transitively on the endpoints, and we are done.

Problem 5. Find the universal covering space of the figure eight. Compute the fundamental group of figure eight.

Problem 5. Find the universal covering space of the figure eight. Compute the fundamental group of figure eight. Solution: We need to learn a little bit more, so let us get back to the theory.