# Symplectomorphisms of surfaces preserving a smooth function, I

## TL;DR

This paper studies the topology of symplectomorphisms of surfaces that preserve a smooth Morse function, revealing they are either contractible or homotopy equivalent to a circle, depending on the presence of saddle points.

## Contribution

It constructs a canonical homeomorphism or infinite cyclic cover relating functions constant along Hamiltonian orbits to the symplectomorphism group component, extending to certain singular maps.

## Key findings

- The group of symplectomorphisms preserving the function is either contractible or homotopy equivalent to a circle.
- A canonical homeomorphism exists when the Morse function has at least one saddle point.
- The results extend to maps with singularities similar to homogeneous polynomials without multiple factors.

## Abstract

Let $M$ be a compact orientable surface equipped with a volume form $\omega$, $P$ be either $\mathbb{R}$ or $S^1$, $f:M\to P$ be a $C^{\infty}$ Morse map, and $H$ be the Hamiltonian vector field of $f$ with respect to $\omega$. Let also $\mathcal{Z}_{\omega}(f) \subset C^{\infty}(M,\mathbb{R})$ be set of all functions taking constant values along orbits of $H$, and $\mathcal{S}_{\mathrm{id}}(f,\omega)$ be the identity path component of the group of diffeomorphisms of $M$ mutually preserving $\omega$ and $f$. We construct a canonical map $\varphi: \mathcal{Z}_{\omega}(f) \to \mathcal{S}_{\mathrm{id}}(f,\omega)$ being a homeomorphism whenever $f$ has at least one saddle point, and an infinite cyclic covering otherwise. In particular, we obtain that $\mathcal{S}_{\mathrm{id}}(f,\omega)$ is either contractible or homotopy equivalent to the circle. Similar results hold in fact for a larger class of maps $M\to P$ whose singularities are equivalent to homogeneous polynomials without multiple factors.