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 L on the number of intersection points of L with a Hamiltonian isotopic Lagrangian submanifold which intersects L transversally.
Let Ht ∈ C ∞(M); 0 ≤ t ≤ 1 be a smooth family of Hamiltonian functions of M and denote by φH the one-time map of the flow of the Hamiltonian vector field XHt of Ht. Assume that L and φH (L) intersect transversally. Then the number of intersection points of L and φH (L) can be estimated from below by the sum of the Z2 Betti numbers of L, i.e.
Up to now, the Arnold–Givental conjecture could only be proven under some additional assumptions.