Abstract
This paper is about gradient-like vector fields and flows they generate on smooth compact surfaces with boundary. We use this particular 2-dimensional setting to present and explain our general results about non-vanishing gradient-like vector fields on n-dimensional manifolds with boundary. We take advantage of the relative simplicity of 2-dimensional worlds to popularize our approach to the Morse theory on smooth manifolds with boundary. In this approach, the boundary effects take the central stage.
Similar content being viewed by others
Notes
In Abbott (1992), the drama unfolds in the Euclidean plane, the Flatland, while here we will tell a story that takes place in the 2D-land, a compact Riemannian surface.
The flows and the vector fields here are considered up to the natural action of the diffeomorphism group \(\mathsf {Diff}(X)\) on them.
In the case of annulus, this set is empty.
That is, for an open and dense set in the space of all traversing vector fields on X.
It is possible to have a vector field v for which some trajectories will be cubically tangent to the boundary, but the majority of 2-dimensional vector fields v avoid such cubic tangencies Katz (2014b).
see the paragraph that follows Theorem 1.1.
This excludes the disk and the annulus.
In particular, a traversally generic v is boundary generic.
Even traversally generic
Considered up to diffeomorphisms
This is equivalent to saying that the \((k-1)\)-st jet at x of \(z|_\gamma \) vanishes, but the k-th jet does not.
In the forthcoming paper we will see that, for the geodesic flows \(v^g\) on the tangent spherical bundle \(SM \rightarrow M\) over a smooth connected Riemannian n-manifold (M, g) with boundary, \(C_{v^g}\) is the scattering map, a version of the billiard map.
Such metrics form an open set in the space of all Riemannian metrics.
This allows for local maxima/minima only and excludes the \(\theta \)-vertical inflections.
Note that the second bullet excludes the triple intersections of \(C_t\).
References
Abbott, E.: Flatland: A romance of many dimensions. Dover Publications, New York (1992)
Alpert, H., Katz, G.: Using simplicial volume to count multi-tangent trajectories of traversing vector fields. Geometriae Dedicata 180(1), 323–338 (2015)
Arnold, V.I.: Spaces of functions with moderate singularities, Func. Analysis & Its Applications, 23(3):1–10 (1989) (Russ)
Barannikov, S.A.: The framed Morse complex and its invariants, Advances in Soviet Mathematics, Vol. 21, V. I. Arnold Ed., 93115 (1994)
Cohen R.L.: Topics in Morse theory Stanford University (1991)
Goresky, M., MacPherson, R.: Stratified Morse Theory. Proceedings of Symposia in Pure Mathematics 40(Part 1):517–533 (1983a)
Goresky, M., MacPherson, R.: Morse theory for the intersection homology groups, Analyse et Topologie sur les Espaces Singulieres, Astérisque #101 (1983b), 135–192, Société Mathématique de France
Goresky, M., MacPherson, R.: Theory, Stratified Morse, Springer Verlag, N.Y.: Ergebnisse, vol. 14. Also translated into Russian and published by MIR Press, Moscow (1989). 1991
Gottlieb, D.H.: All the way with Gauss-Bonnet and the sociology of mathematics. Math. Monthly 103, 457–469 (1996)
Gromov, M.: Volume and bounded cohomology. Publ. Math. I.H.E.S., tome 56:5–99 (1982)
Guth, L.: Minimal number of self-intersections of the boundary of an immersed surface in the plane. arXiv:0903.3112v1 [math.DG] (2009)
Hardon, D.G.C.: The Morse Complex for a Morse Function on a Manifold with Corners. arXiv:math.GT/0406486v1 (2004)
Hopf, H.: Vectorfelder in \(n\)-dimensionalen Mannigfaltigkeiten. Math. Annalen 96, 225–250 (1937)
Jaco, W.H., Shalen, P.B.: Seifert fibered spaces in 3-manifolds. Mem. Am. Math. Soc. 21(220) (1979)
Katz, G.: Convexity of Morse Stratifications and gradient spines of 3-manifolds. JP J. Geometry Topol. 9(1), 1–119 (2009)
Katz,G.: Stratified Convexity and Concavity of Gradient Flows on Manifolds with Boundary. Appl. Math. 5, 2823–2848 (2014a). http://www.scirp.org/journal/am (also arXiv:1406.6907v1 [mathGT]
Katz, G.: Traversally Generic and Versal Flows: Semi-algebraic Models of Tangency to the Boundary. Asian J. Math. (2014b, to appear). arXiv:1407.1345v1 [mathGT]
Katz, G.: Causal Holography of Traversing Flows (2014c). arXiv:1409.0588v1 [mathGT]
Katz, G.: Flows in Flatland: a Romance of few Dimensions (2015). arXiv:1511.03310v2 [math.GT]
Katz, G.: The Stratified Spaces of Real Polynomials and Trajectory Spaces of Traversing Flows. JP J. Geometry Topol. 19(2), 95–160 (2016a). arXiv:1407.2984v3 [math.GT]
Katz, G.: Complexity of Shadows and Traversing Flows in Terms of the Simplicial Volume. J. Topol. Anal. 8(3), 501–543 (2016b). arXiv:1503.09131v2 [mathGT]
Katz, G.: Spaces of Functions with Constrained Zero Divisors, Convex Envelops of Traversing Flows, and their Characteristic Classes, manuscript (2016c)
Katz, G.: Morse Theory, Gradient Flows, Concavity, and Complexity on Manifolds with Boundary, monograph. World Sci. (2017)
Laudenbach, F.: Morse Complex on Manifolds with Boundary. Geom. Dedicata 153, 47–57 (2011)
Malgrange, B.: The preparation theorem for differential functions. Differential Analysis (Papers presented at the Bombay Colloquium), pp. 203–208 (1964)
Milnor, J.: Morse Theory. Princeton University Press, Princeton (1965)
Morse, M.: Singular points of vector fields under general boundary conditions. Am. J. Math. 51, 165–178 (1929)
Morse, M., Van Schaack, G.B.: The critical point theory under general boundary conditions. Ann. Math. (2) 35(3):545571 (1934)
Teschi, G.: Ordinary differential equations and dynamical systems. Graduate Studies in Math., 140, AMS publication (2012)
Vasiliev, V.A.: Complements of Discriminants of Smooth Maps: Topology and Applications, Translations of Mathematical Monographs, vol. 98. Society publication, American Math (1994)
Whitney, H.: On regular closed curves in the plane. Comp. Math. 4, 276–284 (1937)
Acknowledgements
We are grateful to the referees; their thoughtful and detailed recommendations helped to improve the quality of our presentation.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Katz, G. Flows in Flatland: A Romance of Few Dimensions. Arnold Math J. 3, 281–317 (2017). https://doi.org/10.1007/s40598-016-0059-1
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40598-016-0059-1