Conley conjecture

Last updated

The Conley conjecture, named after mathematician Charles Conley, is a mathematical conjecture in the field of symplectic geometry, a branch of differential geometry.

Contents

Background

Let be a compact symplectic manifold. A vector field on is called a Hamiltonian vector field if the 1-form is exact (i.e., equals to the differential of a function . A Hamiltonian diffeomorphism is the integration of a 1-parameter family of Hamiltonian vector fields .

In dynamical systems one would like to understand the distribution of fixed points or periodic points. A periodic point of a Hamiltonian diffeomorphism (of periodic ) is a point such that . A feature of Hamiltonian dynamics is that Hamiltonian diffeomorphisms tend to have infinitely many periodic points. Conley first made such a conjecture for the case that is a torus. [2]

The Conley conjecture is false in many simple cases. For example, a rotation of a round sphere by an angle equal to an irrational multiple of , which is a Hamiltonian diffeomorphism, has only 2 geometrically different periodic points. [1] On the other hand, it is proved for various types of symplectic manifolds.

History of studies

The Conley conjecture was proved by Franks and Handel for surfaces with positive genus. [3] The case of higher dimensional torus was proved by Hingston. [4] Hingston's proof inspired the proof of Ginzburg of the Conley conjecture for symplectically aspherical manifolds. Later Ginzburg--Gurel and Hein proved the Conley conjecture for manifolds whose first Chern class vanishes on spherical classes. Finally, Ginzburg--Gurel proved the Conley conjecture for negatively monotone symplectic manifolds.

Related Research Articles

The Kolmogorov–Arnold–Moser (KAM) theorem is a result in dynamical systems about the persistence of quasiperiodic motions under small perturbations. The theorem partly resolves the small-divisor problem that arises in the perturbation theory of classical mechanics.

In differential geometry, a subject of mathematics, a symplectic manifold is a smooth manifold, , equipped with a closed nondegenerate differential 2-form , called the symplectic form. The study of symplectic manifolds is called symplectic geometry or symplectic topology. Symplectic manifolds arise naturally in abstract formulations of classical mechanics and analytical mechanics as the cotangent bundles of manifolds. For example, in the Hamiltonian formulation of classical mechanics, which provides one of the major motivations for the field, the set of all possible configurations of a system is modeled as a manifold, and this manifold's cotangent bundle describes the phase space of the system.

In mathematics, especially differential geometry, the cotangent bundle of a smooth manifold is the vector bundle of all the cotangent spaces at every point in the manifold. It may be described also as the dual bundle to the tangent bundle. This may be generalized to categories with more structure than smooth manifolds, such as complex manifolds, or algebraic varieties or schemes. In the smooth case, any Riemannian metric or symplectic form gives an isomorphism between the cotangent bundle and the tangent bundle, but they are not in general isomorphic in other categories.

<span class="mw-page-title-main">Poisson bracket</span> Operation in Hamiltonian mechanics

In mathematics and classical mechanics, the Poisson bracket is an important binary operation in Hamiltonian mechanics, playing a central role in Hamilton's equations of motion, which govern the time evolution of a Hamiltonian dynamical system. The Poisson bracket also distinguishes a certain class of coordinate transformations, called canonical transformations, which map canonical coordinate systems into canonical coordinate systems. A "canonical coordinate system" consists of canonical position and momentum variables that satisfy canonical Poisson bracket relations. The set of possible canonical transformations is always very rich. For instance, it is often possible to choose the Hamiltonian itself as one of the new canonical momentum coordinates.

In mathematics, a symplectomorphism or symplectic map is an isomorphism in the category of symplectic manifolds. In classical mechanics, a symplectomorphism represents a transformation of phase space that is volume-preserving and preserves the symplectic structure of phase space, and is called a canonical transformation.

In differential geometry, a field in mathematics, a Poisson manifold is a smooth manifold endowed with a Poisson structure. The notion of Poisson manifold generalises that of symplectic manifold, which in turn generalises the phase space from Hamiltonian mechanics.

In differential geometry, a G-structure on an n-manifold M, for a given structure group G, is a principal G-subbundle of the tangent frame bundle FM (or GL(M)) of M.

In mathematics and physics, a Hamiltonian vector field on a symplectic manifold is a vector field defined for any energy function or Hamiltonian. Named after the physicist and mathematician Sir William Rowan Hamilton, a Hamiltonian vector field is a geometric manifestation of Hamilton's equations in classical mechanics. The integral curves of a Hamiltonian vector field represent solutions to the equations of motion in the Hamiltonian form. The diffeomorphisms of a symplectic manifold arising from the flow of a Hamiltonian vector field are known as canonical transformations in physics and (Hamiltonian) symplectomorphisms in mathematics.

<span class="mw-page-title-main">Differentiable manifold</span> Manifold upon which it is possible to perform calculus

In mathematics, a differentiable manifold is a type of manifold that is locally similar enough to a vector space to allow one to apply calculus. Any manifold can be described by a collection of charts (atlas). One may then apply ideas from calculus while working within the individual charts, since each chart lies within a vector space to which the usual rules of calculus apply. If the charts are suitably compatible, then computations done in one chart are valid in any other differentiable chart.

In mathematics, specifically in symplectic geometry, the momentum map is a tool associated with a Hamiltonian action of a Lie group on a symplectic manifold, used to construct conserved quantities for the action. The momentum map generalizes the classical notions of linear and angular momentum. It is an essential ingredient in various constructions of symplectic manifolds, including symplectic (Marsden–Weinstein) quotients, discussed below, and symplectic cuts and sums.

In the study of mathematics and especially differential geometry, fundamental vector fields are an instrument that describes the infinitesimal behaviour of a smooth Lie group action on a smooth manifold. Such vector fields find important applications in the study of Lie theory, symplectic geometry, and the study of Hamiltonian group actions.

In mathematics, the Weinstein conjecture refers to a general existence problem for periodic orbits of Hamiltonian or Reeb vector flows. More specifically, the conjecture claims that on a compact contact manifold, its Reeb vector field should carry at least one periodic orbit.

In the field of mathematics known as differential geometry, a generalized complex structure is a property of a differential manifold that includes as special cases a complex structure and a symplectic structure. Generalized complex structures were introduced by Nigel Hitchin in 2002 and further developed by his students Marco Gualtieri and Gil Cavalcanti.

The Arnold–Givental conjecture, named after Vladimir Arnold and Alexander Givental, is a statement on Lagrangian submanifolds. It gives a lower bound in terms of the Betti numbers of a Lagrangian submanifold L on the number of intersection points of L with another Lagrangian submanifold which is obtained from L by Hamiltonian isotopy, and which intersects L transversally.

In symplectic geometry, the spectral invariants are invariants defined for the group of Hamiltonian diffeomorphisms of a symplectic manifold, which is closed related to Floer theory and Hofer geometry.

Nancy Burgess Hingston is a mathematician working in differential geometry. She is a professor emerita of mathematics at The College of New Jersey.

<span class="mw-page-title-main">Viktor Ginzburg</span> Russian-American mathematician

Viktor L. Ginzburg is a Russian-American mathematician who has worked on Hamiltonian dynamics and symplectic and Poisson geometry. As of 2017, Ginzburg is Professor of Mathematics at the University of California, Santa Cruz.

In mathematics, and especially symplectic geometry, the Thomas–Yau conjecture asks for the existence of a stability condition, similar to those which appear in algebraic geometry, which guarantees the existence of a solution to the special Lagrangian equation inside a Hamiltonian isotopy class of Lagrangian submanifolds. In particular the conjecture contains two difficulties: first it asks what a suitable stability condition might be, and secondly if one can prove stability of an isotopy class if and only if it contains a special Lagrangian representative.

The Arnold conjecture, named after mathematician Vladimir Arnold, is a mathematical conjecture in the field of symplectic geometry, a branch of differential geometry.

In differential geometry, a branch of mathematics, the Moser's trick is a method to relate two differential forms and on a smooth manifold by a diffeomorphism such that , provided that one can find a family of vector fields satisfying a certain ODE.

References

  1. 1 2 Ginzburg, Viktor L.; Gürel, Başak Z. (2015). "The Conley Conjecture and Beyond". Arnold Mathematical Journal. 1 (3): 299–337. arXiv: 1411.7723 . doi: 10.1007/s40598-015-0017-3 . S2CID   256398699.
  2. Charles Conley, Lecture at University of Wisconsin, April 6, 1984. [1]
  3. Franks, John; Handel, Michael (2003). "Periodic points of Hamiltonian surface diffeomorphisms". Geometry & Topology. 7 (2): 713–756. arXiv: math/0303296 . doi: 10.2140/gt.2003.7.713 . S2CID   2140632.
  4. Hingston, Nancy (2009). "Subharmonic solutions of Hamiltonian equations on tori". Annals of Mathematics. 170 (2): 529–560. doi: 10.4007/annals.2009.170.529 .