1: \begin{abstract}

2: Let $X$ be a symplectic manifold satisfying a condition slightly stronger than weak monotonicity, and $f,g:X\to X$ be two commuting symplectomorphisms.

3: We define an action of $f$ on the Floer homology  $HF(g)$ and an action of $g$ on $HF(f)$, and prove the supertraces of these actions are equal. Using this, we obtain a topological lower bound on $\dim HF(g)$ if $g:X\to X$ is a symplectomorphism commuting with a symplectic involution on $X$.

4: We apply this bound to the following setting.

5: 

6: Let $X\subset Gr(k,n)$ be a smooth divisor of degree within $[3;n]$ or $[k(n-k)+n{-}2;+\infty)$. 

7: Let $L\subset X$ be Lagrangian sphere which is a vanishing cycle for an algebraic degeneration of $X$. It defines a symplectomorphism  $\tau_L:X\to X$ called the Dehn twist. We prove that $\tau_L$ gives an element of infinite order in the group of symplectomorphisms of $X$ modulo Hamiltonian isotopy.

8: \end{abstract}

9: