BEN KNUDSEN. Conf k (f) Conf k (Y )
|
|
- Clifford Brown
- 5 years ago
- Views:
Transcription
1 CONFIGURATION SPACES IN ALGEBRAIC TOPOLOGY: LECTURE 2 BEN KNUDSEN We begin our study of configuration spaces by observing a few of their basic properties. First, we note that, if f : X Y is an injective continuous map, we have the Σ k -equivariant factorization X k f k Y k Conf k (X) Conf k (f) Conf k (Y ) and thus an induced map B k (f) : B k (X) B k (Y ). This construction respects composition and identities by inspection, so we have functors Conf k : Top inj Top Σ k B k : Top inj Top, where Top inj denotes the category of topological spaces and injective continuous maps, Top Σ k the category of Σ k -spaces and equivariant maps, and Top the category of topological spaces. Recall that a continuous map is said to be an open embedding if it is both injective and open. Proposition. If f : X Y is an open embedding, then Conf k (f) : Conf k (X) Conf k (Y ) and B k (f) : B k (X) B k (Y ) are also open embeddings. Proof. From the definition of the product topology, f k : X k Y k is an open embedding, and the first claim follows. The second claim follows from the first and the fact that π : Conf k (X) B k (X) is a quotient map. This functor also respects a certain class of weak equivalences. Definition. An injective continuous map f : X Y is an isotopy equivalence if there is an injective continuous map g : Y X and homotopies H : g f = id X and H : f g = id Y such that H t and H t are both injective for each t [0, 1]. Proposition. If f : X Y is an isotopy equivalence, then Conf k (f) : Conf k (X) Conf k (Y ) is a homotopy equivalence. Date: 1 September
2 2 BEN KNUDSEN Proof. In the solid commuting diagram X k [0, 1] k (X [0, 1]) k H k X k id X k k H X k [0, 1] Conf k (X) [0, 1] Conf k (X), the diagonal composite is given by the formula H t (x 1,..., x k ) = (H t (x 1 ),..., H t (x k )). By assumption, H t is injective for each t [0, 1], so the dashed filler exists. By construction, this map restricts to Conf k (g f) = Conf k (g) Conf k (f) at t = 0 and to id Confk (X) at t = 1. Applying the same argument to H t completes the proof. Corollary. If f : X Y is an isotopy equivalence then B k (f) : B k (X) B k (Y ) is a homotopy equivalence. Proof. The homotopies constructed in the proof of the previous corollary are homotopies through Σ k -equivariant maps, so they descend to the unordered configuration space. Remark. Another point of view on the previous two results is provided by the fact (which we will not prove here) that Conf k and B k are enriched functors, where the space of injective continuous maps from X to Y is given the subspace topology induced by the compact-open topology on Map(X, Y ). Taking this fact for granted, these results follows immediately, since a homotopy through injective maps is simply a path in this mapping space. Example. If M is a manifold with boundary, then M admits a collar neighborhood U = M (0, 1]. We define a map r : M M by setting r M (0,1] (x, t) = (x, t 2 ) and extending by the identity. This map is injective, and dilation defines homotopies through injective maps from r i : M M and i r : M M to the respective identity maps. It follows that the induced map Conf k ( M) Conf k (M) is a homotopy equivalence. These functors also interact well with the operation of disjoint union. Proposition. Let X and Y be topological spaces. The natural map Conf i (X) Conf j (Y ) Σi Σ j Σ k Conf k (X Y ) is a Σ k -equivariant homeomorphism. In particular, the natural map B i (X) B j (Y ) B k (X Y ) is a homeomorphism.
3 CONFIGURATION SPACES IN ALGEBRAIC TOPOLOGY: LECTURE 2 3 Proof. From the definitions, the dashed filler exists in the commuting diagram X i Y j Σi Σ j Σ k (X Y ) k Conf i (X) Conf j (Y ) Σi Σ j Σ k Conf k (X Y ) and is easily seen to be a bijection, which implies the first claim, since the vertical arrows are inclusions of subspaces. The second claim follows from the first after taking the quotient by the action of Σ k. Thus, we may restrict attention to connected background spaces whenever it is convenient to do so. Our next goal is to come to grips with the local structure of configuration spaces. We assume from now on that X is locally path connected, and we fix a basis B for the topology of the space X consisting of connected subsets. We define two partially ordered sets as follows. (1) We write B k = {U X : U = k U i, U i B}, and we impose the order relation U V U V and π 0 (U V ) is surjective. (2) We write B Σ k = {(U, σ) : U B k, σ : {1,..., k} π 0 (U)}, and we impose the order relation (U, σ) (V, τ) U V and τ = σ π 0 (U V ). Denoting the poset of open subsets of a space Y by O(Y ), there is an inclusion B Σ k O(Conf k(x)) of posets defined by U Conf 0 k(u, σ) := { (x 1..., x k ) Conf k (U) : x i U σ(i) } Confk (X) and similarly an inclusion B k O(B k (X)) defined by U B 0 k(u) := {{x 1,..., x k } B k (U) : {x 1,..., x k } U i, 1 i k} B k (X). Note that these subsets are in fact open, since U X is open and configuration spaces respect open embeddings. Lemma. For any U B k and σ : {1,..., k} π 0 (U), there are canonical homeomorphisms Bk(U) 0 = Conf 0 k(u, σ) k = U σ(i). Proof. It is easy to see from the definitions that the dashed fillers in the commuting diagram X k Conf k (X) B k (X) k U σ(i) Conf 0 k(u, σ) B 0 k (U) exist and are bijections. Since the lefthand map is the inclusion of a subspace and the righthand map is a quotient map, the claim follows. Proposition. Let X be a locally path connected Hausdorff space and B a topological basis for X consisting of connected subsets.
4 4 BEN KNUDSEN (1) The collection {Conf 0 k(u, σ) : (U, σ) B Σ k } O(Conf k(x)) is a topological basis. (2) The collection {B 0 k (U) : U B k} O(B k (X)) is a topological basis. Proof. Since X is Hausdorff, Conf k (X) is open in X k ; therefore, by the definition of the product and subspace topologies, it will suffice for the first claim to show that, given (x 1,..., x k ) V X k such that V = k V i for open subsets x i V i X, and V Conf k (X), there exists (U, σ) B Σ k with (x 1,..., x k ) Conf 0 k(u, σ) V. Now, since B is a topological basis, we may find U i B with x i U i V i. The second condition implies that the V i are pairwise disjoint, so we may set U = k U i and take σ(i) = [U i ]. With these choices (x 1,..., x k ) Conf 0 k(u, σ) k k = U i V i = V, as desired. The second claim follows from first, the fact that π : Conf k (X) B k (X) is a quotient map, and the fact that π(conf 0 k(u, σ)) = Bk 0 (U) for every σ. These and related bases will be important for our later study, when we come to hypercover methods. For now, we draw the following consequences. Corollary. Let X be a locally path connected Hausdorff space. The projection π : Conf k (X) B k (X) is a covering space. Proof. For U B k, we have Σ k -equivariant identifications π 1 (Bk(U)) 0 = Conf 0 k(u, σ) = Bk(U) 0 Σ k, σ:{1,...,k} =π0(u) where the second is induced by a choice of ordering of π 0 (U). Corollary. If M is an n-manifold, then Conf k (M) and B k (M) are nk-manifolds. Proof. We take B to be the set of Euclidean neighborhoods in M, in which case for any U B k and σ : {1,..., k} π 0 (U). Exercise. When is B k (M) orientable? B 0 k(u) = Conf 0 k = R nk From now on, unless specified otherwise, we take our background space to be a manifold M. In this case, we have access to a poweful tool relating configuration spaces of different cardinalities. The starting point is the observation that the natural projections from the product factor through the configuration spaces as in the following commuting diagram: Conf l (M) M l (x 1,..., x l ) Conf k (M) M k (x 1,..., x k ) (we take the projection to be on the last l k coordinates for simplicity, but it is not necessary to make this restriction). Clearly, the fiber over a configuration (x 1,..., x k ) in the base is the configuration space Conf l k (M \ {x 1,..., x k }). Our first theorem asserts that the situation is in fact much better than this.
5 CONFIGURATION SPACES IN ALGEBRAIC TOPOLOGY: LECTURE 2 5 Recollection. Recall that, if f : X Y is a continuous map, the mapping path space of f is the space of paths in Y out of the image of f. In other words, it is the pullback in the diagram E f Y [0,1] p X f Y The inclusion X E f given by the constant paths is a homotopy equivalence, and evaluation at 1 defines a map π f : E f Y, which is a fibration [May99, 7.3]. The homotopy fiber of f at the basepoint y Y is the fiber hofib y (f) := π 1 f (y) of this fibration. The construction of E f, and hence the homotopy fiber, is functorial, and we say that a diagram X X f Y Y is homotopy Cartesian, or a homotopy pullback square, if the induced map on homotopy fibers is a weak equivalence for all choices of basepoint. The primary benefit of knowing that a square is homotopy Cartesian is the induced Mayer-Vietoris long exact sequence in homotopy groups. f p(0). Theorem (Fadell-Neuwirth). Let M be a manifold and 0 k l <. The diagram Conf l k (M \ {x 1,..., x k }) Conf l (M) is homotopy Cartesian. (x 1,..., x k ) Conf k (M) Remark. In fact, Fadell-Neuwirth [FN62] prove that this map is a locally trivial fiber bundle, and they give an identification of its structure group. We will not need this full statement, and our alternate proof of this weaker form will allow us to illustrate the efficacy of hypercover methods at a later point in the course. The proof is a debt that we will return to pay after having developed a few more advanced homotopy theoretic techniques. For the time being, we concentrate on exploiting this result. Corollary. If M is a simply connected n-manifold with n 3, then Conf k (M) is simply connected for every k 0. In particular, π 1 (B k (M)) = Σ k. Proof. The case k = 0 is trivial and the case k = 1 is our assumption. The Van Kampen theorem and our assumption on n imply that M \ {pt} is simply connected, so the first claim follows by induction using the exact sequence π 1 (M \ {pt}) π 1 (Conf k (M)) π 1 (Conf k 1 (M)). The second claim follows from the observation that Conf k (M) B k (M) is a Σ k -cover with simply connected total space and hence the universal cover. Corollary. If M is a connected surface of finite type different from S 2 or RP 2, then Conf k (M) is aspherical for every k 0. In particular, B k (M) is aspherical.
6 6 BEN KNUDSEN Proof. The case k = 0 is obvious and the case k = 1 follows from our assumption on M. This assumption further guarantees that M \{x 1,..., x k 1 } is also aspherical, so the first claim follows by induction using the exact sequence π i (M \ {x 1,..., x k 1 }) π i (Conf k (M)) π i (Conf k 1 (M)) with i 2. The second claim follows from the first and the fact that π : Conf k (M) B k (M) is a covering space. In order to proceed further, it will be useful to have a criterion for splitting these exact sequences. Proposition. If M is the interior of a manifold with non-empty boundary, then the map π k,l : Conf l (M) Conf k (M) admits a section up to homotopy. Proof. Write M = N, and fix a collar neighborhood N U and an ordered set {x k+1,, x l } of distinct points in U. By retracting along the collar, we obtain an embedding ϕ : M M that is isotopic to the identity and misses our chosen points. Then the assignment (x 1,..., x k ) (ϕ(x 1 ),..., ϕ(x k ), x k+1,, x l ) defines a continuous map s : Conf k (M) Conf l (M) such that π k,l s = Conf k (ϕ) id Confk (M), since ϕ is isotopic to the identity. Corollary. For n 3, k 0, and i 0, there is an isomorphism π i (Conf k (R n )) = k 1 j=1 π i j S n 1 Proof. For k {0, 1} the claim is obvious, as is the claim for π 0, and the claim for π 1 has already been established. In the generic case, we proceed by induction using the exact sequence π i+1 (Conf k 1 (R n )) π i (R n \ {x 1,..., x k 1 }) π i (Conf k (R n )) π i (Conf k 1 (R n )). The section up to homotopy constructed above induces a section at the level of homotopy groups, so the lefthand map is trivial and the righthand map is surjective. The result now follows from the homotopy equivalence R n \ {x 1,..., x k 1 } k 1 Sn 1 and the fact that all groups in sight are Abelian. The higher homotopy groups of bouquets of spheres being very complicated objects [Hil55], this result is a striking contrast to the situation in dimension 2. Remark. It should be noted that the product decomposition of the previous corollary is additive only. Viewed as shifted Lie algebra via the Whitehead bracket, π (Conf k (R n )) has a very rich structure see [FH12, II]. The following result is proved by essentially the same argument. Corollary. The fundamental group of Conf k (R 2 ) is an iterated extension of free groups. References [FH12] E. Fadell and S. Husseini, Geometry and topology of configuration spaces, Springer Monographs in Mathematics, Springer Science and Business Media, [FN62] E. Fadell and L. Neuwirth, Configuration spaces, Math. Scand. 10 (1962), [Hil55] P. J. Hilton, On the homotopy groups of the union of spheres, J. London Math. Soc. s1-30 (1955), [May99] J. P. May, A concise course in algebraic topology, Chicago Lectures in Mathematics, The University of Chicago Press,
Homotopy and homology groups of the n-dimensional Hawaiian earring
F U N D A M E N T A MATHEMATICAE 165 (2000) Homotopy and homology groups of the n-dimensional Hawaiian earring by Katsuya E d a (Tokyo) and Kazuhiro K a w a m u r a (Tsukuba) Abstract. For the n-dimensional
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 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 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 informationTopological K-theory, Lecture 3
Topological K-theory, Lecture 3 Matan Prasma March 2, 2015 1 Applications of the classification theorem continued Let us see how the classification theorem can further be used. Example 1. The bundle γ
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 informationMath 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 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 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 informationEquivalence of the Combinatorial Definition (Lecture 11)
Equivalence of the Combinatorial Definition (Lecture 11) September 26, 2014 Our goal in this lecture is to complete the proof of our first main theorem by proving the following: Theorem 1. The map of simplicial
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 informationCutting and pasting. 2 in R. 3 which are not even topologically
Cutting and pasting We begin by quoting the following description appearing on page 55 of C. T. C. Wall s 1960 1961 Differential Topology notes, which available are online at http://www.maths.ed.ac.uk/~aar/surgery/wall.pdf.
More informationDivision Algebras and Parallelizable Spheres III
Division Algebras and Parallelizable Spheres III Seminar on Vectorbundles in Algebraic Topology ETH Zürich Ramon Braunwarth May 8, 2018 These are the notes to the talk given on April 23rd 2018 in the Vector
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 informationTHE H-PRINCIPLE, LECTURE 14: HAEFLIGER S THEOREM CLASSIFYING FOLIATIONS ON OPEN MANIFOLDS
THE H-PRINCIPLE, LECTURE 14: HAELIGER S THEOREM CLASSIYING OLIATIONS ON OPEN MANIOLDS J. RANCIS, NOTES BY M. HOYOIS In this lecture we prove the following theorem: Theorem 0.1 (Haefliger). If M is an open
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 informationLecture on Equivariant Cohomology
Lecture on Equivariant Cohomology Sébastien Racanière February 20, 2004 I wrote these notes for a hours lecture at Imperial College during January and February. Of course, I tried to track down and remove
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 information32 Proof of the orientation theorem
88 CHAPTER 3. COHOMOLOGY AND DUALITY 32 Proof of the orientation theorem We are studying the way in which local homological information gives rise to global information, especially on an n-manifold M.
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 information121B: ALGEBRAIC TOPOLOGY. Contents. 6. Poincaré Duality
121B: ALGEBRAIC TOPOLOGY Contents 6. Poincaré Duality 1 6.1. Manifolds 2 6.2. Orientation 3 6.3. Orientation sheaf 9 6.4. Cap product 11 6.5. Proof for good coverings 15 6.6. Direct limit 18 6.7. Proof
More informationNonabelian Poincare Duality (Lecture 8)
Nonabelian Poincare Duality (Lecture 8) February 19, 2014 Let M be a compact oriented manifold of dimension n. Then Poincare duality asserts the existence of an isomorphism H (M; A) H n (M; A) for any
More informationThe Global Defect Index
Communications in Mathematical Physics Manuscript-Nr. (will be inserted by hand later) The Global Defect Index Stefan Bechtluft-Sachs, Marco Hien Naturwissenschaftliche Fakultät I, Universität Regensburg,
More informationBordism and the Pontryagin-Thom Theorem
Bordism and the Pontryagin-Thom Theorem Richard Wong Differential Topology Term Paper December 2, 2016 1 Introduction Given the classification of low dimensional manifolds up to equivalence relations such
More informationTopological 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 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 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 informationB 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 informationCW 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 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 informationINVERSE LIMITS AND PROFINITE GROUPS
INVERSE LIMITS AND PROFINITE GROUPS BRIAN OSSERMAN We discuss the inverse limit construction, and consider the special case of inverse limits of finite groups, which should best be considered as topological
More informationEilenberg-Steenrod properties. (Hatcher, 2.1, 2.3, 3.1; Conlon, 2.6, 8.1, )
II.3 : Eilenberg-Steenrod properties (Hatcher, 2.1, 2.3, 3.1; Conlon, 2.6, 8.1, 8.3 8.5 Definition. Let U be an open subset of R n for some n. The de Rham cohomology groups (U are the cohomology groups
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 informationPart 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 informationDISCRETIZED 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 informationLECTURE 15-16: PROPER ACTIONS AND ORBIT SPACES
LECTURE 15-16: PROPER ACTIONS AND ORBIT SPACES 1. Proper actions Suppose G acts on M smoothly, and m M. Then the orbit of G through m is G m = {g m g G}. If m, m lies in the same orbit, i.e. m = g m for
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 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 informationDivision Algebras and Parallelizable Spheres, Part II
Division Algebras and Parallelizable Spheres, Part II Seminartalk by Jerome Wettstein April 5, 2018 1 A quick Recap of Part I We are working on proving the following Theorem: Theorem 1.1. The following
More informationAlgebraic Topology. Oscar Randal-Williams. or257/teaching/notes/at.pdf
Algebraic Topology Oscar Randal-Williams https://www.dpmms.cam.ac.uk/ or257/teaching/notes/at.pdf 1 Introduction 1 1.1 Some recollections and conventions...................... 2 1.2 Cell complexes.................................
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 information1. Algebraic vector bundles. Affine Varieties
0. Brief overview Cycles and bundles are intrinsic invariants of algebraic varieties Close connections going back to Grothendieck Work with quasi-projective varieties over a field k Affine Varieties 1.
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 informationarxiv: v1 [math.co] 25 Jun 2014
THE NON-PURE VERSION OF THE SIMPLEX AND THE BOUNDARY OF THE SIMPLEX NICOLÁS A. CAPITELLI arxiv:1406.6434v1 [math.co] 25 Jun 2014 Abstract. We introduce the non-pure versions of simplicial balls and spheres
More informationAn Outline of Homology Theory
An Outline of Homology Theory Stephen A. Mitchell June 1997, revised October 2001 Note: These notes contain few examples and even fewer proofs. They are intended only as an outline, to be supplemented
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 informationTHE 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 informationNotas 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 informationOn the K-category of 3-manifolds for K a wedge of spheres or projective planes
On the K-category of 3-manifolds for K a wedge of spheres or projective planes J. C. Gómez-Larrañaga F. González-Acuña Wolfgang Heil July 27, 2012 Abstract For a complex K, a closed 3-manifold M is of
More informationMULTIPLE DISJUNCTION FOR SPACES OF POINCARÉ EMBEDDINGS
MULTIPLE DISJUNCTION FOR SPACES OF POINCARÉ EMBEDDINGS THOMAS G. GOODWILLIE AND JOHN R. KLEIN Abstract. Still at it. Contents 1. Introduction 1 2. Some Language 6 3. Getting the ambient space to be connected
More informationA complement to the theory of equivariant finiteness obstructions
F U N D A M E N T A MATHEMATICAE 151 (1996) A complement to the theory of equivariant finiteness obstructions by Paweł A n d r z e j e w s k i (Szczecin) Abstract. It is known ([1], [2]) that a construction
More informationMath 210B. Profinite group cohomology
Math 210B. Profinite group cohomology 1. Motivation Let {Γ i } be an inverse system of finite groups with surjective transition maps, and define Γ = Γ i equipped with its inverse it topology (i.e., the
More informationLECTURE: KOBORDISMENTHEORIE, WINTER TERM 2011/12; SUMMARY AND LITERATURE
LECTURE: KOBORDISMENTHEORIE, WINTER TERM 2011/12; SUMMARY AND LITERATURE JOHANNES EBERT 1.1. October 11th. 1. Recapitulation from differential topology Definition 1.1. Let M m, N n, be two smooth manifolds
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 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 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 informationManifolds and Poincaré duality
226 CHAPTER 11 Manifolds and Poincaré duality 1. Manifolds The homology H (M) of a manifold M often exhibits an interesting symmetry. Here are some examples. M = S 1 S 1 S 1 : M = S 2 S 3 : H 0 = Z, H
More informationEQUIVARIANT COHOMOLOGY. p : E B such that there exist a countable open covering {U i } i I of B and homeomorphisms
EQUIVARIANT COHOMOLOGY MARTINA LANINI AND TINA KANSTRUP 1. Quick intro Let G be a topological group (i.e. a group which is also a topological space and whose operations are continuous maps) and let X be
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 informationwhere Σ is a finite discrete Gal(K sep /K)-set unramified along U and F s is a finite Gal(k(s) sep /k(s))-subset
Classification of quasi-finite étale separated schemes As we saw in lecture, Zariski s Main Theorem provides a very visual picture of quasi-finite étale separated schemes X over a henselian local ring
More informationAlgebraic Geometry Spring 2009
MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry
More informationOn the Diffeomorphism Group of S 1 S 2. Allen Hatcher
On the Diffeomorphism Group of S 1 S 2 Allen Hatcher This is a revision, written in December 2003, of a paper of the same title that appeared in the Proceedings of the AMS 83 (1981), 427-430. The main
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 information(c) For each α R \ {0}, the mapping x αx is a homeomorphism of X.
A short account of topological vector spaces Normed spaces, and especially Banach spaces, are basic ambient spaces in Infinite- Dimensional Analysis. However, there are situations in which it is necessary
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 informationLemma 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 informationThe Real Grassmannian Gr(2, 4)
The Real Grassmannian Gr(2, 4) We discuss the topology of the real Grassmannian Gr(2, 4) of 2-planes in R 4 and its double cover Gr + (2, 4) by the Grassmannian of oriented 2-planes They are compact four-manifolds
More informationSolutions 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 information30 Surfaces and nondegenerate symmetric bilinear forms
80 CHAPTER 3. COHOMOLOGY AND DUALITY This calculation is useful! Corollary 29.4. Let p, q > 0. Any map S p+q S p S q induces the zero map in H p+q ( ). Proof. Let f : S p+q S p S q be such a map. It induces
More information3-manifolds and their groups
3-manifolds and their groups Dale Rolfsen University of British Columbia Marseille, September 2010 Dale Rolfsen (2010) 3-manifolds and their groups Marseille, September 2010 1 / 31 3-manifolds and their
More informationHOMEWORK FOR SPRING 2014 ALGEBRAIC TOPOLOGY
HOMEWORK FOR SPRING 2014 ALGEBRAIC TOPOLOGY Last Modified April 14, 2014 Some notes on homework: (1) Homework will be due every two weeks. (2) A tentative schedule is: Jan 28, Feb 11, 25, March 11, 25,
More informationMATH540: 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 informationThe 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 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 informationTopology. Xiaolong Han. Department of Mathematics, California State University, Northridge, CA 91330, USA address:
Topology Xiaolong Han Department of Mathematics, California State University, Northridge, CA 91330, USA E-mail address: Xiaolong.Han@csun.edu Remark. You are entitled to a reward of 1 point toward a homework
More informationUNIVERSAL DERIVED EQUIVALENCES OF POSETS
UNIVERSAL DERIVED EQUIVALENCES OF POSETS SEFI LADKANI Abstract. By using only combinatorial data on two posets X and Y, we construct a set of so-called formulas. A formula produces simultaneously, for
More informationIntroduction to Chiral Algebras
Introduction to Chiral Algebras Nick Rozenblyum Our goal will be to prove the fact that the algebra End(V ac) is commutative. The proof itself will be very easy - a version of the Eckmann Hilton argument
More informationFibre 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 informationMath 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 informationMath 231b Lecture 16. G. Quick
Math 231b Lecture 16 G. Quick 16. Lecture 16: Chern classes for complex vector bundles 16.1. Orientations. From now on we will shift our focus to complex vector bundles. Much of the theory for real vector
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 informationThree Descriptions of the Cohomology of Bun G (X) (Lecture 4)
Three Descriptions of the Cohomology of Bun G (X) (Lecture 4) February 5, 2014 Let k be an algebraically closed field, let X be a algebraic curve over k (always assumed to be smooth and complete), and
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 informationBredon, 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 informationTopological K-theory, Lecture 2
Topological K-theory, Lecture 2 Matan Prasma March 2, 2015 Again, we assume throughout that our base space B is connected. 1 Direct sums Recall from last time: Given vector bundles p 1 E 1 B and p 2 E
More informationHomework 4: Mayer-Vietoris Sequence and CW complexes
Homework 4: Mayer-Vietoris Sequence and CW complexes Due date: Friday, October 4th. 0. Goals and Prerequisites The goal of this homework assignment is to begin using the Mayer-Vietoris sequence and cellular
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 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 informationThe Hurewicz Theorem
The Hurewicz Theorem April 5, 011 1 Introduction The fundamental group and homology groups both give extremely useful information, particularly about path-connected spaces. Both can be considered as functors,
More informationMath 249B. Nilpotence of connected solvable groups
Math 249B. Nilpotence of connected solvable groups 1. Motivation and examples In abstract group theory, the descending central series {C i (G)} of a group G is defined recursively by C 0 (G) = G and C
More informationNOTES ON DIFFERENTIAL FORMS. PART 5: DE RHAM COHOMOLOGY
NOTES ON DIFFERENTIAL FORMS. PART 5: DE RHAM COHOMOLOGY 1. Closed and exact forms Let X be a n-manifold (not necessarily oriented), and let α be a k-form on X. We say that α is closed if dα = 0 and say
More informationMultiplicative properties of Atiyah duality
Multiplicative properties of Atiyah duality Ralph L. Cohen Stanford University January 8, 2004 Abstract Let M n be a closed, connected n-manifold. Let M denote the Thom spectrum of its stable normal bundle.
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 informationLecture 19: Equivariant cohomology I
Lecture 19: Equivariant cohomology I Jonathan Evans 29th November 2011 Jonathan Evans () Lecture 19: Equivariant cohomology I 29th November 2011 1 / 13 Last lecture we introduced something called G-equivariant
More informationAlgebraic Topology M3P solutions 1
Algebraic Topology M3P21 2015 solutions 1 AC Imperial College London a.corti@imperial.ac.uk 9 th February 2015 (1) (a) Quotient maps are continuous, so preimages of closed sets are closed (preimages of
More informationChern Classes and the Chern Character
Chern Classes and the Chern Character German Stefanich Chern Classes In this talk, all our topological spaces will be paracompact Hausdorff, and our vector bundles will be complex. Let Bun GLn(C) be the
More information5 Set Operations, Functions, and Counting
5 Set Operations, Functions, and Counting Let N denote the positive integers, N 0 := N {0} be the non-negative integers and Z = N 0 ( N) the positive and negative integers including 0, Q the rational numbers,
More informationMATRIX LIE GROUPS AND LIE GROUPS
MATRIX LIE GROUPS AND LIE GROUPS Steven Sy December 7, 2005 I MATRIX LIE GROUPS Definition: A matrix Lie group is a closed subgroup of Thus if is any sequence of matrices in, and for some, then either
More informationSynopsis 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 informationCHAPTER 1. AFFINE ALGEBRAIC VARIETIES
CHAPTER 1. AFFINE ALGEBRAIC VARIETIES During this first part of the course, we will establish a correspondence between various geometric notions and algebraic ones. Some references for this part of the
More information