arXiv2018
We present another view dealing with the Arnold-Givental conjecture on a real symplectic manifold $(M, ω, τ)$ with nonempty and compact real part $L={\rm Fix}(τ)$. For given $Λ\in (0, +\infty]$ and $m\in\N\cup\{0\}$ we show the equivalence of the following two claims: (i) $\sharp(L\capϕ^H_1(L))\ge m$ for any Hamiltonian function $H\in C_0^\infty([0, 1]\times M)$ with Hofer's norm $\|H\|<Λ$; (ii) $\sharp {\cal P}(H,τ)\ge m$ for every $H\in C^\infty_0(\R/\Z\times M)$ satisfying $H(t,x)=H(-t,τ(x))\;\forall (t,x)\in\mathbb{R}\times M$ and with Hofer's norm $\|H\|<2Λ$, where ${\cal P}(H, τ)$ is the set of all $1$-periodic solutions of $\dot{x}(t)=X_{H}(t,x(t))$ satisfying $x(-t)=τ(x(t))\;\forall t\in\R$ (which are also called brake orbits sometimes). Suppose that $(M, ω)$ is geometrical bounded for some $J\in{\cal J}(M,ω)$ with $τ^\ast J=-J$ and has a rationality index $r_ω>0$ or $r_ω=+\infty$. Using Hofer's method we prove that if the Hamiltonian $H$ in (ii) above has Hofer's norm $\|H\|<r_ω$ then $\sharp(L\capϕ^H_1(L))\ge\sharp {\cal P}_0(H,τ)\ge {\rm Cuplength}_{\F}(L)$ for $\F=\Z_2$, and further for $\F=\Z$ if $L$ is orientable, where ${\cal P}_0(H,τ)$ consists of all contractible solutions in ${\cal P}(H,τ)$.