Finite-dimensional Morse theory is easier to present fundamental ideas than in infinite-dimensional Morse theory, which is theoretically more involved. However, finite-dimensional Morse theory has its own significance. This volume explains the finte-dimensional Morse theory.

Discrete Morse theory is a powerful tool combining ideas in both topology and combinatorics. Invented by Robin Forman in the mid 1990s, discrete Morse theory is a combinatorial analogue of Marston Morse's classical Morse theory. Its applications are vast, including applications to topological data analysis, combinatorics, and computer science. This book, the first one devoted solely to discrete Morse theory, serves as an introduction to the subject. Since the book restricts the study of discrete Morse theory to abstract simplicial complexes, a course in mathematical proof writing is the only prerequisite needed. Topics covered include simplicial complexes, simple homotopy, collapsibility, gradient vector fields, Hasse diagrams, simplicial homology, persistent homology, discrete Morse inequalities, the Morse complex, discrete Morse homology, and strong discrete Morse functions. Students of computer science will also find the book beneficial as it includes topics such as Boolean functions, evasiveness, and has a chapter devoted to some computational aspects of discrete Morse theory. The book is appropriate for a course in discrete Morse theory, a supplemental text to a course in algebraic topology or topological combinatorics, or an independent study.

This book is an introduction to modern methods of symplectic topology. It is devoted to explaining the solution of an important problem originating from classical mechanics: the 'Arnold conjecture', which asserts that the number of 1-periodic trajectories of a non-degenerate Hamiltonian system is bounded below by the dimension of the homology of the underlying manifold. The first part is a thorough introduction to Morse theory, a fundamental tool of differential topology. It defines the Morse complex and the Morse homology, and develops some of their applications. Morse homology also serves a simple model for Floer homology, which is covered in the second part. Floer homology is an infinite-dimensional analogue of Morse homology. Its involvement has been crucial in the recent achievements in symplectic geometry and in particular in the proof of the Arnold conjecture. The building blocks of Floer homology are more intricate and imply the use of more sophisticated analytical methods, all of which are explained in this second part. The three appendices present a few prerequisites in differential geometry, algebraic topology and analysis. The book originated in a graduate course given at Strasbourg University, and contains a large range of figures and exercises. Morse Theory and Floer Homology will be particularly helpful for graduate and postgraduate students.

This self-contained treatment of Morse theory focuses on applications and is intended for a graduate course on differential or algebraic topology, and will also be of interest to researchers. This is the first textbook to include topics such as Morse-Smale flows, Floer homology, min-max theory, moment maps and equivariant cohomology, and complex Morse theory. The reader is expected to have some familiarity with cohomology theory and differential and integral calculus on smooth manifolds. Some features of the second edition include added applications, such as Morse theory and the curvature of knots, the cohomology of the moduli space of planar polygons, and the Duistermaat-Heckman formula. The second edition also includes a new chapter on Morse-Smale flows and Whitney stratifications, many new exercises, and various corrections from the first edition.

One of the most cited books in mathematics, John Milnor's exposition of Morse theory has been the most important book on the subject for more than forty years. Morse theory was developed in the 1920s by mathematician Marston Morse. (Morse was on the faculty of the Institute for Advanced Study, and Princeton published his Topological Methods in the Theory of Functions of a Complex Variable in the Annals of Mathematics Studies series in 1947.) One classical application of Morse theory includes the attempt to understand, with only limited information, the large-scale structure of an object. This kind of problem occurs in mathematical physics, dynamic systems, and mechanical engineering. Morse theory has received much attention in the last two decades as a result of a famous paper in which theoretical physicist Edward Witten relates Morse theory to quantum field theory. Milnor was awarded the Fields Medal (the mathematical equivalent of a Nobel Prize) in 1962 for his work in differential topology. He has since received the National Medal of Science (1967) and the Steele Prize from the American Mathematical Society twice (1982 and 2004) in recognition of his explanations of mathematical concepts across a wide range of scienti.c disciplines. The citation reads, "The phrase sublime elegance is rarely associated with mathematical exposition, but it applies to all of Milnor's writings. Reading his books, one is struck with the ease with which the subject is unfolding and it only becomes apparent after re.ection that this ease is the mark of a master.? Milnor has published five books with Princeton University Press.

Applied topology is a modern subject which emerged in recent years at a crossroads of many methods, all of them topological in nature, which were used in a wide variety of applications in classical mathematics and beyond. Within applied topology, discrete Morse theory came into light as one of the main tools to understand cell complexes arising in different contexts, as well as to reduce the complexity of homology calculations. The present book provides a gentle introduction into this beautiful theory. Using a combinatorial approach—the author emphasizes acyclic matchings as the central object of study. The first two parts of the book can be used as a stand-alone introduction to homology, the last two parts delve into the core of discrete Morse theory. The presentation is broad, ranging from abstract topics, such as formulation of the entire theory using poset maps with small fibers, to heavily computational aspects, providing, for example, a specific algorithm of finding an explicit homology basis starting from an acyclic matching. The book will be appreciated by graduate students in applied topology, students and specialists in computer science and engineering, as well as research mathematicians interested in learning about the subject and applying it in context of their fields.