AMS eBook CollectionsOne of the world's most respected mathematical collections, available in digital format for your library or institution
Tame flows
About this Title
Liviu I. Nicolaescu, Department of Mathematics, University of Notre Dame, Notre Dame, IN 46556-4618.
Publication: Memoirs of the American Mathematical Society
Publication Year:
2010; Volume 208, Number 980
ISBNs: 978-0-8218-4870-8 (print); 978-1-4704-0594-6 (online)
DOI: https://doi.org/10.1090/S0065-9266-10-00602-2
Published electronically: July 13, 2010
Keywords: Definable spaces and maps,
real analytic manifolds and maps,
Grassmannians,
Morse flows,
Morse-Smale condition,
stratifications,
Whitney and Verdier conditions,
Conley index,
simplicial spaces,
topology of posets,
currents,
finite volume flows
MSC: Primary 03C64, 06F30, 37B30, 58A07, 58A10, 58A17, 58A25, 58A35, 58E05, 58K50; Secondary 55P05, 55U10, 57Q05, 57R05.
Table of Contents
Chapters
- Introduction
- 1. Tame spaces
- 2. Basic properties and examples of tame flows
- 3. Some global properties of tame flows
- 4. Tame Morse flows
- 5. Tame Morse-Smale flows
- 6. The gap between two vector subspaces
- 7. The Whitney and Verdier regularity conditions
- 8. Smale transversality and Whitney regularity
- 9. The Conley index
- 10. Flips/flops and gradient like tame flows
- 11. Simplicial flows and combinatorial Morse theory
- 12. Tame currents
- A. An “elementary” proof of the generalized Stokes formula
- B. On the topology of tame sets
Abstract
The tame flows are “nice” flows on “nice” spaces. The nice (tame) sets are the pfaffian sets introduced by Khovanski, and a flow $\Phi : \mathbb {R}\times X\rightarrow X$ on pfaffian set $X$ is tame if the graph of $\Phi$ is a pfaffian subset of $\mathbb {R}\times X\times X$. Any compact tame set admits plenty tame flows. We prove that the flow determined by the gradient of a generic real analytic function with respect to a generic real analytic metric is tame. The typical tame gradient flow satisfies the Morse-Smale condition, and we prove that in the tame context, under certain spectral constraints, the Morse-Smale condition implies the fact that the stratification by unstable manifolds is Verdier and Whitney regular. We explain how to compute the Conley indices of isolated stationary points of tame flows in terms of their unstable varieties, and then give a complete classification of gradient like tame flows with finitely many stationary points. We use this technology to produce a Morse theory on posets generalizing R. Forman’s discrete Morse theory. Finally, we use the Harvey-Lawson finite volume flow technique to produce a homotopy between the DeRham complex of a smooth manifold and the simplicial chain complex associated to a triangulation.- V. I. Arnol′d, Geometrical methods in the theory of ordinary differential equations, 2nd ed., Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 250, Springer-Verlag, New York, 1988. Translated from the Russian by Joseph Szücs [József M. Szűcs]. MR 947141, DOI 10.1007/978-1-4612-1037-5
- A. Björner, Topological methods, Handbook of combinatorics, Vol. 1, 2, Elsevier Sci. B. V., Amsterdam, 1995, pp. 1819–1872. MR 1373690
- Jacek Bochnak, Michel Coste, and Marie-Françoise Roy, Real algebraic geometry, Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)], vol. 36, Springer-Verlag, Berlin, 1998. Translated from the 1987 French original; Revised by the authors. MR 1659509, DOI 10.1007/978-3-662-03718-8
- Ludwig Bröcker and Martin Kuppe, Integral geometry of tame sets, Geom. Dedicata 82 (2000), no. 1-3, 285–323. MR 1789065, DOI 10.1023/A:1005248711077
- Manoj K. Chari, On discrete Morse functions and combinatorial decompositions, Discrete Math. 217 (2000), no. 1-3, 101–113 (English, with English and French summaries). Formal power series and algebraic combinatorics (Vienna, 1997). MR 1766262, DOI 10.1016/S0012-365X(99)00258-7
- J. W. Cannon, Shrinking cell-like decompositions of manifolds. Codimension three, Ann. of Math. (2) 110 (1979), no. 1, 83–112. MR 541330, DOI 10.2307/1971245
- Charles Conley, Isolated invariant sets and the Morse index, CBMS Regional Conference Series in Mathematics, vol. 38, American Mathematical Society, Providence, R.I., 1978. MR 511133
- M. Coste: An Introduction to $o$-minimal geometry, Real Algebraic and Analytic Geometry Network, http://www.ihp-raag.org/publications.php
- R. Courant and D. Hilbert, Methods of mathematical physics. Vol. II, Wiley Classics Library, John Wiley & Sons, Inc., New York, 1989. Partial differential equations; Reprint of the 1962 original; A Wiley-Interscience Publication. MR 1013360
- Lou van den Dries, Tame topology and o-minimal structures, London Mathematical Society Lecture Note Series, vol. 248, Cambridge University Press, Cambridge, 1998. MR 1633348, DOI 10.1017/CBO9780511525919
- Lou van den Dries, Angus Macintyre, and David Marker, The elementary theory of restricted analytic fields with exponentiation, Ann. of Math. (2) 140 (1994), no. 1, 183–205. MR 1289495, DOI 10.2307/2118545
- Lou van den Dries and Chris Miller, Geometric categories and o-minimal structures, Duke Math. J. 84 (1996), no. 2, 497–540. MR 1404337, DOI 10.1215/S0012-7094-96-08416-1
- Herbert Federer, Geometric measure theory, Die Grundlehren der mathematischen Wissenschaften, Band 153, Springer-Verlag New York, Inc., New York, 1969. MR 0257325
- Robin Forman, Morse theory for cell complexes, Adv. Math. 134 (1998), no. 1, 90–145. MR 1612391, DOI 10.1006/aima.1997.1650
- A. M. Gabrièlov, Projections of semianalytic sets, Funkcional. Anal. i Priložen. 2 (1968), no. 4, 18–30 (Russian). MR 0245831
- Christopher G. Gibson, Klaus Wirthmüller, Andrew A. du Plessis, and Eduard J. N. Looijenga, Topological stability of smooth mappings, Lecture Notes in Mathematics, Vol. 552, Springer-Verlag, Berlin-New York, 1976. MR 0436203
- Mark Goresky and Robert MacPherson, Stratified Morse theory, Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)], vol. 14, Springer-Verlag, Berlin, 1988. MR 932724, DOI 10.1007/978-3-642-71714-7
- Hans Grauert, On Levi’s problem and the imbedding of real-analytic manifolds, Ann. of Math. (2) 68 (1958), 460–472. MR 98847, DOI 10.2307/1970257
- Robert E. Greene and Howard Jacobowitz, Analytic isometric embeddings, Ann. of Math. (2) 93 (1971), 189–204. MR 283728, DOI 10.2307/1970760
- Robert M. Hardt, Slicing and intersection theory for chains associated with real analytic varieties, Acta Math. 129 (1972), 75–136. MR 315561, DOI 10.1007/BF02392214
- Robert M. Hardt, Topological properties of subanalytic sets, Trans. Amer. Math. Soc. 211 (1975), 57–70. MR 379882, DOI 10.1090/S0002-9947-1975-0379882-8
- Robert M. Hardt, Stratification of real analytic mappings and images, Invent. Math. 28 (1975), 193–208. MR 372237, DOI 10.1007/BF01436073
- F. Reese Harvey and H. Blaine Lawson Jr., Morse theory and Stokes’ theorem, Surveys in differential geometry, Surv. Differ. Geom., vol. 7, Int. Press, Somerville, MA, 2000, pp. 259–311. MR 1919428, DOI 10.4310/SDG.2002.v7.n1.a9
- Heisuke Hironaka, Subanalytic sets, Number theory, algebraic geometry and commutative algebra, in honor of Yasuo Akizuki, Kinokuniya, Tokyo, 1973, pp. 453–493. MR 0377101
- Morris W. Hirsch, Differential topology, Graduate Texts in Mathematics, No. 33, Springer-Verlag, New York-Heidelberg, 1976. MR 0448362
- Masaki Kashiwara and Pierre Schapira, Sheaves on manifolds, Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 292, Springer-Verlag, Berlin, 1990. With a chapter in French by Christian Houzel. MR 1074006, DOI 10.1007/978-3-662-02661-8
- Tosio Kato, Perturbation theory for linear operators, Classics in Mathematics, Springer-Verlag, Berlin, 1995. Reprint of the 1980 edition. MR 1335452
- A. G. Khovanskiĭ, Fewnomials, Translations of Mathematical Monographs, vol. 88, American Mathematical Society, Providence, RI, 1991. Translated from the Russian by Smilka Zdravkovska. MR 1108621, DOI 10.1090/mmono/088
- Dmitry Kozlov, Combinatorial algebraic topology, Algorithms and Computation in Mathematics, vol. 21, Springer, Berlin, 2008. MR 2361455, DOI 10.1007/978-3-540-71962-5
- Jean-Michel Bismut and Weiping Zhang, An extension of a theorem by Cheeger and Müller, Astérisque 205 (1992), 235 (English, with French summary). With an appendix by François Laudenbach. MR 1185803
- François Latour, Double suspension d’une sphère d’homologie [d’après R. Edwards], Séminaire Bourbaki, 30e année (1977/78), Lecture Notes in Math., vol. 710, Springer, Berlin, 1979, pp. Exp. No. 515, pp. 169–186 (French). MR 554220
- Jean-Marie Lion and Patrick Speissegger, Analytic stratification in the Pfaffian closure of an o-minimal structure, Duke Math. J. 103 (2000), no. 2, 215–231. MR 1760626, DOI 10.1215/S0012-7094-00-10322-5
- Ta Lê Loi, Verdier and strict Thom stratifications in o-minimal structures, Illinois J. Math. 42 (1998), no. 2, 347–356. MR 1612771
- Albert T. Lundell, A Bott map for non-stable homotopy of the unitary group, Topology 8 (1969), 209–217. MR 238319, DOI 10.1016/0040-9383(69)90011-1
- Frank Morgan, Geometric measure theory, 2nd ed., Academic Press, Inc., San Diego, CA, 1995. A beginner’s guide. MR 1326605
- Liviu I. Nicolaescu, An invitation to Morse theory, Universitext, Springer, New York, 2007. MR 2298610
- V. A. Pliss, On the reduction of an analytic system of differential equations to linear form, Differencial′nye Uravnenija 1 (1965), 153–161 (Russian). MR 0196155
- Joel W. Robbin and Dietmar A. Salamon, Lyapunov maps, simplicial complexes and the Stone functor, Ergodic Theory Dynam. Systems 12 (1992), no. 1, 153–183. MR 1162405, DOI 10.1017/S0143385700006647
- Colin Patrick Rourke and Brian Joseph Sanderson, Introduction to piecewise-linear topology, Springer Study Edition, Springer-Verlag, Berlin-New York, 1982. Reprint. MR 665919
- H. L. Royden, The analytic approximation of differentiable mappings, Math. Ann. 139 (1960), 171–179 (1960). MR 113229, DOI 10.1007/BF01352908
- Masahiro Shiota, Geometry of subanalytic and semialgebraic sets, Progress in Mathematics, vol. 150, Birkhäuser Boston, Inc., Boston, MA, 1997. MR 1463945, DOI 10.1007/978-1-4612-2008-4
- Dietmar Salamon, Connected simple systems and the Conley index of isolated invariant sets, Trans. Amer. Math. Soc. 291 (1985), no. 1, 1–41. MR 797044, DOI 10.1090/S0002-9947-1985-0797044-3
- Patrick Speissegger, The Pfaffian closure of an o-minimal structure, J. Reine Angew. Math. 508 (1999), 189–211. MR 1676876, DOI 10.1515/crll.1999.026
- David J. A. Trotman, Geometric versions of Whitney regularity for smooth stratifications, Ann. Sci. École Norm. Sup. (4) 12 (1979), no. 4, 453–463. MR 565466
- David Trotman, Une version microlocale de la condition $(w)$ de Verdier, Ann. Inst. Fourier (Grenoble) 39 (1989), no. 3, 825–829 (French, with English summary). MR 1030852
- Jean-Louis Verdier, Stratifications de Whitney et théorème de Bertini-Sard, Invent. Math. 36 (1976), 295–312 (French). MR 481096, DOI 10.1007/BF01390015
- J.W. Walker: Topology and Combinatorics of Ordered Sets, MIT Dissertation, 1981.
- J.H.C. Whitehead: Simplicial spaces, nuclei and $m$-groups, Proc. London Math. Soc., 45(1939), 243-327.
- Hassler Whitney, Geometric integration theory, Princeton University Press, Princeton, N. J., 1957. MR 0087148
- A. J. Wilkie, Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function, J. Amer. Math. Soc. 9 (1996), no. 4, 1051–1094. MR 1398816, DOI 10.1090/S0894-0347-96-00216-0