You are here

From Dynamics to Contact and Symplectic Topology and Back

By Jo Nelson Published 2016

 

1. Introduction
Symplectic and contact topology is an active area of mathematics that combines ideas from dynamical systems, analysis, topology, several complex variables, and differential and algebraic geometry. Symplectic and contact structures first arose in the study of classical mechanical systems, allowing one to describe the time evolution of both simple and complex systems such as springs, planetary motion and wave propagation [3]. Understanding the evolution and distinguishing transformations of these systems led to the development of global invariants of symplectic and contact manifolds.

The equations of motion in classical mechanics are determined by the notion of a conserved quantity, energy. A related quantity is action, which is minimized by solutions to the equations of motion. For a closed system, such as the Kepler problem, whose solutions describe paths of planets orbiting the sun, the energy is the sum of the kinetic and potential energy in the system, and the action is given by the (minimized) mean value of kinetic minus potential energy. Symplectic and contact structures emerge as we investigate these systems by unpacking the information hidden in the notions of energy and action.

The position of a particle in a mechanical system is a point x = (x1,.., xn) in Euclidean space, and the vector space ℝn defined by these coordinates is called the configuration space. The position and momentum of a particle allows us to predict the particle’s motion at all future times within a system. The phase space of a system is precisely this space that represents all possible states of the system, consisting of both the position and momentum of a particle. In the case that there are n degrees of freedom, the phase space is ℝ2n. The assumption that the trajectories of a particle x(t) minimize an action functional gives rise to a system of n second-order differential equations called the Euler-Lagrange equations, discovered in 1808 by Joseph-Louis Lagrange [32].

These equations grew out of Lagrange’s observation that the possible elliptic motions of a single planet under the sun’s gravitational pull can be described by six real parameters. However, the influence of other planets perturbs this ellipticity. In order to describe the variation, one must study the derivatives of these real parameters. These three equations are extremely complicated, but they can be simplified by introducing Lagrange brackets, which are combinations of the derivatives with respect to position and velocity at fixed time. Lagrange then showed that these equations can be transformed into what is now known as a Hamiltonian system of six first-order differential equations that conserve energy [33]. At the time, his notion of energy was a “disturbing function,” which described the variance from elliptic motion. Moreover, these Lagrange brackets turn out to be the coefficients of humanity’s oldest symplectic structure [48].

Figure 1: The symplectic gradient XH [34]

In the mid 1800s, William Rowan Hamilton and Carl Jacobi realized the theoretical consequences of Lagrange’s work, in particular that the n Euler-Lagrange equations can be transformed into a Hamiltonian system of 2n equations [49]. The Hamiltonian system is governed by the conservation of an energy function, called the Hamiltonian function H(x,y), which defines the Hamiltonian vector field XH. The flow line of this vector field is composed of solutions to Hamilton’s equations of motion,

In the coordinates z = (x1, ...xny1, ...yn) ∈ ℝ2n the Hamiltonian system can be written in the form of a system of 2n differential equations,

where ∇H denotes the gradient of H and J0 is the 2n × 2n matrix

The Hamiltonian vector field or symplectic gradient of H, seen in Figure 1, is defined by

Systems whose Hamiltonian function explicitly depends on time, such as those describing the motion of a charged particle in a time-dependent electric field, use extended phase space, which includes the 2n-phase space plus the time variable. Extended phase space results in the notion of a contact structure. In this setting, solutions to equations of motion yield flows of a Hamiltonian-like vector field, called the Reeb vector field.

Contact structures appear naturally in other areas of mathematics and physics, including thermodynamics [2]. In particular, contact geometry allows one to understand geodesic flow on the tangent bundle of a Riemannian manifold. Geodesics are locally the shortest distance between points, where distance is defined in terms of a metric intrinsic to a manifold. An n-dimensional manifold is a smooth object that locally looks like ℝn.1 One can interpret a Riemannian manifold as a model for an optical medium, in which case geodesics with respect to the metric correspond to light rays. This in turn yields Huygens’s principle, which states that every point on a wavefront is a source of wavelets, which spread forward at the same speed.

2. Sympletic and contact manifolds
To study more general even-dimensional Hamiltonian systems, we need to allow symplectic manifolds to serve as the phase space. In classical mechanics, replacing the standard 2n-dimensional phase space with a 2n-manifold results in a canonical symplectic structure on the manifold, reflecting the conservation of energy.

Figure 2: At the infinitesimal level, ω measures oriented area spanned by vectors X and Y and a point p

