Homogeneous quasimorphisms, $C^0$-topology and Lagrangian intersection

TL;DR

This paper constructs a new homogeneous quasimorphism on Hamiltonian diffeomorphism groups of certain hypersurfaces, demonstrating its continuity in specific metrics and addressing open questions in symplectic topology.

Contribution

It introduces a novel homogeneous quasimorphism on Hamiltonian diffeomorphisms of quadrics, continuous in both $C^0$ and Hofer metrics, and resolves related open problems.

Findings

Constructed a non-trivial homogeneous quasimorphism continuous in $C^0$ and Hofer metrics.

Answered a question of Polterovich--Wu about quasimorphisms on the complex projective plane.

Proved new intersection results for Lagrangian submanifolds in four-dimensional quadrics.

Abstract

We construct an example of a non-trivial homogeneous quasimorphism on the group of Hamiltonian diffeomorphisms of the two and four dimensional quadric hypersurfaces which is continuous with respect to both the $C^0$-metric and the Hofer metric. This answers a variant of a question of Entov--Polterovich--Py which is one of the open problems listed in the monograph of McDuff--Salamon. Throughout the proof, we make extensive use of the idea of working with different coefficient fields in quantum cohomology rings. As a by-product of the arguments in the paper, we answer a question of Polterovich--Wu regarding quasimorphisms on the group of Hamiltonian diffeomorphisms of the complex projective plane and prove some intersection results about Lagrangians in the four dimensional quadric hypersurface.