MORSE THEORY DAN BURGHELEA. Department of Mathematics The Ohio State University
|
|
- Ross Barnett
- 5 years ago
- Views:
Transcription
1 MORSE THEORY DAN BURGHELEA Department of Mathematics The Ohio State University 1
2 Morse Theory begins with the modest task of understanding the local maxima, minima and sadle points of a smooth function in relation with the topology of the space the function is defined on. 1 It led to (or it was crucial in the proof of) some of the deepest mathematical results in: - differential, algebraic and infinite dimensional topology, - dynamics, - Riemannian and symplectic geometry, gauge theory, algebraic geometry. (Added: There are also interesting and powerful results in cohomology of groups (geometric group theory) due to Brady- Bestvina proven using ideas of Morse theory) New aspects of the theory raise questions attractive by the simplicity of their formulation and promising for application. 1 it works like the most obvious method to understand the shape of a curve in plane: intersect the curve with lines parallel to some direction and watch the change in cardinality of this intersection. 2
3 1. LECTURE 1 (ELEMENTARY MORSE THEORY) (Morse theory is one of the most powerful illustrations how mathematics works as a science. ) 1. It begins with very simple observations: O.1) (Morse lemma) Let f : U R, U R n an open neighborhood of 0, with 0 a nondegenerate critical point. One can find a change of coordinates (diffeomorphism) ϕ : (U.0) (U, 0), U, U U open subsets of R n so that f ϕ(x 1,, x n ) = c k x 2 i + i=1 n i=k+1 x 2 i. O.2) (Morse observation) S 2 has a smooth function with only two nondegenerate critical points of index 0 and 2 (the Betti numbers of S 2 are β 0 = 1, β 1 = 0, β 2 = 1) while on T 2 this is not possible. The best one can hope for is at least two more critical points of index 1. (the Betti numbers of T 2 are β 0 = 1, β 1 = 2, β 2 = 1). 3
4 2. The observations raise an interesting question: Q 1 Is any meaningful relationship between the topology of the space the function is defined on and the critical points, at least in the case all the critical points are nondegenerate 2? 3. The question is answered by: Theorem 1. Let M be a compact smooth manifold. If f : M R is a smooth function with all critical points nondegenerate (Morse function) then M is the underlying space of a cell complex whose k cells are in bijective correspondence with the critical points of index k The following result insures that most of the functions are Morse functions. Theorem 2. The set of smooth functions whose critical points are nondegenerate form an open and dense set in the C 2 topology 3. 2 Liusternic-Schnirelmann theory was invented to relate the topology of a space with the number of critical points not necessary nondegenerate ( of a smooth function on a finite or infinite dimensional manifold). It led to a numerical invariant in homotopy theory, called Liusternick- Schnirelmann category. Important contributions to this homotopy invariant and its generalizations were provided by the Romanian topologists: T. Ganea, I. Berstein, O. Cornea and (of romanian origin) J.Oprea 3 the proof use basic results in Calculus and Linear Algebra 4
5 EXAMPLES: Let M n be a smooth submanifold of R N : Proposition 1. a) For almost any x R M the distance function from x restricted to M has all critical points nondegenerate. b) For almost all directions v in R N the orthogonal projection on v restricted to M has all critical points nondegenerate. 4. The above results have some immediate consequences and applications. Theorem 3. (Morse inequalities) Let M be a compact manifold and f : M R be a smooth function with all critical points nondegenerate. Denote by C i the cardinality of the set of critical points of index i and by β i the i th Betti number. Then: 1) C i β i, k 2) ( 1) k ( 1) i C i ( 1) k i=1 n 3) χ(m) = ( 1)C i. i=1 k ( 1) i β i, in particular i=1 5
6 Let M be a compact manifold. AP 1: (dynamics) For any smooth vector field X with nondegenerate zeros (rest points) the number of rest points of index +1 minus the number of rest points of index 1 is exactly χ(m). Moreover if (M, ω) is symplectic and X hamiltonian 4 then the rest points have a Morse index and the inequalities (1) and (2) in Theorem 1 hold with C i denoting the number of rest points of Morse index i. AP 2: (complex geometry) A complex analytic manifold of complex dimension k which can be analytically embedded as a closed subset of C N (in particular and algebraic variety given by a collection of polynomials in N complex variable which is a smooth submanifold of real dimension 2k ) has the homotopy type of a k dimensional cell complex. AP 3: (celestial mechanics)the number of relative equilibria which are colinear in the n body plane problem is exactly n!/ if noot hamitlonian the Betti numbers should be replaced by the dimension of the cohomology vector spaces H i (M, ξ) whrre ξ is the cohomology class rrepresented by thhe closed form symplecttic grradient of X. 5 This result was established by J.Multon more that 120 years ago in a memoir of more than 150 pages. A Morse theoretic proof was provided by S.Smale in Topology and Mechanics II, Inventiones Mathematicae, 11, pp 45-64,
7 AP 4(topology): If M is a compact smooth manifold which admits a function f with only two critical points, both of which are nondegenerate, then M is homeomorphic to a sphere 6. (This remark was first made by G. Reeb and it was used by J. Milnor to show that his examples of manifolds nondiffeomorphic to the standard spheres were actually homeomorphic to the standard sphere.) About the proof of Theorem 1: - Easy, if the statement M is the underlying space of a cell complex means M is homotopy equivalent to the underlying space of a cell complex. - More difficult if homotopy equivalent is replaced by homeomorphic or diffeomorphic. This result is a based on a result about the canonical compactifications of the space of trajectories and of the stable and unstable sets of a gradient like vector field with considerable implications and applications. 6 A famous theorem due to S.Smale, the truth of Poincare conjecture in dimension larger than 4 was proven by showing that on a closed manifold homoltopy equivalent to a shere S n, n 5, one can produce a Morse function with onlly two critical points 7
8 About Morse inequalitis: 1. There are stronger inequalities, involving the torsion numbers of the homology groups with integral coefficients. 2. An interesting generalisation is due to Novikov and it extends the Morse inequalities and in fact most of the Morse theory, to multivalued functions or closed one form. A multivalued function= closed one form (ω Ω 1 (M), dω = 0), is an equivalece class of systems (U α, f : U α R) with {U α } an open covering of the underlying manifold M, f α smooth functions such that i : f α Uα U β f β Uα U β is constant. Two systhems (U α, f α : U α R) and (U β, f β : U β R) which satisfy (i) are are equivalent if (U α, U β, f α : U α R), f β : U β R satisfy (i). The inequalities remain the same the meanig of the Betti numbers changes appropriately. 8
9 References: 1. J. Milnor, Morse Theory, Princeton Univ. Press, 2. J. Milnor, Lecture on H-cobordism, Princeton Univ. Press, 3. D. Burghelea, Th Hangan, H.Mooscovici, A. Verona, Introducere in Topologia diferentiala a. J.Milnor, On manifolds homeomorphic th the 7-sphere, Ann, Math, b. D.Burghelea, N.Kuiper, Hilbert manifolds, Annals of Math,
10 2. LECTURE 2 (ELEMENTARY MORSE THEORY AND TOPOLOGY) Morse Smale pairs: Contrary to a superficial impression Morse theory is not about a Morse function only, but about a Morse-Smale pair which is, primarily, a pair (f, g) consisting of a Morse function f and a Riemannian metric g, or equivalent data. A Riemannian metric g and the Morse function f give rise to a vector field X := grad g f. For such vector field: 1. The rest points are exactly the critical points of f, 2. The function f is strictly decreasing on trajectories, therefore there are no closed trajectories, and any maximal trajectory is an embedding γ : R M. If M is closed then a maximal trajectory goes from one rest points x to an other y, i.e. lim t ± γ(t) = x/y. When isolated such trajectory is called INSTANTON. 3.Each rest point x M has a stable and unstable set which is a smooth submanifold diffeomorphic to the Euclidean space R n indx, resp.r indx. 10
11 To develope the Morse theory one has to suppose that the metric g is good with respect to the Morse function f which, essentially, means that the set of trajectories between the rest points x and y is a smooth manifold of dimension ind(x) ind(y). This is not a serious restriction. One can show that 7 Theorem 4. Let f : M R be a smooth function with all critical points nondegenerate and g a Riemannian metric on M. Given a neighborhood of the critical points of f one can modify the metric g into g by an arbitrary small C 1 perturbation, with g equal to g outside a neighborhood U of the critical points and g good for f. A Morse-Smale pair is a pair (f, g) consisting of a Morse function f and a good Riemannian metric g with respect to f. Theorems 2 and 3 imply that most of the pairs are Morse- Smale pairs. 7 cf S.Smale, Annals of Math. 11
12 Gradient like vector field. Instead of (f, g) consiting of a Morse function f and a good Riemannian metric g it is convenient, and in fact equivalent, to consider pairs (f, X), f a Morse function, X a vector field which satisfy: i : X(f)(x) < 0 iff x not a critical point of f. ii : For any critical point x there exist a chart ϕ : U R n so that k n f ϕ 1 =c 1/2 x 2 i + 1/2 i=1 k X = x i / x i n i=1 i=k+1 i=k+1 x 2 i x i / x i. For such pair the vector field X is called f gradientlike, while f is called Lyapunov function for X. If f is a Morse function and g a Riemannian metric which satisfies (ii) then grad g f is a vector field which satisfies (i) and (ii). 12
13 We have : Proposition 2. If f is a Morse function and X a gradient like vector field there exist a riemannian metric g so thatx = grad g f. Moreover one can choose g to essentially agree with a given metric g which satisfies X = grad g f on U subset of M The same goodness condition= Morse-Smale property can be formulated for f gradient like vector fields and one also refer to the pair (f, X) with f a Morse function and X an f gradient like vector field which is Morse-Smale as a Morse- Smale pair. The cell complex stated in Theorem 1 is built up of the unstable sets of this vector field grad g f or X and all cells are diffeomorphic to the Euclidean space and their closure are images by smooth maps of compact manifolds with corners 8. Change in the metric induces change in the cell structure (however not in the number of cells). 8 cf D.Burghelea, Lectures on Witten Helffer Sjöstrand Theory 13
14 The second question is: Q.2 How the changes of the Morse -Smale pair reflects in the changes of the associated cell structure? Can this be used to the benefit of topology? A few easy observations were already made by M. Morse: OB1: One can insert a pair of two critical points of index q and q + 1 by modifying the function only in an arbitrary small open set. OB2: One can eliminate a pair of critical points x of index q and y of index q 1 provided there exists only one trajectory from x to y. One can do this by changing the function in a given neighborhood of the trajectory. OB3: Small changes on the critical values of f can be achieved by keeping the rest points, the metric g and the instantons unchanged. However there are topological constraints for a change of the critical values ( if the rest points and the instantons of grad g f are supposed to be kept fixed). 14
15 These simple observations suffice for the proof of the classification theorem for compact 2-dimensional manifolds. AP5 (B. Riemann, T.Rado) Two orientable (nonorientable) two dimensional manifolds are diffeomorphic iff their Euler Poincare characteristic are equal. A considerable progress was achieved by Smale in early 60 s: He has shown that for a fixed Morse function f, by changing the good Riemannian metric, almost any other configuration of instantons between the critical points of f can be realised provided that no homotopical obstruction prevents such change. Combined with thee above obserrvations this was the begining of surgery theory. 9 As a consequence Smale proved the famous Poincaré conjecture in dimension lager or equal to 5. 9 partially explained in the book of J.Milnor, Lectures on h-cobordism theorem, Princeton Univ. press. 15
16 AP6 (S.Smale)On any compact manifold M n, n 5 of the homotopy type of a sphere, starting with an arbitrary Morse pair (f, g), one can produce a Morse pair (f, g ) whose function f has only two nondegenerate critical points, a maximum and a minimum. hence M n is homeomorphic to the sphere S n. and then so called h Cobordism theorem, the key tool in differential topology, which led to the classification up to diffeomorphism of all compact (one connected) manifolds. AP6 (S.Smale)If W n+1 is a smooth one connected compact manifold with boundary whose boundary W is the disjoint union of two compact manifolds M1 n and M2 n and the inclusions Mi n W are homotopy equivalences, then W is diffeomorphic to M1 n [0, 1] The above theorem (freed from the one connectivity hypothesis) is the basic tool for the classification of all manifolds, the central problem of differential topology. 16
17 Generalizations and extensions. i)- replace manifolds by manifolds with boundaries and manifolds with corners. (routine but particularly important) ii)- replace manifolds... by stratified spaces (also relatively routine but with many applications in algebraic geometry (topology of algebraic varieties over C, cf Goresky MacPherson) iii)- replace function f whose all critical points are nondegenerate by function f whose critical locus is a disjoint union of manifolds with hessian nondegenerate in normal directions. (Morse -Bott functions). As already noticed by Bott it has considerably many applications in topology. iv)- replace smooth function by closed one form= action (Novikov). This is a very active research area with potentially many applications. v)- replace finite dimensional manifolds with infinite dimensional manifolds. 17
18 A few Notes and warnings. Most of the smooth functions on a given manifod are Morse A Morse function and some extra data provides a partition of the manifold in cells This explains why Morse theory is instrumental in topology. There is a wrong perception that the Morse function provides the partition which is wrong In fact not the function but a vector field for which the function is Lyapunov provides the partition. Different vector fields having the same Morse function as a Lyapunov function provide different partitions. A less known theorem claims that the cochain complexes associated to different such vector fields are ((not canonically) isomorphic (however not the same). There is also the impression that a function whose all critical points are nondegenerted is good for describing the topology. This is the case when the manifold is compact. When this is not this is far from the truth. Some compacity property is necessary like properness in finite dimesion or property C. 18
19 Problems (list 1). 1, 2. Show that there are no smooth function with less than three nondegenerate critical points on RP 2. Construct a smooth function with exactly three non degenerate critical points on RP 2. Specify their indices. 3. Show that any smooth function with non degenerate critical points on T 2 has at least 4 critical points. Can you produce smooth functions with 3, resp. 2, resp. 1 critical points? 4. Improve Morse inequalities to involve the torsion numbers of the homology with integral coefficients. 5. Show the equivalence of multi valued functions and closed differential 1 forms. 19
Handlebody Decomposition of a Manifold
Handlebody Decomposition of a Manifold Mahuya Datta Statistics and Mathematics Unit Indian Statistical Institute, Kolkata mahuya@isical.ac.in January 12, 2012 contents Introduction What is a handlebody
More informationA Brief History of Morse Homology
A Brief History of Morse Homology Yanfeng Chen Abstract Morse theory was originally due to Marston Morse [5]. It gives us a method to study the topology of a manifold using the information of the critical
More informationDYNAMICS, Topology and Spectral Geometry
DYNAMICS, Topology and Spectral Geometry Dan Burghelea Department of Mathematics Ohio State University, Columbuus, OH Iasi, June 21 Prior work on the topic: S. Smale, D.Fried, S.P.Novikov, A.V. Pajitnov,
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 informationJ-holomorphic curves in symplectic geometry
J-holomorphic curves in symplectic geometry Janko Latschev Pleinfeld, September 25 28, 2006 Since their introduction by Gromov [4] in the mid-1980 s J-holomorphic curves have been one of the most widely
More informationWitten Deformation and analytic continuation
Witten Deformation and analytic continuation Dan Burghelea Department of Mathematics Ohio State University, Columbus, OH Bonn, June 27, 2013 Based on joint work with STEFAN HALLER Departments of Mathematics
More informationMORSE HOMOLOGY. Contents. Manifolds are closed. Fields are Z/2.
MORSE HOMOLOGY STUDENT GEOMETRY AND TOPOLOGY SEMINAR FEBRUARY 26, 2015 MORGAN WEILER 1. Morse Functions 1 Morse Lemma 3 Existence 3 Genericness 4 Topology 4 2. The Morse Chain Complex 4 Generators 5 Differential
More informationfy (X(g)) Y (f)x(g) gy (X(f)) Y (g)x(f)) = fx(y (g)) + gx(y (f)) fy (X(g)) gy (X(f))
1. Basic algebra of vector fields Let V be a finite dimensional vector space over R. Recall that V = {L : V R} is defined to be the set of all linear maps to R. V is isomorphic to V, but there is no canonical
More informationIntroduction (Lecture 1)
Introduction (Lecture 1) February 2, 2011 In this course, we will be concerned with variations on the following: Question 1. Let X be a CW complex. When does there exist a homotopy equivalence X M, where
More informationLECTURE 6: J-HOLOMORPHIC CURVES AND APPLICATIONS
LECTURE 6: J-HOLOMORPHIC CURVES AND APPLICATIONS WEIMIN CHEN, UMASS, SPRING 07 1. Basic elements of J-holomorphic curve theory Let (M, ω) be a symplectic manifold of dimension 2n, and let J J (M, ω) be
More informationG-MORSE THEORY REVISITED DAN BURGHELEA. Department of Mathematics The Ohio State University
G-MORSE THEORY REVISITED DAN BURGHELEA Department of Mathematics The Ohio State University 1 ELEMENTARY MORSE THEORY. M closed manifold, h : M R smooth function X : M T M smooth vector field. h Morse function
More informationClassification of (n 1)-connected 2n-dimensional manifolds and the discovery of exotic spheres
Classification of (n 1)-connected 2n-dimensional manifolds and the discovery of exotic spheres John Milnor At Princeton in the fifties I was very much interested in the fundamental problem of understanding
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 informationA Crash Course of Floer Homology for Lagrangian Intersections
A Crash Course of Floer Homology for Lagrangian Intersections Manabu AKAHO Department of Mathematics Tokyo Metropolitan University akaho@math.metro-u.ac.jp 1 Introduction There are several kinds of Floer
More informationSelf-intersections of Closed Parametrized Minimal Surfaces in Generic Riemannian Manifolds
Self-intersections of Closed Parametrized Minimal Surfaces in Generic Riemannian Manifolds John Douglas Moore Department of Mathematics University of California Santa Barbara, CA, USA 93106 e-mail: moore@math.ucsb.edu
More informationSelf-intersections of Closed Parametrized Minimal Surfaces in Generic Riemannian Manifolds
Self-intersections of Closed Parametrized Minimal Surfaces in Generic Riemannian Manifolds John Douglas Moore Department of Mathematics University of California Santa Barbara, CA, USA 93106 e-mail: moore@math.ucsb.edu
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 informationWe thank F. Laudenbach for pointing out a mistake in Lemma 9.29, and C. Wendl for detecting a large number errors throughout the book.
ERRATA TO THE BOOK FROM STEIN TO WEINSTEIN AND BACK K. CIELIEBAK AND Y. ELIASHBERG We thank F. Laudenbach for pointing out a mistake in Lemma 9.29, and C. Wendl for detecting a large number errors throughout
More informationLECTURE 28: VECTOR BUNDLES AND FIBER BUNDLES
LECTURE 28: VECTOR BUNDLES AND FIBER BUNDLES 1. Vector Bundles In general, smooth manifolds are very non-linear. However, there exist many smooth manifolds which admit very nice partial linear structures.
More informationSmooth Structure. lies on the boundary, then it is determined up to the identifications it 1 2
132 3. Smooth Structure lies on the boundary, then it is determined up to the identifications 1 2 + it 1 2 + it on the vertical boundary and z 1/z on the circular part. Notice that since z z + 1 and z
More informationLECTURE 10: THE ATIYAH-GUILLEMIN-STERNBERG CONVEXITY THEOREM
LECTURE 10: THE ATIYAH-GUILLEMIN-STERNBERG CONVEXITY THEOREM Contents 1. The Atiyah-Guillemin-Sternberg Convexity Theorem 1 2. Proof of the Atiyah-Guillemin-Sternberg Convexity theorem 3 3. Morse theory
More informationNOTES ON THE ARTICLE: A CURRENT APPROACH TO MORSE AND NOVIKOV THEORIES
Rendiconti di Matematica, Serie VII Volume 36, Roma (2015), 89 94 NOTES ON THE ARTICLE: A CURRENT APPROACH TO MORSE AND NOVIKOV THEORIES REESE HARVEY BLAINE LAWSON The following article, A current approach
More informationWITTEN HELLFER SJÖSTRAND THEORY. 1.DeRham Hodge Theorem. 2.WHS-Theorem. 3.Mathematics behind WHS-Theorem. 4.WHS-Theorem in the presence of.
WITTEN HELLFER SJÖSTRAND THEORY 1.DeRham Hodge Theorem 2.WHS-Theorem 3.Mathematics behind WHS-Theorem 4.WHS-Theorem in the presence of symmetry 1 2 Notations M closed smooth manifold, (V, V ) euclidean
More information0.1 Diffeomorphisms. 0.2 The differential
Lectures 6 and 7, October 10 and 12 Easy fact: An open subset of a differentiable manifold is a differentiable manifold of the same dimension the ambient space differentiable structure induces a differentiable
More informationMorse Theory for Lagrange Multipliers
Morse Theory for Lagrange Multipliers γ=0 grad γ grad f Guangbo Xu Princeton University and Steve Schecter North Carolina State University 1 2 Outline 3 (1) History of Mathematics 1950 2050. Chapter 1.
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 informationPICARD S THEOREM STEFAN FRIEDL
PICARD S THEOREM STEFAN FRIEDL Abstract. We give a summary for the proof of Picard s Theorem. The proof is for the most part an excerpt of [F]. 1. Introduction Definition. Let U C be an open subset. A
More informationIntersection of stable and unstable manifolds for invariant Morse functions
Intersection of stable and unstable manifolds for invariant Morse functions Hitoshi Yamanaka (Osaka City University) March 14, 2011 Hitoshi Yamanaka (Osaka City University) ()Intersection of stable and
More informationMorse Theory and Applications to Equivariant Topology
Morse Theory and Applications to Equivariant Topology Morse Theory: the classical approach Briefly, Morse theory is ubiquitous and indomitable (Bott). It embodies a far reaching idea: the geometry and
More informationREFINMENTS OF HOMOLOGY. Homological spectral package.
REFINMENTS OF HOMOLOGY (homological spectral package). Dan Burghelea Department of Mathematics Ohio State University, Columbus, OH In analogy with linear algebra over C we propose REFINEMENTS of the simplest
More informationCobordant differentiable manifolds
Variétés différentiables cobordant, Colloque Int. du C. N. R. S., v. LII, Géométrie différentielle, Strasbourg (1953), pp. 143-149. Cobordant differentiable manifolds By R. THOM (Strasbourg) Translated
More informationTHE EXISTENCE PROBLEM
THE EXISTENCE PROBLEM Contact Geometry in High Dimensions Emmanuel Giroux CNRS ENS Lyon AIM May 21, 2012 Contact forms A contact form on a manifold V is a non-vanishing 1-form α whose differential dα at
More informationFoliations of Three Dimensional Manifolds
Foliations of Three Dimensional Manifolds M. H. Vartanian December 17, 2007 Abstract The theory of foliations began with a question by H. Hopf in the 1930 s: Does there exist on S 3 a completely integrable
More informationSMSTC Geometry and Topology
SMSTC Geometry and Topology 2013-2014 1 Andrew Ranicki http://www.maths.ed.ac.uk/ aar SMSTC Symposium Perth, 9th October, 2013 http://www.smstc.ac.uk http://www.maths.ed.ac.uk/ aar/smstc/gt34info.pdf http://www.maths.ed.ac.uk/
More informationThe A-B slice problem
The A-B slice problem Slava Krushkal June 10, 2011 History and motivation: Geometric classification tools in higher dimensions: Surgery: Given an n dimensional Poincaré complex X, is there an n manifold
More informationClassifying complex surfaces and symplectic 4-manifolds
Classifying complex surfaces and symplectic 4-manifolds UT Austin, September 18, 2012 First Cut Seminar Basics Symplectic 4-manifolds Definition A symplectic 4-manifold (X, ω) is an oriented, smooth, 4-dimensional
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 informationUV k -Mappings. John Bryant, Steve Ferry, and Washington Mio. February 21, 2013
UV k -Mappings John Bryant, Steve Ferry, and Washington Mio February 21, 2013 Continuous maps can raise dimension: Peano curve (Giuseppe Peano, ca. 1890) Hilbert Curve ( 1890) Lyudmila Keldysh (1957):
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 informationBroken pencils and four-manifold invariants. Tim Perutz (Cambridge)
Broken pencils and four-manifold invariants Tim Perutz (Cambridge) Aim This talk is about a project to construct and study a symplectic substitute for gauge theory in 2, 3 and 4 dimensions. The 3- and
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 information(iv) Whitney s condition B. Suppose S β S α. If two sequences (a k ) S α and (b k ) S β both converge to the same x S β then lim.
0.1. Stratified spaces. References are [7], [6], [3]. Singular spaces are naturally associated to many important mathematical objects (for example in representation theory). We are essentially interested
More informationLecture 2. Smooth functions and maps
Lecture 2. Smooth functions and maps 2.1 Definition of smooth maps Given a differentiable manifold, all questions of differentiability are to be reduced to questions about functions between Euclidean spaces,
More informationLECTURE 5: SOME BASIC CONSTRUCTIONS IN SYMPLECTIC TOPOLOGY
LECTURE 5: SOME BASIC CONSTRUCTIONS IN SYMPLECTIC TOPOLOGY WEIMIN CHEN, UMASS, SPRING 07 1. Blowing up and symplectic cutting In complex geometry the blowing-up operation amounts to replace a point in
More information1 The Local-to-Global Lemma
Point-Set Topology Connectedness: Lecture 2 1 The Local-to-Global Lemma In the world of advanced mathematics, we are often interested in comparing the local properties of a space to its global properties.
More informationTHE MORSE-BOTT INEQUALITIES VIA DYNAMICAL SYSTEMS
THE MORSE-BOTT INEQUALITIES VIA DYNAMICAL SYSTEMS AUGUSTIN BANYAGA AND DAVID E. HURTUBISE Abstract. Let f : M R be a Morse-Bott function on a compact smooth finite dimensional manifold M. The polynomial
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 informationDynamics of Group Actions and Minimal Sets
University of Illinois at Chicago www.math.uic.edu/ hurder First Joint Meeting of the Sociedad de Matemática de Chile American Mathematical Society Special Session on Group Actions: Probability and Dynamics
More informationNOTES ON FIBER BUNDLES
NOTES ON FIBER BUNDLES DANNY CALEGARI Abstract. These are notes on fiber bundles and principal bundles, especially over CW complexes and spaces homotopy equivalent to them. They are meant to supplement
More informationTHREE APPROACHES TO MORSE-BOTT HOMOLOGY
THREE APPROACHES TO MORSE-BOTT HOMOLOGY DAVID E. HURTUBISE arxiv:1208.5066v2 [math.at] 3 Jan 2013 Dedicated to Professor Augustin Banyaga on the occasion of his 65th birthday Abstract. In this paper we
More informationON A PROBLEM OF ELEMENTARY DIFFERENTIAL GEOMETRY AND THE NUMBER OF ITS SOLUTIONS
ON A PROBLEM OF ELEMENTARY DIFFERENTIAL GEOMETRY AND THE NUMBER OF ITS SOLUTIONS JOHANNES WALLNER Abstract. If M and N are submanifolds of R k, and a, b are points in R k, we may ask for points x M and
More informationSummer School. Novikov Morse Theory for Closed 1-Forms
Summer School Novikov Morse Theory for Closed 1-Forms Kloster Steinfeld, 10. 15. September 2006 Graduiertenkolleg 1150: Homotopy and Cohomology Prof. Dr. C.-F. Bödigheimer (Universität Bonn) Dr. M. Szymik
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 informationEuler Characteristic of Two-Dimensional Manifolds
Euler Characteristic of Two-Dimensional Manifolds M. Hafiz Khusyairi August 2008 In this work we will discuss an important notion from topology, namely Euler Characteristic and we will discuss several
More informationLagrangian Intersection Floer Homology (sketch) Chris Gerig
Lagrangian Intersection Floer Homology (sketch) 9-15-2011 Chris Gerig Recall that a symplectic 2n-manifold (M, ω) is a smooth manifold with a closed nondegenerate 2- form, i.e. ω(x, y) = ω(y, x) and dω
More informationGeometry of subanalytic and semialgebraic sets, by M. Shiota, Birkhäuser, Boston, MA, 1997, xii+431 pp., $89.50, ISBN
BULLETIN (New Series) OF THE AMERICAN MATHEMATICAL SOCIETY Volume 36, Number 4, ages 523 527 S 0273-0979(99)00793-4 Article electronically published on July 27, 1999 Geometry of subanalytic and semialgebraic
More informationINERTIA GROUPS AND SMOOTH STRUCTURES OF (n - 1)- CONNECTED 2n-MANIFOLDS. Osaka Journal of Mathematics. 53(2) P.309-P.319
Title Author(s) INERTIA GROUPS AND SMOOTH STRUCTURES OF (n - 1)- CONNECTED 2n-MANIFOLDS Ramesh, Kaslingam Citation Osaka Journal of Mathematics. 53(2) P.309-P.319 Issue Date 2016-04 Text Version publisher
More informationLecture 8: More characteristic classes and the Thom isomorphism
Lecture 8: More characteristic classes and the Thom isomorphism We begin this lecture by carrying out a few of the exercises in Lecture 1. We take advantage of the fact that the Chern classes are stable
More informationMorse homology. Michael Landry. April 2014
Morse homology Michael Landry April 2014 This is a supplementary note for a (hopefully) fun, informal one hour talk on Morse homology, which I wrote after digesting the opening pages of Michael Hutchings
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 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 informationAn introduction to cobordism
An introduction to cobordism Martin Vito Cruz 30 April 2004 1 Introduction Cobordism theory is the study of manifolds modulo the cobordism relation: two manifolds are considered the same if their disjoint
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 informationThe topology of symplectic four-manifolds
The topology of symplectic four-manifolds Michael Usher January 12, 2007 Definition A symplectic manifold is a pair (M, ω) where 1 M is a smooth manifold of some even dimension 2n. 2 ω Ω 2 (M) is a two-form
More informationModern Geometric Structures and Fields
Modern Geometric Structures and Fields S. P. Novikov I.A.TaJmanov Translated by Dmitry Chibisov Graduate Studies in Mathematics Volume 71 American Mathematical Society Providence, Rhode Island Preface
More informationThe uniformization theorem
1 The uniformization theorem Thurston s basic insight in all four of the theorems discussed in this book is that either the topology of the problem induces an appropriate geometry or there is an understandable
More informationMorse-Bott Homology. Augustin Banyaga. David Hurtubise
Morse-Bott Homology (Using singular N-cube chains) Augustin Banyaga Banyaga@math.psu.edu David Hurtubise Hurtubise@psu.edu s u TM s z S 2 r +1 q 1 E u f +1 1 p Penn State University Park Penn State Altoona
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 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 informationLECTURE 9: THE WHITNEY EMBEDDING THEOREM
LECTURE 9: THE WHITNEY EMBEDDING THEOREM Historically, the word manifold (Mannigfaltigkeit in German) first appeared in Riemann s doctoral thesis in 1851. At the early times, manifolds are defined extrinsically:
More informationEXOTIC SMOOTH STRUCTURES ON TOPOLOGICAL FIBRE BUNDLES B
EXOTIC SMOOTH STRUCTURES ON TOPOLOGICAL FIBRE BUNDLES B SEBASTIAN GOETTE, KIYOSHI IGUSA, AND BRUCE WILLIAMS Abstract. When two smooth manifold bundles over the same base are fiberwise tangentially homeomorphic,
More informationHomework in Topology, Spring 2009.
Homework in Topology, Spring 2009. Björn Gustafsson April 29, 2009 1 Generalities To pass the course you should hand in correct and well-written solutions of approximately 10-15 of the problems. For higher
More informationMath 205C - Topology Midterm
Math 205C - Topology Midterm Erin Pearse 1. a) State the definition of an n-dimensional topological (differentiable) manifold. An n-dimensional topological manifold is a topological space that is Hausdorff,
More informationModuli spaces and cw structures arising from morse theory
Wayne State University DigitalCommons@WayneState Wayne State University Dissertations 1-1-2011 Moduli spaces and cw structures arising from morse theory Lizhen Qin Wayne State University, Follow this and
More informationLecture 1. Toric Varieties: Basics
Lecture 1. Toric Varieties: Basics Taras Panov Lomonosov Moscow State University Summer School Current Developments in Geometry Novosibirsk, 27 August1 September 2018 Taras Panov (Moscow University) Lecture
More informationIsometric Immersions without Positive Ricci Curvature
Contemporary Mathematics Isometric Immersions without Positive Ricci Curvature Luis Guijarro Abstract. In this note we study isometric immersions of Riemannian manifolds with positive Ricci curvature into
More informationDIFFERENTIAL TOPOLOGY AND THE POINCARÉ-HOPF THEOREM
DIFFERENTIAL TOPOLOGY AND THE POINCARÉ-HOPF THEOREM ARIEL HAFFTKA 1. Introduction In this paper we approach the topology of smooth manifolds using differential tools, as opposed to algebraic ones such
More informationDonaldson Invariants and Moduli of Yang-Mills Instantons
Donaldson Invariants and Moduli of Yang-Mills Instantons Lincoln College Oxford University (slides posted at users.ox.ac.uk/ linc4221) The ASD Equation in Low Dimensions, 17 November 2017 Moduli and Invariants
More informationTangent bundles, vector fields
Location Department of Mathematical Sciences,, G5-109. Main Reference: [Lee]: J.M. Lee, Introduction to Smooth Manifolds, Graduate Texts in Mathematics 218, Springer-Verlag, 2002. Homepage for the book,
More informationConvex Symplectic Manifolds
Convex Symplectic Manifolds Jie Min April 16, 2017 Abstract This note for my talk in student symplectic topology seminar in UMN is an gentle introduction to the concept of convex symplectic manifolds.
More informationA SHORT COURSE ON WITTEN HELFFER-SJÖSTRAND THEORY. D. Burghelea (Ohio State University) Contents
A SHORT COURSE ON WITTEN HELFFER-SJÖSTRAND THEORY D. Burghelea (Ohio State University) Abstract. Witten-Helffer-Sjöstrand theory is an addition to Morse theory and Hodge-de Rham theory for Riemannian manifolds
More informationSOME REMARKS ON THE TOPOLOGY OF HYPERBOLIC ACTIONS OF R n ON n-manifolds
SOME REMARKS ON THE TOPOLOGY OF HYPERBOLIC ACTIONS OF R n ON n-manifolds DAMIEN BOULOC Abstract. This paper contains some more results on the topology of a nondegenerate action of R n on a compact connected
More informationMath 225B: Differential Geometry, Final
Math 225B: Differential Geometry, Final Ian Coley March 5, 204 Problem Spring 20,. Show that if X is a smooth vector field on a (smooth) manifold of dimension n and if X p is nonzero for some point of
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 informationMathematical Research Letters 2, (1995) A VANISHING THEOREM FOR SEIBERG-WITTEN INVARIANTS. Shuguang Wang
Mathematical Research Letters 2, 305 310 (1995) A VANISHING THEOREM FOR SEIBERG-WITTEN INVARIANTS Shuguang Wang Abstract. It is shown that the quotients of Kähler surfaces under free anti-holomorphic involutions
More informationA (computer friendly) alternative to Morse Novikov theory for real and angle valued maps
A (computer friendly) alternative to Morse Novikov theory for real and angle valued maps Dan Burghelea Department of mathematics Ohio State University, Columbus, OH based on joint work with Stefan Haller
More informationFoliations, Fractals and Cohomology
Foliations, Fractals and Cohomology Steven Hurder University of Illinois at Chicago www.math.uic.edu/ hurder Colloquium, University of Leicester, 19 February 2009 Steven Hurder (UIC) Foliations, fractals,
More informationLINKING AND THE MORSE COMPLEX. x 2 i
LINKING AND THE MORSE COMPLEX MICHAEL USHER ABSTRACT. For a Morse function f on a compact oriented manifold M, we show that f has more critical points than the number required by the Morse inequalities
More informationStratified Morse Theory: Past and Present
Stratified Morse Theory: Past and Present David B. Massey In honor of Robert MacPherson on his 60th birthday 1 Introduction In 1974, Mark Goresky and Robert MacPherson began their development of intersection
More informationIntroduction to surgery theory
Introduction to surgery theory Wolfgang Lück Bonn Germany email wolfgang.lueck@him.uni-bonn.de http://131.220.77.52/lueck/ Bonn, 17. & 19. April 2018 Wolfgang Lück (MI, Bonn) Introduction to surgery theory
More informationarxiv: v1 [math.gt] 23 Apr 2014
THE NUMBER OF FRAMINGS OF A KNOT IN A 3-MANIFOLD PATRICIA CAHN, VLADIMIR CHERNOV, AND RUSTAM SADYKOV arxiv:1404.5851v1 [math.gt] 23 Apr 2014 Abstract. In view of the self-linking invariant, the number
More informationTHE POINCARE-HOPF THEOREM
THE POINCARE-HOPF THEOREM ALEX WRIGHT AND KAEL DIXON Abstract. Mapping degree, intersection number, and the index of a zero of a vector field are defined. The Poincare-Hopf theorem, which states that under
More informationA Convexity Theorem For Isoparametric Submanifolds
A Convexity Theorem For Isoparametric Submanifolds Marco Zambon January 18, 2001 1 Introduction. The main objective of this paper is to discuss a convexity theorem for a certain class of Riemannian manifolds,
More informationExotic spheres. Overview and lecture-by-lecture summary. Martin Palmer / 22 July 2017
Exotic spheres Overview and lecture-by-lecture summary Martin Palmer / 22 July 2017 Abstract This is a brief overview and a slightly less brief lecture-by-lecture summary of the topics covered in the course
More informationScalar curvature and the Thurston norm
Scalar curvature and the Thurston norm P. B. Kronheimer 1 andt.s.mrowka 2 Harvard University, CAMBRIDGE MA 02138 Massachusetts Institute of Technology, CAMBRIDGE MA 02139 1. Introduction Let Y be a closed,
More informationTransverse Euler Classes of Foliations on Non-atomic Foliation Cycles Steven HURDER & Yoshihiko MITSUMATSU. 1 Introduction
1 Transverse Euler Classes of Foliations on Non-atomic Foliation Cycles Steven HURDER & Yoshihiko MITSUMATSU 1 Introduction The main purpose of this article is to give a geometric proof of the following
More informationL 2 BETTI NUMBERS OF HYPERSURFACE COMPLEMENTS
L 2 BETTI NUMBERS OF HYPERSURFACE COMPLEMENTS LAURENTIU MAXIM Abstract. In [DJL07] it was shown that if A is an affine hyperplane arrangement in C n, then at most one of the L 2 Betti numbers i (C n \
More informationPERVERSE SHEAVES ON A TRIANGULATED SPACE
PERVERSE SHEAVES ON A TRIANGULATED SPACE A. POLISHCHUK The goal of this note is to prove that the category of perverse sheaves constructible with respect to a triangulation is Koszul (i.e. equivalent to
More informationSYMPLECTIC MANIFOLDS, GEOMETRIC QUANTIZATION, AND UNITARY REPRESENTATIONS OF LIE GROUPS. 1. Introduction
SYMPLECTIC MANIFOLDS, GEOMETRIC QUANTIZATION, AND UNITARY REPRESENTATIONS OF LIE GROUPS CRAIG JACKSON 1. Introduction Generally speaking, geometric quantization is a scheme for associating Hilbert spaces
More informationLAPLACE TRANSFORM, DYNAMICS AND SPECTRAL GEOMETRY (VERSION 1)
LAPLACE TRANSFORM, DYNAMICS AND SPECTRAL GEOMETRY (VERSION 1) DAN BURGHELEA AND STEFAN HALLER Abstract. We consider vector fields X on a closed manifold M with rest points of Morse type. For such vector
More information