Arnold conjecture

Short description: Mathematical conjecture

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

Statement

Let $(M,\omega )$ be a compact symplectic manifold. For any smooth function $H:M\to \mathbb{ℝ}$, the symplectic form $\omega$ induces a Hamiltonian vector field $X_H$ on $M$, defined by the identity:

$\omega (X_H,\cdot )=dH.$

The function $H$ is called a Hamiltonian function.

Suppose there is a 1-parameter family of Hamiltonian functions $H_t:M\to \mathbb{ℝ},0\le t\le 1$, inducing a 1-parameter family of Hamiltonian vector fields $X_{H_t}$ on $M$. The family of vector fields integrates to a 1-parameter family of diffeomorphisms ${\phi }_t:M\to M$. Each individual ${\phi }_t$ is a Hamiltonian diffeomorphism of $M$.

The Arnold conjecture says that for each Hamiltonian diffeomorphism of $M$, it possesses at least as many fixed points as a smooth function on $M$ possesses critical points.

Nondegenerate Hamiltonian and weak Arnold conjecture

A Hamiltonian diffeomorphism $\phi :M\to M$ is called nondegenerate if its graph intersects the diagonal of $M\times M$ transversely. For nondegenerate Hamiltonian diffeomorphisms, a variant of the Arnold conjecture says that the number of fixed points is at least equal to the minimal number of critical points of a Morse function on $M$, called the Morse number of $M$.

In view of the Morse inequality, the Morse number is also greater than or equal to a homological invariant of $M$, for example, the sum of Betti numbers over a field $\mathbb{𝔽}$:

$\sum _{i=0}^{2n}\mathrm{d}\mathrm{i}\mathrm{m}{H}_i(M;\mathbb{𝔽}).$

The weak Arnold conjecture says that for a nondegenerate Hamiltonian diffeomorphism on $M$ the above integer is a lower bound of its number of fixed points.

See also

• Arnold–Givental conjecture