Introduction: Overview of Morse Homology

Total Page:16

File Type:pdf, Size:1020Kb

Introduction: Overview of Morse Homology Introduction: Overview of Morse homology 1 2 INTRODUCTION: OVERVIEW OF MORSE HOMOLOGY What are nice functions? We will consider the following setup: M = closed1 (smooth)m-dimensional manifold, f:M→R a smooth function. Locally,f:R m →R nearp=0: ∂f 1 ∂2f f(x) =f(0)+ (0)·x + (0)·x x +··· ∂x i ! ∂x ∂x i j �i i �i,j i j 1 T =f(0)+ df 0 ·x+ x · "ess0(f)·x+··· (matrix notation) "ope: • Want fewp∈M with dfp = 0 ←−p critical point (e.g. ma#,min) $ote: these arem conditions, so we hope (i) %nite &rit(f)={critical points off} • 't criticalp, we want a good ne#t order term: (ii) det"essp(f)�= 0 ←−p nondegenerate Fact. (ii)⇒ (i) Def. f:M→R is Morse if all critical points are nondegenerate Example.M= torus: standing )ertically R lying *at R f = height f = height � circle of ma#ima (orse hence not Morse Modern perspective ∗ T M graph of df ∗ dfp (section ofT M) the section df is trans)erse f is Morse⇔ ∗ to the +ero section ofT M p M = +ero section Idea of what -trans)erse. means: trans)erse non-trans)erse /rans)erse o01ects are the -generic. ones in geometry: 1closed = compact and no boundary. HOW DO YOU RELATE MORSEf TO THE TOPOLO GY? 3 small perturbation non-trans)erse trans)erse ⇒ almost all functions are (orse Fact. All manifolds arise as submanifolds of someR k. We’ll prove that: almost any “height function”2 is Morse onM⊂R k. ⇒ it is easy to %nd Morse functions How do you relate Morsef to the topology? /wo natural geometrical o01ects to loo2 at, given a functionf: level setsf=r sublevel setsf≤r &onsider the torus standing )ertically: Level set Sublevel set R r∈ ∅ f = height ∅ ∅ 30ser)e that the topology changes when you cross the critical valuesf(p), where dfp = 0. 3therwise the topology does not change: f −1(r+ε) −1 flow in the direction of −∇f f (r) to homeomorphf≤r+ε ontof≤r We will pro)e: passing through a critical point changes the topology 0y attaching ak-cell, where k = 4negative eigen)alues of "esspf ←− index|p| Example:M = torus,f = height 2height function = linear functionalR k →R. 4 INTRODUCTION: OVERVIEW OF MORSE HOMOLOGY saddle −∇f locallyf(x, y)=−x 2 +y 2 − 0 "ess0f= � 0 � p so|p|=1 1-cell 5u0le)el set $ew su0le)el set pass through � hpy e6uiv 1-handle critical )aluef(p) diffeo =∼ homeo ⇒ &an reconstruct the mfd up to hpy e6uivalence Hw !:f (orse with critical p oints⇒M =∼ Sm homeomorphic. Warning. $ot diffeomorphic,∃ -e#otic.S 7 homeo 0ut not diffeo to the usual S7 ⊂R 8 (pro)ed 0y Milnor, using the result of "w2 8). "s it easy to recover the homology fromf? #lassical approach $Morse∼ 19:0% &hom% Smale% Miln or∼ 19;0% ...( <ic2 a self-inde#ing Morse function (meaning inde#(p)=f(p)). ⇒ the a0o)e cell-attachments de%ne a &W structure onM. ⇒ reco)er cellular homology ofM =#ample:M=S 1 p R −∇f f = height q &onsider the unsta0le cells x �→ U(x) ={points *owing down fro m the critical pointx} p U(p)= 1-cell U(q)= 0-cell q IS IT EASY TO RECOVER THE HOMOLOGY FROMf? 5 /he cellular 0oundary is:3 ∂U(p)=U(q)−U(q)=0 c !! 1 soH ∗ (S ) is generated 0y cellsU(q),U(p) in degrees∗ =0,1, as e#pected. Why is the classical approach bad? IfM is∞-dimensional, thenU(p) is usually∞-dimensional, hence no t a cell. 'lso, the -*ow. is often not de%ned, soU(p) is not e)en well-de%ne d. >ou may as2: who cares a0out∞-dimensional manifolds ? 'ctually, these nowadays arise 6uite naturally in geometry. @or e#ample: p p M = space of all loops q modern q is an∞ dimensional mfd research Morse theory Floer theory “particle theory” “string theory” Modern approach $Witten, Floer%...∼ 1980( &onsider the moduli space4 M(p, q)= {−∇f *owlines fromp toq}/reparametrization Aemar2: we identify the reparametrized *owlinesu(s) andu(s + constant). =#ample:M=S 1 p γ1 γ2 M(p, q)={γ 1, γ2} q Be%ne a chain comple#, called Morse complex, MC∗(f)=Z 2 ·p⊕Z 2 ·q⊕··· where p,q,... are the critical points, and we wor2 o)erZ 2 =Z/ to a)oid signs. /he grading∗ refers to the (orse ind e#, soMC k(f) has aZ 2 summand for each critical point of inde#k. d:MC k →MC k−1 dp= q(4elements inM(p, q))·q � =#ample:M = hot-dog ( =∼ S2) 3Note that orientation signs are a subtle issue if we got the sign wrong! then suddenly∂U(p) would no longer be "ero. #o a$oid such technical subtleties! we will wor% o$erZ/& in this course. 4these flowlines are called instantons or tunneling paths in physics. " INTRODUCTION: OVERVIEW OF MORSE HOMOLOGY a b R α β 1 c f = height γ ε e 0 /hen: MC2 =Z 2 ·a⊕Z 2 · b da=4{α}·c=c, db=4{β}·c=c MC1 =Z 2 · c dc=4{γ,ε}=0(mod ) MC0 =Z 2 · e de=0 2er∂ Morse homology= =MH ∗(f) =Z 2 ·e⊕Z 2(a−b) im∂ ∗=0 2 30ser)e this is the same asH ∗(S ) (o)erZ/ ). &heorem.MH ∗(f) =∼ H∗(M) #or. 4(critical points of a Morse function) = 4(generators ofMC ∗(f)) ≥ 4(generators ofMH ∗(f)) = dimH i(M)(Betti numbers) � =#ample. ' genericf: →R has≥ + · genus = ; critical poin ts.5 )eometry is functional analysis We made two tacit assumptions when de%ningMC ∗,MH∗: (1) need 4M(p, q) %nite for|q|=|p|− 1. Aephrasing: M(p, q) is a compact 0-dimensional manifold ( ) needd 2 =d◦d = 0 to de%ne homology . "dea of proof of $*(: 2 d p=d( q 4M(p, q)·q) = �q,r 4M(p, q)·4M(q, r)·r $ow 4M(p, q)·4M(q, r) counts� -0ro2en. *owl ines fromp toq tor. "ence: d2 = 0⇔ once-bro2en *owlines a rise in pairs "ope:∃ a 1-family of *owlines 1oining two 0ro2en *owlines: 5 i Non-examinable: 'lgebraic topology tells you≥|χ(M)|=| �(−() dimMC i(f)|! $ia the intersection number graph(df)·) T ∗M =−χ(M). *o for a torus it +us t predicts≥ ). GEOMETRY IS FUNCTIONAL ANALYSIS 7 p q( q& r Ciew the *owlines as points in the moduli space, then: 1-family ⊂ M(p, r) 0ro2en flowline 0ro2en flowline "ope: •M(p, r) is a non-compact 1-mfd • ∃ natural way of ma2ing it compact: M(p, r)=M(p, r)∪-∂M(p, r). (∂M(p, r)={bro2en *owlines}) ⇒ M(p, r) compact 1-mfd ⇒ M(p, r) = dis1oint union of circles and compact inter)als ⇒∂ M(p, r) = e)en num0er of points, so =0 mod ⇒d 2p=0 ⇒d 2 = 0� "dea of proof of $+(: Functional ,nalysis (:) transversality problem:M(p, q) are smooth manifolds for a -generic. metricg (which de%nes∇f 0yg(∇f,·) = df), and dimM(p, q)=|p|−|q|−1. (D) compactness problem:M(p, q) can 0e compactified 0y 0ro2en flow- lines. (ost modern homology theories in)olve these two pro0lems ⇒ (orse homology is a perfect playground! "dea to solve $-(: consider the ./anach0 vector bundle {smooth )ector %elds alongu} � sectionF=∂ su−∇f(u) � {smooth pathsu:R→M,u(s)→p,q ass→−∞,+∞} 30ser)e: F=0⇔∂ su=−∇f⇔u∈M(p, q) 8 INTRODUCTION: OVERVIEW OF MORSE HOMOLOGY ⇒ M(p, q) = intersection of a section of a Eanach )ector 0undle with 0 section F perturb the metricg non-trans)erse trans)erse ⇒ M(p, q) mfd! )eometry is algebra ∗ ∗ Be%ne the Morse cohomologyMH (f) =∼ H (M) using ∗ MC =Z 2 ·p⊕Z 2 ·q⊕··· :MC k →MC k#1 p= q 4M(q, p)·q (where|q|=|p|+1) � m−∗ " /hen oincar!edualityH ∗(M) =∼ H (M) (o)erZ 2) is 1ust the symmetry: m−∗ MH∗(f) =∼ MH (−f) p �→p M(p, qFf) =∼ M(q, pF−f) −∇f *owlineu(s) �→ ∇f *owlineu(−s) /he switch in grading is 0ecause *ipping the sign off *ips the sign of the "e ssian. <oincarGeduality is 1ust re)ersal of *owlines in (orse theory! If you use a height function, <oincarGeduality is the intuitive idea -loo2 at the manifold upside down!.. The "#unneth isomorphismH ∗(M1 ×M 2) =∼ H∗(M1)⊗H ∗(M2) can 0e pro)ed 6uite simply now 0y the o0ser)ation: (orse functionsf 1 :M 1 →R,f 2 :M 2 →R give naturally rise to the (orse functionf 1 +f 2 :M 1 ×M 2 →R, and the *owlines are 1ust the com0ined *owline forf 1, f2 on the respective factors ofM 1 ×M 2. The cup productH a(M)⊗H b(M)→H a#b(M) can also 0e described (orse theoretically: you count *ows along a >-shaped @eynman graph, *owing 0y a (orse function along each of the three edges of the graph and you re6uire that the *ow con)erges to the inputs p,q at the top, and tor at the 0ottom. /his so lution then contributesp·q=r+··· to the product. "this also wor%s o$erZ! but then one needs to assumeM is orientable! which is secretly ∗ hidden in the orientation signs that de,neMC ∗!MC ..
Recommended publications
  • Summary of Morse Theory
    Summary of Morse Theory One central theme in geometric topology is the classification of selected classes of smooth manifolds up to diffeomorphism . Complete information on this problem is known for compact 1 – dimensional and 2 – dimensional smooth manifolds , and an extremely good understanding of the 3 – dimensional case now exists after more than a century of work . A closely related theme is to describe certain families of smooth manifolds in terms of relatively simple decompositions into smaller pieces . The following quote from http://en.wikipedia.org/wiki/Morse_theory states things very briefly but clearly : In differential topology , the techniques of Morse theory give a very direct way of analyzing the topology of a manifold by studying differentiable functions on that manifold . According to the basic insights of Marston Morse , a differentiable function on a manifold will , in a typical case, reflect the topology quite directly . Morse theory allows one to find CW [cell complex] structures and handle decompositions on manifolds and to obtain substantial information about their homology . Morse ’s approach to studying the structure of manifolds was a crucial idea behind the following breakthrough result which S. Smale obtained about 50 years ago : If n a compact smooth manifold M (without boundary) is homotopy equivalent to the n n n sphere S , where n ≥ 5, then M is homeomorphic to S . — Earlier results of J. Milnor constructed a smooth 7 – manifold which is homeomorphic but not n n diffeomorphic to S , so one cannot strengthen the conclusion to say that M is n diffeomorphic to S . We shall use Morse ’s approach to retrieve some low – dimensional classification and decomposition results which were obtained before his theory was developed .
    [Show full text]
  • Morse-Conley-Floer Homology
    Morse-Conley-Floer Homology Contents 1 Introduction 1 1.1 Dynamics and Topology . 1 1.2 Classical Morse theory, the half-space approach . 4 1.3 Morse homology . 7 1.4 Conley theory . 11 1.5 Local Morse homology . 16 1.6 Morse-Conley-Floer homology . 18 1.7 Functoriality for flow maps in Morse-Conley-Floer homology . 21 1.8 A spectral sequence in Morse-Conley-Floer homology . 23 1.9 Morse-Conley-Floer homology in infinite dimensional systems . 25 1.10 The Weinstein conjecture and symplectic geometry . 29 1.11 Closed characteristics on non-compact hypersurfaces . 32 I Morse-Conley-Floer Homology 39 2 Morse-Conley-Floer homology 41 2.1 Introduction . 41 2.2 Isolating blocks and Lyapunov functions . 45 2.3 Gradient flows, Morse functions and Morse-Smale flows . 49 2.4 Morse homology . 55 2.5 Morse-Conley-Floer homology . 65 2.6 Morse decompositions and connection matrices . 68 2.7 Relative homology of blocks . 74 3 Functoriality 79 3.1 Introduction . 79 3.2 Chain maps in Morse homology on closed manifolds . 86 i CONTENTS 3.3 Homotopy induced chain homotopies . 97 3.4 Composition induced chain homotopies . 100 3.5 Isolation properties of maps . 103 3.6 Local Morse homology . 109 3.7 Morse-Conley-Floer homology . 114 3.8 Transverse maps are generic . 116 4 Duality 119 4.1 Introduction . 119 4.2 The dual complex . 120 4.3 Morse cohomology and Poincare´ duality . 120 4.4 Local Morse homology . 122 4.5 Duality in Morse-Conley-Floer homology . 122 4.6 Maps in cohomology .
    [Show full text]
  • Spring 2016 Tutorial Morse Theory
    Spring 2016 Tutorial Morse Theory Description Morse theory is the study of the topology of smooth manifolds by looking at smooth functions. It turns out that a “generic” function can reflect quite a lot of information of the background manifold. In Morse theory, such “generic” functions are called “Morse functions”. By definition, a Morse function on a smooth manifold is a smooth function whose Hessians are non-degenerate at critical points. One can prove that every smooth function can be perturbed to a Morse function, hence we think of Morse functions as being “generic”. Roughly speaking, there are two different ways to study the topology of manifolds using a Morse function. The classical approach is to construct a cellular decomposition of the manifold by the Morse function. Each critical point of the Morse function corresponds to a cell, with dimension equals the number of negative eigenvalues of the Hessian matrix. Such an approach is very successful and yields lots of interesting results. However, for some technical reasons, this method cannot be generalized to infinite dimensions. Later on people developed another method that can be generalized to infinite dimensions. This new theory is now called “Floer theory”. In the tutorial, we will start from the very basics of differential topology and introduce both the classical and Floer-theory approaches of Morse theory. Then we will talk about some of the most important and interesting applications in history of Morse theory. Possible topics include but are not limited to: Smooth h- Cobordism Theorem, Generalized Poincare Conjecture in higher dimensions, Lefschetz Hyperplane Theorem, and the existence of closed geodesics on compact Riemannian manifolds, and so on.
    [Show full text]
  • Graph Reconstruction by Discrete Morse Theory Arxiv:1803.05093V2 [Cs.CG] 21 Mar 2018
    Graph Reconstruction by Discrete Morse Theory Tamal K. Dey,∗ Jiayuan Wang,∗ Yusu Wang∗ Abstract Recovering hidden graph-like structures from potentially noisy data is a fundamental task in modern data analysis. Recently, a persistence-guided discrete Morse-based framework to extract a geometric graph from low-dimensional data has become popular. However, to date, there is very limited theoretical understanding of this framework in terms of graph reconstruction. This paper makes a first step towards closing this gap. Specifically, first, leveraging existing theoretical understanding of persistence-guided discrete Morse cancellation, we provide a simplified version of the existing discrete Morse-based graph reconstruction algorithm. We then introduce a simple and natural noise model and show that the aforementioned framework can correctly reconstruct a graph under this noise model, in the sense that it has the same loop structure as the hidden ground-truth graph, and is also geometrically close. We also provide some experimental results for our simplified graph-reconstruction algorithm. 1 Introduction Recovering hidden structures from potentially noisy data is a fundamental task in modern data analysis. A particular type of structure often of interest is the geometric graph-like structure. For example, given a collection of GPS trajectories, recovering the hidden road network can be modeled as reconstructing a geometric graph embedded in the plane. Given the simulated density field of dark matters in universe, finding the hidden filamentary structures is essentially a problem of geometric graph reconstruction. Different approaches have been developed for reconstructing a curve or a metric graph from input data. For example, in computer graphics, much work have been done in extracting arXiv:1803.05093v2 [cs.CG] 21 Mar 2018 1D skeleton of geometric models using the medial axis or Reeb graphs [10, 29, 20, 16, 22, 7].
    [Show full text]
  • MORSE-BOTT HOMOLOGY 1. Introduction 1.1. Overview. Let Cr(F) = {P ∈ M| Df P = 0} Denote the Set of Critical Points of a Smooth
    TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 362, Number 8, August 2010, Pages 3997–4043 S 0002-9947(10)05073-7 Article electronically published on March 23, 2010 MORSE-BOTT HOMOLOGY AUGUSTIN BANYAGA AND DAVID E. HURTUBISE Abstract. We give a new proof of the Morse Homology Theorem by con- structing a chain complex associated to a Morse-Bott-Smale function that reduces to the Morse-Smale-Witten chain complex when the function is Morse- Smale and to the chain complex of smooth singular N-cube chains when the function is constant. We show that the homology of the chain complex is independent of the Morse-Bott-Smale function by using compactified moduli spaces of time dependent gradient flow lines to prove a Floer-type continuation theorem. 1. Introduction 1.1. Overview. Let Cr(f)={p ∈ M| df p =0} denote the set of critical points of a smooth function f : M → R on a smooth m-dimensional manifold M. A critical point p ∈ Cr(f) is said to be non-degenerate if and only if df is transverse to the ∗ zero section of T M at p. In local coordinates this is equivalent to the condition 2 that the m × m Hessian matrix ∂ f has rank m at p. If all the critical points ∂xi∂xj of f are non-degenerate, then f is called a Morse function. A Morse function f : M → R on a finite-dimensional compact smooth Riemann- ian manifold (M,g) is called Morse-Smale if all its stable and unstable manifolds intersect transversally. Such a function gives rise to a chain complex (C∗(f),∂∗), called the Morse-Smale-Witten chain complex.
    [Show full text]
  • Appendix an Overview of Morse Theory
    Appendix An Overview of Morse Theory Morse theory is a beautiful subject that sits between differential geometry, topol- ogy and calculus of variations. It was first developed by Morse [Mor25] in the middle of the 1920s and further extended, among many others, by Bott, Milnor, Palais, Smale, Gromoll and Meyer. The general philosophy of the theory is that the topology of a smooth manifold is intimately related to the number and “type” of critical points that a smooth function defined on it can have. In this brief ap- pendix we would like to give an overview of the topic, from the classical point of view of Morse, but with the more recent extensions that allow the theory to deal with so-called degenerate functions on infinite-dimensional manifolds. A compre- hensive treatment of the subject can be found in the first chapter of the book of Chang [Cha93]. There is also another, more recent, approach to the theory that we are not going to touch on in this brief note. It is based on the so-called Morse complex. This approach was pioneered by Thom [Tho49] and, later, by Smale [Sma61] in his proof of the generalized Poincar´e conjecture in dimensions greater than 4 (see the beautiful book of Milnor [Mil56] for an account of that stage of the theory). The definition of Morse complex appeared in 1982 in a paper by Witten [Wit82]. See the book of Schwarz [Sch93], the one of Banyaga and Hurtubise [BH04] or the survey of Abbondandolo and Majer [AM06] for a modern treatment.
    [Show full text]
  • Morse Theory
    Morse Theory Al Momin Monday, October 17, 2005 1 THE example Let M be a 2-torus embedded in R3, laying on it's side and tangent to the two planes z = 0 and z = 1. Let f : M ! R be the function which takes a point x 2 M to its z-coordinate in this embedding (that is, it's \height" function). Let's study what this function can tell us about the topology of the manifold M. Define the sets M a := fx 2 M : f(x) ≤ ag and investigate M a for various a. • a < 0, then M a = φ. 2 a • 0 < a < 3 , then M is a disc. 1 2 a • 3 < a < 3 , then M is a cylinder. 2 a • 3 < a < 1, then M is a genus-1 surface with a single boundary component. • a > 1, then M a is M is the torus. Notice how the topology changes as you pass through a critical point (and conversely, how it doesn't change when you don't!). To describe this change, look at the homotopy type of M a. • a < 0, then M a = φ. 1 a • 0 < a < 3 , then M has the homotopy type of a point. 1 2 a • 3 < a < 3 , then M , which is a cylinder, has the homotopy type of a circle. Notice how this involves attaching a 1-cell to a point. 2 • 3 < a < 1. A surface of geunus 1 with one boundary component deformation retracts onto a figure-8 (see diagram), and so has the homotopy type of a figure-8, which we can obtain from the circle by attaching a 1-cell.
    [Show full text]
  • FLOER THEORY and ITS TOPOLOGICAL APPLICATIONS 1. Introduction in Finite Dimensions, One Way to Compute the Homology of a Compact
    FLOER THEORY AND ITS TOPOLOGICAL APPLICATIONS CIPRIAN MANOLESCU Abstract. We survey the different versions of Floer homology that can be associated to three-manifolds. We also discuss their applications, particularly to questions about surgery, homology cobordism, and four-manifolds with boundary. We then describe Floer stable homotopy types, the related Pin(2)-equivariant Seiberg-Witten Floer homology, and its application to the triangulation conjecture. 1. Introduction In finite dimensions, one way to compute the homology of a compact, smooth manifold is by Morse theory. Specifically, we start with a a smooth function f : X ! R and a Riemannian metric g on X. Under certain hypotheses (the Morse and Morse-Smale conditions), we can form a complex C∗(X; f; g) as follows: The generators of C∗(X; f; g) are the critical points of f, and the differential is given by X (1) @x = nxy · y; fyjind(x)−ind(y)=1g where nxy 2 Z is a signed count of the downward gradient flow lines of f connecting x to y. The quantity ind denotes the index of a critical point, that is, the number of negative eigenvalues of the Hessian (the matrix of second derivatives of f) at that point. The homology H∗(X; f; g) is called Morse homology, and it turns out to be isomorphic to the singular homology of X [Wit82, Flo89b, Bot88]. Floer homology is an adaptation of Morse homology to infinite dimensions. It applies to certain classes of infinite dimensional manifolds X and functions f : X ! R, where at critical points of f the Hessian has infinitely many positive and infinitely many negative eigenvalues.
    [Show full text]
  • Embedded Morse Theory and Relative Splitting of Cobordisms of Manifolds
    Embedded Morse Theory and Relative Splitting of Cobordisms of Manifolds Maciej Borodzik & Mark Powell The Journal of Geometric Analysis ISSN 1050-6926 J Geom Anal DOI 10.1007/s12220-014-9538-6 1 23 Your article is protected by copyright and all rights are held exclusively by Mathematica Josephina, Inc.. This e-offprint is for personal use only and shall not be self-archived in electronic repositories. If you wish to self-archive your article, please use the accepted manuscript version for posting on your own website. You may further deposit the accepted manuscript version in any repository, provided it is only made publicly available 12 months after official publication or later and provided acknowledgement is given to the original source of publication and a link is inserted to the published article on Springer's website. The link must be accompanied by the following text: "The final publication is available at link.springer.com”. 1 23 Author's personal copy JGeomAnal DOI 10.1007/s12220-014-9538-6 Embedded Morse Theory and Relative Splitting of Cobordisms of Manifolds Maciej Borodzik · Mark Powell Received: 11 October 2013 © Mathematica Josephina, Inc. 2014 Abstract We prove that an embedded cobordism between manifolds with boundary can be split into a sequence of right product and left product cobordisms, if the codi- mension of the embedding is at least two. This is a topological counterpart of the algebraic splitting theorem for embedded cobordisms of the first author, A. Némethi and A. Ranicki. In the codimension one case, we provide a slightly weaker state- ment. We also give proofs of rearrangement and cancellation theorems for handles of embedded submanifolds with boundary.
    [Show full text]
  • Morse Theory and Handle Decomposition
    U.U.D.M. Project Report 2018:1 Morse Theory and Handle Decomposition Kawah Rasolzadah Examensarbete i matematik, 15 hp Handledare: Thomas Kragh & Georgios Dimitroglou Rizell Examinator: Martin Herschend Februari 2018 Department of Mathematics Uppsala University Abstract Cellular decomposition of a topological space is a useful technique for understanding its homotopy type. Here we describe how a generic smooth real-valued function on a manifold, a so called Morse function, gives rise to a cellular decomposition of the manifold. Contents 1 Introduction 2 1.1 The construction of attaching a k-cell . .2 1.2 An explicit example of cellular decomposition . .3 2 Background on smooth manifolds 8 2.1 Basic definitions and theorems . .8 2.2 The Hessian and the Morse lemma . 10 2.3 One-parameter subgroups . 17 3 Proof of the main theorem 21 4 Acknowledgment 35 5 References 36 1 1 Introduction Cellular decomposition of a topological space is a useful technique we apply to compute its homotopy type. A smooth Morse function (a Morse function is a function which has only non-degenerate critical points) on a smooth manifold gives rise to a cellular decomposition of the manifold. There always exists a Morse function on a manifold. (See [2], page 43). The aim of this paper is to utilize the technique of cellular decomposition and to provide some tools, among them, the lemma of Morse, in order to study the homotopy type of smooth manifolds where the manifolds are domains of smooth Morse functions. This decomposition is also the starting point of the classification of smooth manifolds up to homotopy type.
    [Show full text]
  • Arxiv:1302.1025V3 [Math.SG] 22 Oct 2015
    HAMILTONIAN FLOER HOMOLOGY FOR COMPACT CONVEX SYMPLECTIC MANIFOLDS SERGEI LANZAT Abstract. We construct absolute and relative versions of Hamiltonian Floer ho- mology algebras for strongly semi-positive compact symplectic manifolds with con- vex boundary, where the ring structures are given by the appropriate versions of the pair-of-pants products. We establish the absolute and relative Piunikhin{Salamon{ Schwarz isomorphisms between these Floer homology algebras and the corresponding absolute and relative quantum homology algebras. As a result, the absolute and relative analogues of the spectral invariants on the group of compactly supported Hamiltonian diffeomorphisms are defined. 1. Introduction. In [14] U. Frauenfelder and F. Schlenk defined the Floer homology for weakly exact compact convex symplectic manifolds. The authors also established the Piunikhin{ Salamon{Schwarz (PSS) isomorphism between the ring of Floer homology and the ring of Morse homology of such manifolds. This in turn led to the construction of the spectral invariants on the group of compactly supported Hamiltonian diffeomor- phisms analogous to the spectral invariants constructed by M. Schwarz in [33] and by Y.- G. Oh in [23] for closed symplectic manifolds. We extend the definitions and the constructions of U. Frauenfelder and F. Schlenk to the case of strongly semi-positive compact convex symplectic manifolds. As a result, we get absolute and relative ver- sions of Hamiltonian Floer homology algebras, where the ring structures are given by the appropriate versions of the pair-of-pants products. We establish the absolute and relative Piunikhin{Salamon{Schwarz isomorphisms between these Floer homology al- gebras and the corresponding absolute and relative quantum homology algebras.
    [Show full text]
  • Morse Theory and Applications
    CENTRO DE INVESTIGACIÓN EN MATEMÁTICAS, A.C. MATHEMATICS RESEARCH CENTER MORSE THEORY AND APPLICATIONS a thesis submitted in partial fulfillment of the requirement for the msc degree Advisors: Dr. Rafael Herrera Guzmán Dr. Carlos Valero Valdés Student: Rithivong Chhim Guanajuato, Gto, México July 31, 2017 Contents Acknowledgments .................................i Introduction ..................................... ii 1 Basic Definitions and Examples 1 1.1 Differential Geometry of Manifolds . .1 1.1.1 Smooth Functions in Euclidean space . .1 1.1.2 Smooth manifolds . .2 1.1.3 Smooth Maps between Smooth Manifolds . .3 1.1.4 Tangent Vectors and Tangent Spaces . .3 1.1.5 Hessian, Regular points, Critical Points of a Function . .4 1.1.6 Vector Fields and One-Parameter Tranformation Groups . .8 1.1.7 Jacobian of a map and coarea formula . .9 1.1.8 Frenet-Serret formulas . 11 1.2 Topology of Manifolds . 12 1.2.1 Homotopy . 12 1.2.2 CW-Complexes . 12 2 Morse Theory 14 2.1 Morse Function . 14 2.2 Morse lemma . 16 2.3 Existence of Morse Functions . 21 2.4 Fundamental Theorems of Morse Theory . 32 2.4.1 First Fundamental Theorem . 32 2.4.2 Second Fundamental Theorem . 35 2.4.3 Consequence of the Fundamental Theorems . 42 2.5 The Morse Inequalities . 45 3 Simple applications of Morse theory 52 3.1 Examples . 52 3.2 Reeb’s theorem . 53 3.3 Morse Functions on Knots . 55 Acknowledgments I would like to thank my advisors, Dr. Rafael Herrera Guzmán and Dr. Car- los Valero Valdés, without whom this thesis could not have been written.
    [Show full text]