Morse–Bott theory

Morse–Bott theory
Name	Morse–Bott theory
Field	Differential topology; Symplectic topology; Global analysis
Introduced by	Raoul Bott
Introduced year	1954
Notable people	Raoul Bott; Marston Morse; Steven Smale; Michael Atiyah; Isadore Singer; Edward Witten; Andreas Floer; Helmut Hofer

Morse–Bott theory is a refinement of Morse theory developed to treat smooth functions whose critical sets are nondegenerate submanifolds rather than isolated points. The theory, originating from work by Raoul Bott and motivated by ideas from Marston Morse, provides tools for relating the topology of manifolds to the differential topology of smooth functions with degenerate but well-behaved critical loci. It has deep interactions with Hodge theory, K-theory, index theory, and modern developments in symplectic topology and gauge theory.

Introduction

Morse–Bott theory extends classical results of Morse theory by permitting critical sets that are smooth submanifolds, thereby connecting to the work of Raoul Bott on periodicity and to index computations in Atiyah–Singer index theorem contexts. The approach links to analytic techniques from Fredholm theory and geometric insights from Riemannian geometry and Morse inequalities used in the studies of manifold topology and cobordism classification. Influential applications appear across research related to Hitchin fibration, Seiberg–Witten theory, Floer homology, and constructions in string theory.

Definitions and Basic Properties

A Morse–Bott function on a smooth closed manifold is a smooth map whose critical set is a disjoint union of connected smooth submanifolds, each of which has nondegenerate normal Hessian. This notion refines the nondegeneracy condition in Marston Morse's original setting and is compatible with the linear algebraic framework used in Morse index calculations and with spectral flow techniques in Atiyah–Patodi–Singer contexts. The index of a critical submanifold is defined using the signature of the Hessian in the normal bundle, mirroring notions from Maslov index computations and relating to stability concepts in Morse–Smale systems. Transversality results akin to those in Thom transversality theorem are used to perturb Morse–Bott functions to Morse functions, echoing strategies from Smale's work on handlebody decompositions and in constructions appearing in Cerf theory.

Morse–Bott Functions and Examples

Standard examples include height functions on symmetric spaces such as projective spaces and Stiefel manifolds studied by Raoul Bott and families of energy functionals on loop spaces central to Bott periodicity. Circle-invariant functions on Hamiltonian manifolds yield archetypal Morse–Bott critical submanifolds related to fixed-point sets studied in Atiyah–Bott fixed-point theorem and in equivariant cohomology developed by Berline–Vergne and Atiyah. Geodesic energy functionals on free loop spaces of Riemannian manifolds often have critical manifolds corresponding to closed geodesics, connecting to classical work by Morse, Bott, Gromoll–Meyer, and later extensions in Riemannian geometry and in the study of closed geodesics by Bangert and Klingenberg. In symplectic contexts, Hamiltonian functions with circle actions lead to Morse–Bott Floer complexes as in foundational studies by Andreas Floer, with further elaboration in work of Hofer, Salamon, and Viterbo.

Morse–Bott Homology and Chain Complexes

Morse–Bott homology constructs chain complexes generated by the homology of critical submanifolds, with differentials defined via cascades, spectral sequences, or perturbation schemes that break critical manifolds into Morse data. Techniques employ analytical frameworks from Fredholm theory and gluing methods reminiscent of constructions in Atiyah–Singer index theorem proofs and in Taubes's work on gauge theory. The resulting homology is naturally isomorphic to singular homology under appropriate compactness and transversality hypotheses, paralleling isomorphisms in Morse homology proven by Fukaya, Schwarz, and Weinstein-adjacent approaches. Computational tools include Mayer–Vietoris arguments appearing in Milnor's writings and spectral sequence methods associated with Bott periodicity and Serre spectral sequence ideas.

Applications and Connections

Morse–Bott techniques permeate areas including the computation of cohomology rings of flag varietys in connection with Schubert calculus, the study of moment maps and Hamiltonian group actions in symplectic topology following Kirwan and Atiyah–Bott, and the analysis of critical sets in gauge theory frameworks such as Donaldson theory and Seiberg–Witten theory. In mathematical physics, Morse–Bott ideas inform path integral approximations in Witten's supersymmetric quantum mechanics and index computations in models inspired by Conformal Field Theory and String Theory. The theory also intersects with dynamics through work on closed orbits and periodic solutions studied by Poincaré, Birkhoff, Conley, and in modern persistence approaches linked to Topological Data Analysis initiatives.

Proofs and Technical Results

Key technical results establish genericity of Morse–Bott conditions under group-symmetric situations, transversality of stable and unstable normal bundles, and compactness properties for moduli spaces of connecting trajectories using energy estimates inspired by Gromov compactness and elliptic regularity from Sobolev theory. Proof methods adapt Morse–Smale transversality arguments employed by Smale and analytical gluing techniques developed by Taubes and Donaldson. The construction of chain differentials via cascade methods relies on parameterized moduli spaces and orientation choices studied in works by Cieliebak–Floer–Hofer and orientation frameworks refined by Fukaya–Oh–Ohta–Ono.

Generalizations and Variants

Generalizations include equivariant Morse–Bott theory for actions of compact Lie groups as developed by Atiyah, Bott, and Kirwan; infinite-dimensional Morse–Bott setups for loop space functionals central to Floer homology by Andreas Floer; and stratified Morse–Bott analyses relevant to singular spaces studied by Goresky–MacPherson in intersection homology. Further variants link to persistent homology inspired by Edelsbrunner and Carlsson, to categorical enhancements in homological mirror symmetry discussions by Kontsevich, and to analytic torsion considerations in works of Ray–Singer and Bismut–Zhang.

Category:Differential topology