Formally, a symplectic form ω is a closed nondegenerate 2-form. It allows one to measure two-dimensional areas in a well-defined way, as seen in Figure 2, and as a result forces symplectic manifolds to be even dimensional. Using the symplectic form, one can define the Hamiltonian vector field, XH, on a symplectic manifold by

The name symplectic arose in 1939 due to Hermann Weyl, who studied the symplectic linear group. This group manifests itself when one studies the canonical transformations2 of a Hamiltonian system, which are changes of coordinates that preserve Hamilton’s equations. Weyl recalls in a footnote on page 165 [50], “The name complex group formerly advocated by me in allusion to line complexes, as these are defined by the vanishing of antisymmetric bilinear forms, has become more and more embarrassing through collision with the word complex, [a Latin adjective], in the connotation of complex number. I therefore propose to replace it by the corresponding Greek adjective symplectic.”

Many contact manifolds arise as hypersurfaces or boundaries of symplectic manifolds, and the geometry of contact and symplectic manifolds is closely intertwined. A contact structure ξ is a maximally nonintegrable hyperplane distribution. In three dimensions, this means that the planes of ξ twist so much that even locally there is never a surface whose tangent planes are all contained in ξ, which is in contrast to the notion of an integrable hyperplane distribution, seen in Figure 3. An integrable hyperplane distribution is one in which all the planes are given by tangent planes of a submanifold. Any 1-form α whose kernel defines a contact structure is called a contact form.

Figure 3: An integrable (right) and contact (left) structure on ℝ3

The Reeb vector field Rα depends on the choice of contact form α and is defined by

 

The flow of Rα preserves the form α and hence the contact structure ξ. It can also follow very complex patterns, as in Figure 4.

Patrick Massot (left), Niles Johnson (right) 
Figure 4: The flows of two Reeb vector fields; the right is on 3 and is parameterized by 2.
 

Moreover, the flows Reeb vector fields of different contact forms defining the same contact structure may have wildly different properties.

An interesting result about symplectic and contact manifolds is Darboux’s theorem, which states that locally all contact structures look like the kernel of the standard contact form on ℝ2n+1,

and that locally all symplectic forms look like the standard symplectic form on ℝ2n,

Hence, there can be no local invariants of symplectic and contact manifolds, a stark contrast to Riemannian geometry where the notion of curvature provides local invariants. In the symplectic realm, the absence of local invariants means that there is an infinite-dimensional group of diffeomorphisms that preserve the symplectic structure and a discrete set of nonequivalent global symplectic structures in each cohomology class. Analogously in the contact realm, there is an infinite-dimensional group of diffeomorphisms that preserve the contact structure and a discrete set of nonequivalent global contact structures in each planar homotopy class.

Patrick Massot (left), Otto van Koert (right)
Figure 5: The overtwisted (left) and standard (right) contact structure

The ability to distinguish contact structures in a planar homotopy class is not obvious. One of the first results along these lines is the celebrated theorem of Yakov Eliashberg from 1989 [11], which states that the 3-sphere admits two homotopy classes of contact structures which are homotopic as plane fields but which are not homotopic via contact structures. One of these structures is the standard structure, given in cylindrical coordinates (r, θ, z) ∈ ℝ3 by

and the other is the overtwisted contact structure,

These are visualized in the z = 0-plane in Figure 5. Both ξstd and ξOT are horizontal along the z-axis and along any ray they both turn counterclockwise as one moves outward from the z-axis. However, the rotation angle of ξstd approaches (but never reaches) π/2, while the contact planes of ξOT make infinitely many complete turns.

3. From Rabinowitz to Floer: The evolution of variational methods
A closed orbit of a vector field X on a manifold M is a map,

for some T > 0, which satisfies the ordinary differential equation

One is then led to wonder when a (smooth) vector field X on a closed manifold M admits a closed orbit. For some special three manifolds like the 3-torus, it is easy to construct vector fields with no closed orbit. On the other hand, when M is the 3-sphere, this question turns out to be incredibly difficult and not always possible; see [29] for a brief history.

The Weinstein conjecture is one of the most famous questions in regard to the existence of periodic orbits [47]. It originated from work in the 1970s by Alan Weinstein, who demonstrated the existence of periodic orbits on convex compact hypersurfaces in ℝ2n [46], and Paul Rabinowitz, who demonstrated the existence of periodic orbits on star-shaped hypersurfaces in ℝ2n [39]–[41]. In reading Rabinowitz’s papers, Weinstein realized that there was a simple geometric feature common in the different results, namely what he called contact type, which is a special contact hypersurface in a symplectic manifold. Weinstein’s realization connected the existence of periodic orbits of Hamiltonian systems to contact geometry, spurring further interest in the study of contact manifolds.

