Chekanov's dichotomy in contact topology

TL;DR

This paper explores the rigidity and metric properties of contact coisotropic submanifolds, establishing a contact analogue of Chekanov's dichotomy and introducing a pseudo-metric on their orbit space.

Contribution

It introduces a $C^0$-rigidity result for contact coisotropic submanifolds and defines a Chekanov type pseudo-metric, revealing a dichotomy in its degeneracy akin to symplectic cases.

Findings

Contact coisotropic submanifolds admit $C^0$-rigidity.

A Chekanov type pseudo-metric is defined on the orbit space.

A dichotomy of (non-)degeneracy of the pseudo-metric is established.

Abstract

In this paper we study submanifolds of contact manifolds. The main submanifolds we are interested in are contact coisotropic submanifolds. Based on a correspondence between symplectic and contact coisotropic submanifolds, we can show contact coisotropic submanifolds admit a $C^0$-rigidity, similar to Humili\`ere-Leclercq-Seyfaddini's coisotropic rigidity on symplectic manifolds. Moreover, based on Shelukhin's norm defined on the contactomorphism group, we define a Chekanov type pseudo-metric on the orbit space of a fixed submanifold of a contact manifold. Moreover, we can show a dichotomy of (non-)degeneracy of this pseudo-metric when the dimension of this fixed submanifold is equal to the one for a Legendrian submanifold. This can be viewed as a contact topology analogue to Chekanov's dichotomy of (non-)degeneracy of Chekanov-Hofer's metric on the orbit space of a Lagrangian submanifold.