Coisotropic Hofer-Zehnder capacities and non-squeezing for relative embeddings (Q2216100)

In this paper the authors study a special kind of symplectic capacities as formulated by Gromov. In particular, they consider the case of symplectic capacities relative to a coisotropic submanifold. As a modified version, they use the capacities defined by Hofer-Zehnder to prove a non-squeezing theorem for symplectic embeddings relative to coisotropic constraints. The main theorem proved in this paper is that the map which associates to a quadrupel \((M,N,\omega,\sim)\), where \((M,\omega)\) is a symplectic manifold, \(N\hookrightarrow M\) a coisotropic submanifold and \(\sim\) the coisotropic equivalence relation given by \(x\sim y\) for \(x,y\in N\) if \(\psi(x)=\psi(y)\) for an embedding \(\psi\colon N\hookrightarrow M\), the number \[ c(M,N,\omega,\sim):=\sup\{m(H)\mid H\in \mathcal{H}_a(M,N,\omega,\sim)\} \] is a coisotropic capacity. Here \(\mathcal{H}_a(M,N,\omega,\sim)\) denotes the set of all admissible functions, where a function \(H\colon M\to \mathbb{R}\) is called admissible for the coisotropic relation \(\sim\), if all solutions to the equation \(\dot{\gamma}=X_H(\gamma)\), with \(\gamma(0)\in N\), are either such that \(\gamma(t)\) is constant for all \(t\in\mathbb{R}\), or that the return time of the orbit \(\gamma\) relative to \((N,\sim)\) is greater than \(1\). Moreover, we have denoted by \(m(H)\) a constant depending on the admissible function such that for a compact set \(K(H)\subset M\setminus \partial M\) and \(\emptyset\not=K\cap N\subset N\), we have \[ H(M\setminus K)=m(H). \]