# The $\mathbb{Z}/p \mathbb{Z}$-equivariant product-isomorphism in fixed point Floer cohomology

## TL;DR

This paper establishes a $Z/pZ$-equivariant isomorphism in fixed point Floer cohomology for prime $p$, extending Seidel's work, and explores applications to symplectic topology, including Smith theory and periodic point growth.

## Contribution

It constructs a new isomorphism between Floer cohomology and equivariant Tate Floer cohomology for $Z/pZ$ actions, introducing novel equivariant operations and spectral sequence techniques.

## Key findings

- Constructed a $Z/pZ$-equivariant isomorphism in Floer cohomology.
- Developed a spectral sequence approach to analyze the isomorphism.
- Provided new proofs and inequalities related to symplectic fixed points and group actions.

## Abstract

Let $p \geq 2$ be a prime, and $\mathbb{F}_p$ be the field with $p$ elements. Extending a result of Seidel for $p=2,$ we construct an isomorphism between the Floer cohomology of an exact or Hamiltonian symplectomorphism $\phi,$ with $\mathbb{F}_p$ coefficients, and the $\mathbb{Z}/p \mathbb{Z}$-equivariant Tate Floer cohomology of its $p$-th power $\phi^p.$ The construction involves a Kaledin-type quasi-Frobenius map, as well as a $\mathbb{Z}/p \mathbb{Z}$-equivariant pants product: an equivariant operation with $p$ inputs and $1$ output. Our method of proof involves a spectral sequence for the action filtration, and a local $\mathbb{Z}/p \mathbb{Z}$-equivariant coproduct providing an inverse on the $E^2$-page. This strategy has the advantage of accurately describing the effect of the isomorphism on filtration levels. We describe applications to the symplectic mapping class group, as well as develop Smith theory for the persistence module of a Hamiltonian diffeomorphism $\phi$ on symplectically aspherical symplectic manifolds. We illustrate the latter by giving a new proof of the celebrated no-torsion theorem of Polterovich, and by relating the growth rate of the number of periodic points of the $p^k$-th iteration of $\phi$ and its distance to the identity. Along the way, we prove a sharpening of the classical Smith inequality for actions of $\mathbb{Z}/p \mathbb{Z}.$