Physics:Arnold–Givental conjecture

From HandWiki
Revision as of 05:53, 5 February 2024 by Nautica (talk | contribs) (fix)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

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.

Statement

Let [math]\displaystyle{ (M, \omega) }[/math] be a compact [math]\displaystyle{ 2n }[/math]-dimensional symplectic manifold. An anti-symplectic involution is a diffeomorphism [math]\displaystyle{ \tau: M \to M }[/math] such that [math]\displaystyle{ \tau^* \omega = -\omega }[/math]. The fixed point set [math]\displaystyle{ L \subset M }[/math] of [math]\displaystyle{ \tau }[/math] is necessarily a Lagrangian submanifold.

Let [math]\displaystyle{ H_t\in C^\infty(M), 0 \leq t \leq 1 }[/math] be a smooth family of Hamiltonian functions on [math]\displaystyle{ M }[/math] which generates a 1-parameter family of Hamiltonian diffeomorphisms [math]\displaystyle{ \varphi_t: M \to M }[/math]. The Arnold–Givental conjecture says, suppose [math]\displaystyle{ \varphi_1(L) }[/math] intersects transversely with [math]\displaystyle{ L }[/math], then

[math]\displaystyle{ \# (\varphi_1(L) \cap L) \geq \sum_{i=0}^n {\rm dim} H_*(L; {\mathbb Z}_2). }[/math]

Status

The Arnold–Givental conjecture has been proved for certain special cases.

Givental proved it for the case when [math]\displaystyle{ (M, L) = (\mathbb{CP}^n, \mathbb{RP}^n) }[/math].[1]

Yong-Geun Oh proved it for real forms of compact Hermitian spaces with suitable assumptions on the Maslov indices.[2]

Lazzarini proved it for negative monotone case under suitable assumptions on the minimal Maslov number.

Kenji Fukaya, Yong-Geun Oh, Ohta, and Ono proved for the case when [math]\displaystyle{ (M, \omega) }[/math] is semi-positive.[3]

Frauenfelder proved it for the situation when [math]\displaystyle{ (M, \omega) }[/math] is a certain symplectic reduction, using gauged Floer theory. [4]

See also

References

Citations

  1. (Givental 1989b)
  2. (Oh 1995)
  3. (Fukaya Oh)
  4. (Frauenfelder 2004)

Bibliography