The Weinstein conjecture: Let (M,ξ) be a closed co-oriented contact manifold. Then for any contact form α for ξ, the Reeb vector field Rα admits a closed periodic orbit.

At the same time, Rabinowitz’s paper [40] had a profound effect on a young graduate student, Helmut Hofer. Helmut reminisced at his sixtieth birthday conference:

Why did I come into symplectic geometry? I had the flu and the only thing to read was a copy of Rabinowitz’s paper where he proves existence of periodic orbits on star-shaped energy surfaces [40]. It turned out to contain a fundamental new idea, which was to study a different action functional for loops in the phase space rather than for Lagrangians in the configuration space.3 Which, actually, if we look back, led to the variational approach in symplectic and contact topology, which is reincarnated in infinite dimensions in Floer theory and has appeared in every other subsequent approach. The flu turned out to be really good.

This variational approach led to further progress by Claude Viterbo, in 1987, for hypersurfaces of contact type in ℝ2n [45], which was extended further by Hofer–Viterbo ([23] in 1987), Hofer–Zehnder ([28] in 1988), and Struwe ([43] in 1990).

Meanwhile, the Arnold conjecture haunted the dreams of geometers.

The Arnold conjecture: A symplectomorphism on a closed symplectic manifold that is generated by a time-dependent Hamiltonian vector field should have at least as many fixed points as a function on the manifold must have critical points.

The minimal number of critical points is a topological invariant, which means that it is unchanged under homeomorphisms. Thus, the very flexible topology of the manifold determines qualitative aspects of Hamiltonian flows. In 1983, Charles Conley and Eduard Zehnder proved this conjecture for tori of arbitrary dimension via a finite-dimensional approximation of the symplectic action functional on the loop space [9]. The other affirmative result was due to Eliashberg in 1979, who proved it for closed two-dimensional symplectic manifolds, Riemann surfaces. At this point, the variational methods involving finite-dimensional approximations of the action functional on the loop space stalled.

Fortunately, in 1985, Mikhail Gromov pioneered the study of moduli spaces of pseudoholomorphic curves [21] to prove his celebrated nonsqueezing theorem, demonstrating that symplectic mappings are very different from volume-preserving ones.

The Gromov nonsqueezing theorem: A standard symplectic ball cannot be symplectically embedded into a thin cylinder.

Andreas Floer’s subsequent breakthrough was to marry the variational methods of Conley and Zehnder with Gromov’s theory of pseudoholomorphic curves, by adapting ideas from Edward Witten’s interpretation of Morse theory [51].4 Floer realized that the gradient trajectories counted in Morse theory didn’t need to come from a flow, but instead just needed to satisfy a sufficiently nice partial differential equation with appropriate asymptotics, see [13]–[16]. Gromov’s pseudoholomorphic curves are maps between closed Riemann surfaces and symplectic manifolds that satisfy the Cauchy-Riemann equation, a nonlinear elliptic partial differential equation. Floer modified them, studying moduli spaces of noncompact pseudoholomorphic curves perturbed by a Hamiltonian term. These Floer trajectories are maps from the cylinder to a symplectic manifold that converge at the ends to 1-periodic solutions of the associated Hamiltonian vector field.

At first, Gromov was skeptical of Floer’s ideas.5 Floer, however, successfully formulated the nonlinear Fredholm theory describing his Floer trajectories as the zero set of an infinite-dimensional bundle, thereby realizing the gradient trajectories of the highly degenerate action functional on the loop space. This led to the creation of what is now called Floer theory, an infinite-dimensional extension of Witten’s reformulation of Morse theory. Floer used his new theory and its variants to define symplectic invariants [18] and prove the Arnold conjecture in many cases [17].

4. Continuing to hunt for periodic orbits with pseudoholomorphic curves
In 1993, Hofer realized he could study moduli spaces of pseudoholomorphic maps from the complex plane to the symplectization6 of a contact 3-manifold to prove the Weinstein conjecture for S3 [22]. However, the study of the moduli spaces of pseudoholomorphic planes is not straightforward due to additional difficulties in establishing compactness and transversality. Clifford Taubes went on to prove the Weinstein conjecture in dimension three in 2007, relying on deep results in Seiberg–Witten theory [44].

