TY - JOUR

T1 - Cascades and perturbed Morse-Bott functions

AU - Banyaga, Augustin

AU - Hurtubise, David E.

N1 - Copyright:
Copyright 2013 Elsevier B.V., All rights reserved.

PY - 2013/2/16

Y1 - 2013/2/16

N2 - Let f : M → ℝ be a Morse-Bott function on a finite-dimensional closed smooth manifold M. Choosing an appropriate Riemannian metric on M and Morse-Smale functions fj: Cj → ℝ on the critical submanifolds Cj, one can construct a Morse chain complex whose boundary operator is defined by counting cascades [Int. Math. Res. Not. 42 (2004) 2179-2269]. Similar data, which also includes a parameter ε > 0 that scales the Morse-Smale functions fj, can be used to define an explicit perturbation of the Morse-Bott function f to a Morse-Smale function hε: M → ℝ [Progr. Math. 133 (1995) 123-183; Ergodic Theory Dynam. Systems 29 (2009) 1693-1703]. In this paper we show that the Morse-Smale-Witten chain complex of hε is the same as the Morse chain complex defined using cascades for any ε > 0 sufficiently small. That is, the two chain complexes have the same generators, and their boundary operators are the same (up to a choice of sign). Thus, the Morse Homology Theorem implies that the homology of the cascade chain complex of f: M → ℝ is isomorphic to the singular homology H*(M; ℤ).

AB - Let f : M → ℝ be a Morse-Bott function on a finite-dimensional closed smooth manifold M. Choosing an appropriate Riemannian metric on M and Morse-Smale functions fj: Cj → ℝ on the critical submanifolds Cj, one can construct a Morse chain complex whose boundary operator is defined by counting cascades [Int. Math. Res. Not. 42 (2004) 2179-2269]. Similar data, which also includes a parameter ε > 0 that scales the Morse-Smale functions fj, can be used to define an explicit perturbation of the Morse-Bott function f to a Morse-Smale function hε: M → ℝ [Progr. Math. 133 (1995) 123-183; Ergodic Theory Dynam. Systems 29 (2009) 1693-1703]. In this paper we show that the Morse-Smale-Witten chain complex of hε is the same as the Morse chain complex defined using cascades for any ε > 0 sufficiently small. That is, the two chain complexes have the same generators, and their boundary operators are the same (up to a choice of sign). Thus, the Morse Homology Theorem implies that the homology of the cascade chain complex of f: M → ℝ is isomorphic to the singular homology H*(M; ℤ).

UR - http://www.scopus.com/inward/record.url?scp=84874371916&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84874371916&partnerID=8YFLogxK

U2 - 10.2140/agt.2013.13.237

DO - 10.2140/agt.2013.13.237

M3 - Article

AN - SCOPUS:84874371916

VL - 13

SP - 237

EP - 275

JO - Algebraic and Geometric Topology

JF - Algebraic and Geometric Topology

SN - 1472-2747

IS - 1

ER -