Table of Contents
Fetching ...

Geometry and analysis of contact instantons and entanglement of Legendrian links I

Yong-Geun Oh

Abstract

The purposes of the present paper are two-fold. Firstly we further develop the interplay between the contact Hamiltonian geometry and the geometric analysis of Hamiltonian-perturbed contact instantons with the Legendrian boundary condition, which is initiated by the present author in \cite{oh:contacton-Legendrian-bdy}. We introduce the class of \emph{tame contact manifolds} $(M,λ)$, which includes compact ones but not necessarily compact, and establish uniform a priori $C^0$-estimates for the contact instantons. Then we study the problem of estimating the Reeb-untangling energy of one Legendrian submanifold from another, and formulate a particularly designed parameterized moduli space for the study of the problem. We establish the Gromov-Floer-Hofer type convergence result for contact instantons of finite energy and construct its compactification of the moduli space, first by defining the correct energy and then by proving uniform a priori energy bounds in terms of the oscillation of the relevant contact Hamiltonian. Secondly, as an application of this geometry and analysis of contact instantons, we prove that the \emph{self Reeb-untangling energy} of a compact Legendrian submanifold $R$ in any tame contact manifold $(M,λ)$ is greater than that of the period gap $T_λ(M,R)$ of the Reeb chords of $R$. This is an optimal result in general. In a sequel \cite{oh:shelukhin-conjecture}, we also prove Shelukhin's conjecture specializing to the Legendrianization of contactomorphisms of closedcoorientable contact manifold $(Q,ξ)$ and utilizing its $\mathbb Z_2$-symmetry as the fixed point set of anti-contact involution to overcome the \emph{nontameness} of contact product $M = Q \times Q \times \mathbb R$.

Geometry and analysis of contact instantons and entanglement of Legendrian links I

Abstract

The purposes of the present paper are two-fold. Firstly we further develop the interplay between the contact Hamiltonian geometry and the geometric analysis of Hamiltonian-perturbed contact instantons with the Legendrian boundary condition, which is initiated by the present author in \cite{oh:contacton-Legendrian-bdy}. We introduce the class of \emph{tame contact manifolds} , which includes compact ones but not necessarily compact, and establish uniform a priori -estimates for the contact instantons. Then we study the problem of estimating the Reeb-untangling energy of one Legendrian submanifold from another, and formulate a particularly designed parameterized moduli space for the study of the problem. We establish the Gromov-Floer-Hofer type convergence result for contact instantons of finite energy and construct its compactification of the moduli space, first by defining the correct energy and then by proving uniform a priori energy bounds in terms of the oscillation of the relevant contact Hamiltonian. Secondly, as an application of this geometry and analysis of contact instantons, we prove that the \emph{self Reeb-untangling energy} of a compact Legendrian submanifold in any tame contact manifold is greater than that of the period gap of the Reeb chords of . This is an optimal result in general. In a sequel \cite{oh:shelukhin-conjecture}, we also prove Shelukhin's conjecture specializing to the Legendrianization of contactomorphisms of closedcoorientable contact manifold and utilizing its -symmetry as the fixed point set of anti-contact involution to overcome the \emph{nontameness} of contact product .

Paper Structure

This paper contains 42 sections, 58 theorems, 412 equations.

Key Result

Theorem 1.10

Let $(M,\xi)$ be a contact manifold and consider the contact triad $(M,\lambda,J)$ associated to it. Let $\psi$ be a $\lambda$-tame contact $J$ quasi-plurisubharmonic function. Then for any contact instanton $w: \dot \Sigma \to M$ for the triad $(M,\lambda, J)$, the composition $\psi\circ w$ is a qu for some one-form $\beta$ on $\dot \Sigma$. In particular, the maximum of $\psi\circ w$ cannot be a

Theorems & Definitions (145)

  • Remark 1.1
  • Definition 1.2
  • Definition 1.3
  • Definition 1.4
  • Definition 1.5
  • Definition 1.7: Reeb-tame functions
  • Definition 1.8: Contact $J$ quasi-pseudoconvexity
  • Remark 1.9
  • Theorem 1.10: Theorem \ref{['thm:C0estimate']}
  • Definition 1.11: Tame contact manifolds
  • ...and 135 more