DOCSLIB.ORG

A Mapping Cone Formula for Involutive Heegaard Floer Homology

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
A Mapping Cone Formula for Involutive Heegaard Floer Homology A mapping cone formula for Involutive Heegaard Floer homology Ian Zemke joint w/ K. Hendricks, J. Hom and M. Stoffregen September 17, 2020 If Y is a 3-manifold, and s 2 Spinc(Y ), Ozsv´athand Szab´o − + construct three F[U]-modules HF (Y; s), HF (Y; s) and HF 1(Y; s). 3 If Y is a ZHS and K ⊆ Y , Ozsv´athand Szab´o constructed a graded chain complex, CFK 1(Y; K), which is filtered by Z ⊕ Z. Heegaard Floer homology 3 If Y is a ZHS and K ⊆ Y , Ozsv´athand Szab´o constructed a graded chain complex, CFK 1(Y; K), which is filtered by Z ⊕ Z. Heegaard Floer homology If Y is a 3-manifold, and s 2 Spinc(Y ), Ozsv´athand Szab´o − + construct three F[U]-modules HF (Y; s), HF (Y; s) and HF 1(Y; s). Heegaard Floer homology If Y is a 3-manifold, and s 2 Spinc(Y ), Ozsv´athand Szab´o − + construct three F[U]-modules HF (Y; s), HF (Y; s) and HF 1(Y; s). 3 If Y is a ZHS and K ⊆ Y , Ozsv´athand Szab´o constructed a graded chain complex, CFK 1(Y; K), which is filtered by Z ⊕ Z. Heegaard Floer homology If Y is a 3-manifold, and s 2 Spinc(Y ), Ozsv´athand Szab´o − + construct three F[U]-modules HF (Y; s), HF (Y; s) and HF 1(Y; s). 3 If Y is a ZHS and K ⊆ Y , Ozsv´athand Szab´o constructed a graded chain complex, CFK 1(Y; K), which is filtered by Z ⊕ Z. − Bold HF indicates coefficients in the power series F[[U]]. 3 When Y = S , the map Dn is explicitly computable from just CFK 1(S3;K). Ozsv´athand Szab´o'smapping cone formula Theorem (Ozsv´ath–Szab´o) 3 If K is a knot in Y , a ZHS , then − ∼ Dn HF (Yn(K)) = H∗ Cone A −−! B ; where A and B are chain complexes obtained from subcomplexes 1 of CFK (Y; K), and Dn is a chain map. 3 When Y = S , the map Dn is explicitly computable from just CFK 1(S3;K). Ozsv´athand Szab´o'smapping cone formula Theorem (Ozsv´ath–Szab´o) 3 If K is a knot in Y , a ZHS , then − ∼ Dn HF (Yn(K)) = H∗ Cone A −−! B ; where A and B are chain complexes obtained from subcomplexes 1 of CFK (Y; K), and Dn is a chain map. − Bold HF indicates coefficients in the power series F[[U]]. Ozsv´athand Szab´o'smapping cone formula Theorem (Ozsv´ath–Szab´o) 3 If K is a knot in Y , a ZHS , then − ∼ Dn HF (Yn(K)) = H∗ Cone A −−! B ; where A and B are chain complexes obtained from subcomplexes 1 of CFK (Y; K), and Dn is a chain map. − Bold HF indicates coefficients in the power series F[[U]]. 3 When Y = S , the map Dn is explicitly computable from just CFK 1(S3;K). Y Y A = As and B = Bs; s2Z s2Z 1 where As and Bs are subcomplexes of CFK (K), completed over F[[U]]. − Bs ' CF (Y ) for all s. (Actually, Bs is independent of s). As is a subcomplex of Bs for all s. Ozsv´athand Szab´o'smapping cone formula − Bs ' CF (Y ) for all s. (Actually, Bs is independent of s). As is a subcomplex of Bs for all s. Ozsv´athand Szab´o'smapping cone formula Y Y A = As and B = Bs; s2Z s2Z 1 where As and Bs are subcomplexes of CFK (K), completed over F[[U]]. As is a subcomplex of Bs for all s. Ozsv´athand Szab´o'smapping cone formula Y Y A = As and B = Bs; s2Z s2Z 1 where As and Bs are subcomplexes of CFK (K), completed over F[[U]]. − Bs ' CF (Y ) for all s. (Actually, Bs is independent of s). Ozsv´athand Szab´o'smapping cone formula Y Y A = As and B = Bs; s2Z s2Z 1 where As and Bs are subcomplexes of CFK (K), completed over F[[U]]. − Bs ' CF (Y ) for all s. (Actually, Bs is independent of s). As is a subcomplex of Bs for all s. Dn = v + h. v sends As to Bs, while h sends As to Bs+n. v is the inclusion of As into Bs. h is the inclusion of As into Bes, composed with a homotopy equivalence F : Bes ! Bs, where Bes is as follows: j i j = s As h v v e Bs F Bs+n Bes Ozsv´athand Szab´o'smapping cone formula v sends As to Bs, while h sends As to Bs+n. v is the inclusion of As into Bs. h is the inclusion of As into Bes, composed with a homotopy equivalence F : Bes ! Bs, where Bes is as follows: j i j = s As h v v e Bs F Bs+n Bes Ozsv´athand Szab´o'smapping cone formula Dn = v + h. v is the inclusion of As into Bs. h is the inclusion of As into Bes, composed with a homotopy equivalence F : Bes ! Bs, where Bes is as follows: j i j = s As h v v e Bs F Bs+n Bes Ozsv´athand Szab´o'smapping cone formula Dn = v + h. v sends As to Bs, while h sends As to Bs+n. h is the inclusion of As into Bes, composed with a homotopy equivalence F : Bes ! Bs, where Bes is as follows: j i j = s As h v v e Bs F Bs+n Bes Ozsv´athand Szab´o'smapping cone formula Dn = v + h. v sends As to Bs, while h sends As to Bs+n. v is the inclusion of As into Bs. j i j = s As h v v e Bs F Bs+n Bes Ozsv´athand Szab´o'smapping cone formula Dn = v + h. v sends As to Bs, while h sends As to Bs+n. v is the inclusion of As into Bs. h is the inclusion of As into Bes, composed with a homotopy equivalence F : Bes ! Bs, where Bes is as follows: Ozsv´athand Szab´o'smapping cone formula Dn = v + h. v sends As to Bs, while h sends As to Bs+n. v is the inclusion of As into Bs. h is the inclusion of As into Bes, composed with a homotopy equivalence F : Bes ! Bs, where Bes is as follows: j i j = s As h v v e Bs F Bs+n Bes For knots in S3, the homotopy type of the mapping cone is determined by just CFK 1(K). Indeed, the only ambiguity is the homotopy equivalence F : Bes ! Bs+n, but Bes and Bs+n are both homotopy − 3 equivalent to CF (S ) ' F[U], so there is a unique homotopy equivalence, up to chain homotopy. Ozsv´athand Szab´o'smapping cone formula Indeed, the only ambiguity is the homotopy equivalence F : Bes ! Bs+n, but Bes and Bs+n are both homotopy − 3 equivalent to CF (S ) ' F[U], so there is a unique homotopy equivalence, up to chain homotopy. Ozsv´athand Szab´o'smapping cone formula For knots in S3, the homotopy type of the mapping cone is determined by just CFK 1(K). Ozsv´athand Szab´o'smapping cone formula For knots in S3, the homotopy type of the mapping cone is determined by just CFK 1(K). Indeed, the only ambiguity is the homotopy equivalence F : Bes ! Bs+n, but Bes and Bs+n are both homotopy − 3 equivalent to CF (S ) ' F[U], so there is a unique homotopy equivalence, up to chain homotopy. Suppose Y a 3-manifold, s 2 Spinc(Y ) and s = s. Hendricks and Manolescu study a homotopy involution ι: CF −(Y; s) ! CF −(Y; s): If H = (Σ; α; β) is a Heegaard diagram, there is a canonical isomorphism η : CF − (H; s) ! CF − H; s where H = (Σ; β; α). ι := η ◦ ΨH!H; where ΨH!H is the map from naturality. Involutive Heegaard Floer homology (Hendricks{Manolescu) Hendricks and Manolescu study a homotopy involution ι: CF −(Y; s) ! CF −(Y; s): If H = (Σ; α; β) is a Heegaard diagram, there is a canonical isomorphism η : CF − (H; s) ! CF − H; s where H = (Σ; β; α). ι := η ◦ ΨH!H; where ΨH!H is the map from naturality. Involutive Heegaard Floer homology (Hendricks{Manolescu) Suppose Y a 3-manifold, s 2 Spinc(Y ) and s = s. If H = (Σ; α; β) is a Heegaard diagram, there is a canonical isomorphism η : CF − (H; s) ! CF − H; s where H = (Σ; β; α). ι := η ◦ ΨH!H; where ΨH!H is the map from naturality. Involutive Heegaard Floer homology (Hendricks{Manolescu) Suppose Y a 3-manifold, s 2 Spinc(Y ) and s = s. Hendricks and Manolescu study a homotopy involution ι: CF −(Y; s) ! CF −(Y; s): ι := η ◦ ΨH!H; where ΨH!H is the map from naturality. Involutive Heegaard Floer homology (Hendricks{Manolescu) Suppose Y a 3-manifold, s 2 Spinc(Y ) and s = s. Hendricks and Manolescu study a homotopy involution ι: CF −(Y; s) ! CF −(Y; s): If H = (Σ; α; β) is a Heegaard diagram, there is a canonical isomorphism η : CF − (H; s) ! CF − H; s where H = (Σ; β; α). Involutive Heegaard Floer homology (Hendricks{Manolescu) Suppose Y a 3-manifold, s 2 Spinc(Y ) and s = s. Hendricks and Manolescu study a homotopy involution ι: CF −(Y; s) ! CF −(Y; s): If H = (Σ; α; β) is a Heegaard diagram, there is a canonical isomorphism η : CF − (H; s) ! CF − H; s where H = (Σ; β; α).
Load more