During the later ’90s, Helmut Hofer, Kris Wysocki, and Eduard Zehnder continued their study of pseudoholomorphic curves in contact geometry, leading to a wealth of new dynamical results. This work led Hofer, together with Eliashberg, to the concept of contact homology. In 2000, constructions of these moduli-based theories looked promising with the advent of a comprehensive symplectic field theory announced in [12], a generalization of Floer theory and Gromov–Witten theory [35]. This field theory involves the study of pseudoholomorphic curves from punctured Riemann surfaces to noncompact symplectic manifolds with cylindrical ends.

These curves are still the zero set of an infinite-dimensional bundle, but there is typically a failure of transversality. As a result, one must perturb the zero set describing these curves, using either the ambient geometry or an abstract functional analytic framework. Otherwise, the resulting moduli spaces will not yield well-defined invariants. Hofer, Wysocki, and Zehnder have developed the abstract analytic framework, collectively known as polyfolds, to systematically resolve these issues, see [24]–[27], and provide foundations for symplectic field theory.7 My research, in part joint with Michael Hutchings, makes use of geometric perturbation methods to provide complete foundations for a subset of symplectic field theory known as cylindrical contact homology. These geometric methods require additional assumptions on the underlying space, but are preferable for computations and applications [30, 31, 37, 38].

Recent work has shown that the three-body problem can be studied via contact geometry [1, 8, 19]. As a result, the modern methods of pseudoholomorphic curves are expected to give insight into the movement of satellites, allowing one to make predictions about the existence and number of energy-efficient orbits that cannot be found by classical methods [4]. It would then be fitting to conclude with the words of an anonymous, albeit optimistic, symplectic geometer: “The future of contact and symplectic geometry looks so bright that we all have to wear shades.”


1 For example, the surface of a donut or beach ball is a 2-manifold. If we cut out a small piece of either surface and “zoom in,” it would look like a flat sheet of paper (e.g., 2).


2 Now such isomorphisms are called symplectomorphisms, due to Jean-Marie Souriau’s contributions [42].


3 In 1976, Jürgen Moser wrote that this action functional was “certainly not suitable for an existence proof” [36, (1.5)]. Paul Rabinowitz, on the other hand, showed more optimism than his former adviser in 1977 [39, Remark 4.44].


4 This brings to mind the anecdote of how Edward Witten, a physicist, came to develop his unique perspective of Morse theory. Raoul Bott recalls first exposing Witten to Morse theory: “In 1979, I gave some lectures at Cargèse on equivariant Morse theory . . . to a group of very bright physicists, young and old, most of whom took a rather detached view of the lectures. ‘Beautiful and oh so far from Physics,’ was Wilson’s reaction, I remember. On the other hand, Witten followed the lectures like a hawk, asked questions, and was clearly very interested. I therefore thought I had done a good job indoctrinating him, so that I was rather nonplussed to receive a letter from him some eight months later, starting with the comment, ‘Now I finally understand Morse theory!’” [6].

These lectures led to Witten’s 1982 paper [51], which used ideas from quantum physics to streamline Morse theory. He recalled the evolution of these ideas in his Commemorative Lecture for the 2014 Kyoto Prize: “Trying to get to the bottom of things, I considered simpler and simpler models, each of which turned out to contain the same puzzle. After pondering this for a long time, I eventually remembered—I think while in a swimming pool in 1981—a lecture that I had heard by Raoul Bott about two years earlier . . . I am sure that just like me, most of the physicists at that school had never heard of it, and had no idea what it might be good for in physics. And I had probably not heard of Morse theory again until that day in 1981 when—dimly managing to remember part of what Bott had told us—I realized that Morse theory was behind what I had been puzzling over.”


5 In 1997, when Mikhael Gromov was awarded the Steele Prize for a Seminal Contribution to Research for his pseudoholomorphic curves, he recalled: “Floer has morsified them [pseudoholomorphic curves] by breaking the symmetry, and I still cannot forgive him for this. (Alas, prejudice does not pay in science.)” [7].


6 The symplectization of (M, kerα) is (ℝ x M,d(etα)).


7 This development indicates some clairvoyance on the part of George David Birkhoff, who in 1938 indicated his “disturbing secret fear that geometry may ultimately turn out to be no more than the glittering intuitional trappings of analysis” [5]. On the other hand, in 1980, Alan Weinstein noted, “the recent success of symplectic geometric methods in linear partial differential equations suggests that one might need the glitter to find the gold” [49].

Jo Nelson is a Member (2014–16) and past Visitor (2013–14) in the School of Mathematics. She is interested in the relationships between symplectic and contact homology theories, and is working to provide foundations and computational results. She will be an NSF Postdoctoral Fellow at Barnard College, Columbia University, next year.

Published in The Institute Letter Summer 2016