SOME EXERCISES. This is not an assignment, though some exercises on this list might become part of an assignment. Class 2
|
|
- Mervyn Sullivan
- 5 years ago
- Views:
Transcription
1 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 C(, X) : C op Sets. (2) Let G be a group and B G be a category with one object whose morphisms B G (, ) = G. Given a group homomorphism f : G H, use it to construct a functor B G B H. (3) Show that the data of a functor B G Sets is the same as that of a G set X. (4) Let C be a groupoid. Prove that C(x, x) is a group under composition. Suppose that x and y are such that C(x, y). Prove that C(x, x) = C(y, y) as groups. (5) Give an example of a category with three objects and exactly five non-identity morphisms. Give an example of a category with two objects and countably many morphisms. Class 3 (1) Let I be the category: 0 1 and F, G : C D. functor: Show that the data of a natural transformation is equivalent to a η : C I D that satisfies η(x, 0) = F (X) and η(x, 1) = G(X). For this reason, a natural transformation is a kind of categorical homotopy. (2) (MacLane) C is a subcategory of C if obj(c) obj(c ) and for any X and Y in C, C(X, Y ) C (X, Y ). It is a full-subcategory if C(X, Y ) = C (X, Y ). Let C be a full subcategory of C, F, G : D C be functors and ι : C C be the functor defined by the inclusion. Prove that Nat(F, G) = Nat(iF, ig) where Nat(F, G) is the set of natural transformations from F to G. (3) What is the pushout in groups, abelian groups and commutative rings? 1
2 2 SOME EXERCISES Class 4 (1) (a) Let C = Ab. Describe the limit and the colimit of a diagram with shape: (These are called equalizers and coequalizers respectively.) (b) In the category of Ab, prove that lim A n n is isomorphic to the kernel of s A n A n n n where s(..., a n,..., a 2, a 1, a 0 ) = (..., a n i(a n+1 ),..., a 2 i(a 3 ), a 1 i(a 2 ), a 0 i(a 1 )). Here, i : A n+1 A n denote the maps in the inverse limit diagram. Describe this an equalizer. (c) In the category of Ab, prove that lim A n n is isomorphic to the cokernel of s A n n n where s(a n ) = a n i(a n ). Here, i : A n A n+1 denote the maps in the direct limit diagram. Describe this as a coequalizer. (2) Describe the colimit of of the following direct systems in the category of abelian groups. (a) Z p Z p Z... Z p Z... A n (b) Z/p p Z/p 2 p Z/p 3... Z/p n p Z/p n+1... (3) Let CX = (X I)/(X {0}). (a) Describe CX as a pushout. (b) Let i : X CX be the map i 1 : X X I, i 1 (x) = (x, 1) followed by the quotient X I CX. Prove that CX. (c) Describe the following pushouts:
3 SOME EXERCISES 3 (i) S 1 i (ii) S 1 i CS 1 (d) Conclude that the pushout construction is not homotopy invariant. (4) Let I = [0, 1] have base point 0. Let P X = X I = Map (I, X) with base point the constant map at the base point of X. Let p 1 : X I X be p 1 (f) = f(1). (a) Describe ΩX = Map (S 1, X) as a pull-back. (b) Prove that P X. (c) Use this to explain why the pull-back construction is not homotopy invariant. (5) (a) Describe X Y as a pushout. (b) Give a bijection Map (X Y, Z) Map (X, Map (Y, Z)). Class 5 (1) Let S n denote the one-point compactification of R n. Explicitly, this is the set R n { } topologized so that the complements of compact sets in R n are open. (You can think of these complements as neighborhoods of ). (a) This is not an abuse of notation, i.e. S n is homeomorphic to the subspace of R n+1 consisting of unit vectors. You can try to show this using stereographic projection if you want, or just skip to the next part. (b) Write down a map S n S m S n+m and show it s a homeomorphism. (This should be easier to do with the one-point compactification definition than with the unit vector definition.) (c) More generally, if V and W are vector spaces, we can define the one-point compactifications S V and S W in the same way. Show that, in this language, we can rewrite (b) as a natural homeomorphism S V S W = S V W. (2) (a) Prove the following lemma:
4 4 SOME EXERCISES Lemma 0.1 (Eckman-Hilton argument). Let X be a set and let, : X X X be two unital binary operations with the same unit e X. Suppose that (a b) (c d) = (a c) (b d) Then = and the operation is both commutative and associative. (b) Let Q be a H cogroup and W be an H group. Prove that the two group multiplications on [Q, W ] satisfy the hypotheses of the Eckman-Hilton argument. Class 6 (1) Prove that if W is an H space, then π 1 W is an abelian group. (2) Check that the map Map (ΣX, Y ) Map (X, ΩY ) defined as f f(x)(t) = f(x t) induces a group isomrophism [ΣX, Y ] [X, ΩY ] which is natural in both X and Y. (3) Let Z be path connected. Suppose that π n 1 Z = 0. For g : Y Z and S n 1 Y, g extends to a map Y f D n. (4) In the following problem, let S n 1 D n be the inclusion of the boundary, X X X X be the map (id ) ( id) and X X X be the fold map id id. For a based topological space X, let J 2 (X) = (X X)/((x, ) (, x)). That is, J 2 (X) is the push-out X X X. X X J 2 (X) Further, you may use the fact that D 2n = I 2n = D n D n and other such standard homeomorphisms without proof. (a) Describe S n S n as a CW-complex obtained from S n S n by attaching a single 2n cell. Exhibit this as a pushout.
5 SOME EXERCISES 5 (b) Use your construction in (b) to give J 2 (S n ) the structure of a CW -complex with one n cell and one 2n cell. (c) Show that S n is an H-space if and only if the attaching map of the 2n-cell of J 2 (S n ) is null-homotopic. Class 8 (1) Let X = {0, 1} with the trivial topology. Let A = {0}. Show that the inclusion A X is a cofibration whose image is not closed. (2) (a) Assume that L is a locally compact topological space. Consider a pushout U g V f k W j W U V. Prove that U L g id V L f id k id W L j id (W U V ) L. is a pushout. (b) Use (a) to conclude that (Y f X) I = (Y I) f id (X I). Class 9 (1) Let X f Y. Prove that Y M f is a cofibration. (2) Let A i X be a cofibration. Prove that A Y i id Y X Y is a cofibration. (3) Let SX = (X I)/(X {0} X {1}) and ΣX = (X I)/(X {0} X {1} I) Prove that if X is well-pointed, the natural map SX ΣX is a homotopy equivalence. Class 11 (1) There are homeomorphism ΣC f = CΣf = C Σf.
6 6 SOME EXERCISES Class 12 p 3 p 2 p 1 f (1) For P p2 Pp1 Pf X Y, prove that the following commutes up to homotopy ΩX Ωf ΩY. P p2 p3 P p1 (2) Check that if E Y X Z is a pull-back, then so is E I Y I X I Z I Class 13 (1) Suppose that E p B is a fibration of unbased spaces. Let P p,b = {(e, α) α(1) = p(e), α(0) = b} E B I be the homotopy fiber over b B. Check that if b 1 and b 2 are in the same path component of B, then P p,b1 is homotopy equivalent to P p,b2. Conclude that the fiber over each points of the same path component are all homotopy equivalent. (2) ( Aguilar et al.) If p : E B is a fibration and B is contractible, prove that there is a homotopy equivalence φ : E B F such that the following diagram commutes E φ B F p B π B Class 15 (1) Define coequalizers as pushouts and colimits of diagrams... as coequalizers. Use this to define homotopy coequalizers and homotopy colimits of diagrams....
7 SOME EXERCISES 7 (2) Prove that if f is a fibration, then the natural map X Z Y E f,g which sends (x, z, y) to (x, α z, y), for α z the constant path at z, is a homotopy equivalence. (3) Define equalizers as pull-backs and limits of diagrams... as equalizers. Use this to define homotopy equalizers and homotopy limits of diagrams.... Class 16 (1) Let A X. An element [f] π q (X, A) is trivial (i.e. homotopic to the constant map at ) if and only if it has a representative f : (D q, S q 1 ) (X, A) such that f(d q ) A. (2) Prove that f : X Y is an n equivalence if and only if (M f, i 1 (X)) is a n connected. Class 18 (1) If A B X and (B, A) and (X, B) have HELP, prove that (X, A) has HELP. (1) Prove that given a commative diagram Class 19 S n 1 D n g f g Y Z e there exists g such that the upper triangle commutes and the lower triangle commutes up to a homotopy relative to S n 1, then π n Y Z is surjective and π n 1 Y Z is injective. Conclude that if this holds for all n, e is a weak equivalence. Class 20 (1) Construct spaces Y n and maps X i Y n such that i induces isomorphisms π π q Y n q X 0 q n = 0 q n + 1. (2) Any two maps f : X Y between CW complexes is homotopic to a cellular map. Any homotopic cellular maps are homotopic via a cellular homotopy, that is, a homotopy H : X I Y which is a cellular map. Class 22 (1) Prove that if X is n connected, then ΣX is n + 1 connected.
8 8 SOME EXERCISES (2) (See Concise, Chapter 10, Section 7) Identify maps that will make the following diagram commutative up to homotopy: ΣΩP f ΣΩX ΣΩY ΣP f ΣX ΩY P f X Y C f ΣX ΩY ΩC f ΩΣX ΩΣY ΩΣC f
FIRST ASSIGNMENT. (1) Let E X X be an equivalence relation on a set X. Construct the set of equivalence classes as colimit in the category Sets.
FIRST SSIGNMENT DUE MOND, SEPTEMER 19 (1) Let E be an equivalence relation on a set. onstruct the set of equivalence classes as colimit in the category Sets. Solution. Let = {[x] x } be the set of equivalence
More informationHOMOTOPY 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 informationHomework 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 informationMath 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 informationMath Homotopy Theory Hurewicz theorem
Math 527 - Homotopy Theory Hurewicz theorem Martin Frankland March 25, 2013 1 Background material Proposition 1.1. For all n 1, we have π n (S n ) = Z, generated by the class of the identity map id: S
More informationSECTION 2: THE COMPACT-OPEN TOPOLOGY AND LOOP SPACES
SECTION 2: THE COMPACT-OPEN TOPOLOGY AND LOOP SPACES In this section we will give the important constructions of loop spaces and reduced suspensions associated to pointed spaces. For this purpose there
More informationCLASS NOTES MATH 527 (SPRING 2011) WEEK 5
CLASS NOTES MATH 527 (SPRING 2011) WEEK 5 BERTRAND GUILLOU 1. Mon, Feb. 14 The same method we used to prove the Whitehead theorem last time also gives the following result. Theorem 1.1. Let X be CW and
More information7. Homotopy and the Fundamental Group
7. Homotopy and the Fundamental Group The group G will be called the fundamental group of the manifold V. J. Henri Poincaré, 895 The properties of a topological space that we have developed so far have
More informationTHE INFINITE SYMMETRIC PRODUCT AND HOMOLOGY THEORY
THE INFINITE SYMMETRIC PRODUCT AND HOMOLOGY THEORY ANDREW VILLADSEN Abstract. Following the work of Aguilar, Gitler, and Prieto, I define the infinite symmetric product of a pointed topological space.
More informationSMSTC 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 informationCW-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 information3. Categories and Functors We recall the definition of a category: Definition 3.1. A category C is the data of two collections. The first collection
3. Categories and Functors We recall the definition of a category: Definition 3.1. A category C is the data of two collections. The first collection is called the objects of C and is denoted Obj(C). Given
More information1. 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 informationExercises 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 informationMath 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 informationOperads. Spencer Liang. March 10, 2015
Operads Spencer Liang March 10, 2015 1 Introduction The notion of an operad was created in order to have a well-defined mathematical object which encodes the idea of an abstract family of composable n-ary
More informationDerived Algebraic Geometry I: Stable -Categories
Derived Algebraic Geometry I: Stable -Categories October 8, 2009 Contents 1 Introduction 2 2 Stable -Categories 3 3 The Homotopy Category of a Stable -Category 6 4 Properties of Stable -Categories 12 5
More informationTopological 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 informationA GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander
A GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander During the first three days of September, 1997, I had the privilege of giving a series of five lectures at the beginning of the School on Algebraic
More informationLECTURE 3: RELATIVE SINGULAR HOMOLOGY
LECTURE 3: RELATIVE SINGULAR HOMOLOGY In this lecture we want to cover some basic concepts from homological algebra. These prove to be very helpful in our discussion of singular homology. The following
More informationMATH730 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 informationVector Bundles and Projective Modules. Mariano Echeverria
Serre-Swan Correspondence Serre-Swan Correspondence If X is a compact Hausdorff space the category of complex vector bundles over X is equivalent to the category of finitely generated projective C(X )-modules.
More informationMTH 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 informationAlgebraic Topology exam
Instituto Superior Técnico Departamento de Matemática Algebraic Topology exam June 12th 2017 1. Let X be a square with the edges cyclically identified: X = [0, 1] 2 / with (a) Compute π 1 (X). (x, 0) (1,
More informationCategory Theory (UMV/TK/07)
P. J. Šafárik University, Faculty of Science, Košice Project 2005/NP1-051 11230100466 Basic information Extent: 2 hrs lecture/1 hrs seminar per week. Assessment: Written tests during the semester, written
More informationMATH 101A: ALGEBRA I PART A: GROUP THEORY 39
MAT 101A: ALEBRA I PART A: ROUP TEORY 39 11. Categorical limits (Two lectures by Ivan orozov. Notes by Andrew ainer and Roger Lipsett. [Comments by Kiyoshi].) We first note that what topologists call the
More informationCLASS NOTES MATH 527 (SPRING 2011) WEEK 6
CLASS NOTES MATH 527 (SPRING 2011) WEEK 6 BERTRAND GUILLOU 1. Mon, Feb. 21 Note that since we have C() = X A C (A) and the inclusion A C (A) at time 0 is a coibration, it ollows that the pushout map i
More informationAlgebraic Topology European Mathematical Society Zürich 2008 Tammo tom Dieck Georg-August-Universität
1 Algebraic Topology European Mathematical Society Zürich 2008 Tammo tom Dieck Georg-August-Universität Corrections for the first printing Page 7 +6: j is already assumed to be an inclusion. But the assertion
More informationGENERALIZED COVERING SPACE THEORIES
Theory and Applications of Categories, Vol. 30, No. 35, 2015, pp. 1132 1162. GENERALIZED COVERING SPACE THEORIES JEREMY BRAZAS Abstract. In this paper, we unify various approaches to generalized covering
More informationBasic 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 informationDirect Limits. Mathematics 683, Fall 2013
Direct Limits Mathematics 683, Fall 2013 In this note we define direct limits and prove their basic properties. This notion is important in various places in algebra. In particular, in algebraic geometry
More informationL 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 information28 The fundamental groupoid, revisited The Serre spectral sequence The transgression The path-loop fibre sequence 23
Contents 8 The fundamental groupoid, revisited 1 9 The Serre spectral sequence 9 30 The transgression 18 31 The path-loop fibre sequence 3 8 The fundamental groupoid, revisited The path category PX for
More informationAn introduction to derived and triangulated categories. Jon Woolf
An introduction to derived and triangulated categories Jon Woolf PSSL, Glasgow, 6 7th May 2006 Abelian categories and complexes Derived categories and functors arise because 1. we want to work with complexes
More informationGENERALIZED FREUDENTHAL SUSPENSION THEOREM AND DE-SUSPENDING AND DE-LOOPING CELLULAR INEQUALITIES
GENERALIZED FREUDENTHAL SUSPENSION THEOREM AND DE-SUSPENDING AND DE-LOOPING CELLULAR INEQUALITIES WOJCIECH CHACHÓLSKI 1. Introduction This paper is about a certain global approach toward unstable homotopy
More informationAdjunctions, the Stone-Čech compactification, the compact-open topology, the theorems of Ascoli and Arzela
Adjunctions, the Stone-Čech compactification, the compact-open topology, the theorems of Ascoli and Arzela John Terilla Fall 2014 Contents 1 Adjoint functors 2 2 Example: Product-Hom adjunction in Set
More informationOn Eilenberg-MacLanes Spaces (Term paper for Math 272a)
On Eilenberg-MacLanes Spaces (Term paper for Math 272a) Xi Yin Physics Department Harvard University Abstract This paper discusses basic properties of Eilenberg-MacLane spaces K(G, n), their cohomology
More informationCATEGORY THEORY. Cats have been around for 70 years. Eilenberg + Mac Lane =. Cats are about building bridges between different parts of maths.
CATEGORY THEORY PROFESSOR PETER JOHNSTONE Cats have been around for 70 years. Eilenberg + Mac Lane =. Cats are about building bridges between different parts of maths. Definition 1.1. A category C consists
More informationMath 757 Homology theory
Math 757 Homology theory March 3, 2011 (for spaces). Given spaces X and Y we wish to show that we have a natural exact sequence 0 i H i (X ) H n i (Y ) H n (X Y ) i Tor(H i (X ), H n i 1 (Y )) 0 By Eilenberg-Zilber
More informationMAT 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 informationPOSTNIKOV EXTENSIONS OF RING SPECTRA
POSTNIKOV EXTENSIONS OF RING SPECTRA DANIEL DUGGER AND BROOKE SHIPLEY Abstract. We give a functorial construction of k-invariants for ring spectra, and use these to classify extensions in the Postnikov
More informationHomework 3: Relative homology and excision
Homework 3: Relative homology and excision 0. Pre-requisites. The main theorem you ll have to assume is the excision theorem, but only for Problem 6. Recall what this says: Let A V X, where the interior
More informationA LOOPING DELOOPING ADJUNCTION FOR TOPOLOGICAL SPACES
Homology, Homotopy and Applications, vol. 19(1), 2017, pp.37 57 A LOOPING DELOOPING ADJUNCTION FOR TOPOLOGICAL SPACES MARTINA ROVELLI (communicated by Brooke Shipley) Abstract Every principal G-bundle
More informationHomotopy Theory of Topological Spaces and Simplicial Sets
Homotopy Theory of Topological Spaces and Simplicial Sets Jacobien Carstens May 1, 2007 Bachelorthesis Supervision: prof. Jesper Grodal KdV Institute for mathematics Faculty of Natural Sciences, Mathematics
More informationBoolean Algebras, Boolean Rings and Stone s Representation Theorem
Boolean Algebras, Boolean Rings and Stone s Representation Theorem Hongtaek Jung December 27, 2017 Abstract This is a part of a supplementary note for a Logic and Set Theory course. The main goal is to
More informationALGEBRAICALLY 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 informationFINITE SPECTRA CARY MALKIEWICH
FINITE SPECTRA CARY MALKIEWICH These notes were written in 2014-2015 to help me understand how the different notions of finiteness for spectra are related. I am usually surprised that the basics are not
More informationOn Maps from Loop Suspensions to Loop Spaces and the Shuffle Relations on the Cohen Groups. J. Wu
On Maps from Loop Suspensions to Loop Spaces and the Shuffle Relations on the Cohen Groups J. Wu Author address: Department of Mathematics, National University of Singapore, Singapore 117543, Republic
More informationFILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.
FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS. Let A be a ring, for simplicity assumed commutative. A filtering, or filtration, of an A module M means a descending sequence of submodules M = M 0
More informationRational homotopy theory
Rational homotopy theory Alexander Berglund November 12, 2012 Abstract These are lecture notes for a course on rational homotopy theory given at the University of Copenhagen in the fall of 2012. Contents
More informationEQUIVARIANT ALGEBRAIC TOPOLOGY
EQUIVARIANT ALGEBRAIC TOPOLOGY JAY SHAH Abstract. This paper develops the introductory theory of equivariant algebraic topology. We first define G-CW complexes and prove some basic homotopy-theoretic results
More information10 Excision and applications
22 CHAPTER 1. SINGULAR HOMOLOGY be a map of short exact sequences of chain complexes. If two of the three maps induced in homology by f, g, and h are isomorphisms, then so is the third. Here s an application.
More informationLecture 2. x if x X B n f(x) = α(x) if x S n 1 D n
Lecture 2 1.10 Cell attachments Let X be a topological space and α : S n 1 X be a map. Consider the space X D n with the disjoint union topology. Consider further the set X B n and a function f : X D n
More information1 Introduction. 2 Categories. Mitchell Faulk June 22, 2014 Equivalence of Categories for Affine Varieties
Mitchell Faulk June 22, 2014 Equivalence of Categories for Affine Varieties 1 Introduction Recall from last time that every affine algebraic variety V A n determines a unique finitely generated, reduced
More informationSOLUTIONS 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 informationApplications 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 informationMODEL CATEGORIES OF DIAGRAM SPECTRA
MODEL CATEGORIES OF DIAGRAM SPECTRA M. A. MANDELL, J. P. MAY, S. SCHWEDE, AND B. SHIPLEY Abstract. Working in the category T of based spaces, we give the basic theory of diagram spaces and diagram spectra.
More informationLecture 6: Etale Fundamental Group
Lecture 6: Etale Fundamental Group October 5, 2014 1 Review of the topological fundamental group and covering spaces 1.1 Topological fundamental group Suppose X is a path-connected topological space, and
More informationGeometry 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 information1 Categories, Functors, and Natural Transformations. Discrete categories. A category is discrete when every arrow is an identity.
MacLane: Categories or Working Mathematician 1 Categories, Functors, and Natural Transormations 1.1 Axioms or Categories 1.2 Categories Discrete categories. A category is discrete when every arrow is an
More informationIntroduction to higher homotopy groups and obstruction theory
Introduction to higher homotopy groups and obstruction theory Michael Hutchings February 17, 2011 Abstract These are some notes to accompany the beginning of a secondsemester algebraic topology course.
More informationMath 757 Homology theory
theory Math 757 theory January 27, 2011 theory Definition 90 (Direct sum in Ab) Given abelian groups {A α }, the direct sum is an abelian group A with s γ α : A α A satifying the following universal property
More informationGraduate algebraic K-theory seminar
Seminar notes Graduate algebraic K-theory seminar notes taken by JL University of Illinois at Chicago February 1, 2017 Contents 1 Model categories 2 1.1 Definitions...............................................
More informationPostnikov extensions of ring spectra
1785 1829 1785 arxiv version: fonts, pagination and layout may vary from AGT published version Postnikov extensions of ring spectra DANIEL DUGGER BROOKE SHIPLEY We give a functorial construction of k invariants
More informationHomotopy and homology of fibred spaces
Homotopy and homology of fibred spaces Hans-Joachim Baues and Davide L. Ferrario Abstract We study fibred spaces with fibres in a structure category F and we show that cellular approximation, Blakers Massey
More informationCategories and functors
Lecture 1 Categories and functors Definition 1.1 A category A consists of a collection ob(a) (whose elements are called the objects of A) for each A, B ob(a), a collection A(A, B) (whose elements are called
More informationAlgebraic Topology Final
Instituto Superior Técnico Departamento de Matemática Secção de Álgebra e Análise Algebraic Topology Final Solutions 1. Let M be a simply connected manifold with the property that any map f : M M has a
More informationThe 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 informationLecture 4: Stabilization
Lecture 4: Stabilization There are many stabilization processes in topology, and often matters simplify in a stable limit. As a first example, consider the sequence of inclusions (4.1) S 0 S 1 S 2 S 3
More informationSheaves. S. Encinas. January 22, 2005 U V. F(U) F(V ) s s V. = s j Ui Uj there exists a unique section s F(U) such that s Ui = s i.
Sheaves. S. Encinas January 22, 2005 Definition 1. Let X be a topological space. A presheaf over X is a functor F : Op(X) op Sets, such that F( ) = { }. Where Sets is the category of sets, { } denotes
More informationMath Homotopy Theory Spring 2013 Homework 13 Solutions
Math 527 - Homotopy Theory Spring 2013 Homework 13 Solutions Definition. A space weakly equivalent to a product of Eilenberg-MacLane spaces is called a generalized Eilenberg-MacLane space, or GEM for short.
More informationalgebraic topology Lectures delivered by Michael Hopkins Notes by Eva Belmont and Akhil Mathew Spring 2011, Harvard {Last updated August 14, 2012}
algebraic topology Lectures delivered by Michael Hopkins Notes by Eva Belmont and Akhil Mathew Spring 2011, Harvard {Last updated August 14, 2012} Contents Lecture 1 January 24, 2010 1 Introduction 6 2
More informationFundamental 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 informationMath 530 Lecture Notes. Xi Chen
Math 530 Lecture Notes Xi Chen 632 Central Academic Building, University of Alberta, Edmonton, Alberta T6G 2G1, CANADA E-mail address: xichen@math.ualberta.ca 1991 Mathematics Subject Classification. Primary
More informationExercise: Consider the poset of subsets of {0, 1, 2} ordered under inclusion: Date: July 15, 2015.
07-13-2015 Contents 1. Dimension 1 2. The Mayer-Vietoris Sequence 3 2.1. Suspension and Spheres 4 2.2. Direct Sums 4 2.3. Constuction of the Mayer-Vietoris Sequence 6 2.4. A Sample Calculation 7 As we
More informationGALOIS CATEGORIES MELISSA LYNN
GALOIS CATEGORIES MELISSA LYNN Abstract. In abstract algebra, we considered finite Galois extensions of fields with their Galois groups. Here, we noticed a correspondence between the intermediate fields
More informationCALCULATION OF FUNDAMENTAL GROUPS OF SPACES
CALCULATION OF FUNDAMENTAL GROUPS OF SPACES PETER ROBICHEAUX Abstract. We develop theory, particularly that of covering spaces and the van Kampen Theorem, in order to calculate the fundamental groups of
More information1 Whitehead s theorem.
1 Whitehead s theorem. Statement: If f : X Y is a map of CW complexes inducing isomorphisms on all homotopy groups, then f is a homotopy equivalence. Moreover, if f is the inclusion of a subcomplex X in
More informationRepresentable presheaves
Representable presheaves March 15, 2017 A presheaf on a category C is a contravariant functor F on C. In particular, for any object X Ob(C) we have the presheaf (of sets) represented by X, that is Hom
More informationSPLITTING OFF T -SPACES AND DUALITY. Yeon Soo Yoon*
JOURNAL OF THE CHUNGCHEONG MATHEMATICAL SOCIETY Volume 16, No.1, June 2003 SPLITTING OFF T -SPACES AND DUALITY Yeon Soo Yoon* Abstract. We obtain a necessary condition for splitting T -space off a space
More informationAlgebraic 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 informationGENERALIZED COVERING SPACES AND THE GALOIS FUNDAMENTAL GROUP
GENERALIZED COVERING SPACES AND THE GALOIS FUNDAMENTAL GROUP CHRISTIAN KLEVDAL Contents 1. Introduction 1 2. A Category of Covers 2 3. Uniform Spaces and Topological Groups 6 4. Galois Theory of Semicovers
More informationMATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA
MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA These are notes for our first unit on the algebraic side of homological algebra. While this is the last topic (Chap XX) in the book, it makes sense to
More informationReview of category theory
Review of category theory Proseminar on stable homotopy theory, University of Pittsburgh Friday 17 th January 2014 Friday 24 th January 2014 Clive Newstead Abstract This talk will be a review of the fundamentals
More informationCGP DERIVED SEMINAR GABRIEL C. DRUMMOND-COLE
CGP DERIVED SEMINAR GABRIEL C. DRUMMOND-COLE 1. January 16, 2018: Byunghee An, bar and cobar Today I am going to talk about bar and cobar constructions again, between categories of algebras and coalgebras.
More informationMath 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 informationStable homotopy and the Adams Spectral Sequence
F A C U L T Y O F S C I E N C E U N I V E R S I T Y O F C O P E N H A G E N Master Project in Mathematics Paolo Masulli Stable homotopy and the Adams Spectral Sequence Advisor: Jesper Grodal Handed-in:
More informationThe Ordinary RO(C 2 )-graded Cohomology of a Point
The Ordinary RO(C 2 )-graded Cohomology of a Point Tiago uerreiro May 27, 2015 Abstract This paper consists of an extended abstract of the Master Thesis of the author. Here, we outline the most important
More informationp,q H (X), H (Y ) ), where the index p has the same meaning as the
There are two Eilenberg-Moore spectral sequences that we shall consider, one for homology and the other for cohomology. In contrast with the situation for the Serre spectral sequence, for the Eilenberg-Moore
More informationFrom Wikipedia, the free encyclopedia
Monomorphism - Wikipedia, the free encyclopedia http://en.wikipedia.org/wiki/monomorphism 1 of 3 24/11/2012 02:01 Monomorphism From Wikipedia, the free encyclopedia In the context of abstract algebra or
More informationPatrick Iglesias-Zemmour
Mathematical Surveys and Monographs Volume 185 Diffeology Patrick Iglesias-Zemmour American Mathematical Society Contents Preface xvii Chapter 1. Diffeology and Diffeological Spaces 1 Linguistic Preliminaries
More information1 Introduction Category Theory Topological Preliminaries Function Spaces Algebraic Preliminaries...
Contents 1 Introduction 1 1.1 Category Theory........................... 1 1.2 Topological Preliminaries...................... 5 1.3 Function Spaces............................ 9 1.4 Algebraic Preliminaries.......................
More informationDerived Algebraic Geometry III: Commutative Algebra
Derived Algebraic Geometry III: Commutative Algebra May 1, 2009 Contents 1 -Operads 4 1.1 Basic Definitions........................................... 5 1.2 Fibrations of -Operads.......................................
More informationLectures - XXIII and XXIV Coproducts and Pushouts
Lectures - XXIII and XXIV Coproducts and Pushouts We now discuss further categorical constructions that are essential for the formulation of the Seifert Van Kampen theorem. We first discuss the notion
More informationHomology and Cohomology of Stacks (Lecture 7)
Homology and Cohomology of Stacks (Lecture 7) February 19, 2014 In this course, we will need to discuss the l-adic homology and cohomology of algebro-geometric objects of a more general nature than algebraic
More informationLecture 007 (April 13, 2011) Suppose that A is a small abelian category, and let B be a full subcategory such that in every exact sequence
Lecture 007 (April 13, 2011) 16 Abelian category localization Suppose that A is a small abelian category, and let B be a full subcategory such that in every exact sequence 0 a a a 0 in A, a is an object
More informationAssume the left square is a pushout. Then the right square is a pushout if and only if the big rectangle is.
COMMUTATIVE ALGERA LECTURE 2: MORE CATEGORY THEORY VIVEK SHENDE Last time we learned about Yoneda s lemma, and various universal constructions initial and final objects, products and coproducts (which
More informationQUALIFYING EXAM, Fall Algebraic Topology and Differential Geometry
QUALIFYING EXAM, Fall 2017 Algebraic Topology and Differential Geometry 1. Algebraic Topology Problem 1.1. State the Theorem which determines the homology groups Hq (S n \ S k ), where 1 k n 1. Let X S
More informationFORMAL GLUEING OF MODULE CATEGORIES
FORMAL GLUEING OF MODULE CATEGORIES BHARGAV BHATT Fix a noetherian scheme X, and a closed subscheme Z with complement U. Our goal is to explain a result of Artin that describes how coherent sheaves on
More informationWe 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