Skip to main content
Log in

Flows in Flatland: A Romance of Few Dimensions

  • Research Exposition
  • Published:
Arnold Mathematical Journal Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6
Fig. 7
Fig. 8
Fig. 9

Similar content being viewed by others

Notes

  1. 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.

  2. The flows and the vector fields here are considered up to the natural action of the diffeomorphism group \(\mathsf {Diff}(X)\) on them.

  3. In the case of annulus, this set is empty.

  4. That is, for an open and dense set in the space of all traversing vector fields on X.

  5. 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).

  6. see the paragraph that follows Theorem 1.1.

  7. This excludes the disk and the annulus.

  8. In particular, a traversally generic v is boundary generic.

  9. Even traversally generic

  10. Note that Eq. (6.3) resembles Eq. (6.1).

  11. Considered up to diffeomorphisms

  12. This is equivalent to saying that the \((k-1)\)-st jet at x of \(z|_\gamma \) vanishes, but the k-th jet does not.

  13. 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 (Mg) with boundary, \(C_{v^g}\) is the scattering map, a version of the billiard map.

  14. Such metrics form an open set in the space of all Riemannian metrics.

  15. This allows for local maxima/minima only and excludes the \(\theta \)-vertical inflections.

  16. 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)

    Article  MathSciNet  MATH  Google Scholar 

  • 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)

    Article  MathSciNet  MATH  Google Scholar 

  • 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)

    Article  MATH  Google Scholar 

  • 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)

    MathSciNet  MATH  Google Scholar 

  • 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)

    Article  MathSciNet  MATH  Google Scholar 

  • 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)

    Google Scholar 

  • Morse, M.: Singular points of vector fields under general boundary conditions. Am. J. Math. 51, 165–178 (1929)

    Article  MathSciNet  MATH  Google Scholar 

  • 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)

    MathSciNet  MATH  Google Scholar 

Download references

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

Authors

Corresponding author

Correspondence to Gabriel Katz.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

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

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s40598-016-0059-1

Keywords

Navigation