Recommended publications
  • Zuoqin Wang Time: March 25, 2021 the QUOTIENT TOPOLOGY 1. The
    Topology (H) Lecture 6 Lecturer: Zuoqin Wang Time: March 25, 2021 THE QUOTIENT TOPOLOGY 1. The quotient topology { The quotient topology. Last time we introduced several abstract methods to construct topologies on ab- stract spaces (which is widely used in point-set topology and analysis). Today we will introduce another way to construct topological spaces: the quotient topology. In fact the quotient topology is not a brand new method to construct topology. It is merely a simple special case of the co-induced topology that we introduced last time. However, since it is very concrete and \visible", it is widely used in geometry and algebraic topology. Here is the definition: Definition 1.1 (The quotient topology). (1) Let (X; TX ) be a topological space, Y be a set, and p : X ! Y be a surjective map. The co-induced topology on Y induced by the map p is called the quotient topology on Y . In other words, −1 a set V ⊂ Y is open if and only if p (V ) is open in (X; TX ). (2) A continuous surjective map p :(X; TX ) ! (Y; TY ) is called a quotient map, and Y is called the quotient space of X if TY coincides with the quotient topology on Y induced by p. (3) Given a quotient map p, we call p−1(y) the fiber of p over the point y 2 Y . Note: by definition, the composition of two quotient maps is again a quotient map. Here is a typical way to construct quotient maps/quotient topology: Start with a topological space (X; TX ), and define an equivalent relation ∼ on X.
    [Show full text]
  • Arxiv:0704.1009V1 [Math.KT] 8 Apr 2007 Odo References
    LECTURES ON DERIVED AND TRIANGULATED CATEGORIES BEHRANG NOOHI These are the notes of three lectures given in the International Workshop on Noncommutative Geometry held in I.P.M., Tehran, Iran, September 11-22. The first lecture is an introduction to the basic notions of abelian category theory, with a view toward their algebraic geometric incarnations (as categories of modules over rings or sheaves of modules over schemes). In the second lecture, we motivate the importance of chain complexes and work out some of their basic properties. The emphasis here is on the notion of cone of a chain map, which will consequently lead to the notion of an exact triangle of chain complexes, a generalization of the cohomology long exact sequence. We then discuss the homotopy category and the derived category of an abelian category, and highlight their main properties. As a way of formalizing the properties of the cone construction, we arrive at the notion of a triangulated category. This is the topic of the third lecture. Af- ter presenting the main examples of triangulated categories (i.e., various homo- topy/derived categories associated to an abelian category), we discuss the prob- lem of constructing abelian categories from a given triangulated category using t-structures. A word on style. In writing these notes, we have tried to follow a lecture style rather than an article style. This means that, we have tried to be very concise, keeping the explanations to a minimum, but not less (hopefully). The reader may find here and there certain remarks written in small fonts; these are meant to be side notes that can be skipped without affecting the flow of the material.
    [Show full text]
  • KK-Theory As a Triangulated Category Notes from the Lectures by Ralf Meyer
    KK-theory as a triangulated category Notes from the lectures by Ralf Meyer Focused Semester on KK-Theory and its Applications Munster¨ 2009 1 Lecture 1 Triangulated categories formalize the properties needed to do homotopy theory in a category, mainly the properties needed to manipulate long exact sequences. In addition, localization of functors allows the construction of interesting new functors. This is closely related to the Baum-Connes assembly map. 1.1 What additional structure does the category KK have? −n Suspension automorphism Define A[n] = C0(R ;A) for all n ≤ 0. Note that by Bott periodicity A[−2] = A, so it makes sense to extend the definition of A[n] to Z by defining A[n] = A[−n] for n > 0. Exact triangles Given an extension I / / E / / Q with a completely posi- tive contractive section, let δE 2 KK1(Q; I) be the class of the extension. The diagram I / E ^> >> O δE >> > Q where O / denotes a degree one map is called an extension triangle. An alternate notation is δ Q[−1] E / I / E / Q: An exact triangle is a diagram in KK isomorphic to an extension triangle. Roughly speaking, exact triangles are the sources of long exact sequences of KK-groups. Remark 1.1. There are many other sources of exact triangles besides extensions. Definition 1.2. A triangulated category is an additive category with a suspension automorphism and a class of exact triangles satisfying the axioms (TR0), (TR1), (TR2), (TR3), and (TR4). The definition of these axiom will appear in due course. Example 1.3.
    [Show full text]
  • MATH 227A – LECTURE NOTES 1. Obstruction Theory a Fundamental Question in Topology Is How to Compute the Homotopy Classes of M
    MATH 227A { LECTURE NOTES INCOMPLETE AND UPDATING! 1. Obstruction Theory A fundamental question in topology is how to compute the homotopy classes of maps between two spaces. Many problems in geometry and algebra can be reduced to this problem, but it is monsterously hard. More generally, we can ask when we can extend a map defined on a subspace and then how many extensions exist. Definition 1.1. If f : A ! X is continuous, then let M(f) = X q A × [0; 1]=f(a) ∼ (a; 0): This is the mapping cylinder of f. The mapping cylinder has several nice properties which we will spend some time generalizing. (1) The natural inclusion i: X,! M(f) is a deformation retraction: there is a continous map r : M(f) ! X such that r ◦ i = IdX and i ◦ r 'X IdM(f). Consider the following diagram: A A × I f◦πA X M(f) i r Id X: Since A ! A × I is a homotopy equivalence relative to the copy of A, we deduce the same is true for i. (2) The map j : A ! M(f) given by a 7! (a; 1) is a closed embedding and there is an open set U such that A ⊂ U ⊂ M(f) and U deformation retracts back to A: take A × (1=2; 1]. We will often refer to a pair A ⊂ X with these properties as \good". (3) The composite r ◦ j = f. One way to package this is that we have factored any map into a composite of a homotopy equivalence r with a closed inclusion j.
    [Show full text]
  • HOMOTOPY THEORY for BEGINNERS Contents 1. Notation
    HOMOTOPY THEORY FOR BEGINNERS JESPER M. MØLLER Abstract. This note contains comments to Chapter 0 in Allan Hatcher's book [5]. Contents 1. Notation and some standard spaces and constructions1 1.1. Standard topological spaces1 1.2. The quotient topology 2 1.3. The category of topological spaces and continuous maps3 2. Homotopy 4 2.1. Relative homotopy 5 2.2. Retracts and deformation retracts5 3. Constructions on topological spaces6 4. CW-complexes 9 4.1. Topological properties of CW-complexes 11 4.2. Subcomplexes 12 4.3. Products of CW-complexes 12 5. The Homotopy Extension Property 14 5.1. What is the HEP good for? 14 5.2. Are there any pairs of spaces that have the HEP? 16 References 21 1. Notation and some standard spaces and constructions In this section we fix some notation and recollect some standard facts from general topology. 1.1. Standard topological spaces. We will often refer to these standard spaces: • R is the real line and Rn = R × · · · × R is the n-dimensional real vector space • C is the field of complex numbers and Cn = C × · · · × C is the n-dimensional complex vector space • H is the (skew-)field of quaternions and Hn = H × · · · × H is the n-dimensional quaternion vector space • Sn = fx 2 Rn+1 j jxj = 1g is the unit n-sphere in Rn+1 • Dn = fx 2 Rn j jxj ≤ 1g is the unit n-disc in Rn • I = [0; 1] ⊂ R is the unit interval • RP n, CP n, HP n is the topological space of 1-dimensional linear subspaces of Rn+1, Cn+1, Hn+1.
    [Show full text]
  • HOMOTOPY CARTESIAN DIAGRAMS in N-ANGULATED CATEGORIES 1
    Homology, Homotopy and Applications, vol. 21(2), 2019, pp.377–394 HOMOTOPY CARTESIAN DIAGRAMS IN n-ANGULATED CATEGORIES ZENGQIANG LIN and YAN ZHENG (communicated by Claude Cibils) Abstract It has been proved by Bergh and Thaule that the higher map- ping cone axiom is equivalent to the higher octahedral axiom for n-angulated categories. In this paper we use homotopy carte- sian diagrams to give several new equivalent statements of the higher mapping cone axiom. As an application we give a new and elementary proof of the fact that the stable category of a Frobenius (n − 2)-exact category is an n-angulated category, which was first proved by Jasso. 1. Introduction Let n be an integer greater than or equal to three. The notion of n-angulated category was introduced by Geiss, Keller and Oppermann in [5] as the axiomatization of certain (n − 2)-cluster tilting subcategories of triangulated categories. In particular, a 3-angulated category is a classical triangulated category. Examples of n-angulated categories can be found in [5, 4, 8]. Bergh and Thaule discussed the axioms of n- angulated categories in [3]. They showed that for n-angulated categories the higher mapping cone axiom is equivalent to the higher octahedral axiom. The first aim and motivation of this paper is to understand the higher octahe- dral axiom. The n-angle induced by the higher octahedral axiom is very mysterious because it involves a lot of objects and morphisms. How do these objects and mor- phisms behave together? What are the morphisms of n-angles hidden in the higher octahedral axiom? The second motivation is to discuss other equivalent statements of the higher mapping cone axiom.
    [Show full text]
  • HOMOLOGICAL ALGEBRA NOTES 1. Chain Homotopies Consider A
    1 HOMOLOGICAL ALGEBRA NOTES KELLER VANDEBOGERT 1. Chain Homotopies Consider a chain complex C of vector spaces ··· / Cn+1 / Cn / Cn−1 / ··· At every point we may extract the short exact sequences 0 / Zn / Cn / Cn=Zn / 0 0 / d(Cn+1) / Zn / Zn=d(Cn+1) / 0 Since Zn and d(Cn) are vector subspaces, in particular they are injective modules, giving that 0 Cn = Zn ⊕ Bn 0 Zn = Bn ⊕ Hn 0 0 with Bn := Cn=Zn, Hn := Hn(C), and Bn := d(Cn+1). This decom- position allows for a way to move backward along our complex via a composition of projections and inclusions: ∼ 0 ∼ 0 ∼ 0 0 ∼ Cn = Zn ⊕ Bn ! Zn = Bn ⊕ Hn ! Bn = Bn+1 ,! Zn+1 ⊕ Bn+1 = Cn+1 If we denote by sn : Cn ! Cn+l the composition of the above, then one sees dnsndn = dn (more succinctly, dsd = d), and we have the 1These notes were prepared for the Homological Algebra seminar at University of South Carolina, and follow the book of Weibel. Date: November 21, 2017. 1 2 KELLER VANDEBOGERT commutative diagram dn+1 dn / Cn+1 / Cn / Cn−1 / sn sn−1 | dn+1 | dn / Cn+1 / Cn / Cn−1 / Definition 1.1. A complex C is called split is there are maps sn : Cn ! Cn+1 such that dsd = d. The sn are called the splitting maps. If in addition C is acyclic, C is called split exact. The map dn+1sn + sn−1dn is particularly interesting. We have the following: Proposition 1.2. If id = dn+1sn + sn−1dn, then the chain complex C is acyclic.
    [Show full text]
  • A Homotopical Categorification of the Euler Calculus
    A Homotopical Categorification of the Euler Calculus Thesis submitted in accordance with the requirements of the University of Liverpool for the degree of Doctor in Philosophy by Cordelia Laura Elizabeth Henderson Moggach Submitted: Liverpool, 28 January 2020 Minor modifications: Grenoble, 28 July 2020 Abstract Euler calculus is an analogue of the theory of integration for constructible func- tions rather than measurable ones. Due to its computationally accessible nature, Euler calculus plays a central role in aspects of applied algebraic topology, for example in enumeration problems involving networks of sensors. A geometric description of the constructible functions is given by the Grothendieck group of the constructible derived category. This sheaf-theoretic categorification of the constructible functions is well-known. We present an alternative geometric cate- gorification of the constructible functions given by a suitable homotopy category; an analogue of the classical Spanier{Whitehead category but for suitably `tame' spaces over the source space of the constructible functions. To do so, we develop an axiomatic method for constructing Spanier{Whitehead categories given some ambient category with certain basic properties. The lifting of the operations of the Euler calculus to functors between these Spanier{Whitehead categories should illuminate homotopical aspects of the Euler calculus. ii In memory of my father, Anthony Austin Moggach, 1946 { 2015, who hoped so much to ride the Mersey ferry. iv Acknowledgements This PhD thesis was funded by the UK Engineering and Physical Sciences Re- search Council [EPSRC Doctoral Training Studentship, Award 1577502]. I am very grateful for their generous support. I would like to thank, first and foremost, my supervisor, Dr Jon Woolf.
    [Show full text]
  • NOTES on BASIC HOMOLOGICAL ALGEBRA 1. Chain Complexes And
    NOTES ON BASIC HOMOLOGICAL ALGEBRA ANDREW BAKER 1. Chain complexes and their homology Let R be a ring and ModR the category of right R-modules; a very similar discussion can be had for the category of left R-modules RMod also makes sense and is left to the reader. Then a sequence of R-module homomorphisms f g L ¡! M ¡! N is said to be exact if Ker g = Im f. Of course this implies that gf = 0. More generally, a sequence of homomorphisms fn+1 fn fn¡1 ¢ ¢ ¢ ¡¡¡! Mn ¡! Mn¡1 ¡¡¡!¢ ¢ ¢ is exact if for each n, the sequence fn+1 fn Mn+1 ¡¡¡! Mn ¡! Mn¡1 is exact. An exact sequence of the form f g 0 ! L ¡! M ¡! N ! 0 is called short exact. Such a sequence is split exact if there is a homomorphism r : M ¡! L (or equivalently j : N ¡! M) so that rf = idL (respectively gj = idN ). w; LO ww idww ww r ww g 0 ! L / M / N ! 0 O v; f vv vv j vv vv id N These equivalent conditions imply that M =» L © N. Such homomorphisms r and g are said to be retractions, while L and N are said to be retracts of M. A sequence of homomorphisms dn+1 dn dn¡1 ¢ ¢ ¢ ¡¡¡! Cn ¡! Cn¡1 ¡¡¡!¢ ¢ ¢ is called a chain complex if for each n, (1.1) dndn+1 = 0; or equivalently, Im dn+1 ⊆ Ker dn: An exact or acyclic chain complex is one which each segment dn+1 dn Cn+1 ¡¡¡! Cn ¡! Cn¡1 Date: [28/02/2009].
    [Show full text]
  • MAT8232 ALGEBRAIC TOPOLOGY II: HOMOTOPY THEORY 1. Introduction
    MAT8232 ALGEBRAIC TOPOLOGY II: HOMOTOPY THEORY MARK POWELL 1. Introduction: the homotopy category Homotopy theory is the study of continuous maps between topological spaces up to homotopy. Roughly, two maps f; g : X ! Y are homotopic if there is a continuous family of maps Ft : X ! Y , for 0 ≤ t ≤ 1, with F0 = f and F1 = g. The set of homotopy classes of maps between spaces X and Y is denoted [X; Y ]. The goal of this course is to understand these sets, and introduce many of the techniques that have been introduced for their study. We will primarily follow the book \A concise course in algebraic topology" by Peter May [May]. Most of the rest of the material comes from \Lecture notes in algebraic topology" by Jim Davis and Paul Kirk [DK]. In this section we introduce the special types of spaces that we will work with in order to prove theorems in homotopy theory, and we recall/introduce some of the basic notions and constructions that we will be using. This section was typed by Mathieu Gaudreau. Conventions. A space X is a topological space with a choice of basepoint that we shall denote by ∗X . Such a space is called a based space, but we shall abuse of notation and simply call it a space. Otherwise, we will specifically say that the space is unbased. Given a subspace A ⊂ X, we shall always assume ∗X 2 A, unless otherwise stated. Also, all spaces considered are supposed path connected. Finally, by a map f :(X; ∗X ) ! (Y; ∗Y ) between based space, we shall mean a continuous map f : X ! Y preserving the basepoints (i.e.
    [Show full text]
  • Category of Noncommutative Cw Complexes
    Available at: http://publications.ictp.it IC/2007/055 United Nations Educational, Scientific and Cultural Organization and International Atomic Energy Agency THE ABDUS SALAM INTERNATIONAL CENTRE FOR THEORETICAL PHYSICS CATEGORY OF NONCOMMUTATIVE CW COMPLEXES Do Ngoc Diep1 Institute of Mathematics, Vietnam Academy of Science and Technology, 18 Hoang Quoc Viet Road, Cau Giay District, 10307 Hanoi, Vietnam and The Abdus Salam International Centre for Theoretical Physics, Trieste, Italy. Abstract We expose the notion of noncommutative CW (NCCW) complexes, define noncommutative (NC) mapping cylinder and NC mapping cone, and prove the noncommutative Approximation Theorem. The long exact homotopy sequences associated with arbitrary morphisms are also deduced. MIRAMARE – TRIESTE July 2007 [email protected] 1 Introduction Classical algebraic topology was fruitfully developed in the category of topological spaces with CW com- plex structure, see e.g. [W]. Our goal is to show that with the same success, a theory can be developed in the framework of noncommutative topology. In noncommutative geometry the notion of topological spaces is changed by the notion of C*-algebras, motivating the spectra of C*-algebras as some noncommutative spaces. In the works [ELP] and [P], the notion of noncommutative CW (NCCW) complex was introduced and some elementary properties of NCCW complexes proved . We continue this line in proving some basic noncommutative results. In this paper we aim to explore the same properties of NCCW complexes, as the ones of CW complexes from algebraic topology. In particular, we prove some NC Cellular Approximation Theorem and the existence of homotopy exact sequences associated with morphisms. In the work [D3] we introduced the notion of NC Serre fibrations (NCSF) and studied cyclic theories for the (co)homology of these NCCW complexes.
    [Show full text]
  • Pushouts and Adjunction Spaces This Note Augments Material in Hatcher, Chapter 0
    Pushouts and Adjunction Spaces This note augments material in Hatcher, Chapter 0. Pushouts Given maps i: A → X and f: A → B, we wish to complete the commu- tative square (a) in a canonical way. 7 Z nn? G X ____ / Y h nnn ~ O g O nnn ~ nnnm ~ nnn ~ (a) i j (b) n / (1) XO g YO k f i j A / B f A / B Definition 2 We call (1)(a) a pushout square if it commutes, j ◦ f = g ◦ i, and is universal, in the sense that given any space Z and maps h: X → Z and k: B → Z such that k ◦ f = h ◦ i, there exists a unique map m: Y → Z that makes diagram (1)(b) commute, m ◦ g = h and m ◦ j = k. We then call Y a pushout of i and f. The good news is that uniqueness of pushouts is automatic. Proposition 3 Given any maps i and f as in (1)(a), the pushout space Y is unique up to canonical homeomorphism. Proof Suppose Y 0, with maps g0: X → Y 0 and j0: B → Y 0, is another pushout. Take Z = Y 0; we find a map m: Y → Y 0 such that m ◦ g = g0 and m ◦ j = j0. By reversing the roles of Y and Y 0, we find m0: Y 0 → Y such that m0 ◦ g0 = g and m0 ◦ j0 = j. Then m0 ◦ m ◦ g = m0 ◦ g0 = g, and similarly m0 ◦ m ◦ j = j. Now take Z = Y , h = g, and 0 k = j. We have two maps, m ◦ m: Y → Y and idY : Y → Y , that make diagram (1)(b) 0 0 commute; by the uniqueness in Definition 2, m ◦ m = idY .
    [Show full text]